ГОМОЛОГИИ ПОЛИЭДРА это:

ГОМОЛОГИИ ПОЛИЭДРА

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

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


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


Цепь наз. циклом, если ее граница есть нулевая цепь: . Цикл наз. ограничивающим, если в Ксуществует такая -мерная цепь что . Ядро гомоморфизма , т. <е. группа всех r-мерных циклов, содержит образ при гомоморфизме , т. е. подгруппу всех ограничивающих r-мерных циклов. Факторгруппа группы по есть r-мерная группа гомологии комплекса K над группой Gкоэффициентов. Она принимается за r-мерную группу гомологии полиэдра Рнад G, так как доказывается, что все триангуляции полиэдра Римеют изоморфные r-мерные группы гомологии над G. Группа при произвольном G, в силу теоремы об универсальных коэффициентах, определяется целочисленными группами , где - группа целых чисел. В свою очередь если полиэдр конечный, целочисленная группа, к-рая является абелевой группой с конечным числом образующих, имеет полную систему числовых инвариантов - число Бетти и коэффициенты кручения, т. е. ранг и коэффициенты кручения группы.

Лит.:[1] Александров П. С., Комбинаторная топология, М.-Л., 1947; [2] Понтрягин Л. С., Основы комбинаторной топологии, 2 изд., М., 1976: [3] 3ейферт Г., Трельфалль В., Топология, пер. с нем., М.-Л., 1938; [4] Хилтон П.-Дж., Уайли С., Теория гомологии. Введение в алгебраическую топологию, пер. с англ:, М., 1966.

Г. С. Чогошвили.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ГОМОЛОГИИ ПОЛИЭДРА" в других словарях:

  • ГОМОЛОГИИ ТЕОРИЯ — топологических пространств часть алгебраич. топологии, осуществляющая связь между топологич. н алгебраич. понятиями: приводя в соответствие каждому пространству определенную последовательность групп, а непрерывному отображению пространств… …   Математическая энциклопедия

  • ГОМОЛОГИИ ГРУППА — топологического пространства группа, которая ставится в соответствие топологич. пространству с целью алгебраич. исследования его топологич. свойств; это соответствие должно удовлетворять определенным условиям, важнейшими из к рых являются… …   Математическая энциклопедия

  • СИНГУЛЯРНЫЕ ГОМОЛОГИИ — гомологии, определяемые исходя из сингулярных симплексов топология, пространства Xтаким же образом, как обычные (симплициальные) гомологии (и когомологии) полиэдра исходя из линейных симплексов. Под сингулярным симплексом sn понимается… …   Математическая энциклопедия

  • ВЬЕТОРИСА ГОМОЛОГИИ — одна из первых теорий гомологии, определенных в неполиэдральном случае. Впервые их рассмотрел Л. Брауэр (L. Brouwer, 1911) (в плоском случае), а затем Л. Вьеторис (L. Vietoris, 1927) распространил его определение на произвольные подмножества… …   Математическая энциклопедия

  • КОМПЛЕКС — частично упорядоченное рефлексивным, правильным и транзитивным отношением < множество К={t} каких либо элементов t, вместе с целочисленной функцией dim t, называемой размерностью элемента t,[t: t ], называемой коэффициентом инцидентности… …   Математическая энциклопедия

  • Когомологии — Гомология  одно из основных понятий алгебраической топологии. Замкнутая линия гомологична нулю, если она ограничивает кусок поверхности, который отделяется от неё, если мы произведём разрез по этой линии. Например, на сфере любая замкнутая линия… …   Википедия

  • Когомология — Гомология  одно из основных понятий алгебраической топологии. Замкнутая линия гомологична нулю, если она ограничивает кусок поверхности, который отделяется от неё, если мы произведём разрез по этой линии. Например, на сфере любая замкнутая линия… …   Википедия

  • Кольцо когомологий — Гомология  одно из основных понятий алгебраической топологии. Замкнутая линия гомологична нулю, если она ограничивает кусок поверхности, который отделяется от неё, если мы произведём разрез по этой линии. Например, на сфере любая замкнутая линия… …   Википедия

  • КЮННЕТА ФОРМУЛА — формула, выражающая гомологии (или когомологии) тензорного произведения комплексов или прямого произведения пространств через гомологии (когомологии) сомножителей. Пусть ассоциативное кольцо с единицей, Аи С цепные комплексы соответственно правых …   Математическая энциклопедия

  • ДВОЙСТВЕННОСТЬ — 1) Д. в алгебраической геометрии двойственность между различными пространствами когомологий на алгебраич. многообразиях. Когомологий когерентных пучков. Пусть X неособое проективное алгебраич. многообразие размерности nнад алгебраически замкнутым …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»