Обозначение многогранника Конвея
В геометрии и топологии , основанных на исходном многограннике , нотация многогранника Конвея , изобретенная Джоном Хортоном Конвеем и продвигаемая Джорджем Хартом , используется для описания многогранников модифицированном различными префиксными операциями . [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 следует понимать как локальные операции, сохраняющие симметрию, а не операции, сохраняющие локальную симметрию. Опять же, это симметрии в топологическом, а не геометрическом смысле: точные углы и длины ребер могут различаться.
Харт ввел оператор отражения 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]
- Треугольная пирамида : Y 3 (Тетраэдр – особая пирамида)
- Треугольная антипризма : А 3 (Октаэдр — особая антипризма)
- О = А3
- С = дА 3
- Квадратная призма : P 4 (Куб — особая призма)
- С = П 4
- Пятиугольная : А5 антипризма
- I = k 5 A 5 (Особая гироудлиненная дипирамида )
- D = t 5 dA 5 (Особый усеченный трапецоэдр )
Обычные евклидовы мозаики также можно использовать в качестве затравок:
- Q = Кадриль = Квадратная мозаика
- H = шестиугольник = шестиугольная мозаика = dΔ
- Δ = Дельтиль = Треугольная мозаика = dH
Расширенные операции
[ редактировать ]Это операции, созданные на основе исходного набора Конвея. Обратите внимание, что существует гораздо больше операций, чем было названо; то, что операции здесь нет, не означает, что она не существует (или не является 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 | Мэриленд | дМ | ДМД | |
н | 3н 1 + | М н | М н д | дМ н | дМ н д |
Гольдберг-Коксетер
[ редактировать ]Операторы Гольдберга-Коксетера (GC) Конвея — это два бесконечных семейства операторов, которые являются расширением конструкции Гольдберга-Коксетера . [16] [17] Построение GC можно рассматривать как взятие треугольного сечения треугольной решетки или квадратного сечения квадратной решетки и наложение его на каждую грань многогранника. Эту конструкцию можно распространить на любую грань, определив камеры треугольника или квадрата («главный многоугольник»). [7] Операторы треугольного семейства можно использовать для создания многогранников Гольдберга и геодезических многогранников : см . в Списке геодезических многогранников и многогранников Гольдберга формулы .
Этими двумя семействами являются треугольное семейство GC, ca a,b и u a,b , и четырехугольное семейство GC, e a,b и o a,b . Оба семейства GC индексируются двумя целыми числами. и . Они обладают многими приятными качествами:
- Индексы семейств связаны с определенными евклидовыми областями над комплексными числами: целыми числами Эйзенштейна для треугольного семейства GC и целыми числами Гаусса для четырехугольного семейства GC.
- Операторы в столбцах x и dxd внутри одного семейства коммутируют друг с другом.
Операторы разделены на три класса (примеры написаны на языке 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 ) могут быть выражены через один оператор из треугольного семейства и один из четырехугольного семейства.
Треугольный
[ редактировать ]Согласно базовой теории чисел, для любых значений a и b , .
Четырехугольник
[ редактировать ]Примеры
[ редактировать ]Архимедовы и каталонские тела
[ редактировать ]Оригинальный набор операторов Конвея может создавать все архимедовы тела и каталанские тела , используя в качестве начальных тел Платоновы тела . (Обратите внимание, что оператор r не требуется для создания обеих киральных форм.)
- Кубооктаэдр
аС = аО = еТ - Усеченный октаэдр
тО = БТ - Ромбокубооктаэдр
ЭК = еО - усеченный кубооктаэдр
бС = бО - курносый куб
СК = СО - икосододекаэдр
ад = аI - rhombicosidodecahedron
еД = еI - усеченный икосододекаэдр
бД = бI - курносый додекаэдр
SD = SI
- Ромбический додекаэдр
jC = jO = oT - Тетракис шестигранник
кС = мТл - Дельтоидный икоситетраэдр
оС = оО - Додекаэдр Дисдякиса
мС = мО - Пятиугольный икоситетраэдр
гС = гО - Ромбический триаконтаэдр
jD = jI - Дельтоидный шестиконтаэдр
оД = оI - Триаконтаэдр Дисдякиса
мД = мИ - Пятиугольный шестиконтаэдр
gD = gI
Составные операторы
[ редактировать ]tI Усеченный икосаэдр можно , использовать в качестве затравки для создания некоторых более привлекательных многогранников, хотя они не являются ни вершинами ни транзитивными по граням .
- из
- у нас были
- тт я
- ztI = ttD
- etI
- BTI
- я еще
- dtI = nI = kD
- jtI
- ntI = kkD
- кти
- от меня
- МТИ
- гти
В самолете
[ редактировать ]Каждое из выпуклых равномерных мозаик и их двойников можно создать, применяя операторы Конвея к регулярным мозаикам Q , H и Δ .
- Квадратная плитка Тетракис
кК = мК
- Шестиугольная плитка
H = dΔ = tΔ - Трехгексагональная плитка
ах = аΔ - Ромбитригексагональная плитка
еН = еΔ
- Треугольная плитка
Δ = dH = kH - Ромбическая плитка
jΔ = jH - Кисромбилльная плитка
мΔ = мН - Пятиугольная плитка Floret
gΔ = gH
На торе
[ редактировать ]Операторы Конвея также можно применять к тороидальным многогранникам и многогранникам с множеством отверстий.
- Правильный квадратный тор 1x1, {4,4} 1,0
- Правильный квадратный тор 4x4, {4,4} 4,0
- tQ24×12 проецируется на тор
- taQ24×12 проецируется на тор
- actQ24×8 проецируется на тор
- tH24×12 проецируется на тор
- taH24×8 проецируется на тор
- kH24×12 проецируется на тор
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Конвей, Джон ; Бургель, Хайди; Гудман-Штраус, Хаим (2008). «Глава 21: Названия архимедовых и каталонских многогранников и мозаик». Симметрии вещей . АК Петерс. п. 288. ИСБН 978-1-56881-220-5 .
- ^ Вайсштейн, Эрик В. «Обозначение многогранника Конвея» . Математический мир .
- ^ Jump up to: а б Джордж В. Харт (1998). «Обозначение Конвея для многогранников» . Виртуальные многогранники .
- ^ Jump up to: а б с д и Адриан Росситер. «Конвей - Преобразования нотации Конвея» . Программное обеспечение для моделирования многогранников «Антипризма» .
- ^ Ансельм Левская. «полиэдронизм» .
- ^ Jump up to: а б Харт, Джордж (1998). «Обозначение Конвея для многогранников» . Виртуальные многогранники . (См. четвертую строку таблицы «a = ambo».)
- ^ Jump up to: а б с Бринкманн, Г.; Гетшалькс, П.; Шейн, С. (2017). «Гольдберг, Фуллер, Каспар, Клюг и Коксетер и общий подход к операциям, сохраняющим локальную симметрию». Труды Королевского общества A: Математические, физические и технические науки . 473 (2206): 20170267.arXiv : 1705.02848 . Бибкод : 2017RSPSA.47370267B . дои : 10.1098/rspa.2017.0267 . S2CID 119171258 .
- ^ Jump up to: а б Гетшалькс, Питер; Кулсэт, Крис; Ван Климпут, Нико (12 апреля 2020 г.). «Генерация локальных операций, сохраняющих симметрию». arXiv : 1908.11622 [ math.CO ].
- ^ Гетшалькс, Питер; Кулсэт, Крис; Ван Климпут, Нико (11 апреля 2020 г.). «Операции над многогранниками, сохраняющие локальную ориентацию и сохраняющие симметрию». arXiv : 2004.05501 [ math.CO ].
- ^ Вайсштейн, Эрик В. «Исправление» . Математический мир .
- ^ Вайсштейн, Эрик В. «Кумуляция» . Математический мир .
- ^ Вайсштейн, Эрик В. «Усечение» . Математический мир .
- ^ «Антипризма — проблема киральности в Конвее» .
- ^ Ливио Зефиро (2008). «Порождение икосаэдра пересечением пяти тетраэдров: геометрические и кристаллографические особенности промежуточных многогранников» . Висмат .
- ^ Джордж Харт (август 2000 г.). Скульптура на основе пропеллоризированных многогранников . Труды MOSAIC 2000. Сиэтл, Вашингтон. стр. 61–70.
- ^ Деза, М .; Дютур, М (2004). «Конструкции Гольдберга – Кокстера для 3- и 4-валентных плоских графов» . Электронный журнал комбинаторики . 11 : #R20. дои : 10.37236/1773 .
- ^ Деза, М.-М.; Сикирич, доктор медицинских наук; Штогрин, М.И. (2015). «Построение и параметризация Гольдберга – Кокстера» . Геометрическая структура графиков, имеющих отношение к химии: зигзаги и центральные цепи . Спрингер. стр. 131–148. ISBN 9788132224495 .
Внешние ссылки
[ редактировать ]- PolyHédronisme : генерирует многогранники на холсте HTML5, принимая в качестве входных данных нотацию Конвея.