【とつためんたい (convex polyhedron, convex polytope)】
有限個の閉半空間の共通部分を凸多面体と呼ぶ. すなわち, n {\displaystyle n\,} 次元実線形空間 R n {\displaystyle {\mathbf {R} }^{n}\,} 内の凸多面体 P {\displaystyle P\,} は, 適当な m × n {\displaystyle m\times n\,} 実行列 A {\displaystyle A\,} と m {\displaystyle m\,} 次元ベクトル b {\displaystyle b\,} を用いて
と表現できる. 特に有界な凸多面体は, convex polytope と英語では区別して呼ばれ, 有限個の点からなる集合の凸包であり, 逆も成り立つ.
詳しくは基礎編：凸多面体を参照.
次元実線形空間
内の凸多面体
は, 適当な
実行列
と
次元ベクトル
を用いて