Врезка 1. Упражнение для слушателей (необязательное; но ответ полезно прочесть)
Во времена фашистской Германии в ней процветали ученые- шарлатаны. Один из них на полном серьезе утверждал, что всё космическое пространство вокруг Земли заполнено... льдом. (То есть, что мечтать о космических полетах бессмысленно.) Ну, допустим, это так и есть. Хм. Рассмотрим тогда три объекта: поверхность Земли, внутренность Земли и наружная часть Земли, состоящая, хм, изо льда. Как называются эти объекты на языке топологии? Одинаковы ли с точки зрения топологии второй и третий объект?
ОТВЕТ. Первая часть ответа: первый объектдвумерный, типа сферы. Не имеет граничных точек.
Второй объект: 3-мерный, типа шара. Его граничные точкивсе точки поверхности Земли.
Третий объект: 3-мерный, типа шарового слоя. Граничные точкивсе точки поверхности Земли.
Вторая часть ответа: второй и третий тип топологически различны, так как шаровой слой существенно отличается от шара. Граничные точки у них тем не менее одинаковы.
Третья часть ответа: не следует говорить, что третий объект «бесконечный по размерам», так как в топологии неважно, каковы размеры объектов. Например, если взять поверхность сферы и выкинуть из нее одну-единственную точку, то по житейским представлениям этот объект «конечный по размерам», в то время как плоскость «бесконечна». По правилам же топологического исследования, сфера с «выколотой» точкой имеет тот же топологический тип, что и плоскость.
Возьмем и изогнем, изомнем, растянем поверхность шара, но нигде не порвем;, и не склеим, никакие две точки в одну. Мы можем из нее таким образом получить, например, куб (то есть, естественно, не сам куб, а его поверхность). Чтобы понять, как это делается, покажем, как из круга, изготовленного из резины, получить квадрат (размеры квадрата неважны). Для этого надо в четырех равноудаленных местах границы круга потянуть наружу резиновый слой, пока он не примет форму квадрата. В частности, точки границы круга превратились в точки периметра квадрата.
Можно много чего сделать из резиновой камеры сдутого футбольного мяча. Но есть интуиция, которая подсказывает, что автомобильную (или велосипедную) камеру из камеры футбольного мяча сделать будет затруднительно, даже используя те широкие возможности, которые предоставляет нам топология. Куб, эллипсоид (то есть сжатая поверхность сферы), яблоко, арбузпожалуйста, а вот бублик из шара не сделаешь, не порвав его, либо не склеив между собой некоторые точки. Согласно сказанному выше, надо различать две разные задачи: 1) Из заполненного шара сделать заполненный бублик и 2) Из поверхности шара сделать поверхность бублика. Первая задача «решена» в подписи к рис. 28.
И Эйлер задался вопросом, а можно ли это утверждение доказать? Вроде бы интуитивно оно совершенно понятное. Но матема-
тика ставит задачу перевести очевидное на язык строго доказанного. Ведь если мы откроем цивилизацию, которая, например, живет на плоскости, для ее жителей будет не очевиден рассматриваемый нами факт (см. врезку 2). А с номощыо математики мы сможем передать им содержание теоремы. К чему я клоню?
Врезка 2. Эйнштейно топологии
Однажды А. Эйнштейна попросили совсем кратко, на понятном любому языке, пояснить, в чем состоит суть сделанных им открытий. Он ответил: все мы, люди, словно маленькие жучки с завязанными глазами, ползающие но поверхности большого мяча и воображающие, что двигаемся но плоскости. Я же первый понял, что мир, в котором я живу, искривлен. Но пока не совсем понятно, как именно он искривлен. (То есть, «по-научному», каков топологический тип космоса.)
А вот к чему. Несколько лет назад математик Г. Перельман установил похожий факт, но только в пространстве больших измерений. Факт про фигуры в многомерном пространстве, которые локально похожи на искривленное трехмерное пространство. Мы живом в трехмерном пространстве, мы четвертого измерения не видим и не чувствуем. Мы можем только рассуждать, что четвертое измерение это время, но объять его взором не можем. Поэтому мы не можем говорить так спокойно и убежденно, что сделать из шара тор в пространстве больших измерений нельзя. (Ведь в 4мерном пространстве, как указывалось выше, МОЖНО, не нарушая правил топологии, превратить незаметным образом человека с сердцем, расположенным слева, в человека с сердцем, расположенным справа.)
Нам нужен язык, на котором это можно доказать. И вот для того, чтобы это можно было доказывать, для того чтобы через много лет Перельман смог доказать «гипотезу Пуанкаре» (после того как ее доказали, она вместо гипотезы Пуанкаре стала называться теоремой Перельмана или Пуанкаре Перельмана), Эйлер начал большой путь. Он перевел то, что мы с вами считаем очевидным, в точное, железобетонное математическое рассуждение. Как же он это сделал? Он нарисовал на поверхности шара, мяча, арбуза, глобуса, любого круглого объекта некоторую карту. Иными словами, некий искривленный многогранник (рис. 29).
С точки зрения топологии, любой многогранник это тоже шар. Тетраэдр это шар. куб это шар. октаэдр, любой параллелепипед это всё шары. Например, потому что если их выполнить из резины и надуть, то получится футбольный мяч. то есть шар. Но до работ Эйлера еще не было «точки зрения топологии», так как не было и самой топологии.
Эйлер «чувствовал», что все эти объекты одинаковые. В чём именно? И как это объяснить остальным людям? В особенности его интересовал вопрос: как доказать, что поверхность шара, поверхность бублика, поверхность кренделя неодинаковые?8 В ответ на первый вопрос ясность позже внес Анри Пуанкаре (после того, как Огюст Коши внес должную ясность в вопрос, что такое «непрерывная функция»). Однако Эйлер сразу обратился ко второй задаче (о доказательстве неодинаковости двух поверхностей) и блестяще решил ее.
Эйлер сделал следующее. Он нанес на поверхность шара многогранник картиночку «стран», причем страны необязательно треугольные (рис. 30). (Если говорить о «странах», то надо помнить, что рассматривается «Земной шар», не содержащий морей и океанов.) При этом вся поверхность шара должна быть покрыта многоугольниками.
Главное, чтобы каждая страна была простым плоским объектом, без дырочек, как круг или квадрат. И далее он сделал то же самое с велосипедной камерой. Нанес такой многогранник, который является как бы «остовом» каретного колеса (машинных колес в то время еще не было!). При этом вовсе не обязательно, чтобы количество и вид граней, а также количество вершин и ребер этого многогранника для шара и для колеса были одинаковы.
Более того, они и не могут быть одинаковыми (как мы увидим ниже).
А потом стал считать у этих многогранников эйлерову характеристику: величину ВР + Г.
Число вершин минус число ребер плюс число граней. Как бы мы ни мяли и ни изгибали шар, наши грани«страны» от этого не меняются. (Но, конечно, нельзя так смять страну, чтобы она вся превратилась в отрезок. Такого даже во время наполеоновских войн не происходило! А если говорить серьезно, то отрезокодномерный объект, а странадвумерный.) То есть вершины остаются вершинами, ребраребрами, а граникакими были (например, изогнутым пятиугольником или треугольником), такими и остались. А значит, величина ВР + Г не меняется. Теперь считаем эту величину на колесе (по науке поверхность колеса (или бублика) называется словом «ТОР». А тор, заполненный внутри, называется полнот,орием. Поверхность же шара называется, как известно, сферой). И если сфера может перейти в тор, то картинка на шаре перейдет в картинку на колесе. И, значит, их эйлерова характеристика должна быть одинакова.
Докажем, однако, что у любой фигуры, нарисованной на колесе, эйлерова характеристика равна 0, а у любой фигуры на шареравна 2.
Слушатель: А если бы получилась одна и та же цифра, то что?
А.С.: Мы не смогли бы сделать из этого никакого вывода. Мы бы не смогли сделать вывод, что они одинаковые, но не смогли бы сделать и вывод, что они разные. Но ведь есть и другие подходы, кроме формулы Эйлера. Для более сложных случаев.
Слушатель: Понятно.