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

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

править

Симплексом размерности будем называть выпуклую оболочку точек , не лежащих в одном —мерном подпространстве. 0-мерный симплекс является точкой, 1-мерный отрезком, 2-мерный треугольником, 3-мерный тетраэдром и т. д. Симплекс, порождённый частью точек , называется гранью большого симплекса.

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

Группа цепей

править

Рассмотрим градуированную абелеву группу с целочисленными коэффициентами, порождённую симплексами компле́кса, т. н. группу цепей , являющуюся прямой суммой групп цепей размерности .

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

Граничный оператор

править

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

, где означает, что -я вершина должна быть пропущена.

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

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

— что и ожидалось (возвращая на старое место, надо сделать транспозицию, соответственно столько же раз поменять знак).

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

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

Применение к симплексу приводит к удалению двух вершин последнего. Предположим, что .

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

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

править

Полиэдром называется объединение многогранников.

Разбивая многогранники на симплексы, получаем симплициальный комплекс.

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

Рассмотрим группу цепей размерности из симплексов нашего комплекса , обозначаемую .

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

Если для некоторой цепи выполняется (иначе говоря, ), то цепь называется границей; множество границ обозначим .

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

Две цепи называются гомологичными, если они отличаются на границу. Это записывается (то есть ).

Факторгруппа называется группой k-мерных симплициальных гомологий комплекса.

Пример

править

Пусть  — одномерный комплекс, являющийся границей двумерного симплекса (треугольника) . Найдём его гомологии.

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

Возьмём произвольную цепь . Имеем:

.

Значит, . Поэтому любой одномерный цикл имеет вид

— значит есть просто бесконечная циклическая группа .

Найдём нульмерные гомологии. Так как , то . Из равенства следует, что и отличаются на границу. Аналогично и отличаются на границу, поэтому с точностью до границы любая нульмерная цепь имеет вид . То есть, является просто бесконечной циклической группой . Если она сама является границей, то есть , то имеем, что , поэтому и .

Итого, для границы двумерного симплекса .

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

править

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

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

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

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

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

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

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

Литература

править
  • Понтрягин Л. С. Основы комбинаторной топологии. — М.: Наука, 1986
  • Стинрод Н., Эйленберг С. Основания алгебраической топологии. — М.: Физматгиз, 1958
  • Фоменко А. Т., Фукс Д. Б. Курс гомотопической топологии. — М.: Наука, 1989