Введение

Регулярный политоп, двойственный гиперкубу в любом числе измерений + Кроссовый политоп от 2 до 52 измеренийквадрат2 измеренияоктаэдр3 измерения16 ячеек4 измерения5 ортоплекс5 измерений

В геометрии кросс-политоп, гипероктаэдр, ортоплекс или кокуб — это регулярный, выпуклый политоп, существующий в n-мерном евклидовом пространстве. Двумерный кросс-политоп — это квадрат, трехмерный кросс-политоп — это правильный октаэдр, а четырехмерный кросс-политоп — это 16-ячейник. Его грани — это симплексы предыдущей размерности, а вершинная фигура кросс-политопа — это другой кросс-политоп из предыдущей размерности. Вершины кросс-политопа можно выбрать как единичные векторы, направленные вдоль каждой координатной оси, то есть все перестановки (±1, 0, 0, …, 0). Кросс-политоп — это выпуклая оболочка его вершин. Кросс-политоп n-мерной размерности также можно определить как замкнутый единичный шар (или, по мнению некоторых авторов, его границу) в ℓ1-норме на Rn:

В одном измерении кросс-политоп — это просто отрезок [−1, +1], в двух измерениях — это квадрат (или ромб) с вершинами {(±1, 0), (0, ±1)}. В трех измерениях это октаэдр — один из пяти выпуклых правильных многогранников, известных как платоновы тела. Это можно обобщить на более высокие размерности, построив n-ортоплекс как бипирамиду с основанием в виде (n−1)-ортоплекса. Кросс-политоп является двойственным политопом гиперкуба. 1-скелет n-мерного кросс-политопа — это граф Турана T(2n, n) (также известный как граф «коктейльной вечеринки»).

4 измерения

Четырехмерный кросс-политоп также известен как гексадекахорон или 16-ячейник. Это один из шести выпуклых правильных 4-политопов. Эти четыре политопа были впервые описаны швейцарским математиком Людвигом Шлефли в середине XIX века.