Один современный подход основан на теории абстрактных многогранников. Их можно определить как частично упорядоченные множества, элементы которых являются вершины, ребра и грани многогранника. Элемент вершины или ребра меньше, чем элемент ребра или грани (в этом частичном), когда вершина или ребро является частью ребра или грани. Кроме того, можно создать специальный нижний элемент этого частичного порядка. Имеются частичные элементы между элементами на три уровня друг от друга (есть между каждой гранью и нижним элементом и между верхним элементом каждой вершины), что и абстрактное представление многоугольника, что частично упорядоченные множества несут ту же информацию, что и топологический многогранник. Они представляют собой абстрактное представление линейного сегмента между элементами на двух уровнях. (Это означает, что каждое ребро содержит вершины и принадлежит двум граням, каждая вершина на этой грани принадлежит двум ребрам грани.) Геометрические многогранники, другие способы, могут быть абстрактно таким образом, но это также возможно использовать абстрактные многогранники как основу определения геометрических многогранников. Реализацией абстрактного многогранника обычно считается вершин абстрактного многогранника в геометрических точках, так что точки каждой грани компланарны. Тогда геометрический многогранник можно определить как абстрактного многогранника. Также были реализованы требования, которые опускают требования планарности, которые налагают дополнительные требования, которые отображают вершины в пространстве более высокой размерности. В отличие от определений на основе твердого тела и поверхности, это отлично работает для звездных многогранников. Однако без дополнительных ограничений это определение позволяет вырождать или неверные многогранники (например, отображая все вершины в одну точку), и вопрос о том, как ограничить реализацию, чтобы избежать этих вырождений, не решен. 819>Во всех этих определениях многогранник обычно понимается как трехмерный пример более многогранника в любом количестве измерений. Например, многоугольник имеет двумерное тело и не имеет граней, а 4-многогранник имеет четырехмерное тело и дополнительный набор трехмерных «ячеек». Однако в некоторой литературе по многомерной геометрии обозначает «многогранник» обозначает определение: не трехмерный многогранник, а форму, которая чем-то отличается от многогранника. Например, в некоторых источниках выпуклый многогранник определяется как пересечение конечного числа полупространств, аогранник - как ограниченный многогранник. В оставшейся части статьи только трехмерные многогранники.Характеристики
Количество граней
Многогранники можно классифицировать, и их часто называют в соответствии с количеством граней. Система именования на классическом греческом языке, например тетраэдр (многогранник с четырьмя гранями), пентаэдр (пять граней), шестигранник (шесть граней), триаконтаэдр (30 граней) и т. Д.
Полный список префиксов греческих цифр см. В разделе Цифровой префикс § Таблица префиксов номеров на английском языке в столбце для греческих количественных чисел.
Топологические характеристики
Топологический класс многогранника определяется его эйлеровой характеристикой и ориентируемостью.
С этой точки зрения любую многогранную поверхность можно отнести к определенному типу топологического многообразия. Например, поверхность выпуклого или действительно любого односвязного многогранника является топологической сферой.
Эйлерова характеристика
Эйлерова характеристика χ связывает количество вершин V, ребер E и граней F многогранника:
Это равно топологической эйлеровой характеристике его поверхности. Для выпуклого многогранника или, в более общем смысле, любого односвязного многогранника на поверхности в виде топологической сферы χ = 2. Для более сложных форм характеристик Эйлера занимается с помощью тороидальных отверстий, ручек или креста. -заголовок на поверхности и будет меньше 2.
Ориентируемость
Самопересекающийся многогранник бутылка Клейна с четырехугольными гранями Некоторые многогранники имеют две разные стороны их поверхности. Например, внутренняя и внешняя стороны бумажной модели выпуклого многогранника могут быть окрашены в разные цвета (хотя внутренний цвет будет скрыт от просмотра). Эти многогранники ориентируемы. То же верно и для невыпуклых многогранников без самопересечений. Некоторые невыпуклые самопересекающиеся многогранники могут раскрасить таким же образом, но в них есть области, вывернутые наизнанку, так что оба цвета появляются снаружи в разных местах; они все еще считаются ориентируемыми.
Но для некоторых самопересекающихся многогранников с простыми многоугольными гранями, таких как тетрагемигексаэдр, невозможно раскрасить две стороны каждой грани двумя разными цветами, чтобы одинаковые лица имеют одинаковые цвета. В этом случае говорят, что многогранник односторонний или неориентируемый. Для многогранников с самопересекающимися гранями могут быть непонятно, что означает последовательная история событий, но для этих многогранников все еще можно, ориентиры ли они или неориентируемы, рассматривая топологическую ячейку сложный с одинаковыми случаями между его вершинами, ребрами и гранями.
Все многогранники с нечетной эйлеровой характеристикой χ неориентируемы. У данной фигуры с четным χ < 2 may or may not be orientable. For example, the one-holed тороид и бутылки Клейна χ = 0, причем первая ориентируема, а другая нет.
Двойственность
Октаэдр двойственен кубу Для каждого выпуклого многогранника существует двойной многогранник, имеющий
- грани вместо вершин оригинала и наоборот, и
- такое же количество ребер.
Двойник выпуклого многогранника может быть получен процесс полярного возвратно-поступательного движения. Двойственные многогранники существуют попарно, и двойной многогранник снова является исходным многогранником. Некоторые многогранники самодвойственны, что означает, что означает многогранный многогранник конгруэнтен исходному многограннику.
Абстрактные многогранники также имеют двойственные, которые, кроме того, удовлетворяют тем же эйлеровым характеристикам и критериям, что и исходный многогранник.. Однако эта форма двойственности имеет форму двойного многогранника, а только его комбинаторную структуру. Для некоторых определений невыпуклых геометрических многогранников существуют многогранники, абстрактные двойники, которые не могут быть реализованы как геометрические многогранники при том же определении.
Фигуры вершин
Для каждой вершины можно определить фигуру вершины, которая входит в локальную структуру многогранника вокруг вершины. Точные определения различаются, но фигуру вершины можно рассматривать как многоугольник, открытый там, где разрез многогранника отсекает угол. Если фигура вершины - это правильный многоугольник, то сама вершина называется правильной.
Объем
Многогранные твердые тела имеют связанный, называемый объем, которая измеряет, сколько места они занимают. Простые системы твердых тел могут иметь простые формулы для своих систем; например, объемы, призм и параллелепипедов можно легко выразить через их длину ребер или другие пирамиды. (См. Объем § Формулы формулы для списка, который включает многие из этих формул.)
Объемы более сложных многогранников могут иметь простые формул. Объемы таких многогранников можно вычислить, разделив многогранник на более мелкие части (например, с помощью триангуляции ). Например, объем правильного многогранника можно вычислить, разделить его на конгруэнтные пирамиды, причем каждая пирамида имеет роль многогранника в основании и центр многогранника как его вершина.
В общем, из теоремы о расходимости можно вывести, что объем многогранного твердого тела определен как 
, где сумма берется по граням F многогранника, Q F - произвольная точка на грани F, N F - единичный вектор перпендикуляр на F, указывающий за пределы твердого тела, а точка умножения - это скалярное произведение. Выполнение решения может быть затруднено, вычисление объема может быть затруднено, и, следовательно, существуют специализированные алгоритмы для выполнения множества из них обобщенных на выпуклые многогранники в более высоких качествах).
инвариант Дена
В двух измеренийх теорема Больяи - Гервиена утверждает, что любой многоугольник может быть преобразован в любой другой многоугольник той же площади путем разрезания его на конечное количество многоугольных частей и переставляя их. Аналогичный вопрос для многогранников был предметом третьей проблемы Гильберта. Макс Ден решил эту проблему, показав, что, в отличие от двумерного случая, существуют многогранники одного и того же объема, которые нельзя разрезать на более мелкие многогранники и снова собрать друг в друга. Чтобы доказать это, Ден открыл другое значение, связанное с многогранником, инвариант Дена, такое, что два многогранника могут быть разрезаны друг на друга, только если они имеют одинаковый объем и одинаковый инвариант Дена. Позже Сидлер доказал, что это единственное препятствие для разрезания: каждые два евклидовых многогранника с одинаковыми объемами и инвариантами Дена можно разрезать и собрать друг в друга. Инвариант Дена - это не число, а вектор в бесконечномерном векторном пространстве.
Другая проблема Гильберта, 18-я проблема Гильберта, касается (среди прочего вещи) многогранники, которые тайловое пространство. Каждый такой многогранник должен иметь нулевой инвариант Дена. Инвариант Дена также предположительно был связан с изгибаемыми многогранниками с помощью сильной гипотезы сильфона, которая утверждает, что инвариант Дена любого изгибаемого многогранника должен оставаться инвариантом при изгибе.
Выпуклые многогранники
Блоки выпуклых многогранников, представленные в музее Universum в Мехико Трехмерное тело - это выпуклое множество, если оно содержит каждый отрезок линии, соединяющий две его точки. Выпуклый многогранник - это многогранник, который как твердое тело образует выпуклое множество. Выпуклый многогранник также можно определить как ограниченное пересечение конечного числа полупространств или как выпуклую оболочку конечного числа точек.
Важные классы выпуклых многогранников включают высокосимметричные Платоновы тела, Архимедовы тела и их двойники Каталонские тела и правильные- граненые тела Джонсона.
Симметрии
Воспроизвести медиа Некоторые многогранники, вращающиеся вокруг симметричной оси (на Matemateca IME-USP )Многие из наиболее изученных многогранников в высшей степени симметричны, то есть их внешний вид не изменяется из-за отражения или вращения пространства.Каждая такая симметрия может изменять положение данной вершины, грани или ребра, но набор всех вершин (также как грани, ребра) не изменяется. Совокупность симметрий многогранника называется его группой симметрии.
. Все элементы, которые могут накладываться друг на друга с помощью симметрий, образуют орбиту симметрии. Например, все грани куба лежат на одной орбите, а все ребра лежат на другой. Если все элементы данного измерения, скажем, все грани, лежат в одной орб ите t, фигура на этой орбите называется транзитивной. Например, куб является гранно-транзитивным, а усеченный куб имеет две орбиты симметрии граней.
Одна и та же абстрактная структура может поддерживать более или менее симметричные геометрические многогранники. Но если дано имя многогранника, например икосододекаэдр, почти всегда подразумевается наиболее симметричная геометрия, если не указано иное.
Существует несколько типов высокосимметричных многогранников, классифицируемых по типу элементов - граней, ребер или вершин - принадлежат одной орбите симметрии:
- Обычный : транзитивный по вершинам, транзитивный по ребру и транзитивный по граням. (Это означает, что каждая грань является одним и тем же правильным многоугольником ; это также означает, что каждая вершина регулярна.)
- Квазирегулярный : вершинно-транзитивный и реберный транзитивный (и, следовательно, имеет регулярный лиц), но не транзитивно по граням. Квазирегулярный двойник является гранно-транзитивным и реберно-транзитивным (и, следовательно, каждая вершина является регулярным), но не вершинно-транзитивным.
- Полурегулярным : вершинно-транзитивным, но не реберно-транзитивным правильный многоугольник. (Это одно из нескольких определений термина, в зависимости от автора. Некоторые определения частично совпадают с квазирегулярным классом.) Эти многогранники включают полуправильные призмы и антипризмы. Полурегулярный двойственный грань транзитивен, но не вершинно-транзитивен, и каждая вершина регулярна.
- Uniform : вершинно-транзитивная и каждая грань является правильным многоугольником, т. Е. Правильная, квазирегулярная или полурегулярный. Равномерный двойственный элемент является гранно-транзитивным и имеет правильные вершины, но не обязательно вершинно-транзитивным.
- Изогональный : вершинно-транзитивный.
- Изотоксальный : реберно-транзитивный.
- Изогональный : транзитивно по граням.
- Благородный : транзитивно по граням и по вершинам (но не обязательно по ребрам). Правильные многогранники тоже благородны; они единственные благородные однородные многогранники. Двойники благородных многогранников сами по себе благородны.
Некоторые классы многогранников имеют только одну главную ось симметрии. К ним относятся пирамиды, бипирамиды, трапеции, купола, а также полуправильные призмы и антипризмы.
Правильные многогранники
Правильные многогранники являются наиболее симметричными. Всего правильных многогранников девять: пять выпуклых и четыре звездчатых.
Пять выпуклых примеров известны с древности и называются Платоновыми телами. Это треугольная пирамида или тетраэдр, куб, октаэдр, додекаэдр и икосаэдр :
. звездные многогранники, известные как многогранники Кеплера – Пуансо в честь их первооткрывателей.
Двойник правильного многогранника также правильный.
Однородные многогранники и их двойники
Однородные многогранники вершинно-транзитивные, и каждая грань является правильным многоугольником. Они могут быть подразделены на обычные, квазирегулярные или полурегулярные и могут быть выпуклыми или звездчатыми.
Двойники однородных многогранников имеют неправильные грани, но являются гранно-транзитивными, и каждая вершинная фигура является правильным многоугольником. Однородный многогранник имеет те же орбиты симметрии, что и его двойственный, с просто переставленными поверхностями граней и вершин. Двойные к выпуклым архимедовым многогранникам иногда называют каталонскими телами.
Однородные многогранники и двойственные к ним традиционно классифицируются в зависимости от их степени симметрии и того, являются ли они выпуклыми или нет.
Изоэдры
Изоэдр - это многогранник с симметриями, действующими транзитивно на его гранях. Их топология может быть представлена конфигурацией лица . Все 5 Платоновых тел и 13 Каталонских тел являются изоэдрами, а также бесконечные семейства трапеций и бипирамид. Некоторые изоэдры допускают геометрические вариации, включая вогнутые и самопересекающиеся формы.
Группы симметрии
Полная икосаэдрическая симметрия делит сферу на 120 треугольных областей. Многие из симметрий или точечных групп в трех измерениях названы в честь многогранники, обладающие соответствующей симметрией. К ним относятся:
Те, у кого киральная симметрия, не имеют симметрии отражения и, следовательно, имеют две энантиоморфные формы, которые являются отражением друг друга. Примеры включают курносый кубооктаэдр и курносый икосододекаэдр.
Другие важные семейства многогранников
Многогранники с правильными гранями
Помимо правильных и однородных многогранников, существуют некоторые другие классы, которые имеют правильные грани, но более низкую общую симметрию.
Равные правильные грани
Выпуклые многогранники, каждая из которых представляет собой правильный тип многоугольника, могут быть найдены среди трех семейств:
- Треугольники: эти многогранники называются дельтаэдрами. Существует восемь выпуклых дельтаэдров: три платоновых тела и пять неоднородных примеров.
- Квадраты: куб - единственный выпуклый пример. Другие примеры (поликубы ) могут быть получены путем соединения кубов вместе, хотя следует соблюдать осторожность, если нужно избегать копланарных граней.
- Пентагоны: правильный додекаэдр - единственный выпуклый пример.
Многогранники с конгруэнтными правильными гранями из шести или более сторон не являются выпуклыми.
Таким образом, общее количество выпуклых многогранников с равными правильными гранями равно десяти: пять Платоновых тел и пять неоднородных дельтаэдров. Невыпуклых примеров бесконечно много. Бесконечные губчатые примеры, называемые бесконечными косыми многогранниками, существуют в некоторых из этих семейств.
Тела Джонсона
Норман Джонсон искал, какие выпуклые неоднородные многогранники имеют правильные грани, хотя не обязательно все одинаковые. В 1966 году он опубликовал список из 92 таких твердых тел, дал им имена и номера и предположил, что других не существует. Виктор Залгаллер доказал в 1969 году, что список этих твердых тел Джонсона был полным.
Пирамиды
Пирамиды включают некоторые из наиболее освященных веками и известных из всех многогранников, такие как четырехсторонние египетские пирамиды.
Звездчатые и фасеточные
Звездчатость многогранника - это процесс расширения граней (в пределах их плоскостей) так, чтобы они встречались и образовывали новый многогранник.
Это точная обратная связь с процессом фасетирования, который представляет собой процесс удаления частей многогранника без создания новых вершин.
На рисунках ниже показаны некоторые звездчатые формы правильного октаэдра, додекаэдра и икосаэдра.
Зоноэдры
Зоноэдр - это выпуклый многогранник, каждая грань которого представляет собой многоугольник, симметричный относительно поворотов на 180 °. Зоноэдры также можно охарактеризовать как суммы Минковского отрезков прямых и включают несколько важных многогранников, заполняющих пространство.
Тороидальные многогранники
Тороидальный многогранник - это многогранник, эйлерова характеристика меньше или равна 0, или, что эквивалентно, род которой равен 1 или больше. Топологически поверхности таких многогранников представляют собой поверхности тора , имеющие одно или несколько отверстий в середине.
Многогранник, заполняющий пространство
Многогранник, заполняющий пространство, упаковывается своими копиями, заполняя пространство. Такую плотную упаковку или заполнение пространства часто называют мозаикой пространства или сотами. Заполняющие пространство многогранники должны иметь инвариант Дена, равный нулю. Некоторые соты содержат более одного вида многогранников.
Решетчатые многогранники
Выпуклый многогранник, в котором все вершины имеют целочисленные координаты, называется решетчатым многогранником или целым многогранником. Многочлен Эрхарта для решетчатого многогранника подсчитывает, сколько точек с целыми координатами лежит в масштабированной копии многогранника в зависимости от масштабного коэффициента. Изучение этих многочленов лежит на пересечении комбинаторики и коммутативной алгебры.
Гибкие многогранники
Некоторые многогранники могут изменять свою общую форму, сохраняя при этом формы. их граней одинаковыми, изменяя углы их краев. Многогранник, который может это сделать, называется изгибаемым многогранником. По теореме Коши о жесткости изгибаемые многогранники должны быть невыпуклыми. Объем гибкого многогранника должен оставаться постоянным при изгибе; этот результат известен как теорема сильфона.
Соединения
Полиэдрическое соединение состоит из двух или более многогранников, имеющих общий центр. Симметричные соединения часто имеют те же вершины, что и другие хорошо известные многогранники, и часто также могут быть образованы звёздчатой формой. Некоторые из них перечислены в списке моделей многогранников Веннингера.
Ортогональные многогранники
Ортогональный многогранник - это такой многогранник, все грани которого пересекаются под прямыми углами, и все ребра параллельно осям декартовой системы координат. (Икосаэдр Джессена представляет собой пример многогранника, удовлетворяющего одному, но не обоим этим двум условиям.) Помимо прямоугольных прямоугольников , ортогональные многогранники невыпуклые. Они являются трехмерными аналогами двумерных ортогональных многоугольников, также известных как прямолинейные многоугольники. Ортогональные многогранники используются в вычислительной геометрии, где их ограниченная структура позволила продвинуться в решении проблем, нерешенных для произвольных многогранников, например, развернуть поверхность многогранника в многоугольную сеть.
Обобщения многогранников
Название «многогранник» стало использоваться для обозначения множества объектов, имеющих структурные свойства, аналогичные традиционным многогранникам.
Апейроэдры
Классическая многогранная поверхность имеет конечное количество граней, попарно соединенных по ребрам. апейроэдры образуют связанный класс объектов с бесконечным числом граней. Примеры апейроэдров включают:
- мозаики или мозаики плоскости и
- губчатые структуры, называемые бесконечными косыми многогранниками.
сложными многогранниками
Существуют объекты, называемые сложными многогранниками, для которых основное пространство представляет собой сложное гильбертово пространство, а не реальное евклидово пространство. Точные определения существуют только для правильных комплексных многогранников, группы симметрии которых являются комплексными группами отражений. Сложные многогранники математически более тесно связаны с конфигурациями, чем с реальными многогранниками.
Изогнутые многогранники
В некоторых областях исследований многогранники могут иметь изогнутые грани и ребра. Изогнутые грани могут допускать существование двуугольных граней с положительной площадью.
Сферические многогранники
Когда поверхность сферы делится на конечное число больших дуг (эквивалентно, плоскостями, проходящими через центр сферы), результатом является называется сферическим многогранником. Многие выпуклые многогранники, обладающие некоторой степенью симметрии (например, все Платоновы тела), могут быть спроецированы на поверхность концентрической сферы, чтобы образовать сферический многогранник. Однако обратный процесс не всегда возможен; some spherical polyhedra (such as the hosohedra ) have no flat-faced analogue.
Curved spacefilling polyhedra
If faces are allowed to be concave as well as convex, adjacent faces may be made to meet together with no gap. Some of these curved polyhedra can pack together to fill space. Two important types are:
- Bubbles in froths and foams, such as Weaire-Phelan bubbles.
- Forms used in architecture.
Ideal polyhedra
Convex polyhedra can be defined in three-dimensional hyperbolic space in the same way as in Euclidean space, as the convex hulls of finite sets of points. However, in hyperbolic space, it is also possible to consider ideal points as well as the points that lie within the space. An ideal polyhedron is the convex hull of a finite set of ideal points. Its faces are ideal polygons, but its edges are defined by entire hyperbolic lines rather than line segments, and its vertices (the ideal points of which it is the convex hull) do not lie within the hyperbolic space.
Skeletons and polyhedra as graphs
By forgetting the face structure, any polyhedron gives rise to a graph, called its skeleton, with corresponding vertices and edges. Such figures have a long history: Leonardo da Vinci devised frame models of the regular solids, which he drew for Pacioli 's book Divina Proportione, and similar wire-frame polyhedra appear in M.C. Escher 's print Stars. One highlight of this approach is Steinitz's theorem, which gives a purely graph-theoretic characterization of the skeletons of convex polyhedra: it states that the skeleton of every convex polyhedron is a 3-connected planar graph, а каждый 3-связный плоский граф является остовом некоторого выпуклого многогранника.
Ранняя идея абстрактных многогранников была развита в исследовании Бранко Грюнбаума «многогранников с полыми гранями». Грюнбаум определил грани как циклически упорядоченные наборы вершин и позволил им быть наклонными, а также плоскими.
Перспектива графа позволяет применять терминологию графа и свойства многогранникам. Например, тетраэдр и многогранник Часара - единственные известные многогранники, остов которых являются полными графами (K4), а различные ограничения симметрии многогранников приводят к появлению остовов, которые являются симметричными графами.
Альтернативные употребления
Со второй половины двадцатого века было обнаружено, что различные математические конструкции обладают свойствами, также присутствующими в традиционных многогранниках. Вместо того чтобы ограничивать термин «многогранник» для описания трехмерного многогранника, он был принят для описания различных родственных, но различных видов структур.
многомерные многогранники
Многогранник был определен как набор точек в вещественном аффинном (или евклидовом ) пространство любой размерности n, имеющее плоские стороны. В качестве альтернативы его можно определить как пересечение конечного числа полупространств. В отличие от обычного многогранника, он может быть ограниченным или неограниченным. В этом смысле многогранник является ограниченным многогранником.
Аналитически такой выпуклый многогранник выражается как множество решений системы линейных неравенств. Такое определение многогранников обеспечивает геометрическую перспективу для задач линейного программирования. Многие традиционные многогранные формы в этом смысле являются многогранниками. Другие примеры включают:
- Квадрант в плоскости. Например, область декартовой плоскости, состоящая из всех точек над горизонтальной осью и справа от вертикальной оси: {(x, y): x ≥ 0, y ≥ 0}. Его стороны являются двумя положительными осями, и в противном случае он не ограничен.
- Октант в евклидовом 3-пространстве, {(x, y, z): x ≥ 0, y ≥ 0, z ≥ 0}.
- Бесконечная призма. Например, дважды бесконечная квадратная призма в 3-м пространстве, состоящая из квадрата в плоскости xy, перемещенной вдоль оси z: {(x, y, z): 0 ≤ x ≤ 1, 0 ≤ y ≤ 1}.
- Каждая ячейка в мозаике Вороного Элемент - выпуклый многогранник. В мозаике Вороного множества S клетка A, соответствующая точка c ∈ S, ограничена (следовательно, многогранник), когда c лежит в внутренней выпуклой оболочке числа S, и в противном случае (когда c лежит на границе выпуклой оболочки S) Без ограничений.
Топологические многогранники
Топологический многогранник - это топологическое пространство, заданное вместе с конкретным разложение на формы, топологически эквивалентные выпуклым многогранникам и прикрепленные друг к другу обычным образом.
Такая фигура называется симплициальной, если каждая из ее областей является симплексом, т.е. в n-мерном пространстве каждая область имеет n + 1 вершину. Двойник симплициального многогранника называется простым. Точно так же широко изучаемый класс многогранников (многогранников) - это класс кубических многогранников, когда основным строительным блоком является n-мерный куб.
Абстрактные многогранники
абстрактный многогранник - это частично упорядоченный набор (poset), частичное упорядочение которых подчиняется определенным правилам инцидентности (связности) и рейтинг. Элементы соответствуют вершинам, ребрам, граням и так далее многогранника: вершины имеют ранг 0, ребра ранга 1 и т. Д. С частично упорядоченным рангом, размер геометрических элементов. Пустое множество, имеет ранг -1 и, как иногда говорят, соответствует нулевому многограннику. Абстрактный многогранник - это абстрактный многогранник, имеющий следующий ранг:
- ранг 3: максимальный элемент, иногда отождествляемый с телом.
- ранг 2: многоугольные грани.
- ранг 1: Ребра.
- ранг 0: вершины.
- ранг -1: иногда идентифицируемое с нулевым многогранником или нулевым многогранником.
Тогда любой геометрический многогранник «реализация» называется абстрактного позета, как описано выше.
История
Древнее
- Предыстория
Многогранники появились в древней форме архитектурныхх, таких как кубы и кубоиды, с самыми ранними четырехграннымимидами древних Египет тоже датируется каменным веком.
этруски предшествовали грекам в их понимании по крайней мере правильных многогранников, о чем свидетельствует открытие этрусского додекаэдра изготовлен из мыльного камня на Монте-Лоффа. На его качестве гранях были нанесены различные рисунки, что наводит на мысль, что он мог сообщить в игровой кости.
- Греческая цивилизация
Самые ранние известные письменные упоминания об этих формах исходят от классических греческих авторов, который также дал им первое известное математическое описание. Более ранние греки интересовались в первую очередь выпуклыми правильными многогранниками, которые стали известны как Платоновы тела. Пифагор знал по крайней мере трех из них, а Теэтет (около 417 г. до н.э.) описал все пять. В конце концов, Евклид описал их конструкцию в своих Элементах. Позже Архимед расширил свои исследования до выпуклых однородных многогранников, которые теперь носят его имя. Его оригинальная работа утеряна, и его твердые тела дошли до нас через Папп.
- Китай
Кубические игровые кубики в Китае были датированы 600 г. до н.э.
236 г. н.э. Лю Хуэй описывал разделение куба на его характерный тетраэдр (орто-схему) и связанные с ним твердые тела, используя совокупность этих твердых тел в качестве основы для системы земли, перемещению во время инженерных раскопок.
- Исламская цивилизация
После окончания классической эпохи исламской цивилизации продолжали продвигать греческие знания вперед (см. Математика в средневековом исламе ).
Ученый 9 века Табит ибн Курра дал формулы для системы измерений многогранников, таких как усеченные пирамиды.
Затем, в 10 Абу'л Вафа описал выпуклые правильные и квазирегулярные сферические сферические сферические системы.
Ренессанс
Как и в других областях греческой мысли, поддерживаемых и расширяемых исламскими учеными, интерес Запада к многогранникам возродился во время итальянского Ренессанса. Художники конструировали скелетные многогранники, изображая их с натуры, в рамках своих исследований перспективы. Некоторые появляются в панелях маркетри того периода. Пьеро делла Франческа первое письменное описание прямого геометрического построения таких перспективных видов многогранников. Леонардо да Винчи сделал скелетные модели нескольких многогранников и нарисовал их иллюстрации для книги Пачоли. На картине анонимного художника Пачоли и ученика изображен стакан ромбокубооктаэдр, наполовину заполненный водой.
Ризенессанс распространился за пределы Италии, более поздние художники, такие как Венцель Ямницер, Дюрер и другие, также изображали многогранники различных видов, многие из которых были новыми, в художественных офортах.
Звездные многогранники
В течение почти 2000 лет концепция многогранника как выпуклого тела оставалась в том виде, в каком ее разработали древнегреческие математики.
В эпоху Возрождения были обнаружены звездные формы. Мраморная тарсия на полу Св. Базилика Марка, Венеция, изображает звездчатый додекаэдр. Такие художники, как Венцель Ямницер, любили изображать новые звездообразные формы возрастающей сложности.
Иоганн Кеплер (1571–1630) использовал звездные многоугольники, обычно пентаграммы, для построения звездных многогранников. Некоторые из этих фигур могли быть открыты до времени Кеплера, но он был первым, кто осознал, что они считаться «правильными», если снять ограничение, согласно которым правильные многогранники должны быть выпуклыми. Позже Луи Пуансо понял, что звезды вершинные фигуры (контуры вокруг каждого угла) также можно использовать, и обнаружил оставшиеся два правильных звездных многогранника. Коши доказал, что список Пуансо полон, и Кэли дал им их общепринятые английские английские названия: (Кеплера) малый звездчатый додекаэдр и большой звездчатый додекаэдр, и (Пуансо) большой икосаэдр и большой додекаэдр. В совокупности они называются многогранниками Кеплера - Пуансо.
Многогранники Кеплера - Пуансо могут быть построены из платоновых тел с помощью процесса, называемого звездностью. Большинство звездчатых фигур нерегулярны. Большой толчок изучению звездчатых тел Платоновых тел дал Х.С.М. Кокстером и другими в 1938 году, с известной теперь работой 59 икосаэдров.
Обратный процесс звездчатости называется фасетированием (или фасетированием). Каждая звёздчатость одного многогранника двойственна или обратна некоторой фасетке двойственного многогранника. Правильные звездчатые многогранники также могут быть получены огранки Платоновых тел. Бридж (1974) перечислил более простые фасетки додекаэдра и, изменив их, обнаружил звёздчатую форму икосаэдра, отсутствовала в наборе «59». С тех пор было обнаружено больше, и история еще не закончена.
Формула и топология Эйлера
Два других современных математических открытия оказали глубокое влияние на теорию многогранников.
В 1750 году Леонард Эйлер впервые рассмотрел ребра многогранника, что позволяет ему открыть свою формулуогранника, связывающую количество вершин, ребер и граней. Это означало рождение топологии, иногда называемой «геометрией резинового листа», и Анри Пуанкаре развил свои основные идеи примерно в конце девятнадцатого века. Это разрешить многие давние вопросы о том, что является многогранником, а что нет.
Макс Брюкнер обобщил работы по многогранникам на сегодняшний день, включая многочисленные собственные открытия, в своей книге «Vielecke und Vielflache: Theorie und Geschichte» (Многоугольники и многогранники: теория и история). Изданный на немецком языке в 1900 году, он оставался малоизвестным.
Между тем открытие высших измерений привело к трехмерному примеру общего многогранника.
Возрождение двадцатого века
К началу двадцатого века математики продвинулись вперед, а геометрия была малоизучена. Анализ Кокстера в «Пятьдесят девять икосаэдров» представил современные идеи из теории графов и комбинаторики в изучении многогранников, что свидетельствует о возрождении интереса к геометрии.
Сам Коксетер впервые перечислил однородные звездные многогранники, стал рассматривать мозаики плоскости как многогранники, открыл правильные косые косые многогранники и развил теорию сложные многогранники, впервые обнаруженные Шепардом в 1952 году, а также внесшие фундаментальный вклад во многие другие области геометрии.
Во второй половине двадцатого века Грюнбаум опубликовал важные работы в двух областях. Один был в выпуклых многогранниках, где он отмечал оценку математиков «многогранник» разными, а иногда и несовместимыми способами, чтобы удовлетворить потребности момента. Другой был цикл работ, расширявших общепринятое определение многогранника, например, открывавших много новых правильных многогранников. В конце 20-го века эти последние идеи слились с другими работами, чтобы создать современную идею абстрактного многогранника (как абстрактного 3-многогранника), в частности, представленную Макмалленом и Шульте.
В природе
О естественных встречах правильных многогранников см. Правильный многогранник § Правильные многогранники в природе.
Неправильные многогранники в природе появляются в виде кристаллов.
См. Также
Ссылки
Примечания
Источники
Внешние ссылки
 | Поищите polyhedron в Викисловаре, бесплатном месте. |
Общая теория
Списки и базы данных многогранников
Бесплатное программное обеспечение
- Множество многогранников - интерактивная и бесплатная многогранников на Java. Возможности включают в себя сети, плоские сечения, двойники, усечения и звёздчатые формы из более чем 300 многогранников.
- Слайсер гиперпространственного звездного многогранника - Java-апплет Explorer, включает в себя множество опций для 3D-просмотра.
- openSCAD - Бесплатно кроссплатформенное программное обеспечение для программистов. Многогранники - это лишь одна из вещей, которые вы можете моделировать. Также доступно руководство пользователя openSCAD.
- OpenVolumeMesh - кроссплатформенная библиотека C ++ с открытым исходным кодом для работы с многогранными сетками. Разработано Aachen Computer Graphics Group, RWTH Aachen University.
- Polyhedronisme - Веб-инструмент для создания моделей многогранников с использованием нотации многогранников Конвея. Модели можно экспортировать как 2D-изображения PNG или как файлы 3D OBJ или VRML2. 3D-файлы можно открывать в программном пакете САПР или загружать для 3D-печати на таких сервисах, как Shapeways.
Ресурсы для создания физических моделей
- Бумажные модели многогранников Свободные сети из многогранников
- Простые инструкции для построения более 30 бумажных многогранников
- Многогранники, сплетенные из бумажных полосок - Модели многогранников, построенные без использования клея.
- Принять многогранник - Интерактивное отображение, сети и данные 3D-принтера для всех комбинаторных типов многогранников с числом вершин до девяти.
Последняя правка сделана 2021-06-02 10:32:19
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
. Правильный тетраэдр 
. Малый звездчатый додекаэдр 
. Икозододекаэдр 
. Большой кубокубоктаэдр 
. Ромбический триаконтаэдр8 
Скелетный многогранник (в частности, 
Самопересекающийся многогранник 
Октаэдр двойственен кубу 
Блоки выпуклых многогранников, представленные в 
Полная 
