4 Preliminaries
TODO: This whole chapter needs organization, it’s just a grab bag of miscellaneous results for now.
4.1 Rupert Sets
The following are equivalent:
The convex polyhedron with vertex set \(v\) is Rupert.
The convex closure of \(v\) is a Rupert set.
TODO: import this from the other repo
4.2 Poses
TODO
Given a pose with zero offset, there exists a view pose that is equivalent to it.
4.3 Pointsymmetry and Rupertness
If a set is point symmetric and convex, then it being Rupert implies it being purely rotationally Rupert.
TODO: informalize proof
Suppose \(S\) is a finite set of points in \(\operatorname{\mathbb {R}}^n\). The radius of the polyhedron \(S\) is \(r\) iff
there is a vector \(v \in S\) with \(\| v\| = r\)
all vectors \(v \in S\) have \(\| v\| \le r\)
Immediate from definition.
Pointsymmetrization preserves radius.
Because the reflection of a point about the origin preserves its norm.