Гомология

Гомология измеряет «дыры» пространства в каждом измерении, подсчитывая циклы, которые не являются границами, и формирует последовательность абелевых групп, которые вычислимы и устойчивы при непрерывной деформации.

Definition

Гомология сопоставляет пространству последовательность абелевых групп, определяемых как факторгруппа циклов (цепей с нулевой границей) по границам (образам граничного отображения) в цепном комплексе; её ранги, числа Бетти, подсчитывают независимые «дыры» в каждом измерении.

Scope

Эта тема развивает цепные комплексы и алгебраическое понятие гомологии как циклов по модулю границ, реализованное конкретно через симплициальную, сингулярную и клеточную гомологии, и показывает их согласованность на «разумных» пространствах. Она охватывает фундаментальные свойства — гомотопическую инвариантность, длинную точную последовательность пары, эксцизию и последовательность Майера-Виеториса — которые делают гомологию вычислимой, а также теорию степени, числа Бетти и эйлерову характеристику. Включены эквивалентность различных конструкций и вычисления для сфер, поверхностей и CW-комплексов.

Core questions

• Как циклы по модулю границ формализуют интуитивное представление об n-мерной «дыре»?
• Почему симплициальная, сингулярная и клеточная гомологии согласуются, и какая из них лучше всего подходит для вычислений?
• Как эксцизия и последовательность Майера-Виеториса сводят гомологию пространства к гомологии более простых частей?
• Какую топологическую информацию содержат числа Бетти и эйлерова характеристика?

Key concepts

• Цепные комплексы, циклы и границы
• Симплициальная, сингулярная и клеточная гомологии и их согласованность
• Длинная точная последовательность пары и эксцизия
• Последовательность Майера-Виеториса
• Числа Бетти, эйлерова характеристика и степень отображения

Clinical relevance

Гомология является основным инвариантом топологии: она лежит в основе теории неподвижных точек и теории пересечений, классификации многообразий, эйлеровой характеристики в геометрии и комбинаторике, а также современных приложений, таких как персистентная гомология в топологическом анализе данных.

History

Числа Бетти и коэффициенты кручения Пуанкаре были переинтерпретированы как факторгруппы после того, как Эмми Нётер подчеркнула групповую структуру в 1920-х годах; сингулярные и аксиоматические (Эйленберг-Стинрод) формулировки 1940-х и 1950-х годов придали гомологии функториальную, аксиоматическую форму, используемую сегодня.

Key figures

• Henri Poincaré
• Emmy Noether
• Leopold Vietoris

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

В чем разница между циклом и границей?

Цикл — это цепь, граница которой равна нулю (замкнутая петля или поверхность); граница — это цепь, которая сама является границей более высокоразмерной цепи. Гомология измеряет циклы, которые не являются границами — истинные «дыры».

Почему гомологию легче вычислить, чем гомотопию?

Гомология удовлетворяет свойству эксцизии и вписывается в длинные точные последовательности, поэтому гомологию пространства можно собрать из более простых частей; гомотопические группы не удовлетворяют такому принципу «разрезания» и сопротивляются систематическим вычислениям.