Конфигурация вершины[1][2][3] — это сокращённое обозначение для представления вершинной фигуры многогранника или мозаики в виде последовательности граней вокруг вершины. Для однородного многогранника существует только один тип вершин, а потому конфигурация вершины полностью определяет многогранник. (Хиральные многогранники существуют в виде зеркальных пар с одной и той же конфигурацией вершин.)
Конфигурация вершины задаётся как последовательность чисел, представляющих число сторон граней, окружающих вершину. Обозначение «a.b.c» обозначает вершину с тремя гранями около неё и эти грани имеют a, b и c сторон (рёбер).
Например, «3.5.3.5» обозначает вершину, принадлежащую четырём граням, поочерёдно идущим треугольникам и пятиугольникам. Эта конфигурация вершины определяет вершинно транзитивныйикосододекаэдр. Обозначение циклично, так что начальная точка значения не имеет. Таким образом, 3.5.3.5 — это то же самое, что и 5.3.5.3. Порядок важен, так что 3.3.5.5 — это не то же самое, что 3.5.3.5. (В первом случае за двумя рядом расположенными треугольниками следуют два пятиугольника.) Повторяющиеся элементы могут быть сокращены указанием верхнего индекса, так что наш пример может быть записан в виде (3.5)2.
Наряду с термином конфигурация вершины в разных источниках используют также термины vertex description (описание вершины)[4][5][6], vertex type (тип вершины)[7][8], vertex symbol (символ вершины)[9][10], vertex arrangement (компоновка вершины)[11], vertex pattern (шаблон вершины)[7], face-vector (вектор грани)[12]. Для конфигурации вершины используется, кроме того, термин символ Канди и Роллетта, поскольку они использовали конфигурацию вершины для описания архимедовых тел в их книге 1952 года Mathematical Models (Математические модели)[13][14][15][16].
Конфигурация вершины может быть представлена как вершинная фигура из многоугольников, показывающая грани вокруг вершины. Эта вершинная фигура имеет 3-мерную структуру, поскольку грани не находятся в одной плоскости, но для вершинно однородных многогранников все соседние вершины находятся в одной плоскости, так что можно использовать для визуального представления конфигурации вершины ортогональную проекцию.
В вершине должно быть по меньшей мере 3 грани и вершина обладаетугловым дефектом. Угловой дефект 0° даёт возможность покрыть плоскость правильной мозаикой. По теореме Декарта число вершин равно 720°/дефект (4π радиан/дефект).
Используется различный вид записи, иногда через запятую (,) иногда через точку (.). Может также использоваться верхний индекс. Например, 3.5.3.5 иногда записывается в виде (3.5)2.
Обозначение может рассматриваться как развёрнутая форма символа Шлефли для правильных многогранников. Обозначение Шлефли {p, q} означает qp-угольников вокруг каждой вершины. Так что {p, q} можно записать как p.p.p… (q раз) или pq. Например, у икосаэдра {3,5} = 3.3.3.3.3 или 35.
Эта запись применима как к многоугольным мозаикам, так и к многогранникам. Плоская конфигурация вершины означает однородную мозаику точно так же, как неплоская конфигурация вершины означает однородный многогранник.
Обозначение не однозначно для хиральных видов. Например, плосконосый куб имеет формы, идентичные при зеркальном отражении. Обе формы имеют конфигурацию вершины 3.3.3.3.4.
Звёздчатые многоугольники
Обозначение применимо также к невыпуклым правильным граням, звёздчатым многоугольникам. Например, пентаграмма имеет символ {5/2}, что означает, что многоугольник имеет 5 сторон, которые обходят центр два раза.
Например, существует 4 правильных звёздчатых многогранника с правильными многоугольными или звёздчатыми вершинными фигурами. Малый звёздчатый додекаэдр имеет символ Шлефли {5/2,5}, который развёртывается в явную конфигурацию вершины 5/2.5/2.5/2.5/2.5/2, что можно представить в виде (5/2)5. Большой звёздчатый додекаэдр с символом {5/2,3} имеет треугольную вершинную фигуру и конфигурацию (5/2.5/2.5/2) или (5/2)3. Большой додекаэдр с символом {5,5/2} имеет пентаграммную вершинную фигуру с конфигурацией вершины (5.5.5.5.5)/2 или (55)/2. Большой икосаэдр с символом {3,5/2} также имеет пентаграммную вершинную фигуру с конфигурацией вершины (3.3.3.3.3)/2 или (35)/2.
Примечание: Вершинная фигура может представлять правильную или полуправильную мозаику на плоскости, если её дефект равен нулю. Вершинная фигура может представлять мозаику на гиперболической плоскости, если её дефект отрицателен.
Для однородных многогранников угловой дефект можно использовать для вычисления числа вершин. Теорема Декарта утверждает, что сумма всех угловых дефектов на топологической сфере должна равняться 4π радиан или
720°.
Поскольку у однородного многогранника все вершины идентичны, это отношение позволяет нам вычислить число вершин, которое равно частному 4π/дефект или
720°/дефект.
Пример: Усечённый куб 3.8.8 имеет угловой дефект 30°. Таким образом, многогранник имеет
720/30 = 24 вершин.
В частности, отсюда следует, что {a,b} имеет 4 / (2 - b(1 - 2/a)) вершин.
Любая числовая конфигурация вершины потенциально однозначно определяет полуправильный многогранник. Однако не все конфигурации возможны.
Топологические требования ограничивают существование многогранника. В частности, p.q.r означает, что p-угольник окружён попеременно q-угольниками и r-угольниками, так что либо p чётно, либо q равен r. Подобным же образом q чётно, либо p равно r, r чётно, либо p равно q. Таким образом, потенциально возможными тройками будут 3.3.3, 3.4.4, 3.6.6, 3.8.8, 3.10.10, 3.12.12, 4.4.n (для любого n>2), 4.6.6, 4.6.8, 4.6.10, 4.6.12, 4.8.8, 5.5.5, 5.6.6, 6.6.6. Фактически все эти конфигурации с тремя гранями, встречающимися в одной вершине, существуют.
Подобным же образом, когда четыре грани встречаются в одной вершине, p.q.r.s, если одно число нечётно, остальные должны быть равными.
Число в скобках — это число вершин, вычисленное по угловому дефекту.
Двойственные однородным многогранникам, каталановы тела, включая бипирамиды и трапецоэдры, являются вертикально правильными (транзитивны по граням), а потому могут идентифицированы подобной нотацией, которую иногда называют конфигурацией грани[2]. Канди и Роллетт (Cundy, Rollett) ставят перед этими двойственными обозначениями символ V. Для контраста, в книге Tilings and Patterns[17] используются квадратные скобки для изоэдральных мозаик.
Это обозначение представляет последовательное число граней около каждой вершины вокруг грани[18]. Например, V3.4.3.4 или V(3.4)2 представляют ромбододекаэдр, который транзитивен по граням — любая грань является ромбом, а чередующиеся вершины ромба окружают 3 или 4 грани.
Walter Steurer, Sofia Deloudi. Crystallography of Quasicrystals: Concepts, Methods and Structures. — Springer, 2009. — Т. 126. — (Springer series in materials science). — ISBN 978-3-642-01898-5.
Michel Deza, Mikhail Shtogrin. Uniform Partitions of 3-space, their Relatives and Embedding // Europ. J. Combinatorics. — 2000. — Вып. 21.
Physical Metallurgy / David E. Laughlin, Kazuhiro Hono. — 5. — Elsevier, 2014. — Т. 1. — ISBN 978-0-444-59598-0.
Michael Hann. Structure and Form in Design: Critical Ideas for Creative Practice. — Bloomsbury Academic, 2012. — ISBN 9781847887429.
H. Cundy, A. Rollett. Mathematical Models. — 3rd. — Stradbroke, England: Tarquin Pub, 1952. 3.7 The Archimedean Polyhedra, pp. 101—115. P.118-119 Table I, Nets of Archimedean Duals, V.a.b.c… as vertically-regular symbols.
Peter Cromwell. Polyhedra. — Cambridge University Press, 1977. The Archimedean solids, p 156—167
Branko Grünbaum; G. C. Shephard[англ.].Tilings and Patterns. — W. H. Freeman and Company, 1987. — ISBN 0-7167-1193-1. p58-64, Tilings of regular polygons a.b.c…. (мозаика из правильных и звёздчатых многоугольников) p. 95-97, 176, 283, 614—620, Monohedral tiling symbol [v1.v2. … .vr]. p632-642 hollow tilings
John H. Conway, Heidi Burgiel, Chaim Goodman-Strass. The Symmetries of Things. — 2008. — ISBN 978-1-56881-220-5. (p289 Vertex figures, использует запятую в качестве разделителя для архимедовых тел и мозаик)