Восемь этюдов о бесконечности. Математическое приключение - страница 75

Тем не менее, если поиграть немного с арифметическими операциями для бесконечных множеств, можно получить кое-какие небезынтересные результаты.

1. Из того, что ℵ_>0 + ℵ_>0 = ℵ_>0, следует, что ℵ_>0 + n = ℵ_>0 для любого конечного числа n. Это связано с тем, что ℵ_>0 ≤ ℵ_>0 + n ≤ ℵ_>0 + ℵ_>0 = ℵ_>0.

2. Если взять отрезок [0,1], мощность которого равна ℵ, и прибавить его к отрезку (1,2], мощность которого также равна ℵ, мы получим отрезок [0,2], мощность которого, как и мощность всех отрезков, равна ℵ. Таким образом, получаем ℵ + ℵ = ℵ. Обратите внимание на круглую скобку в начале обозначения отрезка (1,2]. Она означает, что точка «1» не включена в множество. Число 1 исключено из него, чтобы два множества были заведомо непересекающимися.

3. Мы показали, что бесконечный луч имеет мощность ℵ. Бесконечный луч можно представить в виде счетного объединения бесконечного количества множеств, образованных непересекающимися отрезками: [0,1], (1,2], (2,3], (3,4], (4,5]… Следовательно, ℵ · ℵ_>0 = ℵ.

4. Если существует кривая, заполняющая квадрат, из этого следует, что ℵ · ℵ = ℵ. Чтобы убедиться в этом, представьте себе квадрат как сочетание горизонтальных отрезков прямых. Это означает, что квадрат – это, по сути, ℵ экземпляров отрезка, то есть ℵ экземпляров ℵ. Кривая же – это просто изогнутая прямая, так что ее мощность равна ℵ. То, что квадрат можно заполнить кривой, означает, что ℵ · ℵ = ℵ. Отрезок прямой [0,1] имеет такую же мощность, как и квадрат.

На самом деле совсем не трудно доказать, что отрезок прямой [0,1] имеет такую же мощность, как квадрат, напрямую. Рассмотрим изображенный выше единичный квадрат.

Выберем произвольную точку внутри квадрата. Предположим, что эта точка имеет координаты X = 0,a_>1a_>2a_>3a_>4… и Y = 0,b_>1b_>2b_>3…

Тогда на отрезке [0,1] можно найти точку Z, такую, что Z = 0,a_>1b_>1a_>2b_>2a_>3b_>3… Можете убедиться самостоятельно, что такое отображение будет одно-однозначным и сюръективным.

Вот небольшая сводка наших результатов:

ℵ = ℵ + n

ℵ = ℵ + ℵ_>0

ℵ = ℵ + ℵ

ℵ = n · ℵ

ℵ = ℵ_>0 · ℵ

ℵ = ℵ · ℵ

Другими словами, все перечисленные выше кардинальные числа равны друг другу!

Что же все это означает? В мире бесконечности слагаемые, сомножители и равенства ведут себя совершенно по-другому.

Кроме того, Кантора интересовал следующий вопрос: существует ли пример множества с мощностью ℵ, не содержащего отрезка прямой? Такой пример существует и носит его имя: множество Кантора. Вот как оно строится:

Разделим отрезок прямой [0,1] на три равные части и удалим средний отрезок, оставив только его конечные точки. У нас останутся отрезок [0, ⅓] и отрезок [⅔,1].

Произведем аналогичную операцию еще раз: разделим каждый из двух отрезков на три равные части и удалим средние участки, оставив их конечные точки. Будем повторять ту же процедуру (деление на три и удаление средних участков) для каждого из меньших отрезков, полученных после деления отрезков [0,⅓] и [⅔,1], снова и снова, до бесконечности.

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

У множества Кантора есть и более точное описание. Поскольку каждый отрезок делится каждый раз на три части, удобно использовать для него троичное представление (то есть представление чисел, в котором используются только цифры 0, 1 и 2). Записывать числа в троичном представлении совсем не сложно.

Число a записывается в троичном представлении в виде a = 0, c_>1c_>2c_>3… где a = c_>1/3 + c_>2/9 + c_>3/27 + +… Числа 3, 9, 27 играют ту же роль, что 10, 100, 1000 играют в более распространенном десятичном представлении.

Например:

Подчеркивание цифр означает, что мы используем троичное представление.