Псевдомногообразие

Псевдомногообразие в топологии — комбинаторная реализация общей идеи многообразия с особенностями, образующими множество коразмерности два.

Определение

Для заданной размерности $n$ псевдомногообразие определяется как конечное симплициальное разбиение со следующими свойствами:

• неразветвлённость: каждый $(n-1)$-мерный симплекс является гранью ровно двух $n$-мерных симплексов;
• сильная связность: любые два $n$-мерных симплекса можно соединить «цепочкой» $n$-мерных симплексов, в которой каждые два соседние симплекса имеют общую $(n-1)$-мерную грань;
• размерностная однородность: каждый симплекс является гранью некоторого $n$-мерного симплекса.

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

Замечания

• Псевдомногообразие называется нормальным, если линк каждого его симплекса коразмерности $⩾2$ является псевдомногообразием.

• Если некоторая триангуляция топологического пространства является псевдомногообразием, то и любая его триангуляция является псевдомногообразием, поэтому можно говорить о свойстве топологического пространства быть (или не быть) псевдомногообразием

• Для псевдомногообразия имеют смысл понятия ориентируемости, ориентации и степени отображения.

Примеры

• триангулируемые связные компактные гомологические многообразия над $ℝ$;
• комплексные алгебраические многообразия (даже с особенностями);
• Шаблон:Iw векторных расслоений над триангулируемыми компактными многообразиями.

Литература

• Шаблон:Книга
• Шаблон:Книга