Полиэдр

Полиэдр (от поли... и греч. hеdra — основание, грань), 1) то же, что многогранник. 2) Геометрическая фигура, являющаяся объединением (суммой) конечного числа выпуклых многогранников произвольного числа измерений, произвольно расположенных в n-мерном пространстве (в этом смысле, в частности, термин «П.» употребляется в топологии). Это понятие легко обобщается и на случай n-мерного пространства: возьмём в n-мерном пространстве Rn т. н. полупространство, т. е. множество всех точек, расположенных по одну сторону какой-либо (n - 1)-мерной плоскости этого пространства, включая точки самой плоскости (аналитически речь идёт о множестве всех точек пространства Rn).

Пересечение конечного числа полупространств (если оно оказывается ограниченным) и представляет собой наиболее общий выпуклый многогранник произвольного числа измерений n, лежащий в данном Rn. П. в общем смысле слова есть сумма конечного числа таких многогранников. При n = 2 получаются многоугольники (не непременно выпуклые) как двумерные П. Одномерные П. суть ломаные линии (причём допускается их распадение на куски, а также ветвление: в одной вершине могут смыкаться сколько угодно отрезков). Нуль-мерный П. всегда можно разбить на многогранники простейшего вида, а именно на симплексы, симплексы размерностей 0, 1, 2, 3 суть соответственно: одна точка, отрезок, треугольник, тетраэдр (вообще говоря, неправильный).

При этом разбиение можно произвести так, что два симплекса этого разбиения или не имеют общих точек, или совокупность их общих точек образует общую грань этих симплексов. Такие разбиения П. на симплексы называются триангуляциями; они составляют основной аппарат исследования в т. н. комбинаторной топологии. Понятие «П.» допускает различные обобщения: при топологическом отображении П. переходит в т. н. кривой П. (например, многогранная поверхность переходит в произвольную кривую поверхность): рассматриваются и т. н. бесконечные П., слагающиеся из бесконечного множества выпуклых многогранников (симплексов) и т.д.