Гомология (математика)

Чтобы узнать о других значениях, см. Гомология (значения) .

В математике гомологии ​ — это общий способ связи последовательности алгебраических объектов, таких как абелевы группы или модули , с другими математическими объектами, такими как топологические пространства . Группы гомологии первоначально были определены в алгебраической топологии . Подобные конструкции доступны в самых разных других контекстах, таких как абстрактная алгебра , группы , алгебры Ли , теория Галуа и алгебраическая геометрия .

Первоначальной мотивацией для определения групп гомологии было наблюдение о том, что две формы можно различить, исследуя их отверстия. Например, круг не является диском, потому что в круге есть отверстие, в то время как диск твердый, а обычная сфера не является кругом, потому что сфера заключает в себе двумерное отверстие, а круг заключает в себе одномерное отверстие. Однако, поскольку дыры «нет», не сразу понятно, как ее определить или как различать разные виды дыр. Гомология изначально была строгим математическим методом определения и классификации дыр в многообразии . Грубо говоря, цикл — это замкнутое подмногообразие, граница — это цикл, который также является границей подмногообразия, а класс гомологий (который представляет дырку) — это класс эквивалентности циклов по модулю границ. Таким образом, класс гомологии представлен циклом, который не является границей какого-либо подмногообразия: цикл представляет собой дыру, а именно гипотетическое многообразие, границей которого был бы этот цикл, но которого «там нет».

Существует множество различных теорий гомологии. Определенный тип математического объекта, такой как топологическое пространство или группа , может иметь одну или несколько связанных теорий гомологии. Когда базовый объект имеет геометрическую интерпретацию, как это делают топологические пространства, n- я группа гомологии представляет поведение в измерении n . Большинство групп или модулей гомологии могут быть сформулированы как производные функторы на соответствующих абелевых категориях измеряя неспособность функтора , точно . С этой абстрактной точки зрения группы гомологии определяются объектами производной категории .

Предыстория

Происхождение

Можно сказать, что теория гомологии начинается с формулы многогранника Эйлера или характеристики Эйлера . За этим последовало числовых определение Риманом инвариантов рода и n -кратной связности в 1857 году и доказательство Бетти в 1871 году независимости «чисел гомологий» от выбора базиса.

Сама гомология была разработана как способ анализа и классификации многообразий в соответствии с их циклами – замкнутыми петлями (или, в более общем смысле, подмногообразиями), которые можно нарисовать на данном n- мерном многообразии, но не деформировать непрерывно друг в друга. Эти циклы также иногда представляют собой разрезы, которые можно склеить, или молнии, которые можно застегивать и расстегивать. Циклы классифицируются по размерностям. Например, линия, нарисованная на поверхности, представляет собой 1-цикл, замкнутый контур или $S^{1}$ (1-многообразие), а поверхность, пересекающая трехмерное многообразие, является 2-циклом.

Поверхности

Циклы на 2-сфере $S^{2}$

Циклы на торе $T^{2}$

Циклы по Кляйну
бутылка $K^{2}$

Циклы на полусферической проективной плоскости $P^{2}$

На обычной сфере $S^{2}$, цикл b на диаграмме можно сжать к полюсу, и даже большой экваториальный круг a можно сжать таким же образом. Теорема Жордана о кривой показывает, что любой произвольный цикл, такой как c, можно аналогичным образом сжать до точки. Таким образом, все циклы на сфере непрерывно преобразуются друг в друга и принадлежат к одному и тому же классу гомологий. Говорят, что они гомологичны нулю. Разрезание многообразия по циклу, гомологическому нулю, разделяет многообразие на две или более компоненты. Например, если разрезать сферу вдоль a, получится два полушария.

Обычно это не относится к циклам на других поверхностях. Тор ​ $T^{2}$ имеет циклы, которые не могут непрерывно деформироваться друг в друга, например, на диаграмме ни один из циклов a , b или c не может быть деформирован друг в друга. В частности, циклы a и b нельзя сжать до точки, тогда как цикл c можно, что делает его гомологичным нулю.

Если поверхность тора разрезать вдоль a и b , ее можно развернуть и сплющить в прямоугольник или, что более удобно, в квадрат. Одна противоположная пара сторон представляет разрез по a , а другая противоположная пара представляет разрез по b .

Края квадрата затем можно склеить разными способами. Квадрат можно повернуть, чтобы края сходились в противоположном направлении, как показано стрелками на схеме. Различные способы склеивания сторон дают всего четыре топологически различные поверхности:

Четыре способа склеить квадрат, чтобы получилась замкнутая поверхность: склеить одиночные стрелки и склеить двойные стрелки так, чтобы наконечники стрел были направлены в одном направлении.

$K^{2}$ — это бутылка Клейна , представляющая собой тор со скруткой внутри (на квадратной диаграмме скручивание можно рассматривать как разворот нижней стрелки). Это теорема о том, что переклеенная поверхность должна самопересекаться (при погружении в евклидово трехмерное пространство ). Как и тор, циклы a и b не могут быть сокращены, а циклы c можно. Но в отличие от тора, следование b вперед вправо по кругу и назад меняет местами влево и вправо, потому что b случайно пересекает поворот, заданный для одного соединения. Если сделан равноудаленный разрез на одной стороне b , он возвращается на другую сторону и второй раз огибает поверхность, прежде чем вернуться в исходную точку, вырезая скрученную ленту Мёбиуса . Поскольку таким образом локальные лево и право можно произвольно переориентировать, поверхность в целом называется неориентируемой.

Проективная плоскость $P^{2}$ оба соединения перекручены. Неразрезанная форма, обычно представленная как поверхность Боя , визуально сложна, поэтому на диаграмме показано полусферическое вложение, на котором противоположные точки вокруг края, такие как A и A', идентифицируются как одна и та же точка. Опять же, a является несжимаемым, а c — нет. Если бы b был намотан только один раз, он также был бы несжимаемым и менял бы направление влево и вправо. Однако он заводится во второй раз, при этом снова меняется право и лево; его можно сжать до точки, и он гомологичен c .

Циклы могут быть объединены или сложены вместе, как это было с a и b на торе, когда он был разрезан и сплющен. На бутылки Клейна диаграмме a вращается в одну сторону, а − a вращается в противоположную сторону. Если a рассматривать как разрез, то − a можно рассматривать как операцию склеивания. Разрез и последующая переклейка не меняют поверхность, поэтому a + (− a ) = 0.

Но теперь рассмотрим два a -цикла. Поскольку бутылка Клейна неориентируема, вы можете провезти один из них по всему периметру бутылки (вдоль b -цикла), и он вернется в виде − a . Это связано с тем, что бутылка Клейна сделана из цилиндра, концы a -цикла которого склеены в противоположных направлениях. Следовательно, 2 a = a + a = a + (− a ) = 0. Это явление называется кручением . Аналогично, в проективной плоскости повторный обход несжимаемого цикла b дважды создает тривиальный цикл, который можно сжать до точки; то есть b + b = 0. Поскольку b для достижения нулевого цикла необходимо повторить дважды, говорят, что поверхность имеет коэффициент кручения, равный 2. Однако повторение b -цикла дважды в бутылке Клейна дает просто b + b = 2 b , поскольку этот цикл существует в классе гомологии без кручения. Это соответствует тому, что в фундаментальном многоугольнике бутылки Клейна склеена скруткой только одна пара сторон, тогда как в проективной плоскости скручены обе стороны.

Квадрат — это сжимаемое топологическое пространство , а это означает, что он имеет тривиальные гомологии. Следовательно, дополнительные разрезы отключают его. Квадрат — не единственная фигура на плоскости, которую можно приклеить к поверхности. Например, если склеить противоположные стороны восьмиугольника, получится поверхность с двумя отверстиями. Фактически, все замкнутые поверхности можно получить, склеив стороны некоторого многоугольника, а все многоугольники с четными сторонами (2 n -угольников) можно склеить, чтобы получить разные многообразия. И наоборот, замкнутую поверхность с n ненулевыми классами можно разрезать на 2 n -угольник. Возможны также вариации, например, шестиугольник можно склеить, чтобы получился тор.

Первая известная теория гомологии была опубликована Анри Пуанкаре в его основополагающей статье « Анализ места », J. Ecole Polytech. (2) 1 . 1–121 (1895). В статье представлены классы и отношения гомологии. Возможные конфигурации ориентируемых циклов классифицируются числами Бетти многообразия (числа Бетти являются уточнением эйлеровой характеристики). Классификация неориентируемых циклов требует дополнительной информации о коэффициентах кручения.

Полная классификация 1- и 2-многообразий приведена в таблице.

Топологические характеристики замкнутых неограниченных 1- и 2-многообразий

Коллектор		Эйлер нет. , час	Ориентируемость	Числа Бетти			Коэффициент кручения (1-мерный)
Символ	Имя			б 0	б 1	б 2
$S^{1}$	Круг (1-коллектор)	0	Регулируемый	1	1	—	—
$S^{2}$	Сфера	2	Регулируемый	1	0	1	Никто
$T^{2}$	Тор	0	Регулируемый	1	2	1	Никто
$P^{2}$	Проекционная плоскость	1	Неориентируемый	1	0	0	2
$K^{2}$	бутылка Клейна	0	Неориентируемый	1	1	0	2
	2-дырчатый тор	−2	Регулируемый	1	4	1	Никто
	g -дырчатый тор ( g — род )	2-2 г	Регулируемый	1	2 г	1	Никто
	Сфера с поперечными колпачками	2 - с	Неориентируемый	1	с - 1	0	2
	2-Коллектор с отверстиями g   и c   перемычками ( c   >   0)	2   -   (2 г   +   с )	Неориентируемый	1	(2 г   +   с )   -   1	0	2

Примечания

1. Для неориентируемой поверхности отверстие эквивалентно двум перемычкам.
2. Любое 2-многообразие представляет собой связную сумму g торов и c проективных плоскостей. Для сферы $S^{2}$, г = с = 0.

Обобщение

Многообразие с краем или открытое многообразие топологически отличается от закрытого многообразия и может быть создано путем разрезания любого подходящего закрытого многообразия. Например диск или 2-шар. $B^{2}$ ограничен кругом $S^{1}$. Его можно создать, разрезав тривиальный цикл в любом двумерном многообразии и оставив его фрагмент удаленным, проткнув сферу и растянув прокол в ширину, или разрезав проективную плоскость. Это также можно рассматривать как заполнение круга на плоскости.

Когда два цикла могут непрерывно деформироваться друг в друга, то разрезание по одному дает ту же форму, что и разрезание по другому, вплоть до некоторого изгиба и растяжения. В этом случае говорят, что два цикла гомологичны или принадлежат одному и тому же классу гомологии . Кроме того, если один цикл можно непрерывно деформировать в комбинацию других циклов, то резка по начальному циклу аналогична резке по комбинации других циклов. Например, разрез по восьмерке эквивалентен разрезу по двум ее лепесткам. В этом случае говорят, что цифра 8 гомологична сумме своих долей.

Два открытых многообразия с одинаковыми границами (с точностью до некоторого изгиба и растяжения) можно склеить вместе, чтобы образовать новое многообразие, которое является их связной суммой.

Этот геометрический анализ многообразий не является строгим. В поисках большей строгости Пуанкаре разработал симплициальные гомологии триангулированного многообразия и создал то, что сейчас называется цепным комплексом . Эти цепные комплексы (поскольку они сильно обобщены) составляют основу большинства современных трактовок гомологии.

В таких обработках цикл не обязательно должен быть непрерывным: 0-цикл представляет собой набор точек, и разрезание по этому циклу соответствует прокалыванию многообразия. 1-цикл соответствует набору замкнутых петель (образ 1-многообразия $S^{1}$). На поверхности резка по 1-циклу дает либо несвязные куски, либо более простую форму. 2-цикл соответствует набору вложенных поверхностей, таких как сфера или тор и т. д.

Эмми Нётер и независимо Леопольд Виеторис и Вальтер Майер развили теорию алгебраических групп гомологии в период 1925–28. Новая комбинаторная топология формально рассматривала топологические классы как абелевы группы . Группы гомологий — это конечно порожденные абелевы группы, а классы гомологий — элементы этих групп. Числа Бетти многообразия представляют собой ранг свободной части группы гомологий, а неориентируемые циклы описываются периодической частью.

Последующее распространение групп гомологии привело к изменению терминологии и точки зрения от «комбинаторной топологии» к « алгебраической топологии ». Алгебраические гомологии остаются основным методом классификации многообразий.

Неофициальные примеры

Гомологии топологического пространства X - это набор топологических инвариантов X, представленных его группами гомологии.

$$H_{0}(X),H_{1}(X),H_{2}(X),\ldots$$

где $k^{\rm {th}}$ группа гомологии $H_{k}(X)$ неформально описывает количество дыр в X с k -мерной границей. Дыра с 0-мерной границей — это просто зазор между двумя компонентами . Следовательно, $H_{0}(X)$ описывает компоненты связности пути X .

Чтобы узнать о группах гомологии графа, см. гомологии графа .

Круг или 1-сфера $S^{1}$

2-сфера $S^{2}$ это внешняя оболочка, а не внутренняя часть шара

Одномерная сфера $S^{1}$ это круг . Он имеет единственный связный компонент и дырку с одномерной границей, но не имеет дыр более высокой размерности. Соответствующие группы гомологии имеют вид

$$H_{k}\left(S^{1}\right)={\begin{cases}\mathbb {Z} &k=0,1\\\{0\}&{\text{otherwise}}\end{cases}}$$

где $\mathbb {Z}$ группа целых чисел и $\{0\}$ является тривиальной группой . Группа $H_{1}\left(S^{1}\right)=\mathbb {Z}$ представляет конечно порожденную абелеву группу с единственным генератором, представляющим одномерную дыру, содержащуюся в круге.

Двумерная сфера $S^{2}$ имеет единственную связную компоненту, не имеет дырок с одномерной границей, дырок с двумерной границей и дыр с более высокой размерностью. Соответствующие группы гомологий:

$$H_{k}\left(S^{2}\right)={\begin{cases}\mathbb {Z} &k=0,2\\\{0\}&{\text{otherwise}}\end{cases}}$$

В общем случае для n -мерной сферы $S^{n},$группы гомологии

$$H_{k}\left(S^{n}\right)={\begin{cases}\mathbb {Z} &k=0,n\\\{0\}&{\text{otherwise}}\end{cases}}$$

Сплошной диск или 2-шар. $B^{2}$

Тор $T=S^{1}\times S^{1}$

Двумерный шар $B^{2}$ это цельный диск. Он имеет единственный компонент, связанный по траектории, но, в отличие от круга, не имеет отверстий более высокой размерности. Все соответствующие группы гомологий тривиальны, за исключением $H_{0}\left(B^{2}\right)=\mathbb {Z}$. В общем случае для n -мерного шара $B^{n},$

$$H_{k}\left(B^{n}\right)={\begin{cases}\mathbb {Z} &k=0\\\{0\}&{\text{otherwise}}\end{cases}}$$

Тор . определяется как произведение двух окружностей $T^{2}=S^{1}\times S^{1}$. Тор имеет единственную компоненту связности путей, две независимые одномерные дыры (обозначены красными и синими кружками) и одну двумерную дыру, служащую внутренней частью тора. Соответствующие группы гомологий:

$$H_{k}(T^{2})={\begin{cases}\mathbb {Z} &k=0,2\\\mathbb {Z} \times \mathbb {Z} &k=1\\\{0\}&{\text{otherwise}}\end{cases}}$$

Если n произведений топологического пространства X записывается как $X^{n}$, то, вообще говоря, для n -мерного тора $T^{n}=(S^{1})^{n}$,

$$H_{k}(T^{n})={\begin{cases}\mathbb {Z} ^{\binom {n}{k}}&0\leq k\leq n\\\{0\}&{\text{otherwise}}\end{cases}}$$

( см. в разделе Тор#n-мерный тор и число Бетти#Больше примеров более подробную информацию ).

Две независимые одномерные дыры образуют независимые генераторы в конечно порожденной абелевой группе, выраженной как группа произведений $\mathbb {Z} \times \mathbb {Z} .$

Для проективной плоскости P простое вычисление показывает (где $\mathbb {Z} _{2}$ – циклическая группа порядка 2):

$$H_{k}(P)={\begin{cases}\mathbb {Z} &k=0\\\mathbb {Z} _{2}&k=1\\\{0\}&{\text{otherwise}}\end{cases}}$$

$H_{0}(P)=\mathbb {Z}$ соответствует, как и в предыдущих примерах, тому факту, что имеется единственная компонента связности. $H_{1}(P)=\mathbb {Z} _{2}$ — это новое явление: интуитивно оно соответствует тому факту, что существует единственная несжимаемая «петля», но если мы проделаем цикл дважды, она станет сжимаемой до нуля. Это явление называется кручением .

Построение

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

Общая конструкция начинается с такого объекта, как топологическое пространство X , на котором сначала определяется цепной комплекс C ( X кодирующий информацию о X. ) , Цепной комплекс — это последовательность абелевых групп или модулей. $C_{0},C_{1},C_{2},\ldots$. связаны гомоморфизмами $\partial _{n}:C_{n}\to C_{n-1},$ которые называются граничными операторами . То есть,

$\dotsb {\overset {\partial _{n+1}}{\longrightarrow \,}}C_{n}{\overset {\partial _{n}}{\longrightarrow \,}}C_{n-1}{\overset {\partial _{n-1}}{\longrightarrow \,}}\dotsb {\overset {\partial _{2}}{\longrightarrow \,}}C_{1}{\overset {\partial _{1}}{\longrightarrow \,}}C_{0}{\overset {\partial _{0}}{\longrightarrow \,}}0$

где 0 обозначает тривиальную группу и $C_{i}\equiv 0$ при i < 0. Требуется также, чтобы композиция любых двух последовательных граничных операторов была тривиальна. То есть для n всех

$\partial _{n}\circ \partial _{n+1}=0_{n+1,n-1},$

т. е. постоянная карта, отправляющая каждый элемент $C_{n+1}$ групповой идентичности в $C_{n-1}.$

Утверждение о том, что граница границы тривиальна, эквивалентно утверждению, что $\mathrm {im} (\partial _{n+1})\subseteq \ker(\partial _{n})$, где $\mathrm {im} (\partial _{n+1})$ обозначает образ граничного оператора и $\ker(\partial _{n})$ его ядро . Элементы $B_{n}(X)=\mathrm {im} (\partial _{n+1})$ называются границами и элементами $Z_{n}(X)=\ker(\partial _{n})$ называются циклами .

Поскольку каждая цепная группа Cn _{абелева ,} все ее подгруппы нормальны. Тогда потому что $\ker(\partial _{n})$ является подгруппой C _n , $\ker(\partial _{n})$ абелева, и поскольку $\mathrm {im} (\partial _{n+1})\subseteq \ker(\partial _{n})$ поэтому $\mathrm {im} (\partial _{n+1})$ является нормальной подгруппой $\ker(\partial _{n})$. Тогда можно создать факторгруппу

$H_{n}(X):=\ker(\partial _{n})/\mathrm {im} (\partial _{n+1})=Z_{n}(X)/B_{n}(X),$

называется n- й группой гомологии X . Элементы Hn _. ( X называются классами гомологий ) Каждый класс гомологии является классом эквивалентности над циклами, и два цикла в одном классе гомологии называются гомологичными .

Цепной комплекс называется точным, если образ ( n +1)-го отображения всегда равен ядру n- го отображения. Таким образом, группы гомологий X измеряют, «насколько далек» цепной комплекс, связанный с X , от точности.

Приведенные группы гомологии цепного комплекса C ( X ) определяются как гомологии расширенного цепного комплекса

$\dotsb {\overset {\partial _{n+1}}{\longrightarrow \,}}C_{n}{\overset {\partial _{n}}{\longrightarrow \,}}C_{n-1}{\overset {\partial _{n-1}}{\longrightarrow \,}}\dotsb {\overset {\partial _{2}}{\longrightarrow \,}}C_{1}{\overset {\partial _{1}}{\longrightarrow \,}}C_{0}{\overset {\epsilon }{\longrightarrow \,}}\mathbb {Z} {\longrightarrow \,}0$

где граничный оператор $\epsilon$ является

$\epsilon \left(\sum _{i}n_{i}\sigma _{i}\right)=\sum _{i}n_{i}$

для комбинации $\sum n_{i}\sigma _{i},$ очков $\sigma _{i},$ которые являются фиксированными генераторами C ₀ . Приведенные группы гомологии ${\tilde {H}}_{i}(X)$ совпадают с $H_{i}(X)$ для $i\neq 0.$ Дополнительный $\mathbb {Z}$ в цепном комплексе представлена ​​уникальная карта $[\emptyset ]\longrightarrow X$ от пустого симплекса к X .

Вычисление цикла $Z_{n}(X)$ и граница $B_{n}(X)$ группы обычно довольно сложны, так как они имеют очень большое количество образующих. С другой стороны, есть инструменты, которые облегчают задачу.

Группы симплициальных гомологий свободная H _n ( X ) симплициального комплекса X определяются с использованием симплициального цепного комплекса ( X ) , где C _n ( X ) — абелева группа, порожденная n -симплексами X. C см. в симплициальной гомологии Подробности .

Сингулярные гомологий группы H _n ( X ) определены для любого топологического пространства X и согласуются с симплициальными группами гомологий для симплициального комплекса.

Группы когомологий формально подобны группам гомологий: все начинается с коцепного комплекса , который аналогичен цепному комплексу, но чьи стрелки теперь обозначаются $d_{n},$ указать в направлении увеличения n, а не уменьшения n ; затем группы $\ker \left(d^{n}\right)=Z^{n}(X)$ коциклов ​ и $\mathrm {im} \left(d^{n-1}\right)=B^{n}(X)$ кограниц следуют из того же описания. я группа Тогда n- когомологий X является факторгруппой

$H^{n}(X)=Z^{n}(X)/B^{n}(X),$

по аналогии с n-й группой гомологии.

Гомология

Гомотопические группы подобны группам гомологий в том, что они могут представлять «дыры» в топологическом пространстве. Существует тесная связь между первой гомотопической группой $\pi _{1}(X)$ и первая группа гомологий $H_{1}(X)$: последнее есть абелианизация первого. Следовательно, говорят, что «гомология является коммутативной альтернативой гомотопии». Высшие гомотопические группы абелевы и связаны с группами гомологий теоремой Гуревича , но могут быть значительно более сложными. Например, гомотопические группы сфер плохо изучены и вообще не известны, в отличие от прямого описания групп гомологий, данного выше.

Например, пусть X — восьмерка . Его первая гомотопическая группа $\pi _{1}(X)$ представляет собой группу направленных петель, начинающихся и заканчивающихся в заданной точке (например, в ее центре). Это эквивалентно свободной группе ранга 2, которая не является коммутативной: цикл по самому левому циклу, а затем по самому правому циклу отличается от цикла по самому правому циклу, а затем по самому левому циклу. Напротив, его первая группа гомологии $H_{1}(X)$ группа разрезов, выполненных на поверхности. Эта группа коммутативна, поскольку (неформально) разрезание самого левого цикла, а затем самого правого цикла приводит к тому же результату, что и разрезание самого правого цикла, а затем самого левого цикла.

Типы гомологии

Различные типы теории гомологии возникают в результате отображения функторов различных категорий математических объектов в категорию цепных комплексов. В каждом случае композиция функтора от объектов к цепным комплексам и функтора от цепных комплексов к группам гомологий определяет общий функтор гомологий теории.

Симплициальная гомология

Основная статья: Симплициальная гомология

Мотивирующий пример взят из топологии : симплициальные гомологии симплициального комплекса X. алгебраической Здесь цепная группа Cn _— это свободная абелева группа или модуль, генераторами которого являются - мерные ориентированные симплексы X. n комплекса Ориентация определяется путем упорядочивания вершин и выражения ориентированного симплекса. $\sigma$ как n -кортеж $(\sigma [0],\sigma [1],\dots ,\sigma [n])$ его вершин перечислены в порядке возрастания (т.е. $\sigma [0]<\sigma [1]<\cdots <\sigma [n]$ в порядке вершин комплекса, где $\sigma [i]$ это $i$вершина, появляющаяся в кортеже). Отображение $\partial _{n}$ из Cn _{называется} в Cn ₋₁ граничным отображением и отправляет симплекс

$\sigma =(\sigma [0],\sigma [1],\dots ,\sigma [n])$

к формальной сумме

$\partial _{n}(\sigma )=\sum _{i=0}^{n}(-1)^{i}\left(\sigma [0],\dots ,\sigma [i-1],\sigma [i+1],\dots ,\sigma [n]\right),$

который считается 0, если $n=0.$ Такое поведение генераторов индуцирует гомоморфизм на всем следующим _Cn образом. Учитывая элемент $c\in C_{n}$, запишите его как сумму образующих ${\textstyle c=\sum _{\sigma _{i}\in X_{n}}m_{i}\sigma _{i},}$ где $X_{n}$ представляет собой набор n -симплексов в X , а m _i - коэффициенты из кольца C _n , определенного над (обычно целыми числами, если не указано иное). Затем определите

$\partial _{n}(c)=\sum _{\sigma _{i}\in X_{n}}m_{i}\partial _{n}(\sigma _{i}).$

Размерность n -й гомологии X оказывается числом «дырок» в X в размерности n . Его можно вычислить, приведя матричные представления этих граничных отображений в нормальную форму Смита .

Сингулярные гомологии

Основная статья: Сингулярные гомологии

Используя пример симплициальной гомологии в качестве модели, можно определить сингулярную гомологию для любого топологического пространства X . Цепной комплекс для X определяется путем взятия C _n в качестве свободной абелевой группы (или свободного модуля), генераторами которой являются все непрерывные отображения n -мерных симплексов в X . Гомоморфизмы ∂ _n возникают из граничных отображений симплексов.

Групповая гомология

Основная статья: Групповые когомологии

В абстрактной алгебре гомологии используются для определения производных функторов , например функторов Tor . мы начинаем с некоторого ковариантного аддитивного функтора F и некоторого модуля X. Здесь Цепной комплекс для X определяется следующим образом: сначала найдите свободный модуль $F_{1}$ и сюръективный гомоморфизм $p_{1}:F_{1}\to X.$ Затем можно найти бесплатный модуль $F_{2}$ и сюръективный гомоморфизм $p_{2}:F_{2}\to \ker \left(p_{1}\right).$ Продолжая в том же духе, последовательность бесплатных модулей $F_{n}$ и гомоморфизмы $p_{n}$ можно определить. Применяя к этой последовательности функтор F , получаем цепной комплекс; гомология $H_{n}$ этого комплекса зависит только от F и X и по определению является n м производным функтором F , примененным к X. -

Обычное использование групповых (ко) гомологий $H^{2}(G,M)$заключается в классификации возможных групп расширений E , которые содержат данный G -модуль M как нормальную подгруппу и имеют данную факторгруппу G , так что $G=E/M.$

теории

• Гомологии Бореля – Мура
• Клеточная гомология
• Циклическая гомология
• гомологии Хохшильда
• Гомологии Флоера
• Гомология пересечения
• K-гомология
• гомологии Хованова
• Гомологии Морса
• Стойкая гомология
• Гомологии Стинрода

Функторы

Цепные комплексы образуют категорию : Морфизм цепного комплекса ( $d_{n}:A_{n}\to A_{n-1}$) к цепному комплексу ( $e_{n}:B_{n}\to B_{n-1}$) — последовательность гомоморфизмов $f_{n}:A_{n}\to B_{n}$ такой, что $f_{n-1}\circ d_{n}=e_{n}\circ f_{n}$ для всех н . - ю n гомологии H _n можно рассматривать как ковариантный функтор из категории цепных комплексов в категорию абелевых групп (или модулей).

Если цепной комплекс зависит от объекта X ковариантным образом (это означает, что любой морфизм $X\to Y$ индуцирует морфизм цепного комплекса X в цепной комплекс Y ), то H _n являются ковариантными функторами из категории, которой принадлежит X , в категорию абелевых групп (или модулей).

Единственное различие между гомологиями и когомологиями состоит в том, что в когомологиях цепные комплексы контравариантным образом зависят от X и, следовательно, группы гомологий (которые в этом контексте называются группами когомологий и обозначаются H ^н ) образуют контравариантные функторы из категории, которой принадлежит X , в категорию абелевых групп или модулей.

Свойства

Если ( $d_{n}:A_{n}\to A_{n-1}$) — цепной комплекс такой, что все An, кроме конечного числа, равны _нулю , а остальные являются конечно порожденными абелевыми группами (или конечномерными векторными пространствами), то мы можем определить эйлерову характеристику

$\chi =\sum (-1)^{n}\,\mathrm {rank} (A_{n})$

(с использованием ранга в случае абелевых групп и размерности Гамеля в случае векторных пространств). Оказывается, эйлерову характеристику можно вычислить и на уровне гомологии:

$\chi =\sum (-1)^{n}\,\mathrm {rank} (H_{n})$

и, особенно в алгебраической топологии, это дает два способа вычисления важного инварианта $\chi$ для объекта X , породившего цепной комплекс.

Каждая короткая точная последовательность

$0\rightarrow A\rightarrow B\rightarrow C\rightarrow 0$

цепных комплексов дает длинную точную последовательность групп гомологии

$\cdots \to H_{n}(A)\to H_{n}(B)\to H_{n}(C)\to H_{n-1}(A)\to H_{n-1}(B)\to H_{n-1}(C)\to H_{n-2}(A)\to \cdots$

Все отображения в этой длинной точной последовательности индуцируются отображениями между цепными комплексами, за исключением отображений $H_{n}(C)\to H_{n-1}(A)$ Последние называются связующими гомоморфизмами и обеспечиваются леммой о зигзаге . Эту лемму можно применять к гомологии множеством способов, которые помогают вычислить группы гомологии, например теории относительной гомологии и последовательности Майера-Вьеториса .

Приложения

Применение в чистой математике

Известные теоремы, доказанные с использованием гомологии, включают следующее:

• : Теорема Брауэра о неподвижной точке если f — любое непрерывное отображение шара B ^н сам по себе, то существует фиксированная точка $a\in B^{n}$ с $f(a)=a.$
• Инвариантность области : если U является открытым подмножеством $\mathbb {R} ^{n}$ и $f:U\to \mathbb {R} ^{n}$ — инъективное непрерывное отображение , то $V=f(U)$ открыто f — гомеоморфизм между U и V. и
• Теорема о волосатом шаре : любое непрерывное векторное поле на 2-сфере (или, в более общем плане, на 2 - сфере для любого $k\geq 1$) в какой-то момент исчезает.
• Теорема Борсука -Улама : любая непрерывная функция из n -сферы в евклидово n -пространство отображает некоторую пару противоположных точек в одну и ту же точку. (Две точки на сфере называются антиподальными, если они расположены точно в противоположных направлениях от центра сферы.)
• Инвариантность размерности: если непустые открытые подмножества $U\subseteq \mathbb {R} ^{m}$ и $V\subseteq \mathbb {R} ^{n}$ гомеоморфны, то $m=n.$

Применение в науке и технике

В топологическом анализе данных наборы данных рассматриваются как выборка облака точек многообразия или алгебраического многообразия, встроенная в евклидово пространство . Связывая точки ближайших соседей в облаке в триангуляцию, создается симплициальная аппроксимация многообразия и можно вычислить его симплициальные гомологии. Поиск методов надежного расчета гомологии с использованием различных стратегий триангуляции в нескольких масштабах длины является темой устойчивой гомологии .

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

В динамических систем теории в физике Пуанкаре был одним из первых, кто рассмотрел взаимодействие между инвариантным многообразием динамической системы и ее топологическими инвариантами. Теория Морса связывает динамику градиентного потока на многообразии, например, с его гомологиями. Гомологии Флоера распространили это на бесконечномерные многообразия. Теорема КАМ установила, что периодические орбиты могут следовать по сложным траекториям; в частности, они могут образовывать косы , которые можно исследовать с помощью гомологии Флоера.

В одном классе методов конечных элементов может потребоваться решение краевых задач для дифференциальных уравнений, включающих оператор Ходжа-Лапласа , в топологически нетривиальных областях, например, в электромагнитном моделировании . В этих симуляциях решению помогает фиксация класса когомологий решения на основе выбранных граничных условий и гомологии области. Домены FEM можно триангулировать, на основе чего можно рассчитать симплициальную гомологию.

Программное обеспечение

Для расчета групп гомологии конечных клеточных комплексов были разработаны различные пакеты программного обеспечения. Linbox — библиотека C++ для выполнения быстрых матричных операций, включая нормальную форму Смита ; он взаимодействует как с Gap , так и с Maple . Chomp , CAPD::Redhom и Perseus также написаны на C++. Все три реализуют алгоритмы предварительной обработки, основанные на простой гомотопической эквивалентности и дискретной теории Морса, для выполнения сохраняющих гомологию сокращений входных комплексов ячеек, прежде чем прибегать к матричной алгебре. Kenzo помимо гомологии его можно также использовать для генерации представлений гомотопических написан на Лиспе, и групп конечных симплициальных комплексов. Gmsh включает в себя решатель гомологии для сеток конечных элементов, который может генерировать базы когомологий, которые можно напрямую использовать в программном обеспечении конечных элементов.

См. также

• Номер Бетти
• Велосипедное пространство
• Когомологии Де Рама
• Аксиомы Эйленберга – Стинрода
• Чрезвычайная теория гомологии
• Гомологическая алгебра
• Гомологические гипотезы в коммутативной алгебре
• Гомологическая связность
• Гомологическое измерение
• Гомотопическая группа
• Теорема Кюннета
• Список теорий гомологии - также есть список теорий гомологии.
• Двойственность Пуанкаре

Дальнейшее чтение

• Картан, Анри Поль ; Эйленберг, Сэмюэл (1956). Гомологическая алгебра . Принстонский математический ряд. Том. 19. Издательство Принстонского университета. ISBN  9780674079779 . OCLC   529171 .
• Эйленберг, Сэмюэл; Мур, Дж. К. (1965). Основы относительной гомологической алгебры . Мемуары Американского математического общества. Том. 55. Американское математическое общество. ISBN  9780821812556 . ОСЛК   1361982 .
• Гауэрс, Тимоти ; Барроу-Грин, июнь ; Лидер, Имре, ред. (2010), Принстонский спутник математики , Princeton University Press, ISBN  9781400830398 .
• Хэтчер, А. (2002), Алгебраическая топология , издательство Кембриджского университета, ISBN  0-521-79540-0 . Подробное обсуждение теорий гомологии симплициальных комплексов и многообразий, сингулярных гомологии и т. д.
• Хилтон, Питер (1988), «Краткая субъективная история гомологии и теории гомотопии в этом столетии», Mathematics Magazine , 60 (5), Mathematical Association of America: 282–291, doi : 10.1080/0025570X.1988.11977391 , JSTOR   2689545
• Ричесон, Д. (2008), Жемчужина Эйлера: формула многогранника и рождение топологии , Принстонский университет .
• Спэньер, Эдвин Х. (1966), Алгебраическая топология , Спрингер, стр. 155, ISBN  0-387-90646-0 .
• Стиллвелл, Джон (1993), «Теория гомологии и абелианизация», Классическая топология и комбинаторная теория групп , Тексты для аспирантов по математике, том. 72, Спрингер, стр. 169–184, номер документа : 10.1007/978-1-4612-4372-4_6 , ISBN.  978-0-387-97970-0 .
• Тейчер, М. , изд. (1999), Наследие Эмми Нётер , Материалы Израильской математической конференции, Университет Бар-Илан / Американское математическое общество / Oxford University Press , ISBN  978-0-19-851045-1 , OCLC   223099225
• Вейбель, Чарльз А. (1999), «28. История гомологической алгебры» (PDF) , в Джеймсе, IM (ред.), История топологии , Elsevier, ISBN  9780080534077 .

Внешние ссылки

• Группа гомологии в Математической энциклопедии
• [1] Н. Дж. Виндбергер: введение в алгебраическую топологию, последние шесть лекций с простым введением в гомологию.
• [2] Алгебраическая топология Аллен Хэтчер - Глава 2 о гомологии