Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Дополнительные свойства



Все остальные свойства, присущие рациональным числам, не выделяют в основные, потому что они, вообще говоря, уже не опираются непосредственно на свойства целых чисел, а могут быть доказаны исходя из приведённых основных свойств или непосредственно по определению некоторого математического объекта. Таких дополнительных свойств очень много. Здесь имеет смысл привести лишь некоторые из них.

— поле

Счётность множества

Нумерация положительных рациональных чисел

Чтобы оценить количество рациональных чисел, нужно найти мощность их множества. Легко доказать, что множество рациональных чисел счётно. Для этого достаточно привести алгоритм, который нумерует рациональные числа, т. е. устанавливает биекцию между множествами рациональных и натуральных чисел. Примером такого построения может служить следующий простой алгоритм. Составляется бесконечная таблица обыкновенных дробей, на каждой -ой строке в каждом -ом столбце которой располагается дробь . Для определённости считается, что строки и столбцы этой таблицы нумеруются с единицы. Ячейки таблицы обозначаются , где — номер строки таблицы, в которой располагается ячейка, а — номер столбца.

Полученная таблица обходится «змейкой» по следующему формальному алгоритму.

Эти правила просматриваются сверху вниз и следующее положение выбирается по первому совпадению.

В процессе такого обхода каждому новому рациональному числу ставится в соответствие очередное натуральное число. Т. е. дроби ставится в соответствие число 1, дроби — число 2, и т. д. Нужно отметить, что нумеруются только несократимые дроби. Формальным признаком несократимости является равенство единице наибольшего общего делителя числителя и знаменателя дроби.

Следуя этому алгоритму, можно занумеровать все положительные рациональные числа. Это значит, что множество положительных рациональных чисел счётно. Легко установить биекцию между множествами положительных и отрицательных рациональных чисел, просто поставив в соответствие каждому рациональному числу противоположное ему. Т. о. множество отрицательных рациональных чисел тоже счётно. Их объединение также счётно по свойству счётных множеств. Множество же рациональных чисел тоже счётно как объединение счётного множества с конечным.

Разумеется, существуют и другие способы занумеровать рациональные числа. Например, для этого можно воспользоваться такими структурами как дерево Калкина — Уилфа, дерево Штерна — Броко или ряд Фарея.

Утверждение о счётности множества рациональных чисел может вызывать некоторое недоумение, т. к. на первый взгляд складывается впечатление, что оно гораздо обширнее множества натуральных чисел. На самом деле это не так и натуральных чисел хватает, чтобы занумеровать все рациональные.





Дата публикования: 2015-04-08; Прочитано: 403 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.008 с)...