В поисках бесконечности - [39]

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

Замкнутая линия бесконечной длины.

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

Но может ли существовать замкнутая линия бесконечной длины? Обычные замкнутые линии: окружность, эллипс, кардиоида — имеют конечную длину. Длина же колючей линии Ван-дер-Вардена бесконечна.

В самом деле, легко подсчитать, что после n-го шага получается линия, имеющая периметр 3*(⁴/₃ⁿ). Но при возрастании n это выражение стремится к бесконечности. Отсюда и вытекает, что длина линии Ван-дер-Вардена бесконечна.

Математический ковер.

Рассказывают, что Екатерина II однажды спросила какого-то генерала, в чем разница между мортирой и гаубицей. Растерявшийся генерал ответил: "А видишь ли, государыня-матушка, мортира-то она особь статья, а гаубица — особь статья". Примерно столь же содержательный ответ можно получить, если спросить далекого от математики человека, в чем разница между линией, поверхностью и телом. Более того, он удивится, как можно спрашивать о столь очевидных вещах. Ведь всякому ясно, что линия, поверхность и тело — совсем разные вещи, и никто не назовет окружность поверхностью или сферу линией.

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

Рис. 19

Вот некоторые из этих фигур. Возьмем квадрат со стороной 1, разделим его на 9 равных квадратиков и выкинем среднюю часть (оставив ее стороны). После этого разделим каждый из оставшихся квадратов снова на 9 равных квадратиков и снова удалим центральные квадратики. Еще один такой шаг приведет к фигуре, изображенной на рис. 19, где заштрихованы все выброшенные квадратики. Ясно, что эта фигура еще является поверхностью. Но мы не остановимся и будем бесконечно много раз делить квадратики на 9 равных частей, после чего выбрасывать среднюю часть. В конце концов у нас получится геометрическая фигура, которую называют ковром Серпинского по имени придумавшего ее польского ученого.

Эта фигура похожа на ткань, сотканную сумасшедшим ткачом. Вдоль и поперек идут нити основы и утка, сплетаясь в очень симметричные и красивые узоры. Но сама получившаяся ткань весьма дырява — ни одного целого куска в ней нет, каждый самый маленький квадратик подвергался вырезанию центральной части. И совсем неясно, чем является этот ковер — линией или поверхностью? Ведь, с одной стороны, он не содержит ни одной целой части, а потому вряд ли является поверхностью, а с другой — образующие его нити сплелись в настолько сложный узор, что вряд ли кто-нибудь без колебаний назовет ковер Серпинского линией. Во всяком случае, нарисовать эту "линию" было бы невозможно.

Рис. 20

А ковер Серпинского — не самая сложная из геометрических фигур. Вместо квадрата мы разделим кубик на 27 равных кубиков и выбросим центральный кубик вместе о шестью прилегающими к нему кубиками. После этого разделим каждый оставшийся кубик еще на 27 частей и продолжим операцию выбрасывания (на рис. 20 изображено тело, остающееся после двух выбрасываний). Проделаем эту операцию бесконечно много раз. Чем является оставшаяся после всех выбрасываний геометрическая фигура — линией, поверхностью или телом?

Евклид отказывает в помощи.

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

Но как раз по интересующему нас вопросу у Евклида написано нечто совсем невнятное. Первые строки книги Евклида "Начала" гласят следующее:

   1. Точка есть то, что не имеет частей.

   2. Линия же — длина без ширины.

   3. Оконечность же линии — точка.

   4. Поверхность есть то, что имеет только длину и ширину.

   5. Оконечность же поверхности — линия.