В геометрии правильные косые многогранники являются обобщениями набора правильных многогранников , которые включают возможность неплоских граней или вершинных фигур . Коксетер изучал перекошенные вершинные фигуры, которые создавали новые четырехмерные правильные многогранники, а намного позже Бранко Грюнбаум изучал правильные перекошенные грани. [1]
Бесконечные правильные косые многогранники, занимающие 3-мерное пространство или больше, называются правильными косыми апейроэдрами .
По мнению Коксетера , в 1926 году Джон Флиндерс Петри обобщил понятие правильных косых многоугольников (неплоских многоугольников) на правильные косые многогранники .
Коксетер предложил модифицированный символ Шлефли { l , m | n } для этих фигур, где { l , m } подразумевает фигуру вершины , m l -угольники вокруг вершины и n -угольные отверстия. Их вершинные фигуры представляют собой косые многоугольники , зигзагообразные между двумя плоскостями.
Правильные косые многогранники, представленные { l , m | n } , следуйте этому уравнению:
Первый набор { l , m | n } повторяет пять выпуклых платоновых тел и одно невыпуклое тело Кеплера – Пуансо :
Коксетер также перечислил более широкий набор конечных правильных многогранников в своей статье «Правильные косые многогранники в трех и четырех измерениях и их топологические аналоги».
Точно так же, как бесконечные косые многогранники представляют поверхности многообразия между ячейками выпуклых однородных сот , все конечные формы представляют поверхности многообразия внутри ячеек однородных 4-многогранников .
Многогранники вида {2p, 2q | r} связаны с симметрией группы Кокстера [(p,r,q,r)], которая сводится к линейному [r,p,r], когда q равно 2. Коксетер определяет эту симметрию как [[( p , r , q , r )] + ], которая, по его словам, изоморфна его абстрактной группе (2 p ,2 q |2, r ). Соответствующие соты имеют расширенную симметрию [[( p , r , q , r )]]. [2]
{2p,4|r} представлен гранями {2p} усеченного побитно { r,p,r} однородного 4-многогранника , а {4,2p|r} представлен квадратными гранями усечённого { r,p ,р}.
{4,4|n} создает дуопризму n - n , и, в частности, {4,4|4} помещается внутри тессеракта {4}x{4} .
Окончательный набор основан на дальнейшей расширенной форме Кокстера {q1,m|q2,q3...} или с неуказанным q2: {l, m |, q}. Их также можно представить в виде регулярного конечного отображения или { l , m } 2 q и группы G l , m , q . [3]
Правильные косые многогранники также можно построить в размерностях больше 4 как вложения в правильные многогранники или соты. Например, правильный икосаэдр можно вложить в вершины 6-демикуба ; Коксетер назвал его правильным косым икосаэдром . Додекаэдр аналогичным образом можно встроить в 10-демикуб . [4]