Выпуклый многогранник

Выпуклый многогранник — многогранник, являющийся выпуклым множеством. Это основное понятие в задачах линейного программирования.

Выпуклый многогранник определяется как выпуклая оболочка конечного числа точек в евклидовом пространстве.

• Выпуклый многогранник называется невырожденным или телесным, если он имеет внутренние точки.

• Гранью выпуклого многогранника является пересечение многогранника полупространством
  , при котором никакая внутренняя точка многогранника не лежит на границе полупространства.
  • 0-мерные грани называются вершинами,
  • 1-мерные грани называются рёбрами.

• n-мерный телесный многогранник называется простым, если в каждой его вершине сходится ровно n рёбер.
  • Например,
    додекаэдр
    являются простыми.

• Два многогранника называются комбинаторно изоморфными, если их решётки граней изоморфны.

• Граф многогранника — граф, образованный его вершинами и рёбрами, все грани больших размерностей игнорируются.

• Задание многогранника через гиперплоскости граней называется H-представлением.
• Задание многогранника как выпуклую оболочку его вершин называется V-представлением.

• Много примеров ограниченных выпуклых многогранников можно найти в статье «многогранник».
• В двухмерном пространстве примерами телесных многогранников будут полуплоскость, лента между двумя параллельными прямыми, угол (пересечение двух непараллельных полуплоскостей), фигура, задаваемая выпуклой ломаной с двумя лучами, присоединёнными к концам, и выпуклый многоугольник.
• Специальными случаями неограниченных выпуклых многогранников является пластина между двумя параллельными гиперплоскостями, клин между двумя непараллельными полупространствами, цилиндр, неограниченная призма и неограниченный конус.

• К выпуклым многогранникам относятся:
  архимедовы многогранники, ромбические многогранники (ромбододекаэдр, ромботриаконтаэдр), многогранники Голдберга^{[англ.][1]}
  .

• Выпуклый многогранник является пересечением конечного числа замкнутых полупространств.
• Ограниченный выпуклый многогранник может быть построен в виде выпуклой оболочки конечного числа точек.
• Ограниченный выпуклый многогранник, как и любое другое компактное выпуклое подмножество Rⁿ, гомеоморфно замкнутому шару.^[2] Если многогранник является телесным, шар имеет размерность ${\displaystyle n}$.
  • В частности, выпуклый многогранник является многообразием с границей, его эйлерова характеристика равна 1, а его фундаментальная группа тривиальна.
  • Граница выпуклого многогранника гомеоморфна
    сферический паркет
    .

• Грани выпуклого многогранника образуют
  решётку с эйлеровым частичным порядком
  , которая называется решёткой граней, где частичный порядок определяется принадлежностью граней. Определение грани, данное выше, позволяет как сам многогранник, так и пустое множество считать гранями. Весь многогранник является единственным максимальным элементом решётки, а пустое множество, являясь (−1)-мерной гранью (пустой многогранник), является единственным минимальным элементом многогранника.

• Как показал
  являются ли графы изоморфными, даже если ограничиться классами простых или симплексных многогранников.^[4]

• Любой выпуклый многогранник допускает триангуляцию с множеством вершин совпадающим с множеством вершин многогранника.^[5]

• Правильный многогранник
• Ориентированный матроид
• Многогранник Нефа^[англ.]

• Алгоритм Чена

• Weisstein, Eric W. Convex polygon (англ.) на сайте Wolfram MathWorld.
• Weisstein, Eric W. Convex polyhedron (англ.) на сайте Wolfram MathWorld.
• Komei Fukuda, Polyhedral computation FAQ.

У этой статьи есть несколько проблем, помогите их исправить: Необходимо проверить качество перевода c неуказанного языка, исправить содержательные и стилистические ошибки. Вы можете помочь улучшить эту статью (см. также рекомендации по переводу). Оригинал не указан. Пожалуйста, укажите его. (7 января 2014) Стиль этой статьи неэнциклопедичен или нарушает нормы литературного русского языка. Статью следует исправить согласно стилистическим правилам Википедии. (7 января 2014) Пожалуйста, после исправления проблемы исключите её из списка параметров. После устранения всех недостатков этот шаблон может быть удалён любым участником.