Мозаики из выпуклых правильных многоугольников на евклидовой плоскости
Правильная мозаика имеет один вид правильной грани. |
Полуправильная или однородная мозаика имеет один тип вершины, но два и более видов граней. |
k-однородная мозаика имеет k вида вершин и два или более видов правильных граней. |
Мозаики, не соединённые ребро-к-ребру, могут иметь различные размеры правильных граней |
Замощения евклидовой плоскости выпуклыми правильными многоугольниками широко использовался ещё с античных времён. Первое систематическое изложение было сделано Кеплером в его книге Harmonices Mundi (Гармония мира, на латинском, 1619).
Правильные мозаики
[править | править код]Согласно Грюнбауму и Шепарду[англ.], говорят, что мозаика правильная, если группа симметрии мозаики действует транзитивно на флаги мозаики, где флаг — это тройка, состоящая из взаимно смежных вершин, рёбер и плиток мозаики. Это означает, что для любой пары флагов существует операция симметрии, переводящая первый флаг во второй. Это эквивалентно мозаике соединённых ребро-к-ребру конгруэнтных правильных многоугольников. Должно быть шесть правильных треугольников, четыре квадрата или три правильных шестиугольника в каждой вершине, откуда получаем три правильных замощения.
p6m, *632 | p4m, *442 | |
---|---|---|
36 (t=1, e=1) |
63 (t=1, e=1) |
44 (t=1, e=1) |
Архимедовы, однородные, или полуправильные мозаики
[править | править код]Вершинная транзитивность означает, что для любой пары вершин существует симметрия (параллельный перенос также включается в симметрии), отображающая первую вершину во вторую [1].
Если требование транзитивности флагов ослаблено до транзитивности вершин, но условие соединения плиток ребро-к-ребру сохраняется, существует восемь дополнительных мозаик, которые известны как архимедовы, однородные, или полуправильные. Заметим, что существует две зеркальные (энантиоморфные или хиральные) формы 34.6 (плосконосых шестиугольных) мозаик и обе показаны в таблице ниже. Все остальные правильные и полуправильные мозаики ахиральны.
p6m, *632 | |||||
---|---|---|---|---|---|
3.122[англ.] (t=2, e=2) |
3.4.6.4[англ.] (t=3, e=2) |
4.6.12[англ.] (t=3, e=3) |
(3.6)2 (t=2, e=1) | ||
p4m, *442 | p4, 442 | cmm, 2*22 | p6, 632 | ||
4.82 (t=2, e=2) |
32.4.3.4 (t=2, e=2) |
33.42[англ.] (t=2, e=3) |
Плосконосая шестиугольная мозаика (t=3, e=3) |
Грюнбаум и Шепард эти мозаики называют архимедовыми, как указание на локальность свойства расположения плиток вокруг вершин, для отличия от однородных, для которых вершинная транзитивность является глобальным свойством. Хотя на плоскости этими двумя свойствами обладают все мозаики, в других пространствах существуют архимедовы мозаики, не являющиеся однородными.
k-однородные мозаики
[править | править код]Как изотоксальная, жёлтые треугольники, красные квадраты |
Как 4-изоэдральная, 3 цвета для треугольников |
Такие периодические мозаики можно классифицировать числом орбит вершин, рёбер и плиток. Если существует орбит вершин, мозаика считается -однородной или -изогональной (равноугольной). Если существует орбит плиток, мозаика считается -изоэдральной. Если существует орбит рёбер, мозаика считается -изотоксальной (рёберно-транзитивный).
k-однородные мозаики с одинаковыми вершинными фигурами можно далее идентифицировать их симметрией группы обоев.
1-однородные мозаики включают 3 правильные мозаики и 8 полуправильных с 2 или более видами правильных многоугольных граней. Существует 20 2-однородных мозаик, 61 3-однородных мозаик, 151 4-однородных мозаик, 332 5-однородных мозаик и 673 6-однородных мозаик. Все мозаики можно сгруппировать числом m различных фигур, которые называются m-архимедовыми мозаиками [2]
m | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
k | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | Всего | |
1 | 11 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 11 | |
2 | 0 | 20 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | |
3 | 0 | 22 | 39 | 0 | 0 | 0 | 0 | 0 | 0 | 61 | |
4 | 0 | 33 | 85 | 33 | 0 | 0 | 0 | 0 | 0 | 151 | |
5 | 0 | 74 | 149 | 94 | 15 | 0 | 0 | 0 | 0 | 332 | |
6 | 0 | 100 | 284 | 187 | 92 | 10 | 0 | 0 | 0 | 673 | |
7 | ? | ? | ? | ? | ? | ? | 7 | 0 | 0 | ? | |
8 | ? | ? | ? | ? | ? | ? | 20 | 0 | 0 | ? | |
9 | ? | ? | ? | ? | ? | ? | ? | 8 | 0 | ? | |
10 | ? | ? | ? | ? | ? | ? | ? | 27 | 0 | ? | |
11 | ? | ? | ? | ? | ? | ? | ? | ? | 1 | ? |
Другие типы вершин в мозаик евклидовой плоскости
[править | править код]Для евклидовых мозаик с соединением ребро-к-ребру внутренние углы многоугольников должны в сумме давать 360º. Правильный -угольник имеет внутренний угол . Существует семнадцать комбинаций правильных многоугольников, сумма внутренних углов которых равна 360º, каждая из которых называется видом вершины. В четырёх случаях существует два различных циклических порядка многоугольников, дающие двадцать один вид вершин.
Только одиннадцать из них могут появиться в однородной мозаике правильных многоугольников, приведённых в предыдущих разделах.
В частности, если три многоугольника встречаются в вершине и один имеет нечётное число сторон, два других многоугольника должны быть теми же самыми. В противном случае они должны поочерёдно окружать первый многоугольник, что невозможно при нечётной стороне сторон. Согласно этим ограничениям следующие шесть вариантов не могут присутствовать в какой-либо мозаике правильных многоугольников:
3.7.42[англ.] |
3.8. 24 |
3.9. 18 |
3.10. 15 |
4.5. 20 |
5.5.10 |
Эти четыре могут быть использованы в k-однородных мозаик:
Допустимые виды вершин |
32.4.12 |
3.4.3.12 |
32.62 |
3.42.6 |
---|---|---|---|---|
Примеры 2-однородных мозаик |
с 36 |
с 3.12.12 |
с (3.6)2 |
с (3.6)2 |
Разрезанные правильные многоугольники
[править | править код]Некоторые из k-однородных мозаик могут быть получены с помощью симметричного разрезания плитки мозаики внутренними рёбрами, например:
Шестиугольник | Двенадцатиугольник |
---|
Некоторые k-однородные многоугольники могут быть получены разрезанием правильных многоугольников с новыми вершинами на исходных рёбрах, например:
треугольник | квадрат | шестиугольник |
---|
2-однородные мозаики
[править | править код]Существует двадцать 2-однородных мозаик евклидовой плоскости (называемых также 2-изогональными мозаиками или полуправильными мозаиками) [3][4][5].
p6m, *632 | p4m, *442 | |||||
---|---|---|---|---|---|---|
[36; 32.4.3.4][англ.] (t=3, e=3) |
[3.4.6.4; 32.4.3.4] (t=4, e=4) |
[3.4.6.4; 33.42] (t=4, e=4) |
[3.4.6.4; 3.42.6] (t=5, e=5) |
[4.6.12; 3.4.6.4][англ.] (t=4, e=4) |
[36; 32.4.12][англ.] (t=4, e=4) |
[3.12.12; 3.4.3.12] (t=3, e=3) |
p6m, *632 | p6, 632 | p6, 632 | cmm, 2*22 | pmm, *2222 | cmm, 2*22 | pmm, *2222 |
[36; 32.62] (t=2, e=3) |
[36; 34.6]1 (t=3, e=3) |
[36; 34.6]2 (t=5, e=7) |
[32.62; 34.6] (t=2, e=4) |
[3.6.3.6; 32.62] (t=2, e=3) |
[3.42.6; 3.6.3.6][англ.]2 (t=3, e=4) |
[3.42.6; 3.6.3.6]1 (t=4, e=4) |
p4g, 4*2 | pgg, 2× | cmm, 2*22 | cmm, 2*22 | pmm, *2222 | cmm, 2*22 | |
[33.42; 32.4.3.4]1 (t=4, e=5) |
[33.42; 32.4.3.4]2 (t=3, e=6) |
[44; 33.42]1 (t=2, e=4) |
[44; 33.42]2 (t=3, e=5) |
[36; 33.42]1 (t=3, e=4) |
[36; 33.42]2 (t=4, e=5) |
3-однородные мозаики
[править | править код]Существует 61 3-однородная мозаика евклидовой плоскости. 39 являются 3-архимедовыми с 3 различными видами вершин, а 22 имеет 2 одинаковые виды вершин в различных орбитах симметрии[6].
3-однородные мозаики, 3 вида вершин
[править | править код]3-однородные мозаики, 2 вида вершин (2:1)
[править | править код]4-однородные мозаики
[править | править код]Существует 151 4-однородная мозаика евклидовой плоскости. Исследования Брайана Гейлбаха (Brian Galebach) воспроизвели список Кротенхирдта (Krotenheerdt) из 33 4-однородных мозаик с 4 различными видами вершин, 85 мозаик с 3 видами вершин и 33 мозаики с 2 видами вершин.
4-однородные мозаики, 4 вида вершин
[править | править код]Существует 34 мозаики с 4 видами вершин.
4-однородные мозаики, 3 вида вершин (2:1:1)
[править | править код]Существует 85 мозаик с 3 видами вершин.
4-однородные мозаики, 2 вида вершин (2:2) и (3:1)
[править | править код]Существует 33 мозаики с 2 видами вершин, 12 с отношением типов плиток 2:2 и 21 с отношением (3:1).
5-однородные мозаики
[править | править код]Существует 332 5-однородные мозаики евклидовой плоскости. Исследования Брайана Гейлбаха дали 332 5-однородных мозаик с числом видов вершин от 2 до 5. Существует 74 мозаики с 2 видами вершин, 149 мозаик с 3 видами вершин, 94 мозаики с 4 видами вершин и 15 с 5 видами вершин.
5-однородные мозаики, 5 типов вершин
[править | править код]Существует 15 5-однородных мозаик с 5 видами вершинных фигур.
5-однородные мозаики, 4 типов вершин (2:1:1:1)
[править | править код]Существует 94 5-однородные мозаики с 4 видами вершин.
5-однородные мозаики, 3 типа вершин (3:1:1) и (2:2:1)
[править | править код]Существует 149 5-однородных мозаик с тремя видами вершин, из них у 60 виды вершин находятся в отношении 3:1:1 и 89 имеют отношение 2:2:1.
5-однородные мозаики, 2 типа вершин (4:1) и (3:2)
[править | править код]Существует 74 5-однородные мозаики с 2 видами вершин, 27 мозаик с отношением 4:1 и 47 с отношением 3:2 каждого вида вершин.
Существует 29 5-однородных мозаик с отношением видов вершин 3:2.
k-однородные мозаики более высокого порядка
[править | править код]k-однородные мозаики перечислены вплоть до 6. Существует 673 6-однородные мозаики евклидовой плоскости. Исследования Брайана Гейлбаха воспроизвели список Кротенхирдта из 10 6-однородных мозаик с 6 различными видами вершин, 92 с 5 видами, 187 с 4 видами, 284 с 3 видами и 100 с 2 видами вершин.
Мозаики плиток, не соединённых ребро-к-ребру
[править | править код]Выпуклые правильные многоугольники могут образовывать мозаики плоскости, когда соединение многоугольников не осуществляется ребро-к-ребру. Такие мозаики можно считать мозаиками с соединением ребро-к-ребру, но многоугольники будут неправильными и имеющими рёбра, лежащие на одной прямой.
Существует семь семейств с параметром, определяющим коэффициент наложения рёбер смежных плиток или отношение длин рёбер различных плиток. Два этих семейства образуются сдвигом квадратов, постоянным или зигзагообразным. Грюнбаум и Шепард называет эти мозаики однородными, хотя это противоречит определению однородности Коксетером, которое требует соединение ребро-к-ребру[7]. Такие равноугольные мозаики, фактически, топологически идентичны однородным мозаикам с различными геометрическими пропорциями.
1 | 2 | 3 | 4 | 5 | 6 | 7 |
---|---|---|---|---|---|---|
Ряды четырёх- угольников с горизонтальными сдвигами |
Ряды треугольников с горизонтальными сдвигами |
Мозаика из квадратов |
Три шестиугольника, окружающих каждый треугольник |
Шесть треугольников, окружающих каждый шестиугольник |
Треугольники трёх размеров | |
cmm (2*22) | p2 (2222) | cmm (2*22) | p4m (*442) | p6 (632) | p3 (333) | |
Шестиугольная мозаика | Квадратная мозаика (вырожденная) | Усечённый квадратный паркет[англ.] | Усечённый шестиугольный паркет[англ.] | Шестиугольная мозаика | Тришестиугольная мозаика |
См. также
[править | править код]- Однородные мозаики на гиперболической плоскости
- Список выпуклых однородных мозаик[англ.]
- Символ Витхоффа[англ.]
- Замощение
- Группа обоев
- Платоновы тела
- Полуправильный многогранник (включая Архимедовы тела)
- Геометрия Лобачевского
- Мозаика Пенроуза
- Замощение прямоугольниками[англ.]
Примечания
[править | править код]- ↑ Critchlow, 2000, с. 60-61.
- ↑ k-uniform tilings by regular polygons Архивировано 30 июня 2015 года. Nils Lenngren, 2009
- ↑ Critchlow, 2000, с. 62-67.
- ↑ Grünbaum, Shephard, 1990, с. 65-67.
- ↑ In Search of Demiregular Tilings . Дата обращения: 16 января 2016. Архивировано из оригинала 7 мая 2016 года.
- ↑ Chavey, 1989.
- ↑ Tilings by regular polygons Архивная копия от 3 марта 2016 на Wayback Machine p.236
- Grünbaum, Branko, G. C. Shephard[англ.]. Tilings and Patterns. — W. H. Freeman and Company, 1990. — ISBN 0-7167-1193-1.
- Branko Grünbaum, Geoffrey C. Shephard. Tilings by regular polygons // Math. Mag.. — 1977. — Т. 50. — С. 227–247. — doi:10.2307/2689529.
- Branko Grünbaum, G. C. Shephard. The ninety-one types of isogonal tilings in the plane // Trans. Am. math. Soc.. — 1978. — Т. 252. — С. 335–353. — doi:10.1090/S0002-9947-1978-0496813-3.
- I. Debroey, F. Landuyt. Equitransitive edge-to-edge tilings // Geometriae Dedicata. — 1981. — Т. 11, вып. 1. — С. 47–60. — doi:10.1007/BF00183189.
- Ding Ren, John R. Reay. The boundary characteristic and Pick's theorem in the Archimedean planar tilings // J. Combinat. Theory A. — 1987. — Т. 44, вып. 1. — С. 110–119. — doi:10.1016/0097-3165(87)90063-X.
- D. Chavey. Tilings by Regular Polygons—II: A Catalog of Tilings // Computers & Mathematics with Applications. — 1989. — Т. 17. — С. 147–165. — doi:10.1016/0898-1221(89)90156-9.
- Keith Critchlow. Order in Space: A design source book. — New York,: Thames & Hudson, 2000. — ISBN 0-500-34033-1. Reprint 1969 London ISBN=9-780-500-34033-2
- Duncan MacLaren Young Sommerville. An Introduction to the Geometry of n Dimensions. — Dover Publications, 1958. Глава X: The Regular Polytopes
- P. =Préa. Distance sequences and percolation thresholds in Archimedean Tilings // Mathl. Comput. Modelling. — 1997. — Т. 26. — С. 317–320. — doi:10.1016/S0895-7177(97)00216-1.
- Jurij Kovic. Symmetry-type graphs of Platonic and Archimedean solids // Math. Commun.. — 2011. — Т. 16, вып. 2. — С. 491–507.
- Daniel Pellicer, Gordon Williams. Minimal covers of the Archimedean Tilings // El. J. Combinat. — 2012. — Т. 19, вып. 3. — С. P6.
- Dale Seymour, Jill Britton. Introduction to Tessellations. — Palo Alto: Dale Seymour Publications, 1989. — С. 50–57. — ISBN 978-0866514613.
Ссылки
[править | править код]Euclidean and general tiling links:
- Dutch, Steve. Uniform Tilings . Дата обращения: 9 сентября 2006. Архивировано из оригинала 9 сентября 2006 года.
- Mitchell, K. Semi-Regular Tilings . Дата обращения: 9 сентября 2006.
- Weisstein, Eric W. Tessellation (англ.) на сайте Wolfram MathWorld.
- Weisstein, Eric W. Semiregular tessellation (англ.) на сайте Wolfram MathWorld.
- Weisstein, Eric W. Demiregular tessellation (англ.) на сайте Wolfram MathWorld.
Для улучшения этой статьи желательно:
|