В геометрии фигура называется неизоэдральной , если она допускает мозаику , но ни одна такая мозаика не является изоэдральной (транзитивной по плиткам); то есть в любой мозаике этой фигурой есть две плитки, которые не эквивалентны ни при какой симметрии мозаики. Мозаика неизоэдральной плиткой называется неизоэдральной мозаикой . [1]
Первая часть восемнадцатой проблемы Гильберта спрашивала, существует ли неизоэдральный многогранник в евклидовом 3-пространстве ; Грюнбаум и Шепард предполагают [2] , что Гильберт предполагал, что такой плитки не существует на плоскости. Рейнхардт ответил на проблему Гильберта в 1928 году, найдя примеры таких многогранников, и утверждал, что его доказательство того, что таких плиток не существует на плоскости, скоро появится. [3] Однако затем Хеш привел пример неизоэдральной плитки на плоскости в 1935 году. [4]
Рейнхардт ранее рассматривал вопрос о неизоэдральных выпуклых многоугольниках , показав, что не существует неизоэдральных выпуклых шестиугольников , но не сумев показать, что не существует таких выпуклых пятиугольников , при этом найдя пять типов выпуклых пятиугольников, застилающих плоскость изоэдрально. [2] Кершнер дал три типа неизоэдральных выпуклых пятиугольников в 1968 году; один из этих плиток использовал только прямые изометрии без отражений или скользящих отражений, таким образом отвечая на вопрос Хееша. [5]
Проблема неизоэдральной мозаики была обобщена, сказав, что изоэдральное число плитки - это наименьшее число орбит (классов эквивалентности) плиток в любой мозаике этой плитки под действием группы симметрии этой мозаики, и что плитка с изоэдральным числом k является k -анизоэдральной. Берглунд спросил, существуют ли k -анизоэдральные плитки для всех k , приведя примеры для k ≤ 4 (примеры 2-анизоэдральных и 3-анизоэдральных плиток были известны ранее, в то время как данная 4-анизоэдральная плитка была первой такой опубликованной плиткой). [6] Гудман-Штраус рассмотрел это в контексте общих вопросов о том, насколько сложным может быть поведение данной плитки или набора плиток, отметив 10-анизоэдральный пример Майерса. [7] Грюнбаум и Шепард ранее подняли небольшую вариацию того же вопроса. [8]
В 2007 году Соколар показал, что произвольно высокие изоэдральные числа могут быть достигнуты в двух измерениях, если плитка не связана или имеет цветные края с ограничениями на то, какие цвета могут быть смежными, и в трех измерениях с помощью связанной плитки без цветов, отметив, что в двух измерениях для связанной плитки без цветов наибольшее известное изоэдральное число равно 10. [9]
Джозеф Майерс создал коллекцию плиток с высокими изоэдральными числами, в частности, полигексагон с изоэдральным числом 10 (встречающийся на 20 орбитах при трансляции) и еще один с изоэдральным числом 9 (встречающийся на 36 орбитах при трансляции)[1].