Русская Википедия:Многоугольник Петри

Материал из Онлайн справочника
Версия от 05:49, 28 августа 2023; EducationBot (обсуждение | вклад) (Новая страница: «{{Русская Википедия/Панель перехода}} {{Визуализации икосаэдра}} '''Многоугольник Петри''' для правильного многогранника в размерности <math>n</math> — это пространственный многоугольник<ref>В английской литературе ...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:Визуализации икосаэдра

Многоугольник Петри для правильного многогранника в размерности <math>n</math> — это пространственный многоугольник[1], такой что любые <math>(n-1)</math> последовательных ребра (но не <math>n</math>) принадлежат одной <math>(n-1)</math>-мерной грани. В частности,

Для любого правильного многогранника существует ортогональная проекция на плоскость, при которой многоугольник Петри становится правильным многоугольником, содержащим внутри себя все остальные части проекции. При этом плоскость, на которую производится проекция, является Шаблон:Не переведено 5 группы симметрии многоугольника, а число сторон <math>h</math> является числом Коксетера группы Коксетера. Эти многоугольники и спроецированные графы полезны для показа структур симметрии правильных многогранников большой размерности.

История

Файл:Petrie polygon mapping cube to hexagon.png
Многоугольник Петри для куба — пространственный шестиугольник, проходящий через 6 из 8 вершин. Пространственный многоугольник Петри можно рассматривать как правильный плоский многоугольник после ортогональной проекции.

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

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

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

В 1938 Петри, Коксетер, Шаблон:Не переведено 5 и Х. Т. Флазер выпустили книгу The Fifty-Nine Icosahedra (Пятьдесят девять икосаэдров) Шаблон:Sfn. Понимая важность пространственных многогранников, использованных Петри, Коксетер назвал их именем своего друга, когда писал книгу Шаблон:Не переведено 5 (Правильные многогранники).

В 1972, через несколько месяцев после выхода на пенсию, Петри погиб, когда пытался перебежать шоссе рядом со своим домом в графстве Суррей Шаблон:Sfn.

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

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

Многоугольник Петри правильного многогранника, имеющего символ Шлефли <math>\{p, q\}</math>, имеет <math>h</math> сторон, где

<math>cos^2(\pi/h) = cos^2(\pi/p) + cos^2(\pi/q)</math>.

Многоугольники Петри двойственных правильных многогранников <math>\{p, q\}</math> и <math>\{q, p\}</math> имеют подобные проекции.

Многоугольники Петри для правильных многогранников (красные многоугольники)
Файл:Petrie polygons.png
тетраэдр куб октаэдр додекаэдр икосаэдр
Шаблон:CDD Шаблон:CDD Шаблон:CDD Шаблон:CDD Шаблон:CDD
центрирован пр рёбрам центрирован по вершинам центрирован по граням центрирован по граням центрирован по вершинам
4 стороны 6 сторон 6 сторон 10 сторон 10 сторон
<math>V:(4, 0)</math> <math>V:(6, 2)</math> <math>V:(6, 0)</math> <math>V:(10, 10, 0)</math> <math>V:(10, 2)</math>
Многоугольники Петри являются внешними границами этих ортогональных проекций. Синим выделены «передние» рёбра, а серым цветом показаны задние рёбра.

Концентрические кольца вершин вершин отсчитываются снаружи внутрь с обозначением: <math>V:(a, b, \dots)</math>, кончая нулём, если нет центральных вершин.

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

Файл:Petrie polygons of regular tilings.png

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

Файл:Order-7 triangular tiling petrie polygon.png

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

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

Файл:4-simplex t0.svg
{3,3,3}
Шаблон:CDD
пятиячейник
5 сторон
V:(5,0) 		Файл:4-orthoplex.svg
{3,3,4}
Шаблон:CDD
шестнадцатиячейник
8 сторон
V:(8,0) 		Файл:4-cube graph.svg
{4,3,3}
Шаблон:CDD
тессеракт
8 сторон
V:(8,8,0)
Файл:24-cell t0 F4.svg
{3,4,3}
Шаблон:CDD
Двадцатичетырёхъячейник
12 сторон
V:(12,6,6,0) 		Файл:120-cell graph H4.svg
{5,3,3}
Шаблон:CDD
Стодвадцатиячейник
30 сторон
V:((30,60)3,603,30,60,0) 		Файл:600-cell graph H4.svg
{3,3,5}
Шаблон:CDD
Шестисотячейник
30 сторон
V:(30,30,30,30,0)

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

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

Двойственный Петри

Для обсуждения двойственных многоугольников Петри введём понятие схема Шаблон:Sfn Неформально, схема P — это семейство многоугольников (которые могут быть бесконечноугольными), такое, что

  • Любые два многоугольника имеют общее ребро или вершину, либо не пересекаются вовсе.
  • Каждое ребро принадлежит ровно двум многоугольникам.
  • Многоугольники, содержащие выбранную вершину, образуют один цикл смежных многоугольников (имеющих общие рёбра).
  • Любые два многоугольника связаны цепочкой смежных многоугольников.

Схема P будет иметь группу автоморфизмов Γ (P) и P называется регулярной, если Γ (P) транзитивна на множестве F (P) флагов P. Если регулярная схема P имеет p-угольные грани и q-угольные вершинные фигуры, то говорят, что она имеет (Шлефли) тип {p, q}. Любой правильный многогранник или бесконечногранник порождает регулярную схему естественным образом.


Петри двойственный (Петриал[3]) правильного многогранника — это регулярная схема, вершины и рёбра которой соответствуют вершинам и рёбрам исходного многогранника, а гранями являются множество многоугольников Петри. Эта схема обозначается как оператор π (в виде верхнего индекса) над правильным многогранником. Каждое ребро принадлежит двум граням (многоугольникам Петри) Шаблон:Sfn[4][5][6].

Петриал тетраэдра, {3,3}π, имеет 4 вершины, 6 рёбер и 3 квадратные грани (в виде пространственных квадратов, то есть вершины квадрата не лежат в одной плоскости). Имея эйлерову характеристику χ = 1, петриал топологически идентичен Шаблон:Не переведено 5 {4,3}/2.

Петриал куба, {4,3}π, имеет 8 вершин, 12 рёбер и 4 пространственных шестиугольника, показанных красным, зелёным, синим и оранжевым на рисунке. Он имеет эйлерову характеристику 0, и его можно рассматривать как четыре шестиугольные грани тороидальной шестиугольной мозаики {6,3}(2,0).

Петриал октаэдра, {3,4}π, имеет 6 вершин, 12 рёбер и 4 пространственных шестиугольных грани. Петриал имеет эйлерову характеристику −2, и имеет отображение в гиперболическую Шаблон:Не переведено 5, {6,4}3.

Петриал додекаэдра, {5,3}π, имеет 20 вершин, 30 рёбер и 6 граней в виде пространственных додекаэдров. Его эйлерова характеристика равна −4, и он связан с гиперболической мозаикой {10,3}5.

Петриал икосаэдра, {3,6}π, имеет 12 вершин, 30 рёбер и 6 граней в виде пространственных додекаэдров. Его эйлерова характеристика равна −12, и он связан с гиперболической мозаикой {10,5}3.

Правильные петриалы
Петриал тетраэдра
{3,3}π = {4,3}3 = {4,3}/2 		Петриал куба
{4,3}π = {6,3}3 = {6,3}(2,0) 		Петриал октаэдра
{3,4}π = {6,4}3 		Петриал додекаэдра
{5,3}π = {10,3}5. 		Петриал икосаэдра
{3,5}π = {10,5}3.
3 пространственных квадрата 4 пространственных шестиугольника 6 пространственных десятиугольников
Файл:Tetrahedron 3 petrie polygons.png Файл:Cube 4 petrie polygons.png Файл:Octahedron 4 petrie polygons.png Файл:Petrial dodecahedron.png Файл:Petrial icosahedron.png
Файл:Hemicube2.PNG
{4,3}3 = Шаблон:Не переведено 5 		Файл:Toroidal hexagonal tiling 2-0.png
{6,3}3 = {6,3}(2,0)

Примечания

Шаблон:Примечания

Литература

Ссылки

Шаблон:Многогранники

Шаблон:Rq

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ В английской литературе — skew polygon, буквально — косой многоугольник. В русской литературе прижился термин пространственный многоугольник, а термин косой многоугольник соответствует термину skew polyhedron (косой многогранник).
  2. ↑ Часто встречается также написание фамилии Питри
  3. ↑ От Petrie dual
  4. ↑ Шаблон:Cite web
  5. ↑ Шаблон:Cite web
  6. ↑ Coxeter-Petrie Complexes of Regular Maps
Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Многоугольник_Петри&oldid=10395000