Симплекс

Симплекс — в математике, в частности в геометрии и линейной алгебре, простейший выпуклый многогранник в n-мерном пространстве, имеющий ровно n+1 вершину. Симплекс является n-мерным аналогом треугольника (для n=2) и тетраэдра (для n=3). Понятие симплекса лежит в основе симплициальной топологии, теории гомологий и методов линейного программирования.

История и происхождение термина

Термин «симплекс» (от лат. simplex — «простой») был введён в математику в начале XX века. Впервые систематическое изучение симплексов как фундаментальных строительных блоков для топологических пространств предпринял немецкий математик Леопольд Кронекер, однако современное определение и широкое применение связано с работами Анри Пуанкаре по алгебраической топологии (1895—1900). Пуанкаре использовал симплексы для триангуляции многообразий, что позволило вычислять их топологические инварианты, такие как числа Бетти. В 1910-х годах концепция была развита в работах Эмми Нётер и Пауля Александрова, заложивших основы симплициальной топологии.

Определение и формальное описание

Геометрическое определение

Пусть даны \(n+1\) точек \(a_0, a_1, \dots, a_n\) в евклидовом пространстве \(\mathbb{R}^m\) (где \(m \ge n\)), которые находятся в общем положении, то есть не лежат в одной \((n-1)\)-мерной плоскости. Симплексом размерности \(n\) (или \(n\)-симплексом) называется выпуклая оболочка этих точек:

\[ \Delta^n = \left\{ \sum_{i=0}^{n} \lambda_i a_i \;\middle|\; \lambda_i \ge 0, \sum_{i=0}^{n} \lambda_i = 1 \right\} \]

Числа \(\lambda_i\) называются барицентрическими координатами точки внутри симплекса.

Размерности и названия

Свойства

• Выпуклость: Симплекс является выпуклым множеством.
• Минимальность: Симплекс — это минимальный выпуклый многогранник в данной размерности, то есть любой выпуклый многогранник в \(\mathbb{R}^n\) можно триангулировать (разбить) на симплексы.
• Грани: Гранями симплекса являются симплексы меньшей размерности, образованные подмножествами его вершин. Например, у 3-симплекса (тетраэдра) 4 грани — треугольники (2-симплексы), 6 рёбер (1-симплексы) и 4 вершины (0-симплексы).
• Объём: Объём \(n\)-симплекса в \(\mathbb{R}^n\) вычисляется по формуле:

\[ V = \frac{1}{n!} \left| \det \begin{pmatrix} a_1 - a_0 & a_2 - a_0 & \dots & a_n - a_0 \end{pmatrix} \right| \] Для правильного симплекса с длиной ребра \(s\) объём равен \(\frac{s^n}{n!} \sqrt{\frac{n+1}{2^n}}\).

Классификация симплексов

По размерности

Симплексы классифицируются по размерности, как указано в таблице выше. Нулевой симплекс — точка, одномерный — отрезок, двумерный — треугольник, трёхмерный — тетраэдр, четырёхмерный — пентахор и так далее.

По правильности

• Правильный симплекс — симплекс, у которого все рёбра равны, а все грани являются правильными симплексами меньшей размерности. В евклидовом пространстве правильные симплексы существуют для любой размерности.
• Неправильный симплекс — симплекс, у которого длины рёбер различаются. Например, произвольный треугольник с разными сторонами.

По ориентации

Симплекс может быть ориентированным, если задан порядок его вершин. Ориентация симплекса определяет знак его объёма и используется в алгебраической топологии при вычислении граничных операторов.

Применение

В симплициальной топологии

Симплексы являются основными «кирпичиками» для построения симплициальных комплексов — пространств, склеенных из симплексов по определённым правилам. Симплициальные комплексы позволяют изучать топологические свойства пространств (связность, дыры, зацепления) с помощью алгебраических методов, таких как симплициальные гомологии.

В линейном программировании

Симплекс-метод, разработанный Джорджем Данцигом в 1947 году, является одним из основных алгоритмов для решения задач линейного программирования. Алгоритм последовательно переходит от одной вершины многогранника допустимых решений (который сам является симплексом или многогранником, триангулируемым на симплексы) к другой, улучшая значение целевой функции. Несмотря на появление более современных методов, симплекс-метод остаётся широко используемым благодаря своей эффективности на практике.

В вычислительной геометрии

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

В статистике и машинном обучении

• Симплициальное распределение — распределение вероятностей на симплексе, например, распределение Дирихле, которое используется в байесовской статистике и тематическом моделировании (LDA).
• Симплекс-метод также применяется в задачах оптимизации, связанных с обучением нейронных сетей, например, при настройке гиперпараметров.

В физике и химии

• Фазовые диаграммы: Симплексы используются для представления составов многокомпонентных систем. Например, тройная диаграмма (треугольник Гиббса) — это 2-симплекс, где вершины соответствуют чистым компонентам, а внутренние точки — смесям.
• Кристаллография: Структура некоторых кристаллов (например, алмаза) может быть описана как совокупность тетраэдров (3-симплексов).

Интересные факты

• Правильный 4-симплекс (пентахор) — это один из шести правильных многогранников в четырёхмерном пространстве (наряду с гиперкубом, 16-ячейником и другими). Он имеет 5 вершин, 10 рёбер, 10 треугольных граней и 5 тетраэдрических ячеек.
• Симплекс — это единственный многогранник, который является самодвойственным: двойственный к \(n\)-симплексу является \(n\)-симплексом (с точностью до изоморфизма). Например, двойственный к тетраэдру — снова тетраэдр.
• Объём правильного симплекса убывает с ростом размерности быстрее, чем объём гиперкуба. Например, объём правильного 10-симплекса с ребром длины 1 составляет менее \(10^{-5}\).
• Симплекс-метод в линейном программировании, несмотря на своё название, не использует симплексы напрямую, а оперирует вершинами многогранников, которые могут быть симплексами только в частных случаях.

Источники

• Александров П. С. Введение в теорию гомологий. — М.: Наука, 1975.
• Рохлин В. А., Фукс Д. Б. Начальный курс топологии. Геометрические главы. — М.: Наука, 1977.
• Данциг Дж. Линейное программирование: его применение и обобщения. — М.: Прогресс, 1966.
• Хаттон Д., Хаттон М. Линейное программирование. — М.: Мир, 1972.
• Энциклопедия элементарной математики. Книга 4: Геометрия / Под ред. П. С. Александрова, А. И. Маркушевича, А. Я. Хинчина. — М.: Физматгиз, 1963.