Многоугольник Петри - Petrie polygon

Многоугольник Петри додекаэдр это перекос десятиугольник. Если смотреть со стороны оси симметрии 5-го порядка, оно выглядит как правильный десятиугольник. Каждая пара последовательных сторон принадлежит одному пятиугольнику (но никакая тройка не принадлежит).

В геометрия, а Многоугольник Петри для правильный многогранник из п размеры - это наклонный многоугольник в котором каждый (п - 1) последовательный стороны (но нет п) принадлежит одному из грани. В Многоугольник Петри из правильный многоугольник - это сам правильный многоугольник; что из правильный многогранник это наклонный многоугольник так что каждые два последовательных сторона (но не три) принадлежит одному из лица.[1] Полигоны Петри названы в честь математика Джона Флиндерса Петри.

Для каждого правильного многогранника существует ортогональная проекция на плоскость так, что один многоугольник Петри становится правильный многоугольник с остальной частью проекции к нему. Рассматриваемый самолет является Самолет Кокстера из группа симметрии многоугольника, и количество сторон, час, является Число Кокстера из Группа Коксетера. Эти многоугольники и спроецированные графы полезны для визуализации симметричной структуры многомерных правильных многогранников.

Полигоны Петри могут быть определены более широко для любого встроенный граф. Они образуют грани другого вложения того же графа, обычно на другой поверхности, называемой Петри двойной.[2]

История

Джон Флиндерс Петри (1907–1972) был единственным сыном египтолог Флиндерс Петри. Он родился в 1907 году и, будучи школьником, показал замечательные математические способности. В периоды интенсивной концентрации он мог отвечать на вопросы о сложных четырехмерных объектах с помощью визуализация их.

Он первым отметил важность правильных косых многоугольников, которые появляются на поверхности правильных многогранников и высших многогранников. Кокстер объяснил в 1937 году, как он и Петри начали расширять классическую тему правильных многогранников:

Однажды в 1926 году Дж. Ф. Петри с большим волнением рассказал мне, что он открыл два новых правильных многогранника; бесконечно, но без ложных вершин. Когда мое недоверие начало утихать, он описал мне их: один состоит из квадратов, по шесть в каждой вершине, и один, состоящий из шестиугольников, по четыре в каждой вершине.[3]

В 1938 году Петри сотрудничал с Кокстером, Патрик дю Валь, и Х. Flather производить Пятьдесят девять икосаэдров для публикации.[4]Понимая геометрические возможности косых многоугольников, используемых Петри, Кокстер назвал их в честь своего друга, когда писал: Правильные многогранники.

Позднее идея полигонов Петри была распространена на полуправильные многогранники.

Многоугольники Петри правильных многогранников

Два тетраэдра с квадратами Петри
Куб и октаэдр с шестиугольниками Петри
Додекаэдр и икосаэдр с декагонами Петри

В обычные дуалы, {п,q} и {q,п}, содержатся внутри одного и того же спроецированного многоугольника Петри. На изображениях двойные соединения справа можно увидеть, что их многоугольники Петри имеют прямоугольные пересечения в точках, где края касаются общих средняя сфера.

Многоугольники Петри для Платоновых тел
КвадратШестиугольникДекагон
Скелет 4b, Петри, палка, размер m, 2-кратный квадрат.pngСкелет 6, Петри, палка, размер m, 3-кратный.pngСкелет 8, Петри, палка, размер m, 3-кратный.pngСкелет 12, Петри, палка, размер m, 5-кратный.pngСкелет 20, Петри, палка, размер m, 5-кратный.png
тетраэдр {3,3}куб {4,3}октаэдр {3,4}додекаэдр {5,3}икосаэдр {3,5}
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png
по краювершинно-центрированныйсосредоточенный на лицесосредоточенный на лицевершинно-центрированный
V:(4,0)V:(6,2)V:(6,0)V:(10,10,0)V:(10,2)

Многоугольники Петри являются внешней стороной этих ортогональных проекций.
Отсчет концентрических колец вершин ведется снаружи внутрь с обозначением: V:(аб, ...), оканчивающуюся нулем, если центральных вершин нет.
Количество сторон для {пq} равно 24 / (10−пq) − 2.[5]

gD и sD с шестиугольниками Петри
gI и gsD с декаграммами Петри

Многоугольники Петри Многогранники Кеплера – Пуансо находятся шестиугольники {6} и декаграммы {10/3}.

Многоугольники Петри для многогранников Кеплера – Пуансо.
ШестиугольникДекаграмма
Скелет Gr12, Петри, палка, размер m, 3-кратный.pngСкелет St12, Петри, палка, размер m, 3-кратный.pngСкелет Gr20, Петри, палка, размер m, 5-кратный.pngСкелет GrSt12, Петри, палка, размер m, 5-кратный.png
gD {5,5/2}sD {5,5/2}gI {3,5/2}GSD {5/2,3}
CDel node 1.pngCDel 5.pngCDel node.pngCDel 5-2.pngCDel node.pngCDel node 1.pngCDel 5.pngCDel node.pngCDel 5-2.pngCDel node.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 5-2.pngCDel node.pngCDel node 1.pngCDel 5-2.pngCDel node.pngCDel 3.pngCDel node.png

Бесконечные правильные косые многоугольники (апейрогон ) также можно определить как многоугольники Петри правильных мозаик, имеющих углы в 90, 120 и 60 градусов их квадратных, шестиугольных и треугольных граней соответственно.

Многоугольники Петри правильных мозаик.png

Бесконечные правильные косые многоугольники также существуют как многоугольники Петри регулярных гиперболических мозаик, например Треугольная мозаика порядка 7, {3,7}:

Треугольная мозаика Order-7 petrie polygon.png

Многоугольник Петри правильной полихоры (4-многогранники)

Многоугольник Петри тессеракт является восьмиугольник. Каждая тройка последовательных сторон принадлежит одной из восьми кубических клеток.

Многоугольник Петри для правильной полихоры {пq ,р} также можно определить.

4-симплексный t0.svg
{3,3,3}
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
5-элементный
5 сторон
V:(5,0)
4-orthoplex.svg
{3,3,4}
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
16 ячеек
8 сторон
V:(8,0)
4-куб graph.svg
{4,3,3}
CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
тессеракт
8 сторон
V:(8,8,0)
24-элементный t0 F4.svg
{3,4,3}
CDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
24-элементный
12 сторон
V:(12,6,6,0)
120-ячеечный граф H4.svg
{5,3,3}
CDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
120 ячеек
30 сторон
V:((30,60)3,603,30,60,0)
Граф из 600 ячеек H4.svg
{3,3,5}
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png
600 ячеек
30 сторон
V: (30,30,30,30,0)

Многоугольные проекции Петри правильных и однородных многогранников

Проекции многоугольника Петри полезны для визуализации многогранников размерности четыре и выше.

Гиперкубы

А гиперкуб измерения п имеет многоугольник Петри размером 2п, что также является числом его грани.
Итак, каждый из (п−1) -кубов, образующих его поверхность имеет п−1 сторона многоугольника Петри среди его ребер.

Неприводимые семейства многогранников

В этой таблице представлены полигональные проекции Петри трех правильных семейств (симплекс, гиперкуб, ортоплекс ), а исключительная группа Ли Eп которые порождают полуправильные и однородные многогранники для размерностей от 4 до 8.

Таблица семейств неприводимых многогранников
Семья
п
н-симплексн-гиперкубн-ортоплексн-полукуб1k22k1k21пятиугольный многогранник
ГруппаАпBп
я2(п)Dп
E6E7E8F4грамм2
ЧАСп
22-симплексный t0.svg
CDel node 1.pngCDel 3.pngCDel node.png

Треугольник

2-cube.svg
CDel node 1.pngCDel 4.pngCDel node.png

Квадрат

Правильный многоугольник 7.svg
CDel node 1.pngCDel p.pngCDel node.png
п-угольник
(пример: р = 7 )
Правильный многоугольник 6.svg
CDel node 1.pngCDel 6.pngCDel node.png
Шестиугольник
Правильный многоугольник 5.svg
CDel node 1.pngCDel 5.pngCDel node.png
Пентагон
33-симплексный t0.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
Тетраэдр
3-кубик t0.svg
CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
Куб
3-кубик t2.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
Октаэдр
3-demicube.svg
CDel nodea 1.pngCDel 3a.pngCDel branch.png
Тетраэдр
 Додекаэдр H3 projection.svg
CDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.png
Додекаэдр
Икосаэдр H3 projection.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png
Икосаэдр
44-симплексный t0.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
5-элементный
4-куб t0.svg
CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png

Тессеракт

4-кубик t3.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
16 ячеек
4-demicube t0 D4.svg
CDel nodea 1.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.png

Demitesseract

24-элементный t0 F4.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
24-элементный
120-ячеечный граф H4.svg
CDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
120 ячеек
Граф из 600 ячеек H4.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png
600 ячеек
55-симплексный t0.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
5-симплекс
5-куб graph.svg
CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
5-куб
5-orthoplex.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
5-ортоплекс
5-demicube.svg
CDel nodea 1.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
5-полукуб
  
66-симплексный t0.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
6-симплекс
6-кубический graph.svg
CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
6-куб
6-orthoplex.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
6-ортоплекс
6-demicube.svg
CDel nodea 1.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
6-полукуб
Вверх 1 22 t0 E6.svg
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch 01lr.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
122
E6 graph.svg
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea 1.png
221
 
77-симплексный t0.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
7-симплекс
7-куб graph.svg
CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
7-куб
7-orthoplex.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
7-ортоплекс
7-demicube.svg
CDel nodea 1.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
7-полукуб
Госсет 1 32 petrie.svg
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch 01lr.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
132
Gosset 2 31 polytope.svg
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea 1.png
231
E7 graph.svg
CDel nodea 1.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
321
 
88-симплексный t0.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
8-симплекс
8-cube.svg
CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
8-куб
8-orthoplex.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
8-ортоплекс
8-demicube.svg
CDel nodea 1.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
8-полукруглый
Gosset 1 42 многогранник petrie.svg
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch 01lr.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
142
2 41 многогранник petrie.svg
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea 1.png
241
Gosset 4 21 многогранник petrie.svg
CDel nodea 1.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
421
 
99-симплекс t0.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
9-симплекс
9-cube.svg
CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
9-куб
9-orthoplex.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
9-ортоплекс
9-demicube.svg
CDel nodea 1.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
9-полукуб
 
1010-симплексный t0.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
10-симплекс
10-cube.svg
CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
10-куб
10-orthoplex.svg
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
10-ортоплекс
10-demicube.svg
CDel nodea 1.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
10-полукуб
 


Примечания

  1. ^ Калейдоскопы: Избранные произведения Х. С. М. Кокстерапод редакцией Ф. Артура Шерка, Питер МакМаллен, Энтони С. Томпсон, Азия Ивич Вайс, публикация Wiley-Interscience, 1995, ISBN  978-0-471-01003-6 [1] (Определение: статья 13, Дискретные группы, порожденные отражениями, 1933, стр. 161)
  2. ^ Горини, Екатерина А. (2000), Геометрия в действии, Примечания МАА, 53, Cambridge University Press, стр. 181, ISBN  9780883851647
  3. ^ H.S.M. Кокстер (1937) "Правильный косой многогранник в трех и четырех измерениях и их топологические аналоги", Труды Лондонского математического общества (2) 43: 33-62
  4. ^ Х. С. М. Кокстер, Патрик дю Валь, H.T. Флатер, Дж. Ф. Петри (1938) Пятьдесят девять Икосаэдров, Университет Торонто этюды, математическая серия 6: 1–26
  5. ^ http://cms.math.ca/openaccess/cjm/v10/cjm1958v10.0220-0221.pdf

Рекомендации

  • Coxeter, Х. С. М. (1947, 63, 73) Правильные многогранники, 3-е изд. Нью-Йорк: Дувр, 1973 г. (раздел 2.6 Полигоны Петри стр. 24–25 и Глава 12, стр. 213–235, Обобщенный многоугольник Петри )
  • Кокстер, H.S.M. (1974) Правильные сложные многогранники. Раздел 4.3 Флаги и ортосхемы, Раздел 11.3 Многоугольники Петри
  • Болл, У. У. Р. и Х. С. М. Кокстер (1987) Математические развлечения и эссе, 13-е изд. Нью-Йорк: Дувр. (стр.135)
  • Кокстер, Х. С. М. (1999) Красота геометрии: двенадцать эссе, Dover Publications LCCN  99-35678
  • Питер МакМаллен, Эгон Шульте (2002) Абстрактные правильные многогранники, Издательство Кембриджского университета. ISBN  0-521-81496-0
  • Стейнберг, Роберт,О ЧИСЛЕ СТОРОН ПЕТРИ-ПОЛИГОНА

Смотрите также

Фундаментальный выпуклый обычный и однородные многогранники в размерах 2–10
СемьяАпBпя2(п) / DпE6 / E7 / E8 / F4 / грамм2ЧАСп
Правильный многоугольникТреугольникКвадратп-угольникШестиугольникПентагон
Равномерный многогранникТетраэдрОктаэдрКубДемикубДодекаэдрИкосаэдр
Равномерный 4-многогранник5-элементный16 ячеекТессерактDemitesseract24-элементный120 ячеек600 ячеек
Равномерный 5-многогранник5-симплекс5-ортоплекс5-куб5-полукуб
Равномерный 6-многогранник6-симплекс6-ортоплекс6-куб6-полукуб122221
Равномерный 7-многогранник7-симплекс7-ортоплекс7-куб7-полукуб132231321
Равномерный 8-многогранник8-симплекс8-ортоплекс8-куб8-полукруглый142241421
Равномерный 9-многогранник9-симплекс9-ортоплекс9-куб9-полукуб
Равномерный 10-многогранник10-симплекс10-ортоплекс10-куб10-полукуб
Униформа п-многогранникп-симплексп-ортоплексп-кубп-полукуб1k22k1k21п-пятиугольный многогранник
Темы: Семейства многогранниковПравильный многогранникСписок правильных многогранников и соединений

внешняя ссылка