WikiDer > Цепь (алгебраическая топология)

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

Интеграция в цепочки

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

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

Граница ломаная кривая является линейной комбинацией его узлов; в этом случае некоторая линейная комбинация A₁ через А₆. Предполагая, что все сегменты ориентированы слева направо (в порядке возрастания от A_k к А_k+1) граница есть A₆ - А₁.

Замкнутая многоугольная кривая, предполагающая последовательную ориентацию, имеет нулевую границу.

Граница цепочки - это линейная комбинация границ симплексов в цепи. Граница k-цепь - это (k−1) -цепочка. Обратите внимание, что граница симплекса - это не симплекс, а цепь с коэффициентами 1 или −1 - таким образом, цепи являются замыканием симплексов под действием граничного оператора.

Пример 1: Граница дорожка формальное различие его конечных точек: это телескопическая сумма. Для иллюстрации, если 1-цепочка ${ Displaystyle c = t_ {1} + t_ {2} + t_ {3} ,}$ это путь от точки ${ displaystyle v_ {1} ,}$ В точку ${ displaystyle v_ {4} ,}$, куда ${ displaystyle t_ {1} = [v_ {1}, v_ {2}] ,}$,${ Displaystyle t_ {2} = [v_ {2}, v_ {3}] ,}$ и${ Displaystyle t_ {3} = [v_ {3}, v_ {4}] ,}$ - составляющие его 1-симплексы, то

${ displaystyle { begin {align} partial _ {1} c & = partial _ {1} (t_ {1} + t_ {2} + t_ {3}) & = partial _ {1} ( t_ {1}) + partial _ {1} (t_ {2}) + partial _ {1} (t_ {3}) & = partial _ {1} ([v_ {1}, v_ { 2}]) + partial _ {1} ([v_ {2}, v_ {3}]) + partial _ {1} ([v_ {3}, v_ {4}]) & = ([ v_ {2}] - [v_ {1}]) + ([v_ {3}] - [v_ {2}]) + ([v_ {4}] - [v_ {3}]) & = [ v_ {4}] - [v_ {1}]. end {выравнивается}}}$

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

Цепь называется цикл когда его граница равна нулю. Цепь, которая является границей другой цепи, называется граница. Границы - это циклы, поэтому цепи образуют цепной комплексгруппы гомологий (циклы по модулю границ) называются симплициальными гомология группы.

Пример 3: 0-цикл - это линейная комбинация точек, такая что сумма всех коэффициентов равна 0. Таким образом, группа 0-гомологий измеряет количество компонент линейной связности пространства.

Пример 4: Плоскость, проколотая в начале координат, имеет нетривиальную группу 1-гомологий, поскольку единичная окружность является циклом, но не границей.

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

Рекомендации