|
"
0
C
F
G
H
K
L
N
P
S
T
W
Z
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Э
Ю
Я
КОМПЛЕКСЗначение КОМПЛЕКС в математической энциклопедии: - одно из основных, понятий гомологической алгебры. Пусть А- абелева категория. Градуированным объектом наз. последовательность
это морфизм а: Наиболее часто рассматриваются К. в категориях абелевых групп, модулей, пучков абелевых групп на топологич. пространстве. Так, К. абелевых групп есть градуированная дифференциальная группа, дифференциал в к-рой имеет степень - 1 или +1. С каждым цепным К. Ксвязаны три градуированные объекта:
Для коцепного К. аналогичные объекты наз. кограницами, коциклами и когомологиями. Если Н(К)=0, то говорят, что К. К- ацикличен. Морфизм а: и, следовательно, морфизм гомологии или когомологии
Два морфизма а, b:
(откуда следует, что Н(а)=Н(b)). Комплекс Кназ. стягиваемым, если Если
для цепного К. и последовательность
для коцепного К.) является точной. Конус морфизма цепных комплексов а:
Разложение К. МК (а)в прямую сумму приводит к точной последовательности К.
для к-рой ассоциированная длинная гомологич. последовательность изоморфна последовательности
Следовательно, цепной К. МК (а)ацикличен тогда и только тогда, когда Н(а)- изоморфизм. Аналогичные понятия и факты имеют место для коцепных К. Лит.:[1] Басс X., Алгебраическая К-теория, пер. с англ., М., 1973. А. В. Михалев. |
|
|
|
объектов К n из А. Последовательность а=( а п). морфизмов а n:
нез. морфизмом а:
градуированых объектов. Полагая K(h)n= Kn+h, можно определить объект К(h). Морфизм градуированных объектов 
наз. морфизмом степени hиз К' в К. Градуированный объект наз. положительным, если К n=0 для n<0, ограниченным снизу, если К(К)положителен для нок-рого h, и конечным, если К п=0 для всех, кроме конечного множества, чисел п. Цепной комплекс в категории Асостоит из градуированного объекта Ки морфизма d:
степени - 1 такого, что сР = О. Подробнее: d=(dn), где dn:
и dn-1dn=O для любого п. Морфизм цепных комплексов
градуированных объектов такой, что ad' = da. Двойственным образом (как градуированный объект с морфизмом dстепени +1) определяется коцепной комплекс.
- границы; 
-циклы;
- n-мерные гомологии (см. Гомологии комплекса).
. комплексов индуцирует морфизмы
наз. гомотопными (что обозначается 
), если существует такой морфизм s : К'->К(1)(или s : 
для коцепных К.) градуированных объектов (называемый гомотопией), что
(в этом случае К. Кацикличен).
- точная последовательность К., то существует связывающий морфизм д:
. степени -1 (+1), естественный относительно морфизмов точных последовательностей и такой, что ассоциированная с ним длинная гомологическая последовательность (т. е. последовательность 
есть К. МС (а), определенный следующим образом:
