Некоторые объекты дифференциальной геометрии (часть 2)
artpgchТопологические поверхности и римановы многообразия
Введение
Топологический подход к изучению поверхностей раскрывает свойства, инвариантные относительно непрерывных деформаций, выводя геометрию за рамки жёстких метрических соотношений в область качественных структурных характеристик. В данном примере рассматриваются классические неориентируемые поверхности, а также визуализируются многолистные структуры комплексных функций. Программная реализация с использованием интерактивных трёхмерных построений позволяет наглядно представить различие между локальным поведением в окрестности регулярных точек и глобальными топологическими особенностями, такими как самопересечения и потеря ориентируемости.
Лента Мёбиуса
Лента Мёбиуса это простейшая неориентируемая поверхность, получаемая склеиванием противоположных сторон прямоугольника с предварительным переворотом на пол-оборота. Поверхность обладает единственной стороной и единственной граничной кривой, что делает её фундаментальным контрпримером в топологии многообразий. При обходе вдоль средней линии нормальный вектор меняет направление на противоположное, демонстрируя потерю глобальной ориентируемости при сохранении локальной евклидовой структуры.
Параметрические уравнения классической реализации:
где .
u = range(0, 2π, length=100)
v = range(-1, 1, length=30)
X = [ (1 + vi/2 * cos(ui/2)) * cos(ui) for ui in u, vi in v ]
Y = [ (1 + vi/2 * cos(ui/2)) * sin(ui) for ui in u, vi in v ]
Z = [ vi/2 * sin(ui/2) for ui in u, vi in v ]
surface(X, Y, Z; c=:viridis, alpha=0.97, colorbar=false, title="Лента Мёбиуса")
Параметр задаёт продольное перемещение вдоль средней окружности единичного радиуса, а — поперечное смещение. Полуаргумент в слагаемом, содержащем v, отвечает за постепенный разворот образующей прямой на угол при полном обходе.
Поверхность Боя
Поверхность Боя (Werner Boy — это немецкий математик и физик) это гладкая иммерсия вещественной проективной плоскости в трёхмерное евклидово пространство . Поверхность Боя даёт геометрическое воплощение неориентируемой замкнутой поверхности с самопересечением, образующим кривую тройных точек. Поверхность является результатом поиска отображения проективной плоскости, лишённого складок и острых рёбер, и допускает несколько аналитических параметризаций.
В работе представлены две реализации.
Классическая параметризация Боя использует полиномиальные тригонометрические комбинации:
Проективная параметризация основана на центральной проекции сферы. Вначале задаются координаты на единичной сфере:
Затем вычисляется вспомогательный знаменатель:
И окончательные координаты поверхности:
# Классическая
n1 = 100
u1 = range(0, π, length=n1)
v1 = range(0, 2π, length=n1)
U1, V1 = [u_i for u_i in u1, _ in v1], [v_j for _ in u1, v_j in v1]
x1 = @. (cos(U1) * sin(2V1) + sin(U1) * cos(V1) * cos(2V1) - sin(U1) * sin(V1) * cos(2V1)) / 2
y1 = @. (sin(U1) * sin(2V1) - cos(U1) * cos(V1) * cos(2V1) + cos(U1) * sin(V1) * cos(2V1)) / 2
z1 = @. (cos(U1) * cos(2V1) + sin(U1) * cos(2V1)) / 2
p1 = surface(x1, y1, z1,
fill_z = nothing,
linewidth = 0,
legend = false,
aspect_ratio = :equal,
colorbar = false,
seriescolor = :hsv,
alpha = 0.7,
title = "Поверхность Боя (классическая)",
camera = (45, 30))
# Проективная
n2 = 180
u2 = range(0, π, length=n2)
v2 = range(0, 2π, length=n2)
U2, V2 = [u_i for u_i in u2, _ in v2], [v_j for _ in u2, v_j in v2]
X = @. sin(U2) * cos(V2)
Y = @. sin(U2) * sin(V2)
Z = @. cos(U2)
D = @. X^2 + Y^2 + Z^2 + 1
x2 = @. sqrt(2) * X^2 / D
y2 = @. sqrt(2) * X * Y / D
z2 = @. Y / D
p2 = surface(x2, y2, z2,
fill_z = nothing,
linewidth = 0,
legend = false,
aspect_ratio = :equal,
colorbar = false,
seriescolor = :turbo,
alpha = 0.7,
title = "Поверхность Боя (проективная)",
camera = (35, 25))
plot(p1, p2, layout=(1, 2), size=(1200, 550))
Обе параметризации порождают поверхность, гомеоморфную , демонстрируя различные аспекты её геометрии.
Поверхность Римана
Поверхность Римана представляет собой естественную область однозначности многозначной аналитической функции. В данном примере рассматривается риманова поверхность комплексного квадратного корня , которая реализует накрытие комплексной плоскости с точкой ветвления в нуле. При обходе начала координат по замкнутому контуру аргумент изменяется на , что приводит к смене знака корня и требует перехода на второй лист накрытия.
Комплексная переменная задаётся в полярной форме:
Два листа поверхности соответствуют двум ветвям корня:
r = range(0, 2, length=50)
theta = range(0, 2π, length=50)
R, Theta = [r_i for r_i in r, _ in theta], [theta_j for _ in r, theta_j in theta]
Z = R .* exp.(1im .* Theta)
W1 = sqrt.(R) .* exp.(1im .* Theta ./ 2)
W2 = -W1
X1 = real.(Z); Y1 = imag.(Z); Z1 = real.(W1)
X2 = real.(Z); Y2 = imag.(Z); Z2 = real.(W2)
p = plot(xlabel = "Re(z)", ylabel = "Im(z)", zlabel = "Re(w)",
title = "Поверхность Римана", camera = (-45, 45), aspect_ratio = :equal)
surface!(p, X1, Y1, Z1, alpha=0.9, colorbar=false, fillcolor=:cool, linewidth=0)
surface!(p, X2, Y2, Z2, alpha=0.9, colorbar=false, fillcolor=:cool, linewidth=0)
display(p)
В трёхмерном представлении по осям и откладываются действительная и мнимая части , а по оси — действительная часть соответствующего значения . Совместное построение двух листов, пересекающихся по лучу ветвления, даёт полную картину топологии накрытия.
Скрещенный колпак
Скрещенный колпак (cross-cap) — это стандартная модель неориентируемой замкнутой поверхности, эквивалентной проективной плоскости с приклеенным листом Мёбиуса по граничной окружности. В отличие от поверхности Боя, скрещенный колпак содержит линию особых точек, вдоль которой происходит самопересечение поверхности. Геометрически эту модель можно представить как сферу, у которой отождествлены диаметрально противоположные точки экваториальной окружности, что порождает характерную особенность в виде пересекающихся «языков».
Параметрическое описание:
n = 100
u = range(0, π, length=n)
v = range(0, π, length=n)
U, V = [u_i for u_i in u, _ in v], [v_j for _ in u, v_j in v]
x = @. sin(2U) * sin(V)^2
y = @. sin(U) * sin(2V)
z = @. cos(U) * sin(V)^2 - sin(U)^2 * cos(V)
surface(x, y, z,
fill_z = nothing,
linewidth = 0,
legend = false,
aspect_ratio = :equal,
colorbar = false,
title = "Cкрещенный колпак",
seriescolor = :turbo,
alpha = 0.8)
Параметры и соответствуют угловым координатам на исходной сфере. Комбинации синусов и косинусов определяют погружение сферы с антиподальной инволюцией в трёхмерное пространство.
Заключение
Рассмотренные примеры иллюстрируют фундаментальное различие между локальной геометрией и глобальной топологией поверхностей. Лента Мёбиуса, поверхность Боя и скрещенный колпак демонстрируют три различных способа реализации неориентируемости в трёхмерном пространстве: от односторонней поверхности с границей до замкнутых моделей проективной плоскости с самопересечениями различной структуры. Поверхность Римана, в свою очередь, раскрывает связь топологии с комплексным анализом, показывая, как многозначность аналитических функций естественно разрешается переходом к накрытиям.
Данные вычислительные модели могут служить основой для изучения более сложных топологических инвариантов — гомотопических групп, классов Эйлера и препятствий к ориентируемости векторных расслоений. В прикладной перспективе понимание структурной топологии неориентируемых многообразий находит применение в теории жидких кристаллов, физике конденсированного состояния и современной космологии при анализе возможных глобальных структур пространства-времени.