В геометрии тороидальный многогранник — это многогранник , который также является тороидом ( тором с g -дыркой ), имеющим топологический род ( g ) 1 или больше. Известные примеры включают многогранники Часара и Силасси .
Тороидальные многогранники определяются как наборы многоугольников , которые встречаются на своих ребрах и вершинах, образуя многообразие , как они это делают. То есть, каждое ребро должно быть общим для ровно двух многоугольников, и в каждой вершине ребра и грани, которые встречаются в вершине, должны быть связаны вместе в один цикл чередующихся ребер и граней, связь вершины. Для тороидальных многогранников это многообразие является ориентируемой поверхностью . [1] Некоторые авторы ограничивают фразу «тороидальные многогранники», чтобы означать более конкретно многогранники, топологически эквивалентные (роду 1) тору . [ 2]
В этой области важно различать вложенные тороидальные многогранники, грани которых представляют собой плоские многоугольники в трехмерном евклидовом пространстве , которые не пересекают ни себя, ни друг друга, от абстрактных многогранников , топологических поверхностей без какой-либо определенной геометрической реализации. [3] Промежуточное положение между этими двумя крайностями занимают многогранники, образованные геометрическими многоугольниками или звездчатыми многоугольниками в евклидовом пространстве, которым разрешено пересекать друг друга.
Во всех этих случаях тороидальная природа многогранника может быть проверена его ориентируемостью и его эйлеровой характеристикой , которая неположительна. Эйлерова характеристика обобщается до V − E + F = 2 − 2 g , где g — его топологический род.
Двумя простейшими возможными вложенными тороидальными многогранниками являются многогранники Часара и Силасси.
Многогранник Часара — это тороидальный многогранник с семью вершинами, 21 ребром и 14 треугольными гранями. [6] Он и тетраэдр — единственные известные многогранники, в которых каждый возможный отрезок прямой, соединяющий две вершины, образует ребро многогранника. [7] Его двойственный многогранник, многогранник Силасси , имеет семь шестиугольных граней, которые все смежны друг с другом, [8] таким образом, обеспечивая существование половины теоремы о том, что максимальное число цветов, необходимых для карты на торе (рода один), равно семи. [9]
Многогранник Часара имеет наименьшее количество вершин среди всех вложенных тороидальных многогранников, а многогранник Силасси имеет наименьшее количество граней среди всех вложенных тороидальных многогранников.
Тороидальный дельтаэдр был описан Джоном Х. Конвеем в 1997 году, содержащим 18 вершин и 36 граней. Некоторые смежные грани являются копланарными . Конвей предположил, что это должен быть дельтаэдрический тороид с наименьшим количеством возможных граней. [10]
Специальная категория тороидальных многогранников строится исключительно из правильных многоугольных граней , без пересечений и с дополнительным ограничением, что смежные грани не могут лежать в одной плоскости друг с другом. Они называются тороидами Стюарта [11], названными в честь Бонни Стюарт , которая их интенсивно изучала. [12] Они аналогичны телам Джонсона в случае выпуклых многогранников ; однако, в отличие от тел Джонсона, существует бесконечно много тороидов Стюарта. [13] Они включают также тороидальные дельтаэдры , многогранники, все грани которых являются равносторонними треугольниками.
Ограниченный класс тороидов Стюарта, также определенных Стюартом, — это квазивыпуклые тороидальные многогранники . Это тороиды Стюарта, которые включают все ребра своих выпуклых оболочек . Для такого многогранника каждая грань выпуклой оболочки либо лежит на поверхности тороида, либо является многоугольником, все ребра которого лежат на поверхности тороида. [14]
Многогранник, образованный системой пересекающихся многоугольников, соответствует абстрактному топологическому многообразию, образованному его многоугольниками и их системой общих ребер и вершин, и род многогранника может быть определен из этого абстрактного многообразия. Примерами являются октагемиоктаэдр рода 1, малый кубокубооктаэдр рода 3 и большой додекаэдр рода 4 .
Коронный многогранник или стефаноид — это тороидальный многогранник, который также является благородным , будучи как изогональным (равные вершины), так и изоэдральным (равные грани). Коронные многогранники являются самопересекающимися и топологически самодвойственными . [15]