Теория гомологий

Гомоло́гии — одно из основных понятий алгебраической топологии.

Даёт возможность строить алгебраический объект (группу или кольцо) который является топологическим инвариантом пространства.

Замкнутая линия на поверхности гомологична нулю, если при разрезании вдоль этой линии поверхность распадётся на части.

Например, на сфере любая замкнутая линия является таковой, а на торе, хотя и сущeствуют гомологичные нулю замкнутые линии, но разрез по меридиану или параллели не приведет к отделению куска поверхности.

Симплициальные гомологии

Симплициальные гомологии определяются наиболее просто. Вначале определим некоторые понятия.

Симплексы и компле́ксы

Симплексом размерности $k$ будем называть выпуклую оболочку точек $\langle a_{0},a_{1},...~a_{k}\rangle$, не лежащих в одном $(k-1)$—мерном подпространстве. 0-мерный симплекс $\langle a_{0}\rangle$ является точкой, 1-мерный $\langle a_{0},a_{1}\rangle$ отрезком, 2-мерный $\langle a_{0},a_{1},a_{2}\rangle$ треугольником, 3-мерный $\langle a_{0},a_{1},a_{2},a_{3}\rangle$ тетраэдром и т. д. Симплекс, порождённый частью точек $\langle a_{i}\rangle$, называется гранью большого симплекса.

Затем введём понятие симплициального компле́кса (с ударением на е). Компле́ксом $K$ называется множество симплексов, с каждым из которых в комплекс входят все его грани, и любые два симплекса либо вообще не имеют общей точки, либо пересекаются только по целой грани некоторой размерности, причем только по одной грани. Обычно требуют ещё, чтобы любая точка комплекса имела окрестность, пересекающуюся не более чем с конечным числом симплексов (т. н. локальная конечность).

Цепи комплексов

Рассмотрим градуированную абелеву группу с целочисленными коэффициентами, порождённую симплексами комплекса, т. н. группу цепей $C(K)$, являющуюся прямой суммой групп цепей размерности $k:\;C_{k}(K)$.

Симплексы считаем имеющими ориентацию и симплекс $\langle a_{0},a_{1},...~a_{k}\rangle$ будем считать равным $\langle a_{\sigma (0)},a_{\sigma (1)},...~a_{\sigma (k)}\rangle$, если перестановка $\sigma$ чётная и имеющим противоположный знак, если она нечётная.

Грани цепи

Определим оператор взятия геометрической $i$-й грани:

$\langle a_{0},...~a_{i},...~a_{k}\rangle \to (-1)^{i}\langle a_{0},...~{\hat {a_{i}}},...~a_{k}\rangle$, где ${\hat {a_{i}}}$ означает, что $i$-я вершина должна быть пропущена.

Оператор взятия геометрической грани зависит только от самого симплекса, но не от порядка вершин, задающих симплекс.

Для этого достаточно доказать, что оператор взятия $i$-й грани не изменится при перестановке двух вершин (транспозиции). Если эта транспозиция не затрагивает $a_{i}$, то это очевидно. Если она переставляет $a_{i}$ на $j$-е место, то имеем (пусть, например, $j<i$):

${\begin{matrix}\langle a_{0},...~a_{j},...~a_{i},...~a_{k}\rangle =-\langle a_{0},...~a_{i},...~a_{j},...~a_{k}\rangle \to -(-1)^{j}\langle a_{0},...~{\hat {a_{i}}},...~a_{i-1},~a_{j},...~a_{k}\rangle =\\=-(-1)^{j}(-1)^{i-j-1}\langle a_{0},...a_{j},...~a_{i-1},{\hat {a_{i}}}...~a_{k}\rangle =(-1)^{i}\langle a_{0},...~a_{j},...~{\hat {a_{i}}},...~a_{k}\rangle \end{matrix}}$

— что и ожидалось (возвращая ${\hat {a_{i}}}$ на старое место, надо сделать $i-j+1$ транспозицию, соответственно столько же раз поменять знак).

Определим оператор ориентированной границы симплекса следующим образом:

$\partial _{k}\langle a_{0},...~a_{k}\rangle =\sum (-1)^{i}\langle a_{0},...~{\hat {a_{i}}},...~a_{k}\rangle$

Взятие граничного оператора понижает размерность на 1. Для 0-мерного симплекса (точки) $A$ считаем $\partial {A}=0$. По линейности распространим оператор $\partial$ на любую цепь. Основным свойством граничного оператора является следующее:

$\partial _{k-1}\partial _{k}=0$

Применение $\partial _{k-1}\partial _{k}$ к симплексу $\langle a_{0},a_{1},...~a_{k}\rangle$ приводит к удалению двух вершин последнего. Предположим, что $j<i$.

Симплекс $\langle a_{0},...~{\hat {a_{j}}},...~{\hat {a_{i}}},...~a_{k}\rangle$ входит в результат первого действия оператора $(-1)^{i}\partial \langle {\hat {a_{i}}}\rangle$ со знаком $(-1)^{i+j}$, а в $(-1)^{j}\partial \langle {\hat {a_{j}}}\rangle$ со знаком $(-1)^{i+j-1}$, так как по удалению ${\hat {a_{j}}}$ вершина ${\hat {a_{i}}}$ будет уже не на $i$—ом месте, а на $(i-1)$—ом. Эти знаки противоположны, значит $\partial _{k-1}\partial _{k}$ будет равен нулю для любого симплекса, а по линейности — для любой цепи.

Симплициальные гомологии на комплексах и полиэдрах

Полиэдром (в широком смысле) называется топологическое пространство, гомеоморфное комплексу.

Фиксация такого гомеоморфизма называется триангуляцией.

На комплексах и полиэдрах вводятся симплициальные гомологии следующим образом:

Рассмотрим группу цепей размерности $k$ из симплексов нашего комплекса $K$, обозначаемую $C_{k}(K)$.

Цепь $c$, на которой значение граничного оператора $\partial _{k}c=0$ равно нулю (иначе говоря, $c\in \operatorname {Ker} \;\partial _{k}$) называется циклом; их множество обозначим $Z_{k}(K)$.

Если для некоторой цепи $c'$ выполняется $c=\partial _{k+1}c'$ (иначе говоря, $c\in \operatorname {Im} \;\partial _{k+1}$), то цепь $c$ называется границей; множество границ обозначим $B_{k}(K)$.

Так как оператор $\partial$ линеен, то и границы, и циклы образуют подгруппы группы цепей. Из того, что $\partial \partial =0$ ясно, что любая граница является циклом, то есть, $B_{k}\subseteq Z_{k}$.

Две цепи называются гомологичными, если они отличаются на границу. Это записывается $x\sim y$ (то есть $x=y+\partial z$).

Факторгруппа $H_{k}=Z_{k}(K)/B_{k}(K)=\operatorname {Ker} \;\partial _{k}/\operatorname {Im} \;\partial _{k+1}$ называется группой k-мерных симплициальных гомологий комплекса.

Пример

Пусть $S_{1}$ — одномерный комплекс, являющийся границей двумерного симплекса (треугольника) $\langle a_{0},a_{1},a_{2}\rangle$. Найдём его гомологии.

$B_{1}=0$, так как в комплексе двумерных симплексов нет. Поэтому $H_{1}=Z_{1}/B_{1}=Z_{1}$. Узнаем теперь, когда одномерная цепь может быть циклом.

Возьмём произвольную цепь $c=x\langle a_{0},a_{1}\rangle +y\langle a_{1},a_{2}\rangle +z\langle a_{2},a_{0}\rangle$. Имеем:

$\partial c=(z-x)\langle a_{0}\rangle +(x-y)\langle a_{1}\rangle +(y-z)\langle a_{2}\rangle =0$.

Значит, $z-x=x-y=y-z=0;\quad x=y=z$. Поэтому любой одномерный цикл $c$ имеет вид

$x(\langle a_{0},a_{1}\rangle +\langle a_{1},a_{2}\rangle +\langle a_{2},a_{0}\rangle )$

— значит $H_{1}=Z_{1}$ есть просто бесконечная циклическая группа $\mathbb {Z}$.

Найдём нульмерные гомологии. Так как $\partial _{0}=0$, то $Z_{0}=C_{0}$. Из равенства $\partial \langle a_{0},a_{1}\rangle =\langle a_{1}\rangle -\langle a_{0}\rangle$ следует, что $\langle a_{1}\rangle$ и $\langle a_{0}\rangle$ отличаются на границу. Аналогично $\langle a_{1}\rangle$ и $\langle a_{2}\rangle$ отличаются на границу, поэтому с точностью до границы любая нульмерная цепь имеет вид $t\langle a_{0}\rangle$. То есть, $C_{0}$является просто бесконечной циклической группой $\mathbb {Z}$. Если она сама является границей, то есть $t\langle a_{0}\rangle =\partial c=(z-x)\langle a_{0}\rangle +(x-y)\langle a_{1}\rangle +(y-z)\langle a_{2}\rangle$, то имеем, что $x-y=y-z=0;\quad x=y=z;\quad t=z-x=0$, поэтому $B_{0}=0$ и $H_{0}=C_{0}/B_{0}=\mathbb {Z}$.

Итого, для границы двумерного симплекса $H_{0}=H_{1}=\mathbb {Z}$.

Некоторые свойства гомологий

Если гомологии комплекса $K$ определены, то они же считаются гомологиями полиэдра $|K|$, соответствующего этому комплексу.

Однако следует доказать независимость групп гомологий от выбора триангуляции.

Можно доказать что непрерывному отображению полиэдров $f:|K|\to |L|$ соответствует гомоморфизм $f_{*}:H_{k}(K)\to H_{k}(L)$, причём это соответствие, как говорят, функториально, то есть композиции непрерывных отображений соответствует композиция гомоморфизмов групп гомологий $(fg)_{*}=f_{*}g_{*}$, а тождественному отображению соответствует тождественный гомоморфизм $(id)_{*}=id_{*}$.

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

В этом случае она представляется в виде прямой суммы нескольких экземпляров группы целых чисел $\mathbb {Z}$ (их число, то есть ранг группы гомологий называется числом Бетти) и конечных циклических групп $\mathbb {Z} _{a_{0}},\mathbb {Z} _{a_{1}},...~\mathbb {Z} _{a_{i}},...~\mathbb {Z} _{a_{k}}$ где каждое $a_{i}$ является делителем $a_{i-1}$ (эти числа называются коэффициентами кручения). Число Бетти и коэффициенты кручения определяются однозначно.

Первоначально А.Пуанкаре как раз их и ввёл для характеристики топологических свойств.

Э.Нётер показала важность перехода к изучению самих групп гомологий.

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

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

Сингулярные гомологии вводятся так, что их инвариантность и функториальность сразу становятся очевидными.

Пусть $X$ — любое топологическое пространство.

Сингулярный симплекс размерности $k$ — это пара $(\Delta ^{k},f)$ где $\Delta ^{k}$ — это стандартный симплекс $\langle a_{0},a_{1},...~a_{k}\rangle$, а $f$ — его непрерывное отображение в $X$; $f:\Delta ^{k}\to X$.

Группу сингулярных цепей определим как множество формальных линейных комбинаций:

$c_{k}=\sum _{i}z_{i}(\Delta ^{k},f_{i})$ с целыми (обычно их полагают также ограниченными) коэффициентами $z_{i}$.

При этом для линейного отображения $s_{\pi }:\Delta ^{k}\to \Delta _{k}$ определяемого перестановкой $\pi$ точек $(a_{0},a_{1},...~a_{k})$ полагают $(\Delta ^{k},f)=(-1)^{\pi }(\Delta ^{k},f\circ s_{\pi })$.

Граничный оператор $\partial$ определяется на сингулярном симплексе $(\Delta _{k},f)$ так:

$\partial (\Delta _{k},f)=\sum _{i}(-1)^{i}(\Delta _{k-1},f_{i}),$

где $\Delta _{k-1}$ стандартный $(k-1)$-мерный симплекс, а $f_{i}=f\circ \epsilon _{i}$, где $\epsilon _{i}$ — это его отображение на $i$-ю грань стандартного симплекса $\Delta ^{k}(\langle a_{0},...~{\hat {a_{i}}},...~a_{k}\rangle )$.

Аналогично симплициальным гомологиям доказывается что $\partial \partial =0$.

Как и раньше вводятся понятия сингулярных циклов — таких цепей $c_{k}$, что $\partial {c_{k}}=0$, и границ — цепей $c_{k}=\partial {c_{k+1}}$ для некоторого $c_{k+1}$.

Факторгруппа группы циклов по группе границ $H_{k}=Z_{k}/B_{k}$ называется группой сингулярных гомологий.

Пример

Найдём, к примеру, сингулярные гомологии пространства из одной точки $X=*$.

Для каждой размерности существует только одно-единственное отображение $f^{k}:\Delta ^{k}\to *$.

Граница симплекса $\partial _{k}(\Delta ^{k},f^{k})=\sum (-1)^{i}(\Delta ^{k-1},f_{i}^{k-1})$, где все $f_{i}^{k-1}$ равны, так как отображают симплекс в одну точку (обозначим $f^{k-1}$).

Значит:

$\partial (\Delta ^{k},f^{k})=0$, если $k$ нечетно (число членов в сумме четно, а знаки чередуются);

$\partial (\Delta ^{k},f^{k})=(\Delta ^{k-1},f^{k-1})$, если $k\not =0$ и четно;

$\partial (\Delta ^{k},f^{k})=0$, если $k=0$.

Отсюда получаем для нулевой размерности: $Z_{0}=C_{0}=\mathbb {Z} ;\quad B_{0}=0;\quad H_{0}=\mathbb {Z}$.

Для нечётной размерности $k=2n-1:Z_{k}=C_{k}=\mathbb {Z} ;\quad B_{k}=\mathbb {Z} ;\quad H_{k}=0$.

Для чётной размерности $k=2n\not =0:Z_{k}=0;\quad B_{k}=0;\quad H_{k}=0$.

То есть группа гомологий равна $\mathbb {Z}$ для нулевой размерности и равна нулю для всех положительных размерностей.

Можно доказать, что на множестве полиэдров сингулярные гомологии совпадают с ранее определенными симплициальными.

История

Сингулярные гомологии были введены Лефшецом.

Гомологии с коэффициентами в произвольных группах

Можно определять гомологии, позволяя коэффициентам при симплексах в цепях быть элементами любой абелевой группы $G$. Группы гомологий (симплициальные, сингулярные и т. д.) пространства $X$ с коэффициентами в группе $G$ обозначаются $H_{k}(X;G)$. Обычно применяют группу действительных чисел $\mathbb {R}$, рациональных чисел $\mathbb {Q}$, или циклическую группу вычетов по модулю $m$ — $\mathbb {Z} _{m}$, причём обычно берётся $m=p$ — простое число, тогда $\mathbb {Z} _{p}$ является полем.

Когомологии

Кроме цепей можно ввести понятие коцепей — отображений векторного пространства цепей в группу $G$. То есть, пространство коцепей $C^{k}(X)=\operatorname {Hom} (C_{k}(X),G)$.

Граничный оператор $\delta ^{k}:C^{k}\to C^{k+1}$ определяется по формуле: $(\delta ^{k}x)(c)=x(d_{k+1}c)$ (где $x\in C^{k},\;c\in C_{k+1}$). Для такого граничного оператора также выполняется

$\delta ^{k+1}\delta ^{k}=0$, а именно

$(\delta ^{k+1}\delta ^{k}(x))(c)=\delta ^{k}x(d_{k+2}c)=x(d_{k+1}d_{k+2}c)=x(0)=0$.

Поэтому аналогично тому, что было сказано выше, можно ввести понятия коциклов $Z^{k}(X,G)=Ker\delta ^{k}$, кограниц $B^{k}(X,G)=\operatorname {Im} \delta ^{k-1}$ и когомологий $H^{k}(X,G)=Z^{k}(X,G)/B^{k}(X,G)$.

Понятие когомологии двойственно понятию гомологии.

Если $G$ — кольцо, то в группе когомологий $H^{*}(X,G)$ определено естественное умножение (произведение Колмогорова — Александера или $\cup$-npоизведение), превращающее эту группу в градуированное кольцо, называемое кольцо когомологий.

В случае, когда $X$ — дифференцируемое многообразие, кольцо когомологий $H^{*}(X,\mathbb {R} )$ может быть вычислено при помощи дифференциальных форм на $X$ (см. Теорема де Рама).

Понятие когомологии было введено Александером и Колмогоровым.

Относительные гомологии и точная гомологическая последовательность

Возьмём случай двух топологических пространств $Y\subset X$. Группа цепей $C_{k}(Y)\subset C_{k}(X)$ (цепи могут быть как с целочисленными коэффициентами, так и с коэффициентами в любой группе $G$). Относительными цепями будут называться элементы факторгруппы $C_{k}(X,Y)=C_{k}(X)/C_{k}(Y)$. Так как граничный оператор $d$ на группе гомологий подпространства $Y$ переводит $d_{k}\colon C_{k}(Y)\to C_{k-1}(Y)$, то можно определить на факторгруппе $C_{k}(X,Y)$ граничный оператор (мы его обозначим так же) $d_{k}\colon C_{k}(X,Y)\to C_{k-1}(X,Y)$.

Те относительные цепи, которые он переводит в $0$ будут называться относительными циклами $Z_{k}(X,Y)$, а цепи, которые являются его значениями — относительными границами $B_{k}(X,Y)$. Так как $dd=0$ на абсолютных цепях, то это же будет верно для относительных, отсюда $B_{k}(X,Y)\subset Z_{k}(X,Y)$. Факторгруппа $H_{k}(X,Y)=Z_{k}(X,Y)/B_{k}(X,Y)$ называется группой относительных гомологий.

Так как каждый абсолютный цикл в $H_{k}(X)$ является также и относительным то имеем гомоморфизм $j_{k}:H_{k}(X)\to H_{k}(X,Y)$ По функториальному свойству вложение $i_{k}:Y\to X$ приводит к гомоморфизму $i_{*}:H_{k}(Y)\to H_{k}(X)$.

В свою очередь можно построить гомоморфизм $d_{*k}:H_{k}(X,Y)\to H_{k-1}(Y)$, который мы определим следующим образом. Пусть $c_{k}\in C_{k}(X,Y)$ — относительная цепь, которая определяет цикл из $H_{k}(X,Y)$. Рассмотрим её как абсолютную цепь в $C_{k}(X)$ (с точностью до элементов $C_{k}(Y)$). Так как это относительный цикл, то $d_{k}c$ будет равен нулю с точностью до некоторой цепи $c_{k-1}\in C_{k-1}(Y)$. Положим $d_{*k}$ равным классу гомологий цепи $c_{k-1}=d_{k}c\in Z_{k-1}(Y)$.

Если мы возьмём другую абсолютную цепь $c'_{k}\in C_{k}(X)$, определяющую тот же относительный цикл, то мы будем иметь $c=c'+u$, где $u\in C_{k}(Y)$. Имеем $d_{k}c=d_{k}c'+d_{k}u$, но так как $d_{k}u$ является границей в $Z_{k-1}(Y)$ то $d_{k}c$ и $d_{k}c'$ определяют один и тот же элемент в группе гомологий $H_{k-1}(Y)$. Если взять другой относительный цикл $c''$, дающий тот же элемент в группе относительных гомологий $c=c''+b$, где $b$ — относительная граница, то в силу того, что $b$ граница для относительных гомологий $b=d_{k+1}x+v$, где $v\in C_{k}(Y)$ , отсюда $d_{k}c=d_{k}c''+d_{k}d_{k+1}x+d_{k}v$, но $dd=0$, а $d_{k}v$ — граница в $Z_{k-1}(Y)$.

Поэтому класс гомологий $d_{*k}c_{k}$ определен однозначно. Ясно по линейности оператора $d_{*k}$, что он является гомоморфизмом. Итак мы имеем гомоморфизмы:

$i_{*k}\colon H_{k}(Y)\to H_{k}(X)$;

$j_{*k}\colon H_{k}(X)\to H_{k}(X,Y)$ и

$d_{*k}\colon H_{k}(X,Y)\to H_{k-1}(Y)$;

$...\to H_{k}(Y)\to H_{k}(X)\to H_{k}(X,Y)\to H_{k-1}(Y)\to ...$

Можно доказать, что эта последовательность точна, то есть образ любого гомоморфизма равен ядру следующего гомоморфизма.

Аксиомы Стинрода — Эйленберга

Помимо уже известных нам симплициальных и сингулярных гомологий существуют ещё другие теории гомологий и когомологий, например клеточные гомологии, когомологии Чеха, когомологии де Рама и т. д. Стинрод и Эйленберг определили систему аксиом теории (ко)гомологий. Вначале они определяют т. н. допустимый класс пар $D$ топологических пространств, удовлетворяющий следующим свойствам:

1. Если $(X,Y)\in D,$ то $(X,X)\in D,$ $(X,\varnothing )\in D,$ $(Y,Y)\in D$ и $(Y,\varnothing )\in D.$
2. Если $(X,Y)\in D,$, то и $(X\times I,Y\times I)\in D,$ где $I$ — замкнутый интервал [0,1].
3. $(*,\varnothing )\in D,$ где $*$ — одноточечное пространство.

В теории гомологий по Стинроду — Эйленбергу каждой допустимой паре и любому целому числу k соответствует абелева группа $H_{k}(X,Y)$ и непрерывному отображению пар $f\colon (X,Y)\to (X',Y')$ соответствует гомоморфизм $f_{*k}\colon H_{k}(X,Y)\to H_{k}(X',Y')$ (Пространство $X$ отождествляется с парой $(X,\varnothing )$), а $H_{k}(X)$ с $H_{k}(X,\varnothing )$), причём выполняются следующие аксиомы:

1. Тождественному отображению пары $id$ соответствует тождественный гомоморфизм $id_{*k}.$
2. $(gf)_{*k}=g_{*k}f_{*k}$ (функториальность)
3. Определен граничный гомоморфизм $d_{*k}\colon H_{k}(X,Y)\to H_{k-1}(Y),$ причём если $f\colon (X,Y)\to (X',Y'),$ то для соответствующего гомоморфизма $f_{*k}\colon H_{k}(X,Y)\to H_{k}(X',Y')$ верно $d_{*k}f_{*k}=f_{*k-1}d_{*k}$ для любой размерности k.
4. Пусть $i\colon Y\to X$ и $j\colon X\to (X,Y)$ — вложения, $i_{*k}\colon H_{k}(Y)\to H_{k}(X)$ и $j_{*k}\colon H_{k}(X)\to H_{k}(X,Y)$ — соответствующие гомоморфизмы, $d_{*k}\colon H_{k}(X,Y)\to H_{k-1}(Y)$ — граничный гомоморфизм. Тогда определяемая ими последовательность
   $\ldots \to H_{k}(Y)\to H_{k}(X)\to H_{k}(X,Y)\to H_{k-1}(Y)\to \ldots$
   точна (аксиома точности).
5. Если отображения $f,g\colon (X,Y)\to (X',Y')$ гомотопны, то соответствующие гомоморфизмы равны $f_{*k}=g_{*k}$ для любой размерности $k$ (аксиома гомотопической инвариантности).
6. Пусть $U\subset X$ — открытое подмножество $X$, причём его замыкание содержится во внутренности множества $Y,$ тогда если пары $(X\setminus U,Y\setminus U)$ и $(X,Y)$ принадлежат допустимому классу, то для любой размерности $k$ вложению $(X\setminus U,Y\setminus U)\hookrightarrow (X,Y)$ соответствует изоморфизм $H_{k}(X\setminus U,Y\setminus U)\simeq H_{k}(X,Y)$ (аксиома вырезания).
7. Для одноточечного пространства $H_{k}(*)=0$ для всех размерностей $k\geqslant 0$. Абелева группа $G=H_{0}(*)$ называется группой коэффициентов (аксиома размерности).

Для сингулярных гомологий допустимый класс пар состоит из всех пар топологических пространств. Ранее определенные группы сингулярных гомологий с коэффициентами в группе $G$ их отображения и граничный гомоморфизм $d_{*}$ удовлетворяют всем этим аксиомам. Если в качестве допустимого класса взять класс полиэдров, то можно доказать, что гомологии, определенные с помощью данной системы аксиом, совпадают с симплициальными.

Аналогично можно ввести систему аксиом для когомологий, которая полностью аналогична.

Необходимо только иметь в виду, что отображению $f\colon (X,Y)\to (X',Y')$ соответствует $f^{*k}\colon H^{k}(X',Y')\to H^{k}(X,Y)$ (контравариантность) и что кограничный гомоморфизм $\delta ^{*k}\colon H^{k-1}(Y)\to H^{k}(X,Y)$ увеличивает размерность.

Экстраординарные гомологии

В системе аксиом Стинрода — Эйленберга аксиома размерности оказывается не столь важна, как остальные.

Теории (ко)гомологий, которые могут иметь ненулевые группы (ко)гомологий одноточечного пространства для размерностей k>0, называются экстраординарными или обобщёнными. Наиболее важными экстраординарными теориями являются K-теория Атьи (надо отметить важный вклад в эту теорию Хирцебруха, Ботта и Адамса) и теория бордизмов Р.Тома.

См. также

• Гомологическая алгебра
• Гомотопия
• Фундаментальный класс

Литература

• Вик Дж. У. Теория гомологий. Введение в алгебраическую топологию. — М.: МЦНМО, 2005
• Дольд А. Лекции по алгебраической топологии. — М.: Мир, 1976
• Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия: Методы теории гомологий. — М.: Наука, 1984
• Зейферт Г., Трельфалль В. Топология. — Ижевск: РХД, 2001
• Лефшец С. Алгебраическая топология. — М.: ИЛ, 1949
• Новиков П. С. Топология. — 2 изд. испр. и доп. — Ижевск: Институт компьютерных исследований, 2002
• Прасолов В. В. Элементы теории гомологий. — М.: МЦНМО, 2006
• Свитцер Р. М. Алгебраическая топология. — гомотопии и гомологии. — М.: Наука, 1985
• Спеньер Э. Алгебраическая топология. — М.: Мир, 1971
• Стинрод Н., Эйленберг С. Основания алгебраической топологии. — М.: Физматгиз, 1958
• Фоменко А. Т., Фукс Д. Б. Курс гомотопической топологии. — М.: Наука, 1989