Алгебраическая топология — раздел математики , который использует инструменты абстрактной алгебры для изучения топологических пространств . Основная цель — найти алгебраические инварианты , которые классифицируют топологические пространства с точностью до гомеоморфизма , хотя обычно большинство классифицируют с точностью до гомотопической эквивалентности .
Хотя алгебраическая топология в первую очередь использует алгебру для изучения топологических проблем, использование топологии для решения алгебраических проблем иногда также возможно. Например, алгебраическая топология позволяет получить удобное доказательство того, что любая подгруппа свободной группы снова является свободной группой.
Ниже приведены некоторые из основных областей, изучаемых в алгебраической топологии:
В математике гомотопические группы используются в алгебраической топологии для классификации топологических пространств . Первой и самой простой гомотопической группой является фундаментальная группа , которая записывает информацию о петлях в пространстве. Интуитивно гомотопические группы записывают информацию о базовой форме или дырках топологического пространства.
В алгебраической топологии и абстрактной алгебре гомология ( отчасти от греч. ὁμός homos «тождественный») — это определённая общая процедура, связывающая последовательность абелевых групп или модулей с заданным математическим объектом, таким как топологическое пространство или группа . [1]
В теории гомологии и алгебраической топологии когомологии — это общий термин для последовательности абелевых групп, определяемых из комплекса коцепей . То есть когомологии определяются как абстрактное изучение коцепей , коциклов и кограниц . Когомологии можно рассматривать как метод назначения алгебраических инвариантов топологическому пространству, имеющему более тонкую алгебраическую структуру , чем гомологии . Когомологии возникают из алгебраической дуализации построения гомологии. На менее абстрактном языке коцепи в фундаментальном смысле должны назначать «количества» цепям теории гомологии.
Многообразие — это топологическое пространство , которое вблизи каждой точки напоминает евклидово пространство . Примерами служат плоскость , сфера и тор , которые могут быть реализованы в трех измерениях, а также бутылка Клейна и действительная проективная плоскость , которые не могут быть вложены в три измерения, но могут быть вложены в четыре измерения. Как правило, результаты в алгебраической топологии фокусируются на глобальных, недифференцируемых аспектах многообразий; например, двойственность Пуанкаре .
Теория узлов — это изучение математических узлов . Хотя математический узел вдохновлен узлами, которые встречаются в повседневной жизни в шнурках и веревках, он отличается тем, что его концы соединены так, что его нельзя развязать. На точном математическом языке узел — это вложение окружности в трехмерное евклидово пространство , . Два математических узла эквивалентны, если один может быть преобразован в другой посредством деформации на себя (известной как окружающая изотопия ); эти преобразования соответствуют манипуляциям с завязанной нитью, которые не включают разрезание нити или пропускание нити через себя.
Симплициальный комплекс — это топологическое пространство определенного вида, построенное путем «склеивания» точек , отрезков прямых , треугольников и их n -мерных аналогов (см. иллюстрацию). Симплициальные комплексы не следует путать с более абстрактным понятием симплициального множества, появляющимся в современной теории симплициальной гомотопии. Чисто комбинаторным аналогом симплициального комплекса является абстрактный симплициальный комплекс .
CW -комплекс — это тип топологического пространства, введенный Дж. Х. Уайтхедом для удовлетворения потребностей теории гомотопий . Этот класс пространств шире и имеет некоторые лучшие категориальные свойства, чем симплициальные комплексы , но все еще сохраняет комбинаторную природу, которая позволяет выполнять вычисления (часто с гораздо меньшим комплексом).
Более старое название предмета было комбинаторная топология , подразумевая акцент на том, как пространство X было построено из более простых [2] (современный стандартный инструмент для такого построения — комплекс CW ). В 1920-х и 1930-х годах все больше внимания уделялось исследованию топологических пространств путем поиска соответствий из них алгебраическим группам , что привело к изменению названия на алгебраическую топологию. [3] Название комбинаторная топология до сих пор иногда используется для подчеркивания алгоритмического подхода, основанного на разложении пространств. [4]
В алгебраическом подходе можно найти соответствие между пространствами и группами , которое уважает отношение гомеоморфизма (или более общей гомотопии ) пространств. Это позволяет преобразовывать утверждения о топологических пространствах в утверждения о группах, которые имеют большую часть управляемой структуры, что часто упрощает доказательство этих утверждений. Два основных способа, которыми это можно сделать, — это через фундаментальные группы , или, в более общем смысле, гомотопическую теорию , и через группы гомологии и когомологии . Фундаментальные группы дают нам основную информацию о структуре топологического пространства, но они часто неабелевы и с ними может быть трудно работать. Фундаментальная группа (конечного) симплициального комплекса имеет конечное представление .
С другой стороны, группы гомологий и когомологий являются абелевыми и во многих важных случаях конечно порожденными. Конечно порожденные абелевы группы полностью классифицированы и с ними особенно легко работать.
В общем, все конструкции алгебраической топологии являются функториальными ; понятия категории , функтора и естественного преобразования возникли здесь. Фундаментальные группы и группы гомологии и когомологии являются не только инвариантами базового топологического пространства, в том смысле, что два топологических пространства, которые являются гомеоморфными, имеют одни и те же ассоциированные группы, но их ассоциированные морфизмы также соответствуют друг другу — непрерывное отображение пространств индуцирует групповой гомоморфизм на ассоциированных группах, и эти гомоморфизмы могут быть использованы для доказательства несуществования (или, гораздо глубже, существования) отображений.
Одним из первых математиков, работавших с различными типами когомологий, был Жорж де Рам . Можно использовать дифференциальную структуру гладких многообразий через когомологии де Рама , или когомологии Чеха или пучковые когомологии, чтобы исследовать разрешимость дифференциальных уравнений, определенных на рассматриваемом многообразии. Де Рам показал, что все эти подходы взаимосвязаны и что для замкнутого ориентированного многообразия числа Бетти, полученные через симплициальные гомологии, являются теми же числами Бетти, что и числа Бетти, полученные через когомологии де Рама. Это было расширено в 1950-х годах, когда Сэмюэл Эйленберг и Норман Стинрод обобщили этот подход. Они определили гомологии и когомологии как функторы, снабженные естественными преобразованиями, подчиненными определенным аксиомам (например, слабая эквивалентность пространств переходит в изоморфизм групп гомологии), проверили, что все существующие теории (ко)гомологии удовлетворяют этим аксиомам, а затем доказали, что такая аксиоматизация однозначно характеризует теорию.
Классические приложения алгебраической топологии включают в себя:
