WikiDer > Правильный 4-многогранник

Regular 4-polytope
В тессеракт является одним из 6 выпуклых правильных 4-многогранников

В математика, а правильный 4-многогранник это обычный четырехмерный многогранник. Они являются четырехмерными аналогами правильные многогранники в трех измерениях и правильные многоугольники в двух измерениях.

Правильные 4-многогранники впервые были описаны швейцарцами. математик Людвиг Шлефли в середине 19 века, хотя полный набор был обнаружен лишь позже.

Шесть выпуклый и десять звезда правильные 4-многогранники, всего шестнадцать.

История

Выпуклые правильные 4-многогранники впервые были описаны швейцарцами. математик Людвиг Шлефли в середине 19 века. Он обнаружил, что таких фигур ровно шесть.

Шлефли также нашел четыре правильных звездных 4-многогранника: большой 120-элементный, большой звездчатый 120-элементный, большой 600-элементный, и большой звездчатый 120-элементный. Он пропустил оставшиеся шесть, потому что не разрешал формы, которые не прошли Эйлерова характеристика на клетках или фигурах вершин (для торов с нулевой дыркой: F − E + V = 2). Это исключает ячейки и фигуры вершин как {5,5/2} и {5/2,5}.

Эдмунд Гесс (1843–1903) опубликовал полный список в своей немецкой книге 1883 г. Einleitung in die Lehre von der Kugelteilung mit besonderer Berücksichtigung ihrer Anwendung auf die Theorie der Gleichflächigen und der gleicheckigen Polyeder.

Строительство

Существование правильного 4-многогранника ограничивается существованием правильных многогранников которые образуют его клетки и двугранный угол ограничение

чтобы гарантировать, что ячейки встречаются, чтобы сформировать замкнутую 3-поверхность.

Описанные шесть выпуклых и десять звездных многогранников являются единственными решениями этих ограничений.

Есть четыре невыпуклых Символы Шлефли {p, q, r}, которые имеют допустимые ячейки {p, q} и фигуры вершин {q, r} и проходят двугранный тест, но не дают конечных фигур: {3,5/2,3}, {4,3,5/2}, {5/2,3,4}, {5/2,3,5/2}.

Правильные выпуклые 4-многогранники

Правильные выпуклые 4-многогранники являются четырехмерными аналогами Платоновы тела в трех измерениях и выпуклой правильные многоугольники в двух измерениях.

Пять из них можно рассматривать как близкие аналоги Платоновых тел. Еще одна цифра, 24-элементный, не имеет близкого трехмерного эквивалента.

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

Характеристики

В следующих таблицах перечислены некоторые свойства шести выпуклых правильных 4-многогранников. Все группы симметрии этих 4-многогранников являются Группы Кокстера и приведены в обозначениях, описанных в этой статье. Число после названия группы - это порядок группы.

ИменаИзображениеСемьяSchläfli
Coxeter
VEFCVert.
инжир.
ДвойнойГруппа симметрии
5-элементный
пентахорон
пентатоп
4-симплексный
4-симплексный t0.svgп-суплекс
п семья)
{3,3,3}
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
51010
{3}
5
{3,3}
{3,3}(самодвойственный)А4
[3,3,3]
120
8-элементный
октахорон
тессеракт
4-куб
4-куб t0.svgгиперкуб
п-куб
(Bп семья)
{4,3,3}
CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
163224
{4}
8
{4,3}
{3,3}16 ячеекB4
[4,3,3]
384
16 ячеек
гексадекахорон
4-ортоплекс
4-кубик t3.svgп-ортоплекс
(Bп семья)
{3,3,4}
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
82432
{3}
16
{3,3}
{3,4}8-элементныйB4
[4,3,3]
384
24-элементный
икоситетрахорон
октаплекс
полиоктаэдр (pO)
24-элементный t0 F4.svgFп семья{3,4,3}
CDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
249696
{3}
24
{3,4}
{4,3}(самодвойственный)F4
[3,4,3]
1152
120 ячеек
гекатоникосахорон
додекаконтахорон
додекаплекс
полидодекаэдр (pD)
120-ячеечный граф H4.svgn-пятиугольный многогранник
(ЧАСп семья)
{5,3,3}
CDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
6001200720
{5}
120
{5,3}
{3,3}600 ячеекЧАС4
[5,3,3]
14400
600 ячеек
гексакозихорон
тетраплекс
политетраэдр (pT)
Граф из 600 ячеек H4.svgn-пятиугольный многогранник
(ЧАСп семья)
{3,3,5}
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png
1207201200
{3}
600
{3,3}
{3,5}120 ячеекЧАС4
[5,3,3]
14400

Джон Конвей отстаивал названия симплекс, ортоплекс, тессеракт, октаплекс или полиоктаэдр (pO), додекаплекс или полидодекаэдр (pD) и тетраплекс или политетраэдр (pT).[1]

Норман Джонсон выступал за названия n-клетка, или пентахорон, тессеракт или октахорон, гексадекахорон, икоситетрахорон, гекатоникосахорон (или додекаконтахорон) и гексакосихорон, вводя термин полихорон являясь четырехмерной аналогией трехмерного многогранника и двухмерного многоугольника, выраженного из Греческий корни поли («многие») и хоро («комната» или «пространство»).[2][3]

В Эйлерова характеристика для всех 4-многогранников равен нулю, имеем 4-мерный аналог полиэдральной формулы Эйлера:

куда Nk обозначает количество k-грани в многограннике (вершина - это 0-грань, ребро - 1-грань и т. д.).

Топология любого данного 4-многогранника определяется его Бетти числа и коэффициенты кручения.[4]

Как конфигурации

Правильный 4-многогранник полностью описывается как матрица конфигурации содержащий количество составляющих его элементов. Строки и столбцы соответствуют вершинам, ребрам, граням и ячейкам. Диагональные числа (сверху слева направо снизу) говорят, сколько элементов каждого элемента встречается во всем 4-многограннике. Недиагональные числа говорят, сколько элементов столбца встречается в элементе строки или рядом с ним. Например, есть 2 вершины в каждый край (каждый край имеет 2 вершины) и 2 клетки пересекаются в каждое лицо (каждое лицо принадлежит 2 клетки) в любом правильном 4-многограннике. Обратите внимание, что конфигурацию двойного многогранника можно получить, повернув матрицу на 180 градусов.[5][6]

5-элементный
{3,3,3}
16 ячеек
{3,3,4}
тессеракт
{4,3,3}
24-элементный
{3,4,3}
600 ячеек
{3,3,5}
120 ячеек
{5,3,3}

Визуализация

В следующей таблице показаны некоторые двумерные проекции этих 4-многогранников. Различные другие визуализации можно найти по внешним ссылкам ниже. В Диаграмма Кокстера-Дынкина графики также приведены под Символ Шлефли.

А4 = [3,3,3]B4 = [4,3,3]F4 = [3,4,3]ЧАС4 = [5,3,3]
5-элементный8-элементный16 ячеек24-элементный120 ячеек600 ячеек
{3,3,3}{4,3,3}{3,3,4}{3,4,3}{5,3,3}{3,3,5}
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png
Твердый 3D орфографические проекции
Tetrahedron.png
Тетраэдр
конверт

(по центру ячейки / вершины)
Hexahedron.png
Кубический конверт
(по центру ячейки)
16-cell ortho cell-centered.png
кубический конверт
(по центру ячейки)
Ortho solid 24-cell.png
Кубооктаэдр
конверт

(по центру ячейки)
Ortho solid 120-cell.png
Усеченный ромбический
триаконтаэдр
конверт

(по центру ячейки)
Ortho solid 600-cell.png
пентакис икосододекаэдрический
конверт

(по центру вершины)
Каркас Диаграммы Шлегеля (Перспективная проекция)
Schlegel wireframe 5-cell.png
Центрированный на ячейке
Schlegel wireframe 8-cell.png
Центрированный на ячейке
Schlegel wireframe 16-cell.png
Центрированный на ячейке
Schlegel wireframe 24-cell.png
Центрированный на ячейке
Каркас Schlegel 120-cell.png
Центрированный на ячейке
Каркас Шлегеля, 600 ячеек, vertex-centered.png
По центру вершины
Каркас стереографические проекции (3-сфера)
Стереографический многогранник 5cell.pngСтереографический многогранник 8cell.pngСтереографический многогранник 16cell.pngСтереографический многогранник 24cell.pngСтереографический многогранник 120cell.pngСтереографический многогранник 600cell.png

Правильная звезда (Шлефли – Гесса) 4-многогранники

Это показывает отношения между четырехмерными звездными многогранниками. Две выпуклые формы и 10 звездных форм можно увидеть в 3D как вершины кубооктаэдр.[7]
Подмножество отношений между 8 формами 120-ячеечного полидодекаэдра (pD). Три операции {a, g, s} коммутируемы, определяя кубический каркас. Есть 7 плотности видно в вертикальном положении, с двумя двойными формами, имеющими одинаковую плотность.

В 4-многогранники Шлефли – Гесса полный набор из 10 обычный самопересекающийся звездная полихора (четырехмерные многогранники).[8] Названы они в честь первооткрывателей: Людвиг Шлефли и Эдмунд Гесс. Каждый представлен Символ Шлефли {п,q,р} в котором одно из чисел 5/2. Таким образом, они аналогичны регулярным невыпуклым Многогранники Кеплера – Пуансо, которые, в свою очередь, аналогичны пентаграмме.

Имена

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

  1. звездчатость - заменяет края более длинными в тех же строках. (Пример: a пятиугольник превращается в пентаграмма)
  2. приветствие - заменяет грани на большие в тех же плоскостях. (Пример: икосаэдр превращается в большой икосаэдр)
  3. возвышение - заменяет клетки на большие в тех же 3-х ячейках. (Пример: a 600 ячеек превращается в большой 600-элементный)

Джон Конвей называет 10 форм из 3 правильных ячеек 4-многогранников: pT = политетраэдр {3,3,5} (тетраэдр 600 ячеек), pI = поликошедр {3,5,5/2} (an икосаэдрический 120-элементный), а pD = полидодекаэдр {5,3,3} (додекаэдр 120 ячеек), с модификаторами префикса: грамм, а, и s for great, (ag) grand, и звездчатый. Последняя звездочка, большой звездчатый полидодекаэдр содержит их все как ахнуть.

Симметрия

Все десять полихор имеют [3,3,5] (ЧАС4) гексакосихорическая симметрия. Они генерируются из 6 связанных Тетраэдры Гурса группы симметрии рационального порядка: [3,5,5/2], [5,5/2,5], [5,3,5/2], [5/2,5,5/2], [5,5/2, 3] и [3,3,5/2].

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

Характеристики

Примечание:

Клетки (многогранники), их грани (многоугольники), многоугольный крайние фигуры и многогранник фигуры вершин идентифицируются по их Символы Шлефли.

Имя
Конвей (сокращенно)
Ортогональный
проекция
Schläfli
Coxeter
C
{p, q}
F
{п}
E
{р}
V
{q, r}
Dens.χ
Икосаэдрический 120-элементный
поликосаэдр (pI)
Орто сплошной 007-однородный полихорон 35p-t0.png{3,5,5/2}
CDel node 1.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.pngCDel rat.pngCDel d2.pngCDel node.png
120
{3,5}
Икосаэдр.png
1200
{3}
Обычный треугольник .svg
720
5
Звездный многоугольник 5-2.svg
120
{5,5/2}
Большой додекаэдр.png
4480
Маленький звездчатый 120-элементный
звездчатый полидодекаэдр (spD)
Ortho solid 010-однородный полихорон p53-t0.png{5/2,5,3}
CDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.pngCDel rat.pngCDel d2.pngCDel node 1.png
120
{5/2,5}
Малый звездчатый додекаэдр.png
720
5
Звездный многоугольник 5-2.svg
1200
{3}
Обычный треугольник .svg
120
{5,3}
Dodecahedron.png
4−480
Отличный 120-элементный
большой полидодекаэдр (gpD)
Орто сплошной 008-однородный полихорон 5п5-t0.png{5,5/2,5}
CDel node 1.pngCDel 5.pngCDel node.pngCDel 5.pngCDel rat.pngCDel d2.pngCDel node.pngCDel 5.pngCDel node.png
120
{5,5/2}
Большой додекаэдр.png
720
{5}
Обычный pentagon.svg
720
{5}
Обычный pentagon.svg
120
{5/2,5}
Малый звездчатый додекаэдр.png
60
Большой 120-элементный
большой полидодекаэдр (apD)
Орто сплошной 009-однородный полихорон 53p-t0.png{5,3,5/2}
CDel node 1.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel rat.pngCDel d2.pngCDel node.png
120
{5,3}
Dodecahedron.png
720
{5}
Обычный pentagon.svg
720
5
Звездный многоугольник 5-2.svg
120
{3,5/2}
Большой икосаэдр.png
200
120-элементный звездчатый
большой звездчатый полидодекаэдр (gspD)
Орто-сплошной 012-однородный полихорон p35-t0.png{5/2,3,5}
CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel rat.pngCDel d2.pngCDel node 1.png
120
{5/2,3}
Большой звездчатый додекаэдр.png
720
5
Звездный многоугольник 5-2.svg
720
{5}
Обычный pentagon.svg
120
{3,5}
Икосаэдр.png
200
Большой звездчатый 120-элементный
большой звездчатый полидодекаэдр (aspD)
Орто-сплошной 013-однородный полихорон p5p-t0.png{5/2,5,5/2}
CDel node 1.pngCDel 5.pngCDel rat.pngCDel d2.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.pngCDel rat.pngCDel d2.pngCDel node.png
120
{5/2,5}
Малый звездчатый додекаэдр.png
720
5
Звездный многоугольник 5-2.svg
720
5
Звездный многоугольник 5-2.svg
120
{5,5/2}
Большой додекаэдр.png
660
Большой 120-элементный
большой большой полидодекаэдр (gapD)
Орто сплошной 011-однородный полихорон 53p-t0.png{5,5/2,3}
CDel node 1.pngCDel 5.pngCDel node.pngCDel 5.pngCDel rat.pngCDel d2.pngCDel node.pngCDel 3.pngCDel node.png
120
{5,5/2}
Большой додекаэдр.png
720
{5}
Обычный pentagon.svg
1200
{3}
Обычный треугольник .svg
120
{5/2,3}
Большой звездчатый додекаэдр.png
76−480
Большой икосаэдр 120 ячеек
большой поликосаэдр (gpI)
Орто сплошной 014-однородный полихорон 3п5-t0.png{3,5/2,5}
CDel node.pngCDel 5.pngCDel node.pngCDel 5.pngCDel rat.pngCDel d2.pngCDel node.pngCDel 3.pngCDel node 1.png
120
{3,5/2}
Большой икосаэдр.png
1200
{3}
Обычный треугольник .svg
720
{5}
Обычный pentagon.svg
120
{5/2,5}
Малый звездчатый додекаэдр.png
76480
Гранд 600-секционный
большой политетраэдр (apT)
Орто сплошной 015-однородный полихорон 33p-t0.png{3,3,5/2}
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel rat.pngCDel d2.pngCDel node.png
600
{3,3}
Tetrahedron.png
1200
{3}
Обычный треугольник .svg
720
5
Звездный многоугольник 5-2.svg
120
{3,5/2}
Большой икосаэдр.png
1910
Большой звездчатый 120-элементный
большой звездчатый полидодекаэдр (gaspD)
Орто массив 016-однородный полихорон p33-t0.png{5/2,3,3}
CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel rat.pngCDel d2.pngCDel node 1.png
120
{5/2,3}
Большой звездчатый додекаэдр.png
720
5
Звездный многоугольник 5-2.svg
1200
{3}
Обычный треугольник .svg
600
{3,3}
Tetrahedron.png
1910

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

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

Цитаты

  1. ^ Конвей, Берджел и Гудман-Страсс, 2008 г., Гл. 26. Еще выше
  2. ^ "Выпуклые и абстрактные многогранники", Программа и аннотации, MIT, 2005
  3. ^ Джонсон, Норман В. (2018). «§ 11.5 Сферические группы Кокстера». Геометрии и преобразования. Издательство Кембриджского университета. С. 246–. ISBN 978-1-107-10340-5.
  4. ^ Ричсон, Дэвид С. (2012). "23. Анри Пуанкаре и господство топологии". Драгоценный камень Эйлера: формула многогранника и рождение топологии. Издательство Принстонского университета. С. 256–. ISBN 978-0-691-15457-2.
  5. ^ Кокстер 1973, § 1.8 Конфигурации
  6. ^ Кокстер, Сложные регулярные многогранники, стр.117
  7. ^ Конвей, Берджел и Гудман-Страсс, 2008 г., п. 406, Рис 26.2
  8. ^ Кокстер, Звездные многогранники и функция Шлефли f (α, β, γ) п. 122 2. Многогранники Шлефли-Гесса

Библиография

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