Чеха когомологии

, когомологии Александрова - Чеха, спектральные когомологии,- прямой предел [img: http://localhost:8080/file/052505-9.jpg] когомологии с коэффициентами в абелевой группе Gнервов всевозможных открытых покрытий [img: http://localhost:8080/file/052505-10.jpg] топологич. пространства X. Когомологни замкнутого подмножества [img: http://localhost:8080/file/052505-11.jpg] могут быть определены аналогичным образом с помощью подсистем [img: http://localhost:8080/file/052505-12.jpg] всех тех множеств из [img: http://localhost:8080/file/052505-13.jpg] к-рые имеют непустое пересечение с А. Предел групп пар [img: http://localhost:8080/file/052505-14.jpg] определяет когомологии Н n(X, A; G)пары (X, А). Когомологич. последовательность [img: http://localhost:8080/file/052505-15.jpg] пары (X, А)точна как предел точных когомологич. последовательностей пар нервов [img: http://localhost:8080/file/052505-16.jpg] Когомологии Александрова - Чеха служат заменой сингулярных когомологии в общих категориях топологич. пространств и совпадают с ними всякий раз, когда применение последних не вызывает сомнений (а именно, в случае гомологически локально связных, в частности, локально стягиваемых пространств). Они удовлетворяют всем Стинрода - Эйленберга аксиомам и в категории паракомпактных пространств однозначно определяются этими аксиомами вместе со следующими требованиями: а) Н р = 0 при р< 0; б) когомологии дискретного объединения [img: http://localhost:8080/file/052505-17.jpg] естественно изоморфны прямому произведению когомологий пространств [img: http://localhost:8080/file/052505-18.jpg] в) [img: http://localhost:8080/file/052505-19.jpg] для системы всех окрестностей [img: http://localhost:8080/file/052505-20.jpg] произвольной точки [img: http://localhost:8080/file/052505-21.jpg] Когомологии Александрова-Чеха изоморфны когомологиям Александера -Спеньера. Они могут быть определены с коэффициентами в пучке и для паракомпактных пространств изоморфны когомологиям, определяемым в теории пучков. Возможность аппроксимации пространств полиэдрами - нервами замкнутых покрытий установлена П. С. Александровым (см. [1] -[3]). Для частного случая им было дано определение обратного предела топологич. пространств, а на основе аппроксимации - определение чисел Бетти метризуемых компактов. Группы гомологии компактов определились в терминах циклов Вьеториса. Л. С. Понтрягин [4] ввел прямые и обратные спектры групп, и эти понятия были применены им к изучению групп гомологии компактов. Э. Чех (Е. Cech) стал рассматривать нервы конечных открытых покрытий некомпактных пространств и на этой основе положил начало гомологич. теории произвольных топологич. пространств. Позже выяснилось, что рассмотрение исключительно конечных покрытий не оправдано (так как приводит к довольно сложным гомологиям компактификации Стоуна-Чеха). Плодотворность использования произвольных открытых покрытий в теории гомологии и когомологии некомпактных пространств продемонстрировал X. Даукер [5].