Спотлайт №27 — Топологія: стрічки Мьобіуса, пляшки Кляйна, вузли та мінімальні поверхні

Тополог не відрізнить коло від еліпса. Обидва — це петлі, які можна розтягнути одна в одну без розривів і склеювань, тож вони топологічно еквівалентні — гомеоморфні. Але коло й фігура вісімки різні: одну неможливо перетворити на іншу без проходження крізь самоперетин. Топологія класифікує форми за властивостями, що переживають неперервну деформацію: скільки дірок, скільки ручок, чи має поверхня два боки чи один.

Ці питання, які виглядають як математика для розваги, лежать в основі сучасної фізики (топологічні фази матерії, за які присудили Нобелівську премію 2016 року), матеріалознавства (заплутані полімери й топологічні ізолятори), аналізу даних (персистентна гомологія, TDA), робототехніки (конфігураційні простори) та геометрії Всесвіту в цілому.

1. Характеристика Ейлера — топологічний відбиток

Перш ніж говорити про поверхні, порахуємо: для будь-якого опуклого многогранника — куба, ікосаедра, тетраедра — число вершин мінус ребра плюс грані завжди дорівнює 2. Це характеристика Ейлера χ = 2 для поверхні, схожої на сферу. Це один із найфундаментальніших інваріантів у всій математиці: він залежить лише від топології, а не від форми.

Характеристика Ейлера:
  χ = V − E + F   (вершини − ребра + грані)
  Для многогранника, топологічно еквівалентного сфері: χ = 2  (завжди)
  Куб:          8 − 12 + 6  = 2  ✓
  Тетраедр:     4 − 6  + 4  = 2  ✓
  Ікосаедр:    12 − 30 + 20 = 2  ✓

Зв'язок з родом g (кількістю ручок):
  χ = 2 − 2g   (для орієнтовних поверхонь)
  Сфера (g=0):    χ = 2
  Тор (g=1):      χ = 0
  Подвійний тор:  χ = −2
  Поверхня роду 4: χ = −6

Теорема Гаусса-Бонне (неперервна версія):
  ∫∫_M K dA = 2π χ(M)
  K = гаусова кривина (добуток головних кривин)
  Сфера: K = 1/R² скрізь → ∫K dA = 4π = 2π·2 ✓
  Тор: K додатна на зовнішньому екваторі, від'ємна всередині → ∫K dA = 0 ✓

Класифікація компактних поверхонь:
  Кожна компактна, зв'язна, орієнтовна поверхня ≅ сфера + g ручок
    → повністю класифікується родом g ∈ {0, 1, 2, …}
  Неорієнтовні: стрічка Мьобіуса (з межею), пляшка Кляйна, ℝP² (без межі)
    → класифікуються родом (у неорієнтовному сенсі)

Теорема Гаусса-Бонне — один із найглибших результатів математики: суто геометрична величина (сумарна гаусова кривина) дорівнює суто топологічній (χ = 2 − 2g). Хоч би як ви деформували тор, хоч би яким горбистим чи неправильним ви його робили, сумарна кривина завжди інтегрується в нуль. Теорема узагальнюється на вищі виміри (Черн-Гаусс-Бонне) і є попередником теореми про індекс Атьї-Зінгера — одного з найглибших зв'язків між аналізом, геометрією та топологією в сучасній математиці.

2. Стрічка Мьобіуса — один бік, один край

Візьміть смужку паперу. Перекрутіть її наполовину. З'єднайте кінці. Ви щойно створили стрічку Мьобіуса: поверхню лише з одним боком і одним граничним краєм. Мурашка, що йде по поверхні, повернеться у вихідну точку, обійшовши всю поверхню — жодного разу не перетнувши край. Пофарбуйте "внутрішню" сторону в червоний — ви пофарбуєте і "зовнішню" теж.

Параметризація (w = півширина, 0 ≤ u ≤ 2π, −1 ≤ v ≤ 1):
  x(u,v) = (R + v·cos(u/2))·cos(u)
  y(u,v) = (R + v·cos(u/2))·sin(u)
  z(u,v) = v·sin(u/2)
  Центральне коло: v = 0, радіус R
  Півперекрут закодований через u/2 у тригонометричних функціях.

Ключові властивості:
  Боки:     1 (неорієнтовна — немає узгодженого напрямку нормалі)
  Краї:     1 (одне граничне коло, вдвічі довше за центральну лінію)
  Характеристика Ейлера: χ = 0 (як у циліндра, але неорієнтовна)
  Не вкладається без самоперетину в простір розмірності < 3.

Розрізання стрічки Мьобіуса:
  Розріз по центральній лінії → одна довга стрічка з двома перекрутами (орієнтовна, роду 1)
  Розріз по лінії на 1/3 → дві переплетені стрічки різної довжини
  Ці результати контрінтуїтивні, але прямо випливають із вкладення.

Зв'язок із реальною проєктивною площиною ℝP²:
  Склеїти дві стрічки Мьобіуса по їхній межі → пляшка Кляйна
  Приклеїти межу стрічки Мьобіуса до межі диска → ℝP² (не вкладається в ℝ³)
  χ(ℝP²) = 1

Нормальне розшарування:
  Стрічка Мьобіуса має нетривіальне (перекручене) нормальне розшарування.
  Це топологічна перешкода орієнтовності.
  Векторні розшарування з такою властивістю з'являються в теорії топологічних ізоляторів.

Неорієнтовність стрічки Мьобіуса має конкретні фізичні наслідки. Мьобіусоподібний магнітний контур має незвичайні властивості індуктивності; резистори з топологією Мьобіуса скасовують магнітну індукцію з обох боків. В органічній хімії ароматичність Мьобіуса (петля молекулярних орбіталей із півперекрутом) дає незвичайні правила стабільності порівняно з ароматичністю Гюккеля. А топологічна теорія зон — основа топологічних ізоляторів — це, по суті, вивчення векторних розшарувань над імпульсним простором, де нетривіальна топологія, подібна до мьобіусової, породжує крайові стани, захищені від безладу.

3. Пляшка Кляйна — немає ні всередини, ні зовні

Відкрита Феліксом Кляйном у 1882 році, пляшка Кляйна — замкнена неорієнтовна поверхня без межі — а отже, і без внутрішньої чи зовнішньої сторони. Її неможливо вкласти в тривимірний простір без самоперетину; її природний дім — чотиривимірний простір, де вона розміщується охайно, без накладень. Те, що ми візуалізуємо в 3D, завжди є проєкцією, що проходить крізь саму себе.

Побудова:
  Почніть із квадрата: ототожніть протилежні краї, але одну пару — з розворотом.
  Циліндр (одна пара, той самий напрямок) → потім протягніть один кінець крізь
  бічну поверхню й приєднайте до іншого кінця з протилежною орієнтацією.
  У 4D: шлях крізь поверхню повністю уникає самоперетину.

Занурення в ℝ³ (одна стандартна параметризація, 0 ≤ u,v ≤ 2π):
  x = (a + b·cos(v/2)·sin(u) − b·sin(v/2)·sin(2u))·cos(u)
  y = (a + b·cos(v/2)·sin(u) − b·sin(v/2)·sin(2u))·sin(u)
  z =  b·sin(v/2)·cos(u) +  b·cos(v/2)·cos(2u)·sin(u)
  Коло самоперетину з'являється там, де трубка проходить крізь поверхню.

Ключові властивості:
  Боки:     1 (неорієнтовна)
  Межа:     немає (замкнена поверхня)
  Характеристика Ейлера: χ = 0
  Рід (неорієнтовний): 2

Розклад:
  Пляшка Кляйна = стрічка Мьобіуса ∪ стрічка Мьобіуса (склеєні по спільній межі)
  Це означає, що дві пляшки Кляйна можна розрізати на чотири стрічки Мьобіуса.

Групи гомології (з коефіцієнтами ℤ):
  H₀ = ℤ (зв'язна)
  H₁ = ℤ ⊕ ℤ/2  (ℤ/2 виявляє неорієнтовність)
  H₂ = 0  (немає фундаментального класу — неорієнтовна, на відміну від тора)
  Порівняйте з тором: H₁(T²) = ℤ ⊕ ℤ, H₂(T²) = ℤ

Алгебраїчна топологія пляшки Кляйна — її гомологічні та гомотопічні групи — формалізує інтуїцію, що шляхи, які проходять "крізь" самоперетин у 3D, топологічно відрізняються від тих, що цього не роблять. Елемент ℤ/2 у H₁ — алгебраїчний слід неорієнтовності. Цей апарат, розроблений для поверхонь, масштабується до n-вимірних многовидів і формує основу сучасної диференціальної топології, алгебраїчної K-теорії та теорії струн.

4. Тор — рід 1 і плоскість у серці

Тор — найпростіша поверхня роду 1: сфера з однією ручкою. Вона орієнтовна, не має межі й трапляється всюди — від форми пончика й перерізу автомобільної шини до фазового простору маятника, зони Бріллюена кристалічної ґратки та конфігураційного простору дволанкової роботизованої руки.

Стандартне вкладення (велика піввісь R, мала піввісь r):
  x(u,v) = (R + r·cos(v))·cos(u)
  y(u,v) = (R + r·cos(v))·sin(u)
  z(u,v) = r·sin(v)
  u, v ∈ [0, 2π)

Гаусова кривина (не стала — на відміну від сфери чи площини):
  K(u,v) = cos(v) / [r(R + r·cos(v))]
  Зовнішній екватор (v=0):    K > 0   (сферо-подібна)
  Внутрішній екватор (v=π):   K < 0   (сідло-подібна)
  Верхнє/нижнє кола:          K = 0
  Сумарна кривина: ∫∫ K dA = 0   (узгоджується з χ = 0 через Гаусса-Бонне)

Плоский тор (абстрактно плаский, але не вкладається в ℝ³ без спотворення):
  Ототожніть протилежні сторони одиничного квадрата: (x,y) ~ (x+1,y) ~ (x,y+1)
  Ніде немає кривини — геодезичні є прямими лініями, що обгортаються навколо.
  Використовується для моделювання: кристалічної ґратки (періодичні граничні умови),
    світів відеоігор (тороїдальні карти), траєкторій у фазовому просторі.

Тор Кліффорда (живе в ℝ⁴, кривина ніде не з'являється):
  (cos θ, sin θ, cos φ, sin φ) для θ,φ ∈ [0,2π)
  Переріз 3-сфери S³ — рівні половини S³.
  З'являється в розшаруванні Хопфа S³ → S² та в теорії розшарувань.

Тор як фазовий простір — одна з найпотужніших ідей класичної механіки. Інтегровна гамільтонова система з n ступенями вільності та n законами збереження (як маятник чи задача Кеплера) має траєкторії, що живуть на n-вимірних торах у фазовому просторі — теорема Арнольда-Ліувілля. Орбіти або замикаються (якщо числа обертання раціональні), або густо заповнюють тор (якщо ірраціональні). Ця структура — основа теорії збурень і теореми KAM про збереження квазіперіодичних орбіт при малих збуреннях.

5. Теорія вузлів — заплутані петлі у просторі

Вузол — це замкнена петля, вкладена у 3D-простір. Тривіальний вузол (незв'язок) — це просте коло. Теорія вузлів запитує: маючи дві заплутані петлі, чи можна деформувати одну в іншу без розрізання? Це напрочуд складне питання — не відомо жодного алгоритму, що завжди відповідає на нього ефективно — і інструменти, розроблені для його вивчення, знайшли застосування далеко за межами чистої математики.

Рухи Райдемайстера (локальні рухи, що не змінюють тип вузла):
  Тип I:   перекрутити / розкрутити петлю (змінює завиток)
  Тип II:  протягнути одну дугу під/над іншою
  Тип III: протягнути нитку повз перетин
  Будь-які дві діаграми одного вузла пов'язані послідовністю цих рухів.
  Інваріант вузла має лишатися незмінним при всіх трьох рухах.

Поліном Александера Δ(t) — найстаріший поліноміальний інваріант (1928):
  Обчислюється з матриці Зейферта S: Δ(t) = det(S − t·Sᵀ)
  Незв'язок:  Δ(t) = 1
  Трилисник:  Δ(t) = −t + 1 − t⁻¹  = t⁻¹(1 − t + t²) (лівий/правий однакові)
  Вузол-вісімка: Δ(t) = −t + 3 − t⁻¹

Поліном Джонса V(t) — сильніший інваріант (1984, медаль Філдса):
  Визначається через скейн-співвідношення:
    t⁻¹ V(L₊) − t V(L₋) = (t^(1/2) − t^(−1/2)) V(L₀)
  Розрізняє лівий і правий трилисник (дзеркальні вузли) — Александер цього не може!
  Лівий трилисник V(t) = −t⁻⁴ + t⁻³ + t⁻¹
  Правий трилисник V(t) = −t⁴ + t³ + t

Фізичні застосування теорії вузлів:
  Топологія ДНК: реплікація вимагає розв'язування (топоізомерази)
  Згортання білків: заплутані білкові ланцюги опираються розгортанню
  Вихори в рідинах: топологічний заряд вихрового вузла зберігається
  Квантові групи: поліном Джонса пов'язаний з квантовою теорією поля (теорія Черна-Саймонса)

Зв'язок між поліномом Джонса та квантовою теорією поля (Віттен, 1989) був одним із великих сюрпризів математики кінця XX століття. Віттен показав, що поліном Джонса можна обчислити як континуальний інтеграл у 3D топологічній квантовій теорії поля (теорії Черна-Саймонса). Це пов'язало теорію вузлів із квантовою гравітацією, конформною теорією поля і — через математику квантових груп — натякнуло на глибокі структури, що лежать в основі теорії струн та M-теорії.

6. Мінімальні поверхні — мильні плівки та задача Плато

Занурте дротяний каркас у мильну воду і витягніть його. Мильна плівка, що утворюється, є мінімальною поверхнею: поверхнею найменшої площі, що натягнута на межу. Її геометрія керується одним рівнянням — середня кривина H = 0 скрізь, — що врівноважує дві головні кривини. Плато першим вивчав це експериментально в XIX столітті; математична проблема доведення існування (і регулярності) мінімізаторів для будь-якої граничної кривої займала математиків понад століття.

Головні кривини в точці: κ₁, κ₂ (макс./мін. нормальна кривина)
Середня кривина:  H = (κ₁ + κ₂) / 2
Гаусова кривина: K = κ₁ κ₂
Умова мінімальної поверхні: H = 0   ⟹   κ₁ = −κ₂  (скрізь сідло)

Рівняння мінімальної поверхні (форма Монжа z = f(x,y)):
  (1 + f_y²)f_xx − 2f_x f_y f_xy + (1 + f_x²)f_yy = 0
  Це нелінійне ДРЧ — рівняння Ейлера-Лагранжа функціоналу площі A = ∫∫√(1+|∇f|²) dA.

Ключові приклади:
  Площина:    плоска, H=0, K=0   (тривіальна мінімальна поверхня)
  Катеноїд:   z = a·cosh⁻¹(r/a), κ₁=−κ₂ = −1/(a·cosh²(z/a))
              Єдина мінімальна поверхня обертання, крім площини.
  Гелікоїд:   x = t·cos(s), y = t·sin(s), z = s
              Конгруентний катеноїду — вони поділяють одне зображення Вейєрштрасса.
  Шерк:       e^z·cos(y) = cos(x)  (двоперіодична мінімальна поверхня)
  Гіроїд:     тричі-періодична мінімальна поверхня — з'являється в лусочках крил
              метеликів, фазовій структурі блок-кополімерів, каркасах цеолітів.

Задача Плато (1873 / Радо 1930 / Дуглас 1931 — медаль Філдса):
  "Чи для будь-якої простої замкненої кривої Жордана Γ ⊂ ℝ³ існує мінімальна
  поверхня, натягнута на Γ?"
  Відповідь: ТАК (для будь-якої спрямлюваної межі). Може існувати кілька
  розв'язків; регулярність поза межею.

Енергія Вілмора (узагальнення):
  W = ∫∫ H² dA   (штрафує відхилення від H=0)
  Гіпотеза Вілмора (1965): для торів мін. W = 2π² (досягається тором Кліффорда)
  Доведена Маркешем і Невішем у 2012 році за допомогою теорії min-max.

Мінімальні поверхні — не лише прекрасна математика, а й інженерія. Гіроїд, тричі-періодична мінімальна поверхня, відкрита у 1970 році, з'являється у переливчастих лусочках крил деяких метеликів (фотонні кристали), у самоскладанні мембран блок-кополімерів та в пористій архітектурі деяких цеолітів. Архітектори використовують мінімальні поверхні як основу для натяжних оболонкових конструкцій: дах олімпійського стадіону в Мюнхені — тканинна мінімальна поверхня. Математика мильних плівок стала математикою мембран, пін і м'якої речовини.

Незбагненна ефективність топології

Топологія почалась як вивчення геометрії гумового листа — форм, що однакові, якщо одну можна розтягнути в іншу. За століття вона стала одним із наймогутніших апаратів математики та фізики. Топологічні квантові теорії поля описують квантові холлівські стани. Топологічні ізолятори класифікуються цілочисловими інваріантами (числами Черна), що є чистою алгебраїчною топологією. Поліноми вузлів з'являються у квантовій гравітації. Персистентна гомологія аналізує форму даних у машинному навчанні.

Патерн знайомий: абстрактна математика, винайдена з естетичних міркувань, виявляється описом фізичної реальності. Але ефективність топології особливо разюча, бо це математика якісних ознак — дірок, ручок, перекрутів, — що переживають будь-яку кількісну зміну. Це саме ті ознаки, які фізичні системи можуть "захищати": топологічний фазовий перехід змінює χ чи число Черна; звичайні фазові переходи — ні. Ця стійкість — ось чому топологічні властивості дають стабільні квантові біти, стійкі до помилок квантові пам'яті та матеріали, що лишаються провідними на своїх краях навіть за сильного безладу.

Від топології природний наступний крок — алгебраїчна топологія (гомотопічні групи, розшарування) і диференціальна геометрія — апарат, на якому побудована загальна теорія відносності. Дивіться Навчання №23 — Загальна теорія відносності про те, як мова многовидів і метрик описує космос. Про квантовий бік топологічного порядку дивіться Навчання №17 — Квантова механіка.