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

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

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

Конвей и Харт расширили идею использования операторов, таких как усечение, как определено Кеплером , для построения связанных многогранников с одинаковой симметрией. Например, tC представляет усеченный куб , а taC , проанализированный как , является ( топологически ) усеченным кубооктаэдром . Простейший оператор выполняет двойную замену местами вершин и граней; например, двойной куб октаэдр: дС = O . Примененные последовательно, эти операторы позволяют генерировать много многогранников более высокого порядка. Конвей определил операторы abdegjkmost , а Харт добавил r и p . В более поздних реализациях были названы дополнительные операторы, иногда называемые «расширенными» операторами. Базовых операций Конвея достаточно для создания архимедовых и каталонских тел из платоновых тел. Некоторые базовые операции могут быть совмещены с другими: например, двойное применение амвона - это операция расширения: aa = e , а усечение после амвона дает скос : ta = b .

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

Операторы

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

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

Фундаментальные области граней со сторонами
3 (треугольник) 4 (квадрат) 5 (Пентагон) 6 (шестиугольник)
Треугольник chambers.svg Четырехугольник chambers.svg Пентагон chambers.svg Шестиугольник chambers.svg
Фундаментальные области для групп полиэдров. Группы предназначены  для ахиральных многогранников и  для киральных многогранников.

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

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

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

Икс
xd
dx
dxd

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

.

Матрица для композиции двух операторов - это просто произведение матриц для двух операторов. Различные операторы могут иметь одинаковую матрицу, например p и l . Счетчик краев результата является целым числом, кратным числу начального числа d : это называется темпом инфляции или краевым фактором.

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

,

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

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

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

Исходные операции

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

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

Оригинальные операторы Конвея
Краевой фактор Матрица Икс xd dx dxd Заметки
1 Конвей К.png
Семя : S
Конвей dC.png
Двойной : d
Конвей К.png
Семя : dd = S
Dual заменяет каждую грань вершиной, а каждую вершину - гранью.
2 Конвей jC.png
Присоединиться : j
Конвей aC.png
Амбо : а
Соединение создает четырехугольные грани. Амбо создает вершины четвертой степени, и в теории графов его еще называют ректификацией , или медиальным графом.
3 Конвей kC.png
Кис : к
Конвей kdC.png
Игла : n
Конвей dkC.png
Почтовый индекс : z
Конвей tC.png
Усечь : t
Кис поднимает пирамиду на каждой грани, и ее также называют акисией, Kleetope , кумуляцией, наращиванием или увеличением пирамиды . Truncate обрезает многогранник по его вершинам, но оставляет часть исходных ребер. Zip также называется усечением битов .
4 Конвей oC.png
Орто : o = jj
Конвей eC.png
Развернуть : e = aa
5 Конвей gC.png
Гироскоп : г
gd = rgr sd = rsr Конвей sC.png
Курносый : s
Киральные операторы. См. Snub (геометрия) . В отличие от Харта, gd - это не то же самое, что g : это его киральная пара.
6 Конвей mC.png
Мета : m = kj
Конвей bC.png
Фаска : b = ta

Семена

Любой многогранник может служить семенем, если над ним можно выполнять операции. Обычным семенам присвоена буква. В Платоновых тела представлены по первой букве их имени ( Т etrahedron , О ctahedron , С Ube , я cosahedron , D odecahedron ); в р risms ( Р п ) для п -gonal форм; а нтипризмы ( А н ); c u polae ( U n ); anticupolae ( V n ); и р у ramids ( У п ). Любой J ohnson твердого вещества можно ссылаться как J п , для п = 1..92.

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

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

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

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

Неприводимые расширенные операторы
Краевой фактор Матрица Икс xd dx dxd Заметки
4 Конвей cC.png
Фаска : c
Конвей duC.png
cd = du
Конвей dcC.png
dc = ud
Конвей uC.png
Подразделить : u
Фаска - это форма соединения l . См. Раздел Фаска (геометрия) .
5 Конвей pC.png
Пропеллер : p
Конвей dpC.png
dp = pd
Конвей pC.png
dpd = p
Киральные операторы. Оператор пропеллера был разработан Джорджем Хартом.
5 Конвей lC.png
Лофт : l
Конвей ldC.png
ld
Конвей dlC.png
дл
Конвей dldC.png
dld
6 Конвей qC.png
Quinto : q
Конвей qdC.png
qd
Конвей dqC.png
dq
Конвей dqdC.png
dqd
6 Конвей L0C.png
Соединить кружево : L 0
Диаграмма Конвея L0d.png
L 0 d
Конвей dL0C.png
дл 0
Конвей dL0d.png
дл 0 д
См. Ниже объяснение нотации соединения.
7 Конвей LC.png
Кружево : L
Конвей L0dC.png
Ld
Конвей dLC.png
дл
Конвей dLdC.png
dLd
7 Конвей KC.png
Ставка : K
Конвей KdC.png
Kd
Конвей dKC.png
dK
Конвей dKdC.png
dKd
7 Конвей wC.png
Вихрь : w
wd = dv Конвей dwC.png
vd = dw
Улитка : v Киральные операторы.
8 Конвей (kk) 0C.png
Присоединяйтесь-кис-кис :
Конвей (kk) 0dC.png
Конвей d (kk) 0C.png
Конвей d (kk) 0dC.png
Иногда по имени Дж . См. Ниже объяснение нотации соединения. Несоединенная форма kk не является неприводимой.
10 Конвей XC.png
Крест : X
Конвей XdC.png
Xd
Конвей dXC.png
dX
Конвей dXdC.png
dXd

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

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

Увеличение

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

Оператор k л L K (кк)
Икс Конвей kC.png Конвей lC.png Конвей LC.png Конвей KC.png Конвей kkC.png
х 0 Конвей jC.png
к 0 = j
Конвей cC.png
l 0 = c
Конвей L0C.png
L 0
Конвей K0C.png
K 0 = jk
Конвей (kk) 0C.png
Увеличение Пирамида Призма Антипризма

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

Некоторые из расширенных операторов могут быть созданы в особых случаях с помощью операторов k n и t n . Например, куб с фаской , cC , может быть построен как t 4 daC , как ромбический додекаэдр , daC или jC , с усеченными вершинами степени 4. Поднятый куб, lC совпадает с t 4 kC . Квинто-додекаэдр, QD может быть выполнен в виде т 5 DAAD или т 5 DED или т 5 О.Д. , в дельтоидальном гексеконтаэдр , DED или О.Д. , с его градусоднями 5 вершин усеченных.

Мета / скос

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

Операторы Meta / Bevel
п Краевой фактор Матрица Икс xd dx dxd
0 3 Конвей kC.png
к = м 0
Конвей kdC.png
п
Конвей dkC.png
г = б 0
Конвей tC.png
т
1 6 Конвей mC.png
m = m 1 = kj
Конвей bC.png
б = б 1 = та
2 9 Конвей m3C.png
м 2
Конвей m3dC.png
м 2 д
Конвей b3C.png
б 2
Конвей dm3dC.png
б 2 г
3 12 Конвей m4C.png
м 3
м 3 д б 3 б 3 г
п 3 п +3 m n м н д б н б н д

Медиальный

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

Медиальные операторы
п Краевой
фактор
Матрица Икс xd dx dxd
1 4 Конвей oC.png
M 1 = o = jj
Конвей eC.png
е = аа
2 7 Конвей MC.png
Средний : M = M 2
Конвей MdC.png
Мкр
Конвей dMC.png
дМ
Конвей dMdC.png
dMd
п 3 п +1 M n М н д dM n dM n d

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

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

Эти два семейства - это треугольное семейство GC, c 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 (gyro и snub). Meta и bevel ( m и b ) могут быть выражены одним оператором из семейства треугольников и одним оператором из семейства четырехугольников.

Треугольный

Треугольные операторы Гольдберга-Кокстера.
а б Класс Краевой фактор
T = a 2 + ab + b 2
Матрица Главный треугольник Икс xd dx dxd
1 0 я 1 Разделенный треугольник 01 00.svg Конвей К.png
и 1 = S
Конвей dC.png
d
Конвей К.png
c 1 = S
2 0 я 4 Разделенный треугольник 02 00.svg Конвей uC.png
u 2 = u
Конвей dcC.png
Округ Колумбия
Конвей duC.png
ду
Конвей cC.png
с 2 = с
3 0 я 9 Разделенный треугольник 03 00.svg Конвей ktC.png
u 3 = nn
Конвей dtkC.png
нк
Конвей dktC.png
zt
Конвей tkC.png
c 3 = zz
4 0 я 16 Разделенный треугольник 04 00.svg Конвей u4C.png
u 4 = uu
uud = dcc duu = ccd c 4 = cc
5 0 я 25 Разделенный треугольник 05 00.svg Конвей u5C.png
u 5
u 5 d = dc 5 ду 5 = с 5 д в 5
6 0 я 36 Разделенный треугольник 06 00.svg Конвей u6C.png
u 6 = unn
unk czt u 6 = czz
7 0 я 49 Разделенный треугольник 07 00.svg Конвей u7.png
u 7 = u 2,1 u 1,2 = vrv
vrvd = dwrw dvrv = wrwd c 7 = c 2,1 c 1,2 = wrw
8 0 я 64 Разделенный треугольник 08 00.svg Конвей u8C.png
и 8 = и 3
u 3 d = dc 3 ду 3 = с 3 д с 8 = с 3
9 0 я 81 год Разделенный треугольник 09 00.svg Конвей u9C.png
и 9 = п 4
n 3 k = kz 3 tn 3 = z 3 t с 9 = г 4
1 1 II 3 Разделенный треугольник 01 01.svg Конвей kdC.png
и 1,1 = п
Конвей kC.png
k
Конвей tC.png
т
Конвей dkC.png
с 1,1 = z
2 1 III 7 Разделенный треугольник 02 01.svg v = u 2,1 Конвей dwC.png
vd = dw
dv = wd Конвей wC.png
ш = с 2,1
3 1 III 13 Разделенный треугольник 03 01.svg u 3,1 u 3,1 d = dc 3,1 ду 3,1 = c 3,1 d Конвей w3C.png
в 3,1
3 2 III 19 Разделенный треугольник 03 02.svg u 3,2 u 3,2 d = dc 3,2 ду 3,2 = с 3,2 д Конвей w3-2.png
в 3,2
4 3 III 37 Разделенный треугольник 04 03.svg u 4,3 u 4,3 d = dc 4,3 ду 4,3 = с 4,3 д Конвей w4-3C.png
в 4,3
5 4 III 61 Разделенный треугольник 05 04.svg u 5,4 u 5,4 d = dc 5,4 ду 5,4 = с 5,4 д Конвей w5-4C.png
в 5,4
6 5 III 91 Разделенный треугольник 06 05.svg u 6,5 = u 1,2 u 1,3 u 6,5 d = dc 6,5 ду 6,5 = с 6,5 д Конвей w6-5C.png
с 6,5 = с 1,2 с 1,3
7 6 III 127 Разделенный треугольник 07 06.svg u 7,6 u 7,6 d = dc 7,6 ду 7,6 = с 7,6 д Конвей w7C.png
в 7,6
8 7 III 169 Разделенный треугольник 08 07.svg и 8,7 = и 3,1 2 u 8,7 d = dc 8,7 ду 8,7 = с 8,7 д Конвей w8C.png
с 8,7 = с 3,1 2
9 8 III 217 Разделенный треугольник 09 08.svg u 9,8 = u 2,1 u 5,1 u 9,8 d = dc 9,8 ду 9,8 = с 9,8 д Конвей w9C.png
с 9,8 = с 2,1 с 5,1
I, II или III ... ты а, б u a, b d = dc a, b du a, b = c a, b d в а, б
I или III ... ты а, б u a, b d = dc a, b du a, b = c a, b d в а, б

По основной теории чисел, при любых значениях и Ь , .

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

Четырехугольные операторы Гольдберга-Кокстера
а б Класс Краевой фактор
T = a 2 + b 2
Матрица Мастер-сквер Икс xd dx dxd
1 0 я 1 Разделенный квадрат 01 00.svg Конвей К.png
o 1 = S
Конвей dC.png
е 1 = d
Конвей К.png
о 1 = dd = S
2 0 я 4 Разделенный квадрат 02 00.svg Конвей oC.png
о 2 = о = j 2
Конвей eC.png
е 2 = е = а 2
3 0 я 9 Разделенный квадрат 03 00.svg Конвей o3C.png
o 3
Конвей e3C.png
e 3
Конвей o3C.png
o 3
4 0 я 16 Разделенный квадрат 04 00.svg Конвей deeC.png
о 4 = оо = j 4
Конвей eeC.png
e 4 = ee = a 4
5 0 я 25 Разделенный квадрат 05 00.svg Конвей o5C.png
o 5 = o 2,1 o 1,2 = прп
е 5 = е 2,1 е 1,2 Конвей o5C.png
o 5 = dprpd
6 0 я 36 Разделенный квадрат 06 00.svg Конвей o6C.png
о 6 = о 2 о 3
е 6 = е 2 е 3
7 0 я 49 Разделенный квадрат 07 00.svg Конвей o7C.png
o 7
e 7 Конвей o7C.png
o 7
8 0 я 64 Разделенный квадрат 08 00.svg Конвей o8C.png
о 8 = о 3 = j 6
е 8 = е 3 = а 6
9 0 я 81 год Разделенный квадрат 09 00.svg Конвей o9C.png
о 9 = о 3 2

е 9 = е 3 2
Конвей o9C.png
o 9
10 0 я 100 Разделенный квадрат 10 00.svg Конвей o10C.png
о 10 = оо 2,1 о 1,2
e 10 = ee 2,1 e 1,2
1 1 II 2 Разделенный квадрат 01 01.svg Конвей jC.png
о 1,1 = j
Конвей aC.png
е 1,1 = а
2 2 II 8 Разделенный квадрат 02 02.svg Конвей daaaC.png
о 2,2 = j 3
Конвей aaaC.png
е 2,2 = а 3
1 2 III 5 Разделенный квадрат 01 02.svg Конвей pC.png
o 1,2 = p
Конвей dpC.png
е 1,2 = dp = pd
Конвей pC.png
п
I, II или III Т даже ... о а, б д а, б
I или III Т нечетный ... о а, б д а, б о а, б

Примеры

См. Также Список геодезических многогранников и многогранников Гольдберга .

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

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

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

Усеченный икосаэдр , Т.И. = Zd , может быть использован в качестве затравки , чтобы создать какие - то более визуально приятные многогранники, хотя они не являются ни вершинами , ни лицом транзитивно .

На самолете

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

На торе

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

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

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

Внешние ссылки

  • polyHédronisme : генерирует многогранники на холсте HTML5, принимая в качестве входных данных нотацию Конвея