Лев Генденштейн: Алиса в стране математики

Таково поразительное свойство бесконечных множеств, открытое Галилеем. Этим свойством обладают, конечно, только бесконечные множества! Потому оно и кажется нам таким необычным — ведь в жизни мы не встречаемся и никогда не встретимся с бесконечными множествами.

Бесконечность — это гениальная выдумка математиков, и единственное требование к этой выдумке состоит в том, чтобы в ней не было «обмана», то есть противоречий. Однако для того, чтобы выполнить это требование, приходится отказаться от многого из того, к чему мы привыкли, имея дело с конечными множествами. И прежде всего — от аксиомы, что часть всегда меньше целого!

Чтобы вам легче было отказываться от «конечных» привычек, приведём ещё один пример. Оставим в ряду натуральных чисел только каждое десятое число:

10, 20, 30, 40, 50, 60, 70, 80, 90, 100, 110, ...

Заметьте, что «девять десятых» всех натуральных чисел мы при этом отбросили! А теперь сделаем «фокус» — зачеркнём у каждого из оставленных чисел нуль в конце. Что мы получим? Конечно, снова весь натуральный ряд — он, оказывается, ничуть не уменьшился от того, что мы оставили только «одну десятую» его часть!

Если хотите, можете оставить всего лишь «одну миллионную» часть натурального ряда, то есть числа:

1 000 000, 2 000 000, 3 000 000, 4 000 000, ...

Зачеркните теперь у всех чисел последние шесть нулей, и... «одна миллионная» часть тут же превратится в «целый» натуральный ряд! Он поистине «возрождается из пепла», как сказочная птица Феникс. Теперь вам, наверное, стали понятней и те правила грандиозного «шахматного бала», который наблюдали Алиса с Чеширским Котом.

Теорию бесконечных множеств создали в XIX веке чешский математик Больцано и немецкий математик Кантор. Они догадались, что сравнивать бесконечные множества можно единственным способом: составляя из элементов этих множеств пары (помните танцующие пары на «шахматном балу»?). И если можно составить пары так, что любому элементу первого множества найдется «компаньон» среди элементов второго множества, а любому элементу второго — «компаньон» среди элементов первого множества, причём каждый элемент входит в одну пару, то следует считать, что оба множества содержат элементов поровну .

Было строго доказано, что такой способ сравнения множеств не приводит к противоречиям, хотя при этом и возникают «чудеса», подобные описанным выше. Более того, появляются и новые «чудеса»: например, оказывается, что отрезки разной длины содержат одинаковое «число» точек! Вот как это доказывается:

Из этого рисунка видно, как можно составлять «пары» из точек двух отрезков — короткого и длинного. При этом, действительно, все точки обоих отрезков «собираются в пары»!

Можно доказать и большее — что на любом отрезке столько же точек, сколько на всей бесконечной прямой! Мы это сделаем в два приёма. Сначала докажем, что на отрезке столько же точек, как на полуокружности:

А теперь докажем, что на полуокружности столько же точек, сколько на всей прямой:

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

А как вы думаете, где больше точек — во всём квадрате (включая его «внутренность») или только на одной его стороне ?

Сам Кантор, «отец» теории бесконечных множеств, был уверен, что в квадрате точек больше. На поиски доказательства этого «очевидного» факта у него ушло три года, и в конце концов он доказал, что... точек в квадрате столько же , сколько на одной его стороне! Поражённый этим выводом, Кантор писал другому математику: «Я вижу это, но не верю этому». И тем не менее доказательство было безупречным (мы его здесь не приводим — оно не очень простое!).

Может быть, вы решили уже, что все бесконечные множества «одинаковы», то есть содержат одинаковое «число» элементов? Оказывается, и это не так: тот же Кантор показал, что существует бесконечно много разных бесконечных множеств, причем одни из них в «бесконечное число раз» больше других! Например, точек на отрезке «больше», чем всех натуральных чисел. Однако точный смысл слова «больше» для бесконечных множеств не так просто объяснить, да и, кроме того, мы побаиваемся, что у вас и так уже закружилась голова от «бесконечных чудес» с бесконечными множествами!