Полиэдральный комплекс
Полиэдра́льный ко́мплекс, конечное множество замкнутых выпуклых многогранников в некотором , которое вместе с каждым многогранником содержит все его грани, и такое, что пересечение различных многогранников либо пусто, либо является гранью каждого из них. Примером полиэдрального комплекса может служить совокупность всех вершин, рёбер и двумерных граней стандартного трёхмерного куба. Рассматриваются также комплексы, состоящие из бесконечного, но локально конечного семейства многогранников. Понятие полиэдрального комплекса обобщает понятие геометрического симплициального комплекса. Тело полиэдрального комплекса представляет собой объединение всех входящих в него многогранников и является полиэдром. Число многогранников в , как правило, меньше числа симплексов в триангуляции. Полиэдральный комплекс называется подразделением комплекса , если их тела совпадают и каждый многогранник из содержится в некотором многограннике из . Звёздное подразделение комплекса с центром в точке получается с помощью разбиения замкнутых многогранников, содержащих , на конусы с вершиной над теми их гранями, которые не содержат . Любой полиэдральный комплекс имеет подразделение , являющееся геометрическим симплициальньм комплексом. Такое подразделение можно получить без добавления новых вершин. Достаточно, например, последовательно произвести звёздные подразделения с центрами во всех вершинах .