Математическая энциклопедия - гомологии полиэдра

гомологии теория топологич. пространства, являющегося полиэдром. Г. п. возникли в трудах А. Пуанкаре (Н. Poincare, 1895) при изучении многообразий в евклидовых пространствах. Он рассматривал r-мерные замкнутые подмногообразия данного многообразия, наз. r-мерными циклами. Если в многообразии существует ограниченное (r+1)-мерное подмногообразие, границей к-рого является данный r-мерный цикл, то этот цикл наз. гомологичным нулю в данном многообразии. Напр., окружность, концентрическая с ограничивающими кольцо окружностями, не гомологична нулю, в то время как окружность, являющаяся границей круга, содержащегося в кольце, гомологична нулю в этом кольце. Аналитическое вначале задание многообразия было заменено А. Пуанкаре представлением его, разложенным на симплексы, приложенные друг к другу по граням так, чтобы они образовывали комплекс. Такой метод исследования гомологии приложим к любым пространствам, триангулируемым в виде симпли-цнального комплекса, то есть к прямолинейным полиэдрам и их гомеоморфным образам криволинейным полиэдрам. Геометрич. смысл циклов и их гомологии при этом сохраняются. Так, 1-мерным циклом будет замкнутая ломаная, звеньями к-рой являются 1-мерные симплексы. Он гомологичен нулю, если служит границей 2-мерного подкомплекса данного комплекса. Два цикла одной и топ же размерности гомологичны один другому, если вместе они ограничивают подкомплекс данного комплекса. Это есть отношение эквивалентности, что вызывает разбиение множества циклов одной и топ же размерности данного комплекса на классы. Во множестве классов вводится алгебраическая структура, если за сумму двух классов принять класс, содержащий сумму циклов, произвольно выбранных из складываемых классов. Введение направления обхода, т. е. рассмотрение ориентированных симплексов приводит к понятию обратного класса. Строгое изложение этих наглядных представлений позволяет определить понятие группы Г. п.

Пусть имеется триангуляция Кполиэдра Ри абелева группа G.r-м ерной цепью комплекса Кнад группой G коэффициентов наз. произвольная функция , ставящая в соответствие каждому ориентированному r-мерному симплексу из Копределенный элемент из G, и отличная от нуля лишь для конечного числа симплексов, причем . Складывая r-мерные цепи как линейные формы, получаем абелеву группу группу всех r-мерных цепей комплекса Кнад группой Gкоэффициентов. Исходя из понятия границы симплекса и определяя по аддитивности границу цепи, приходим к гомоморфизму

со свойством и цепному комплексу

Цепь наз. циклом, если ее граница есть нулевая цепь: . Цикл наз. ограничивающим, если в Ксуществует такая -мерная цепь что . Ядро гомоморфизма , т.