Черные дыры и Вселенная (Новиков) - страница 70

Точка, расстояние которой записано этой дробью, пропущена в нашем бесконечном списке и, значит, не имеет номера.

Казалось бы, можно начать нумеровать с этой точки, а уж потом давать номера всем остальным. Как шутливо замечает голландский математик Г. Фрейденталь, именно так поступил человек, побившийся об заклад съесть 20 картофелин. Съев 19 из них и чувствуя себя не в силах проглотить последнюю, картофелину, этот человек со вздохом заметил: «С нее-то мне и следовало бы начать».

Разумеется, если начать нумеровать с только что указанной точки, оставшейся без номера, то тем же способом можно найти другую точку, оставшуюся без номера при новом способе нумерации.

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

Итак, точек на единичном отрезке прямой заведомо больше, чем бесконечных чисел натурального ряда. Математики говорят, что бесконечность точек на отрезке прямой более мощная, чем бесконечность чисел натурального ряда.

Значит, бесконечности не все одинаковые. Среди них есть более мощные, то есть более богатые элементами, и менее мощные.

Казалось бы, количество точек на всей прямой заведомо больше, чем количество точек на единичном отрезке. Ведь отрезок — часть прямой. Но мы уже осторожны и помним, что в царстве бесконечности тезис «часть меньше целого» не работает. И действительно, мощности бесконечного числа точек прямой и отрезка одинаковы. Это одинаковые бесконечности!

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

Но это не так. Математики умеют строить множества все более и более мощные, то есть строить все большие и большие бесконечности. Нет наибольшей бесконечности, этот ряд тоже бесконечен.

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

Вернемся к расширению Вселенной. После всего сказанного нас уже не удивляет, что бесконечная Вселенная может бесконечно расширяться и для этого не требуется чего-то вне Вселенной, чего-то «потустороннего».