Jump to content

Обозначение многогранника Конвея

(Перенаправлено с оператора Conway Kis )
В этом примере диаграммы показано, как из куба можно получить 11 новых форм с помощью 3 операций. Новые многогранники отображаются в виде карт на поверхности куба, поэтому топологические изменения становятся более очевидными. Вершины во всех формах отмечены кружками.

В геометрии и топологии , основанных на исходном многограннике , нотация многогранника Конвея , изобретенная Джоном Хортоном Конвеем и продвигаемая Джорджем Хартом , используется для описания многогранников модифицированном различными префиксными операциями . [1] [2]

Конвей и Харт расширили идею использования операторов, таких как усечение , определенное Кеплером , для построения связанных многогранников одинаковой симметрии. Например, tC представляет собой усеченный куб , а taC , анализируемый как t ( aC ) , является ( топологически ) усеченным кубооктаэдром . Простейший оператор двойного обмена местами элементов вершин и граней ; двойственный куб — ​​это октаэдр : dC = O. например , При последовательном применении эти операторы позволяют множество многогранников более высокого порядка генерировать . Конвей определил операторы a (амбо), b ( фаска ), d ( двойной ), e (расширение), g (гироскоп), j (соединение), k (кис), m (мета), o (орто), s ( snub ) и t ( truncate ), а Харт добавил r ( Reflection ) и p (пропеллер). [3] В более поздних реализациях были названы дополнительные операторы, иногда называемые «расширенными» операторами. [4] [5] Базовых операций Конвея достаточно для создания архимедовых и каталонских тел из платоновых тел . Некоторые базовые операции могут быть выполнены как составные части других: например, дважды примененная ambo — это операция расширения ( aa = e ), а усечение после ambo создает скос ( ta = b ).

Многогранники можно изучать топологически, с точки зрения того, как их вершины, ребра и грани соединяются друг с другом, или геометрически, с точки зрения размещения этих элементов в пространстве. Различные реализации этих операторов могут создавать многогранники, геометрически разные, но топологически эквивалентные. Эти топологически эквивалентные многогранники можно рассматривать как одно из многих вложений на многогранного графа сфере. Если не указано иное, в этой статье (и в литературе по операторам Конвея в целом) топология является основной задачей. Многогранники рода 0 (т.е. топологически эквивалентные сфере) часто приводятся в каноническую форму, чтобы избежать двусмысленности.

Операторы

[ редактировать ]

В обозначениях Конвея операции над многогранниками применяются как функции, справа налево. Например, кубооктаэдр — это куб амбо , [6] то есть , а усечённый кубооктаэдр — это . Повторное применение оператора можно обозначить показателем степени: j 2 = о . В общем, операторы Конвея некоммутативны .

Отдельные операторы можно визуализировать с точки зрения фундаментальных областей (или камер), как показано ниже. Каждый прямоугольный треугольник является фундаментальной областью . Каждая белая камера представляет собой повернутую версию остальных, как и каждая цветная камера. Для ахиральных операторов цветные камеры являются отражением белых камер, и все они транзитивны. В групповых терминах ахиральные операторы соответствуют группам диэдра D n , где n — количество сторон грани, а киральные операторы соответствуют циклическим группам C n, лишенным отражательной симметрии групп диэдра. Ахиральные и киральные операторы также называются локальными операциями, сохраняющими симметрию (LSP) и локальными операциями, сохраняющими симметрию, сохраняющую ориентацию (LOPSP) соответственно. [7] [8] [9] LSP следует понимать как локальные операции, сохраняющие симметрию, а не операции, сохраняющие локальную симметрию. Опять же, это симметрии в топологическом, а не геометрическом смысле: точные углы и длины ребер могут различаться.

Основные области лиц с стороны
3 (Треугольник) 4 (Квадрат) 5 (Пентагон) 6 (Шестиугольник)
Фундаментальные области для групп многогранников. Группы для ахиральных многогранников и для киральных многогранников.

Харт ввел оператор отражения r , который дает зеркальное отображение многогранника. [6] Это не строго LOPSP, поскольку он не сохраняет ориентацию: он меняет ее, меняя местами белые и красные камеры. r не влияет на ахиральные многогранники, кроме ориентации, а rr = S возвращает исходный многогранник. Перечеркивание может использоваться для обозначения другой киральной формы оператора: s = rsr .

Операция неприводима, если ее нельзя выразить в виде композиции операторов, кроме d и r . Большинство исходных операторов Конвея неприводимы: исключениями являются e , b , o и m .

Матричное представление

[ редактировать ]
х
хд
дх
dxd

Связь между количеством вершин, ребер и граней семени и многогранника, созданного операциями, перечисленными в этой статье, может быть выражена в виде матрицы. . Когда x является оператором, являются вершинами, ребрами и гранями семени (соответственно), а являются вершинами, ребрами и гранями результата, тогда

.

Матрица композиции двух операторов — это просто произведение матриц этих двух операторов. Различные операторы могут иметь одну и ту же матрицу, например, p и l . Количество ребер результата представляет собой целое число d, кратное значению начального числа: это называется уровнем инфляции или краевым фактором. [7]

Простейшие операторы, тождественный оператор S и двойственный оператор d , имеют простые матричные формы:

,

Два двойных оператора сокращаются; dd = S и квадрат является единичной матрицей . Применительно к другим операторам двойственный оператор соответствует горизонтальному и вертикальному отражению матрицы. Операторы могут быть сгруппированы в группы по четыре человека (или меньше, если некоторые формы одинаковы), идентифицируя операторы x , xd (оператор двойственного оператора), dx (двойственный оператор) и dxd (сопряженный оператор). В этой статье дана только матрица для x , поскольку остальные являются простыми отражениями.

Количество операторов

[ редактировать ]

Число LSP для каждого уровня инфляции равно начиная с уровня инфляции 1. Однако не все LSP обязательно создают многогранник, ребра и вершины которого образуют 3-связный граф , и, как следствие теоремы Стейница, не обязательно создают выпуклый многогранник из выпуклого семени. Число 3-связных LSP для каждого уровня инфляции равно . [8]

Оригинальные операции

[ редактировать ]

Строго говоря, семя ( S ), игла ( n ) и zip ( z ) не были включены Конвеем, но они связаны с исходными операциями Конвея двойственностью, поэтому включены сюда.

С этого момента операции визуализируются на семенах куба, нарисованных на поверхности этого куба. Синие грани пересекают края семени, а розовые грани лежат над вершинами семени. Существует некоторая гибкость в точном размещении вершин, особенно при использовании киральных операторов.

Оригинальные операторы Конвея
Краевой фактор Матрица х хд дх dxd Примечания
1
Семя : С

Двойной : д

Начальное значение : дд = S
Dual заменяет каждую грань вершиной, а каждую вершину гранью.
2
Присоединяйтесь : j

Вверху : а
Соединение создает четырехугольные грани. Амбо создает вершины степени 4 и также называется выпрямлением или срединным графом в теории графов. [10]
3
Маленький : к

Игла : н

Почтовый индекс : z

Усечь : т
Кис воздвигает пирамиду на каждой грани, и его еще называют акизация, Клитопа , кумуляция, [11] аккреция, или увеличение пирамиды . Усечение обрезает многогранник по его вершинам, но оставляет часть исходных ребер. [12] Zip также называют битранцией .
4
Орто : о = jj

Развернуть : е = аа
5
Гироскоп : г
гд = ггр сд = рср
Пренебрежение : с
Киральные операторы. См. Snub (геометрия) . В отличие от Харта, [3] gd — это не то же самое, что g : это его киральная пара. [13]
6
Мета : м = кДж

Фаска : b = ta

Затравкой может служить любой многогранник, если над ним можно выполнять операции. Обычным семенам присвоена буква.Платоновы тела обозначаются первой буквой Тетраэдр I , Октаэдр Додекаэдр , Куб ) , , косаэдр ; ( своего названия призмы ( ) ; Pn - угольных для n форм а нтипризмы ( Ан ) ; c u polae ( Un ) ; антикуполы ( V n ); и пирамиды ) ( Y n . Любое можно твердое тело Джонсона обозначить как J n для n = 1..92.

Все пять платоновых тел могут быть созданы с помощью призматических генераторов с использованием от нуля до двух операторов: [14]

Обычные евклидовы мозаики также можно использовать в качестве затравок:

Расширенные операции

[ редактировать ]

Это операции, созданные на основе исходного набора Конвея. Обратите внимание, что существует гораздо больше операций, чем было названо; то, что операции здесь нет, не означает, что она не существует (или не является LSP или LOPSP). Для упрощения можно сказать, что только неприводимые операторывключены в этот список: другие могут быть созданы путем составления операторов вместе.

Неприводимые расширенные операторы
Краевой фактор Матрица х хд дх dxd Примечания
4
Фаска : c

компакт-диск = ты

постоянный ток = выход

Разделить : ты
Chamfer — это форма соединения l . См. Фаска (геометрия) .
5
Пропеллер : р

дп = пд

дпд = п
Киральные операторы. Оператор пропеллера был разработан Джорджем Хартом. [15]
5
лофт : л

лд

дл

длд
6
Квинто : Вопрос

qd

дк

dqd
6
Соединение шнурка : L 0

Л 0 д

дл 0

дл 0 д
См. ниже объяснение обозначений соединения.
7
Кружево : L

Лд

дл

длд
7
Ставка : К

Кд

дК

дКд
7
Вихрь : ш
вд = дв
v = dw
Волюта : v Киральные операторы.
8
Присоединяйтесь-кис-кис :



Иногда его называют Дж . [4] См. ниже объяснение обозначений соединения. Несоединяемая форма kk не является неприводимой.
10
Крест : Х

Хд

дХ

dXd

Индексированные расширенные операции

[ редактировать ]

Ряд операторов можно сгруппировать по некоторым критериям или изменить их поведение с помощью индекса. [4] Они записываются как оператор с индексом: x n .

Увеличение

[ редактировать ]

Операции увеличения сохраняют исходные края. Их можно применить к любому независимому подмножеству граней или преобразовать в форму соединения путем удаления исходных ребер. Нотация Конвея поддерживает дополнительный индекс для этих операторов: 0 для формы соединения или 3 или выше для количества сторон, которые имеют затронутые грани. Например, k 4 Y 4 =O: если взять пирамиду с квадратным основанием и приклеить к квадратному основанию еще одну пирамиду, получится октаэдр.

Оператор к л л К (кк)
х
х 0
к 0 = j

л 0 = с

Л 0

К 0 = jk

Увеличение Пирамида Призма Антипризма

Оператор усечения t также имеет индексную форму t n , указывающую, что усекаются только вершины определенной степени. эквивалентно dk nd Это .

Некоторые расширенные операторы могут быть созданы в особых случаях с помощью операторов k n и t n . Например, куб со скошенной фаской , cC , может быть построен как t 4 daC , как ромбический додекаэдр , daC или jC , с усеченными вершинами степени 4. Лофт-куб lC — это то же самое, что t 4 kC . Квинто-додекаэдр, qD, может быть построен как t 5 daaD или t 5 deD или t 5 oD , дельтоидный шестиконтаэдр , deD или oD , с усеченными вершинами степени 5.

Мета/Безель

[ редактировать ]

Meta добавляет вершины в центре и по краям, а Bevel добавляет грани в центре, исходные вершины и вдоль краев. Индекс — это количество вершин или граней, добавленных по ребрам. Мета (в неиндексированной форме) также называется кантитрункацией или омнитрункацией . Обратите внимание, что 0 здесь не означает то же самое, что и для операций увеличения: это означает, что по ребрам добавляется ноль вершин (или граней). [4]

Мета/операторы скоса
н Краевой фактор Матрица х хд дх dxd
0 3
к = м 0

н

г = б 0

т
1 6
м = м 1 = кдж

б = б 1 = из
2 9
mм2

м 2 д

б 2

б 2 д
3 12
m 3
m3м3д б 3 б 3 д
н 3 н +3 м н м н д б н б н д

Медиальный

[ редактировать ]

Медиальный похож на мета, за исключением того, что он не добавляет ребра из центра к каждой исходной вершине. Форма индекса 1 идентична орто-операторам Конвея и операторам расширения: расширение также называется кантелляцией и расширением . Обратите внимание, что o и e имеют свои собственные индексированные формы, описанные ниже. Также обратите внимание, что некоторые реализации начинают индексацию с 0 вместо 1. [4]

Медиальные операторы
н Край
фактор
Матрица х хд дх dxd
1 4
М 1 = о = jj

е = аа
2 7
Медиальный : М = М 2

Мэриленд

дМ

ДМД
н 1 + М н М н д дМ н дМ н д

Гольдберг-Коксетер

[ редактировать ]

Операторы Гольдберга-Коксетера (GC) Конвея — это два бесконечных семейства операторов, которые являются расширением конструкции Гольдберга-Коксетера . [16] [17] Построение GC можно рассматривать как взятие треугольного сечения треугольной решетки или квадратного сечения квадратной решетки и наложение его на каждую грань многогранника. Эту конструкцию можно распространить на любую грань, определив камеры треугольника или квадрата («главный многоугольник»). [7] Операторы треугольного семейства можно использовать для создания многогранников Гольдберга и геодезических многогранников : см . в Списке геодезических многогранников и многогранников Гольдберга формулы .

Этими двумя семействами являются треугольное семейство GC, ca a,b и u a,b , и четырехугольное семейство GC, e a,b и o a,b . Оба семейства GC индексируются двумя целыми числами. и . Они обладают многими приятными качествами:

Операторы разделены на три класса (примеры написаны на языке c , но применимы ко всем 4 операторам):

  • Класс I: . Ахиральный, сохраняет исходные края. Может быть записано с подавленным нулевым индексом, например c a ,0 = c a .
  • Класс II: . Также ахиральный. Может быть разложено как c a,a = c a c 1,1
  • Класс III: Все остальные операторы. Они хиральны, а c a,b и c b,a являются киральными парами друг друга.

Из исходных операций Конвея единственные, которые не попадают в семейство GC, — это g и s (гироскоп и курносый). Мета и фаска ( m и b ) могут быть выражены через один оператор из треугольного семейства и один из четырехугольного семейства.

Треугольный

[ редактировать ]
Треугольные операторы Гольдберга-Коксетера
а б Сорт Краевой фактор
Т = а 2 + аб + б 2
Матрица Мастер-треугольник х хд дх dxd
1 0 я 1
ты 1 = С

д

с 1 = С
2 0 я 4
ты 2 = ты

округ Колумбия

из

с 2 = с
3 0 я 9
ты 3 = пп

такой как

зт

с 3 = zz
4 0 я 16
ты 4 = ты
ууд = DCC дуэт = ccd с 4 = cc
5 0 я 25
ты 5
ты 5 d = постоянный ток 5 ду 5 = с 5 д с 5
6 0 я 36
ты 6 = отлично
чувак Чт ты 6 = чзз
7 0 я 49
ты 7 = ты 2,1 ты 1,2 = веревка
врвд = башня дврв = врвд c 7 = c 2,1 c 1,2 = wrw
8 0 я 64
в 8 = в 3
в 3 д = постоянный ток 3 из 3 = с 3 д с 8 = с 3
9 0 я 81
ты 9 = п 4
н 3 к = кз 3 ТН 3 = г 3 т с 9 = z 4
1 1 II 3
ты 1,1 = п

к

т

в 1.1 = z
2 1 III 7 v = u 2,1
v = dw
дв = вд
ш = с 2.1
3 1 III 13 тебе 3,1 и 3,1 d = постоянный ток 3,1 ду 3,1 = с 3,1 д
в 3.1
3 2 III 19 тебе 3,2 и 3,2 d = постоянный ток 3,2 ду 3,2 = с 3,2 д
в 3.2
4 3 III 37 тебе 4,3 и 4,3 d = постоянный ток 4,3 ду 4,3 = с 4,3 д
в 4.3
5 4 III 61 тебе 5,4 u 5,4 d = постоянный ток 5,4 ду 5,4 = с 5,4 д
в 5.4
6 5 III 91 в 6,5 = в 1,2 в 1,3 u 6,5 d = постоянный ток 6,5 ду 6,5 = с 6,5 д
с 6,5 = с 1,2 с 1,3
7 6 III 127 и 7,6 u 7,6 d = постоянный ток 7,6 ду 7,6 = с 7,6 д
в 7.6
8 7 III 169 ты 8,7 = ты 3,1 2 u 8,7 d = постоянный ток 8,7 ду 8,7 = с 8,7 д
с 8,7 = с 3,1 2
9 8 III 217 ты 9,8 = ты 2,1 ты 5,1 u 9,8 d = постоянный ток 9,8 ду 9,8 = с 9,8 д
с 9,8 = с 2,1 с 5,1
I, II или III ... и а, б u a,b d = dc a,b два a,b = c a,b d такси
я или III ... и а, б u a,b d = dc a,b два a,b = c a,b d такси

Согласно базовой теории чисел, для любых значений a и b , .

Четырехугольник

[ редактировать ]
Четырехсторонние операторы Гольдберга-Коксетера
а б Сорт Краевой фактор
Т = а 2 + б 2
Матрица Мастер-сквер х хд дх dxd
1 0 я 1
о 1 = С

е 1 = d

о 1 = дд = S
2 0 я 4
о 2 = о = j 2

е 2 = е = а 2
3 0 я 9
о 3

3

о 3
4 0 я 16
о 4 = о = j 4

е 4 = ее = а 4
5 0 я 25
о 5 = о 2,1 о 1,2 = прп
е 5 = е 2,1 е 1,2
о 5 = дпрпд
6 0 я 36
о 6 = о 2 о 3
е 6 = е 2 е 3
7 0 я 49
о 7
e 7
о 7
8 0 я 64
о 8 = о 3 = j 6
е 8 = е 3 = а 6
9 0 я 81
о 9 = о 3 2

е9 = eе3 2

о 9
10 0 я 100
о 10 = оо 2,1 о 1,2
е 10 = ee 2,1 е 1,2
1 1 II 2
о 1,1 = j

е 1,1 = а
2 2 II 8
о 2,2 = j 3

е 2,2 = а 3
1 2 III 5
о 1,2 = р

е 1,2 = dp = pd

п
I, II или III Т даже ... о а, б Да, а, б
я или III Т нечетное ... о а, б Да, а, б о а, б

Архимедовы и каталонские тела

[ редактировать ]

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

Составные операторы

[ редактировать ]

tI Усеченный икосаэдр можно , использовать в качестве затравки для создания некоторых более привлекательных многогранников, хотя они не являются ни вершинами ни транзитивными по граням .

В самолете

[ редактировать ]

Каждое из выпуклых равномерных мозаик и их двойников можно создать, применяя операторы Конвея к регулярным мозаикам Q , H и Δ .

Операторы Конвея также можно применять к тороидальным многогранникам и многогранникам с множеством отверстий.

См. также

[ редактировать ]
  1. ^ Конвей, Джон ; Бургель, Хайди; Гудман-Штраус, Хаим (2008). «Глава 21: Названия архимедовых и каталонских многогранников и мозаик». Симметрии вещей . АК Петерс. п. 288. ИСБН  978-1-56881-220-5 .
  2. ^ Вайсштейн, Эрик В. «Обозначение многогранника Конвея» . Математический мир .
  3. ^ Jump up to: а б Джордж В. Харт (1998). «Обозначение Конвея для многогранников» . Виртуальные многогранники .
  4. ^ Jump up to: а б с д и Адриан Росситер. «Конвей - Преобразования нотации Конвея» . Программное обеспечение для моделирования многогранников «Антипризма» .
  5. ^ Ансельм Левская. «полиэдронизм» .
  6. ^ Jump up to: а б Харт, Джордж (1998). «Обозначение Конвея для многогранников» . Виртуальные многогранники . (См. четвертую строку таблицы «a = ambo».)
  7. ^ Jump up to: а б с Бринкманн, Г.; Гетшалькс, П.; Шейн, С. (2017). «Гольдберг, Фуллер, Каспар, Клюг и Коксетер и общий подход к операциям, сохраняющим локальную симметрию». Труды Королевского общества A: Математические, физические и технические науки . 473 (2206): 20170267.arXiv : 1705.02848 . Бибкод : 2017RSPSA.47370267B . дои : 10.1098/rspa.2017.0267 . S2CID   119171258 .
  8. ^ Jump up to: а б Гетшалькс, Питер; Кулсэт, Крис; Ван Климпут, Нико (12 апреля 2020 г.). «Генерация локальных операций, сохраняющих симметрию». arXiv : 1908.11622 [ math.CO ].
  9. ^ Гетшалькс, Питер; Кулсэт, Крис; Ван Климпут, Нико (11 апреля 2020 г.). «Операции над многогранниками, сохраняющие локальную ориентацию и сохраняющие симметрию». arXiv : 2004.05501 [ math.CO ].
  10. ^ Вайсштейн, Эрик В. «Исправление» . Математический мир .
  11. ^ Вайсштейн, Эрик В. «Кумуляция» . Математический мир .
  12. ^ Вайсштейн, Эрик В. «Усечение» . Математический мир .
  13. ^ «Антипризма — проблема киральности в Конвее» .
  14. ^ Ливио Зефиро (2008). «Порождение икосаэдра пересечением пяти тетраэдров: геометрические и кристаллографические особенности промежуточных многогранников» . Висмат .
  15. ^ Джордж Харт (август 2000 г.). Скульптура на основе пропеллоризированных многогранников . Труды MOSAIC 2000. Сиэтл, Вашингтон. стр. 61–70.
  16. ^ Деза, М .; Дютур, М (2004). «Конструкции Гольдберга – Кокстера для 3- и 4-валентных плоских графов» . Электронный журнал комбинаторики . 11 : #R20. дои : 10.37236/1773 .
  17. ^ Деза, М.-М.; Сикирич, доктор медицинских наук; Штогрин, М.И. (2015). «Построение и параметризация Гольдберга – Кокстера» . Геометрическая структура графиков, имеющих отношение к химии: зигзаги и центральные цепи . Спрингер. стр. 131–148. ISBN  9788132224495 .
[ редактировать ]
  • PolyHédronisme : генерирует многогранники на холсте HTML5, принимая в качестве входных данных нотацию Конвея.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 3977dd7765c9d9182af157917086e9c5__1710798300
URL1:https://arc.ask3.ru/arc/aa/39/c5/3977dd7765c9d9182af157917086e9c5.html
Заголовок, (Title) документа по адресу, URL1:
Conway polyhedron notation - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)