Proof. [04QW]
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
Proof.
We start by associating to a certain lattice subdivision of . Let be the overgraph of , i.e. the set of vertical rays upwards in starting at the points of the graph of . The convex hull of is a semi-infinite closed polyhedral domain. The projections of its finite faces to form the subdivision .
We claim that is a polyhedral complex dual to . Namely, a -dimensional polyhedron in , , gives a -cell of . This cell is compact iff .
This claim follows from the duality property of the Legendre transform. Consider the function whose graph is is given by the lower boundary of the convex hull of . If is convex then the function extends and is defined on the whole polyhedron , not just on its lattice points. It is a convex piecewise-linear function. The Legendre transform of coincides with the Legendre transform of . (In fact the function can be defined by applying the Legendre transform to twice.) By duality, the graph of has the facets en lieu of the vertices of the graph of and so on. β