Подстановки плиток

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

В геометрии подстановки плиток — это метод построения мозаик. Наиболее важно, что некоторые подстановки плиток образуют апериодические мозаики[en], то есть замощения, протоплитки[en] которых не образуют какую-либо мозаику с параллельным переносом. Наиболее известные из них — мозаики Пенроуза. Подстановочные мозаики являются специальными случаями правил конечного подразделения, когда не требуется геометрическое равенство плиток.

Введение[править | править код]

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

Простой пример создания периодичного замощения одной плиткой, а именно, квадратом:

Subst-square.svg

Повторяя эту подстановку, всё большие и большие области плоскости будут покрываться квадратной сеткой. Более сложный пример из двух протоплиток показан ниже.

Subst-haus.svg

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

История[править | править код]

В 1973 и 1974 Роджер Пенроуз открыл семейство апериодических мозаик, ныне называемых мозаиками Пенроуза. Первое открытие было дано в терминах «правил совмещения», по которым работа с плитками шла так же, как с кусочками мозаичной картинки. Доказательство, что копии этих протоплиток можно соединить вместе для образования мозаики плоскости, но эта мозаика не может образовать периодическую мозаику, использует построение, которое можно рассматривать как подстановочную мозаику протоплиток. В 1977 Роберт Амманн[en] обнаружил несколько наборов апериодических протоплиток, т.е. протоплиток, для которых правила совмещения приводят к непериодическим мозаикам. В частности, он переоткрыл первый пример Пенроуза. Этот труд повлиял на учёных, работающих в области кристаллографиия, что, в итоге, привело к открытию квазикристаллов. И наоборот, интерес к квазикристаллам привёл к открытию некоторых вполне упорядоченных апериодических мозаик. Многие из них можно легко описать как подстановочную мозаику.

Математическое определение[править | править код]

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

Возьмём набор областей в качестве протоплиток. Размещение протоплитки — это пара , где является изометрией . Образ называется областью размещения. Мозаика T — это набор областей размещения протоплиток, в котором внутренние области протоплиток не имеют общих частей. Мы говорим, что мозаика T является мозаикой на W, если W является объединение областей размещения из T.

Подстановка плиток в литературе зачастую недостаточно хорошо определена. Точное определение следующее[1].

Подстановка плитки для протоплиток P — это пара , где является линейным отображением, все cобственные значения которого больше единицы по модулю, а правила подстановки отображают в плитку . Подстановка плитки порождает отображение из любой плитки T области W в плитку области

Заметим, что протоплитки можно вывести из подстановки плиток. Таким образом, нет необходимости включать их в подстановки плиток [2].

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

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

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

  1. Frettlöh, 2005, с. 619-639.
  2. Vince, 2000, p. 329—370.

Литература для дальнейшего чтения[править | править код]

  • N. Pytheas Fogg. Substitutions in dynamics, arithmetics and combinatorics / Editors Berthé, Valérie; Ferenczi, Sébastien; Mauduit, Christian; Siegel, A.. — Berlin: Springer-Verlag, 2002. — Т. 1794. — (Lecture Notes in Mathematics). — ISBN 3-540-44141-7.
  • D. Frettlöh. Duality of Model Sets Generated by Substitutions // Romanian J. of Pure and Applied Math. — 2005. — Вып. 50.
  • Vince A. Directions in Mathematical Quasicrystals / M. Baake, R.V. Moody. — Providence: AMS, 2000. — Т. 13. — (CRM Monograph series).

Ссылки[править | править код]