Плезиоэдр - Plesiohedron

В геометрия, а плезиоэдр особый вид многогранник, заполняющий пространство, определяемый как Ячейка Вороного симметричной Набор Delone. Трехмерный Евклидово пространство могут быть полностью заполнены копиями любой из этих фигур без наложений. Результирующий соты будут иметь симметрии, которые переводят любую копию плезиоэдра в любую другую копию.

Плезиоэдры включают такие известные формы, как куб, шестиугольная призма, ромбический додекаэдр, и усеченный октаэдр.Наибольшее количество граней, которое может иметь плезиоэдр, - 38.

Определение

17-гранный плезиоэдр и его соты

Множество очков в Евклидово пространство это Набор Delone если существует номер так что каждые две точки по крайней мере на расстоянии отдельно друг от друга и так, чтобы каждая точка пространства находилась на расстоянии не менее одной точки в . Так заполняет пространство, но его точки никогда не подходят слишком близко друг к другу. Чтобы это было правдой, должно быть бесконечным. Кроме того, множество симметричен (в смысле, необходимом для определения плезиоэдра), если для каждых двух точек и из , существует жесткое движение места, которое занимает к и к . То есть симметрии действовать транзитивно на .[1]

В Диаграмма Вороного любого набора точек разбивает пространство на области, называемые ячейками Вороного, которые ближе к одной заданной точке чем к любому другому. Когда - множество Делоне, ячейка Вороного каждой точки в это выпуклый многогранник. Грани этого многогранника лежат на плоскостях, которые перпендикулярно делят пополам отрезки прямых от в другие близлежащие точки .[2]

Когда симметричен так же, как и Делоне, клетки Вороного должны быть конгруэнтный друг к другу, для симметрии также должны быть симметриями диаграммы Вороного. В этом случае диаграмма Вороного образует соты в котором есть только один прототип shape, форма этих ячеек Вороного. Эта форма называется плезиоэдром. Сгенерированный таким образом тайлинг равен равногранный, что означает, что у него есть не только один прототип («моноэдр»), но и любая копия этого тайла может быть перенесена в любую другую копию за счет симметрии тайла.[1]

Как и в любом многограннике, заполняющем пространство, Инвариант Дена плезиоэдра обязательно равен нулю.[3]

Примеры

Плезиоэдры включают пять параллелоэдры. Это многогранники, которые могут размещать мозаику в пространстве таким образом, чтобы каждая плитка была симметричной по отношению к любой другой плитке по трансляционной симметрии без вращения. Эквивалентно, это клетки Вороного решетки, так как это трансляционно-симметричные множества Делоне. Плезиоэдры - частный случай стереоэдры, прототипы изоэдральных мозаик в более общем смысле.[1] По этой причине (и поскольку диаграммы Вороного также известны как мозаики Дирихле) их также называли «стереоэдрами Дирихле».[4]

Комбинаторных типов плезиоэдров конечное число. Известные отдельные плезиоэдры включают:

Известно много других плезиоэдров. Кристаллограф Питер Энгель открыл два разных объекта с самым большим известным числом граней - 38.[1][9] В течение многих лет максимальное количество граней плезиоэдра было открытая проблема,[10][4]но анализ возможных симметрий трехмерного пространства показал, что это число не превышает 38.[11]

Клетки Вороного точек, равномерно расположенных на спираль заполняют пространство, конгруэнтны друг другу и могут иметь произвольно большое количество граней.[12] Однако точки на спирали не являются множеством Делоне, и их ячейки Вороного не являются ограниченными многогранниками.

Современный обзор дан Шмиттом.[11]

Рекомендации

  1. ^ а б c d е Грюнбаум, Бранко; Шепард, Г.С. (1980), «Плитки с конгруэнтными плитками», Бюллетень Американского математического общества, Новая серия, 3 (3): 951–973, Дои:10.1090 / S0273-0979-1980-14827-2, МИСТЕР  0585178.
  2. ^ Ауренхаммер, Франц (Сентябрь 1991 г.), «Диаграммы Вороного - обзор фундаментальной геометрической структуры данных», Опросы ACM Computing, 23 (3): 345–405, Дои:10.1145/116873.116880. См. Особенно раздел 1.2.1 «Регулярно размещаемые сайты», стр. 354–355.
  3. ^ Лагариас, Дж. К.; Моус, Д. (1995), "Многогранники, заполняющие и ножницы конгруэнтности », Дискретная и вычислительная геометрия, 13 (3–4): 573–583, Дои:10.1007 / BF02574064, МИСТЕР  1318797.
  4. ^ а б Сабариего, Пилар; Сантос, Франциско (2011), «О числе граней трехмерных стереоэдров Дирихле IV: четверть кубические группы», Beiträge zur Algebra und Geometrie, 52 (2): 237–263, arXiv:0708.2114, Дои:10.1007 / s13366-011-0010-5, МИСТЕР  2842627.
  5. ^ Эрдал, Р. М. (1999), "Зонотопы, определения и гипотеза Вороного о параллелоэдрах", Европейский журнал комбинаторики, 20 (6): 527–549, Дои:10.1006 / eujc.1999.0294, МИСТЕР  1703597. Вороной предположил, что все мозаики многомерных пространств сдвигами одного выпуклый многогранник комбинаторно эквивалентны мозаикам Вороного, и Эрдал доказывает это в частном случае зонотопы. Но, как он пишет (стр. 429), гипотеза Вороного о размерностях не более четырех была уже доказана Делоне. Для классификации трехмерных параллелоэдров на эти пять типов см. Грюнбаум и Шепард (1980).
  6. ^ Пью, Энтони (1976), "Плотноупакованные многогранники", Многогранники: визуальный подход, University of California Press, Беркли, Калифорния - Лондон, стр. 48–50, МИСТЕР  0451161.
  7. ^ Делоне, Б.Н.; Долбилин, Н.П .; Штогрин, М. И. (1978), "Комбинаторная и метрическая теория планигонов", Труды Математического института имени В. А. Стеклова, 148: 109–140, 275, МИСТЕР  0558946.
  8. ^ Шен, Алан Х. (июнь – июль 2008 г.), «На графике (10,3) -а» (PDF), Уведомления Американского математического общества, 55 (6): 663.
  9. ^ Энгель, Питер (1981), "Uber Wirkungsbereichsteilungen von kubischer Symmetrie", Zeitschrift für Kristallographie, Kristallgeometrie, Kristallphysik, Kristallchemie, 154 (3–4): 199–215, Bibcode:1981ZK .... 154..199E, Дои:10.1524 / zkri.1981.154.3-4.199, МИСТЕР  0598811.
  10. ^ Шепард, Г.С. (1985), "69.14. Заполнение пространства идентичными симметричными телами", Математический вестник, 69 (448): 117–120, Дои:10.2307/3616930, JSTOR  3616930.
  11. ^ а б Шмитт, Мориц (2016), О пространственных группах и стереоэдрах Дирихле-Вороного.
  12. ^ Эриксон, Джефф; Ким, Скотт (2003), "Произвольно большие соседние семейства конгруэнтных симметричных выпуклых 3-многогранников", Дискретная геометрия, Моногр. Учебники Pure Appl. Математика, 253, Деккер, Нью-Йорк, стр. 267–278, arXiv:математика / 0106095, Bibcode:2001математика ...... 6095E, МИСТЕР  2034721.

внешняя ссылка