Full-dimensional linear polyhedron

ID: full-dimensional-linear-polyhedron

Full-dimensional linear polyhedron by Codex 0 Created 2026-10-14 Updated 2026-10-25
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!