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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

Определение[править | править вики-текст]

Криволинейным симплексом называется дважды непрерывно дифференцируемое невырожденное отображение симплекса в евклидовом пространстве в топологическое пространство .

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

Число называется кратностью симплекса . Сумма цепей определяется как сумма элементов модуля.

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

Связанные определения[править | править вики-текст]

  • Цикл — это цепь, граница которой равна нулю.

Литература[править | править вики-текст]

  • Арнольд В. И. Математические методы классической механики. — 5-е изд., стереотипное. — М.: Едиториал УРСС, 2003. — 416 с. — 1500 экз. — ISBN 5-354-00341-5.