Паркет (геометрия)

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
14 известных по состоянию на 2012 год пятиугольных паркетов (англ.)[1]

Парке́т — замощение плоскости многоугольниками без пробелов и перекрытий, в котором любые два многоугольника имеют либо общую сторону, либо только общую вершину, либо вовсе не имеют общих точек[2][3].

Кроме паркетов на евклидовой плоскости, в математике рассматриваются «паркеты» на сфере>>>, гиперболической плоскости>>>, в трёхмерном и многомерном пространстве.

Терминология[править | править вики-текст]

Замощения, мозаики, паркеты, разбиения[править | править вики-текст]

Паркеты иначе называются замощениями, мозаиками (англ. tessellation, tiling), разбиениями плоскости (англ. partition), паркетажами.

На странице 16 книги Грюнбаума и Шепарда[en] «Tilings and Patterns» (1987)[4] находится следующее примечание:

В математической литературе слова tessellation, paving, mosaic и parquetting используются как синонимы или со сходными значениями. Немецкие слова для мозаики — Pflasterung, Felderung, Teilung, Parkettierung и Zerlegung; французские слова — pavage, carrelage и dallage; русские слова — паркетаж, разбиение и замощение.

Паркеты с областями (плитками) произвольной формы иногда называют картами (см., напр., теорема о четырёх красках).

Покрытия и упаковки[править | править вики-текст]

Если объединение нескольких фигур содержит данную фигуру Ф, то говорят, что эти фигуры образуют покрытие фигуры Ф. При этом покрывающие фигуры могут перекрываться, но покрывают фигуру Ф без пробелов.

Упаковка — это размещение внутри данной фигуры нескольких фигур, не имеющих общих точек, кроме, быть может, граничных (т.е. без перекрытий).

Замощение — это разбиение фигуры на части. Замощение является одновременно покрытием и упаковкой[4][5].

Ромботришестиугольный паркет 3.4.6.4
Двойственный паркет V3.4.6.4

Протоплитки[править | править вики-текст]

Протоплитки паркета (англ. prototiles, также прототипы[6]) — это плитки (формы), входящие в паркет. Каждая плитка паркета конгруэнтна одной из протоплиток[7].

Так, единственная протоплитка шестиугольного паркета — правильный шестиугольник; протоплиткой правильного сферического пятиугольного паркета является пентагон; множество протоплиток ромботришестиугольного паркета состоит из равностороннего треугольника, квадрата и гексагона.

Паркет называется k-эдрическим, если множество его протоплиток (протомножество) состоит из k плиток[6][4].

Плитки паркета также называют гранями, а стороны многоугольных плиток — рёбрами, по аналогии с терминологией для многогранников[8].

3.4.4.6
3.4.6.4

Конфигурации вершин и граней[править | править вики-текст]

Ромботришестиугольный паркет[en] состоит из плиток трёх типов: равносторонний треугольник, квадрат и гексагон. Эти плитки располагаются вокруг каждой из вершин в следующем порядке: треугольник, квадрат, шестиугольник, треугольник. Такой порядок называется конфигурацией вершины[en] паркета и записывается в форме 3.4.6.4. В случае, если два и более числа в этой последовательности идут подряд, используется сокращённая запись: треугольный паркет может быть обозначен как 3.3.3.3.3.3 или как 36. При этом записи, отличающиеся лишь циклической перестановкой чисел или изменением порядка записи на противоположный (например, 3.3.4.3.4 и 4.3.3.4.3), обозначают одну и ту же конфигурацию вершины; в то же время запись 3.4.4.6 не эквивалентна записи 3.4.6.4[6][9][10][11][12].

В неоднородных паркетах могут встречаться вершины с разными конфигурациями.

Конфигурацией грани[en] называется последовательность степеней вершин этой грани при обходе её в одном направлении. Конфигурация грани записывается последовательностью чисел в квадратных скобках[4] или с префиксом V.

Если все вершины некоторого паркета имеют одну и ту же конфигурацию с записью a1.a2....ak, то все грани двойственного ему паркета имеют одну и ту же конфигурацию с записью Va1.a2....ak. Например, конфигурации граней паркета, двойственного ромботришестиугольному паркету 3.4.6.4 (англ.), записываются как V3.4.6.4.

Виды паркетов[править | править вики-текст]

Во многих случаях принимается условие эквивалентности каждой из протоплиток паркета топологическому диску; иными словами, плитка не должна состоять из нескольких частей (квазиполимино[3]), содержать «отверстия», быть бесконечной полосой и т.п.[4][6].

Паркеты на плоскости[править | править вики-текст]

Правильные паркеты[править | править вики-текст]

Паркеты, составленные из одинаковых правильных многоугольников, называют правильными паркетами (англ. regular tilings). Существует три правильных замощения плоскости: треугольный паркет, квадратный паркет и шестиугольный паркет[2][11][13].

Правильные паркеты

Правильные паркеты называют также платоновыми паркетами[14].

Полиформы, располагающиеся на правильных паркетах, называются соответственно полиамондами, полимино и полигексами.

Для обозначения паркета из правильных p-угольников, расположенных по q вокруг каждой вершины, применяется символ Шлефли {p, q}. Символы Шлефли трёх правильных мозаик — {3,6}, {4,4} и {6,3}[8].

Полуправильные паркеты[править | править вики-текст]

Паркеты, состоящие из правильных многоугольников двух или более типов, такие, что для любых двух вершин паркета существует преобразование симметрии (самосовмещение), переводящее одну из них в другую, называются полуправильными паркетами (англ. semiregular tilings) или архимедовыми паркетами[15][16][17][11].

Существует 8 полуправильных паркетов[2][9][16][17][12]. Один из восьми полуправильных паркетов (курносый тришестиугольный паркет[en]) является хиральным, то есть не совпадает с собственным зеркальным отражением[16][17][6][9].

Полуправильные паркеты (Архимедовы паркеты)


Существует два определения, приводящих к одному и тому же набору из 8 полуправильных паркетов на плоскости.

Первое, «локальное» определение, заключается в том, что вершинные конфигурации всех вершин должны совпадать. Иными словами, последовательности граней вокруг любых двух вершин паркета должны быть одинаковыми: одни и те же многоугольники должны идти в одном и том же (или в противоположном) порядке.

Второе, «глобальное» определение, требует, чтобы для любых двух вершин паркета существовало преобразование симметрии (самосовмещение паркета), переводящее одну из них в другую.

Грюнбаум и Шепард разделяют термины «архимедов паркет» (англ. Archimedean tiling) и «однородный паркет» (англ. uniform tiling): к первой группе относятся паркеты, соответствующие «локальному» определению, а ко второй — «глобальному». Хотя на евклидовой плоскости два этих множества совпадают, в других пространствах существуют архимедовы паркеты, не являющиеся однородными[4].

В математической литературе значения терминов «архимедов паркет», «полуправильный паркет» и «однородный паркет» варьируются.

3.5.3.5
3.6.3.6
3.7.3.7

Квазиправильные паркеты[править | править вики-текст]

Квазиправильный паркет (или многогранник) (англ. quasiregular tiling) — однородный паркет (или многогранник), состоящий из граней двух видов, чередующихся вокруг каждой вершины; иными словами, каждая грань окружена гранями другого типа[18][19][20].

На Евклидовой плоскости существует лишь один квазиправильный паркет — тришестиугольный паркет[en] с вершинной конфигурацией 3.6.3.6. На сфере существует два квазиправильных паркета (сферических многогранника) — кубооктаэдр и икосододекаэдр.

На плоскости Лобачевского существует бесконечное множество квазиправильных паркетов вида p.q.p.q, где \frac{1}{p}+\frac{1}{q}<\frac{1}{2}.

Неоднородные паркеты[править | править вики-текст]

Существует бесконечное множество неоднородных (англ. non-uniform) паркетов, состоящих из правильных многоугольников.

Неоднородные паркеты из правильных многоугольников
32.62, 36  
32.62, 3.6.3.6  
32.4.12, 36  
3.42.6, 3.6.3.6  


Периодические неоднородные паркеты можно классифицировать по числу орбит вершин, рёбер и граней. Если число орбит вершин равно n, паркет называется n-однородным (англ. n-uniform) или n-изогональным; если число орбит рёбер равно nn-изотоксальным (англ. n-isotoxal). Вышеприведённые примеры представляют собой четыре из двадцати 2-однородных паркетов[4][11][21].


Непериодические паркеты и апериодические множества плиток[править | править вики-текст]

Непериодическая мозаика P3, впервые опубликованная Р. Пенроузом в 1978 году[4][22].
Ромбы Пенроуза с выступами и впадинами, обеспечивающими невозможность периодического покрытия без использования цветных плиток и линий[23].
Двумерная несвязная плитка Соколара — Тэйлора[en]

Разбиение T называется периодическим, если среди симметрий T существуют два параллельных переноса в непараллельных направлениях. В этом случае мозаику можно считать состоящей из повторений небольшого фрагмента, выложенного из элементов в узлах некоторой решётки. Множество прототипов (протомножество) P называется апериодическим, если оно реализуется в каких-то разбиениях плоскости, но ни одно из этих разбиений не является периодическим[6].

Первый пример апериодического множества плиток был найден Робертом Берджером[en] в 1966 году и включал в себя 20 426 плиток Вана[en][4][24]. Плитки Вана представляют собой квадраты одного размера с окрашенными сторонами; при построении мозаики разрешено совмещать плитки лишь одноцветными сторонами и запрещено переворачивать плитки.

Позднее были найдены апериодические протомножества с ме́ньшим числом плиток. Роджер Пенроуз обнаружил апериодические протомножества, состоящие из двух плиток[4][23][25].

В 2010 году Джошуа Соколар и Джон Тэйлор предложили апериодическое множество, состоящее из единственной плитки[en], которая представляет собой правильный шестиугольник с нанесённой разметкой в виде цветных линий и с дополнительными ограничениями, связанными с взаимным расположением не касающихся друг друга плиток[26]. Существует модификация, не использующая подобных ограничений, но использующая несвязную плитку, т.е., плитку, не являющуюся топологическим диском. Существование единственной связной плитки без дополнительной разметки и ограничений, способной покрыть плоскость только апериодически, остаётся открытой проблемой[26][27].

Шестиугольный диэдр
Шестигранный осоэдр

Сферические многогранники[править | править вики-текст]

Сферический паркет или сферический многогранник — разбиение сферы на сферические многоугольники дугами больших кругов[28].

Каждому из 5 платоновых тел соответствует правильный сферический паркет. Формально, пусть S — сфера с центром O, совпадающим с центром многогранника P. Проведённые из O лучи, проходящие через вершины многогранника P, пересекают сферу S в точках, являющихся вершинами соответствующего сферического паркета; рёбра многогранника P соответствуют дугам больших кругов на S.

Помимо сферических аналогов пяти «платоновых тел», существует два семейства правильных сферических многогранников, не имеющих эквивалентов среди многогранников с плоскими гранями: осоэдры — многогранники с двумя вершинами, находящимися на полюсах сферы, грани которых являются конгруэнтными двуугольниками, и диэдрыдвойственные осоэдрам двугранники, вершины которых находятся на экваторе сферы.

Звёздчатый семиугольный паркет в модели Пуанкаре на верхней полуплоскости. Чёрные линии образуют правильный семиугольный паркет порядка 3 (паркет, в каждой вершине которого сходятся три одинаковых правильных семиугольника).
Правильный семиугольный паркет порядка 3 в модели Пуанкаре на диске

Гиперболические паркеты[править | править вики-текст]

Аксиома параллельности Евклида (точнее, одно из эквивалентных ей утверждений) гласит:

Через точку, не лежащую на данной прямой, проходит не более одной прямой, лежащей с данной прямой в одной плоскости и не пересекающей её.

В геометрии Лобачевского, вместо неё принимается следующая аксиома:

Через точку, не лежащую на данной прямой, проходят по крайней мере две прямые, лежащие с данной прямой в одной плоскости и не пересекающие её.

Для изображения гиперболической плоскости применяется одна из существующих моделей — модель Бельтрами — Клейна, конформный диск Пуанкаре, модель Пуанкаре на полуплоскости[29].

На евклидовой плоскости существует лишь три правильных паркета и 8 полуправильных. На гиперболической плоскости существует бесконечное множество даже правильных паркетов, включая паркеты с семью и более равносторонними треугольниками вокруг вершины, пятью и более квадратами, четырьмя и более правильными пятиугольниками (паркет с тремя пятиугольниками вокруг вершины является сферическим додекаэдром), четырьмя и более правильными шестиугольниками и тремя и более равными правильными многоугольниками с количеством сторон более 6.

Задачи на паркетах[править | править вики-текст]

Укладка 35 гексамино и 12 пентамино в прямоугольник 18×15. Фигуры пентамино образуют силуэт шахматной ладьи.

Большое количество задач и головоломок связано с разбиением прямоугольников (или других связных фигур) на плитки из определённого заданного множества протоплиток. Сами протоплитки при этом могут представлять собой связные объединения ячеек правильного паркета.

В частности, существует класс задач на замощение прямоугольников m × n плитками домино таким образом, чтобы в полученном разбиении не было прямой линии, пересекающей прямоугольник от края до края и не пересекающей ни одной плитки домино; такие прямоугольники называются «прочными»[3][6][30].

В других задачах устанавливается дополнительное ограничение на количество плиток каждого вида, используемых в замощении. В задачах, связанных с пентамино, требуется покрыть 12 фигурами заданное подмножество квадратного паркета, состоящее из 60 клеток (прямоугольники 3 × 20, 4 × 15, 5 × 12, 6 × 10, шахматная доска с вырезанным в центре квадратным тетрамино и др.); при этом каждая плитка должна быть использована ровно один раз[3][30].

Перечисление паркетов[править | править вики-текст]

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

  • Любым треугольником или четырёхугольником можно замостить плоскость[6][31][32].
  • Известно 14 пятиугольников, способных замостить плоскость; неизвестно, является ли этот перечень полным[1]. Проблема перечисления пятиугольных паркетов имеет богатую историю[6].
  • Известно 3 типа шестиугольников, способных замостить плоскость[6][33].
  • Невозможно замостить плоскость одинаковыми выпуклыми многоугольниками с числом сторон, большим или равным семи[6][34].

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

  1. 1 2 Weisstein, Eric W. Pentagon Tiling (англ.) на сайте Wolfram MathWorld.
  2. 1 2 3 Энциклопедия для детей. Т. 11. Математика / Глав. ред. М. Д. Аксёнова; метод. и отв. ред. В. А. Володин. — М: Аванта+, 2003. — С. 297—300. — 688 с. — ISBN 5-94623-072-7.
  3. 1 2 3 4 Голомб С.В. Полимино = Polyominoes / Пер. с англ. В. Фирсова. Предисл. и ред. И. Яглома. — М.: Мир, 1975. — 207 с.
  4. 1 2 3 4 5 6 7 8 9 10 Grünbaum, Branko; Shephard, G. C. Tilings and Patterns.
  5. Как решают нестандартные задачи / Под ред. В. О. Бугаенко. — М: МЦНМО, 2008. — С. 49. — 96 с. — ISBN 978-5-94057-331-9.
  6. 1 2 3 4 5 6 7 8 9 10 11 Дэвид А. Кларнер Математический цветник.
  7. Prototile. Encyclopedia of Mathematics. Архивировано из первоисточника 2 сентября 2013.
  8. 1 2 Кокстер, Введение в геометрию, 1966, §6, с. 100 — 104.
  9. 1 2 3 Henry Martyn Cundy, A. P. Rollett Mathematical Models. — 2nd ed.. — Oxford University Press, 1961. — С. 59—65.
  10. Paul Bourke. Uniform Polyhedra. Архивировано из первоисточника 2 сентября 2013.
  11. 1 2 3 4 Chavey, D. (1989). «Tilings by Regular Polygons—II: A Catalog of Tilings». Computers & Mathematics with Applications 17: 147—165. DOI:10.1016/0898-1221(89)90156-9.
  12. 1 2 What Is a Tessellation?. Math Forum. Архивировано из первоисточника 2 сентября 2013.
  13. Weisstein, Eric W. Regular Tessellation (англ.) на сайте Wolfram MathWorld.
  14. Steven Gillispie. The Platonic planar tilings. Архивировано из первоисточника 26 октября 2008.
  15. Weisstein, Eric W. Semiregular Tessellation (англ.) на сайте Wolfram MathWorld.
  16. 1 2 3 Steven Dutch. Archimedean Tilings (2 июля 1999). Архивировано из первоисточника 20 января 2013.
  17. 1 2 3 John Baez. Archimedean Tilings and Egyptian Fractions. Azimuth (5 февраля 2012). Архивировано из первоисточника 2 сентября 2013.
  18. М. Веннинджер Модели многогранников = Polyhedron Models / Перевод с английского В. В. Фирсова, под редакцией и с послесловием И. М. Яглома. — М: Мир, 1974. — 236 с.
  19. George Hart. Quasiregular Polyhedra. Virtual Polyhedra: The Encyclopedia of Polyhedra. Архивировано из первоисточника 2 сентября 2013.
  20. H. S. M. Coxeter Regular Polytopes. — 1973. — ISBN 0-486-61480-8.
  21. Steven Dutch. Uniform Tilings (2 июля 1999). Архивировано из первоисточника 20 января 2013.
  22. Penrose R. (1979/80), "«Pentaplexity»", Math. Intell. Т. 2: 32–37, <http://www.ma.utexas.edu/users/radin/pentaplexity.html> (archived at WebCite)
  23. 1 2 David Austin. Penrose Tiles Talk Across Miles. Feature Column from the AMS. Архивировано из первоисточника 2 сентября 2013.
  24. Burger, R (1966). «The Undecidability of the Domino Problem». Memoirs of the American Mathematical Society 66: 1–72.
  25. R. Penrose. Tilings Encyclopedia. Архивировано из первоисточника 2 сентября 2013.
  26. 1 2 Socolar J.. «An Aperiodic Hexagonal Tile». Bibcode2010arXiv1003.4279S.
  27. Socolar and Taylor’s aperiodic tile. Maxwell's Demon. Архивировано из первоисточника 2 сентября 2013.
  28. Weisstein, Eric W. Spherical Polyhedron (англ.) на сайте Wolfram MathWorld.
  29. Кокстер, Введение в геометрию, 1966, гл. 16, с. 415 — 440.
  30. 1 2 Мартин Гарднер Математические головоломки и развлечения = Mathematical Puzzles and Diversions / Пер. Ю. А. Данилова, под ред. Я. А. Смородинского. — 2-е. — М: Мир, 1999. — ISBN 5-03-003340-8.
  31. Weisstein, Eric W. Triangle Tiling (англ.) на сайте Wolfram MathWorld.
  32. Weisstein, Eric W. Quadrilateral Tiling (англ.) на сайте Wolfram MathWorld.
  33. Weisstein, Eric W. HexagonTiling (англ.) на сайте Wolfram MathWorld.
  34. Weisstein, Eric W. Tiling (англ.) на сайте Wolfram MathWorld.

Литература[править | править вики-текст]

Ссылки[править | править вики-текст]