Можно ли любой симплекс разбить на ограниченное число ортосхем?
В геометрии это нерешенная гипотеза Хьюго Хадвигера о том, что каждый симплекс можно разбить на ортосхемы , используя количество ортосхем, ограниченное функцией размерности симплекса. [1] Если это правда, то в более общем смысле каждый выпуклый многогранник можно разбить на ортосхемы.
В этом контексте симплекс в -мерном евклидовом пространстве — это выпуклая оболочка точек , которые не все лежат в общей гиперплоскости . Например, 2-мерный симплекс — это просто треугольник (выпуклая оболочка из трех точек на плоскости), а 3-мерный симплекс — это тетраэдр ( выпуклая оболочка из четырех точек в трехмерном пространстве). Точки, образующие таким образом симплекс, называются его вершинами .
Ортосхема, также называемая симплексом путей, представляет собой особый вид симплекса. В нем вершины могут быть соединены путем так , что каждые два ребра пути расположены под прямым углом друг к другу. Двумерная ортосхема представляет собой прямоугольный треугольник . Трехмерную ортосхему можно построить из куба , найдя путь из трех ребер куба, которые не все лежат на одной квадратной грани, и образовав выпуклую оболочку из четырех вершин на этом пути.
Рассечение фигуры (которой может быть любое замкнутое множество в евклидовом пространстве) — это представление как объединения других фигур, внутренности которых не пересекаются друг с другом . То есть интуитивно фигуры в объединении не перекрываются, хотя на своих границах могут иметь общие точки. Например, куб можно разбить на шесть трехмерных ортосхем. Похожий результат применим и в более общем плане: любой гиперкуб или гиперпрямоугольник в измерениях можно разбить на ортосхемы.
Гипотеза Хадвигера состоит в том, что существует функция , по которой любой -мерный симплекс можно разбить не более чем на ортосхемы. Хадвигер поставил эту проблему в 1956 году; В [2] она в целом остается нерешенной, хотя известны частные случаи при малых значениях . [1]
В двух измерениях каждый треугольник можно разрезать не более чем на два прямоугольных треугольника, опустив высоту от самого широкого угла к самому длинному краю. [2]
В трех измерениях некоторые тетраэдры можно разрезать аналогичным образом, опуская высоту перпендикулярно от вершины до точки на противоположной грани, соединяясь перпендикулярно со сторонами грани и используя трехреберные перпендикулярные пути через и к сторону, а затем к вершине лица. [2] Однако это не всегда работает. В частности, существуют тетраэдры, у которых ни одна из вершин не имеет высоты со ногой внутри противоположной грани. Используя более сложную конструкцию, Ленхард (1960) доказал, что каждый тетраэдр можно разбить не более чем на 12 ортосхем. [3] Бём (1980) доказал, что это оптимально: существуют тетраэдры, которые нельзя разбить менее чем на 12 ортосхем. [4] В той же статье Бём также обобщил результат Ленхарда на трёхмерную сферическую геометрию и трёхмерную гиперболическую геометрию .
В четырех измерениях необходимо не более 500 ортосхем. [5] В пяти измерениях снова необходимо конечное число ортосхем, примерно не более 12,5 миллионов. Опять же, это относится к сферической геометрии и гиперболической геометрии, а также к евклидовой геометрии. [6]
Гипотеза Хадвигера остается недоказанной для всех размерностей больше пяти. [1]
Любой выпуклый многогранник можно разбить на симплексы. Следовательно, если гипотеза Хадвигера верна, каждый выпуклый многогранник также будет расщепляться на ортосхемы. [6]
Связанный с этим результат состоит в том, что каждая ортосхема сама по себе может быть разделена на ортосхемы или более мелкие. [7] [8] Следовательно, для симплексов, которые можно разбить на ортосхемы, их разрезы могут иметь сколь угодно большое количество ортосхем.