Топологія ★★★ Складний

📐 Тор і Рід Поверхні

Порівняйте замкнені орієнтовані поверхні з родом g = 0–3. Обертайте 3D модель, вмикайте каркасну сітку та спостерігайте за оновленням характеристики Ейлера χ = 2−2g. Перетягуйте для обертання — прокручуйте для масштабування.

Поверхня (рід g)

Відображення

χ = 2
Характеристика Ейлера
Рід g0
χ = 2 − 2g2
Фундаментальний многокутник—
Приєднання ручок—
π₁ (основна група)тривіальна

Гаусс-Бонне

∬₊ₘ K dA = 2πχ
Для сфери: K=1/R², ∫KdA=4π=2π·2
Сфера: S² — розрізи не потрібні. Тривіальне 2-клітинне представлення.
χ = V − E + F (симпліціальне)
замкнена орієнтована поверхня:
χ = 2 − 2g
g = # ручок / отворів

Топологія поверхонь

Характеристика Ейлера

Для будь-якого симпліціального комплексу: χ = V − E + F. Для замкненої орієнтованої поверхні роду g: χ = 2 − 2g. Сфера має χ = 2 (без ручок), тор — χ = 0 (одна ручка), подвійний тор — χ = −2 і так далі. Характеристика Ейлера є топологічним інваріантом — вона не змінюється при неперервних деформаціях (гомеоморфізмах) поверхні.

Теорема Гаусса-Бонне

Теорема Гаусса-Бонне пов'язує геометрію з топологією: ∬_M K dA + ∮_∂M κ_g ds = 2πχ(M). Для замкненої поверхні (без межі): ∬ K dA = 2πχ. Для сфери радіуса R криволінійність K = 1/R² скрізь, і ∬ K dA = 4π = 2π · 2 = 2πχ. На торі є ділянки з додатною і від'ємною гауссовою кривизною, що інтегруються рівно до нуля.

Основна група π₁

Основна група класифікує петлі в просторі з точністю до неперервної деформації. Для сфери π₁(S²) тривіальна (кожна петля стискається). Для тора T² π₁ = ℤ × ℤ, породжується меридіаном і поздовжньою. Для поверхні роду g π₁ породжується 2g петлями з єдиним співвідношенням a₁b₁a₁⁻¹b₁⁻¹···a_g b_g a_g⁻¹b_g⁻¹ = 1 (поверхнева група).

Теорема класифікації

Кожна замкнена орієнтована поверхня гомеоморфна або сфері, або зв'язній сумі торів T² # T² # ··· (g копій). Це повністю класифікує їх за родом. Додавання ручки збільшує рід на 1 (χ зменшується на 2). Неорієнтовані поверхні (RP², пляшка Кляйна) класифікуються окремо. Поверхні Рімана в комплексному аналізі — це саме такі гладкі орієнтовані поверхні, оснащені комплексною структурою.

Про тор та рід поверхні

У топології поверхні класифікуються з точністю до неперервної деформації (гомеоморфізму) виключно за родом g — кількістю ручок або «дірок». Характеристика Ейлера x = V - E + F (вершини мінус ребра плюс грані будь-якої тріангуляції) є ключовим інваріантом, пов'язаним із родом формулою x = 2 - 2g для орієнтованих замкнених поверхонь. Сфера має g = 0 і x = 2; тор (поверхня бублика) — g = 1 і x = 0; двоякий тор (дві дірки) — g = 2 і x = -2. Ця класифікаційна теорема є одним із центральних результатів математики XIX століття і лежить в основі сучасних концепцій теорії струн і алгебраїчної геометрії.

Симуляція анімує операцію приєднання ручки і дозволяє спостерігати, як сфера неперервно деформується у тор і двоякий тор, поки характеристика Ейлера і інтеграл Гаусса-Боннє оновлюються в реальному часі.

Часті запитання

Що таке рід поверхні?

Рід g орієнтованої замкненої поверхні — це кількість ручок, приєднаних до сфери, щоб її отримати. Інтуїтивно він рахує кількість «дірок» або «тунелів»: у сфери g = 0, у тора g = 1, у бретцельної поверхні g = 2 тощо. Теорема класифікації стверджує, що кожна така поверхня однозначно визначається (з точністю до гомеоморфізму) своїм родом.

Як характеристика Ейлера пов'язана з родом?

Для будь-якої орієнтованої замкненої поверхні: x = V - E + F = 2 - 2g, де V, E, F — кількість вершин, ребер і граней будь-якої тріангуляції. Ця формула не залежить від способу тріангуляції — глибокий результат, що зветься топологічною інваріантністю характеристики Ейлера. Для куба (гомеоморфного сфері): V = 8, E = 12, F = 6, тобто x = 8 - 12 + 6 = 2, підтверджуючи g = 0.

Що стверджує теорема Гаусса-Боннє?

Теорема Гаусса-Боннє стверджує, що інтеграл гауссової кривини K по замкненій поверхні дорівнює 2px: кругл.K dA = 2px = 2p(2 - 2g). Для сфери радіуса R: K = 1/R² всюди, і кругл.K dA = 4p = 2p * 2. Для тора ділянки додатної кривини (зовнішній екватор) і від'ємної (внутрішній) точно компенсують одна одну, даючи нуль відповідно до x = 0.

Чи можна вивернути тор неперервно?

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

Що таке неорієнтована поверхня?

Неорієнтовані поверхні, як-отляшка Кляйна або проективна площина, не мають послідовного поняття «зовні» і «всередині». Їхня характеристика Ейлера: x = 2 - k, де k — кількість крос-кепів. Теорема класифікації охоплює обидва випадки: кожна компактна поверхня гомеоморфна або сфері з g ручками (орієнтована), або сфері з k крос-кепами (неорієнтована).

Як теорема чотирьох кольорів пов'язана з родом?

Теорема чотирьох кольорів (1976) стверджує, що будь-яку карту на сфері (g = 0) можна розфарбувати не більше ніж 4 кольорами. Для поверхонь роду g гіпотеза Гівуда (доведена Рінгелем і Янгсом у 1968 р. для g >= 1) дає точніше обмеження: хроматичне число не перевищує цілої частини від (7 + корінь(1 + 48g))/2. Для тора (g = 1) це дає 7, і карти, що потребують усіх 7 кольорів, на торі дійсно існують.

Що таке зв'язна сума двох торів?

Зв'язна сума T#T двох торів — це двоякий тор (поверхня роду 2). Геометрично: вирізаємо маленький диск із кожного тора і склеюємо граничні кола. Характеристики Ейлера додаються: x(T#T) = 0 + 0 - 0 = -2, підтверджуючи g = 2. Ця операція узагальнюється і породжує всі орієнтовані поверхні.

Як рід пов'язаний із теорією струн?

У теорії струн пертурбативне розкладання амплітуд розсіювання підсумовується за всіма можливими світовими поверхнями — 2D-поверхнями, що описують струни. Кожний доданок відповідає поверхні роду g: деревний рівень (g = 0, сфера), один петлевий (g = 1, тор), два петлевих (g = 2, двоякий тор) тощо. Рід безпосередньо визначає степінь константи зв'язку рядів пертурбацій.

Яка характеристика Ейлера многогранника?

Формула Ейлера для многогранників V - E + F = 2 стосується будь-якого опуклого многогранника (топологічно рівнозначного сфері). Наприклад, тетраедр: V = 4, E = 6, F = 4 → 4 - 6 + 4 = 2. Додекаедр: V = 20, E = 30, F = 12 → 20 - 30 + 12 = 2. Тороїдальний многогранник гомеоморфний тору і задовольнятиме V - E + F = 0.