Если говорить кратко, то топология свободна от жестких структур евклидовой и проективной геометрии. С помощью «непрерывных преобразований» стало возможным моделировать новые фигуры и определять новые категории преобразований. Представим себе треугольник, нарисованный на поверхности шара. При сжатии шара (таком, что шар не ломается) треугольник будет принимать различную форму. Будут изменяться углы и длины сторон, но «сущность» треугольника будет оставаться неизменной: это по-прежнему будет фигура, определяемая тремя точками и тремя отрезками, соединяющими эти точки. Чтобы начать мыслить с топологической точки зрения, нужно представить, что все фигуры сделаны из резины и могут деформироваться. Так, деформацией сферы невозможно получить бублик, но зато бублик будет эквивалентен… чайной чашке.
Рассмотрим выпуклый п-угольник с вершинами
Вне зависимости от длин сторон, величин углов, кривизны ребер и прочих параметров, число ребер будет всегда равно числу вершин многоугольника. Это соотношение столь тривиально, что на него можно даже не обратить внимание. Если сохранить число вершин неизменным и заменить одно из прямых ребер любой простой кривой, это соотношение не изменится.
Перейдем в трехмерное пространство и рассмотрим произвольный выпуклый многогранник, который имеет
Многограннику также можно поставить в соответствие плоский граф, который будет иметь то же число ребер
Можно заметить, что при
Так доказывается знаменитая формула Эйлера, которая звучит следующим образом: в любом выпуклом многограннике выполняется соотношение
Этот результат может показаться тривиальным, но если немного подумать, то мы увидим, что это соотношение поистине удивительно: оно выполняется для любого выпуклого многогранника независимо от формы его граней, углов на гранях и углов между гранями, от длин ребер и других параметров. Формула, которая выполняется для бесконечно большого числа разнообразных фигур, не может не привлекать внимание. Здесь что-то не так. Практически не существует формул, которые справедливы для столь непохожих фигур.
* * *