120-ячеечный
Эту статью может потребовать очистки Википедии , чтобы она соответствовала стандартам качества . Конкретная проблема заключается в следующем: Чрезмерное количество пояснительных сносок. Программы чтения с экрана могут поместить их в конец статьи, что сбивает с толку вырванное из контекста. Объедините его с основной статьей или оставьте там, где контент уже включен в связанную статью. ( Май 2024 г. ) |
120-ячеечный | |
---|---|
Тип | Выпуклый правильный 4-многогранник |
Символ Шлефли | {5,3,3} |
Диаграмма Кокстера | |
Клетки | 120 {5,3} |
Лица | 720 {5} |
Края | 1200 |
Вершины | 600 |
Вершинная фигура | тетраэдр |
Полигон Петри | 30-угольник |
Группа Коксетера | Ч 4 , [3,3,5] |
Двойной | 600-ячеечный |
Характеристики | выпуклый , изогональный , изотоксальный , изоэдральный |
Единый индекс | 32 |
В геометрии — 120-ячейка это выпуклый правильный 4-многогранник (четырёхмерный аналог платонова тела ) с символом Шлефли {5,3,3}. Его также называют C 120 , додекаплексом (сокращение от «додекаэдрический комплекс»), гипердодекаэдром , полидодекаэдром , гекатоникосахороном , додекаконтахороном. [1] и гекатоникосаэдроид . [2]
Граница 120-ячейки состоит из 120 додекаэдрических ячеек , по 4 сходящихся в каждой вершине. Вместе они образуют 720 пятиугольных граней, 1200 ребер и 600 вершин. Это четырехмерный аналог правильного додекаэдра , поскольку додекаэдр имеет 12 пятиугольных граней, по 3 вокруг каждой вершины, а додекаплекс имеет 120 додекаэдра, по 3 вокруг каждого ребра. [а] Его двойной многогранник — 600-ячеечный .
Геометрия
[ редактировать ]120-ячеечный включает в себя геометрию каждого выпуклого правильного многогранника в первых четырех измерениях (кроме многоугольников {7} и выше). [б] Как шестой и самый большой правильный выпуклый 4-многогранник, [с] он содержит вписанные экземпляры своих четырех предшественников (рекурсивно). Он также содержит 120 вписанных экземпляров первой в последовательности, 5-клеточной , [д] чего нет ни в одном другом. [4] 120-ячеечный — это четырехмерный швейцарский армейский нож : в нем есть все.
Изучать 120-ячеечный многогранник сложно, но поучительно, поскольку он содержит примеры всех отношений между всеми выпуклыми правильными многогранниками, обнаруженными в первых четырех измерениях. И наоборот, его можно понять, только сначала поняв каждого из его предшественников и последовательность все более сложных симметрий, которые они демонстрируют. [5] Вот почему Стиллвелл назвал свою статью о 4-многогранниках и истории математики [6] более чем в трех измерениях . История 120-клеточного . [7]
Правильные выпуклые 4-многогранники |
---|
Декартовы координаты
[ редактировать ]Естественные декартовы координаты 4-мерного многогранника с центром в начале 4-мерного пространства встречаются в разных системах отсчета, в зависимости от выбранного большого радиуса (от центра к вершине).
√8 координат радиуса
[ редактировать ]120-ячейка с большим радиусом √ 8 = 2 √ 2 ≈ 2,828 имеет длину ребра 4−2φ = 3− √ 5 ≈ 0,764.
В этой системе отсчета его 600 координат вершин являются { перестановками } и [ четными перестановками ] следующих элементов: [8]
24 | ({0, 0, ±2, ±2}) | 24-ячеечный | 600 точек, 120 ячеек |
---|---|---|---|
64 | ({±φ, ±φ, ±φ, ±φ −2 }) | ||
64 | ({±1, ±1, ±1, ± √ 5 }) | ||
64 | ({±φ −1 , ±φ −1 , ±φ −1 , ±φ 2 }) | ||
96 | ([0, ±φ −1 , ±φ, ± √ 5 ]) | Курносый 24-клеточный | |
96 | ([0, ±φ −2 , ±1, ±φ 2 ]) | Курносый 24-клеточный | |
192 | ([±φ −1 , ±1, ±φ, ±2]) |
где φ (также называемый 𝝉) [ф] это золотое сечение , 1 + √ 5 / 2 ≈ 1.618.
Координаты радиуса единицы
[ редактировать ]120-ячейка единичного радиуса имеет длину ребра 1 / ж 2 √ 2 ≈ 0.270.
В этой системе отсчета 120-ячейка расположена вершиной вверх в стандартной ориентации, а ее координаты [9] это { перестановки } и [ четные перестановки ] в левом столбце ниже:
120 | 8 | ({±1, 0, 0, 0}) | 16-ячеечный | 24-ячеечный | 600-ячеечный | 120-ячеечный |
---|---|---|---|---|---|---|
16 | ({±1, ±1, ±1, ±1}) / 2 | Тессеракт | ||||
96 | ([0, ±φ −1 , ±1, ±φ]) / 2 | Курносый 24-клеточный | ||||
480 | Уменьшенный 120-ячеечный | 5-точечный 5-клеточный | 24-ячеечный | 600-ячеечный | ||
32 | ([±φ, ±φ, ±φ, ±φ −2 ]) / √ 8 | (1, 0, 0, 0) (−1, √ 5 , √ 5 , √ 5 ) / 4 | ({± √ 1/2 , ± √ 1/2 , 0, 0}) | ({±1, 0, 0, 0}) ({±1, ±1, ±1, ±1}) / 2 | ||
32 | ([±1, ±1, ±1, ± √ 5 ]) / √ 8 | |||||
32 | ([±φ −1 , ±φ −1 , ±φ −1 , ±φ 2 ]) / √ 8 | |||||
96 | ([0, ±φ −1 , ±φ, ± √ 5 ]) / √ 8 | |||||
96 | ([0, ±φ −2 , ±1, ±φ 2 ]) / √ 8 | |||||
192 | ([±φ −1 , ±1, ±φ, ±2]) / √ 8 | |||||
Координаты единичного радиуса однородных выпуклых 4-многогранников связаны умножением кватернионов . Поскольку правильные 4-многогранники являются составными элементами друг друга, их наборы декартовых 4-координат (кватернионов) являются произведениями друг друга. Координаты единичного радиуса 600 вершин 120-ячейки (в левом столбце выше) представляют собой все возможные кватернионные произведения. [10] из 5 вершин 5-ячейки, 24 вершин 24-ячейки и 120 вершин 600-ячейки (в трех других столбцах выше). [г] |
В таблице приведены координаты по крайней мере одного экземпляра каждого 4-многогранника, но ячейка из 120 содержит кратные пяти вписанные экземпляры каждого из его предшественников 4-многогранника, занимающие разные подмножества его вершин. (600 точек) 120 ячеек представляет собой выпуклую оболочку из 5 непересекающихся (120 точек) 600 ячеек. Каждая (120-точечная) 600-ячейка представляет собой выпуклую оболочку из 5 непересекающихся (24-точечных) 24-клеток, поэтому 120-ячейка представляет собой выпуклую оболочку из 25 непересекающихся 24-клеток. Каждая 24-ячейка представляет собой выпуклую оболочку из 3 непересекающихся (8-точечных) 16-ячеек, поэтому 120-ячейка представляет собой выпуклую оболочку из 75 непересекающихся 16-клеток. Уникально то, что (600-точечная) 120-ячеечная структура представляет собой выпуклую оболочку из 120 непересекающихся (5-точечных) 5-ячеечных ячеек. [к]
Аккорды
[ редактировать ]120-ячейка с 600 точками имеет все 8 различных длин хорд 600-ячейки с 120 точками, а также две дополнительные важные хорды: собственные более короткие края и края своих 120 вписанных обычных 5-ячеек. [д] Эти две дополнительные хорды придают 120-ячейке характерное изоклиническое вращение . [аб] в дополнение ко всем вращениям других правильных 4-многогранников, которые он наследует. [14] Они также придают 120-ячеечному многоугольнику характерный большой круг: неправильный большой шестиугольник, в котором три ребра по 120 ячеек чередуются с тремя ребрами по 5 ячеек. [п]
Края 120-ячеечного объекта не образуют правильные многоугольники большого круга в одной центральной плоскости, как это делают края 600-ячеечного, 24-ячеечного и 16-ячеечного. Подобно краям 5- и 8-клеточного тессеракта , они вместо этого образуют зигзагообразные многоугольники Петри . [аа] Многоугольник Петри со 120 ячейками представляет собой триаконтагон {30} зигзагообразный косой многоугольник . [и]
Поскольку 120-ячеечная клетка имеет окружность из 30 ребер, она имеет 15 различных длин хорд, варьирующихся от длины ребра до диаметра. [есть] Каждый правильный выпуклый 4-многогранник вписан в 120-ячейку, а все 15 хорд, перечисленные в строках следующей таблицы, представляют собой отдельные хорды, составляющие правильные 4-многогранники и их многоугольники большого круга. [ал]
Первое, на что следует обратить внимание в этой таблице, это то, что в ней восемь столбцов, а не шесть; Помимо шести правильных выпуклых 4-многогранников, в последовательности вложенных 4-многогранников естественным образом встречаются два неправильных 4-многогранника: курносый 24-клеточный с 96 точками и уменьшенный 120-клеточный с 480 точками . [с]
Второе, на что следует обратить внимание, это то, что каждая пронумерованная строка (каждая хорда) отмечена треугольником △ , квадратом ☐, символом фи 𝜙 или пентаграммой ✩. 15 хорд образуют многоугольники четырех видов: большие квадраты ☐, характерные для 16-клеток , большие шестиугольники и большие треугольники △, характерные для 24-клеток , большие десятиугольники и большие пятиугольники 𝜙, характерные для 600-клеток , и косые пентаграммы ✩ или декаграммы, характерные для 5-клеток , которые представляют собой многоугольники Петри, которые проходят через набор центральных плоскостей и образуют многоугольники с гранями, но не большие многоугольники. [с]
Хорды 120-клетки и ее вписанные 4-многогранники [15] | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Вписанный [являюсь] | 5-клеточный | 16-ячеечный | 8-ячеечный | 24-ячеечный | пренебрежительный | 600-ячеечный | Дим | 120-ячеечный | ||||||
Вершины | 5 | 8 | 16 | 24 | 96 | 120 | 480 | 600 [Дж] | ||||||
Края | 10 [п] | 24 | 32 | 96 | 432 | 720 | 1200 | 1200 [п] | ||||||
Краевая хорда | #8 [д] | #7 | #5 | #5 | #3 | #3 [т] | #1 | #1 [и] | ||||||
Хорда изоклины [н] | #8 | #15 | #10 | #10 | #5 | #5 | #4 | #4 [и] | ||||||
Клиффордский многоугольник [ах] | {5/2} | {8/3} | {6/2} | {15/2} | {15/4} [аб] | |||||||||
Аккорд | Дуга | Край | ||||||||||||
#1 △ | 30 | край 120 ячеек [и] | 1 1200 [аб] | 4 {3,3} | ||||||||||
15.5~° | √ 0,𝜀 [к] | 0.270~ | ||||||||||||
#2 ☐ | 15 | диагональ лица [с] | 3600 | 12 2{3,4} | ||||||||||
25.2~° | √ 0.19~ | 0.437~ | ||||||||||||
#3 𝜙 | 10 | 𝝅/5 | большой десятиугольник | 10 [к] 720 | 7200 | 24 2{3,5} | ||||||||
36° | √ 0,𝚫 | 0.618~ | ||||||||||||
#4 △ | 15 / 2 | [д] | диаметр ячейки [ап] | 1200 | 4 {3,3} | |||||||||
44.5~° | √ 0.57~ | 0.757~ | ||||||||||||
#5 △ | 6 | 𝝅/3 | большой шестиугольник [в] | 32 | 225 [к] 96 | 225 | 5 [к] 1200 | 2400 [как] | 32 4{4,3} | |||||
60° | √ 1 | 1 | ||||||||||||
#6 𝜙 | 5 | 2/5 | большой пятиугольник [v] | 720 | 7200 | 24 2{3,5} | ||||||||
72° | √ 1.𝚫 | 1.175~ | ||||||||||||
#7 ☐ | 30 / 7 | 𝝅/2 | большая площадь [Дж] | 675 [Дж] 24 | 675 48 | 72 | 1800 | 16200 | 54 9{3,4} | |||||
90° | √ 2 | 1.414~ | ||||||||||||
#8 ✩ | 15 / 4 | 5-клеточный [В] | 120 [д] 10 | 720 | 1200 [аб] | 4 {3,3} | ||||||||
104.5~° | √ 2.5 | 1.581~ | ||||||||||||
#9 𝜙 | 10 / 3 | 3/5 | золотое сечение | 720 | 7200 | 24 2{3,5} | ||||||||
108° | √ 2.𝚽 | 1.618~ | ||||||||||||
#10 △ | 3 | 2/3 | большой треугольник | 32 | 25 [к] 96 | 1200 | 2400 | 32 4{4,3} | ||||||
120° | √ 3 | 1.732~ | ||||||||||||
#11 ✩ | 30 / 11 | {30/11}-грамм [ан] | 1200 | 4 {3,3} | ||||||||||
135.5~° | √ 3.43~ | 1.851~ | ||||||||||||
#12 𝜙 | 5 / 2 | 4/5 | отличная предварительная диагностика [В] | 720 | 7200 | 24 2{3,5} | ||||||||
144° [а] | √ 3.𝚽 | 1.902~ | ||||||||||||
#13 ✩ | 30 / 13 | {30/13}-грамм | 3600 | 12 2{3,4} | ||||||||||
154.8~° | √ 3.81~ | 1.952~ | ||||||||||||
#14 △ | 15 / 7 | {30/14}=2{15/7} | 1200 | 4 {3,3} | ||||||||||
164.5~° | √ 3.93~ | 1.982~ | ||||||||||||
#15 △☐𝜙 | 2 | 𝝅 | диаметр | 75 [к] 4 | 8 | 12 | 48 | 60 | 240 | 300 [Дж] | 1 | |||
180° | √ 4 | 2 | ||||||||||||
Общая длина в квадрате [из] | 25 | 64 | 256 | 576 | 14400 | 360000 [ал] | 300 |
Аннотированная таблица аккордов представляет собой полную спецификацию материалов для изготовления 120-ячеечной модели. Все 2-многогранники, 3-многогранники и 4-многогранники в 120-ячейке состоят из 15 1-многогранников в таблице.
Черные целые числа в ячейках таблицы — это счетчики инцидентности хорды строки в 4-многограннике столбца. Например, в ряду аккордов №3 72 больших десятиугольника из 600 ячеек содержат в общей сложности 720 аккордов №3 .
Красные . целые числа — это количество непересекающихся 4-многогранников выше (метка столбца), которые образуют 120-ячейку Например, 120-ячейка представляет собой соединение 25 непересекающихся 24-клеток (25 * 24 вершины = 600 вершин).
Зеленые целые числа — это количество различных 4 - многогранников выше (метка столбца), которые можно выбрать в 120-ячейке. Например, 120-ячейка содержит 225 различных 24-ячеек, которые имеют общие компоненты.
Синие целые числа в правом столбце — это количество инцидентов хорды строки в каждой вершине из 120 ячеек. Например, в №3 ряду хорд 24 хорды №3 сходятся в каждой из 600 вершин 120-ячейки, образуя двойную вершинную фигуру икосаэдра 2{3,5}. Всего 300 мажорных аккордов. [ал] 15 различных длин встречаются в каждой вершине 120-ячейки.
Отношения между внутренними многогранниками
[ редактировать ]120-ячеечный представляет собой соединение всех пяти других правильных выпуклых 4-многогранников. [19] Все связи между правильными 1-, 2-, 3- и 4-многогранниками происходят в 120-ячейке. [б] Это четырехмерная головоломка , в которой все эти многогранники являются частями. [20] Хотя существует множество последовательностей, в которых можно построить 120-ячеечную структуру путем соединения этих частей, в конечном итоге они соединяются друг с другом только одним способом. 120-ячеечный — уникальное решение для комбинации всех этих многогранников. [7]
Правильный 1-многогранник встречается только в 15 различных длинах в любом из многогранников, составляющих 120-ячеечный. [ал] По теореме единственности Александрова , выпуклые многогранники, формы которых отличаются друг от друга, также имеют различные метрические пространства поверхностных расстояний, поэтому каждый правильный 4-многогранник имеет свое уникальное подмножество этих 15 хорд.
Только 4 из этих 15 хорд встречаются в 16-клеточной, 8-клеточной и 24-клеточной. Четырех гиперкубических хорд √ 1 , √ 2 , √ 3 и √ 4 достаточно для построения 24-клетки и всех ее составных частей. 24-ячейка — это уникальное решение комбинации этих 4 хорд и всех правильных многогранников, которые можно построить из них.
Для построения 600-ячеечной конструкции необходимы дополнительные 4 из 15 хорд. Четыре золотых хорды представляют собой квадратные корни иррациональных дробей, которые являются функциями √ 5 . 600-ячеечный — это уникальное решение комбинации этих 8 хорд и всех правильных многогранников, которые можно построить из них. Среди новых частей, обнаруженных в 600-ячеечной структуре и не встречающихся в 24-ячеечной, следует отметить пятиугольники и икосаэдры.
Все 15 хорд и 15 других различных хордовых расстояний, перечисленных ниже, встречаются в 120-ячейке. Среди новых частей, обнаруженных в 120-ячеечной модели и не встречающихся в 600-ячеечной, следует отметить обычные 5-ячеечные хорды и √ 5/2 хорды . [оу] Взаимосвязи между правильным 5-клеточным ( симплексным правильным 4-многогранником) и другими правильными 4-многогранниками непосредственно проявляются только в 120-клеточном. [я] 600-точечная 120-ячейка представляет собой соединение 120 непересекающихся 5-точечных 5-клеток, а также соединение 5 непересекающихся 120-точечных 600-ячеек (два разных способа). Каждая 5-ячейка имеет по одной вершине в каждой из 5 непересекающихся 600-клеток, и, следовательно, в каждой из 5 непересекающихся 24-клеток, 5 непересекающихся 8-клеток и 5 непересекающихся 16-клеток. [нет] Каждая 5-ячейка представляет собой кольцо (двумя разными способами), соединяющее 5 непересекающихся экземпляров каждого из других правильных 4-многогранников. [В]
Геодезические прямоугольники
[ редактировать ]30 различных аккордов [ал] Обнаруженные в 120 клетках встречаются в виде 15 пар комплементов на 180°. Они образуют 15 различных видов многоугольника большого круга, которые лежат в центральных плоскостях нескольких типов: △ плоскости, пересекающие {12} вершин в неправильном додекагоне; [д] 𝜙 плоскости, пересекающие {10} вершин правильного десятиугольника, и ☐ плоскости, пересекающие {4} вершины в нескольких видах прямоугольников, включая квадрат.
Каждый многоугольник большого круга характеризуется парой дополнительных хорд по 180 °. Пары хорд образуют многоугольники большого круга с параллельными противоположными краями, поэтому каждый большой многоугольник представляет собой либо прямоугольник, либо составную часть прямоугольника, где две хорды являются краями прямоугольника.
Каждая из 15 дополнительных пар хорд соответствует отдельной паре противоположных многогранных секций 120-ячеечной ячейки, начиная с вершины, секции 0 0 . Соответствие состоит в том, что каждая вершина из 120 ячеек окружена вершинами каждого сечения многогранника на одинаковом расстоянии (длине хорды), так же, как вершины многогранника окружают его центр на расстоянии его длинного радиуса. [бб] Хорда №1 — это «радиус» сечения 10 , тетраэдрическая вершинная фигура 120-ячеистой ячейки. [с] Хорда № 14 — это «радиус» ее конгруэнтной противоположной секции 29 0 . Хорда №7 — это «радиус» центральной секции 120-ячеечной ячейки, в которой две противоположные секции 150 совпадают .
30 хорд (15 пар по 180°) образуют 15 видов многоугольников большого круга и многогранных сечений. [22] | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Короткий аккорд | Многоугольники большого круга | Вращение | Длинный аккорд | |||||||||
1 0 #1 | [из] | 400 больших шестиугольников неправильной формы [д] / 4 (600 больших прямоугольников) | 4𝝅 [л] {15/4} [аб] #4 [и] | 29 0 #14 | ||||||||
15.5~° | √ 0,𝜀 [к] | 0.270~ | 164.5~° | √ 3.93~ | 1.982~ | |||||||
2 0 #2 | [с] | Большие прямоугольники в ☐ самолетах | 4𝝅 {30/13} #13 | 28 0 #13 | ||||||||
25.2~° | √ 0.19~ | 0.437~ | 154.8~° | √ 3.81~ | 1.952~ | |||||||
3 0 #3 | 720 больших десятиугольников / 12 (3600 больших прямоугольников) в 720 𝜙 самолетах | 5𝝅 {15/2} #5 | 27 0 #12 | |||||||||
36° | √ 0,𝚫 | 0.618~ | 144° [а] | √ 3.𝚽 | 1.902~ | |||||||
4 0 #4−1 | Большие прямоугольники в ☐ самолетах | 26 0 #11+1 | ||||||||||
41.4~° | √ 0.5 | 0.707~ | 138.6~° | √ 3.5 | 1.871~ | |||||||
5 0 #4 | 200 больших двенадцатиугольников неправильной формы [быть] / 4 (600 больших прямоугольников) в 200 △ плоскостях | [бд] | 25 0 #11 | |||||||||
44.5~° | √ 0.57~ | 0.757~ | 135.5~° | √ 3.43~ | 1.851~ | |||||||
6 0 #4+1 | Большие прямоугольники в ☐ самолетах | 24 0 #11−1 | ||||||||||
49.1~° | √ 0.69~ | 0.831~ | 130.9~° | √ 3.31~ | 1.819~ | |||||||
7 0 #5−1 | Большие прямоугольники в ☐ самолетах | 23 0 #10+1 | ||||||||||
56° | √ 0.88~ | 0.939~ | 124° | √ 3.12~ | 1.766~ | |||||||
8 0 #5 | 400 правильных больших шестиугольников [в] / 16 (1200 больших прямоугольников) в 200 △ плоскостях | 4𝝅 [л] 2{10/3} #4 | 22 0 #10 | |||||||||
60° | √ 1 | 1 | 120° | √ 3 | 1.732~ | |||||||
9 0 #5+1 | Большие прямоугольники в ☐ самолетах | 21 0 #10−1 | ||||||||||
66.1~° | √ 1.19~ | 1.091~ | 113.9~° | √ 2.81~ | 1.676~ | |||||||
10 0 #6−1 | Большие прямоугольники в ☐ самолетах | 20 0 #9+1 | ||||||||||
69.8~° | √ 1.31~ | 1.144~ | 110.2~° | √ 2.69~ | 1.640~ | |||||||
11 0 #6 | 1440 большой пятиугольник [v] / 12 (3600 больших прямоугольников) в 720 𝜙 самолетах | 4𝝅 {24/5} #9 | 19 0 #9 | |||||||||
72° | √ 1.𝚫 | 1.175~ | 108° | √ 2.𝚽 | 1.618~ | |||||||
12 0 #6+1 | 1200 больших дигональных 5-клеточных ребер [бф] / 4 (600 больших прямоугольников) в 200 △ плоскостях | 4𝝅 [л] {5/2} #8 | 18 0 #8 | |||||||||
75.5~° | √ 1.5 | 1.224~ | 104.5~° | √ 2.5 | 1.581~ | |||||||
13 0 #6+2 | Большие прямоугольники в ☐ самолетах | 17 0 #8−1 | ||||||||||
81.1~° | √ 1.69~ | 1.300~ | 98.9~° | √ 2.31~ | 1.520~ | |||||||
14 0 #7−1 | Большие прямоугольники в ☐ самолетах | 16 0 #7+1 | ||||||||||
84.5~° | √ 0.81~ | 1.345~ | 95.5~° | √ 2.19~ | 1.480~ | |||||||
15 0 #7 | 4050 больших квадратов [Дж] / 27 в 4050 ☐ самолётах | 4𝝅 {30/7} #7 | 15 0 #7 | |||||||||
90° | √ 2 | 1.414~ | 90° | √ 2 | 1.414~ |
Каждый вид многоугольника большого круга (каждая отдельная пара дополнительных хорд на 180 °) играет роль в дискретном изоклиническом вращении. [н] отдельного класса, [р] который переносит свои большие ребра прямоугольника в аналогичные ребра в параллельных больших многоугольниках Клиффорда того же типа. [бл] Существует отдельное вращение этого класса влево и вправо для каждого расслоения параллельных многоугольников большого круга Клиффорда в инвариантных плоскостях вращения. [бм] В каждом классе вращения [бк] вершины вращаются по особой круговой геодезической изоклине. [м] который имеет характерную окружность, перекошенную полиграмму Клиффорда [ах] и номер аккорда, указанный в столбце «Вращение» выше. [в]
Концентрические корпуса
[ редактировать ]Многогранный граф
[ редактировать ]Учитывая матрицу смежности вершин, представляющую многогранный граф из 120 ячеек с единичным радиусом, диаметр графа равен 15, соединяя каждую вершину с ее координатой-отрицанием на евклидовом расстоянии 2 (ее окружной диаметр), и существует 24 разные пути для их соединения по ребрам многогранника. Из каждой вершины имеется 4 вершины на расстоянии 1, 12 на расстоянии 2, 24 на расстоянии 3, 36 на расстоянии 4, 52 на расстоянии 5, 68 на расстоянии 6, 76 на расстоянии 7, 78 на расстоянии 8, 72 на расстоянии. 9, 64 на расстоянии 10, 56 на расстоянии 11, 40 на расстоянии 12, 12 на расстоянии 13, 4 на расстоянии 14 и 1 на расстоянии 15. Матрица смежности имеет 27 различных собственных значений в диапазоне от 1 / ж 2 от √ 2 ≈ 0,270 с кратностью 4 до 2 с кратностью 1. Кратность собственного значения 0 равна 18, а ранг матрицы смежности равен 582.
Вершины многогранного графа из 120 ячеек раскрашиваются в 3 цвета .
Граф эйлеров, имеет степень 4 в каждой вершине. Его множество ребер можно разложить на два гамильтоновых цикла . [25]
Конструкции
[ редактировать ]120-ячеечный является шестым в последовательности из 6 выпуклых правильных 4-многогранников (в порядке размера и сложности). [с] Его можно разобрать на десять отдельных экземпляров (или пять непересекающихся экземпляров) своего предшественника (и двойного) 600-ячеечного , [час] точно так же, как 600-ячеечная структура может быть разложена на двадцать пять отдельных экземпляров (или пять непересекающихся экземпляров) своего предшественника, 24-клеточного , [бн] 24-ячеечный может быть деконструирован на три отдельных экземпляра своего предшественника, тессеракта (8-ячеечный), а 8-ячеечный может быть деконструирован на два непересекающихся экземпляра своего предшественника (и двойного) 16-ячеечного . [28] 120-ячеечная содержит 675 различных экземпляров (75 непересекающихся экземпляров) 16-ячеечной. [Дж]
Обратная процедура построения каждого из них из экземпляра его предшественника сохраняет радиус предшественника, но обычно создает преемника с меньшей длиной ребра. Длина ребра 600-ячеечной ячейки примерно в 0,618 раза превышает ее радиус (обратное золотое сечение ), но длина ребра 120-ячеечной ячейки примерно в 0,270 раз превышает ее радиус.
Двойные 600 ячеек
[ редактировать ]Поскольку 120-ячеечная является двойственной 600-ячеистой, ее можно построить из 600-ячеистой, разместив ее 600 вершин в центре объема каждой из 600 тетраэдрических ячеек. Из 600 ячеек единичного радиуса это приводит к 120 ячейкам немного меньшего длинного радиуса ( φ 2 / √ 8 ≈ 0,926) и длина ребра ровно 1/4. Таким образом, единичная длина ребра 120 ячеек (с большим радиусом φ 2 √ 2 ≈ 3,702) можно построить таким образом внутри 600-ячейки большого радиуса 4. Единичная ячейка радиусом 120 (с длиной ребра 1 / ж 2 √ 2 ≈ 0,270) можно построить таким образом внутри 600-ячейки большого радиуса. √ 8 / ж 2 ≈ 1.080.
И наоборот, 120-ячейка с единичным радиусом может быть построена сразу за 600-ячейкой с немного меньшим длинным радиусом. φ 2 / √ 8 ≈ 0,926, разместив центр каждой додекаэдрической ячейки в одной из 120 вершин по 600 ячеек. 120-ячейка, координаты которой указаны выше, с большим радиусом √ 8 = 2 √ 2 ≈ 2,828 и длиной ребра 2 / ж 2 = 3− √ 5 ≈ 0,764 можно построить таким образом сразу за пределами 600-ячейки большого радиуса φ. 2 , что меньше √ 8 в том же отношении ≈ 0,926; оно находится в золотом пропорции к длине ребра 600-ячейки, так что это должно быть φ. 120-ячейка с длиной ребра 2 и большим радиусом φ 2 √ 8 ≈ 7,405, данное Кокстером [3] может быть построен таким образом сразу за пределами 600-ячейки большого радиуса φ 4 и длина ребра φ 3 .
Таким образом, ячейка с единичным радиусом 120 может быть построена на основе своей предшественницы, ячейки с единичным радиусом 600, за три шага возвратно-поступательного движения.
Вращение ячеек вписанных дуалов
[ редактировать ]Поскольку 120-ячейка содержит вписанные 600-ячейки, она содержит свой собственный двойник того же радиуса. 120-ячейка содержит пять непересекающихся 600-ячеек (десять перекрывающихся вписанных 600-ячеек, из которых мы можем выделить пять непересекающихся 600-ячеек двумя разными способами), поэтому ее можно рассматривать как соединение пяти своих собственных двойственных ячеек (в два пути). Вершины каждой вписанной 600-ячейки являются вершинами 120-ячейки, и (двойственно) каждый додекаэдрический клеточный центр является тетраэдрическим клеточным центром в каждой из вписанных 600-ячеек.
В додекаэдрические ячейки 120-ячейки вписаны тетраэдрические ячейки 600-ячейки. [30] Подобно тому, как 120-ячеечный представляет собой соединение пяти 600-ячеек (двумя способами), додекаэдр представляет собой соединение пяти правильных тетраэдров (двумя способами). Как в куб можно вписать два противоположных тетраэдра, а в додекаэдр — пять кубов, так и в додекаэдр можно вписать десять тетраэдров, состоящих из пяти кубов: два противоположных набора по пять, каждый из которых охватывает все 20 вершин и каждую вершину в два тетраэдра (по одному из каждого набора, но, очевидно, не из противоположной пары куба). [31] Это показывает, что 120-ячейка содержит, среди своих многочисленных внутренних особенностей, 120 соединений десяти тетраэдров , каждое из которых по размерам аналогично всей 120-ячейке как соединению десяти 600-ячеек. [час]
Все десять тетраэдров могут быть созданы двумя киральными поворотами в пять щелчков любого одного тетраэдра. В каждой додекаэдрической ячейке по одной тетраэдрической ячейке происходит от каждой из десяти 600-клеток, вписанных в 120-клетку. [быть] Следовательно, вся 120-ячейка со всеми десятью вписанными 600-ячейками может быть создана всего лишь из одной 600-ячейки путем вращения ее ячеек.
Увеличение
[ редактировать ]Другим следствием того, что 120-ячейка содержит вписанные 600-ячейки, является то, что ее можно построить, разместив какие-либо 4-пирамиды на ячейках 600-ячейки. Эти тетраэдрические пирамиды в данном случае должны быть совершенно неправильными (с вершиной, притупленной на четыре «вершины»), но мы можем различить их форму по тому, как лежит тетраэдр, вписанный в додекаэдр . [бп]
Только 120 тетраэдрических ячеек из каждых 600 ячеек могут быть вписаны в додекаэдры из 120 ячеек; остальные 480 тетраэдров охватывают додекаэдрические ячейки. Каждый тетраэдр, вписанный в додекаэдр, является центральной ячейкой кластера из пяти тетраэдров , а четыре других, связанных гранями вокруг него, лежат лишь частично внутри додекаэдра. Центральный тетраэдр связан краями с дополнительными 12 тетраэдрическими ячейками, которые также лишь частично лежат внутри додекаэдра. [бк] Центральная ячейка связана вершинами с 40 другими тетраэдрическими ячейками, которые полностью лежат за пределами додекаэдра.
Орбиты Вейля
[ редактировать ]Другой метод построения использует кватернионы и икосаэдрическую симметрию орбит группы Вейля . порядка 120. [33] Ниже описаны и 24-ячейки как веса орбит кватернионов D4 под группой Вейля W(D4):
O(0100) : T = {±1,±e1,±e2,±e3,(±1±e1±e2±e3)/2}
О(1000): V1
О (0010): V2
O(0001) : V3
С кватернионами где является сопряженным и и , то группа Кокстера представляет собой группу симметрии 600-ячеечной и 120-ячеечной ячеек порядка 14400.
Данный такой, что и как обмен в пределах , мы можем построить:
- курносый 24-клеточный
- ячеечный 600-
- 120-ячеечный
- альтернативный курносый 24-элементный
- двойной курносый 24-элементный = .
В качестве конфигурации
[ редактировать ]Эта матрица конфигурации представляет собой 120 ячеек. Строки и столбцы соответствуют вершинам, ребрам, граням и ячейкам. Диагональные числа показывают, сколько каждого элемента встречается во всех 120 ячейках. Недиагональные числа показывают, сколько элементов столбца встречается в элементе строки или рядом с ним. [34] [35]
Вот конфигурация, расширенная k -гранными элементами и k -фигурами. Количество диагональных элементов представляет собой отношение полного порядка группы Кокстера , 14400, деленное на порядок подгруппы с удалением зеркала.
Ч 4 | к -лицо | ж к | ж 0 | ж 1 | ff2 | f 3 | к -рис | Примечания | |
---|---|---|---|---|---|---|---|---|---|
AА3 | ( ) | ж 0 | 600 | 4 | 6 | 4 | {3,3} | Н 4 /А 3 = 14400/24 = 600 | |
А 1 А 2 | { } | ж 1 | 2 | 1200 | 3 | 3 | {3} | Н 4 /А 2 А 1 = 14400/6/2 = 1200 | |
Ч 2 А 1 | {5} | ff2 | 5 | 5 | 720 | 2 | { } | Н 4 /Н 2 А 1 = 14400/10/2 = 720 | |
HH3 | {5,3} | f 3 | 20 | 30 | 12 | 120 | ( ) | Н 4 /Н 3 = 14400/120 = 120 |
Визуализация
[ редактировать ]120-ячеечная состоит из 120 додекаэдрических ячеек. Для целей визуализации удобно, что додекаэдр имеет противоположные параллельные грани (черта, общая для него с ячейками тессеракта и 24 -клетки ). Додекаэдры можно складывать лицом к лицу по прямой, изогнутой в 4-м направлении, в большой круг с окружностью в 10 ячеек. Начиная с этой исходной конструкции из десяти ячеек, можно использовать две общие визуализации: многослойную стереографическую проекцию и структуру переплетающихся колец (дискретное расслоение Хопфа ). [36]
Многослойная стереографическая проекция
[ редактировать ]Расположение ячеек поддается гиперсферическому описанию. [37] Выберите произвольный додекаэдр и назовите его «северный полюс». Двенадцать меридианов большого круга (длиной четыре ячейки) расходятся в трех измерениях и сходятся в пятой ячейке «южного полюса». На этот скелет приходится 50 из 120 клеток (2 + 4 × 12).
Начиная с Северного полюса, мы можем построить 120-ячеечную карту в 9 широтных слоях, с отсылками к земной двухсферной топографии в таблице ниже. За исключением полюсов, центроиды ячеек каждого слоя лежат на отдельной 2-сфере, а экваториальные центроиды лежат на большой 2-сфере. Центроиды 30 экваториальных ячеек образуют вершины икосододекаэдра , причем меридианы (как описано выше) проходят через центр каждой пятиугольной грани. Ячейки, помеченные как «интерстициальные» в следующей таблице, не попадают в большие круги меридиана.
Слой # | Количество ячеек | Описание | Колатитуд | Область |
---|---|---|---|---|
1 | 1 ячейка | Северный полюс | 0° | Северное полушарие |
2 | 12 ячеек | Первый слой меридиональных ячеек / « Полярный круг » | 36° | |
3 | 20 ячеек | Немеридианный/интерстициальный | 60° | |
4 | 12 ячеек | Второй слой меридиональных клеток / « Тропик Рака » | 72° | |
5 | 30 ячеек | Немеридианный/интерстициальный | 90° | Экватор |
6 | 12 ячеек | Третий слой меридиональных клеток / « Тропик Козерога » | 108° | Южное полушарие |
7 | 20 ячеек | Немеридианный/интерстициальный | 120° | |
8 | 12 ячеек | Четвертый слой меридиональных клеток / « Южный полярный круг ». | 144° | |
9 | 1 ячейка | Южный полюс | 180° | |
Общий | 120 ячеек |
Ячейки слоев 2, 4, 6 и 8 расположены над гранями полюсной ячейки. Ячейки слоев 3 и 7 расположены непосредственно над вершинами полюсной ячейки. Ячейки слоя 5 расположены по краям полюсной ячейки.
Переплетающиеся кольца
[ редактировать ]120-ячеечное можно разделить на 12 непересекающихся 10-ячеечных колец большого круга, образуя дискретное/квантованное расслоение Хопфа . [38] [39] [40] [41] [36] Начав с одного кольца из 10 ячеек, рядом с ним можно разместить еще одно кольцо, которое вращается вокруг исходного кольца по спирали на один полный оборот за десять ячеек. Пять таких колец из 10 ячеек можно разместить рядом с исходным кольцом из 10 ячеек. Хотя внешние кольца «закручиваются» вокруг внутреннего кольца (и друг друга), на самом деле они не имеют спирального кручения . Все они эквивалентны. Спираль является результатом кривизны трех сфер. Внутреннее кольцо и пять внешних колец теперь образуют шестикольцевый полнотелый тор с 60 ячейками. Можно продолжать добавлять 10-клеточные кольца, примыкающие к предыдущим, но более поучительно построить второй тор, не пересекающийся с предыдущим, из оставшихся 60 ячеек, сцепляющихся с первым. 120-ячеечная, как и 3-сфера, представляет собой объединение этих двух ( Клиффордовых ) торов. Если центральное кольцо первого тора представляет собой большой меридианный круг, как определено выше, центральное кольцо второго тора представляет собой большой экваториальный круг с центром на меридиональном круге. [42] Также обратите внимание, что спиральная оболочка из 50 ячеек вокруг центрального кольца может быть как левосторонней, так и правосторонней. Это всего лишь вопрос другого разделения ячеек в оболочке, т.е. выбора другого набора непересекающихся ( параллелей Клиффорда ) больших кругов.
Другие замечательные круговые конструкции
[ редактировать ]Есть еще один интересный круговой путь, который попеременно проходит через противоположные вершины ячеек, а затем вдоль края. Этот путь состоит из 6 ребер, чередующихся с 6 хордами диаметра ячейки , образующими неправильный додекагон в центральной плоскости. [д] Оба этих пути большого круга имеют двойные пути большого круга в 600-ячейке . Путь из 10 ячеек лицом к лицу выше отображается в путь из 10 вершин, проходящий исключительно по ребрам в 600-ячейке, образуя десятиугольник . [т] Чередующийся путь ячеек/ребер соответствует пути, состоящему из 12 тетраэдров, поочередно встречающихся лицом к лицу, а затем от вершины к вершине (шесть треугольных бипирамид ) в 600-ячейке. Этот последний путь соответствует кольцу из шести икосаэдров, встречающихся лицом к лицу в курносой 24-ячейке (или икосаэдрических пирамидах в 600-ячеечной), образуя шестиугольник .
Существует еще один многоугольный путь большого круга, который уникален для 120-ячеечной модели и не имеет двойного аналога в 600-ячеечной. Этот путь состоит из 3 ребер по 120 ячеек, чередующихся с 3 вписанными ребрами по 5 ячеек (хорды № 8), образующих неправильный большой шестиугольник с чередующимися короткими и длинными ребрами, показанными выше . [п] Каждое 5-ячеечное ребро проходит через объем трех додекаэдрических ячеек (в кольце из десяти связанных гранями додекаэдрических ячеек) к противоположной пятиугольной грани третьего додекаэдра. Этот неправильный большой шестиугольник лежит в той же центральной плоскости (на том же большом круге), что и неправильный большой додекагон, описанный выше, но пересекает только {6} из {12} вершин додекагона. В каждый неправильный большой двенадцатиугольник вписаны по два неправильных больших шестиугольника в чередующихся положениях. [д]
Перспективные прогнозы
[ редактировать ]Проекции на 3D 4D 120 ячеек, выполняющих простое вращение | |
---|---|
Извне 3-сферы в 4-пространство. | Внутри трехмерной поверхности трехсферы. |
Как и на всех иллюстрациях в этой статье, на этих визуализациях видны только края 120-ячеечной ячейки. Все остальные аккорды не показаны. Сложные внутренние части 120-ячейки, все вписанные в нее 600-, 24-, 8-, 16- и 5-ячеечную модели совершенно невидимы на всех иллюстрациях. Зритель должен их представить.
Эти проекции используют перспективную проекцию с определенной точки зрения в четырех измерениях, проецируя модель как трехмерную тень. Таким образом, грани и ячейки, которые выглядят крупнее, просто ближе к 4D-точке обзора.
Сравнение перспективных проекций трехмерного додекаэдра с двухмерным (внизу слева) и проекций четырехмерного 120-ячеечного додекаэдра с трехмерным (внизу справа) демонстрирует два родственных метода перспективной проекции по размерной аналогии. Диаграммы Шлегеля используют перспективу, чтобы показать глубину сплющенного измерения, выбирая точку обзора над определенной ячейкой, таким образом делая эту ячейку оболочкой модели, а другие ячейки внутри нее кажутся меньшими. В стереографических проекциях используется тот же подход, но они показаны с изогнутыми краями, представляя сферический многогранник как мозаику трехсферы . Оба эти метода искажают объект, поскольку ячейки на самом деле не вложены друг в друга (они встречаются лицом к лицу) и все они имеют одинаковый размер. Существуют и другие методы перспективной проекции, такие как вращающаяся анимация, описанная выше, которая демонстрирует не этот конкретный вид искажения, а скорее какой-то другой вид искажения (как и все проекции).
Проекция | Додекаэдр | 120-ячеечный |
---|---|---|
Диаграмма Шлегеля | 12 граней пятиугольника на плоскости | 120 додекаэдрических ячеек в 3-мерном пространстве |
Стереографическая проекция | С прозрачными лицами |
Ортогональные проекции
[ редактировать ]Ортогональные проекции 120 ячеек можно выполнить в 2D, задав два ортонормированных базисных вектора для определенного направления обзора. 30-угольная проекция была сделана в 1963 году Б.Л. Чилтоном . [44]
проекция H3 Декагональная показывает плоскость многоугольника Ван Осса .
Ч 4 | - | FF4 |
---|---|---|
[30] (Красный=1) | [20] (Красный=1) | [12] (Красный=1) |
HH3 | А 2 / Б 3 / Д 4 | А3 / Б2 |
[10] (Красный=5, оранжевый=10) | [6] (Красный=1, оранжевый=3, желтый=6, салатовый=9, зеленый=12) | [4] (Красный=1, оранжевый=2, желтый=4, салатовый=6, зеленый=8) |
Трехмерные ортогональные проекции также можно создавать с использованием трех ортонормированных базисных векторов и отображать в виде трехмерной модели, а затем проецировать определенную перспективу в трехмерном пространстве для двухмерного изображения.
3D изометрическая проекция | Duration: 9 seconds. Анимированное 4D-вращение |
Связанные многогранники и соты
[ редактировать ]H 4 многогранника
[ редактировать ]120-ячеечный — один из 15 правильных и однородных многогранников с одинаковой симметрией H 4 [3,3,5]: [46]
H 4 Многогранники семейства |
---|
{p,3,3} многогранники
[ редактировать ]120-ячеечное пространство похоже на три правильных 4-многогранника : 5-ячеечный {3,3,3} и тессеракт {4,3,3} евклидова 4-мерного пространства и шестиугольную мозаику-соту {6,3,3 } гиперболического пространства. Все они имеют тетраэдрическую вершинную фигуру {3,3}:
{p,3,3} многогранники |
---|
{5,3,p} многогранники
[ редактировать ]120-ячейка является частью последовательности 4-многогранников и сот с додекаэдрическими ячейками:
{5,3,p} многогранники |
---|
Тетраэдрически уменьшенный 120-клеточный
[ редактировать ]Поскольку 120-ячейка с 600 точками имеет 5 непересекающихся вписанных 600-ячеек, ее можно уменьшить, удалив одну из этих 600-ячеек со 120 точками, создав неправильный 4-многогранник с 480 точками. [бт]
Каждая додекаэдрическая ячейка из 120 ячеек уменьшается путем удаления 4 из 20 ее вершин, создавая неправильный 16-точечный многогранник, называемый тетраэдрически уменьшенным додекаэдром, поскольку 4 удаленные вершины образуют тетраэдр, вписанный в додекаэдр . Поскольку вершинной фигурой додекаэдра является треугольник, каждая усеченная вершина заменяется треугольником. 12 граней пятиугольника заменяются 12 трапециями, поскольку одна вершина каждого пятиугольника удаляется, а два его ребра заменяются диагональной хордой пятиугольника. [ак] Тетраэдрически уменьшенный додекаэдр имеет 16 вершин и 16 граней: 12 граней трапеции и четыре грани равностороннего треугольника.
Поскольку вершинной фигурой 120-ячейки является тетраэдр, [бп] каждая усеченная вершина заменяется тетраэдром, в результате чего остается 120 тетраэдрически уменьшенных ячеек додекаэдра и 120 ячеек правильного тетраэдра. Правильный додекаэдр и тетраэдрически уменьшенный додекаэдр имеют по 30 ребер, а правильный 120-ячеечный и тетраэдрически уменьшенный 120-ячеечный имеют по 1200 ребер.
Уменьшенную 120-ячейку с 480 точками можно назвать уменьшенной тетраэдрически 120-ячейкой, потому что ее ячейки тетраэдрически уменьшены, или уменьшенной 120-ячейкой с 600 ячейками, потому что удаленные вершины образовали 600-ячейку, вписанную в 120-ячейку, или даже обычные 5-клетки уменьшились до 120-клеток , потому что удаление 120 вершин удаляет одну вершину из каждой из 120 вписанных правильных 5-клеток, оставляя 120 правильных тетраэдров. [д]
Дэвис, 120 ячеек
[ редактировать ], 120-ячейка Дэвиса введенная Дэвисом (1985) , представляет собой компактное 4-мерное гиперболическое многообразие, полученное путем идентификации противоположных граней 120-ячейки, универсальное покрытие которого дает правильные соты {5,3,3,5} из 4 -мерное гиперболическое пространство.
См. также
[ редактировать ]- Равномерное семейство 4-многогранников с симметрией [5,3,3]
- 57-клетка – абстрактный правильный 4-многогранник, построенный из 57 полудодекаэдров.
- 600-ячеечный - двойной 4-многогранник к 120-ячеечному
Примечания
[ редактировать ]- ^ Jump up to: а б с В 120-ячейке на каждом ребре сходятся 3 додекаэдра и 3 пятиугольника. В каждой вершине сходятся 4 додекаэдра, 6 пятиугольников и 4 ребра. Двугранный угол (между додекаэдрическими гиперплоскостями) равен 144°. [3]
- ^ Jump up to: а б Ячейка из 120 содержит экземпляры всех правильных выпуклых 1-многогранников, 2-многогранников, 3-многогранников и 4-многогранников, за исключением правильных многоугольников {7} и выше, большинство из которых не встречаются. {10} — заметное исключение, которое действительно имеет место. различные правильные косые многоугольники {7} и выше, особенно {11}, В 120-ячейке встречаются [ан] {15} [аб] и {30}. [т]
- ^ Jump up to: а б с Выпуклые правильные 4-многогранники можно упорядочить по размеру как мере 4-мерного содержимого (гиперобъема) для одного и того же радиуса. Каждый больший многогранник в последовательности более круглый , чем его предшественник, и включает в себя больше 4-контента в пределах того же радиуса. 4-симплекс (5-ячеечный) — это наименьший случай, а 120-ячеечный — самый большой. Сложность (измеряемая путем сравнения матриц конфигурации или просто количества вершин) следует тому же порядку. Это обеспечивает альтернативную схему числового именования для правильных многогранников, в которой 120-ячеечный представляет собой 4-многогранник с 600 точками: шестой и последний в возрастающей последовательности, которая начинается с 5-точечного 4-многогранника.
- ^ Jump up to: а б с д и ж г час я В единичный радиус 120-клеток вписано 120 непересекающихся правильных 5-клеток, [12] длины ребра √ 2,5 . Никакие правильные 4-многогранники, за исключением 5-клеточного и 120-клеточного, не содержат √ 2,5 хорд (хорда №8). [и] 120-ячейка содержит 10 различных вписанных 600-ячеек, которые можно рассматривать как 5 непересекающихся 600-ячеек двумя разными способами. Каждая хорда √ 2,5 соединяет две вершины в непересекающихся 600-ячейках и, следовательно, в непересекающихся 24-, 8- и 16-ячейках. [я] Как ребра из 5 ячеек, так и ребра из 120 ячеек соединяют вершины в непересекающихся 600 ячейках. Соответствующие однотипные многогранники в непересекающихся 600-ячейках параллельны по Клиффорду и находятся на расстоянии √ 2,5 друг от друга. Каждая 5-ячейка содержит по одной вершине из каждой из 5 непересекающихся 600-ячеек. [В] .
- ^ Jump up to: а б с д Несколько экземпляров каждого из правильных выпуклых 4-многогранников могут быть вписаны в любой из их более крупных последующих 4-многогранников, за исключением наименьшего, правильного 5-клеточного, который вписан только в самый большой, 120-ячеечный. [я] Чтобы понять, как 4-многогранники вложены друг в друга, необходимо тщательно отличать непересекающиеся кратные экземпляры от просто различных кратных экземпляров вписанных 4-многогранников. Например, 600-точечная 120-ячейка представляет собой выпуклую оболочку соединения 75 8-точечных 16-клеток, которые совершенно не пересекаются: у них нет общих вершин, и 75 * 8 = 600. Но можно выделить и 675 различных 16-ячеек внутри 120-ячейки, большинство пар из которых имеют общие вершины, поскольку две концентрические 16-ячейки одинакового радиуса могут быть повернуты друг относительно друга так, что они имеют общие 2 вершины (ось) или даже 4 вершины (большая квадратная плоскость), а остальные их вершины не совпадают. [Дж] В 4-мерном пространстве любые два конгруэнтных правильных 4-многогранника могут быть концентрическими, но повернутыми относительно друг друга так, что они имеют только общее подмножество своих вершин. Только в случае 4-симплекса (5-точечной обычной 5-клетки) это общее подмножество вершин должно всегда быть пустым, если только оно не состоит из всех 5 вершин. Невозможно повернуть два концентрических 4-симплекса друг относительно друга так, чтобы некоторые, но не все их вершины совпадали: они могут быть только полностью совпадающими или полностью непересекающимися. Этим свойством обладает только 4-симплекс; 16-ячеечный и, как следствие, любой более крупный правильный 4-многогранник могут располагаться повернутыми относительно самого себя так, что пара разделяет некоторые, но не все свои вершины. Интуитивно мы можем видеть, как это следует из того факта, что только 4-симплекс не имеет никаких противоположных вершин (любых 2-вершинных центральных осей), которые могли бы быть инвариантными после вращения. 120-ячейка содержит 120 полностью непересекающихся правильных 5-клеток, которые являются ее единственными отдельными вписанными правильными 5-клетками, но каждое другое вложение правильных 4-многогранников содержит некоторое количество непересекающихся вписанных 4-многогранников и большее количество различных вписанных 4-многогранников. -многогранники.
- ^ ( Коксетер 1973 ) использует греческую букву 𝝓 (фи) для обозначения одного из трех характеристических углов 𝟀, 𝝓, 𝟁 правильного многогранника. Поскольку 𝝓 обычно используется для обозначения константы золотого сечения ≈ 1,618, для которой Коксетер использует 𝝉 (тау), мы переворачиваем соглашения Кокстера и используем 𝝉 для обозначения характеристического угла.
- ^ Чтобы получить все 600 координат путем перекрестного умножения кватернионов координат этих трех 4-многогранников с меньшей избыточностью, достаточно включить только одну вершину 24-ячейки: ( √ 1/2 , √ 1/2 , 0, 0). [9]
- ^ Jump up to: а б с д 600 вершин 120-ячейки можно разделить на 5 непересекающихся вписанных 120-вершинных 600-ячеек двумя разными способами. [32] Геометрия этого 4D-разбиения по размерам аналогична 3D-разбиению 20 вершин додекаэдра на 5 непересекающихся вписанных тетраэдров, что также можно выполнить двумя разными способами, поскольку каждая додекаэдрическая ячейка содержит два противоположных набора из 5 непересекающихся вписанных тетраэдров . 120-ячейку можно разделить аналогично додекаэдру, поскольку каждая из ее додекаэдрических ячеек содержит по одной тетраэдрической ячейке от каждой из 10 вписанных 600-ячеек.
- ^ Jump up to: а б с Геометрическая связь между правильным 5-клеточным (4-симплексом) и правильным 16-клеточным (4-ортоплексом) существует, но проявляется она лишь косвенно через 3-симплекс и 5-ортоплекс . Ан -симплекс ограничен вершины и ( -1)-симплекс граней и имеет большие диаметры (его края) длины радиусы. Ан -ортоплекс ограничен вершины и ( -1)-симплекс граней и имеет большие диаметры (его ортогональные оси) длины радиусы. Ан -куб ограничен вершины и ( -1)-куб граней и имеет большие диаметры длины радиусы. [топор] длинные диаметры 3-куба короче, чем оси 3-ортоплекса. Координаты 4-ортоплекса являются перестановками , а 4-мерные координаты одной из его 16 граней (3-симплекса) являются перестановками . [является] Длинные диаметры 4-куба равны длине оси 4-ортоплекса. Координаты 5-ортоплекса являются перестановками , а 5-пространственные координаты одной из его 32 граней (4-симплекса) являются перестановками . [the] длинные диаметры 5-куба длиннее, чем оси 5-ортоплекса.
- ^ Jump up to: а б с д и ж г час я дж 120-ячеечная структура имеет 600 вершин, симметрично распределенных на поверхности трехмерной сферы в четырехмерном евклидовом пространстве. Вершины расположены в противоположных парах, а линии, проходящие через противоположные пары вершин, определяют 300 лучей [или осей] 120-ячеечной ячейки. будем называть любой набор из четырех взаимно ортогональных лучей (или направлений) Базисом . 300 лучей образуют 675 оснований, причем каждый луч встречается в 9 основаниях и ортогонален своим 27 различным спутникам в этих основаниях и ни одному другому лучу. Лучи и основания составляют геометрическую конфигурацию , которая на языке конфигураций записывается как 300 9 675 4 , чтобы указать, что каждый луч принадлежит 9 основаниям, а каждое основание содержит 4 луча. [29] Каждому базису соответствует отдельная 16-ячейка, содержащая четыре ортогональные оси и шесть ортогональных больших квадратов. 75 полностью непересекающихся 16-ячеек, содержащих все 600 вершин из 120-ячеек, могут быть выбраны из 675 различных 16-ячеек. [и]
- ^ Jump up to: а б с д и ж 120-ячейку можно построить как соединение 5 непересекающихся 600-ячеек. [час] или 25 непересекающихся 24-клеток, или 75 непересекающихся 16-клеток, или 120 непересекающихся 5-клеток. За исключением случая 120 5-клеток, [и] это не количество всех отдельных правильных 4-многогранников, которые можно найти вписанными в 120-ячейку, а только количество полностью непересекающихся вписанных 4-многогранников, которые при соединении образуют выпуклую оболочку 120-ячейки. 120-ячеечная структура содержит 10 различных 600-ячеечных, 225 различных 24-ячеечных и 675 различных 16-ячеечных. [Дж]
- ^ Jump up to: а б с д и ж Все трехсферные изоклины одной и той же окружности представляют собой прямо конгруэнтные круги. Обыкновенный большой круг — это изоклина окружности. ; простые вращения многогранников единичного радиуса происходят на 2𝝅 изоклинах. Двойные вращения могут иметь изоклины, отличные от окружность. Характерным вращением правильного 4-многогранника является изоклиническое вращение, при котором центральные плоскости, содержащие его ребра, являются инвариантными плоскостями вращения. Края из 16 и 24 ячеек вращаются на изоклинах окружности 4𝝅. Край из 600 ячеек вращается на изоклинах окружности 5𝝅.
- ^ Jump up to: а б с д и ж г час я Изоклина . — это замкнутый, изогнутый, спиральный большой круг, проходящий через все четыре измерения В отличие от обычного большого круга, он не лежит в одной центральной плоскости, но, как и любой большой круг, если смотреть в искривленном трехмерном пространстве граничной поверхности 4-мерного многогранника, он представляет собой прямую линию , геодезическую . И обычные большие круги, и большие изоклинные круги являются спиральными в том смысле, что параллельные пучки больших кругов связаны и вращаются вокруг друг друга, но ни один из них на самом деле не скручен (у них нет собственного кручения). Их кривизна не является их собственной, а является свойством естественной кривизны 3-сферы, внутри искривленного пространства которой они являются конечными (замкнутыми) отрезками прямых. [л] Чтобы избежать путаницы, мы всегда называем изоклину как таковую и оставляем термин «большой круг» для обычного большого круга на плоскости. [л]
- ^ Jump up to: а б с д и ж Изоклина [the] под углом равного вращения вращение - это двойное вращение в двух полностью ортогональных инвариантных центральных плоскостях вращения одновременно. Каждое дискретное изоклиническое вращение имеет два характерных дуговых угла (длины хорд), угол поворота и угол изоклины . [р] На каждом шаге постепенного поворота от вершины к соседней вершине каждая инвариантная плоскость вращения поворачивается на угол поворота, а также наклоняется вбок (как при подбрасывании монеты) на одинаковый угол поворота. [бг] Таким образом, каждая вершина большого круга вращается на одно приращение угла поворота, в то время как одновременно весь большой круг вращается вместе с полностью ортогональным большим кругом на равное приращение угла поворота. [bj] Произведение этих двух одновременных и равных приращений вращения большого круга представляет собой общее смещение каждой вершины на приращение угла изоклины (длину хорды изоклины). Таким образом, угол поворота измеряет смещение вершины в системе отсчета движущегося большого круга, а также боковое смещение движущегося большого круга (расстояние между многоугольником большого круга и соседним многоугольником, параллельным большому кругу Клиффорда, к которому он приводит вращение) в стационарной системе отсчета. Длина хорды изоклины — это общее смещение вершин в стационарной системе отсчета, которая представляет собой наклонную хорду между двумя соседними многоугольниками большого круга (расстояние между соответствующими им вершинами при вращении).
- ^ Jump up to: а б с д и ж г Два угла необходимы для определения разделения между двумя плоскостями в 4-мерном пространстве. [11] Если два угла одинаковы, две плоскости называются изоклиническими (также параллелью Клиффорда ) и пересекаются в одной точке. При двойном вращении точки вращаются внутри инвариантных центральных плоскостей вращения на некоторый угол, а вся инвариантная центральная плоскость вращения также наклоняется вбок (в ортогональной инвариантной центральной плоскости вращения) на некоторый угол. Следовательно, каждая вершина пересекает гладкую винтовую кривую, называемую изоклиной. [м] между двумя точками в разных центральных плоскостях при перемещении по обычному большому кругу в каждой из двух ортогональных центральных плоскостей (поскольку плоскости наклоняются относительно своих исходных плоскостей). Если два ортогональных угла идентичны, расстояние, пройденное по каждому большому кругу, одинаково, а двойное вращение называется изоклиническим (также смещение Клиффорда ). Вращение, которое приводит изоклинические центральные плоскости друг к другу, является изоклиническим вращением. [н]
- ^ Jump up to: а б с д и ж г час я Инвариантная центральная плоскость характерного изоклинического вращения 120 ячеек. [аб] содержит неправильный большой шестиугольник {6} с чередующимися ребрами двух разных длин: 3 ребра по 120 ячеек длиной 𝜁 = √ 0,𝜀 (хорды №1) и 3 вписанных правильных 5-клеточных ребер длиной √ 2,5 (хорды №8). аккорды). Это соответственно самое короткое и самое длинное ребро любого правильного 4-многогранника. [объявление] Каждый неправильный большой шестиугольник лежит полностью ортогонально другому неправильному большому шестиугольнику. [но] 120-ячеечная клетка содержит 400 различных неправильных больших шестиугольников (200 полностью ортогональных пар), которые можно разделить на 100 непересекающихся неправильных больших шестиугольников (дискретное расслоение 120-ячеечной ячейки) четырьмя различными способами. Каждое расслоение имеет свое различимое левое (и правое) изоклиническое вращение в 50 парах полностью ортогональных инвариантных центральных плоскостей. Два неправильных больших шестиугольника занимают одну и ту же центральную плоскость в чередующихся положениях, точно так же, как два больших пятиугольника занимают большую плоскость десятиугольника. Два неправильных больших шестиугольника образуют неправильный большой додекагон, составной многоугольник большого круга из 120 ячеек, который показан отдельно. [д]
- ^ Jump up to: а б с д и ж г час я дж к 120-ячеечный многоугольник имеет неправильный двенадцатиугольник {12}, состоящий из 6 ребер ( хорды № 1 отмечены 𝜁 ), чередующиеся с 6 диаметрами ячеек додекаэдра ( аккорды № 4 ). [ап] Неправильный большой двенадцатиугольник содержит два неправильных больших шестиугольника ( красный ) вписаны в чередующихся позициях. [п] два правильных больших шестиугольника с ребрами третьего размера ( √ 1 , хорда #5). В двенадцатиугольник также вписаны [в] Двенадцать ребер правильного шестиугольника (хорды № 5), шесть ребер додекагона с диаметром ячейки (хорды № 4) и шесть ребер додекагона по 120 ячеек (хорды № 1) - все это хорды одного и того же большого круга. , но остальные 24 зигзагообразных ребра (хорды №1, не показаны), соединяющие шесть ребер №4 додекагона, не лежат в этой плоскости большого круга. Неправильные плоскости большого додекагона из 120 ячеек, неправильные плоскости большого шестиугольника, правильные плоскости большого шестиугольника и плоскости равностороннего большого треугольника представляют собой один и тот же набор плоскостей додекагона. 120-ячейка содержит 200 таких {12} центральных плоскостей (100 полностью ортогональных пар), те же 200 центральных плоскостей, каждая из которых содержит шестиугольник , которые встречаются в каждой из 10 вписанных 600-ячеек. [как]
- ^ Jump up to: а б с д и Каждый класс дискретного изоклинического вращения [н] характеризуется углами вращения и изоклины, а также тем, какой набор параллельных центральных плоскостей Клиффорда является его инвариантными плоскостями вращения. Характеристическое изоклиническое вращение 4-многогранника - это класс дискретного изоклинического вращения, в котором множество инвариантных плоскостей вращения содержит ребра 4-многогранника; существует отдельное вращение влево (и вправо) для каждого такого набора клиффордовских параллельных центральных плоскостей (каждого расслоения Хопфа краевых плоскостей) . Если ребра 4-многогранника образуют правильные большие круги, угол характеристического вращения представляет собой просто угол дуги ребра (хорда ребра - это просто хорда вращения). Но в правильном 4-многограннике с четырехгранной вершинной фигурой [аа] края не образуют правильные большие круги, а образуют неправильные большие круги в сочетании с другой хордой. Например, ребра хорды №1 120-ячейки являются ребрами неправильного большого додекагона, который также имеет ребра хорды №4. [д] В таком 4-многограннике угол поворота не является углом дуги ребра; на самом деле это не обязательно дуга какой-либо хорды вершины. [из]
- ^ Jump up to: а б √ . 2 ребра и 4𝝅 характеристических поворота [л] из 16 клеток лежат в центральных плоскостях большого квадрата ☐; вращения этого типа являются выражением группы симметрии . √ хорды 1 ребра, √ 3 и 4𝝅 характеристических поворотов 24-клетки лежат в центральных плоскостях большого треугольника (большого шестиугольника) △; вращения этого типа являются выражением группа симметрии. Ребра и 5𝝅 характерных поворотов 600-клетки лежат в большом пятиугольнике (большом десятиугольнике) 𝜙 центральных плоскостях; эти хорды являются функциями √ 5 , а вращения этого типа являются выражением группы симметрии . Многоугольники и характерные вращения правильной 5-клетки не лежат в одной центральной плоскости; они описывают косую пентаграмму ✩ или большую косую полиграмму и образуют только лицевые многоугольники, а не центральные многоугольники; вращения этого типа являются выражениями группа симметрии.
- ^ Jump up to: а б с д и ж г И 120-ячеечный, и 600-ячеечный полигоны Петри имеют 30-угольников. [также] Это две отдельные косые 30-угольные спирали, состоящие из 30 ребер по 120 ячеек (хорды № 1) и 30 ребер по 600 ячеек (хорды № 3) соответственно, но они встречаются в полностью ортогональных парах, которые закручиваются вокруг одного и того же 0-угольника. большая ось круга. Спираль Петри из 120 ячеек закручивается ближе к оси, чем спираль Петри из 600 ячеек , потому что ее 30 ребер короче, чем 30 ребер 600-ячеечной (и они зигзагообразны под менее острыми углами). Двойная пара [также] из этих спиралей Петри разных радиусов, имеющих общую ось, не имеют общих вершин; они совершенно непересекающиеся. [являюсь] Спираль Петри из 120 ячеек (по сравнению со спиралью Петри из 600 ячеек) закручивается вокруг оси нулевого угольника 9 раз (против 11 раз) в ходе одной круговой орбиты, образуя перекос {30/9}=3{10/ 3} полиграмма (по сравнению с косой полиграммой {30/11} ). [ан]
- ^ В 600-клеточных § декагонах и пентадекаграммах см. иллюстрацию триаконтаграммы {30/6}=6{5} .
- ^ Jump up to: а б с Вписан в 3 параллельных больших декагона Клиффорда каждого винтового многоугольника Петри 120-ячеечного многоугольника. [д] это 6 больших пятиугольников [в] в котором 6 пентаграмм (правильных 5-клеток) кажутся вписанными, но пентаграммы перекошены (не параллельны плоскости проекции); каждая 5-ячейка фактически имеет вершины в 5 различных центральных плоскостях десятиугольника-пятиугольника в 5 полностью непересекающихся 600-ячейках.
- ^ Jump up to: а б 120 обычных 5-клеток полностью не пересекаются. Каждая 5-ячейка содержит два отдельных пятиугольника Петри на ее краях № 8, пятиугольные контуры, каждая из которых связывает 5 непересекающихся 600-ячеек вместе в отчетливом изоклиническом вращении, характерном для 5-ячейки. Но вершины двух непересекающихся 5-клеток не связаны 5-клеточными ребрами, поэтому каждый отдельный контур из хорд №8 ограничивается одной 5-клеткой, и других контуров из 5-клеточных ребер (хорд №8) не существует. ) в 120-клеточном.
- ^ Каждая черная или белая изоклина пентадекаграммы действует как правая изоклина в отдельном правом изоклиническом вращении, так и как левая изоклина в отдельном левом изоклиническом вращении, но изоклины не обладают присущей киральности. [м] Ни одна изоклина не является одновременно правой и левой изоклиной одного и того же дискретного вращения влево-вправо (одного и того же расслоения).
- ^ Jump up to: а б с д Характерное изоклиническое вращение 120-ячейки в инвариантных плоскостях, в которых лежат ее края (хорды № 1), переводит эти края в аналогичные края в параллельных центральных плоскостях Клиффорда. Поскольку изоклиническое вращение [н] представляет собой двойное вращение (в двух полностью ортогональных инвариантных центральных плоскостях одновременно), на каждом шаге приращения вращения от вершины к соседней вершине вершины перемещаются между центральными плоскостями по винтовым изоклинам большого круга, а не по обычным большим кругам, [м] по хорде изоклины, которая в данном конкретном вращении представляет собой хорду № 4 с длиной дуги 44,5 ~ °. [до н. э.]
- ^ Jump up to: а б с Характерная изоклина [м] из 120 ячеек представляет собой косую пентадекаграмму из 15 аккордов № 4. Последовательные хорды № 4 каждой пентадекаграммы лежат в разных △ центральных плоскостях, изоклинически наклоненных друг к другу под углом 12 °, что составляет 1/30 большого круга (но не дуги ребра из 120 ячеек, хорды № 1). . [из] Это означает, что две плоскости разделены двумя равными углами 12 °, [the] и они заняты соседними параллельными большими многоугольниками Клиффорда (неправильными большими шестиугольниками), соответствующие вершины которых соединены косыми хордами № 4. Последовательные вершины каждой пентадекаграммы являются вершинами полностью непересекающихся 5-клеток. Каждая пентадекаграмма представляет собой аккорд №4. [аа] посещение 15 вершин, принадлежащих трем различным 5-клеткам. Две пентадекаграммы показаны в проекции {30/8}=2{15/4}. [аб] посетите шесть 5-клеток, которые выглядят как шесть непересекающихся пентаграмм в проекции {30/12}=6{5/2}. [д]
- ^ Jump up to: а б с д Все 5-, 8- и 120-ячеечные модели имеют тетраэдрические вершинные фигуры. В 4-многограннике с тетраэдрической вершинной фигурой путь по ребрам не лежит на обычном большом круге в одной центральной плоскости: каждое последующее ребро лежит в другой центральной плоскости, чем предыдущее ребро. В 120-ячейке окружной путь с 30 ребрами вдоль ребер следует зигзагообразному косому многоугольнику Петри, который не является большим кругом. Однако существует окружной путь с 15 хордами, который представляет собой настоящий большой геодезический круг, проходящий через эти 15 вершин: но это не обычный «плоский» большой круг окружности 2𝝅𝑟, это винтовая изоклина. [м] который изгибается по кругу одновременно в двух полностью ортогональных центральных плоскостях, вращаясь в четырех измерениях, а не ограничиваясь двухмерной плоскостью. [С] Набор косых хорд изоклины называется многоугольником Клиффорда . [ах]
- ^ Jump up to: а б с д и ж г час я дж к Характерное изоклиническое вращение [р] 120-ячейки происходит в инвариантных плоскостях ее 1200 ребер [аа] и вписанные в него правильные 5 ячеек, противостоящие 1200 ребрам . [п] Существует четыре различных характерных правых (и левых) изоклинических вращения, каждая пара лево-правая соответствует дискретному расслоению Хопфа . [13] При каждом вращении все 600 вершин вращаются по винтовым изоклинам из 15 вершин, следуя геодезическому кругу. [м] с 15 аккордами №4, образующими пентадекаграмму {15/4}. [С]
- ^ Jump up to: а б с д и 120-ячейка содержит 80 различных 30-угольных многоугольников Петри из 1200 ребер и может быть разделена на 20 непересекающихся 30-угольных многоугольников Петри. [также] 30-угольник Петри вращается вокруг оси большого круга 0-угольника 9 раз за одну круговую орбиту и может рассматриваться как составная триаконтаграмма {30/9}=3{10/3} из 600-ячеечных ребер ( хорды №3), соединяющие пары вершин, которые находятся на расстоянии 9 вершин друг от друга в многоугольнике Петри. [т] {30/9}-грамм (с ребрами хорды №3) представляет собой альтернативную последовательность из тех же 30 вершин, что и 30-угольник Петри (с ребрами хорды №1).
- ^ Каждая хорда √ 2,5 натянута на 8 зигзагообразных ребер 30-угольника Петри, [и] ни один из которых не лежит в большом круге неправильного большого шестиугольника. Альтернативно, хорда √ 2,5 натянута на 9 зигзагообразных ребер, одно из которых (над серединой) действительно лежит в том же большом круге. [п]
- ^ Jump up to: а б с Хотя полностью ортогональные большие многоугольники перпендикулярны и связаны (как соседние звенья в обученной цепи), они также параллельны и лежат точно напротив друг друга в 4-многограннике в плоскостях, которые не пересекаются, за исключением одной точки, общего центра многогранника. два связанных круга.
- ^ Jump up to: а б с д При изоклиническом вращении со 120 ячейками угол дуги вращения составляет 12 ° (1/30 окружности), а не 15,5 ~ ° дуги краевой хорды № 1. Независимо от того, какие центральные плоскости являются инвариантными плоскостями вращения, любое изоклиническое вращение 120 ячеек на 12° приведет к тому, что большой многоугольник в каждой центральной плоскости превратится в конгруэнтный большой многоугольник в параллельной центральной плоскости Клиффорда, расположенной на расстоянии 12°. Соседние параллельные большие многоугольники Клиффорда (любого типа) полностью не пересекаются, а их ближайшие вершины соединены двумя ребрами по 120 ячеек (хорды № 1 с длиной дуги 15,5 ~ °). Угол поворота 12° не является дугой какой-либо хорды между вершинами в 120-ячейке. Это происходит только тогда, когда два равных угла между соседними параллельными центральными плоскостями Клиффорда [the] и это разделение между соседними плоскостями вращения во всех различных изоклинических вращениях 120-ячейки (а не только в ее характерном вращении).
- ^ Jump up to: а б 120-ячейка имеет 7200 различных вращательных смещений, каждое из которых имеет свою инвариантную плоскость вращения. 7200 различных центральных плоскостей могут быть сгруппированы в наборы параллельных инвариантных плоскостей вращения Клиффорда, состоящих из 25 различных классов (двойных) вращений, и обычно представляются как эти наборы. [24]
- ^ Jump up to: а б с Хорда-траектория изоклины [м] 4-многогранника может быть назван многоугольником Клиффорда , так как это косая полиграммная форма кругов вращения, через которые проходят вершины 4-многогранника в его характерном смещении Клиффорда . [the]
- ^ Jump up to: а б Окружность с 30 ребрами 120 ячеек соответствует косому многоугольнику Петри, а не многоугольнику большого круга. Многоугольник Петри любого 4-многогранника представляет собой зигзагообразную спираль, пронизывающую искривленное трехмерное пространство поверхности 4-многогранника. [и] 15 пронумерованных хорд 120-ячеечного кольца представляют собой расстояние между двумя вершинами в этом спиральном кольце из 30 вершин. [ал] Эти 15 различных пифагорейских расстояний в 4-мерном пространстве варьируются от длины ребра в 120 ячеек, которая соединяет любые две ближайшие вершины в кольце (хорда № 1), до длины оси (диаметра) в 120 ячеек, которая соединяет любые две противоположные вершины. (самые дальние) вершины кольца (хорда №15).
- ^ Jump up to: а б с Правильный косой 30-угольник — это многоугольник Петри из 600 ячеек и его двойной многоугольник из 120 ячеек. Полигоны Петри из 120 ячеек встречаются в 600-ячейках как двойники 30-ячеечных спиральных колец Бурдейка – Коксетера (многоугольники Петри из 600 ячеек): [ан] соединение их 30 тетраэдрических клеточных центров вместе образует полигоны Петри из двойных 120 ячеек, как заметил Рольфдитер Франк (около 2001 г.). Таким образом он обнаружил, что набор вершин из 120 ячеек разбивается на 20 непересекающихся многоугольников Петри. Этот набор из 20 непересекающихся параллельных косых многоугольников Клиффорда представляет собой дискретное расслоение Хопфа 120-клеточного (точно так же, как их 20 двойных 30-клеточных колец являются дискретным расслоением 600-клеточного ). [т]
- ^ Многоугольник Петри 3-многогранника (многогранника) с треугольными гранями (например, икосаэдра) можно рассматривать как линейную полосу связанных ребрами граней, согнутую в кольцо. Внутри этой круговой полосы треугольников, соединенных ребрами (10 в случае икосаэдра), многоугольник Петри можно выделить как косой многоугольник , ребра которого проходят зигзагообразно (не по кругу) через 2-пространство поверхности многогранника: поочередно изгибаясь влево и вправо, а также слалом вокруг большой оси круга, которая проходит через треугольники, но не пересекает ни одной вершины. Многоугольник Петри 4-многогранника (полихорона) с тетраэдрическими ячейками (например, 600-ячеечным) можно рассматривать как линейную спираль из граничных ячеек, согнутых в кольцо: спиральное кольцо Бурдейка-Коксетера . Внутри этой круговой спирали тетраэдров, соединенных гранями (30 в случае с 600 ячейками), косой многоугольник Петри можно выделить как спираль ребер, идущих зигзагообразно (не по кругу) через трехмерное пространство поверхности полихорона: попеременно изгибаясь влево и вправо и вращаясь по спирали вокруг оси большого круга, которая проходит через тетраэдры, но не пересекает ни одной вершины.
- ^ Jump up to: а б с д и ж г час Сама 120-ячейка содержит больше хорд, чем 15 хорд с номерами от 1 до 15, но дополнительные хорды встречаются только внутри 120-ячейки, а не как ребра какого-либо из шести правильных выпуклых 4-многогранников или их характерных больших многогранников. круговые кольца. 15 основных хорд пронумерованы так потому, что хорда # n соединяет две вершины которыми составляет n многоугольника Петри, расстояние между длин ребер. Существует 30 различных 4-пространственных хордальных расстояний между вершинами 120-ячеечной ячейки (15 пар дополнений по 180 °), включая № 15 - диаметр 180 ° (и его дополнение - хорда 0 °). В этой статье мы называем 15 ненумерованных минорных хорд по их дуговым углам, например, 41,4~°, который с длиной √ 0,5 попадает между хордами №3 и №4.
- ^ Jump up to: а б «В точке контакта [элементы правильного многогранника и элементы его двойственного, в который он каким-либо образом вписан] лежат в полностью ортогональных подпространствах касательной гиперплоскости к сфере [возвратного движения], поэтому их единственная общая точка - это сама точка контакта.... Фактически, [различные] радиусы 0 𝑹, 1 𝑹, 2 𝑹, ... определяют многогранники ... вершины которых являются центрами элементов 𝐈𝐈 0 , 𝐈𝐈 1 , 𝐈𝐈 2 , ... исходного многогранника." [16]
- ^ Jump up to: а б с д Многоугольник Петри из 600 ячеек представляет собой спиральное кольцо , которое закручивается вокруг своей нулевой оси большого круга 11 раз за одну круговую орбиту. Проецируемый на плоскость, полностью ортогональную плоскости 0-угольника, многоугольник Петри из 600 ячеек можно рассматривать как триаконтаграмму {30/11} из 30 хорд #11, соединяющих пары вершин, находящихся на расстоянии 11 вершин друг от друга на окружности многоугольника. проекция. [17] Грамм {30/11} (с ребрами хорды № 11) представляет собой альтернативную последовательность из тех же 30 вершин, что и 30-угольник Петри (с ребрами хорды № 3).
- ^ Jump up to: а б Длины хорд дробного квадратного корня выражаются в виде десятичных дробей, где:
𝚽 ≈ 0,618 — обратное золотое сечение. 1 / φ
𝚫 = 1 - 𝚽 = 𝚽 2 = 1 / ж 2 ≈ 0.382
𝜀 = 𝚫 2 /2 = 1/2 ст.л. 4 ≈ 0.073
а длина ребра 120 ячеек равна:
𝛇 = √ 𝜀 = 1 / √ 2 ж 2 ≈ 0.270
Например:
𝛇 = √ 0,𝜀 = √ 0,073~ ≈ 0,270 - ^ Jump up to: а б с д В додекаэдрической ячейке 120-ячейки единичного радиуса длина ребра ( №1 хорда 120-ячейки) равна 1 / ж 2 √ 2 ≈ 0,270. Восемь оранжевые вершины лежат в декартовых координатах (±φ 3 √ 8 , ±φ 3 √ 8 , ±φ 3 √ 8 ) относительно начала координат в центре ячейки. Они образуют куб (пунктирные линии) с длиной ребра 1 / φ √ 2 ≈ 0,437 (диагональ пятиугольника и хорда №2 120-ячеечной ячейки). Диагонали граней куба (не показаны) с длиной ребра 1 / φ ≈ 0,618 — ребра тетраэдрических ячеек, вписанных в куб (600-ячеечные ребра и хорда №3 120-ячеечной). Диаметр додекаэдра равен √ 3 / φ √ 2 ≈ 0,757 (диагональ куба и хорда №4 120-ячеечной ячейки).
- ^ Jump up to: а б грани Диагональ пятиугольника (хорда №2) находится в золотом сечении φ ≈ 1,618 к краю пятиугольника грани (краю из 120 ячеек, хорде №1). [ап]
- ^ Jump up to: а б с Хорда #2 соединяет вершины, которые находятся на расстоянии 2 ребер друг от друга: вершины тетраэдрической вершинной фигуры из 120 ячеек, вторая часть фигуры из 120 ячеек, начинающаяся с вершины, обозначенной 1 0 . Хорды №2 — это ребра этого тетраэдра, а хорды №1 — его длинные радиусы. Хорды №2 также являются диагональными хордами граней пятиугольника из 120 ячеек. [ак]
- ^ Jump up to: а б с 120-ячейка содержит десять 600-ячеек, которые можно разделить на пять полностью непересекающихся 600-ячеек двумя разными способами. [час] Все десять 600-клеток занимают один и тот же набор из 200 неправильных центральных плоскостей большого додекагона. [д] В 120-ячейке ровно 400 правильных шестиугольников (по два в каждой центральной плоскости додекагона), и каждая из десяти 600-ячеек содержит свое собственное подмножество из 200 из них (по одному из каждой центральной плоскости додекагона). Каждая 600-ячейка содержит только один из двух противоположных правильных шестиугольников, вписанных в любую центральную плоскость додекаэдра, точно так же, как она содержит только один из двух противоположных тетраэдров, вписанных в любую додекаэдрическую ячейку. Каждая 600-ячейка не пересекается с 4 другими 600-ячейками и имеет общий шестиугольник с 5 другими 600-ячейками. [бс] Каждая непересекающаяся пара из 600 ячеек занимает противостоящую пару непересекающихся больших шестиугольников в центральной плоскости каждого додекагона. Каждая непересекающаяся пара из 600 ячеек пересекается в 16 шестиугольниках, составляющих 24 ячейки. 120-ячейка содержит в 9 раз больше отдельных 24-клеток (225), чем непересекающихся 24-клеток (25). [Дж] Каждая 24-ячейка встречается в 9 ячейках по 600, отсутствует только в одной ячейке по 600 и используется двумя ячейками по 600.
- ^ Jump up to: а б с д Каждое ребро большого шестиугольника представляет собой ось зигзага из 5 ребер по 120 ячеек. Многоугольник Петри из 120 ячеек представляет собой спиральный зигзаг из 30 ребер по 120 ячеек, вращающихся по спирали вокруг нулевой оси большого круга, которая не пересекает ни одной вершины. [т] В каждый многоугольник Петри вписано пять больших шестиугольников в пяти разных центральных плоскостях. [как]
- ^ Jump up to: а б Многоугольник Петри 5-клетки — это пентаграмма {5/2}. Многоугольник Петри из 120 ячеек — это триаконтагон {30}, а одна из его многочисленных проекций на плоскость — триаконтаграмма {30/12}=6{5/2}. [и] Каждый 120-клеточный 6{5/2}-грамм Петри лежит полностью ортогонально шести 5-клеточным {5/2}-граммам Петри, которые принадлежат шести из 120 непересекающихся правильных 5-клеток, вписанных в 120-клетку. [д]
- ^ Сумма квадратов длин всех различных хорд любого правильного выпуклого n-многогранника единичного радиуса равна квадрату числа вершин. [18]
- ^ Додекаэдры появляются как видимые элементы в 120-ячеечной системе, но они также встречаются в 600-ячеечной системе как внутренние многогранники. [21]
- ^ - грани симплекса больше, чем -грани ортоплекса. Для длины ребер 5-ячеечной, 16- и 8-ячеечной ячеек находятся в соотношении к к .
- ^ Каждая 3-грань 4-ортоплекса, перестановочный тетраэдр и его полностью ортогональная трехгранная перестановка , содержат все 8 вершин 4-ортоплекса. Уникально то, что 4-ортоплекс также является 4- демикубом , половиной вершин 4-куба. Эти отношения между 4-симплексом, 4-ортоплексом и 4-кубом уникальны. . Полностью ортогональные 3-симплексные грани 4-ортоплекса представляют собой пару 3-полукубов, которые занимают чередующиеся вершины полностью ортогональных 3-кубов в одном и том же 4-кубе. Если спроецировать ортогонально на одну и ту же 3-гиперплоскость, две 3-грани будут двумя тетраэдрами, вписанными в один и тот же 3-куб. (В более общем смысле, полностью ортогональные многогранники являются зеркальными отражениями друг друга.)
- ^ Каждая 4-грань 5-ортоплекса, 4-симплексная (5-ячеечная) перестановка , и его полностью ортогональная 4-гранная перестановка , содержат все 10 вершин 5-ортоплекса.
- ^ Ни одна пара вершин ни в одной из 120 5-ячеек (нет центральной плоскости большого двуугольника в 5-ячейке ) не встречается ни в одной из 675 16-ячеек (675 декартовых базисных наборов из 6 ортогональных центральных плоскостей ). [Дж]
- ^ В искривленном трехмерном пространстве поверхности из 120 ячеек каждая из 600 вершин окружена 15 парами многогранных секций, каждая секция находится на «радиальном» расстоянии одной из 30 различных хорд. Вершина на самом деле не находится в центре многогранника, поскольку она смещена в четвертом измерении из гиперплоскости сечения, так что вершина вершины и окружающий ее базовый многогранник образуют многогранную пирамиду . Характерная хорда радиальная вокруг вершины, как и боковые края пирамиды.
- ^ Jump up to: а б Изоклина характерного вращения 120-клеточной ячейки. [аб] - это хорда № 4 с дуговым углом 44,5 ~ ° (большая грань неправильного большого додекагона), потому что в этом изоклиническом повороте на два равных угла поворота 12 °. [из] каждая вершина перемещается в другую вершину на расстоянии 4 длин ребра многоугольника Петри, а также круговой геодезический путь, по которому она вращается (ее изоклину). [м] не пересекает ближайшие вершины.
- ^ Jump up to: а б Изоклинические вращения приводят параллельные плоскости Клиффорда друг к другу, а плоскости вращения наклоняются вбок, как подбрасывание монет. [н] Аккорд № 4 [и] Мост важен при изоклиническом вращении в правильных больших шестиугольниках ( характеристическое вращение 24-клеток ), в котором инвариантные плоскости вращения являются подмножеством тех же 200 центральных плоскостей додекагона, что и характерное вращение 120-клеток (в неправильных больших шестиугольниках). [аб] В каждой дуге 12° [до н. э.] В результате характерного вращения 24-ячейки по сравнению с 120-ячейкой каждая вершина правильного большого шестиугольника перемещается в другую вершину в параллельном Клиффорду правильном большом шестиугольнике, который находится на расстоянии хорды № 4. Соседние параллельные правильные большие шестиугольники Клиффорда имеют шесть пар соответствующих вершин, соединенных хордами № 4. Шесть хорд № 4 представляют собой ребра шести различных больших прямоугольников в шести непересекающихся центральных плоскостях двенадцатиугольника, которые взаимно параллельны Клиффорду.
- ^ На этой иллюстрации показан лишь один из трех связанных неправильных больших додекагонов, лежащих в трех различных △ центральных плоскостях. Два из них (не показаны) лежат в параллельных (непересекающихся) двенадцатиугольниках Клиффорда и не имеют общих вершин. синий центральный прямоугольник с краями № 4 и № 11 лежит в третьей плоскости додекагона, а не по Клиффорду, параллельному какой-либо из двух непересекающихся плоскостей додекагона и пересекающему их обе; с каждой из них он имеет общие две вершины ( ось √ 4 прямоугольника). Каждая плоскость додекагона содержит два неправильных больших шестиугольника в чередующихся положениях (не показаны). [д] Таким образом, каждая хорда № 4 показанного большого прямоугольника представляет собой мост между двумя параллельными Клиффордом неправильными большими шестиугольниками, которые лежат в двух плоскостях додекагона, которые не показаны. [бд]
- ^ Обычная 5-ячеечная клетка имеет только центральные плоскости двуугольника, пересекающие две вершины. 120-ячейка со 120 вписанными правильными 5-клетками содержит большие прямоугольники, более длинные края которых являются этими двуугольниками, краями вписанных 5-клеток длиной √ 2,5 . Три непересекающихся прямоугольника встречаются в одной центральной плоскости {12}, где шесть хорд #8 √ 2,5 принадлежат шести непересекающимся 5-клеткам. Сечения 12 0 и 18 0 представляют собой правильные тетраэдры с длиной ребра √ 2,5 , ячейки правильных 5-клеток. В этих секциях лежат десять треугольных граней обычных 5-клеток; ребер грани каждое из трех √ 2,5 лежит в разных центральных плоскостях {12}.
- ^ При изоклиническом вращении каждая инвариантная плоскость является Клиффордом, параллельной плоскости, в которую она движется, и они никогда не пересекаются (кроме центральной точки). При простом вращении инвариантная плоскость пересекает плоскость, в которую она движется, по линии, и перемещается к ней, вращаясь вокруг этой линии.
- ^ Плоскость, в которой вся инвариантная плоскость вращается (наклоняется в сторону), (неполностью) ортогональна обеим полностью ортогональным инвариантным плоскостям, а также Клиффорд параллелен им обеим. [но]
- ^ Изоклиническое вращение на 90 градусов двух полностью ортогональных плоскостей приближает их друг к другу. При таком вращении жесткого 4-многогранника все 6 ортогональных плоскостей поворачиваются на 90 градусов, а также наклоняются в сторону на 90 градусов к своей полностью ортогональной (параллельной Клиффорду) плоскости. [23] Соответствующие вершины двух полностью ортогональных больших многоугольников находятся на расстоянии √ 4 (180 °) друг от друга; большие многоугольники (параллельные многогранники Клиффорда) находятся на расстоянии √ 4 (180 °) друг от друга; но две полностью ортогональные плоскости находятся на расстоянии 90 ° друг от друга в двух ортогональных углах, которые их разделяют. [the] Если изоклиническое вращение продолжится еще на 90°, каждая вершина завершит поворот на 360°, и каждый большой многоугольник вернется в свою исходную плоскость, но в другой ориентации (поменялись оси): он был перевернут «вверх ногами» на поверхности 4-многогранник (который теперь «наизнанку»). Продолжение второго изоклинического поворота на 360° (через четыре изоклинических шага 90° на 90°, поворот на 720°) возвращает все в исходное место и ориентацию.
- ^ Легче всего представить это неправильно , потому что полностью ортогональные большие круги параллельны Клиффорду и не пересекаются (кроме центральной точки). То же самое касается инвариантной плоскости и плоскости, в которую она движется. Инвариантная плоскость наклоняется вбок в ортогональной центральной плоскости, которая не является ее полностью ортогональной плоскостью, а параллельна ей по Клиффорду. Он вращается в своей полностью ортогональной плоскости, но не в ней. Он по Клиффорду параллелен своей вполне ортогональной плоскости и плоскости, в которую он движется, и не пересекает их; плоскость, в которой он вращается , ортогональна всем этим плоскостям и пересекает их все. [бх] В характерном вращении 120 ячеек [аб] каждая инвариантная плоскость вращения по Клиффорду параллельна своей вполне ортогональной плоскости, но не примыкает к ней; сначала он достигает некоторой другой (ближайшей) параллельной плоскости. Но если изоклиническое вращение, протекающее через последовательные параллельные плоскости Клиффорда, продолжится на 90 °, вершины сместятся на 180 °, и плоскость наклонного вращения достигнет своей (исходной) полностью ортогональной плоскости. [с]
- ^ Jump up to: а б Вращения в 4-мерном евклидовом пространстве определяются хотя бы одной парой полностью ортогональных [но] центральные плоскости вращения, которые инвариантны , что означает, что все точки плоскости остаются в плоскости при ее движении. Отчетливая левая (и правая) изоклиника. [the] вращение может иметь несколько пар полностью ортогональных инвариантных плоскостей, и все эти инвариантные плоскости взаимно параллельны по Клиффорду . Особый класс дискретного изоклинического вращения имеет характерный вид большого многоугольника в своих инвариантных плоскостях. [р] Он имеет несколько различных экземпляров вращения влево (и вправо), называемых расслоениями , которые имеют непересекающиеся наборы инвариантных плоскостей вращения. Расслоения представляют собой непересекающиеся пучки параллельных круговых слоев Клиффорда , многоугольников большого круга в своих инвариантных плоскостях.
- ^ В 120-ячейке, полностью ортогональной каждому многоугольнику большого круга, находится еще один многоугольник большого круга того же типа. Набор клиффордовских параллельных инвариантных плоскостей отдельного изоклинического вращения представляет собой набор таких вполне ортогональных пар. [бк]
- ^ Каждый тип плоскости вращения имеет свой характерный делитель расслоения, обозначающий количество расслоений параллельных многоугольников большого круга Клиффорда (каждого отдельного типа), которые встречаются в плоскостях вращения этого типа. Каждый пучок покрывает все вершины 120-ячейки ровно один раз, поэтому общее количество вершин в однотипных многоугольниках большого круга, разделенное на количество пучков, всегда равно 600, количеству различных вершин. Например, «400 неправильных больших шестиугольников / 4».
- ^ 10 тетраэдров в каждом додекаэдре перекрываются; но 600 тетраэдров в каждой 600-ячейке этого не делают, поэтому каждый из 10 должен принадлежать разным 600-ячейкам.
- ^ Jump up to: а б Каждая вершинная фигура из 120 ячеек на самом деле представляет собой низкую тетраэдрическую пирамиду, неправильную пятиклеточную пирамиду с правильным основанием в виде тетраэдра.
- ^ Как мы видели в 600-ячейке , эти 12 тетраэдров принадлежат (попарно) к 6 икосаэдрическим кластерам из двадцати тетраэдрических ячеек, которые окружают каждый кластер из пяти тетраэдрических ячеек.
- ^ 24-ячейка содержит 16 шестиугольников. В 600-ячейке с 25 24-ячейками каждая 24-ячейка не пересекается с 8 24-ячейками и пересекает каждую из остальных 16 24-ячеек в шести вершинах, образующих шестиугольник. [43] В 600-ячейке содержится 25・16/2 = 200 таких шестиугольников.
- ^ Каждый правильный большой шестиугольник разделяется двумя 24-ячейками в одной и той же 600-ячейке, [бр] и каждая 24-ячейка используется двумя 600-ячейками. [бн] Каждый правильный шестиугольник разделен на четыре ячейки по 600.
- ^ Уменьшение 600-точечного 120-ячеечного многогранника до 480-точечного 4-мерного многогранника путем удаления одной, если его 600 ячеек, аналогично уменьшению 120-точечного 600-ячейки путем удаления одной из его 5 непересекающихся вписанных 96 точками ячеек. 24 ячейки, образующие курносую 24 ячейки с . Аналогичным образом, тессеракт из 8 ячеек можно рассматривать как уменьшенную на 16 точек 24-клетку , из которой была удалена одна 8-точечная 16-ячейка.
Цитаты
[ редактировать ]- ^ Н. В. Джонсон : Геометрии и трансформации , (2018) ISBN 978-1-107-10340-5 Глава 11: Группы конечной симметрии , 11.5 Сферические группы Кокстера , стр.249
- ^ Матила Гика, Геометрия искусства и жизни (1977), стр.68
- ^ Jump up to: а б Coxeter 1973 , стр. 292–293, Таблица I(ii); «120-клеточный».
- ^ Дечант 2021 , с. 18, замечание 5.7 , объясняет, почему нет. [и]
- ^ Dechant 2021 , Аннотация; «[E] Очень трехмерная корневая система позволяет построить соответствующую четырехмерную корневую систему с помощью« теоремы индукции ». В этой статье мы подробно рассматриваем икосаэдрический случай H3 → H4 и выполняем вычисления явно. Используется алгебра Клиффорда. выполнить теоретико-групповые вычисления на основе теоремы Версора и теоремы Картана-Дьедонне... пролить свет на геометрические аспекты корневой системы H4 (600-ячейка), а также других связанных многогранников и их симметрий... включая построение плоскости Кокстера, которая используется для визуализации дополнительных пар инвариантных многогранников... Таким образом, этот подход представляет собой более систематический и общий способ выполнения вычислений, касающихся групп, в частности групп отражений и корневых систем, в клиффордовской системе координат. алгебраическая основа».
- ^ Математика и ее история , Джон Стиллвелл, 1989, 3-е издание, 2010 г., ISBN 0-387-95336-1
- ^ Jump up to: а б Стиллвелл 2001 .
- ^ Коксетер 1973 , стр. 156–157, §8.7 Декартовы координаты.
- ^ Jump up to: а б Мамоне, Пилейо и Левитт 2010 , с. 1442 г., Таблица 3.
- ^ Мамоне, Пилейо и Левитт 2010 , стр. 1433, §4.1; Декартова 4-координатная точка (w,x,y,z) — это вектор в 4D-пространстве из (0,0,0,0). Четырехмерное реальное пространство — это векторное пространство: любые два вектора можно сложить или умножить на скаляр, чтобы получить другой вектор. Кватернионы расширяют векторную структуру четырехмерного реального пространства, позволяя умножать два четырехмерных вектора. и в соответствии с
- ^ Ким и Роте 2016 , с. 7, §6 Углы между двумя плоскостями в 4-пространстве; «В четырех (и более высоких) измерениях нам нужны два угла, чтобы зафиксировать относительное положение между двумя плоскостями. (В более общем смысле, k углов определяются между k -мерными подпространствами.)».
- ^ Коксетер 1973 , с. 304, таблица VI (iv): 𝐈𝐈 = {5,3,3}.
- ^ Мамоне, Pileio & Levitt 2010 , стр. 1438–1439, §4.5 Правильные выпуклые 4-многогранники, Таблица 2, Операции симметрии; в группе симметрии 𝛢 4 операция [15]𝑹 q3,q3 представляет собой 15 различных вращательных смещений, составляющих класс изоклинических вращений пентаграммы отдельной 5-ячейки ; в группе симметрии 𝛨 4 операция [1200]𝑹 q3,q13 представляет собой 1200 различных вращательных смещений, которые составляют класс изоклинических вращений пентадекаграммы 120-ячейки, характерного вращения 120-ячейки.
- ^ Мамоне, Pileio & Levitt 2010 , стр. 1438–1439, §4.5 Правильные выпуклые 4-многогранники, Таблица 2, Группа симметрии 𝛨 4 ; 120-ячеечная модель имеет 7200 различных вращательных смещений (и 7200 отражений), которые можно сгруппировать как 25 различных изоклинических вращений. [в]
- ^ Coxeter 1973 , стр. 300–301, Таблица V: (v) Упрощенные сечения {5,3,3} (ребро 2φ −2 √2 [радиус 4]), начиная с вершины; В таблице Коксетера перечислены 16 неточечных секций, обозначенных 1 0 − 16 0 , многогранников, чьи последовательно увеличивающиеся «радиусы» на 3-сфере (в столбце 2 la ) представляют собой следующие хорды в наших обозначениях: [ал] №1, №2, №3, 41,4~°, №4, 49,1~°, 56,0~°, №5, 66,1~°, 69,8~°, №6, 75,5~°, 81,1~°, 84,5~°, №7, 95,5~°, ..., №15. Остальные отдельные хорды представляют собой более длинные «радиусы» второго набора из 16 противоположных многогранных секций (в столбце a для (30− i ) 0 ), в котором указаны № 15, № 14, № 13, № 12, 138,6 ~ °, #11, 130,1~°, 124~°, #10, 113,9~°, 110,2~°, #9, #8, 98,9~°, 95,5~°, #7, 84,5~°, ... или хотя бы они встречаются среди дополнений на 180 ° всех аккордов, перечисленных в списке Кокстера. Полный упорядоченный набор из 30 различных аккордов: 0°, #1, #2, #3, 41,4~°, #4, 49,1~°, 56~°, #5, 66,1~°, 69,8~°, #6, 75,5~°, 81,1~°, 84,5~°, №7, 95,5~°, №8, №9, 110,2°, 113,9°, №10, 124°, 130,1°, №11, 138,6°, №12, # 13, №14, №15. Хорды также встречаются среди длин ребер многогранных сечений (в столбце 2 lb , где указаны только: #2, .., #3, .., 69,8~°, .., .., #3, .. , .., #5, #8, .., .., .., #7, ... поскольку кратные длины ребер неправильных многогранных сечений не указаны).
- ^ Коксетер 1973 , с. 147, §8.1 Простые усечения общего правильного многогранника.
- ^ Sadoc 2001 , стр. 577–578, §2.5 Симметрия 30/11: пример другого вида симметрии.
- ^ Кофер 2019 , с. 6, §3.2. Теорема 3.4.
- ^ Коксетер 1973 , с. 269, Соединения; «Примечательно, что вершины {5, 3, 3} включают вершины всех остальных пятнадцати правильных многогранников в четырех измерениях».
- ^ Шлеймер и Сегерман 2013 .
- ^ Коксетер 1973 , с. 298, Таблица V: (iii) Сечения {3,3,5}, начинающиеся с вершины.
- ^ Coxeter 1973 , стр. 300–301, Таблица V: (v) Упрощенные сечения {5,3,3} (ребро 2φ −2 √2 [радиус 4]), начиная с вершины; В таблице Коксетера перечислены 16 неточечных секций, обозначенных 1 0 - 16 0 , но 14 0 и 16 0 являются конгруэнтными противоположными секциями, а 15 0 противостоят самому себе; имеется 29 неточечных секций, обозначенных 1 0 − 29 0 , в 15 противоположных парах.
- ^ Kim & Rote 2016 , стр. 8–10, Связь с параллелизмом Клиффорда.
- ^ Мамоне, Пилейо и Левитт 2010 , §4.5 Правильные выпуклые 4-многогранники, Таблица 2.
- ^ Карло Х. Секен (июль 2005 г.). Симметричные гамильтоновы многообразия на правильных 3D и 4D многогранниках . Mathartfun.com. стр. 463–472. ISBN 9780966520163 . Проверено 13 марта 2023 г.
- ^ ван Иттерсум 2020 , с. 435, §4.3.5 Две ячейки по 600, окружающие 24 ячейки.
- ^ Денни и др. 2020 , с. 5, §2 Маркировка H4.
- ^ Коксетер 1973 , с. 305, Таблица VII: Регулярные соединения в четырех измерениях.
- ^ Waegell & Aravind 2014 , стр. 3–4, §2 Геометрия 120 ячеек: лучи и основания.
- ^ Салливан 1991 , стр. 4–5, Додекаэдр.
- ^ Коксетер и др. 1938 , с. 4; «Как тетраэдр можно вписать в куб, так и куб можно вписать в додекаэдр. Взаимно-поступательным движением это приводит к октаэдру, описанному около икосаэдра. Фактически, каждая из двенадцати вершин икосаэдра делит ребро октаэдр согласно « золотому сечению ». Учитывая икосаэдр, описанный октаэдр можно выбрать пятью способами, образуя соединение пяти октаэдров , которое подпадает под наше определение звездчатого икосаэдра (взаимное соединение пяти кубов, вершины которых совпадают). принадлежат додекаэдру, является звездчатым триаконтаэдром .) Другой звездчатый икосаэдр можно сразу вывести, превратив каждый октаэдр в звездчатую октангулу , образовав таким образом соединение десяти тетраэдров . Далее, мы можем выбрать по одному тетраэдру из каждой звездчатой октангулы, так что. как получить соединение пяти тетраэдров , которое по-прежнему обладает всей вращательной симметрией икосаэдра (т.е. икосаэдрической группы), хотя и утратило отражения. Отражая эту фигуру в любой плоскости симметрии икосаэдра, мы получаем дополнительную. набор из пяти тетраэдров. Эти два набора из пяти тетраэдров энантиоморфны, то есть не конгруэнтны напрямую, а связаны, как пара обуви. [Такая] фигура, не имеющая плоскости симметрии (так что она энантиоморфна своему зеркальному изображению), называется хиральный ».
- ^ Waegell & Aravind 2014 , стр. 5–6.
- ^ Коджа, Аль-Аджми и Оздес Коджа 2011 , стр. 986–988, 6. Двойной курносый 24-клеточный.
- ^ Коксетер 1973 , §1.8 Конфигурации.
- ^ Коксетер 1991 , с. 117.
- ^ Jump up to: а б Салливан 1991 , с. 15, Другие свойства 120-элементного.
- ^ Шлеймер и Сегерман 2013 , стр. 16, §6.1. Слои додекаэдров.
- ^ Коксетер 1970 , стр. 19–23, §9. 120-ячеечный и 600-ячеечный.
- ^ Шлеймер и Сегерман 2013 , стр. 16–18, §6.2. Кольца додекаэдров.
- ^ Банчофф 2013 .
- ^ Zamboj 2021 , стр. 6–12, §2 Математическая основа.
- ^ Zamboj 2021 , стр. 23–29, §5 Торы Хопфа, соответствующие окружностям на B 2 .
- ^ Денни и др. 2020 , с. 438.
- ^ Чилтон 1964 .
- ^ Dechant 2021 , стр. 18–20, 6. Самолет Коксетера.
- ^ Денни и др. 2020 .
Ссылки
[ редактировать ]- Коксетер, HSM (1973) [1948]. Правильные многогранники (3-е изд.). Нью-Йорк: Дувр.
- Коксетер, HSM (1991). Правильные комплексные многогранники (2-е изд.). Кембридж: Издательство Кембриджского университета.
- Коксетер, HSM (1995). Шерк, Ф. Артур; Макмаллен, Питер; Томпсон, Энтони К.; Вайс, Азия Ивич (ред.). Калейдоскопы: Избранные сочинения HSM Коксетера (2-е изд.). Публикация Wiley-Interscience. ISBN 978-0-471-01003-6 .
- (Документ 22) HSM Коксетер, Правильные и полуправильные многогранники I , [Math. Зейт. 46 (1940) 380-407, МР 2,10]
- (Документ 23) HSM Коксетер, Правильные и полуправильные многогранники II , [Math. Зейт. 188 (1985) 559-591]
- (Документ 24) HSM Коксетер, Правильные и полуправильные многогранники III , [Math. Зейт. 200 (1988) 3-45]
- Коксетер, HSM ; дю Валь, Патрик ; Флатер, ХТ; Петри, Дж. Ф. (1938). Пятьдесят девять икосаэдров . Том. 6. Исследования Университета Торонто (математическая серия).
- Коксетер, HSM (1970), «Витые соты», Совет конференции серии региональных конференций математических наук по математике , 4 , Провиденс, Род-Айленд: Американское математическое общество
- Стиллвелл, Джон (январь 2001 г.). «История 120 ячеек» (PDF) . Уведомления АМС . 48 (1): 17–25.
- Дж. Х. Конвей и М. Дж. Т. Гай : Четырехмерные архимедовы многогранники , материалы коллоквиума по выпуклости в Копенгагене, стр. 38 и 39, 1965 г.
- Н. В. Джонсон : Теория однородных многогранников и сот , доктор философии. Диссертация, Университет Торонто, 1966 г.
- Четырехмерные архимедовы многогранники (немецкий), Марко Мёллер, докторская диссертация 2004 г. [1]. Архивировано 22 марта 2005 г. в Wayback Machine.
- Дэвис, Майкл В. (1985), «Гиперболическое 4-многообразие», Труды Американского математического общества , 93 (2): 325–328, doi : 10.2307/2044771 , ISSN 0002-9939 , JSTOR 2044771 , MR 0770546
- Денни, Томм; Хукер, Да'Шей; Джонсон, Де'Джанеке; Робинсон, Тианна; Батлер, Маджид; Клэйборн, Сандерниш (2020). «Геометрия многогранников H4». Достижения в геометрии . 20 (3): 433–444. arXiv : 1912.06156v1 . дои : 10.1515/advgeom-2020-0005 . S2CID 220367622 .
- Штайнбах, Питер (1997). «Золотые поля: случай семиугольника». Журнал «Математика» . 70 (февраль 1997 г.): 22–31. дои : 10.1080/0025570X.1997.11996494 . JSTOR 2691048 .
- Кофер, Джессика (2019). «Суммы и произведения квадратов длин хорд правильных многогранников». arXiv : 1903.06971 [ math.MG ].
- Миядзаки, Кодзи (1990). «Первичные гипергеодезические многогранники». Международный журнал космических конструкций . 5 (3–4): 309–323. дои : 10.1177/026635119000500312 . S2CID 113846838 .
- ван Иттерсум, Клара (2020). «Группы симметрии правильных многогранников в трех и четырех измерениях» . ТУДельфт .
- Мамоне, Сальваторе; Пилейо, Джузеппе; Левитт, Малкольм Х. (2010). «Схемы ориентационной выборки на основе четырехмерных многогранников» . Симметрия . 2 (3): 1423–1449. Бибкод : 2010Symm....2.1423M . дои : 10.3390/sym2031423 .
- Салливан, Джон М. (1991). «Генерация и рендеринг четырехмерных многогранников» . Журнал Математика . 1 (3): 76–85.
- Вегель, Мордехай; Аравинд, ПК (10 сентября 2014 г.). «Доказательства четности теоремы Кохена – Спекера на основе 120 ячеек». Основы физики . 44 (10): 1085–1095. arXiv : 1309.7530v3 . Бибкод : 2014FoPh...44.1085W . дои : 10.1007/s10701-014-9830-0 . S2CID 254504443 .
- Замбой, Михал (8 января 2021 г.). «Синтетическая конструкция расслоения Хопфа в двойной ортогональной проекции 4-пространства». Журнал вычислительного дизайна и инженерии . 8 (3): 836–854. arXiv : 2003.09236v2 . doi : 10.1093/jcde/qwab018 .
- Садок, Жан-Франсуа (2001). «Спирали и спиральные упаковки, полученные из многогранника {3,3,5}» . Европейский физический журнал E. 5 : 575–582. дои : 10.1007/s101890170040 . S2CID 121229939 .
- Чилтон, Б.Л. (сентябрь 1964 г.). «О проекции правильного многогранника {5,3,3} в правильный триаконтагон» . Канадский математический бюллетень . 7 (3): 385–398. дои : 10.4153/CMB-1964-037-9 .
- Шлеймер, Саул; Сегерман, Генри (2013). «Загадка 120 ячеек». Замечания амер. Математика. Соц . 62 (11): 1309–1316. arXiv : 1310.3549 . дои : 10.1090/noti1297 . S2CID 117636740 .
- Банчофф, Томас Ф. (2013). «Разложения тора правильных многогранников в 4-мерном пространстве». В Сенешале, Марджори (ред.). Формирование пространства . Спрингер Нью-Йорк. стр. 257–266 . дои : 10.1007/978-0-387-92714-5_20 . ISBN 978-0-387-92713-8 .
- Коджа, Мехмет; Оздеш Коджа, Назифе; Аль-Барвани, Муатаз (2012). «Крутой 24-клеточный элемент, полученный из группы Кокстера-Вейля W (D4)» . Межд. Дж. Геом. Методы Мод. Физ . 09 (8). arXiv : 1106.3433 . дои : 10.1142/S0219887812500685 . S2CID 119288632 .
- Коджа, Мехмет; Аль-Аджми, Музахир; Оздеш Коджа, Назифе (2011). «Кватернионное представление курносой 24-клетки и ее двойного многогранника, полученного из корневой системы E8» . Линейная алгебра и ее приложения . 434 (4): 977–989. arXiv : 0906.2109 . дои : 10.1016/j.laa.2010.10.005 . ISSN 0024-3795 . S2CID 18278359 .
- Дешант, Пьер-Филипп (2021). «Спиноры Клиффорда и индукция корневой системы: H4 и большая антипризма» . Достижения в области прикладной алгебры Клиффорда . 31 (3). Springer Science and Business Media. arXiv : 2103.07817 . дои : 10.1007/s00006-021-01139-2 .
- Ким, Хына; Роте, Гюнтер (2016). «Проверка конгруэнтности наборов точек в 4 измерениях». arXiv : 1603.07269 [ cs.CG ].
- Перес-Грасиа, Альба; Томас, Федерико (2017). «О факторизации Кэли четырехмерных вращений и приложениях» (PDF) . Адв. Прил. Алгебры Клиффорда . 27 : 523–538. дои : 10.1007/s00006-016-0683-9 . hdl : 2117/113067 . S2CID 12350382 .
Внешние ссылки
[ редактировать ]- Вайсштейн, Эрик В. «120 ячеек» . Математический мир .
- Ольшевский, Георгий. «Гекатоникосахорон» . Глоссарий по гиперпространству . Архивировано из оригинала 4 февраля 2007 года.
- Клитцинг, Ричард. "4D однородные многогранники (полихора) o3o3o5x - привет" .
- Der 120-Zeller (120-ячеечный) Правильные многогранники Марко Мёллера в R 4 (Немецкий)
- 120-ячеечный проводник – бесплатная интерактивная программа, которая позволяет вам узнать о ряде симметрий 120-клеток. 120 ячеек проецируются в 3 измерения, а затем визуализируются с использованием OpenGL.
- Построение Гипердодекаэдра
- YouTube-анимация строительства 120-клеточного Джан Марко Тодеско.
H 4 Многогранники семейства |
---|