Восемь этюдов о бесконечности. Математическое приключение - [61]
A × B ={< Q,17 >,< W,17 >,< E,17 >,< R,17 >,< T,17 >}∪{< Q,21 >,< W,21 >,< E,21 >,< R,21 >,< T,21 >}∪{< Q,33 >,< W,33 >,< E,33 >,< R,33 >,< T,33 >}.
Множество A × B содержит 15 элементов, что точно соответствует произведению числа элементов множества А и числа элементов множества В. Но для случая бесконечных множеств мы теперь можем утверждать, что ℵ>0 · ℵ>0 = ℵ>0. Опять же это всего лишь выражение того уже известного нам факта, что отель Гильберта может вместить счетное число счетных множеств.
Тем не менее, если поиграть немного с арифметическими операциями для бесконечных множеств, можно получить кое-какие небезынтересные результаты.
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 играют в более распространенном десятичном представлении.
Например:
Подчеркивание цифр означает, что мы используем троичное представление.
Фома Аквинский (1224–1274) утверждал, что даже если пройдет бесконечное количество дней, ни один из них не будет удален от настоящего момента на бесконечное время. Точно так же для реальной бесконечной прямой справедливо, что расстояние между любыми двумя точками всегда будет конечным, и, как сказал Гегель, бесконечность нельзя найти нигде на бесконечной прямой.
Конкретное описание множества Кантора дается в следующем задании.
Покажите, что в троичном представлении всех точек множества Кантора не используется цифра 1.
Теперь легко видеть, что мощность множества Кантора равна ℵ, потому что в множество Кантора входят только те числа, в троичном представлении которых используются только цифры 0 и 2. Тем не менее ясно, что это множество чисел имеет такую же мощность, что и множество чисел, которые можно записать с использованием только цифр 0 и 1. Запись чисел с использованием только цифр 0 и 1 – это попросту двоичный способ записи чисел, и таким образом можно записать все числа, заключенные между 0 и 1. Следовательно, мы приходим к выводу, что множество Кантора имеет ту же мощность, что и множество всех чисел отрезка [0,1], а значит, его мощность равна ℵ.
