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

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

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

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

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

Содержание
  • 1 История
  • 2 Многоугольники Петри правильных многогранников
  • 3 Многоугольник Петри правильных полихор (4-многогранники)
  • 4 Проекции многоугольников Петри правильных и однородных многогранников
    • 4.1 Гиперкубы
    • 4.2 Неприводимые семейства многогранников
  • 5 Примечания
  • 6 Ссылки
  • 7 См. также
  • 8 Внешние ссылки
История

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

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

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

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

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

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

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

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

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

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.png CDel 5.png CDel node.png CDel 5-2. png CDel node.png CDel node 1.png CDel 5.png CDel node.png CDel 5-2. png CDel node.png CDel node 1.png CDel 3.png CDel node.png CDel 5-2. png CDel node.png CDel node 1.png CDel 5-2. png CDel node.png CDel 3.png CDel node.png

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

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

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

Треугольная мозаика порядка 7-го порядка petrie polygon.png
Многоугольник Петри правильных полихор (4- многогранники)
Многоугольник Петри тессеракта является восьмиугольником. Каждая тройка последовательных сторон принадлежит одной из восьми кубических ячеек.

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

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

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

Гиперкубы

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

Гиперкубы

Дигон Петри 1-кубов выглядит идентично 1-кубу. Но у 1-куба одно ребро, а у двуугольника - два.. Квадрат Петри 2-куба идентичен 2-кубу.. Каждая пара последовательных сторон петри 3-куба шестиугольник принадлежит одной из его шести квадратных граней.. Каждая тройка последовательных сторон восьмиугольника Петри 4-куба принадлежит одной из его восьми ячеек куба.

. На изображениях показано, как многоугольник Петри для измерения n + 1 может быть построен из многоугольника для измерения n:

  • Первая половина (ребра между вершинами с номерами <2) остается на месте.
  • Вторая половина перемещается в следующее измерение (2 добавляются к номерам вершин).
  • Два новых ребра (показаны оранжевым) добавляются для соединения двух частей.

(Для n = 1 первая и вторая половина являются двумя различными, но совпадающими ребрами двуугольника.)

. Стороны каждого многоугольника Петри принадлежат следующим измерениям:. (1, 1), ( 1, 2, 1, 2), (1, 2, 3, 1, 2, 3), (1, 2, 3, 4, 1, 2, 3, 4) и т. Д.. Таким образом, любые n последовательных стороны относятся к разным размерам.

КвадратКубТессеракт
Синий квадрат, серый равно Petrie.png Синий куб with Petrie polygon.png Tesseract Schlegel Petrie.png
пронумерованный 2-куб, серый равняется Petrie.svg пронумерованный 3-куб, Petrie.svg Пронумерованный 4-куб, Petrie.svg

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

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

Таблица семейств неприводимых многогранников
Семейство. n n-симплекс n-гиперкуб n-ортоплекс n-полукуб 1k2 2k1 k21 пятиугольный многогранник
Группа AnBn
I2(p)Dn
E6E7E8F4G2
Hn
2 2-симплекс t0.svg . CDel node 1.png CDel 3.png CDel node.png

Треугольник

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

Квадрат

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

Tesseract

4-cube t3.svg . CDel node 1.png CDel 3.png CDel node.png CDel 3.png CDel node.png CDel 4.png CDel node.png . 16-элементный 4- demicube t0 D4.svg . CDel nodea 1.png CDel 3a.png CDel branch.png CDel 3a.png CDel nodea.png

Demitesseract

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

.

Примечания
Ссылки
  • Кокстер, HSM (1947, 63, 73) Правильные многогранники, 3-е изд. Нью-Йорк: Довер, 1973. (раздел 2.6 Полигоны Петри, стр. 24–25 и глава 12, стр. 213–235, Обобщенный многоугольник Петри)
  • Coxeter, H.S.M. (1974) Правильные комплексные многогранники. Раздел 4.3. Флаги и ортосхемы. Раздел 11.3. Многоугольники Петри.
  • Болл, У. У. Р. и Х. С. М. Кокстер (1987) «Математические развлечения и эссе», 13-е изд. Нью-Йорк: Дувр. (стр. 135)
  • Coxeter, HSM (1999) The Beauty of Geometry: Twelve Essays, Dover Publications LCCN 99-35678
  • Питер МакМаллен, Egon Schulte (2002) Абстрактные правильные многогранники, Cambridge University Press. ISBN 0-521-81496-0
  • Роберт Стейнберг, О ЧИСЛЕ СТОРОН ПЕТРИ ПОЛИГОНА
См. Также
Различные визуализации перспективы икосаэдра Сеть Ортогональная Петри Шлегель Вершинная фигура
  • v
  • t
Основная выпуклая правильная и однородные многогранники в измерениях 2–10
An Bn I2(p) / Dn E6 / E7 / E8 / F4 / G2 Hn
Треугольник Квадрат p-угольник Шестиугольник Пентагон
Тетраэдр ОктаэдрКуб Демикуб ДодекаэдрИкосаэдр
5-элементный 16-элементныйТессеракт Демитессеракт 24 ячейки 120 ячеек600 ячеек
5-симплекс 5-ортоплекс5-куб 5-полукуб
6-симплекс 6-ортоплекс6-куб 6-полукуб 122221
7-симплекс 7-ортоплекс7-кубик 7-полукуб 132231321
8-симплекс 8-ортоплекс8-куб 8-полукуб 142241421
9-симплекс 9-ортоплекс9-куб 9-полукуб
10-симплекс 10-ортоплекс10-куб 10-полукуб
n-симплекс n-ортоплекс • n- куб n-демикуб 1k22k1k21 n-пятиугольный многогранник
Темы: Семейства многогранниковПравильный многогранникСписок правильных многогранников и соединений
Внешние ссылки
Викискладе есть медиафайлы, связанные с многоугольниками Петри.
Последняя правка сделана 2021-06-01 11:16:38
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте