Топология
Фундаментальная группа
Перельман в 2003 году доказал гипотезу Пуанкаре (π₁(M³)=0 => M³~=S³) и отказался от премии в $1 000 000. Та же фундаментальная группа лежит в основе TDA: Ripser вычисляет π₁ для облака из 10^5 точек за 2 секунды.
- TDA Ripser: вычисление π₁ для молекулярных облаков точек и нейронных данных
- Теорема Ван Кампена: склейка пространств - тот же принцип, что и в мерджинге API схем
- Классификация поверхностей: торы и сферы различаются через фундаментальную группу
- Робототехника: конфигурационное пространство манипулятора как топологическое пространство
- Квантовые вычисления: анионы и braiding группа кос как фундаментальная группа
- Компьютерное зрение: shape recognition через инварианты фундаментальной группы
Анри Пуанкаре в 1895 году ввёл фундаментальную группу, положив начало алгебраической топологии. Гипотеза Пуанкаре (π₁(M³)=0 ⟹ M³≅S³) оставалась открытой 100 лет; Григорий Перельман доказал её в 2003 году, отказавшись от премии в 1 000 000 долларов. TDA-алгоритмы Ripser вычисляют π₁ для облаков точек из 10⁵ элементов за 2 секунды.
**О чём этот урок:** Вычисление фундаментальных групп. Теорема Ван Кампена и применения к классификации поверхностей.
Фундаментальная группа и теорема Ван Кампена
Анри Пуанкаре в 1895 году ввёл фундаментальную группу, положив начало алгебраической топологии. Гипотеза Пуанкаре (π₁(M³)=0 ⟹ M³≅S³) оставалась открытой 100 лет; Григорий Перельман доказал её в 2003 году, отказавшись от премии в 1 000 000 долларов. TDA-алгоритмы Ripser вычисляют π₁ для облаков точек из 10⁵ элементов за 2 секунды.
Определение фундаментальной группы
Анри Пуанкаре в 1895 году ввёл фундаментальную группу, положив начало алгебраической топологии. Гипотеза Пуанкаре (π₁(M³)=0 ⟹ M³≅S³) оставалась открытой 100 лет; Григорий Перельман доказал её в 2003 году, отказавшись от премии в 1 000 000 долларов. TDA-алгоритмы Ripser вычисляют π₁ для облаков точек из 10⁵ элементов за 2 секунды.
Какова групповая операция в π₁(X, x₀)?
Теорема Ван Кампена и π₁ сфер
Чему равна π₁(S¹ ∨ S¹) по теореме Ван Кампена?
По теореме Ван Кампена: π₁(A∨B) = π₁(A) * π₁(B) (свободное произведение), если A∩B = {x₀}. π₁(S¹∨S¹) = Z * Z = F₂ - свободная группа ранга 2. Отличие от тора: в F₂ нет соотношения ab = ba.
Вычисление π₁ для конкретных пространств
Фундаментальная группа полностью определяется генераторами и соотношениями. Для тора T² = S¹×S¹ получаем абелеву группу Z×Z, для букета S¹∨S¹ - свободную F₂. Это даёт топологический инвариант, различающий поверхности.
Чему равна π₁ тора T² = S¹×S¹?
Ключевые идеи
- Фундаментальная группа: Элементы π₁(X, x₀) - классы гомотопных петель. Группа: [γ][δ] = [γ*δ] (конкатена
- Теорема Ван Кампена: Для X = A∪B с A∩B связным: π₁(X) - амальгамированное свободное произведение π₁(A
- Фундаментальные группы сфер: Сфера S¹ (окружность) имеет π₁ = Z - группу целых чисел (индекс намотки). Все S^
- Поверхность рода g: Замкнутая ориентируемая поверхность рода g (g ручек) имеет π₁ с 2g образующими и