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

Шаблон:Значения Компле́кс (от Шаблон:Lang-la — связь, сочетание) — одно из основных понятий комбинаторной топологии.

Комплексом называется частично упорядоченное правильным, рефлексивным и транзитивным отношением «$<$» множество $K$ каких-либо элементов $t$, вместе с некими функциями $\dim t$ и $[t:t^{\prime }]$.

Целочисленная функция $\dim t$ называется размерностью элемента $t$, функция $[t:t^{\prime }]$ — коэффициентом инцидентности элементов $t$ и $t^{\prime }$. Эти функции должны удовлетворять следующим условиям:

1. из $t^{\prime }<t$ следует, что $\dim t^{\prime }<\dim t$;
2. $[t:t^{\prime }]=[t^{\prime }:t]$;
3. из $[t:t^{\prime }]\ne 0$ следует, что либо $t^{\prime }<t$, либо $t<t^{\prime }$, и $|\dim t-\dim t^{\prime }|=1$;
4. для любой пары элементов $t$, $t^{\prime }$ из $K$, для которых $|\dim t-\dim t^{\prime }|=2$, в $K$ найдётся не более, чем конечное число таких элементов $t^{″}$, что

$[t:t^{″}][t^{″}:t^{\prime }]\ne 0$ и $\sum _{t^{″}}[t:t^{″}][t^{″}:t^{\prime }]=0$.

Связанные определения

При замене $[t:t^{\prime }]$ на $a(t)a(t^{\prime })[t:t^{\prime }]$, где $a(t)$ — функция со значениями ±1, получается комплекс, отождествляемый с $K$. Таким образом, коэффициенты инциденции $[t:t^{\prime }]$ задаются с точностью до множителя $a(t)a(t^{\prime })$. Переход от одного значения к другому называется переменой ориентации комплекса $K$.

Комплекс $K$ называется конечномерным ($n$-мерным), если существует такое $n$, равное максимальной размерности симплексов из $K$; в противном случае, он называется бесконечномерным. Комплекс $K$ называется конечным, если множество его элементов конечно.

Звездой элемента $t$ комплекса $K$ называется множество всех таких элементов $t^{\prime }$ из $K$, для которых выполняется условие $t^{\prime }>t$.

Замыканием элемента $t$ из $K$ называется множество всех таких элементов $t^{\prime }$ из $K$, что $t^{\prime }<t$.

Границей элемента $t$ из $K$ называется множество всех таких элементов $t^{\prime }$ из $K$, что одновременно $t^{\prime }<t$ и $t^{\prime }\ne t$.

Элемент $t^{\prime }$ называется гранью элемента $t$ из $K$, если $t^{\prime }<t$. При $t^{\prime }\ne t$ грань $t^{\prime }$ элемента $t$ называется истинной гранью.

Элементы $t$ и $t^{\prime }$ из $K$ называются инцидентными, если $t^{\prime }<t$ или $t<t^{\prime }$.

Подкомплексом комплекса $K$ называется любое подмножество множества $K$, являющееся комплексом при тех же размерностях и коэффициентах инцидентности, что и комплекс $K$.

Подкомплекс называется замкнутым, если он содержит замыкание каждого своего элемента, и открытым, если он содержит звезду каждого своего элемента. Дополнение замкнутого комплекса есть открытый комплекс, и наоборот. Звезда каждого элемента любого комплекса является открытым подкомплексом, а замыкание и граница — замкнутыми подкомплексами.

$r$-мерным остовом $K^r$ комплекса $K$ называется множество всех таких элементов $t$ из $K$, что $\dim t⩽r$. Остов является замкнутым подкомплексом.

Комплексы $K=t$ и $L$ называется изоморфными, если существует такое взаимно однозначное отображение $f$ множества $K$ на множество $L$, что $\dim f(t)=\dim t$ и $[t:t^{\prime }]=[f(t):f(t^{\prime })]$:

$f:K\leftrightarrow L:\dim f(t)=\dim t\wedge [t:t^{\prime }]=[f(t):f(t^{\prime })].$

Важнейшим типом комплекса является симплициальный комплекс.

Симплициальный комплекс имеет две разновидности:

• абстрактный комплекс;
• геометрический комплекс.