Русская Википедия:Симплициальные гомологии
Симплексы и компле́ксы
Симплексом размерности <math>k</math> будем называть выпуклую оболочку точек <math>\langle a_0, a_1,...~a_k\rangle</math>, не лежащих в одном <math>(k-1)</math>—мерном подпространстве. 0-мерный симплекс <math>\langle a_0\rangle</math> является точкой, 1-мерный <math>\langle a_0, a_1\rangle</math> отрезком, 2-мерный <math>\langle a_0, a_1, a_2\rangle</math> треугольником, 3-мерный <math>\langle a_0, a_1, a_2, a_3\rangle</math> тетраэдром и т. д. Симплекс, порождённый частью точек <math>\langle a_i\rangle</math>, называется гранью большого симплекса.
Затем введём понятие симплициального компле́кса (с ударением на е). Компле́ксом <math>K</math> называется множество симплексов, с каждым из которых в комплекс входят все его грани, и любые два симплекса либо вообще не имеют общей точки, либо пересекаются только по целой грани некоторой размерности, причем только по одной грани. Обычно требуют ещё, чтобы любая точка комплекса имела окрестность, пересекающуюся не более чем с конечным числом симплексов (т. н. локальная конечность).
Группа цепей
Рассмотрим градуированную абелеву группу с целочисленными коэффициентами, порождённую симплексами компле́кса, т. н. группу цепей <math>C(K)</math>, являющуюся прямой суммой групп цепей размерности <math>k:\; C_k(K)</math>.
Симплексы считаем имеющими ориентацию и симплекс <math>\langle a_0, a_1,...~a_k\rangle</math> будем считать равным <math>\langle a_{\sigma(0)}, a_{\sigma(1)},...~a_{\sigma(k)}\rangle</math>, если перестановка <math>\sigma</math> чётная и имеющим противоположный знак, если она нечётная.
Граничный оператор
Определим оператор взятия геометрической <math>i</math>-й грани:
<math>\langle a_0,...~a_i,...~a_k\rangle\to (-1)^i\langle a_0,...~\hat{a_i},...~a_k\rangle</math>, где <math>\hat{a_i}</math> означает, что <math>i</math>-я вершина должна быть пропущена.
Оператор взятия геометрической грани зависит только от самого симплекса, но не от порядка вершин, задающих симплекс.
Для этого достаточно доказать, что оператор взятия <math>i</math>-й грани не изменится при перестановке двух вершин (транспозиции). Если эта транспозиция не затрагивает <math>a_i</math>, то это очевидно. Если она переставляет <math>a_i</math> на <math>j</math>-е место, то имеем (пусть, например, <math>j<i</math>):
- <math>\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}</math>
— что и ожидалось (возвращая <math>\hat{a_i}</math> на старое место, надо сделать <math>i-j-1</math> транспозицию, соответственно столько же раз поменять знак).
Определим оператор ориентированной границы симплекса следующим образом:
- <math>\partial_k\langle a_0,...~a_k\rangle=\sum(-1)^i\langle a_0,...~\hat{a_i},...~a_k\rangle</math>
Взятие граничного оператора понижает размерность на 1. Для 0-мерного симплекса (точки) <math>A</math> считаем <math>\partial{A}=0</math>. По линейности распространим оператор <math>\partial</math> на любую цепь. Основным свойством граничного оператора является следующее:
- <math>\partial_{k-1}\partial_k=0</math>
Применение <math>\partial_{k-1}\partial_k</math> к симплексу <math>\langle a_0, a_1,...~a_k\rangle</math> приводит к удалению двух вершин последнего. Предположим, что <math>j<i</math>.
Симплекс <math>\langle a_0,...~\hat{a_j},...~\hat{a_i},...~a_k\rangle</math> входит в результат первого действия оператора <math>(-1)^i \partial\langle \hat{a_i}\rangle</math> со знаком <math>(-1)^{i+j}</math>, а в <math>(-1)^j \partial\langle \hat{a_j}\rangle</math> со знаком <math>(-1)^{i+j-1}</math>, так как по удалению <math>\hat{a_j}</math> вершина <math>\hat{a_i}</math> будет уже не на <math>i</math>—ом месте, а на <math>(i-1)</math>—ом. Эти знаки противоположны, значит <math>\partial_{k-1}\partial_k</math> будет равен нулю для любого симплекса, а по линейности — для любой цепи.
Симплициальные гомологии на комплексах и полиэдрах
Полиэдром называется объединение многогранников.
Разбивая многогранники на симплексы, получаем симплициальный комплекс.
На комплексах и полиэдрах вводятся симплициальные гомологии следующим образом:
Рассмотрим группу цепей размерности <math>k</math> из симплексов нашего комплекса <math>K</math>, обозначаемую <math>C_k(K)</math>.
Цепь <math>c</math>, на которой значение граничного оператора <math>\partial_k c=0</math> равно нулю (иначе говоря, <math>c \in \operatorname{Ker}\; \partial_k</math>) называется циклом; их множество обозначим <math>Z_k(K)</math>.
Если для некоторой цепи <math>c'</math> выполняется <math>c=\partial_{k+1}c'</math> (иначе говоря, <math>c \in \operatorname{Im}\; \partial_{k+1}</math>), то цепь <math>c</math> называется границей; множество границ обозначим <math>B_k(K)</math>.
Так как оператор <math>\partial</math> линеен, то и границы, и циклы образуют подгруппы группы цепей. Из того, что <math>\partial\partial=0</math> ясно, что любая граница является циклом, то есть, <math>B_k\subseteq Z_k</math>.
Две цепи называются гомологичными, если они отличаются на границу. Это записывается <math>x\sim y</math> (то есть <math>x=y+\partial z</math>).
Факторгруппа <math>H_k=Z_k(K)/B_k(K)=\operatorname{Ker}\;\partial_k/ \operatorname{Im}\;\partial_{k+1}</math> называется группой k-мерных симплициальных гомологий комплекса.
Пример
Пусть <math>S_1</math> — одномерный комплекс, являющийся границей двумерного симплекса (треугольника) <math>\langle a_0, a_1, a_2\rangle</math>. Найдём его гомологии.
<math>B_1=0</math>, так как в комплексе двумерных симплексов нет. Поэтому <math>H_1=Z_1/B_1=Z_1</math>. Узнаем теперь, когда одномерная цепь может быть циклом.
Возьмём произвольную цепь <math>c=x\langle a_0, a_1\rangle + y\langle a_1,a_2\rangle + z\langle a_2,a_0\rangle</math>. Имеем:
- <math>\partial c=(z-x)\langle a_0\rangle + (x-y)\langle a_1\rangle + (y-z)\langle a_2\rangle=0</math>.
Значит, <math>z-x=x-y=y-z=0;\quad x=y=z</math>. Поэтому любой одномерный цикл <math>c</math> имеет вид
- <math>x(\langle a_0, a_1\rangle + \langle a_1, a_2 \rangle + \langle a_2, a_0 \rangle)</math>
— значит <math>H_1=Z_1</math> есть просто бесконечная циклическая группа <math>\mathbb{Z}</math>.
Найдём нульмерные гомологии. Так как <math>\partial_0=0</math>, то <math>Z_0=C_0</math>. Из равенства <math>\partial\langle a_0, a_1\rangle=\langle a_1\rangle-\langle a_0\rangle</math> следует, что <math>\langle a_1\rangle</math> и <math>\langle a_0\rangle</math> отличаются на границу. Аналогично <math>\langle a_1\rangle</math> и <math>\langle a_2\rangle</math> отличаются на границу, поэтому с точностью до границы любая нульмерная цепь имеет вид <math>t\langle a_0\rangle</math>. То есть, <math>C_0</math>является просто бесконечной циклической группой <math>\mathbb{Z}</math>. Если она сама является границей, то есть <math>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</math>, то имеем, что <math>x-y=y-z=0;\quad x=y=z;\quad t=z-x=0</math>, поэтому <math>B_0=0</math> и <math>H_0=C_0/B_0=\mathbb{Z}</math>.
Итого, для границы двумерного симплекса <math>H_0=H_1=\mathbb{Z}</math>.
Некоторые свойства гомологий
Если гомологии комплекса <math>K</math> определены, то они же считаются гомологиями полиэдра <math>|K|</math>, соответствующего этому комплексу.
Однако следует доказать независимость групп гомологий от выбора триангуляции.
Можно доказать что непрерывному отображению полиэдров <math>f:|K|\to|L|</math> соответствует гомоморфизм <math>f_*:H_k(K)\to H_k(L)</math>, причём это соответствие, как говорят, функториально, то есть композиции непрерывных отображений соответствует композиция гомоморфизмов групп гомологий <math>(fg)_*=f_* g_*</math>, а тождественному отображению соответствует тождественный гомоморфизм <math>(id)_*=id_*</math>.
Если комплекс состоит из конечного числа симплексов, то группа гомологий будет иметь конечное число образующих.
В этом случае она представляется в виде прямой суммы нескольких экземпляров группы целых чисел <math>\mathbb{Z}</math> (их число, то есть ранг группы гомологий называется числом Бетти) и конечных циклических групп <math>\mathbb{Z}_{a_0}, \mathbb{Z}_{a_1},...~\mathbb{Z}_{a_i},...~\mathbb{Z}_{a_k}</math> где каждое <math>a_i</math> является делителем <math>a_{i-1}</math> (эти числа называются коэффициентами кручения). Число Бетти и коэффициенты кручения определяются однозначно.
Первоначально А.Пуанкаре как раз их и ввёл для характеристики топологических свойств.
Э.Нётер показала важность перехода к изучению самих групп гомологий.
Литература
- Понтрягин Л. С. Основы комбинаторной топологии. — Шаблон:М: Наука, 1986
- Стинрод Н., Эйленберг С. Основания алгебраической топологии. — Шаблон:М: Физматгиз, 1958
- Фоменко А. Т., Фукс Д. Б. Курс гомотопической топологии. — Шаблон:М: Наука, 1989
