Подразделение

геометрического с и м-плициального комплекса К - такой геометрический симплициальный комплекс К г, что тело KI совпадает с телом К и каждый симплекс К г содержится в нек-ром симплексе К. Практически переход к П. Производится с помощью разбиения симплексов комплекса Кна более мелкие симплексы так, чтобы разбиение каждого симплекса было согласовано с разбиением его граней. В частности, каждая вершина Кявляется вершиной К^. Переход к П. Обычно используется для доказательства инвариантности комбинаторно определяемых характеристик полиэдров (напр., эйлеровой характеристики, гомологии групп), а также для получения триангуляции с нужными свойствами (напр., достаточно мелких триангуляции). Звездное П.

Комплекса К с центром в точке получается следующим образом. Замкнутые симплексы К,. Не содержащие точку а, остаются без изменения. Каждый замкнутый симплекс а, содержащий точку а, разбивается на конусы с вершиной в точке анад теми гранями о, к-рые не содержат а. Для любых двух триангуляции 7, T^ одного и того же полиэдра Рсуществует триангуляция Т 3 полиэдра Р, получающаяся как из Т 1. Так и из Т 2 последовательностью звездных П. Понятие звездного П. Допускает формализацию на языке абстрактных симплициальных комплексов (сим-плициальных схем). Любое звездное П. Замкнутого подкомплекса продолжается до звездного П. Всего . Комплекса. П р о и з во дное подразделение К' комплекса Кполучается в результате последовательных звездных П.

С центрами во всех открытых симплексах Кв порядке убывания их размерностей. Для произвольного замкнутого подкомплекса Ккомплекса Lподкомплекс - полный в следующем смысле. Из того, что все вершины нек-рого симплекса лежат в К', следует, что . Если в качестве центров производного П. Выбрать барицентры симплексов, то получится барицентрическое П. Если диаметр каждого симплекса n-мерного комплекса Кне превосходит числа d, то диаметры симплексов его барицентрического П. Ограничены числом . Диаметры симплексов m-кратного барицентрического П. Комплекса Кограничены числом , т. Е. Могут быть сделаны сколь угодно малыми путем выбора достаточно большого т. Лит.:[1] Александров П. С., Комбинаторная топология, М.- Л., 1947.

[2] Хилтон П. - Д ж., Уайли С., Теория гомологии. Введение в алгебраическую топологию, пер. С англ., М., 1966. С. В. Матвеев.