Гомологическое многообразие

В математике гомологическое многообразие (или обобщенное многообразие ) — это локально компактное топологическое пространство X , которое локально выглядит как топологическое многообразие с точки зрения теории гомологии .

Определение

Гомологическое G -многообразие (без границы) размерности n над абелевой группой G коэффициентов — это локально компактное топологическое пространство X с конечной G -когомологической размерностью, такое что для любого xX группы гомологии

ЧАС п ( Х , Х х , Г ) {\displaystyle H_{p}(X,Xx,G)}

являются тривиальными, если только p = n , в этом случае они изоморфны G . Здесь H — некоторая теория гомологии, обычно сингулярная гомология. Гомологические многообразия — это то же самое, что и гомологические Z -многообразия.

В более общем смысле можно определить гомологические многообразия с границей, позволяя локальным гомологическим группам исчезать в некоторых точках, которые, конечно, называются границей гомологического многообразия. Граница n -мерного гомологического многообразия с первой счетностью является n −1 -мерным гомологическим многообразием (без границы).

Примеры

  • Любое топологическое многообразие является гомологическим многообразием.
  • Примером гомологического многообразия, которое не является многообразием, является подвеска гомологической сферы , которая не является сферой.

Характеристики

  • Если X × Y — топологическое многообразие, то X и Y — гомологичные многообразия.

Ссылки

Взято с "https://en.wikipedia.org/w/index.php?title=Гомологическое_многообразие&oldid=1186467330"