Gustavo Pineiro - Бесчисленное поддается подсчету. Кантор. Бесконечность в математике.

Доказательство, что 'P(N) несчетное, основывается на алгоритме, описанном в главе 2 для вещественных чисел. Однако несчетность 'P(N) и R, даже если в ходе доказательства мы рассуждали так же, не гарантирует, что у них одинаковая мощность. Метод диагонали дает нам отрицательный результат, то есть позволяет убедиться, что ни у 'P(N), ни у R мощность не равна X 0, но не показывает, какую конкретно мощность имеет каждое из них, и не дает оснований заключить, что их мощности равны.

Взаимнооднозначное соответствие между множествами и последовательностями нуля и единицы.

В статье 1892 года Кантор доказал, что эти множества равномощные, однако это нельзя заключить на основе диагонального метода; необходимо предъявить отдельное доказательство. Итак, требуется доказать, что 'P(N) и R эквивалентны или что R эквивалентно всем бесконечным последовательностям нуля и единицы.

Для начала вспомним, что способ привычной нам записи натуральных чисел основан на десятичной системе, так как для них необходимы все 10 цифр, а также на степенях числа 10. Когда мы записываем число 235, на самом деле мы пишем 2 · 10 2+ 3 х 10 1+ 5 · 10 0(напомним, что 10 1= 10, а 100 = 1). Нечто похожее происходит с числами, которые не являются целыми, но в этом случае используются степени с отрицательным знаком: 10-1 равное 0,1; 10 -2, равное 0,01, и так далее. 0,76 на самом деле означает 7 ∙ 10 1+ 6 ∙ 10 -2. Интересно подчеркнуть, что числа с бесконечным количеством цифр после запятой, такие как 0,3333..., можно представить в виде бесконечных сумм.

Действительно, 0,333... = 3 ∙ 10 -1+ 3 ∙ 10 -2+ 3 ∙ 10 -3+ 3 ∙ 10 -4+ ... Хотя десятичная запись используется чаще всего, она не единственно возможная: например, числа можно записывать на основе так называемой двоичной системы. Как явствует из ее названия, в ней используются только две цифры — 0 и 1, — а основана она на степенях числа 2. Число 13 в двоичной системе будет записано как 1101, поскольку 13 = 1 ∙ 2 3+ 1 ∙ 2 2+ 0 ∙ 2 1+ 1 ∙ 2 0. Как и в предыдущем случае, этот способ записи не распространяется на целые числа. Например, в двоичной системе число 0,333... будет выглядеть как 0,01010101..., поскольку бесконечная сумма 0 ∙ 2 -1+ 1 ∙ 2 -2+ 1 ∙ 2 -4+ 0 ∙ 2 -5+ 1 ∙ 2 -6в результате даст 0,333... (записанное в десятичной системе).

Понятия теории множеств — известные и необходимые инструменты.

Жак Адамар, французский математик (1865-1963), на конференции 1897 года

Теперь докажем, что множество всех вещественных чисел с 0 по 1 на отрезке числовой прямой эквивалентно 'P(М). Необходимо получить такой результат, при котором каждому числу с 0 по 1 точно соответствует множество натуральных чисел.

Возьмем число 0,333... Как найти эквивалентное ему множество? На рисунке показано, что сначала мы должны записать его в двоичной системе. Получив выражение 0,01010101..., возьмем только его часть после запятой, в данном случае 010101..., и посмотрим, какое множество соответствует этой последовательности. Поскольку это последовательность нечетных чисел, то 0,333... соответствует ей.

Таким же образом, если у нас есть множество, образованное, например, числами 2 и 3, и мы хотим узнать, какому числу оно соответствует, сначала мы должны представить его в виде последовательности нуля и единицы. В данном случае это будет выражение 00110000..., и рассмотрим его как цифры после запятой некоего числа, записанного в двоичной системе. Это число 0,001100000..., которое в десятичной системе будет выглядеть как 0,1875. Таким образом, множеству, состоящему из чисел 2 и 3, соответствует число 0,1875.

Итак, мы видим, что 'P(N) эквивалентно множеству всех чисел между 0 и 1. Но в главе 3 отмечалось, что оно эквивалентно R (любой отрезок эквивалентен всей прямой); таким образом, мы выводим, что 'P(N) эквивалентно R. Наконец, на вопрос, какова же мощность 'P(N), в 1892 году Кантор ответил, что она равна мощности R.

Взаимно однозначное соответствие между вещественными числами (в промежутке от 0 до 1) и множествами, состоящими из вещественных чисел.

Рассмотрим еще одну операцию из области трансфинитной математики.

Вернемся к последовательностям нуля и единицы, но теперь рассмотрим только конечные. Сколько таких последовательностей мы можем образовать, если в них должно быть только две цифры? Всего четыре последовательности: 00, 01, 10 и 11. Если цифр три, то их будет восемь: 000, 001, 010, 100, 110, 101,011, 111, а если цифр всего четыре, то 16. Если цифра одна, то последовательностей будет только две: 0 и 1.