5-политоп — это замкнутая пятимерная фигура с вершинами , ребрами , гранями и ячейками , а также 4-гранями . Вершина — это точка , в которой сходятся пять или более ребер. Ребро — это отрезок прямой , в котором сходятся четыре или более граней, а грань — это многоугольник, в котором сходятся три или более ячеек. Ячейка — это многогранник , а 4-грань — это 4-политоп . Кроме того, должны быть выполнены следующие требования:
Каждая ячейка должна соединять ровно две 4-грани.
Соседние 4-грани не находятся в одной и той же четырехмерной гиперплоскости .
Фигура не является составной частью других фигур, соответствующих требованиям.
Значение характеристики Эйлера, используемое для характеристики многогранников, не обобщается полезным образом на более высокие измерения, независимо от их базовой топологии. Эта неадекватность характеристики Эйлера для надежного различения различных топологий в более высоких измерениях привела к открытию более сложных чисел Бетти. [1]
Аналогично, понятие ориентируемости многогранника недостаточно для характеристики поверхностных скручиваний тороидальных многогранников, и это привело к использованию коэффициентов кручения. [1]
Классификация
5-многогранники можно классифицировать на основе таких свойств, как « выпуклость » и « симметрия ».
5-многогранник является выпуклым, если его граница (включая его ячейки, грани и ребра) не пересекает саму себя, а отрезок прямой, соединяющий любые две точки 5-многогранника, содержится в 5-многограннике или его внутренней части; в противном случае он является невыпуклым . Самопересекающиеся 5-многогранники также известны как звездчатые многогранники , по аналогии со звездообразными формами невыпуклых многогранников Кеплера-Пуансо .
Полуправильный 5-политоп содержит два или более типов граней правильного 4-политопа. Существует только одна такая фигура, называемая демипентерактом .
Правильный 5-многогранник имеет все одинаковые правильные 4-многогранные грани. Все правильные 5-многогранники выпуклые.
Призматический 5-многогранник строится декартовым произведением двух многогранников меньшей размерности. Призматический 5-многогранник является однородным, если его факторы однородны. Гиперкуб является призматическим (произведение квадрата и куба ), но рассматривается отдельно, поскольку имеет симметрии, отличные от тех, которые унаследованы от его факторов.
4 -пространственная тесселяция — это разделение четырехмерного евклидова пространства на регулярную сетку полихоральных граней. Строго говоря, тесселяции не являются многогранниками, поскольку они не ограничивают «5D» объем, но мы включаем их сюда для полноты, поскольку они во многом похожи на многогранники. Однородная 4-пространственная тесселяция — это такая, вершины которой связаны пространственной группой , а грани — однородные 4-многогранники.
Правильные 5-мерные многогранники
Правильные 5-мерные многогранники можно представить символом Шлефли {p,q,r,s} с s {p,q,r} полихоральными гранями вокруг каждой грани .
Пирамидальные 5-многогранники, или 5-пирамиды , могут быть получены с помощью 4-многогранника в 4-пространственной гиперплоскости, соединенной с точкой вне гиперплоскости. 5-симплекс — простейший пример с 4-многогранником.
^ abc Ричесон, Д.; Драгоценный камень Эйлера: формула многогранника и рождение топологии , Принстон, 2008.
Т. Госсет : О правильных и полуправильных фигурах в пространстве n измерений , Вестник математики , Макмиллан, 1900
А. Буль Стотт : Геометрический вывод полуправильных многогранников из правильных многогранников и пространственного заполнения , Verhandelingen Академии Koninklijke van Wetenschappen, единица ширины Амстердам, Eerste Sectie 11,1, Амстердам, 1910 г.
Калейдоскопы: избранные труды Х. С. М. Коксетера , под редакцией Ф. Артура Шерка, Питера МакМаллена, Энтони К. Томпсона, Азии Айвик Вайс, Wiley-Interscience Publication, 1995, ISBN 978-0-471-01003-6 [1]
(Документ 22) HSM Coxeter, Правильные и полуправильные многогранники I , [Math. Zeit. 46 (1940) 380–407, MR 2,10]
(Документ 23) HSM Coxeter, Правильные и полуправильные многогранники II , [Math. Zeit. 188 (1985) 559-591]
(Документ 24) HSM Coxeter, Правильные и полуправильные многогранники III , [Math. Zeit. 200 (1988) 3-45]
NW Johnson : Теория однородных многогранников и сот , докторская диссертация, Университет Торонто, 1966 г.