Математическая энциклопедия - кусочно линейная топология

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

Имея в виду финитизацию изучения полиэдров, рассматриваются следующие четыре категории В t объектами служат t-полиэдры, а морфизмами непрерывные отображения. В объекты полиэдры, а морфизмы кусочно линейные отображения (pl-oтображения), т. е. отображения, линейно переводящие выпуклые многогранники нек-рого покрытия прообраза в многогранники нек-рого покрытия образа. Объектами в являются симплициальные комплексы, т. е. полиэдры с фиксированным правильным его покрытием симплексами таким покрытием, что два симплекса могут пересекаться только по общей грани; морфизмы в с и м п л и ц и а л ь н ы е отображения, т. е. pl -отображения, линейно переводящие каждый симплекс прообраза на нек-рый симплекс образа. Наконец, состоит из абстрактных комплексов (а-комплексов) и их симплициальных отображений, a-к о м п л е к с в есть не более чем счетное множество с выделенной системой его конечных подмножеств ограниченной мощности, к-рые наз. его симплексами, удовлетворяющей условиям: 1) с каждым симплексом s выделяются и все содержащиеся в нем подмножества грани s; 2) каждый симплекс служит гранью не более чем конечного числа других симплексов. Отображение множеств, на к-рых определено строение а-комплекса, наз. симплипиальным, если оно переводит симплексы прообраза в симплексы образа. Размерностью симплекса в а-комплексе наз. уменьшенное на единицу число его элементов. Каждый элемент множества является гранью комплекса Аи наз. его в е р ш и н о й. Удобно считать, что каждый a-комплекс содержит пустой симплекс, обозначаемый 1.

Имеются функторы забывания

Именно, полиэдр определяет топологич. пространство, а pl -отображение непрерывно; это задает t, t(p).наз. пространством полиэдра Р. Каждый комплекс определяет полиэдр, а симшшциальное отображение комплексов есть pl -отображение; это задает р, р (К).наз. телом комплекса и обозначается |K|. Наконец, множество вершин комплекса Кимеет выделенные подмножества множества вершин симплексов К, что определяет а-комплекс, причем симплициальное отображение комплексов определяет симплицнальное отображение соответствующих а-комплексов; это задает а, а (К). наз. схемой комплекса К. Построенные функторы не имеют естественных обращений. Они, однако, становятся эквивалентностями, если перейти к факторкатегориям. Естественные изоморфизмы наз. соответственно гомеоморфизмом в t, pl-т о м е о м о р ф и з м о м в с и м п л и ц и а л ь н ы м и з о м о р ф и з м о м в ив Каждому а-комплексу следующим образом можно поставить в соответствие его р е а л и з а ц и и. В топологич. векторном пространстве Rвыбирается множество точек bi во взаимно однозначном соответствии с вершинами а-комплекса А, к-рые находятся в общем положении в R(для этого достаточно, напр., чтобы размерность Rбыла больше удвоенной размерности А), причем в ограниченной части пространства может лежать только конечное число точек. Если на каждое множество точек bi, отвечающих одному симплексу в А, натянуть симплекс в R, то объединение этих симплексов дает комплекс, схемой к-рого служит А;он и наз. реализацией а-комплекса. Все реализации одного и того же а-комплекса изоморфны, так что функтор а устанавливает взаимно однозначное соответствие между классами изоморфных комплексов в Ки в Любой полиэдр Рявляется телом нек-рого комплекса К, и в этом случае Кназ. прямолинейной триангуляцией Р, или просто триангуляцией, схема Кназ. абстрактной триангуляцией Р. Для pl -отображения существуют триангуляции Кдля Ри Lдля Q, так что f симп-лициально отображает Кв L. Различные триангуляции полиэдра не обязательно изоморфны, вследствие чего вводится более грубое отношение эквивалентности в Подразделением комплекса К 1 наз. комплекс K2 такой, что и каждый симплекс K2 лежит в нек-ром симплексе K1. Комплекс Ккомбинаторно эквивалентен К', если Ки К' имеют изоморфные подразделения. Комплексы Ки К' комбинаторно эквивалентны тогда и только тогда, когда |K| pl -гомеоморфно |K'|. Иначе говоря, функтор р устанавливает естественное соответствие между классами комбинаторно эквивалентных комплексов и pl- гомеоморфных полиэдров. Функтор tэпиморфен (по определению). Полиэдр Рназ. прямолинейной реализацией t-полиэдра t(P). Предположение о том, что любые две реализации t-полиэдра pl -гомеоморфны между собой, известное как основная гипотеза комбинаторной топологии (Hauptvermutung), оказалось неверным [3]. В связи с этим говорят о pl -строениях на t-полиэдрах: pl-c т р о е н и е задается гомеоморфизмом t-полиэдра на полиэдр, причем два гомеоморфизма определяют одну и ту же структуру, если является pl -гомеоморфизмом; определяют эквивалентные (но не обязательно совпадающие) структуры, если Р 1 и Р 2 pl -гомеоморфны. t-полиэдр с фиксированной pl -структурой также наз. полиэдром. Наконец, отношение комбинаторной эквивалентности в Кприводит с помощью функтора ак новому отношению эквивалентности в Для выражения этого отношения внутренними средствами в удобна операция звездного подразделения, определяемая следующим образом. Д ж о й н о м (или соединением) двух симплексов вершины к-рых находятся в общем положении в векторном пространстве R, наз. их выпуклая оболочка; ото симплекс размерности обозначаемый Джойн о с пустым симплексом 1 совпадает с s. Джойном двух комплексов K1 и K2 расположенных в топологич. векторном пространстве Rтак, что каждый симплекс K1 находится в общем положении с каждым симплексом К 2, наз. комплекс, составленный из попарных джойнов симплекса из K1 и симплекса из К 2 (считается, что 1 лежит и в K1 и в K2). Звездой с и м п л е к с а а в комплексе К наз. подкомплекс состоящий из всех замкнутых симплексов, имеющих s своей гранью. Звезда может быть представлена как джойн s и нек-рого комплекса наз. л п н к о м (или поясом) s в K н составленного из тех симплексов звезды, к-рые не пересекают s. Пусть х - произвольная точка внутри s. Заменой в Ксимплексов звезды симплексами вида где симплекс из одна из гранен s, при сохранении остальных симплексов получается подразделение К, к-рое и наз. звездным подразделением Кс центром в s и обозначается sK. Два комплекса комбинаторно эквивалентны тогда н только тогда, когда они имеют изоморфные подразделения, получаемые последовательностями звездных подразделений (теорема Александера, [4]).