Example 3.71 . [02MM]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Example 3.71.
The previous example can be generalized to an arbitrary polytope . The indicator function induces the standard decomposition of into its faces and dually, the support function induces a polyhedral complex made of cones. If is of maximal dimension, then is a fan.
The faces of are in one-to-one correspondence with the cones of through the Legendre-Fenchel correspondence. For a face of , its corresponding cone is
Reciprocally, to each cone corresponds a face of of complementary dimension
On a cone , the function is defined by any vector in the affine space . The cone is normal to .