Когомологии Чеха
Когомоло́гии Че́ха (когомологии Александрова – Чеха, спектральные когомологии), прямой пределкогомологий с коэффициентами в абелевой группе нервов всевозможных открытых покрытий топологического пространства . Когомологии замкнутого подмножества могут быть определены аналогичным образом с помощью подсистем всех тех множеств из , которые имеют непустое пересечение с . Предел групп пар определяет когомологии пары . Когомологическая последовательностьпары точна как предел точных когомологических последовательностей пар нервов .
Когомологии Александрова – Чеха служат заменой сингулярных когомологий в общих категориях топологических пространств и совпадают с ними всякий раз, когда применение последних не вызывает сомнений (а именно в случае гомологически локально связных, в частности, локально стягиваемых пространств). Они удовлетворяют всем аксиомам Стинрода – Эйленберга и в категории паракомпактных пространств однозначно определяются этими аксиомами вместе со следующими требованиями: а) при ; б) когомологии дискретного объединения естественно изоморфны прямому произведению когомологий пространств ; в) для системы всех окрестностей произвольной точки . Когомологии Александрова – Чеха изоморфны когомологиям Александера – Спеньера. Они могут быть определены с коэффициентами в пучке и для паракомпактных пространств изоморфны когомологиям, определяемым в теории пучков.
Возможность аппроксимации пространств полиэдрами – нервами замкнутых покрытий установлена П. С. Александровым (Александров. 1927; Александров. 1927; Александров. 1928). Для частного случая им было дано определение обратного предела топологических пространств, а на основе аппроксимации – определение чисел Бетти метризуемых компактов. Группы гомологий компактов определялись в терминах циклов Вьеториса. Л. С. Понтрягин (Понтрягин. 1931) ввёл прямые и обратные спектры групп, и эти понятия были применены им к изучению групп гомологий компактов. Э. Чех (Е. Čech) стал рассматривать нервы конечных открытых покрытий некомпактных пространств и на этой основе положил начало гомологической теории произвольных топологических пространств. Позже выяснилось, что рассмотрение исключительно конечных покрытий не оправдано (так как приводит к довольно сложным гомологиям компактификации Стоуна – Чеха). Плодотворность использования произвольных открытых покрытий в теории гомологий и когомологий некомпактных пространств продемонстрировал X. Даукер (Dowker. 1947).