Симплициальный комплекс: вершины, грани и гомологии

Симплициальный комплекс - это способ собрать топологическое пространство из простых строительных блоков: точек, отрезков, треугольников, тетраэдров и их многомерных аналогов. Такая комбинаторная сборка позволяет посчитать инварианты пространства - эйлерову характеристику и группы гомологий - на чистой линейной алгебре. На этом построена половина современной алгебраической топологии и весь современный TDA.

Симплекс размерности n

$n$-мерный геометрический симплекс - это выпуклая оболочка $n + 1$ точки в общем положении в $\mathbb{R}^N$. «Общее положение» означает, что точки $v_0, v_1, \ldots, v_n$ аффинно независимы: векторы $v_1 - v_0, \ldots, v_n - v_0$ линейно независимы. Тогда симплекс $\sigma = [v_0, v_1, \ldots, v_n]$ имеет ровно ту размерность $n$, на которую мы рассчитываем.

Низкоразмерные случаи знакомы: $0$-симплекс - это точка, $1$-симплекс - отрезок, $2$-симплекс - треугольник, $3$-симплекс - тетраэдр. У $n$-симплекса ровно $\binom{n+1}{k+1}$ граней размерности $k$ - это просто выбор $k + 1$ вершины из $n + 1$. У тетраэдра, например, $4$ вершины, $6$ рёбер, $4$ треугольных грани и $1$ полный $3$-симплекс.

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

Симплициальный комплекс $K$ - это множество симплексов, удовлетворяющее двум аксиомам. Во-первых, если $\sigma \in K$ и $\tau$ - грань $\sigma$, то $\tau \in K$: комплекс замкнут относительно взятия граней. Во-вторых, пересечение любых двух симплексов из $K$ либо пусто, либо является общей гранью обоих: симплексы стыкуются «по граням», а не торчат друг через друга.

Подмножество $|K| \subset \mathbb{R}^N$ - объединение всех симплексов комплекса - называется его геометрической реализацией. Это и есть то топологическое пространство, инварианты которого мы изучаем. Размерность комплекса - максимум размерностей его симплексов.

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

Различают абстрактный и геометрический симплициальный комплекс. Абстрактный комплекс - это просто конечное множество $V$ (вершины) и набор $K$ подмножеств $V$, замкнутый относительно взятия подмножеств. Никакой геометрии: симплекс - это подмножество вершин, и всё.

Геометрический комплекс - это абстрактный, реализованный в $\mathbb{R}^N$ как фактическое объединение симплексов. Каждый абстрактный комплекс с $n + 1$ вершинами реализуется в $\mathbb{R}^{n}$, и эта реализация единственна с точностью до гомеоморфизма. На практике с абстрактными комплексами удобнее считать, а геометрические нужны для «увидеть», что мы делаем.

Цепной комплекс и граничный оператор

Чтобы посчитать гомологии, на симплексы навешивается алгебра. Группа $k$-цепей $C_k(K)$ - это свободная абелева группа (или векторное пространство над $\mathbb{Z}/2$ или $\mathbb{Q}$), порождённая ориентированными $k$-симплексами комплекса. Цепь - это формальная линейная комбинация $\sum a_i \sigma_i$.

Граничный оператор $\partial_n : C_n(K) \to C_{n-1}(K)$ определён на симплексе $[v_0, \ldots, v_n]$ как знакочередующаяся сумма граней:

$$\partial_n [v_0, \ldots, v_n] = \sum_{i=0}^{n} (-1)^i [v_0, \ldots, \hat{v_i}, \ldots, v_n],$$

где $\hat{v_i}$ означает, что вершина $v_i$ выкинута. Например, $\partial [a, b, c] = [b, c] - [a, c] + [a, b]$ - это «обход треугольника против часовой стрелки».

Ключевое свойство, на котором построено всё:

$$\partial_{n-1} \circ \partial_n = 0, \quad \text{кратко } \partial^2 = 0.$$

Граница границы пуста. У треугольника край - три ребра, у которых границы - концевые точки, и они взаимно сокращаются. Это превращает последовательность $\cdots \to C_2 \to C_1 \to C_0 \to 0$ в цепной комплекс.

Группы гомологий

Из $\partial^2 = 0$ следует, что образ $\partial_{n+1}$ лежит в ядре $\partial_n$. Это позволяет взять факторгруппу:

$$H_n(K) = \ker \partial_n / \operatorname{im} \partial_{n+1}.$$

Это $n$-я группа гомологий комплекса $K$. Содержательно: ядро $\partial_n$ - это $n$-циклы (цепи без границы, «замкнутые петли»), образ $\partial_{n+1}$ - это $n$-границы (циклы, которые сами являются краем чего-то $(n+1)$-мерного). Гомологии измеряют циклы по модулю границ: какие петли в пространстве нельзя «затянуть» $(n+1)$-мерной заплаткой.

Ранг $H_0$ равен числу компонент связности. Ранг $H_1$ - количество «независимых дырок» в одномерном смысле (петель). Ранг $H_2$ - число замкнутых полостей. Для тора $T^2$ имеем $H_0 = \mathbb{Z}, H_1 = \mathbb{Z}^2, H_2 = \mathbb{Z}$: одна компонента, две независимые петли (меридиан и параллель), одна полость.

Эйлерова характеристика и теорема Эйлера-Пуанкаре

Эйлерова характеристика комплекса $K$ определяется чисто комбинаторно:

$$\chi(K) = \sum_{k=0}^{\dim K} (-1)^k \, f_k = \sum_{k=0}^{\dim K} (-1)^k \dim C_k(K),$$

где $f_k$ - число $k$-симплексов в $K$ (так называемый $f$-вектор). Для замкнутой поверхности это знакомая формула $V - E + F$: вершины минус рёбра плюс грани.

Теорема Эйлера-Пуанкаре утверждает, что та же сумма выражается через гомологии:

$$\chi(K) = \sum_{k=0}^{\dim K} (-1)^k \dim H_k(K; \mathbb{Q}).$$

Это сильный результат: левая часть зависит от конкретной триангуляции, правая - только от гомотопического типа пространства. Значит, разные триангуляции одного и того же пространства дают одно и то же $\chi$, а $\chi$ - топологический инвариант.

Классические примеры

Тетраэдр ($\partial \Delta^3$, граница $3$-симплекса) - это триангулированная двумерная сфера $S^2$. Имеем $f = (4, 6, 4)$, и $\chi = 4 - 6 + 4 = 2$. Гомологии: $H_0 = \mathbb{Z}, H_1 = 0, H_2 = \mathbb{Z}$, что даёт $1 - 0 + 1 = 2$ - сходится.

Граница $(n+1)$-симплекса $\partial \Delta^{n+1}$ - это триангулированная сфера $S^n$. Гомологии у неё ненулевые только в размерностях $0$ и $n$: $H_0 = H_n = \mathbb{Z}$, остальные нули. Отсюда $\chi(S^n) = 1 + (-1)^n$ - два для чётных, ноль для нечётных размерностей.

Тор $T^2$ при минимальной триангуляции - 7 вершин, 21 ребро, 14 треугольников: $\chi = 7 - 21 + 14 = 0$. Гомологии $1 - 2 + 1 = 0$, как мы насчитали выше. Это же значение даёт интегральный подход через кривизну по теореме Гаусса-Бонне - для тора суммарная гауссова кривизна нулевая.

Букет $n$ окружностей имеет $H_0 = \mathbb{Z}$, $H_1 = \mathbb{Z}^n$, $\chi = 1 - n$. Это типовой пример пространства со «свободной» одномерной гомологией.

Применения: TDA и симплициальная аппроксимация

Самое известное современное применение - топологический анализ данных (TDA). По точкам $X \subset \mathbb{R}^d$ строят семейство симплициальных комплексов Виеториса-Рипса $\mathrm{VR}_\varepsilon(X)$ с растущим радиусом $\varepsilon$ и смотрят, как меняются их гомологии. Так получается персистентная гомология - устойчивые «дырки» в данных, которые живут на широком интервале масштабов. На этом построены software-пакеты Ripser, GUDHI, scikit-tda.

Второе классическое применение - симплициальная аппроксимация. Теорема о симплициальной аппроксимации утверждает: любое непрерывное отображение $f : |K| \to |L|$ между геометрическими реализациями симплициальных комплексов гомотопно симплициальному отображению (то есть отправляющему вершины в вершины и продолжаемому по линейности на симплексы). Может потребоваться пройти к подразделению $K$, но симплициальная модель всегда есть. Это и делает гомологии вычислимыми: непрерывные отображения сводятся к матрицам.

Частые ошибки

• Путать симплекс и его границу. $\Delta^n$ - это сам $n$-симплекс (стягиваемый, гомологии тривиальны), $\partial \Delta^n$ - его край, гомеоморфный $S^{n-1}$, гомологии нетривиальны.
• Забыть про ориентацию. Граничный оператор зависит от порядка вершин: $[a, b] = -[b, a]$. Без согласованной ориентации $\partial^2$ перестаёт занулиться.
• Считать гомологии только по $f$-вектору. $f$-вектор даёт $\chi$, но не сами $H_n$ - для них нужно строить матрицы $\partial_n$ и брать ядра/образы.
• Игнорировать аксиому «грани в комплексе». Если у вас есть треугольник, но нет одного из его рёбер - это не симплициальный комплекс.
• Путать $\mathbb{Z}$- и $\mathbb{Q}$-гомологии. Над $\mathbb{Q}$ кручение пропадает: $\mathbb{RP}^2$ имеет $H_1 = \mathbb{Z}/2$ над $\mathbb{Z}$, но $H_1(\mathbb{RP}^2; \mathbb{Q}) = 0$.

FAQ

Чем симплициальный комплекс отличается от CW-комплекса? В CW-комплексе клетки приклеиваются по произвольным непрерывным отображениям границ, симплексы же приклеиваются строго по граням. CW-комплексы экономичнее (сфера - две клетки), симплициальные - комбинаторно проще для вычислений.

Любое ли пространство триангулируется? Конечномерные многообразия размерности $\leq 3$ - да. В размерности $4$ есть нетриангулируемые компактные многообразия (примеры Кэссона). В высоких размерностях существуют топологические многообразия без PL-структуры.

Можно ли считать гомологии руками? Для маленьких комплексов - да, через приведение матриц $\partial_n$ к форме Смита. Для больших - используют GAP, SageMath, computational topology libraries. Сложность - $O(n^3)$ от числа симплексов.

Коротко

Симплициальный комплекс - конечный набор симплексов, замкнутый относительно взятия граней и склеенный по граням. На нём строится цепной комплекс $(C_n, \partial_n)$ со свойством $\partial^2 = 0$, из которого получаются группы гомологий $H_n = \ker \partial_n / \operatorname{im} \partial_{n+1}$. Эйлерова характеристика $\chi = \sum (-1)^k f_k$ выражается через ранги гомологий по теореме Эйлера-Пуанкаре и является топологическим инвариантом. На этой машинерии работает классическая топология поверхностей и современный TDA.