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

топологическое пространство | А|, точками к-рого служат неотрицательные функции , определенные на конечном множестве Аи удовлетворяющие условию . Топология в | А| полагается индуцированной из пространства всех функций из Ав . Действительное число j(а) наз. а-й барицентрической координатой точки j, размерностью симплекса | А| наз. число car dA-1. В случае, когда Аявляется линейно независимым подмножеством евклидова пространства, симплекс | А| гомеоморфен выпуклой оболочке множества А(гомеоморфизм задается соответствием ). В связи с этим выпуклая оболочка линейно независимого подмножества евклидова пространства наз. евклидовым С.

Для любого отображения конечных множеств формула , определяет непрерывное отображение , являющееся для евклидовых С. аффинным (неоднородным линейным) отображением, продолжающим отображение f. Этим задается функтор из категории конечных множеств в категорию топологич. пространств. Если и соответствующее вложение, то |i| гомеоморфизм на замкнутое подмножество, наз. гранью симплекса | А| и обычно отождествляемое с |В|. Нульмерные грани наз. вершинами (как правило, вершины отождествляются с элементами множества А).

Топологическим упорядоченным С. наз. топологич. пространство X, для к-рого задан гомеоморфизм , где Dⁿ стандартный симплекс. Образ граней Dⁿ при гомеоморфизме hназ. гранью топологического упорядоченного симплекса X. Отображение топологических упорядоченных симплексов Xи Yназ. линейным, если оно имеет вид , где kи h - заданные гомеоморфизмы, F - произвольное отображение вида |f|.

Топологическим С. (размерности n) наз. топологич. пространство X, наделенное (n+1)! гомеоморфизмами (то есть (n+1)! структурами топологического упорядоченного С.), отличающимися на гомеоморфизмы вида |f|, где f произвольная перестановка вершин. Аналогично, отображение топологического С. наз. линейным, если оно является линейным отображением соответствующих топологических упорядоченных С.

С. наз. также элементы симплициальных множеств и отмеченные подмножества симплициальных схем.

А. В. Хохлов.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985