Замощение (геометрия)

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

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

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

Оригинальный текст (англ.)[показатьскрыть]

In mathematical literature, the words tessellation, paving, mosaic and parquetting are used synonymously or with similar meanings. The German words for tiling are Pflasterung, Felderung, Teilung, Parkettierung and Zerlegung. The French words are pavage, carrelage and dallage. The Russian words are паркетаж, разбиение and замощение.

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

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

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

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

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

Двойственный паркет V3.4.6.4

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

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

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

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

3.4.4.6

3.4.6.4

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

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

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

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

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

• Правильные паркеты
• 
  Треугольный паркет
  3⁶
• 
  Квадратный паркет
  4⁴
• 
  Шестиугольный паркет
  6³

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

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

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

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

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

• Полуправильные паркеты (Архимедовы паркеты)
• 
  Усечённый квадратный паркет
  4.8.8
• 
  Курносый квадратный паркет
  3.3.4.3.4
• 
  Тришестиугольный паркет
  3.6.3.6
• 
  Усечённый шестиугольный паркет
  3.12.12
• 
  Ромботришестиугольный паркет
  3.4.6.4
• 
  Ромбоусечённый тришестиугольный паркет
  4.6.12
• 
  Изокурносый треугольный паркет
  3.3.3.4.4
• 
  Курносый тришестиугольный паркет (одна из двух зеркальных копий)
  3.3.3.3.6

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

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

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

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

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

3.5.3.5

3.6.3.6

3.7.3.7

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

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

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

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

• Неоднородные паркеты из правильных многоугольников
• 
  3².6², 3⁶
• 
  3².6², 3.6.3.6
• 
  3².4.12, 3⁶
• 
  3.4².6, 3.6.3.6

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

Непериодическая мозаика P3, впервые опубликованная Р. Пенроузом в 1978 году[2][22].

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

Двумерная несвязная плитка Соколара — Тейлор

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

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

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

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

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

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

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

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

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

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

Правильный семиугольный паркет порядка 3 в модели Пуанкаре на диске

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

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

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

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

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

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

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

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