Таким образом, Y1 и x не совпадают. Какая бы цифра ни стояла после запятой в Y1, первая после запятой цифра x другая. Следовательно, в первой строке таблицы x мы не найдем.
Двигаясь вниз по таблице, мы обнаружим, что во второй строке x тоже нет. Но если соответствие между ℤ+ и ℝ взаимно однозначное, где-нибудь в правой колонке число x просто обязано возникнуть. Иными словами, x появляется в строчке k, где слева стоит целое положительное число k, то есть k ↔ Yk = x. Но мы все время будем сталкиваться с одной и той же проблемой. Какая цифра стоит в числе Yk на позиции k после запятой? Если тройка, то на соответствующей позиции в x обнаружится семерка; если не тройка, то на соответствующей позиции в x как раз тройка. Это выглядит так:
Эта проверка показывает, что x в правом столбце отсутствует. Мы, конечно, можем выстроить новую таблицу и поместить x на первую позицию. Но, если применить к новой таблице алгоритм с правилами (A) и (B), мы обнаружим, что в ней отсутствует некое число x'.
Вывод: всякая таблица будет ущербной! Таким образом, взаимно однозначное соответствие между ℤ+ и ℝ построить невозможно.
Мощности бесконечных множеств
Мы доказали, что мощности ℤ и ℤ+ совпадают. И дело тут не только в том, что оба множества бесконечно велики, а еще в том, что мы построили биекцию.
ℤ+ и ℝ тоже содержат бесконечное число элементов, но биекция между ними неосуществима. Так как любое целое положительное число – действительное, можно сказать, что ℝ «больше» ℤ+. Целых положительных чисел недостаточно, чтобы по одному сопоставить их со всеми действительными.
Мощность конечного множества – это число. Мощность множества A = {1, 3, 7, 9} равна четырем: |A| = 4. Но как зафиксировать мощность бесконечного множества? До выкладок Кантора математики довольствовались красивым символом ∞. Есть искушение написать: |ℤ+| = ∞ и |ℝ| = ∞, а затем сделать ошибочное заключение, что |ℤ+| = |ℝ|. Символ ∞ не передает всех особенностей, присущих мощностям бесконечных множеств.
Кантор решил исправить это и разработал новую систему чисел за пределами конечных. Такие числа называются трансфинитными и могут отразить мощность бесконечных множеств.
Мы выяснили, что ℤ+ – «наименьшее» бесконечное множество. Что это означает? Предположим, X – бесконечное множество. Между X и ℤ+ может быть биекция, а может и не быть. Но математики показали, что всегда есть взаимно однозначное соответствие между ℤ+ и некоторой частью множества X: либо ℤ+ и X равновелики, либо ℤ+ равновелико с частью множества X. Грубо говоря, либо ℤ+ и X имеют одинаковый размер, либо X больше.
Множества мощности ℤ+ называют счетными. Это самые маленькие бесконечные множества. Кантор ввел символ
для обозначения их мощности:
Мощности ℤ и ℤ+ совпадают, потому
Так как ℝ обширнее, чем ℤ+, логичным будет записать:
Величина
обозначает мощность бесконечного множества, и это не обычное число. Его называют трансфинитным числом, причем
– наименьшее из трансфинитных чисел
[87].
Мощности бесконечных множеств описывает целая вселенная трансфинитных чисел. Множества мощностью больше
называют несчетными, и математики показали, что есть новый «уровень бесконечности», на ступень выше
Мы можем доказать, что существует множество X, которое обладает двумя свойствами:
1.
2. Нет множеств с мощностью между |X| и
Таким множествам присвоили мощность
Иначе говоря,
и между этими двумя величинами нет других трансфинитных чисел.
Существует целая последовательность трансфинитных чисел. Она выглядит следующим образом:
и т. д. Иерархия подразумевает, что есть трансфинитное число, превышающее любое אk
[88]. Наименьшее трансфинитное число, превышающее любое אk, мы обозначаем אω, и есть бесконечно много еще больших чисел!
