Cтраница 2
Пусть Р - компактный подполиэдр полиэдра Q и пусть пара геометрических симплициальных комплексов ( L, К) триангулирует пару ( Q, Р) так, что К - полный подкомплекс. Это означает, что каждый симплекс комплекса L, вершины к-рого лежат в К, лежит в К, и этого всегда можно добиться с помощью перехода к производному подразделению. Полиэдр N, состоящий из всех замкнутых симплексов производного подразделения L, имеющих вершину в К, а также его образ при любом неподвижном на Р pZ - гомео-морфизме Q на себя, наз. Полиэдр Р, полиэдрально стягивается на свой подполиэдр Р ( обозначение ( Р1 Р)), если от Р1 к Р можно перейти конечной последовательностью элементарных полиэдральных стягиваний. [16]