Симплициальный комплекс

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Трёхмерный симплициальный комплекс.

Симплициальный компле́кс[1]  — пространство склеенное из симплексов по определённому правилу.

Определения[править | править вики-текст]

Геометрический комплекс[править | править вики-текст]

Симплициальный комплекс — множество симплексов в Евклидовом пространстве, таких что:

  • с любым из симплексов в комплекс входят все его грани;
  • любые два симплекса либо вообще не имеют общей точки, либо они пересекаются только по целой грани какой-то размерности, причём только по одной грани;
  • у любой точки x комплекса есть окрестность U, такая, что если U пересекается с симплексом комплекса \Delta, то x\in\Delta.

Часто дополнительно требуют локальную конечность, то есть

  • любая точка комплекса имеет окрестность, пересекающуюся не более чем с конечным числом симплексов.

Абстрактный комплекс[править | править вики-текст]

Множество V выделенным набором его конечных подмножеств S, таких, что если X\in S и Y\subset X то Y\in S.

При этом элементы множества V называются вершинами комплекса, а элементы множества S называются его симплексами.

Связанные определения[править | править вики-текст]

  • n-мерным остовом комплекса называется подкомплекс образованный всеми его симплексами размерности не более n.
  • Размерность симплициального комплекса определёется как максимальная размерность его симплексов.

Пусть K есть симплициальный комплекс, и пусть S некоторый набор симплексов в K.

  • Замыкание S (обозначается \textrm{Cl} S) есть наименьший подкомплекс в 'K, содержащий каждый симплекс из 'S. Замыкание \bar S может быть получено путем добавления к 'S всех граней всех симплексов из S.
  • Звезда от S (обозначается \textrm{St} S) — объединение звёзд всех симплексов в S. Для одного симплекса S, звезда S — это набор симплексов, имеющих S как грань. (Звезда - S , как правило, не является симплициальным комплексом).
  • Линк S (обозначается \textrm{Lk} S) может быть определён как
    \textrm{Lk} S=\textrm{Cl}(\textrm{St} S)\backslash \textrm{St}(\textrm{Cl} S).
Это подкомплекс образованный всеми симплексами входящими в симплексы большей размености вместе с симплексом из S но не имеющие граней из S.

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

  1. См., например,