Диференціальна геометрія

🌐 Що таке диференціальна геометрія?

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

🎯 Основні розділи диференціальної геометрії:

Многовиди - гладкі топологічні простори

Метрики - відстані та кути

Кривина - міра викривлення

Зв'язності - паралельне перенесення

Форми - диференціальні форми

🌐 Многовиди

1. Визначення та основні властивості

Многовиди - це основні об'єкти диференціальної геометрії:

🌐 Многовид

Визначення:

Атлас:

Переходи:

🌐 Гладкі многовиди

Визначення: • Переходи гладкі • C^∞ - функції • Локальні координати • Застосування

Приклади: • ℝⁿ - евклідовий простір • Sⁿ - сфера • Tⁿ - тор • Застосування

🌐 Комплексні многовиди

Визначення: • Переходи голоморфні • C^ω - функції • Комплексні координати • Застосування

Приклади: • ℂⁿ - комплексний простір • ℂℙⁿ - комплексний проективний простір • Риманові поверхні • Застосування

🌐 Псевдориманові многовиди

Визначення: • Метрика невизначена • Сигнатура (p,q) • Лоренцева метрика • Застосування

Приклади: • Мінковський простір • Простір-час • Чорні діри • Застосування

2. Тангенсні простори та векторні поля

Тангенсні простори - це локальні лінійні наближення многовидів:

🌐 Тангенсний простір

Визначення:

Базис:

Векторне поле:

🌐 Векторні поля

Визначення: • X: M → TM • X(p) ∈ T_p M • Гладкі функції • Застосування

Властивості: • Лінійність • Лейбніцеве правило • Комутатор • Застосування

🌐 1-форми

Визначення: • ω: TM → ℝ • Лінійні функції • Ковекторні поля • Застосування

Властивості: • Лінійність • Гладкість • Базис {dx¹, ..., dxⁿ} • Застосування

🌐 Тензори

Визначення: • T: (T*M)^r × (TM)^s → ℝ • Мультилінійні функції • (r,s) - тип • Застосування

Властивості: • Лінійність • Гладкість • Базис • Застосування

M = (|M|, A) - топологічний простір з атласом

🌐 Метрики

1. Риманові метрики

Риманові метрики - це способи вимірювання відстаней та кутів:

🌐 Риманова метрика

Визначення:

Локальний вигляд:

Відстань:

🌐 Евклідова метрика

Визначення: • g = δ_{ij} dx^i ⊗ dx^j • δ_{ij} - символ Кронекера • Плоска метрика • Застосування

Властивості: • Нульова кривина • Паралельні лінії • Теорема Піфагора • Застосування

🌐 Сферична метрика

Визначення: • g = r²(dθ² + sin²θ dφ²) • r - радіус сфери • θ, φ - сферичні координати • Застосування

Властивості: • Додатня кривина • Геодезичні - великі кола • Площа = 4πr² • Застосування

🌐 Гіперболічна метрика

Визначення: • g = (dx² + dy²)/y² • Верхня півплощина • Постійна від'ємна кривина • Застосування

Властивості: • Від'ємна кривина • Геодезичні - півкола • Трикутники • Застосування

2. Псевдориманові метрики

Псевдориманові метрики - це узагальнення риманових метрик:

🌐 Псевдориманова метрика

Визначення:

Сигнатура:

Лоренцева метрика:

🌐 Мінковський простір

Визначення: • ℝ^{3,1} з метрикою Мінковського • g = -dt² + dx² + dy² + dz² • Сигнатура (3,1) • Застосування

Властивості: • Нульова кривина • Світлові конуси • Лоренцева група • Застосування

🌐 Простір-час

Визначення: • 4-вимірний многовид • Лоренцева метрика • Кривина • Застосування

Властивості: • Геодезичні • Приливні сили • Чорні діри • Застосування

🌐 Чорні діри

Визначення: • Області простору-часу • Горизонт подій • Сингулярності • Застосування

Властивості: • Шварцшильдівський радіус • Температура Хокінга • Випромінювання • Застосування

g: TM × TM → ℝ - симетрична, додатньо визначена

🌐 Кривина

1. Тензор кривини

Кривина - це міра викривлення многовиду:

🌐 Тензор кривини

Визначення:

Компоненти:

Тензор Річчі:

🌐 Скалярна кривина

Визначення: • R = g^{μν} R_{μν} • Скалярний інваріант • Локальна кривина • Застосування

Властивості: • Додатня - сферична • Від'ємна - гіперболічна • Нульова - плоска • Застосування

🌐 Секційна кривина

Визначення: • K(σ) = R(X,Y,X,Y)/g(X,X)g(Y,Y) - g(X,Y)² • σ - 2-площина • X, Y - базис σ • Застосування

Властивості: • Додатня - сферична • Від'ємна - гіперболічна • Нульова - плоска • Застосування

🌐 Тензор Вейля

Визначення: • C_{μνρσ} = R_{μνρσ} - (g_{μ[ρ}R_{σ]ν} - g_{ν[ρ}R_{σ]μ}) + R g_{μ[ρ}g_{σ]ν}/3 • Конформна кривина • Інваріант конформних перетворень • Застосування

Властивості: • Конформна інваріантність • Приливні сили • Гравітаційні хвилі • Застосування

2. Геодезичні

Геодезичні - це найкоротші шляхи на многовидах:

🌐 Геодезичні

Рівняння:

Властивість:

Довжина:

🌐 Геодезичні на сфері

Визначення: • Великі кола • Найкоротші шляхи • Постійна кривина • Застосування

Властивості: • Довжина = 2πr • Площа = 4πr² • Трикутники • Застосування

🌐 Геодезичні в гіперболічній площині

Визначення: • Півкола • Найкоротші шляхи • Постійна від'ємна кривина • Застосування

Властивості: • Довжина • Площа • Трикутники • Застосування

🌐 Геодезичні в просторі-часі

Визначення: • Світлові лінії • Найкоротші шляхи • Лоренцева метрика • Застосування

Властивості: • Світлові конуси • Приливні сили • Чорні діри • Застосування

R(X,Y)Z = ∇_X∇_Y Z - ∇_Y∇_X Z - ∇_{[X,Y]} Z

🌐 Зв'язності

1. Афінні зв'язності

Зв'язності - це способи паралельного перенесення векторів:

🌐 Афінна зв'язність

Визначення:

Властивості:

Символи Крістофеля:

🌐 Леві-Чівіта зв'язність

Визначення: • ∇g = 0 • T = 0 (торсія) • Унікальна • Застосування

Властивості: • Збереження метрики • Нульова торсія • Символі Крістофеля • Застосування

🌐 Зв'язність з торсією

Визначення: • T(X,Y) = ∇_X Y - ∇_Y X - [X,Y] • T ≠ 0 • Загальна зв'язність • Застосування

Властивості: • Торсія • Кривина • Паралельне перенесення • Застосування

🌐 Зв'язність з крученням

Визначення: • T(X,Y) = ∇_X Y - ∇_Y X - [X,Y] • T ≠ 0 • Загальна зв'язність • Застосування

Властивості: • Кручення • Кривина • Паралельне перенесення • Застосування

2. Паралельне перенесення

Паралельне перенесення - це спосіб перенесення векторів вздовж кривих:

🌐 Паралельне перенесення

Визначення:

Рівняння:

Голономія:

🌐 Голономія

Визначення: • Hol(γ) = {P_γ : T_p M → T_p M} • P_γ - паралельне перенесення • Група голономії • Застосування

Властивості: • Група • Локальна голономія • Глобальна голономія • Застосування

🌐 Кривина та голономія

Визначення: • R(X,Y) = [∇_X, ∇_Y] - ∇_{[X,Y]} • R - тензор кривини • Зв'язок з голономією • Застосування

Властивості: • R = 0 ⟺ Hol = {id} • R ≠ 0 ⟺ Hol ≠ {id} • Локальна голономія • Застосування

🌐 Зв'язність та кривина

Визначення: • R(X,Y) = [∇_X, ∇_Y] - ∇_{[X,Y]} • R - тензор кривини • Зв'язок зі зв'язністю • Застосування

Властивості: • R = 0 ⟺ ∇ плоска • R ≠ 0 ⟺ ∇ викривлена • Локальна кривина • Застосування

∇: Γ(TM) × Γ(TM) → Γ(TM)

🌐 Форми

1. Диференціальні форми

Диференціальні форми - це способи інтегрування на многовидах:

🌐 Диференціальні форми

Визначення:

Зовнішній добуток:

Зовнішня похідна:

🌐 1-форми

Визначення: • ω: TM → ℝ • Лінійні функції • Ковекторні поля • Застосування

Властивості: • Лінійність • Гладкість • Базис {dx¹, ..., dxⁿ} • Застосування

🌐 2-форми

Визначення: • ω: (TM)² → ℝ • Антисиметричні функції • Білінійні форми • Застосування

Властивості: • Антисиметричність • Гладкість • Базис {dx^i ∧ dx^j} • Застосування

🌐 n-форми

Визначення: • ω: (TM)^n → ℝ • Антисиметричні функції • Об'ємні форми • Застосування

Властивості: • Антисиметричність • Гладкість • Базис {dx¹ ∧ ... ∧ dxⁿ} • Застосування

2. Інтегрування форм

Інтегрування форм - це спосіб обчислення інтегралів на многовидах:

🌐 Інтегрування форм

Визначення:

Теорема Стокса:

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

🌐 Теорема Стокса

Визначення: • ∫_M dω = ∫_{∂M} ω • M - многовид з границею • ω - (n-1)-форма • Застосування

Властивості: • Зв'язок між інтегралами • Границя многовиду • Диференціальні форми • Застосування

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

Визначення: • ∫_M K dA = 2πχ(M) • K - гаусова кривина • χ(M) - характеристика Ейлера • Застосування

Властивості: • Зв'язок кривини та топології • Характеристика Ейлера • Гаусова кривина • Застосування

🌐 Теорема де Рама

Визначення: • H^k_{dR}(M) ≅ H^k(M, ℝ) • H^k_{dR} - когомології де Рама • H^k - сингулярні когомології • Застосування

Властивості: • Зв'язок між когомологіями • Диференціальні форми • Топологія • Застосування

ω: (TM)^k → ℝ - k-форма

🌐 Застосування

1. Загальна теорія відносності

Застосування диференціальної геометрії в загальній теорії відносності:

🌐 Простір-час

Визначення: • 4-вимірний многовид • Лоренцева метрика • Кривина • Застосування

Властивості: • Геодезичні • Приливні сили • Чорні діри • Застосування

🌐 Рівняння Ейнштейна

Визначення: • G_{μν} = 8πGT_{μν}/c⁴ • G_{μν} - тензор Ейнштейна • T_{μν} - тензор енергії-імпульсу • Застосування

Властивості: • Зв'язок кривини та матерії • Тензор Ейнштейна • Тензор енергії-імпульсу • Застосування

🌐 Чорні діри

Визначення: • Області простору-часу • Горизонт подій • Сингулярності • Застосування

Властивості: • Шварцшильдівський радіус • Температура Хокінга • Випромінювання • Застосування

2. Теорія струн

Застосування диференціальної геометрії в теорії струн:

🌐 Калаби-Яу многовиди

Визначення: • Компактні многовиди • c₁ = 0 • Риччі-плоскі • Застосування

Застосування: • Теорія струн • Компактифікація • Міріади моделей • Застосування

🌐 Мірор-симетрія

Визначення: • Двоїстість між многовидами • Обмін комплексної та симплектичної структур • Збереження фізики • Застосування

Застосування: • Теорія струн • Алгебраїчна геометрія • Топологічна теорія струн • Застосування

🌐 Топологічна теорія струн

Визначення: • Топологічні інваріанти • Gromov-Witten інваріанти • Квантові когомології • Застосування

Застосування: • Теорія струн • Алгебраїчна геометрія • Топологія • Застосування

🎯 Висновки

Диференціальна геометрія є фундаментальним розділом математики, що займається вивченням геометричних властивостей гладких многовидів за допомогою диференціального числення. Вона включає многовиди (гладкі, комплексні, псевдориманові), метрики (риманові, псевдориманові), кривину (тензор кривини, скалярна кривина, секційна кривина, тензор Вейля), зв'язності (афінні зв'язності, Леві-Чівіта зв'язність, паралельне перенесення, голономія), форми (диференціальні форми, інтегрування форм, теорема Стокса, теорема Гаусса-Бонне) та інші математичні концепції. Диференціальна геометрія має широке застосування в загальній теорії відносності (простір-час, рівняння Ейнштейна, чорні діри), теорії струн (калаби-Яу многовиди, мірор-симетрія, топологічна теорія струн) та інших галузях математики та фізики. Вона надає геометричні інструменти для розуміння фізичних явищ.

📚 Пов'язані теми

Математика

Геометрія

Топологія

Математична фізика

Алгебраїчна геометрія

🌐 Розділи диференціальної геометрії

Многовиди

Метрики

Кривина

Зв'язності

Форми

🔬 Основні поняття

Многовиди

Метрики

Кривина

Зв'язності

Форми

⚡ Застосування

Загальна теорія відносності

Теорія струн

Топологія

Алгебраїчна геометрія

Математична фізика

📖 Рекомендована література

"Differential Geometry" - Spivak

"Introduction to Smooth Manifolds" - Lee

"Differential Geometry" - do Carmo

"Foundations of Differential Geometry" - Kobayashi & Nomizu

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Spirograph і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.