Читать «Алиса в стране математики» онлайн - страница 84

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

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

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

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

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

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

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

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

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

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

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

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

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

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