Full-dimensional linear polyhedron

ID: full-dimensional-linear-polyhedron

A linear polyhedron in is full-dimensional when its affine hull is all of . Equivalently, it contains an open Euclidean ball. An open Euclidean ball spans the ambient space. Conversely, a full-dimensional convex set contains affinely independent points; their convex hull is a simplex with nonempty interior, so the set contains an open Euclidean ball.

New to topics? Read the docs here!