Книга Путеводитель для влюблённых в математику, страница 23 – Эдвард Шейнерман

Таким образом, Y₁ и x не совпадают. Какая бы цифра ни стояла после запятой в Y₁, первая после запятой цифра x другая. Следовательно, в первой строке таблицы x мы не найдем.

Двигаясь вниз по таблице, мы обнаружим, что во второй строке x тоже нет. Но если соответствие между ℤ⁺ и ℝ взаимно однозначное, где-нибудь в правой колонке число x просто обязано возникнуть. Иными словами, x появляется в строчке k, где слева стоит целое положительное число k, то есть k ↔ Y_k = x. Но мы все время будем сталкиваться с одной и той же проблемой. Какая цифра стоит в числе Y_k на позиции k после запятой? Если тройка, то на соответствующей позиции в x обнаружится семерка; если не тройка, то на соответствующей позиции в x как раз тройка. Это выглядит так:

Эта проверка показывает, что x в правом столбце отсутствует. Мы, конечно, можем выстроить новую таблицу и поместить x на первую позицию. Но, если применить к новой таблице алгоритм с правилами (A) и (B), мы обнаружим, что в ней отсутствует некое число x'.

Вывод: всякая таблица будет ущербной! Таким образом, взаимно однозначное соответствие между ℤ⁺ и ℝ построить невозможно.

Мощности бесконечных множеств

Мы доказали, что мощности ℤ и ℤ⁺ совпадают. И дело тут не только в том, что оба множества бесконечно велики, а еще в том, что мы построили биекцию.

ℤ⁺ и ℝ тоже содержат бесконечное число элементов, но биекция между ними неосуществима. Так как любое целое положительное число – действительное, можно сказать, что ℝ «больше» ℤ⁺. Целых положительных чисел недостаточно, чтобы по одному сопоставить их со всеми действительными.

Мощность конечного множества – это число. Мощность множества A = {1, 3, 7, 9} равна четырем: |A| = 4. Но как зафиксировать мощность бесконечного множества? До выкладок Кантора математики довольствовались красивым символом ∞. Есть искушение написать: |ℤ⁺| = ∞ и |ℝ| = ∞, а затем сделать ошибочное заключение, что |ℤ⁺| = |ℝ|. Символ ∞ не передает всех особенностей, присущих мощностям бесконечных множеств.

Кантор решил исправить это и разработал новую систему чисел за пределами конечных. Такие числа называются трансфинитными и могут отразить мощность бесконечных множеств.

Мы выяснили, что ℤ⁺ – «наименьшее» бесконечное множество. Что это означает? Предположим, X – бесконечное множество. Между X и ℤ⁺ может быть биекция, а может и не быть. Но математики показали, что всегда есть взаимно однозначное соответствие между ℤ⁺ и некоторой частью множества X: либо ℤ⁺ и X равновелики, либо ℤ⁺ равновелико с частью множества X. Грубо говоря, либо ℤ⁺ и X имеют одинаковый размер, либо X больше.

Множества мощности ℤ⁺ называют счетными. Это самые маленькие бесконечные множества. Кантор ввел символ

Мощности бесконечных множеств описывает целая вселенная трансфинитных чисел. Множества мощностью больше

1.

2. Нет множеств с мощностью между |X| и

Таким множествам присвоили мощность

Существует целая последовательность трансфинитных чисел. Она выглядит следующим образом: