Комплекс (матем.)

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

  Симплициальный К. есть конечное множество симплексов, расположенных в некотором евклидовом (или гильбертовом) пространстве и обладающих следующим свойством: два симплекса этого множества или не имеют ни одной общей точки, или совокупность всех их общих точек есть общая грань обоих симплексов. Если в К. имеется g-мерный симплекс и нет симплексов большего числа измерений, то К. называется g-мерным. Это простейшее понятие подверглось многим обобщениям, идущим в разных направлениях: наряду с только что определенными конечными К. можно определить счетные К.; далее можно от симплициальных К. перейти к аналогично определяемым клеточным К., элементы которых суть уже непременно симплексы, а любые выпуклые многогранники или даже любые фигуры им гомеоморфные; в последнем случае говорят о «криволинейных» К. Обычно рассматривают лишь К., удовлетворяющие следующему условию замкнутости: всякая грань симплекса, входящего в данный К., также входит в этот К. Множество, которое может быть представлено как (теоретико-множественная) сумма симплексов, образующих n-мepный К., называется n-мepным полиэдром.

  Лит.: Александров П. С., Комбинаторная топология, М.,— Л., 1947; Понтрягин Л. С., Основы комбинаторной топологии, М. — Л., 1947.