Цепочка (алгебраическая топология)
В алгебраической k топологии - цепь является формальной линейной комбинацией k - клеток в клеточном комплексе . В симплициальных комплексах (соответственно кубических комплексах ) k -цепи представляют собой комбинации k -симплексов (соответственно k -кубов), [1] [2] [3] но не обязательно связан. Цепи используются в гомологии ; элементы группы гомологии являются классами эквивалентности цепей.
Определение [ править ]
Для симплициального комплекса , группа из -цепочки дается:
где единичны -просто из . что любой элемент в не обязательно быть связным симплициальным комплексом.
Интеграция в цепочках [ править ]
Интегрирование определяется в цепочках путем взятия линейной комбинации интегралов по симплексам в цепочке с коэффициентами (которые обычно являются целыми числами).Совокупность всех k -цепей образует группу, и последовательность этих групп называется цепным комплексом .
Граничный оператор на цепях [ править ]


Границей цепочки называется линейная комбинация границ симплексов цепочки. Границей k -цепи является ( k −1)-цепь. Обратите внимание, что граница симплекса - это не симплекс, а цепочка с коэффициентами 1 или -1 - таким образом, цепи представляют собой замыкание симплексов под действием граничного оператора.
Пример 1. Границей пути является формальная разность его конечных точек: это телескопическая сумма . Для иллюстрации: если 1-цепочка это путь из точки указывать , где , и являются его составляющими 1-симплексами, то
Пример 2: Граница треугольника представляет собой формальную сумму его ребер со знаками, расположенными так, чтобы обеспечить обход границы против часовой стрелки.
Цепь называется циклом, если ее граница равна нулю. Цепь, являющаяся границей другой цепи, называется границей . Границы – это циклы,поэтому цепи образуют цепной комплекс , группы гомологий которого (циклы по модулю границ) называются симплициальными группами гомологий .
Пример 3: Плоскость, проколотая в начале координат, имеет нетривиальную группу 1-гомологии, поскольку единичная окружность является циклом, а не границей.
В дифференциальной геометрии двойственность между граничным оператором на цепях и внешней производной выражается общей теоремой Стокса .
Ссылки [ править ]
- ^ Хэтчер, Аллен (2002). Алгебраическая топология . Издательство Кембриджского университета . ISBN 0-521-79540-0 .
- ^ Ли, Джон М. (2011). Введение в топологические многообразия (2-е изд.). Нью-Йорк: Спрингер. ISBN 978-1441979391 . OCLC 697506452 .
- ^ Качиньский, Томаш; Мишайков Константин; Мрозек, Мариан (2004). Вычислительная гомология . Прикладные математические науки. Том. 157. Нью-Йорк: Springer-Verlag. дои : 10.1007/b97315 . ISBN 0-387-40853-3 . МР 2028588 .