Задача Хееша

Из Википедии, бесплатной энциклопедии

Многоугольник с числом Хееша 5, максимальным конечным таким числом, найденный Кейзи Манном [1]

Число Хееша фигуры — максимальное число слоёв копий той же фигуры, которые могут её окружать. Задача Хееша — это задача определения набора чисел, которые могут быть числами Хееша. И то, и другое названы именем немецкого геометра Генриха Хееша[англ.] [2], который нашёл мозаику с числом Хееша 1 (объединение квадрата, правильного треугольника и треугольника с углами 30-60-90)[3] и предложил более общую задачу[4].

Например, квадрат может быть окружён бесконечным числом слоёв конгруэнтных квадратов в квадратном паркете, в то время как окружность нельзя окружить без дыр даже одним слоем равных окружностей. Число Хееша для квадрата бесконечно, а число Хееша окружности равно нулю. В более сложных примерах, таких, как на рисунке, многоугольная плитка может быть окружена несколькими слоями, но не бесконечным числом слоёв. Максимальное число слоёв является числом Хееша плитки.

Формальное определение

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

Замощение плоскости — это разрезание плоскости на области, называемые плитками. Нулевая корона плитки определяется как сама плитка, а для k > 0 k-ая корона — это множество плиток, имеющие общую точку с (k − 1)-ой короной. Число Хееша фигуры S — это максимальное значение k, для которого существует замощение и плитка t в этом замощении, для которой все плитки от нулевой до k-ой короны плитки t конгруэнтны S. В некоторых работах дополнительно требуется, чтобы объединение корон от нулевой до k-ой было односвязной областью[1].

Если нет верхней границы числа слоёв, которыми плитка может быть окружена, говорят, что её число Хееша бесконечно. В этом случае, на основе леммы Кёнига можно показать, что существует замощение всей плоскости конгруэнтными копиями плитки[5].

Пример Роберта Амманна[англ.] многоугольника с числом Хееша 4

Рассмотрим многоугольник P, показанный на рисунке справа, образованный из правильного шестиугольника путём добавления выступов на двух сторонах и выемок на трёх сторонах. Рисунок показывает замощение, состоящее из 61 копии P, одной бесконечной области и четырёх ромбов внутри четвёртого слоя. Первые четыре короны от центрального многоугольника состоят исключительно из копий плитки P, так что число Хееша равно по меньшей мере четырём. Невозможно распределить многоугольники так, чтобы избежать ромбовидных «дыр», поскольку 61 копия плитки P имеет слишком много впадин, чтобы выступы могли их заполнить. Таким образом, число Хееша плитки P равно в точности четырём. Согласно усиленному определению, чтобы корона была односвязной, число Хееша равно трём. Этот пример обнаружил Роберт Амманн[англ.] [1].

Известные результаты

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

Неизвестно, всем ли положительным числам соответствуют числа Хееша. Первый пример многоугольника с числом Хееша 2 дала Анн Фонтен[6], показавшая, что бесконечное число фигур полимино обладают этим свойством[1][7]. Кейзи Манн построил семейство плиток, каждая с числом Хееша 5, которое на настоящий момент является наибольшим известным. Плитки Манна имеют число Хееша 5 даже при строгих условиях, что каждая корона должна быть односвязной [1].

Для соответствующей задачи на гиперболической плоскости число Хееша может быть сколь угодно велико[8].

Примечания

[править | править код]
  1. 1 2 3 4 5 Mann, 2004, p. 509–517.
  2. Heesch, 1968.
  3. Dutch, 2008.
  4. Grünbaum & Shephard, 1987, p. 155–156.
  5. Grünbaum & Shephard, 1987, §3.8.1 The Extension Theorem, p. 151.
  6. Fontaine, 1991.
  7. Fontaine, 1991, p. 151–156.
  8. Тарасов, 2010, с. 97–104.

Литература

[править | править код]
  • Тарасов А. С.  О числе Хееша для плоскости Лобачевского // Математические заметки. — 2010. — Т. 88, вып. 1. — doi:10.4213/mzm5251.
  • Dutch, Steven.  The Heesch Tile: An Interesting Non-Tiler. — Natural and Applied Sciences, University of Wisconsin–Green Bay, 2008.
  • Grünbaum B., Shephard G. C. . Heesch’s Problem // Tilings and Patterns. — W. H. Freeman, 1987. — P. 155–156.
  • Fontaine, Anne.  An infinite number of plane figures with Heesch number two // Journal of Combinatorial Theory. Ser. A. — 1991. — Vol. 57, no. 1. — doi:10.1016/0097-3165(91)90013-7.
  • Heesch H. . Regülares Parkettierungsproblem. — Cologne and Opladen: Westdeutscher Verlag, 1968. Как цитировано Грюнбаумом и Шепардом (Grünbaum & Shephard 1987) и Фонтани (Fontaine 1991).
  • Mann, Casey.  Heesch’s tiling problem // American Mathematical Monthly. — 2004. — Vol. 111, no. 6. — doi:10.2307/4145069.
  • Eppstein, David. The Geometry Junkyard: Heesch’s Problem.
  • Friedman, Erich. Heesch Tiles with Surround Numbers 3 and 4.
  • Weisstein, Eric W. Heesch Number (англ.) на сайте Wolfram MathWorld.