Double direction of a convex set and double recession space

Dependencies:

  1. Convex set

$d$ is called a double direction of a convex set $S$ iff $\forall x \in S$, $\{x + \lambda d: \lambda \in \mathbb{R}\} \subseteq S$.

Let $D$ be the set of double directions of $S$. Then $D$ is called the double recession space of $S$.

Dependency for:

  1. Double directions of a polyhedron (incomplete)

Info:

Transitive dependencies:

  1. Group
  2. Ring
  3. Field
  4. Vector Space
  5. Convex combination and convex hull
  6. Convex set