Разбиение на ортосхемы (Jg[Qnyuny ug kjmkv]ybd)

Нерешённые проблемы математики: Можно ли любой симплекс разбить на ограниченное число ортосхем?

Нерешённая гипотеза Гуго Хадвигера утверждает, что любой симплекс может быть разбит на ортосхемы^[англ.], причём число ортосхем ограничено сверху функцией от размерности симплекса^[1]. Если гипотеза верна, то верно и более общее утверждение, что любой выпуклый многогранник можно разбить на ортосхемы.

Определения и формулировка гипотезы

В этом контексте симплекс в $d$ -мерном евклидовом пространстве — это выпуклая оболочка $d+1$ точек, не лежащих в одной гиперплоскости. Например, 2-мерный симплекс — это просто треугольник (выпуклая оболочка трёх точек на плоскости), а 3-мерный симплекс — это тетраэдр (выпуклая оболочка четырёх точек в трёхмерном пространстве). Точки, которые образуют симплекс таким способом, называются вершинами.

Ортосхема — это симплекс специального вида. В ней существует путь по рёбрам, соединяющий все вершины, причём любые два ребра пути перпендикулярны друг другу. Двумерная ортосхема — это прямоугольный треугольник. Трёхмерную ортосхему можно построить из куба, если взять путь из трёх рёбер куба, не лежащих в одной грани, и рассмотреть выпуклую оболочку четырёх вершин, через которые проходит этот путь.

Рассечение тела $S$ (которое может быть любым замкнутым множеством в евклидовом пространстве) — это представление $S$ в виде объединения других тел, внутренности которых не пересекаются. То есть тела "не перекрываются", но могут иметь общие точки на границах. Например, куб может быть рассечён на шесть трёхмерных ортосхем. Аналогично, любой гиперкуб или гиперпрямоугольник в $d$ -мерном пространстве может быть рассечён на $d!$ ортосхем.

Гипотеза Хадвигера утверждает, что существует функция $f$ такая, что любой $d$ -мерный симплекс может быть рассечён на не более чем $f(d)$ ортосхем. Хадвигер сформулировал эту проблему в 1956^[2]. Гипотеза на данный момент не доказана, хотя при малых значениях $d$ получены частичные результаты^[1].

В пространствах малой размерности

Высота из острого угла может не рассекать треугольник, но высота из наибольшего из углов всегда рассекает треугольник на два прямоугольных треугольника

В двумерном пространстве любой треугольник можно рассечь на два прямоугольных треугольника путём опускания высоты на самую длинную сторону^[2].

В трёхмерном пространстве некоторые тетраэдры можно рассечь аналогично. Надо опустить высоту из вершины $v$ в точку $p$ на противоположной грани, соединить $p$ со сторонами грани перпендикулярно сторонам и получить пути из трёх отрезков, перпендикулярных друг другу — от $v$ к $p$ , от $p$ на сторону и затем в вершину грани ^[2]. Однако это построение не всегда работает: существуют тетраэдры, для которых основание ни одной высоты не лежит на гранях тетраэдра. Используя более сложное построение, Ленхард^[3] доказал, что любой тетраэдр можно рассечь не более чем на 12 ортосхем^[4]. Бём^[5] доказал, что это значение оптимально — существуют тетраэдры, которые нельзя рассечь на менее чем 12 ортосхем^[6]. В той же статье Бём также обобщает результат на трёхмерную сферическую геометрию и трёхмерную гиперболическую геометрию.

В четырёхмерном пространстве требуется не более 500 ортосхем^[7]. В пятимерном пространстве также требуется конечное число ортосхем, где-то около 12,5 миллионов. Снова это применимо к сферической и гиперболической геометриям, как и к евклидовому пространству^[8].

Гипотеза Хадвигера остаётся недоказанной для всех размерностей, больших пяти^[1].

Следствия

Любой выпуклый многогранник можно рассечь на симплексы. Таким образом, если гипотеза Хадвигера верна, то любой выпуклый многогранник можно также рассечь на ортосхемы^[8].

Связанный результат — любую ортосхему можно рассечь на $d$ или $d+1$ меньших ортосхем^[9]^[10]. Таким образом, рассечения симплексов, допускающих разбиение на ортосхемы, могут иметь произвольно большое число ортосхем в рассечениях.

Примечания

↑ ¹ ² ³ Brandts, Korotov, Křížek, Šolc, 2009.
↑ ¹ ² ³ Hadwiger, 1956, с. 109–110.
↑ Lenhard, 1960.
↑ Lenhard, 1960, с. 106–107.
↑ Böhm, 1980.
↑ Böhm, 1980, с. 29–54.
↑ Tschirpke, 1993, с. 313–329.
↑ ¹ ² Tschirpke, 1994, с. 1–11.
↑ Debrunner, 1990, с. 123–152.
↑ Brandts, Korotov, Křížek, 2007, с. 382–393.

Литература

Jan Brandts, Sergey Korotov, Michal Křížek. Dissection of the path-simplex in $\mathbb {R} ^{n}$ into $n$ path-subsimplices // Linear Algebra and its Applications. — 2007. — Т. 421, вып. 2-3. — С. 382–393. — doi:10.1016/j.laa.2006.10.010.
Jan Brandts, Sergey Korotov, Michal Křížek, Jakub Šolc. On nonobtuse simplicial partitions // SIAM Review. — 2009. — Т. 51, вып. 2. — С. 317–335. — doi:10.1137/060669073.. См, в частности, гипотезу 23, стр. 327.
Johannes Böhm. Zur vollständigen Zerlegung der euklidischen und nichteuklidischen Tetraeder in Orthogonal-Tetraeder // Martin-Luther-Universität Halle-Wittenberg. — 1980. — Вып. 9. — С. 29–54.

Hans E. Debrunner. Dissecting orthoschemes into orthoschemes // Geometriae Dedicata. — 1990. — Т. 33, вып. 2. — С. 123–152. — doi:10.1007/BF00183080.
Hugo Hadwiger. Ungelöste Probleme // Elemente der Mathematik. — 1956. — Т. 11. — С. 109–110.
H.-Chr. Lenhard. Zerlegung von Tetraedern in Orthogonaltetraeder // Elemente der Mathematik. — 1960. — Т. 15. — С. 106–107.
Katrin Tschirpke. On the dissection of simplices into orthoschemes // Geometriae Dedicata. — 1993. — Т. 46, вып. 3. — С. 313–329. — doi:10.1007/BF01263622.
Katrin Tschirpke. The dissection of five-dimensional simplices into orthoschemes // Beiträge zur Algebra und Geometrie. — 1994. — Т. 35, вып. 1. — С. 1–11.

[_4041282cc31e070f-1] ¹ ² ³ Brandts, Korotov, Křížek, Šolc, 2009.

[_139ea8ea7e87b60c-2] ¹ ² ³ Hadwiger, 1956, с. 109–110.

[_856796334e13ba99-3] Lenhard, 1960.

[_dbb43427854e1649-4] Lenhard, 1960, с. 106–107.

[_6cc8f0285b3cebd9-5] Böhm, 1980.

[_83f220dc5bc74e24-6] Böhm, 1980, с. 29–54.

[_b4207e778bdfd806-7] Tschirpke, 1993, с. 313–329.

[_15887c038478a645-8] ¹ ² Tschirpke, 1994, с. 1–11.

[_b4477f04ec0eb84a-9] Debrunner, 1990, с. 123–152.

[_462ac2cfd2eaaf2d-10] Brandts, Korotov, Křížek, 2007, с. 382–393.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]