Докажите что множество рациональных чисел счетно
Выше мы определили понятие равенства множеств. Для характеристики степени насыщенности бесконечных множеств элементами удобным является понятие эквивалентности множеств. Множество называется бесконечным, если в множестве имеются элементы, количество которых больше . Два множества и называют эквивалентными, и при этом пишут , если между их элементами можно установить взаимно однозначное соответствие , т. е. существует такое правило, закон, по которому соответствует вполне определенный элемент . При этом, в силу этого правила, двум разным элементам соответствуют два разных элемента и каждый элемент соответствует некоторому элементу .
Например, если — множество точек на окружности радиуса , — множество точек на концентрической окружности радиуса , то очевидно, что (рис. 6).
Очевидно, что если , то .
Если , то множество называется счетным. Естественно, что само множество натуральных чисел является счетным (соответствие устанавливается по схеме ). Множество всех четных натуральных чисел эквивалентно всему множеству , причем соответствие устанавливается по схеме . Отметим, что здесь , . Таким образом, истинное подмножество (часть) множества оказалось эквивалентным всему множеству. Это свойство присуще только бесконечным множествам (его можно принять за определение бесконечного множества).
Из определения счетности множества вытекает, что его элементы можно перенумеровать с помощью натуральных чисел, поэтому счетное множество мы часто будем записывать в виде последовательности его элементов:
Счетная (теоретико-множественная) сумма.
счетных (или конечных) множеств есть счетное множество. В самом деле, запишем элементы в виде таблицы:
Перенумеруем их в следующем порядке:
выбрасывая, однако, на каждом этапе нумерации те элементы, которые уже были занумерованы на предыдущем этапе: ведь может случиться, что и имеют общие элементы. В результате, получим бесконечную последовательность элементов , очевидно, исчерпывающих множество . Это доказывает, что — счетное множество.
Аналогично доказывается, что конечная сумма счетных или конечных множеств, среди которых есть хотя бы одно счетное, счетна.
Теорема 1. Множество всех рациональных чисел счетно.
Доказательство. Рассмотрим сначала положительные рациональные числа . Назовем натуральное число высотой рационального числа . Пусть — множество всех рациональных чисел с высотой, равной . Множества состоят из конечного числа элементов (рациональных чисел), например
Легко видеть, что ,
Перенумеруем числа, записанные в фигурных скобках слева направо, выпуская, впрочем, на каждом этапе нумерации те, которые были уже занумерованы на более раннем этапе. В результате получим последовательность
Так как рациональных положительных чисел бесконечно много, то мы используем все натуральные числа. Значит, счетно. Далее, очевидно, что счетно. Поэтому все множество рациональных чисел также счетно.
Теорема 2. Множество всех действительных чисел несчетно.
Доказательство. Для доказательства достаточно установить, что множество действительных чисел интервала образует несчетное множество. Допустим противное, что интервал есть счетное множество, т. е. все его точки можно перенумеровать:
Но это предположение противоречиво. В самом деле, построим вещественное число , где цифры подобраны так, чтобы и . Ясно, что , однако не совпадает ни с одним из чисел , так как иначе должно было бы быть , что не имеет места.
© 2022 Научная библиотека
Копирование информации со страницы разрешается только с указанием ссылки на данный сайт
Счетность множества рациональных чисел
Теорема: множество рациональных чисел является счётным.
Необходимо доказать, что между множеством рациональных чисел и множеством натуральных чисел можно установить взаимо-однозначное соответствие. Для этого положительные рациональные числа запишем так:
1 строка: 1 2 3 4 5 6 7 .
2 строка: ½ 2/2 3/2 4/2 5/2 6/2 7/2 .
3 строка: 1/3 2/3 3/3 4/3 .
Таким образом, будет записано каждое положительное число. Например, число 7/31 будет записано в 31-й строке в 7-м столбце. Вообще, дробь m/n будет записана в n-й строке m-м столбце.
Для установления взаимно-однозначного соответствия теперь уже нельзя переходить от столбца к столбцу, потому что в каждом столбце содержится бесконечное множество элементов. Для доказательства этой теоремы будем использовать диагональный метод Кантора. Он заключается в том, что мы подходим к каждому рациональному числу и, следовательно, каждому рациональному числу будет поставлено в соответствие какое-либо натуральное число.
Так, с помощью диагонального метода устанавливаем взаимно-однозначное соответствие между множеством положительных рациональных и множеством натуральных чисел, а это значит, что множество положительных рациональных чисел счетно.
Также можно доказать, что множество отрицательных рациональных чисел счётно. Сложив эти два множества и прибавив к ним конечное множество, состоящее из элемента нуль, мы получим всё множество рациональных чисел.
Теорема.Множество всех действительных чисел несчетно.
Доказательство. Для доказательства достаточно установить, что множество действительных чисел интервала образует несчетное множество. Допустим противное, что интервал есть счетное множество, т. е. все его точки можно перенумеровать:
Но это предположение противоречиво. В самом деле, построим вещественное число , где цифры подобраны так, чтобы и . Ясно, что , однако не совпадает ни с одним из чисел , так как иначе должно было бы быть , что не имеет места.
Счетность множества рациональных чисел
Счётное множество занимает промежуточное место между конечным набором и чисто воображаемыми бесконечными множествами, которые можно «описать», но невозможно «построить из элементов».
Рациональные числа представляют именно такое множество. Их бесконечно много, но при этом их можно последовательно расположить друг за другом.
Ну, например, занумеруйте несократимые дроби вида целое/натуральное в последовательность в порядке их прохода по стрелочкам. Сойдет в качестве «нематематического» объяснения?
Вот буква R тут нетрадиционная какая-то на рисунке, да и фигурная скобка тоже. Не знаю, что в них «математического».
как это можно нематематичеки объяснить чисто математические понятия.
если множество можно перенумеровать — оно счетное. И это — именно математика, строго по определению.