ScalingStacks

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 Δ⊂Mℝ\Delta\subset M_{\mathbb{R}} . The indicator function ιΔ\iota_{\Delta} induces the standard decomposition of Δ\Delta into its faces and dually, the support function ΨΔ\Psi_{\Delta} induces a polyhedral complex ΣΔ:=Π⁡(ΨΔ)\Sigma_{\Delta}:=\Pi(\Psi_{\Delta}) made of cones. If Δ\Delta is of maximal dimension, then ΣΔ\Sigma_{\Delta} is a fan.

The faces of Δ\Delta are in one-to-one correspondence with the cones of ΣΔ\Sigma_{\Delta} through the Legendre-Fenchel correspondence. For a face FF of Δ\Delta, its corresponding cone is

σF:=F∗={u∈Nℝ∣⟨u,x−y⟩≥0 for all x∈Δ,y∈F}.\sigma_{F}:=F^{*}=\{u\in N_{\mathbb{R}}\mid\langle u,x-y\rangle\geq 0\mbox{ for all }x\in\Delta,y\in F\}.

Reciprocally, to each cone σ\sigma corresponds a face of Δ\Delta of complementary dimension

Fσ:=σ∗={x∈Δ∣⟨x,u⟩=ΨΔ(u) for all u∈σ}.F_{\sigma}:=\sigma^{*}=\{x\in\Delta\mid\langle x,u\rangle=\Psi_{\Delta}(u)\mbox{ for all }u\in\sigma\}.

On a cone σ∈Σ\sigma\in\Sigma, the function ΨΔ\Psi_{\Delta} is defined by any vector mσm_{\sigma} in the affine space aff⁡(Fσ)\operatorname{aff}(F_{\sigma}). The cone σ\sigma is normal to FσF_{\sigma}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.