Тесселяция или замощение — это покрытие поверхности , часто плоскости , одной или несколькими геометрическими фигурами , называемыми плитками , без наложений и зазоров. В математике тесселяция может быть обобщена на более высокие измерения и различные геометрии.
Периодическая мозаика имеет повторяющийся узор. Некоторые специальные виды включают регулярные мозаики с правильными многоугольными плитками одинаковой формы и полурегулярные мозаики с правильными плитками более чем одной формы и с каждым углом, расположенным одинаково. Узоры, образованные периодическими мозаиками, можно разделить на 17 групп обоев . Мозаика, в которой отсутствует повторяющийся узор, называется «непериодической». Апериодическая мозаика использует небольшой набор форм плиток, которые не могут образовывать повторяющийся узор ( апериодический набор протоплиток ). Тесселяция пространства , также известная как заполнение пространства или соты, может быть определена в геометрии более высоких измерений.
Настоящая физическая мозаика — это мозаика, сделанная из таких материалов, как цементированные керамические квадраты или шестиугольники. Такие мозаики могут быть декоративными узорами или иметь такие функции, как обеспечение прочного и водостойкого покрытия для пола , пола или стен. Исторически мозаики использовались в Древнем Риме и в исламском искусстве , например, в марокканской архитектуре и декоративной геометрической мозаике дворца Альгамбра . В двадцатом веке работы М. К. Эшера часто использовали мозаики, как в обычной евклидовой геометрии , так и в гиперболической геометрии , для художественного эффекта. Иногда мозаики используются для декоративного эффекта в стеганом шитье . Мозаики образуют класс узоров в природе , например, в массивах шестиугольных ячеек, обнаруженных в сотах .
Мозаика использовалась шумерами ( около 4000 г. до н.э.) при украшении стен зданий узорами из глиняной плитки. [1]
Декоративные мозаичные плитки, сделанные из небольших квадратных блоков, называемых тессерами, широко использовались в классической античности [2] , иногда отображая геометрические узоры. [3] [4]
В 1619 году Иоганн Кеплер провел раннее документированное исследование мозаик. Он писал о правильных и полуправильных мозаиках в своих Harmonices Mundi ; он был, возможно, первым, кто исследовал и объяснил шестиугольные структуры сот и снежинок . [5] [6] [7]
Примерно двести лет спустя, в 1891 году, русский кристаллограф Евграф Федоров доказал, что каждая периодическая мозаика плоскости имеет одну из семнадцати различных групп изометрий. [8] [9] Работа Федорова ознаменовала неофициальное начало математического изучения мозаик. Другие выдающиеся авторы включают Алексея Васильевича Шубникова и Николая Белова в их книге «Цветная симметрия» (1964), [10] и Генриха Хееша и Отто Кинцле (1963). [11]
На латыни тесселла — это небольшой кубический кусок глины , камня или стекла , используемый для изготовления мозаики. [12] Слово «тесселла» означает «маленький квадрат» (от tessera , квадрат, который, в свою очередь, происходит от греческого слова τέσσερα — четыре ). Оно соответствует повседневному термину плитка , который относится к применению мозаики, часто сделанной из глазурованной глины.
Тесселяция в двух измерениях, также называемая плоской мозаикой, является разделом геометрии, который изучает, как фигуры, известные как плитки , могут быть расположены так, чтобы заполнить плоскость без каких-либо зазоров, в соответствии с заданным набором правил. Эти правила могут быть разными. Обычные из них заключаются в том, что между плитками не должно быть зазоров, и что ни один угол одной плитки не может лежать вдоль края другой. [13] Тесселяции, созданные с помощью перевязанной кирпичной кладки, не подчиняются этому правилу. Среди тех, которые подчиняются, правильная тесселяция имеет как идентичные [a] правильные плитки , так и идентичные правильные углы или вершины, имеющие одинаковый угол между соседними ребрами для каждой плитки. [14] Есть только три фигуры, которые могут образовывать такие правильные тесселяции: равносторонний треугольник , квадрат и правильный шестиугольник . Любую из этих трех фигур можно дублировать бесконечно, чтобы заполнить плоскость без зазоров. [6]
Возможны многие другие типы мозаики при различных ограничениях. Например, существует восемь типов полурегулярной мозаики, созданных с использованием более чем одного вида правильных многоугольников, но при этом имеющих одинаковое расположение многоугольников в каждом углу. [15] Нерегулярные мозаики также могут быть созданы из других форм, таких как пятиугольники , полимино и фактически почти из любого вида геометрической фигуры. Художник М. К. Эшер известен тем, что создает мозаики с нерегулярными переплетенными плитками, имеющими форму животных и других природных объектов. [16] Если для плиток разной формы выбрать подходящие контрастные цвета, то образуются поразительные узоры, которые можно использовать для украшения физических поверхностей, таких как церковные полы. [17]
Более формально, замощение или плитка — это покрытие евклидовой плоскости счетным числом замкнутых множеств, называемых плитками , таким образом, что плитки пересекаются только на своих границах . Эти плитки могут быть многоугольниками или любыми другими формами. [b] Многие замощения образованы из конечного числа протоплиток , в которых все плитки в замощении конгруэнтны заданным протоплиткам. Если геометрическая фигура может быть использована в качестве протоплитки для создания замощения, говорят, что фигура замощает или замощает плоскость . Критерий Конвея — это достаточный, но не необходимый набор правил для решения, замощает ли заданная фигура плоскость периодически без отражений: некоторые плитки не удовлетворяют критерию, но все равно замощают плоскость. [19] Общего правила для определения того, может ли заданная фигура замощать плоскость или нет, не найдено, что означает, что существует много нерешенных проблем, касающихся замощений. [18]
Математически, мозаики могут быть расширены на пространства , отличные от евклидовой плоскости. [6] Швейцарский геометр Людвиг Шлефли был пионером в этом, определив полисхемы , которые математики в настоящее время называют многогранниками . Это аналоги многоугольников и многогранников в пространствах с большим количеством измерений. Он также определил обозначение символа Шлефли , чтобы упростить описание многогранников. Например, символ Шлефли для равностороннего треугольника — {3}, а для квадрата — {4}. [20] Обозначение Шлефли позволяет компактно описывать мозаики. Например, мозаика правильных шестиугольников имеет три шестисторонних многоугольника в каждой вершине, поэтому ее символ Шлефли — {6,3}. [21]
Существуют также другие методы описания многоугольных мозаик. Когда мозаика сделана из правильных многоугольников, наиболее распространенной нотацией является конфигурация вершин , которая является просто списком количества сторон многоугольников вокруг вершины. Квадратная мозаика имеет конфигурацию вершин 4.4.4.4 или 4 4 . Мозаика правильных шестиугольников обозначается 6.6.6 или 6 3 . [18]
Математики используют некоторые технические термины при обсуждении мозаик. Ребро — это пересечение двух граничащих плиток; часто это прямая линия. Вершина — это точка пересечения трех или более граничащих плиток. Используя эти термины, изогональная или вершинно-транзитивная мозаика — это мозаика, в которой каждая вершина идентична; то есть расположение многоугольников вокруг каждой вершины одинаково. [18] Фундаментальная область — это форма, такая как прямоугольник, которая повторяется для формирования мозаики. [22] Например, правильная мозаика плоскости с квадратами имеет встречу четырех квадратов в каждой вершине . [18]
Стороны многоугольников не обязательно идентичны краям плиток. Мозаика «край-к-краю» — это любая многоугольная мозаика, в которой смежные плитки имеют только одну общую сторону, т. е. ни одна плитка не имеет частичную сторону или более одной стороны с любой другой плиткой. В мозаике «край-к-краю» стороны многоугольников и края плиток одинаковы. Знакомая нам мозаика «кирпичная стена» не имеет «край-к-краю», потому что длинная сторона каждого прямоугольного кирпича является общей с двумя граничащими кирпичами. [18]
Нормальная мозаика — это мозаика, в которой каждая плитка топологически эквивалентна диску , пересечение любых двух плиток является связным множеством или пустым множеством , и все плитки равномерно ограничены . Это означает, что для всех плиток во всей мозаике можно использовать один описывающий радиус и один вписывающий радиус; условие запрещает плитки, которые являются патологически длинными или тонкими. [23]
Моноэдральная мозаика — это мозаика, в которой все плитки конгруэнтны ; она имеет только одну протоплитку. Особенно интересным типом моноэдральной мозаики является спиральная моноэдральная мозаика. Первая спиральная моноэдральная мозаика была открыта Хайнцем Водербергом в 1936 году; мозаика Водерберга имеет единичную плитку, которая является невыпуклым девятиугольником . [1] Мозаика Хиршхорна , опубликованная Майклом Д. Хиршхорном и Д. К. Хантом в 1985 году, представляет собой пятиугольную мозаику, использующую неправильные пятиугольники: правильные пятиугольники не могут замостить евклидову плоскость как внутренний угол правильного пятиугольника, 3π/5 , не является делителем 2π . [ 24] [25]
Изоэдральная мозаика — это особый вариант моноэдральной мозаики, в которой все плитки принадлежат к одному и тому же классу транзитивности, то есть все плитки являются преобразованиями одной и той же протоплитки относительно группы симметрии мозаики. [23] Если протоплитка допускает мозаику, но ни одна такая мозаика не является изоэдральной, то протоплитка называется неизоэдральной и образует неизоэдральные мозаики .
Регулярная мозаика — это высокосимметричная мозаика , состоящая из правильных многоугольников , имеющих одинаковую форму. Существует всего три правильных мозаики: те, что состоят из равносторонних треугольников , квадратов или правильных шестиугольников . Все три мозаики являются изогональными и моноэдральными. [26]
Полуправильная (или архимедова) мозаика использует более одного типа правильных многоугольников в изогональном расположении. Существует восемь полуправильных мозаик (или девять, если зеркальная пара мозаик считается за две). [27] Их можно описать по конфигурации их вершин ; например, полуправильная мозаика, использующая квадраты и правильные восьмиугольники, имеет конфигурацию вершин 4,8 2 (каждая вершина имеет один квадрат и два восьмиугольника). [28] Возможны многие мозаики не от края к краю евклидовой плоскости, включая семейство пифагорейских мозаик , мозаик, которые используют два (параметризованных) размера квадрата, каждый квадрат касается четырех квадратов другого размера. [29] Реберная мозаика — это мозаика, в которой каждая плитка может быть отражена относительно края, чтобы занять положение соседней плитки, например, в массиве равносторонних или равнобедренных треугольников. [30]
Мозаики с трансляционной симметрией в двух независимых направлениях можно классифицировать по группам обоев , которых существует 17. [31] Утверждалось, что все семнадцать из этих групп представлены во дворце Альгамбра в Гранаде , Испания . Хотя это оспаривается, [32] разнообразие и изысканность мозаик Альгамбры заинтересовали современных исследователей. [33] Из трех правильных мозаик две находятся в группе обоев p6m , а одна — в p4m . Мозаики в 2-D с трансляционной симметрией только в одном направлении можно классифицировать по семи группам фризов, описывающим возможные узоры фризов . [34] Орбифолдная нотация может использоваться для описания групп обоев евклидовой плоскости. [35]
Мозаики Пенроуза , которые используют две разные четырехугольные протоплитки, являются самым известным примером плиток, которые принудительно создают непериодические узоры. Они принадлежат к общему классу апериодических мозаик , которые используют плитки, которые не могут периодически тесселироваться. Рекурсивный процесс замещения мозаики является методом генерации апериодических мозаик. Один класс, который может быть сгенерирован таким образом, — это рептильные плитки ; эти мозаики обладают неожиданными самовоспроизводящимися свойствами. [36] Мозаики Pinwheel являются непериодическими, использующими конструкцию рептильных плиток; плитки появляются в бесконечном количестве ориентаций. [37] Можно подумать, что непериодический узор будет полностью лишен симметрии, но это не так. Апериодические мозаики, хотя и лишены трансляционной симметрии , имеют симметрии других типов, посредством бесконечного повторения любого ограниченного участка мозаики и в определенных конечных группах вращений или отражений этих участков. [38] Правило подстановки, например, которое можно использовать для создания узоров Пенроуза с использованием сборок плиток, называемых ромбами, иллюстрирует симметрию масштабирования. [39] Слово Фибоначчи можно использовать для построения апериодической плитки и для изучения квазикристаллов , которые являются структурами с апериодическим порядком. [40]
Плитки Вана — это квадраты, окрашенные с каждой стороны и размещенные таким образом, что примыкающие края соседних плиток имеют одинаковый цвет; поэтому их иногда называют домино Вана . Подходящий набор домино Вана может замостить плоскость, но только апериодически. Это известно, потому что любая машина Тьюринга может быть представлена как набор домино Вана, которые замостит плоскость тогда и только тогда, когда машина Тьюринга не останавливается. Поскольку проблема остановки неразрешима, проблема определения того, может ли набор домино Вана замостить плоскость, также неразрешима. [41] [42] [43] [44] [45]
Плитка Трюше — это квадратная плитка, украшенная узорами, поэтому она не имеет вращательной симметрии ; в 1704 году Себастьен Трюше использовал квадратную плитку, разделенную на два треугольника контрастных цветов. Они могут замостить плоскость как периодически, так и случайным образом. [46] [47]
Плитка Эйнштейна — это отдельная форма, которая заставляет апериодическую мозаику. Первая такая плитка, названная «шляпой», была обнаружена в 2023 году Дэвидом Смитом, математиком-любителем. [48] [49] Открытие находится на рассмотрении специалистов и, после подтверждения, будет признано решением давней математической проблемы . [50]
Иногда цвет плитки понимается как часть мозаики; в других случаях произвольные цвета могут быть применены позже. При обсуждении мозаики, которая отображается в цветах, чтобы избежать двусмысленности, нужно указать, являются ли цвета частью мозаики или просто частью ее иллюстрации. Это влияет на то, считаются ли плитки с одинаковой формой, но разного цвета, идентичными, что, в свою очередь, влияет на вопросы симметрии. Теорема о четырех цветах гласит, что для каждой мозаики нормальной евклидовой плоскости с набором из четырех доступных цветов каждая плитка может быть окрашена в один цвет так, что никакие плитки одинакового цвета не будут встречаться на кривой положительной длины. Раскраска, гарантированная теоремой о четырех цветах, обычно не учитывает симметрии мозаики. Чтобы создать раскраску, которая учитывает, необходимо рассматривать цвета как часть мозаики. Здесь может потребоваться до семи цветов, как показано на изображении слева. [51]
Наряду с различными мозаиками из правильных многоугольников изучались также мозаики из других многоугольников.
Любой треугольник или четырехугольник (даже невыпуклый ) можно использовать в качестве протоплитки для формирования моноэдральной мозаики, часто более чем одним способом. Копии произвольного четырехугольника могут образовывать мозаику с трансляционной симметрией и 2-кратной вращательной симметрией с центрами в серединах всех сторон. Для асимметричного четырехугольника эта мозаика принадлежит группе обоев p2 . В качестве фундаментальной области мы имеем четырехугольник. Эквивалентно, мы можем построить параллелограмм, стягиваемый минимальным набором векторов трансляции, начиная с центра вращения. Мы можем разделить его на одну диагональ и взять одну половину (треугольник) в качестве фундаментальной области. Такой треугольник имеет ту же площадь, что и четырехугольник, и может быть построен из него путем вырезания и вставки. [52]
Если допускается только одна форма плитки, то существуют мозаики с выпуклыми N -угольниками для N , равного 3, 4, 5 и 6. Для N = 5 см . Пятиугольная мозаика , для N = 6 см . Шестиугольная мозаика , для N = 7 см . Семиугольная мозаика и для N = 8 см . Восьмиугольная мозаика .
В случае невыпуклых многоугольников ограничений по количеству сторон гораздо меньше, даже если допускается только одна форма.
Полимино — это примеры плиток, которые либо выпуклые, либо невыпуклые, для которых можно использовать различные комбинации, вращения и отражения для заполнения плоскости. Результаты по заполнения плоскости полимино см. в разделе Полимино § Использование полимино .
Мозаики Вороного или Дирихле — это мозаики, где каждая плитка определяется как множество точек, ближайших к одной из точек в дискретном наборе определяющих точек. (Подумайте о географических регионах, где каждый регион определяется как все точки, ближайшие к данному городу или почтовому отделению.) [53] [54] Ячейка Вороного для каждой определяющей точки — это выпуклый многоугольник. Триангуляция Делоне — это мозаика, которая является двойственным графом мозаики Вороного. Триангуляции Делоне полезны в численном моделировании, отчасти потому, что среди всех возможных триангуляций определяющих точек триангуляции Делоне максимизируют минимум углов, образованных ребрами. [55] Мозаики Вороного со случайно расположенными точками можно использовать для построения случайных мозаик плоскости. [56]
Тесселяцию можно распространить на три измерения. Некоторые многогранники можно сложить в регулярный кристаллический узор , чтобы заполнить (или замостить) трехмерное пространство, включая куб (единственный платонов многогранник, который делает это), ромбический додекаэдр , усеченный октаэдр , треугольные, четырехугольные и шестиугольные призмы и другие. [57] Любой многогранник , который соответствует этому критерию, называется плезиоэдром и может иметь от 4 до 38 граней. [58] Природные ромбические додекаэдры встречаются в виде кристаллов андрадита (разновидность граната ) и флюорита . [59] [60]
Мозаики в трех или более измерениях называются сотами . В трех измерениях есть только одни правильные соты, которые имеют восемь кубов в каждой вершине многогранника. Аналогично, в трех измерениях есть только одни квазиправильные [c] соты, которые имеют восемь тетраэдров и шесть октаэдров в каждой вершине многогранника. Однако существует много возможных полуправильных сот в трех измерениях. [61] Однородные соты можно построить с помощью построения Витхоффа . [62]
Бипризма Шмитта-Конвея — выпуклый многогранник, обладающий свойством замощения пространства только апериодически. [63]
Треугольник Шварца — это сферический треугольник , который можно использовать для заполнения сферы . [64]
Можно делать мозаику в неевклидовых геометриях, таких как гиперболическая геометрия . Однородная мозаика в гиперболической плоскости (которая может быть регулярной, квазирегулярной или полурегулярной) — это заполнение гиперболической плоскости от края до края правильными многоугольниками в качестве граней ; они являются вершинно-транзитивными ( транзитивными на своих вершинах ) и изогональными (существует изометрия , отображающая любую вершину на любую другую). [65] [66]
Однородные соты в гиперболическом пространстве — это однородная мозаика однородных многогранных ячеек . В трехмерном (3-D) гиперболическом пространстве существует девять семейств групп Кокстера компактных выпуклых однородных сот , сгенерированных как конструкции Вайтхоффа и представленных перестановками колец диаграмм Кокстера для каждого семейства. [67 ]
В архитектуре мозаика использовалась для создания декоративных мотивов с древних времен. Мозаичные плитки часто имели геометрические узоры. [4] Более поздние цивилизации также использовали более крупные плитки, как простые, так и индивидуально украшенные. Некоторые из самых декоративных были мавританскими настенными плитками исламской архитектуры , с использованием плиток Girih и Zellige в таких зданиях, как Альгамбра [68] и Ла-Мескита . [69]
Мозаики часто появлялись в графическом искусстве М. К. Эшера ; он был вдохновлен мавританским использованием симметрии в таких местах, как Альгамбра, когда он посетил Испанию в 1936 году. [70] Эшер сделал четыре рисунка « Предела круга » мозаик, которые используют гиперболическую геометрию. [71] [72] Для своей гравюры на дереве «Пределы круга IV» (1960) Эшер подготовил карандашный и чернильный этюд, показывающий требуемую геометрию. [73] Эшер объяснил, что «Ни один компонент всех серий, которые из бесконечного далека поднимаются, как ракеты, перпендикулярно пределу и в конце концов теряются в нем, никогда не достигает граничной линии». [74]
Мозаичные узоры часто появляются на текстиле, будь то тканые, вышитые или напечатанные. Мозаичные узоры использовались для создания взаимосвязанных мотивов форм заплаток в одеялах . [75] [76]
Тесселяция также является основным жанром в оригами (складывании бумаги), где складки используются для соединения молекул, например, скручивания, вместе в повторяющейся манере. [77]
Тесселяция используется в обрабатывающей промышленности для сокращения отходов материала (потерь выхода продукции), например, листового металла , при вырезании форм для таких объектов, как автомобильные двери или банки для напитков . [78]
Тесселяция проявляется в растрескивании тонких пленок , похожем на трещины в грязи [79] [80] – при этом определенная степень самоорганизации наблюдается с использованием микро- и нанотехнологий . [81]
Соты — хорошо известный пример мозаики в природе с их шестиугольными ячейками. [82]
В ботанике термин «мозаичный» описывает клетчатый рисунок, например, на лепестке цветка, коре дерева или фрукте. Цветы , включая рябчик [83] и некоторые виды Colchicum [84] , характеризуются мозаичным рисунком.
Многие узоры в природе образуются трещинами в листах материалов. Эти узоры можно описать с помощью мозаики Гилберта [85] , также известной как случайные сети трещин. [86] Тесселяция Гилберта — это математическая модель образования грязевых трещин , игольчатых кристаллов и подобных структур. Модель, названная в честь Эдгара Гилберта , позволяет трещинам образовываться, начиная с беспорядочного разброса по плоскости; каждая трещина распространяется в двух противоположных направлениях вдоль линии, проходящей через точку инициации, ее наклон выбирается случайным образом, создавая мозаику из неправильных выпуклых многоугольников. [87] Потоки базальтовой лавы часто демонстрируют столбчатую сочлененность в результате сил сжатия , вызывающих трещины по мере остывания лавы. Развивающиеся обширные сети трещин часто производят шестиугольные колонны лавы. Одним из примеров такого массива колонн является Дорога гигантов в Северной Ирландии. [88] Мозаичная мостовая , характерный пример которой найден в Иглхок-Нек на полуострове Тасман в Тасмании , представляет собой редкую осадочную горную породу, где порода расколота на прямоугольные блоки. [89]
Другие естественные узоры встречаются в пенах ; они упакованы в соответствии с законами Плато , которые требуют минимальных поверхностей . Такие пены представляют проблему в том, как упаковать ячейки как можно плотнее: в 1887 году лорд Кельвин предложил упаковку, использующую только одно твердое тело, битусеченные кубические соты с очень слегка изогнутыми гранями. В 1993 году Денис Уайр и Роберт Фелан предложили структуру Уайра-Фелана , которая использует меньшую площадь поверхности для разделения ячеек равного объема, чем пена Кельвина. [90]
Тесселяция дала начало многим типам мозаики , от традиционных головоломок (с неровными кусками дерева или картона) [91] и танграма [ 92] до более современных головоломок, которые часто имеют математическую основу. Например, полиромбы и полимино — это фигуры правильных треугольников и квадратов, часто используемые в мозаике. [93] [94] Такие авторы, как Генри Дьюдени и Мартин Гарднер, много использовали тесселяцию в развлекательной математике . Например, Дьюдени изобрел шарнирное рассечение [95] , в то время как Гарднер писал о « реп-плитке », форме, которая может быть разрезана на меньшие копии той же формы. [96] [97] Вдохновленная статьями Гарднера в Scientific American , математик-любитель Марджори Райс нашла четыре новых мозаики с пятиугольниками. [98] [99] Квадратура квадрата — это задача замощения целого квадрата (квадрата, стороны которого имеют целую длину), используя только другие целые квадраты. [100] [101] Расширение — это замощение плоскости квадратами, размеры которых являются натуральными числами без повторений; Джеймс и Фредерик Генле доказали, что это возможно. [102]
1 является частью мозаики евклидовой плоскости, которую мы представляем себе продолженной во всех направлениях, а рисунок 2 [Circle Limit IV] является прекрасной мозаикой модели единичного диска Пуанкаре гиперболической плоскости белыми плитками, представляющими ангелов, и черными плитками, представляющими дьяволов. Важной особенностью второго является то, что все белые плитки взаимно конгруэнтны, как и все черные плитки; конечно, это не верно для евклидовой метрики, но справедливо для метрики Пуанкаре