Русская Википедия:Однородные мозаики на гиперболической плоскости
В гиперболической геометрии однородная (правильная, квазиправильная или полуправильная) гиперболическая мозаика — это заполнение гиперболической плоскости правильными многоугольниками ребро-к-ребру со свойством вершинной транзитивности (это мозаика транзитивная относительно вершин, изогональная, т.е. существует движение, переводящее любую вершину в любую другую). Отсюда следует, что все вершины конгруэнтны и мозаика имеет высокую степень вращательной и трансляционной симметрии.
Однородные мозаики однозначно определяются их вершинной конфигурацией, последовательностью чисел, представляющих число сторон многоугольников вокруг каждой вершины. Например, 7.7.7 представляет семиугольную мозаику, имеющую 3 семиугольника вокруг каждой вершины. Она правильна, поскольку все многоугольники имеют один размер. Таким образом, её можно задать символом Шлефли {7,3}.
Однородные мозаики могут быть правильными (если они также транзитивны по граням и рёбрам), квазиправильными (если они рёберно транзитивны, но не транзитивны по граням) или полуправильными (если они не транзитивны ни по рёбрам, ни по граням). Для правильных треугольников (p q 2) существуют две правильные мозаики с символами Шлефли {p,q} и {q,p}.
Построение Витхоффа
Существует бесконечное число однородных мозаик, основанных на треугольниках Шварца (p q r), где 1/p + 1/q + 1/r < 1, где p, q, r являются порядками отражательной симметрии в трёх вершинах фундаментального треугольника – группа симметрии является гиперболической группой треугольника.
Каждое семейство симметрий содержит 7 однородных мозаик, определённых Шаблон:Не переведено 5 или диаграммой Коксетера — Дынкина, 7 комбинаций трёх активных зеркал. 8-я мозаика представляет операцию Шаблон:Не переведено 5, удаления половины вершин из высшей формы активных зеркал.
Семейства с r = 2 содержат правильные гиперболические мозаики, определённые группами Коксетера, такими как [7,3], [8,3], [9,3], ... [5,4], [6,4], ....
Гиперболические семейства с r = 3 и выше задаются символами (p q r) и включают (4 3 3), (5 3 3), (6 3 3) ... (4 4 3), (5 4 3), ... (4 4 4)....
Гиперболические семейства (p q r) определяют компактные однородные гиперболические мозаики. В пределе любое из чисел p, q или r можно заменить символом ∞, что даёт паракомпактный гиперболический треугольник и создаёт однородные мозаики, имеющие либо бесконечные грани (назывемые апейрогонами или бесконечноугольниками), которые сходятся к одной воображаемой точке, либо бесконечные вершинные фигуры с бесконечным числом рёбер, исходящих из одной воображаемой точки.
Можно построить дополнительные семейства симметрий из фундаментальных областей, не являющихся треугольными.
Некоторые семейства однородных мозаик показаны ниже (с использованием модели Пуанкаре для гиперболической плоскости). Три из них – (7 3 2), (5 4 2) и (4 3 3) – и никакие другие, минимальны в том смысле, что если любое из определяющих чисел заменить на меньшее целое значение, получим либо евклидову, либо сферическую мозаику, а не гиперболическую. И обратно, любое из чисел можно увеличить (даже заменив на бесконечность), чтобы получить другой гиперболический узор.
Каждая однородная мозаика образует двойственную однородную мозаику, и многие из них приведены ниже также.
Прямоугольные фундаментальные треугольники
Существует бесконечно много семейств групп треугольника (p q 2). В статье показаны правильные мозаики вплоть до p, q = 8 и однородные мозаики 12 семейств: (7 3 2), (8 3 2), (5 4 2), (6 4 2), (7 4 2), (8 4 2), (5 5 2), (6 5 2) (6 6 2), (7 7 2), (8 6 2) и (8 8 2).
Правильные гиперболические мозаики
Простейшее множество гиперболических мозаик — правильные мозаики {p,q}. Правильная мозаика {p,q} имеет в качестве двойственной мозаику {q,p} (симметричны диагонали таблицы). Самодвойственные мозаики {3,3}, {4,4}, Шаблон:Не переведено 5, и т.д. располагаются на диагонали таблицы.
Шаблон:Таблица правильных гиперболических мозаик
(7 3 2)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [7,3], Шаблон:Не переведено 5 (*732) содержат эти однородные мозаики. Шаблон:Таблица семиугольных мозаик
(8 3 2)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [8,3], Шаблон:Не переведено 5 (*832) содержат эти однородные мозаики. Шаблон:Таблица восьмиугольных мозаик
(5 4 2)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [5,4], Шаблон:Не переведено 5 (*542) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 5-4
(6 4 2)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [6,4], Шаблон:Не переведено 5 (*642) содержат эти однородные мозаики. Поскольку все элементы чётны, из двух двойственных однородных мозаик одна представляет фундаментальную область зеркальной симметрии: *3333, *662, *3232, *443, *222222, *3222 и *642 соответственно. Все семь мозаик могут быть альтернированы и для полученных мозаик существуют двойственные.
Шаблон:Таблица мозаик порядка 6-4
(7 4 2)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [7,4], Шаблон:Не переведено 5 (*742) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 7-4
(8 4 2)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [8,4], Шаблон:Не переведено 5 (*842) содержат эти однородные мозаики. Поскольку все элементы чётны, из двух двойственных однородных мозаик одна представляет фундаментальную область зеркальной симметрии: *4444, *882, *4242, *444, *22222222, *4222 и *842 соответственно. Все семь мозаик могут быть альтернированы и для полученных мозаик существуют двойственные.
Шаблон:Таблица мозаик порядка 8-4
(5 5 2)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [5,5], Шаблон:Не переведено 5 (*552) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 5-5
(6 5 2)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [6,5], Шаблон:Не переведено 5 (*652) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 6-5
(6 6 2)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [6,6], Шаблон:Не переведено 5 (*662) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 6-6
(8 6 2)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [8,6], Шаблон:Не переведено 5 (*862) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 8-6
(7 7 2)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [7,7], Шаблон:Не переведено 5 (*772) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 7-7
(8 8 2)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [8,8], Шаблон:Не переведено 5 (*882) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 8-8
Фундаментальные треугольники общего вида
Существует бесконечно много семейств групп треугольников общего вида (p q r). В статье показаны однородные мозаики 9 семейств: (4 3 3), (4 4 3), (4 4 4), (5 3 3), (5 4 3), (5 4 4), (6 3 3), (6 4 3) и (6 4 4).
(4 3 3)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [(4,3,3)], Шаблон:Не переведено 5 (*433) содержат эти однородные мозаики. Без прямого угла в фундаментальном треугольнике построения Витхоффа слегка отличаются. Например, в семействе треугольников (4,3,3) плосконосая форма имеет шесть многоугольников вокруг вершины и её двойственная форма имеет шестиугольники, а не пятиугольники. В общем случае вершинная фигура плосконосой мозаики в треугольнике (p,q,r) имеет вид p.3.q.3.r.3, в частности, она имеет вид 4.3.3.3.3.3 для случая ниже.
Шаблон:Таблица мозаик порядка 4-3-3
(4 4 3)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [(4,4,3)], Шаблон:Не переведено 5 (*443) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 4-4-3
(4 4 4)
Группа треугольника Шаблон:Не переведено 5, группа Коксетера [(4,4,4)], Шаблон:Не переведено 5 (*444) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 4-4-4
(5 3 3)
Группа треугольника (5 3 3), группа Коксетера [(5,3,3)], Шаблон:Не переведено 5 (*533) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 5-3-3
(5 4 3)
Группа треугольника (5 4 3), группа Коксетера [(5,4,3)], Шаблон:Не переведено 5 (*543) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 5-4-3
(5 4 4)
Группа треугольника (5 4 4), группа Коксетера [(5,4,4)], Шаблон:Не переведено 5 (*544) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 5-4-4
(6 3 3)
Группа треугольника (6 3 3), группа Коксетера [(6,3,3)], Шаблон:Не переведено 5 (*633) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 6-3-3
(6 4 3)
Группа треугольника (6 4 3), группа Коксетера [(6,4,3)], Шаблон:Не переведено 5 (*643) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 6-4-3
(6 4 4)
Группа треугольника (6 4 4), группа Коксетера [(6,4,4)], Шаблон:Не переведено 5 (*644) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка 6-4-4
Сводная таблица мозаик с конечной треугольной конечной областью
Таблица всех однородных гиперболических мозаик с Фундаментальной областью (p q r), where 2 ≤ p,q,r ≤ 8.
Четырёхугольные фундаментальные области
(3 2 2 2)
Четырёхугольные фундаментальные области также существуют на гиперболической плоскости с Шаблон:Не переведено 5 Шаблон:Не переведено 5 ([∞,3,∞] в нотации Коксетера) как наименьшее семейство. Существует 9 положений генератора для получения однородной мозаики внутри четырёхугольной фундаментальной области. Вершинная фигура может быть выделена из фундаментальной области как 3 случая (1) Угол (2) Середина ребра и (3) Центр. Если генерирующая точка смежна углам опрядка 2, в этом углу образуется вырожденная грань {2} в виде двуугольника, но её можно отбросить. Шаблон:Не переведено 5 и Шаблон:Не переведено 5 однородные мозаики могут также быть получены (не показаны), если вершинная фигура содержит только грани с чётным числом сторон.
Диаграммы Коксетера — Дынкина четырёхугольных фундаментальных областей рассматриваются как вырожденный граф тетраэдра с 2 из 6 рёбер, помеченных бесконечностью или пунктирными линиями. Логическое требование, чтобы по меньшей мере одно из двух параллельных зеркал было активным, ограничивает число возможных вариантов до 9 и другие помеченные кружками варианты неприменимы.
Шаблон:Таблица мозаик порядка 3-2-2-2
(3 2 3 2)
Шаблон:Таблица мозаик порядка 3-2-3-2
Воображаемые треугольные фундаментальные области
Существует бесконечно много семейств групп треугольника, включающие бесконечные порядки. В статье приведены однородные мозаики 9 семейств: (∞ 3 2), (∞ 4 2), (∞ ∞ 2), (∞ 3 3), (∞ 4 3), (∞ 4 4), (∞ ∞ 3), (∞ ∞ 4) и (∞ ∞ ∞).
(∞ 3 2)
Воображаемая Шаблон:Не переведено 5 группа треугольника, группа Коксетера [∞,3], Шаблон:Не переведено 5 (*∞32) содержат эти однородные мозаики.
Шаблон:Таблица мозаик порядка i-3
(∞ 4 2)
Воображаемая Шаблон:Не переведено 5 группа треугольника, группа Коксетера [∞,4], Шаблон:Не переведено 5 (*∞42) содержат эти однородные мозаики. Шаблон:Таблица мозаик порядка i-4
(∞ 5 2)
Воображаемая (∞ 5 2) группа треугольника, группа Коксетера [∞,5], Шаблон:Не переведено 5 (*∞52) содержат эти однородные мозаики. Шаблон:Таблица мозаик порядка i-5
(∞ ∞ 2)
Воображаемая Шаблон:Не переведено 5 группа треугольника, группа Коксетера [∞,∞],Шаблон:Не переведено 5 (*∞∞2) содержат эти однородные мозаики. Шаблон:Таблица мозаик порядка i-i
(∞ 3 3)
Воображаемая Шаблон:Не переведено 5 группа треугольника, группа Коксетера [(∞,3,3)], Шаблон:Не переведено 5 (*∞33) содержат эти однородные мозаики. Шаблон:Таблица мозаик порядка i-3-3
(∞ 4 3)
Воображаемая (∞ 4 3) группа треугольника, группа Коксетера [(∞,4,3)], Шаблон:Не переведено 5 (*∞43) содержат эти однородные мозаики. Шаблон:Таблица мозаик порядка i-4-3
(∞ 4 4)
Воображаемая Шаблон:Не переведено 5 группа треугольника, группа Коксетера [(∞,4,4)], Шаблон:Не переведено 5 (*∞44) содержат эти однородные мозаики. Шаблон:Таблица мозаик порядка i-4-4
(∞ ∞ 3)
Воображаемая (∞ ∞ 3) группа треугольника, группа Коксетера [(∞,∞,3)], Шаблон:Не переведено 5 (*∞∞3) содержат эти однородные мозаики. Шаблон:Таблица мозаик порядка i-i-3
(∞ ∞ 4)
Воображаемая (∞ ∞ 4) группа треугольника, группа Коксетера [(∞,∞,4)], Шаблон:Не переведено 5 (*∞∞4) содержат эти однородные мозаики. Шаблон:Таблица мозаик порядка i-i-4
(∞ ∞ ∞)
Воображаемая Шаблон:Не переведено 5 группа треугольника, группа Коксетера [(∞,∞,∞)], Шаблон:Не переведено 5 (*∞∞∞) содержат эти однородные мозаики. Шаблон:Таблица мозаик порядка i-i-i
Сводная таблица мозаик с бесконечными треугольными фундаментальными областями
Таблица всех однородных гиперболических мозаик с фундаментальной областью (p q r), где 2 ≤ p,q,r ≤ 8, и одно или более значений равно ∞. Шаблон:Таблица бесконечных треугольных гиперболических мозаик
Литература
Ссылки
- Шаблон:Cite web
- Шаблон:Cite web
- Шаблон:Cite web
- Richard Klitzing, 2D Tesselations, Hyperbolic Tesselations Шаблон:Wayback
Шаблон:Геометрические мозаики Шаблон:Rq
