Примеры несчетных бесконечных множеств

Не все бесконечные множества одинаковы. Один из способов различить эти множества — спросить, является ли множество счетно бесконечным или нет. Таким образом, мы говорим, что бесконечные множества либо счетны, либо несчетны. Мы рассмотрим несколько примеров бесконечных множеств и определим, какие из них несчетны.​

счетно бесконечный

Начнем с исключения нескольких примеров бесконечных множеств. Многие из бесконечных множеств, о которых мы сразу подумали бы, оказываются счетно бесконечными. Это означает, что их можно поставить во взаимно однозначное соответствие с натуральными числами.

Натуральные, целые и рациональные числа счетно бесконечны. Любое объединение или пересечение счетно бесконечных множеств также счетно. Декартово произведение любого числа счетных множеств счетно. Любое подмножество счетного множества также счетно.

Неисчислимый

Наиболее распространенный способ введения несчетных множеств — рассмотрение интервала (0, 1) действительных чисел. Из этого факта и однозначной функции ф( Икс ) = бх + а. это прямое следствие, чтобы показать, что любой интервал (а, б) действительных чисел несчетно бесконечно.

Все множество действительных чисел также несчетно. Один из способов показать это — использовать функцию взаимно однозначного тангенса. ф ( Икс ) = загар Икс. Областью определения этой функции является интервал (-π/2, π/2), несчетное множество, а областью значений является множество всех действительных чисел.

Другие несчетные множества

Операции базовой теории множеств можно использовать для получения дополнительных примеров несчетно бесконечных множеств:

• Если А является подмножеством Б а также А несчетно, то так Б. Это дает более простое доказательство того, что все множество действительных чисел несчетно.
• Если А неисчислимо и Б любое множество, то объединение А U Б также неисчислимо.
• Если А неисчислимо и Б любое множество, то декартово произведение А Икс Б также неисчислимо.
• Если А бесконечно (даже счетно бесконечно), то множество мощностей А неисчислимо.

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

Одно из этих несчетно бесконечных подмножеств включает в себя определенные типы десятичных разложений. Если мы выберем два числительных и сформируем каждое возможное десятичное расширение только с этими двумя цифрами, то результирующее бесконечное множество будет несчетным.

Другое множество сложнее в построении и тоже несчетно. Начните с закрытого интервала [0,1]. Удалите среднюю треть этого набора, в результате чего [0, 1/3] U [2/3, 1]. Теперь удалите среднюю треть каждой из оставшихся частей набора. Итак, (1/9, 2/9) и (7/9, 8/9) удаляются. Продолжаем в том же духе. Множество точек, оставшихся после удаления всех этих интервалов, не является интервалом, однако оно несчетно бесконечно. Этот набор называется набором Кантора.

Существует бесконечно много несчетных множеств, но приведенные выше примеры являются одними из наиболее часто встречающихся множеств.