ПРИЛОЖЕНИЯ[127]
Поверхность тора, вложенного в трехмерное пространство, непрерывно искривлена. На первый взгляд кажется невозможным уплощить тор, не превратив меридианы (красные круги) в прямые — тогда все линии широты (синие круги) будут иметь одинаковый радиус. Но тогда топология поверхности изменится, и она станет обычным цилиндром. Однако, вращая каждый меридиан в четвертом пространственном измерении, можно добиться равенства широтных радиусов без ненужного спрямления меридианов. Трехмерная «тень» получившегося объекта выглядит как цилиндр, но различные оттенки передней и задней поверхностей указывают, что на самом деле они не соприкасаются ― в четвертом измерении они разделены.
Стандартный способ вложения тора в три измерения приводит к замене координат
Здесь а, b — соответственно больший и меньший радиусы тора, а углы
Вложение тора в три измерения в координатах
Тор можно вложить и в четыре измерения:
Это новое вложение достигается вращением каждого красного меридиана на 90 градусов в четвертом измерении — расстояние по центральной оси превращается в расстояние по координате w.
Если теперь рассматривать сечение в координатах (
Вложение тора в три измерения в координатах
Вложение тора в четыре измерения в координатах
Сферу тоже нельзя уплощить, вложив ее в любое пространство высшего порядка. Чтобы увидеть, почему это так, мысленно разделите ее на восемь треугольников. Четыре треугольника пересекаются в шести точках, и если бы поверхность, покрытая ими, была плоской, сумма углов вокруг каждой точки равнялась бы 360 градусам, а в сумме набегало бы 360 х 6 = 2160 градусов. Но, учитывая, что сумма углов каждого треугольника должна равняться 180 градусам, восемь треугольников поставляют нам 180 х 8 = 1440 градусов. Одновременно удовлетворить обоим этим условиям невозможно.
Здесь
От изменения какого-либо компонента формулы число Эйлера не меняется.
Рассмотрим теперь специальный случай, в котором все треугольники, вымостившие некоторую поверхность, полностью граничат всеми ребрами с соседями. Тогда каждое ребро принадлежит одновременно двум треугольникам. Итак,