1. Топологічні простори
Означення
Топологічний простір — це пара (X, τ), де X — множина, τ — сімейство підмножин X (топологія), що задовольняє:
1. ∅ ∈ τ та X ∈ τ
2. τ замкнена відносно довільних об'єднань: ⋃ᵢ Uᵢ ∈ τ
3. τ замкнена відносно скінченних перетинів: U₁ ∩ U₂ ∈ τ
Множини з τ називаються відкритими.
2. τ замкнена відносно довільних об'єднань: ⋃ᵢ Uᵢ ∈ τ
3. τ замкнена відносно скінченних перетинів: U₁ ∩ U₂ ∈ τ
Множини з τ називаються відкритими.
Приклади топологій
| Простір | Топологія | Відкриті множини |
|---|---|---|
| ℝ (стандартна) | Евклідова | Об'єднання відкритих інтервалів (a,b) |
| Будь-який X | Дискретна | Усі підмножини X |
| Будь-який X | Антидискретна | Лише ∅ і X |
| ℝ (Zariski) | Забулі множини | Доповнення скінченних множин |
| Метричний простір | Метрична топологія | Об'єднання відкритих куль B(x,r) |
Аксіоми відокремлення Хаусдорфа (T-аксіоми)
// T₀ (Колмогорова): для x≠y ∃ відкрита U: або x∈U, y∉U або навпаки
// T₁ (Фреше): для x≠y ∃ відкриті U∋x, V∋y так що y∉U, x∉V
// T₂ (Хаусдорфа): ∀x≠y ∃ відкриті U∋x, V∋y так що U∩V=∅
// T₃ (регулярна): замкнена A і x∉A відокремлюються відкритими
// T₄ (нормальна): будь-які дві замкнені відокремлюються відкритими
T₄ ⊆ T₃ ⊆ T₂ ⊆ T₁ ⊆ T₀ (кожна аксіома сильніша)
// T₁ (Фреше): для x≠y ∃ відкриті U∋x, V∋y так що y∉U, x∉V
// T₂ (Хаусдорфа): ∀x≠y ∃ відкриті U∋x, V∋y так що U∩V=∅
// T₃ (регулярна): замкнена A і x∉A відокремлюються відкритими
// T₄ (нормальна): будь-які дві замкнені відокремлюються відкритими
T₄ ⊆ T₃ ⊆ T₂ ⊆ T₁ ⊆ T₀ (кожна аксіома сильніша)
2. Неперервність та гомеоморфізм
Означення: неперервне відображення
Відображення f: X → Y є неперервним, якщо прообраз кожної відкритої множини в Y — відкрита множина в X:
f неперервне ⟺ ∀V ∈ τ_Y: f⁻¹(V) ∈ τ_X
Означення: гомеоморфізм
f: X → Y — гомеоморфізм, якщо:
1. f — бієкція
2. f — неперервна
3. f⁻¹ — неперервна
X та Y — гомеоморфні (X ≅ Y), якщо ∃ гомеоморфізм між ними.
Гомеоморфні простори мають однакові топологічні властивості.
1. f — бієкція
2. f — неперервна
3. f⁻¹ — неперервна
X та Y — гомеоморфні (X ≅ Y), якщо ∃ гомеоморфізм між ними.
Гомеоморфні простори мають однакові топологічні властивості.
Класичні приклади гомеоморфізму
// (0,1) ≅ ℝ через f(x) = tan(π(x−1/2))
f: (0,1)→ℝ, f(x) = tan(π·(x − 0.5)) (гомеоморфізм)
// Кружка ≅ Тор (тривіальний топологічний мем)
Обидва мають одну "ручку" → однакова топологія
// Відкритий диск ≅ ℝ² (стереографічна проекція)
// S¹ ≇ [0,1]: видалення точки різно зв'язує
S¹ без точки ≅ ℝ (зв'язний)
[0,1] без точки всередині — незв'язний
f: (0,1)→ℝ, f(x) = tan(π·(x − 0.5)) (гомеоморфізм)
// Кружка ≅ Тор (тривіальний топологічний мем)
Обидва мають одну "ручку" → однакова топологія
// Відкритий диск ≅ ℝ² (стереографічна проекція)
// S¹ ≇ [0,1]: видалення точки різно зв'язує
S¹ без точки ≅ ℝ (зв'язний)
[0,1] без точки всередині — незв'язний
Топологічні інваріанти
Топологічні інваріанти — властивості, що зберігаються під гомеоморфізмом:
| Інваріант | Означення (коротко) | Приклад |
|---|---|---|
| Зв'язність | ∄ розбиття на відкриті непусті | [0,1] — зв'язний; {0}∪{1} — ні |
| Компактність | Будь-яке відкрите покриття має скінченне підпокриття | [a,b] — компактний; (a,b) — ні |
| Зв'язність дугою | ∀x,y ∃ неперервний шлях між ними | ℝⁿ — дугово зв'язний |
| Число зв'язності | Кількість компонент зв'язності | ℝ\{0} має 2 компоненти |
| Фундаментальна група | π₁(X,x₀) — петлі з базовою точкою | π₁(S¹)≅ℤ; π₁(ℝⁿ)≅{e} |
3. Фундаментальна група π₁
Означення
Нехай X — топологічний простір, x₀ ∈ X. Петля — це неперервне відображення γ: [0,1]→X з γ(0)=γ(1)=x₀. Дві петлі гомотопні, якщо одну можна неперервно деформувати в іншу. Класи гомотопії петель разом з операцією конкатенації утворюють фундаментальну групу π₁(X, x₀).
// Конкатенація петель γ і δ:
(γ·δ)(t) = γ(2t) для t ∈ [0, 1/2]
(γ·δ)(t) = δ(2t−1) для t ∈ [1/2, 1]
// Обернена петля γ⁻¹(t) = γ(1−t)
// Нейтральна петля: const. відображення e(t) = x₀
// Ключові обчислення:
π₁(ℝⁿ) ≅ {e} (тривіальна — ℝⁿ просто зв'язний)
π₁(S¹) ≅ ℤ (індекс намотування навколо кола)
π₁(S²) ≅ {e} (двовимірна сфера просто зв'язна)
π₁(T²) ≅ ℤ × ℤ (тор — дві незалежні петлі)
π₁(RP²) ≅ ℤ/2ℤ (проективна площина)
π₁(Kn) ≅ ℤ/2ℤ⋊ℤ (пляшка Кляйна)
(γ·δ)(t) = γ(2t) для t ∈ [0, 1/2]
(γ·δ)(t) = δ(2t−1) для t ∈ [1/2, 1]
// Обернена петля γ⁻¹(t) = γ(1−t)
// Нейтральна петля: const. відображення e(t) = x₀
// Ключові обчислення:
π₁(ℝⁿ) ≅ {e} (тривіальна — ℝⁿ просто зв'язний)
π₁(S¹) ≅ ℤ (індекс намотування навколо кола)
π₁(S²) ≅ {e} (двовимірна сфера просто зв'язна)
π₁(T²) ≅ ℤ × ℤ (тор — дві незалежні петлі)
π₁(RP²) ≅ ℤ/2ℤ (проективна площина)
π₁(Kn) ≅ ℤ/
Теорема Ван Кампена
// Якщо X = U ∪ V, U,V — відкриті зв'язні, U∩V — зв'язна:
π₁(X) ≅ π₁(U) *_{π₁(U∩V)} π₁(V) (вільний добуток з амальгамацією)
// Приклад: S¹ з привішаним інтервалом
// Клин кіл: π₁(S¹ ∨ S¹) ≅ ℤ * ℤ (вільна група рангу 2)
π₁(X) ≅ π₁(U) *_{π₁(U∩V)} π₁(V) (вільний добуток з амальгамацією)
// Приклад: S¹ з привішаним інтервалом
// Клин кіл: π₁(S¹ ∨ S¹) ≅ ℤ * ℤ (вільна група рангу 2)
4. Гомотопія та гомотопічна еквівалентність
Означення
// Гомотопія відображень f, g: X→Y:
H: X × [0,1] → Y неперервна, така що
H(x,0) = f(x) та H(x,1) = g(x) ∀x∈X
// f і g гомотопні: f ≃ g
// Гомотопічна еквівалентність (слабше за гомеоморфізм):
f: X→Y і g: Y→X такі що g∘f ≃ id_X, f∘g ≃ id_Y
Тоді X ≃ Y (X і Y гомотопічно еквівалентні)
H: X × [0,1] → Y неперервна, така що
H(x,0) = f(x) та H(x,1) = g(x) ∀x∈X
// f і g гомотопні: f ≃ g
// Гомотопічна еквівалентність (слабше за гомеоморфізм):
f: X→Y і g: Y→X такі що g∘f ≃ id_X, f∘g ≃ id_Y
Тоді X ≃ Y (X і Y гомотопічно еквівалентні)
| Простори | Гомотопічно еквівалентні? | Гомеоморфні? |
|---|---|---|
| ℝⁿ та точка {0} | Так (ℝⁿ стягується) | Ні (різна кількість точок) |
| S¹ і кільце S¹×(0,1) | Так | Ні |
| Чашка та кільце | Так (≃ S¹) | Ні |
| S² та ℝ³\{0} | Так | Ні |
5. Класифікація замкнених поверхонь
Замкнені зв'язні орієнтовні поверхні повністю класифіковані родом g (кількістю "ручок") та характеристикою Ейлера χ.
// Характеристика Ейлера для CW-комплексу:
χ = V − E + F (вершини − ребра + грані)
// Для замкнених орієнтовних поверхонь роду g:
χ(Σ_g) = 2 − 2g
g=0 (сфера S²): χ = 2
g=1 (тор T²): χ = 0
g=2 (двобублик): χ = −2
g=3: χ = −4
// Неорієнтовні поверхні (k − крос-кепи):
χ = 2 − k
k=1 (проективна площина RP²): χ = 1
k=2 (пляшка Кляйна Kn): χ = 0
χ = V − E + F (вершини − ребра + грані)
// Для замкнених орієнтовних поверхонь роду g:
χ(Σ_g) = 2 − 2g
g=0 (сфера S²): χ = 2
g=1 (тор T²): χ = 0
g=2 (двобублик): χ = −2
g=3: χ = −4
// Неорієнтовні поверхні (k − крос-кепи):
χ = 2 − k
k=1 (проективна площина RP²): χ = 1
k=2 (пляшка Кляйна Kn): χ = 0
Теорема класифікації
📐 Теорема класифікації поверхонь: Кожна замкнена зв'язна поверхня гомеоморфна або сфері S², або зв'язній сумі g торів T²#...#T² (орієнтовна), або зв'язній сумі k проективних площин (неорієнтовна). Отже, рід g (або k) повністю визначає топологічний тип поверхні.
| Поверхня | Рід g | χ | Орієнтовна? | π₁ |
|---|---|---|---|---|
| Сфера S² | 0 | 2 | Так | {e} |
| Тор T² | 1 | 0 | Так | ℤ×ℤ |
| Двобублик | 2 | -2 | Так | ⟨a,b,c,d|[a,b][c,d]⟩ |
| Проективна площина | — | 1 | Ні | ℤ/2 |
| Пляшка Кляйна | — | 0 | Ні | ℤ⋊ℤ |
6. Числа намотування та ступінь відображення
// Число намотування γ навколо точки a ∈ ℂ\γ:
n(γ, a) = (1/2πi) ∮_γ dz/(z−a) ∈ ℤ
// Пов'язане з фундаментальною групою π₁(S¹) ≅ ℤ:
[γ] ∈ π₁(S¹) відповідає цілому числу n(γ, 0)
// Ступінь відображення f: Sⁿ→Sⁿ:
deg(f) ∈ ℤ — кількість прообразів (з урахуванням орієнтації)
deg(id) = 1
deg(відображення-антиподу) = (−1)^(n+1)
deg(f∘g) = deg(f)·deg(g)
n(γ, a) = (1/2πi) ∮_γ dz/(z−a) ∈ ℤ
// Пов'язане з фундаментальною групою π₁(S¹) ≅ ℤ:
[γ] ∈ π₁(S¹) відповідає цілому числу n(γ, 0)
// Ступінь відображення f: Sⁿ→Sⁿ:
deg(f) ∈ ℤ — кількість прообразів (з урахуванням орієнтації)
deg(id) = 1
deg(відображення-антиподу) = (−1)^(n+1)
deg(f∘g) = deg(f)·deg(g)
7. Зв'язок з алгебричною топологією
Гомологічні групи Hₙ(X)
// n-й ланцюговий комплекс (простіший варіант):
Hₙ(X) = Ker(∂ₙ) / Im(∂ₙ₊₁)
де ∂ₙ: Cₙ → Cₙ₋₁ — граничний оператор, ∂²=0
// Гомології сфери Sⁿ:
H₀(Sⁿ) ≅ ℤ
Hₙ(Sⁿ) ≅ ℤ
Hₖ(Sⁿ) ≅ 0 для 0 < k < n
// Гомології тора T² = S¹×S¹:
H₀(T²) ≅ ℤ
H₁(T²) ≅ ℤ⊕ℤ
H₂(T²) ≅ ℤ
// Зв'язок з χ: χ = Σₙ (−1)ⁿ rank Hₙ(X)
Hₙ(X) = Ker(∂ₙ) / Im(∂ₙ₊₁)
де ∂ₙ: Cₙ → Cₙ₋₁ — граничний оператор, ∂²=0
// Гомології сфери Sⁿ:
H₀(Sⁿ) ≅ ℤ
Hₙ(Sⁿ) ≅ ℤ
Hₖ(Sⁿ) ≅ 0 для 0 < k < n
// Гомології тора T² = S¹×S¹:
H₀(T²) ≅ ℤ
H₁(T²) ≅ ℤ⊕ℤ
H₂(T²) ≅ ℤ
// Зв'язок з χ: χ = Σₙ (−1)ⁿ rank Hₙ(X)
Теорема Брауера про нерухому точку
// Теорема Брауера (1910):
Будь-яке неперервне відображення f: Dⁿ → Dⁿ
(замкненого n-вимірного диска в себе)
має принаймні одну нерухому точку: f(x) = x
// Доведення через гомологію (від супротивного): // Якщо f(x)≠x ∀x, можна побудувати ретракцію Dⁿ→Sⁿ⁻¹ // Але Hₙ₋₁(Dⁿ)≅0 ≠ ℤ≅Hₙ₋₁(Sⁿ⁻¹) — суперечність
// Застосування: рівновага Неша у теорії ігор!
Простір змішаних стратегій = симплекс (компактний, опуклий)
→ рівновага Неша існує (теорема Брауера)
Будь-яке неперервне відображення f: Dⁿ → Dⁿ
(замкненого n-вимірного диска в себе)
має принаймні одну нерухому точку: f(x) = x
// Доведення через гомологію (від супротивного): // Якщо f(x)≠x ∀x, можна побудувати ретракцію Dⁿ→Sⁿ⁻¹ // Але Hₙ₋₁(Dⁿ)≅0 ≠ ℤ≅Hₙ₋₁(Sⁿ⁻¹) — суперечність
// Застосування: рівновага Неша у теорії ігор!
Простір змішаних стратегій = симплекс (компактний, опуклий)
→ рівновага Неша існує (теорема Брауера)
Про цю статтю
Ця стаття є частиною бази знань calculator.party — освітнього ресурсу, що поєднує теорію з практичними інструментами. Матеріал орієнтований на студентів, учнів і фахівців, що прагнуть глибокого розуміння теми. Тут зібрані ключові концепції, формули та реальні приклади застосування.
Навіщо читати цю статтю
Після прочитання ви зможете впевнено пояснити тему, вирішувати практичні задачі та застосовувати знання у навчанні й роботі. Стаття охоплює теоретичне підґрунтя і числові приклади, що полегшують запам'ятовування матеріалу.
Часті запитання (FAQ)
Що таке Розширена топологія: топологічні простори, гомеоморфізми та гомотопія і чому це важливо знати?
Розширена топологія: топологічні простори, гомеоморфізми та гомотопія — ключова тема в різних галузей науки. Розуміння її основ дає змогу вирішувати практичні задачі, успішно складати іспити та застосовувати знання в реальних ситуаціях. Стаття розкриває концепцію доступними словами з конкретними прикладами.
Які ключові формули та методи використовуються в розширена топологія: топологічні простори, гомеоморфізми та гомотопія?
Основні формули та методи для розширена топологія: топологічні простори, гомеоморфізми та гомотопія охоплюють як аналітичні підходи, так і числові алгоритми. У статті наведені всі ключові вирази з поясненням кожного позначення та вказівкою одиниць вимірювання.
Де в реальному житті застосовується розширена топологія: топологічні простори, гомеоморфізми та гомотопія?
Сфери застосування розширена топологія: топологічні простори, гомеоморфізми та гомотопія надзвичайно широкі: освіті, науці, інженерії та повсякденному житті. Знання цієї теми відкриває кар'єрні можливості в інженерії, науці, фінансах та IT-галузі.
Як розрахувати розширена топологія: топологічні простори, гомеоморфізми та гомотопія онлайн?
На calculator.party є безкоштовні онлайн-калькулятори з тематики 'Розширена топологія: топологічні простори, гомеоморфізми та гомотопія'. Достатньо ввести вхідні дані — і ви миттєво отримаєте точний результат з покроковим поясненням. Це ідеально для перевірки ручних розрахунків.
Яка різниця між розширена топологія: топологічні простори, гомеоморфізми та гомотопія та суміжними темами?
Стаття чітко описує межі тематики 'Розширена топологія: топологічні простори, гомеоморфізми та гомотопія', порівнюючи її з близькими поняттями. Чітке розуміння відмінностей допомагає уникнути типових помилок та плутанини при розв'язанні задач.