Русская Википедия:Четырёхмерный многогранник
{3,3,3} | {3,3,4} | {4,3,3} |
---|---|---|
Файл:4-simplex t0.svg Пятиячейник 4-симплекс |
Файл:4-cube t3.svg Шестнадцати- ячейник Ортоплекс 4-ортоплекс |
Файл:4-cube t0.svg Тессеракт 4-куб |
{3,4,3} | {5,3,3} | {3,3,5} |
Файл:24-cell t0 F4.svg Октаплекс Двадцатичетырёхъячейник |
Файл:120-cell graph H4.svg Додекаплекс Стодвадцатиячейник |
Файл:600-cell graph H4.svg Тетраплекс Шестисотячейник |
Четырёхмерный многогранник — многогранник в четырёхмерном пространствеШаблон:SfnШаблон:Sfn. Многогранник является связанной замкнутой фигурой, состоящей из многогранных элементов меньшей размерности — вершин, рёбер, граней (многоугольников) и Шаблон:Не переведено 5 (трёхмерных многогранников). Каждая грань принадлежит ровно двум ячейкам.
Двумерным аналогом четырёхмерных многогранников является многоугольник, а трёхмерным аналогом является трёхмерный многогранник.
Топологически четырёхмерные многогранники тесно связаны с Шаблон:Не переведено 5, такими как кубические соты, замощающие трёхмерное пространство. Подобным образом трёхмерный куб связан с бесконечными двумерными квадратными сотами. Выпуклые четырёхмерные многогранники могут быть разрезаны и развёрнуты в виде развёрток в трёхмерном пространстве.
Определение
Четырёхмерный многогранник является замкнутой четырёхмерной фигурой. Он состоит из вершин (угловых точек), рёбер, граней и Шаблон:Не переведено 5. Ячейка — это трёхмерный аналог грани и является трёхмерным многогранником. Каждая двумерная грань должна соединять ровно две ячейки, аналогично тому, как рёбра трёхмерного многогранника соединяют ровно две грани. Подобно другим многогранникам элементы четырёхмерного многогранника не могут быть разделены на два или более множеств, которые также являются четырёхмерными многогранниками, то есть он не является составным.
Наиболее известным четырёхмерным многогранником является тессеракт (гиперкуб), четырёхмерный аналог куба. Шаблон:-
Визуализация
Срез | Развёртка | |
---|---|---|
Файл:24cell section anim.gif | Файл:Polychoron 24-cell net.png | |
Проекции | ||
Шлегель | 2D ортогональная | 3D ортогональная |
Файл:Schlegel wireframe 24-cell.png | Файл:24-cell t0 F4.svg | Файл:Orthogonal projection envelopes 24-cell.png |
Четырёхмерные многогранники невозможно представить в трёхмерном пространстве ввиду лишней размерности. Для визуализации используется ряд техник.
- Ортогональная проекция
Ортогональные проекции можно использовать для показа различных симметрий четырёхмерного многогранника. Проекции можно представить в виде двумерных графов, а можно представить в виде трёхмерных тел в качестве Шаблон:Не переведено 5.
- Перспективная проекция
Точно также как трёхмерные фигуры можно спроецировать на плоский лист, четырёхмерные фигуры можно спроецировать в трёхмерное пространство или даже на плоскость. Распространённым видом проекции является диаграмма Шлегеля, использующая стереографическую проекцию точек на поверхность 3-сферы в трёхмерном пространстве, соединёнными в трёхмерном пространстве прямыми рёбрами, гранями и ячейками.
- Срез
Точно так же, как разрез многогранника выявляет поверхность разреза, срез четырёхмерного многогранника даёт «гиперповерхность» в трёхмерном пространстве. Последовательность таких срезов можно использовать для понимания всей фигуры. Лишнюю размерность можно приравнять ко времени для образования анимации этих сечений.
- Развёртки
Развёртка четырёхмерного многогранника состоит из многогранных Шаблон:Не переведено 5, соединённых гранями и располагающихся в трёхмерном пространстве, точно так же, как многоугольные грани развёртки трёхмерного многогранника соединены рёбрами и располагаются все в одной плоскости.
Топологические характеристики
Топология любого заданного четырёхмерного многогранника определяется его числами Бетти и Шаблон:Не переведено 5[1].
Значение эйлеровой характеристики, используемой для характеристики многогранников, не обобщается должным образом на высшие размерности и равно нулю для всех четырёхмерных многогранников, какова бы ни была нижележащая топология. Это несоответствие эйлеровой характеристики для достоверного различения разных топологий в высоких размерностях ведёт к появлению более утончённых чисел Бетти[1].
Подобным образом понятие ориентируемости многогранника недостаточно для характеристики закручивания поверхностей тороидальных многогранников, что приводит к использованию коэффициентов кручения[1].
Классификация
Критерии
Четырёхмерные многогранники можно классифицировать по свойствам, таким как «выпуклость» и «симметрия»[1].
- Четырёхмерный многогранник является выпуклым, если его границы (включая ячейки, (трёхмерные) грани и рёбра) не пересекают себя (в принципе, грани многогранника могут проходить внутри оболочки) и отрезки, соединяющие любые две точки четырёхмерного многогранника, содержатся полностью внутри него.. В противном случае многогранник считается невыпуклым. Самопересекающиеся четырёхмерные многогранники известны также как звёздчатые многогранники по аналогии с похожими на звёзды формами невыпуклых многогранников Кеплера — Пуансо.
- Четырёхмерный многогранник является правильным, если он транзитивен относительно его флагов. Это значит, что все его ячейки являются конгруэнтными правильными многогранниками, а также все его вершинные фигуры конгруэнтны другому виду правильных многогранников.
- Выпуклый четырёхмерный многогранник является полуправильным, если он имеет группу симметрии, при которой все вершины эквивалентны (вершинно транзитивны) и ячейки являются правильными многогранниками. Ячейки могут быть двух и более видов, при условии, что они имеют один и тот же вид граней. Существует только 3 таких фигуры, найденные Шаблон:Не переведено 5 в 1900 году: Шаблон:Не переведено 5, Шаблон:Не переведено 5 и курносый двадцатичетырёхъячейник.
- Четырёхмерный многогранник является однородным, если он имеет группу симметрии, при которой все вершины эквивалентны и ячейки являются однородными многогранниками. Грани (2-мерные) однородного 4-многогранника должны быть правильными многоугольниками.
- Четырёхмерный многогранник является Шаблон:Нп5[2], если он вершинно транзитивен и имеет рёбра одной длины. То есть разрешаются неоднородные ячейки, например, выпуклые многогранники Джонсона.
- О правильном четырёхмерном многограннике, являющимся к тому же выпуклым, говорят как о Шаблон:Не переведено 5.
- Четырёхмерный многогранник является призматическим, если он представляет собой прямое произведение двух и более многогранников меньшей размерности. Призматический четырёхмерный многогранник является однородным, если его сомножители в прямом произведении однородны. Гиперкуб является призматическим (произведение двух квадратов или куба и отрезка), но рассматривается отдельно, поскольку он имеет более высокую симметрию, чем симметрии, унаследованные от сомножителей.
- Мозаика или соты в трёхмерном пространстве — это разложение трёхмерного евклидового пространства на повторяющуюся Шаблон:Не переведено 5 многогранных ячеек. Такие мозаики или замощения бесконечны и не ограничены «4D»-объёмом, так что являются примерами бесконечных четырёхмерных многогранников. Однородная мозаика трёхмерного пространства — это мозаика, в которой вершины конгруэнтны и связаны кристаллографической группой, а ячейки являются однородными многогранниками.
Классы
Следующий список различных категорий четырёхмерных многогранников классифицирован согласно критериям, изложенным выше:
Шаблон:Не переведено 5 (вершинно транзитивный).
- Выпуклые однородные четырёхмерные многогранники (64, плюс два бесконечных семейства)
- 47 непризматических выпуклых однородных четырёхмерных многогранника включают:
- Шаблон:Не переведено 5:
- {} × {p, q} : 18 Шаблон:Не переведено 5 (включая кубические гиперпризмы, правильные гиперкубы);
- Призмы, построенные на антипризмах (бесконечное семейство);
- {p} × {q} : Дуопризмы (бесконечное семейство).
- Невыпуклые однородные четырёхмерные многогранники (10 + неизвестно):
- 10 (правильных) Шаблон:Не переведено 5;
- 57 гиперпризм, построенных на невыпуклых однородных многогранниках;
- Неизвестное число невыпуклых однородных четырёхмерных многогранников — Норман Джонсон и другие соавторы нашли 1849 многогранников (выпуклых и звёздчатых); все они построены на вершинных фигурах с помощью программы Шаблон:Не переведено 5[3].
Другие выпуклые четырёхмерные многогранники:
Бесконечные однородные 4-мерные многогранники в евклидовом 3-мерном пространстве (однородные замощения выпуклыми однородными ячейками):
- 28 Шаблон:Не переведено 5 (однородных выпуклых замощений), включая:
- 1 правильное замощение, кубические соты: {4,3,4}.
Бесконечные однородные четырёхмерные многогранники гиперболического трёхмерного пространства (однородные замощения выпуклыми однородными ячейками):
- 76 витхоффовых Шаблон:Не переведено 5, включая:
- 4 правильных замощения компактного гиперболического трёхмерного пространства: {3,5,3}, {4,3,5}, {5,3,4}, {5,3,5}.
Двойственные Шаблон:Не переведено 5 (Шаблон:Не переведено 5):
- 41 единственно возможных двойственных однородных четырёхмерных многогранника;
- 17 единственно возможных двойственных однородных многогранных призм;
- бесконечное семейство двойственных выпуклых однородных дуопризм (с неправильными тетраэдральными ячейками);
- 27 единственно возможных двойственных однородных сот, включая:
Другие:
- Шаблон:Не переведено 5 периодических заполняющих пространство сот с неправильными ячейками.
Эти категории включают только четырёхмерные многогранники с высокой степенью симметрии. Возможно существование многих других четырёхмерных многогранников, но они не изучались столь интенсивно, как перечисленные выше.
См. также
- Правильный четырёхмерный многогранник
- 3-сфера является другой широко обсуждаемой фигурой, располагающейся в четырёхмерном пространстве. Но она не является четырёхмерным многогранником, поскольку не ограничена многогранными ячейками.
- Шаблон:Не переведено 5 является фигурой в четырёхмерном пространстве, связанной с дуопризмами, хотя это тоже не многогранник.
Примечания
Литература
- Шаблон:Книга
- Шаблон:Книга
- H.S.M. Coxeter:
- H. S. M. Coxeter, M. S. Longuet-Higgins, J. C. P. Miller: Uniform Polyhedra, Philosophical Transactions of the Royal Society of London, Londne, 1954
- Шаблон:Книга
- Шаблон:Книга
- (Paper 22) H.S.M. Coxeter, Regular and Semi Regular Polytopes I, [Math. Zeit. 46 (1940) 380—407, MR 2,10]
- (Paper 23) H.S.M. Coxeter, Regular and Semi-Regular Polytopes II, [Math. Zeit. 188 (1985) 559—591]
- (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3-45]
- Шаблон:Книга
- Шаблон:Книга
- Four-dimensional Archimedean Polytopes (German), Marco Möller, 2004 PhD dissertation [1]
Ссылки
- Шаблон:Mathworld
- Шаблон:Mathworld
- Шаблон:Mathworld *Шаблон:Не переведено 5
- Four dimensional figures page
- Шаблон:Не переведено 5 Polychoron на Glossary for Hyperspace
- Uniform Polychora, Jonathan Bowers
- Uniform polychoron Viewer — Java3D Applet with sources
- Dr. R. Klitzing, polychora
- ↑ 1,0 1,1 1,2 1,3 Richeson, D.; Euler’s Gem: The Polyhedron Formula and the Birth of Topoplogy, Princeton, 2008.
- ↑ В английском языке используется слово scaliform, образованное от двух слов — scale (многозначное слово, здесь — размер, шкала) и uniform (однородный). Название предложил Джонатан Боуэрс (Jonathan Bowers)
- ↑ Uniform Polychora, Norman W. Johnson (Wheaton College), 1845 cases in 2005