Открытие без границ

На последнем определении стоит остановиться подробнее ввиду его чрезвычайной важности. Во-первых, следует пояснить, что понимается под собственным подмножеством. Это очень просто: если дано произвольное множество А, например {a, b, с, d}, его собственным подмножеством будет любое подмножество, которое можно составить из элементов А, при этом нельзя использовать их все. Примерами собственных подмножеств А будут:

{а} {а, Ь} {а, b, с} {а, с, d} {d} {b, с, d}.

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

Но существуют примеры, когда это не так. Рассмотрим  — множество всех натуральных чисел и его собственное подмножество Р, образованное всеми четными числами. Очевидно, что между обоими множествами можно установить взаимно однозначное соответствие: для этого каждому натуральному числу п нужно поставить в соответствие это же число, умноженное на 2.

n —> 2n

В соответствии с этим

1 —> 2

2 —> 4

3 —> 6

…

Иными словами, каждому натуральному числу соответствует четное число и, напротив, каждому четному числу соответствует натуральное число. Это означает, что кардинальность этих множеств одинакова, и утверждение «существует столько же натуральных чисел, сколько четных» вовсе не парадокс, хотя оно явно противоречит интуиции. Таким образом, альтернативное определение бесконечного множества звучит так: множество является бесконечным, если между этим множеством и какой-либо из его частей (каким-либо его собственным подмножеством) можно установить взаимно однозначное соответствие.

В этом случае парадокс, сформулированный Галилеем (см. главу 3), — это уже не парадокс, а констатация факта: множество натуральных чисел является бесконечным.

Путем аналогичных рассуждений можно доказать, что множество натуральных чисел  и множество целых чисел  имеют одинаковую кардинальность. Чтобы подтвердить это, достаточно установить взаимно однозначное соответствие между ними, сопоставив всем положительным числам четные, а всем отрицательным — нечетные. Таким образом, существует столько же целых чисел, сколько натуральных.

Счетные множества

Кантор также сформулировал очень важное понятие счетного множества. По определению, множество А называется счетным, если можно установить взаимно однозначное соответствие между А и подмножеством . В основе этого определения лежит очень простая идея, которую мы часто используем в повседневной жизни.

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

Мы уже показали, что множество целых чисел является счетным. Далее Кантор получил поистине удивительный результат: множество рациональных чисел  также является счетным. Он доказал, что существует столько же рациональных чисел, сколько и натуральных. Чтобы установить соответствие между натуральными и рациональными числами, Кантор использовал настолько простую схему, что остается только удивляться, почему никто не сделал этого раньше. Возможно, причина в том, что никто не считал это возможным, так как это противоречит элементарной интуиции.

Схема, придуманная Кантором, такова. Нужно построить таблицу рациональных чисел (напомним, что речь идет о дробях) следующим образом: в первой строке записываются дроби, числитель которых равен 1, во второй — дроби, числитель которых равен 2, в третьей — 3 и т. д. Вычеркнем из каждой строки повторяющиеся дроби. Например, 2/2 — это то же самое, что 1/1 или 3/3, 2/4 — то же, что и 1/2, и т. д. Построив таблицу, обойдем все числа в порядке, указанном стрелками, начиная с 1/1. Мы обойдем все рациональные числа ровно один раз. Таким образом, взаимно однозначное соответствие между натуральными и рациональными числами устанавливается следующим образом:

1 —> 1/1

2 —> 1/2

3 —> 2/1

4 —> 3/1

5 —> 1/3

…

Самое удивительное в том, что мы установили взаимно однозначное соответствие между двумя множествами, одно из которых является дискретным (множество натуральных чисел), а другое — плотным (множество рациональных чисел). Здесь бесконечность начинает понемногу приподнимать завесу тайны над своими удивительными загадками. Интуиция подсказывает, что счетными могут быть только дискретные множества, и тот факт, что плотное множество  также является счетным, был поистине удивительным. Мы подсознательно ассоциируем счетность с возможностью найти следующий элемент для данного, что невозможно в плотном множестве. Если мы рассмотрим предыдущую таблицу, то увидим, что 1/1 является первым числом, а следующим будет 1/2. Однако множество дробных чисел является плотным, поэтому между 1/1 и 1/2 находится бесконечное множество чисел. Так, нам известно, что 1/4 находится между 1 и 1/2, а в нашем перечне это число занимает шестое место.