Полиэдр (от поли... и греч. hédra — основание, грань), 1) то же, что многогранник. 2) Геометрическая фигура, являющаяся объединением (суммой) конечного числа выпуклых многогранников произвольного числа измерений, произвольно расположенных в n-мерном пространстве (в этом смысле, в частности, термин «Полиэдр» употребляется в топологии). Это понятие легко обобщается и на случай n-мерного пространства: возьмём в n-мерном пространстве Rⁿ т. н. полупространство, т. е. множество всех точек, расположенных по одну сторону какой-либо (n 1)-мерной плоскости этого пространства, включая точки самой плоскости (аналитически речь идёт о множестве всех точек пространства Rⁿ, координаты которых удовлетворяют неравенству первой степени вида a₁x₁+ a₂x₂+... + a_nx_n+ b ³ 0). Пересечение конечного числа полупространств (если оно оказывается ограниченным) и представляет собой наиболее общий выпуклый многогранник произвольного числа измерений £ n, лежащий в данном Rⁿ. Полиэдр в общем смысле слова есть сумма конечного числа таких многогранников. При n= 2 получаются многоугольники (не непременно выпуклые) как двумерные Полиэдр Одномерные Полиэдр суть ломаные линии (причём допускается их распадение на куски, а также ветвление: в одной вершине могут смыкаться сколько угодно отрезков). Нуль-мерный Полиэдр всегда можно разбить на многогранники простейшего вида, а именно на симплексы, симплексы размерностей 0, 1, 2, 3 суть соответственно: одна точка, отрезок, треугольник, тетраэдр (вообще говоря, неправильный). При этом разбиение можно произвести так, что два симплекса этого разбиения или не имеют общих точек, или совокупность их общих точек образует общую грань этих симплексов. Такие разбиения Полиэдр на симплексы называются триангуляциями; они составляют основной аппарат исследования в т. н. комбинаторной топологии. Понятие «Полиэдр» допускает различные обобщения: при топологическом отображении Полиэдр переходит в т. н. кривой Полиэдр (например, многогранная поверхность переходит в произвольную кривую поверхность): рассматриваются и т. н. бесконечные Полиэдр, слагающиеся из бесконечного множества выпуклых многогранников (симплексов) и т.д.

 

  Лит.: Александров Полиэдр С., Лекции по аналитической геометрии..., М., 1968; его же, Комбинаторная топология, М. — Л., 1947; Понтрягин Л. С., Основы комбинаторной топологии, М. — Л., 1947; Александров Полиэдр С., Пасынков Б. А., Введение в теорию размерности, М., 1973.

  Полиэдр С. Александров.