ScalingStacks

Proof. [04R4]

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.

By Proposition 1.4 Π\Pi comes as a corner locus of a convex piecewise-linear function FF on ℝn+1\mathbb{R}^{n+1}. Let y=aj,1​x1+⋯+aj,n+1​xn+1y=a_{j,1}x_{1}+\dots+a_{j,n+1}x_{n+1}, j=1,…,n+2j=1,\dots,n+2 be the equations of the linear functions on the adjacent components of ℝn+1∖Π\mathbb{R}^{n+1}\smallsetminus\Pi. Then uj=(aj,1,…,aj,n+1,−1)u_{j}=(a_{j,1},\dots,a_{j,n+1},-1) are the vectors in ℝn+2=ℝn+1×ℝ\mathbb{R}^{n+2}=\mathbb{R}^{n+1}\times\mathbb{R} normal to the linear portions of the graph of FF adjacent to BB.

The ℝn+2\mathbb{R}^{n+2}-version of the vector product associates a normal vector to (n+1)(n+1) other vectors in ℝn+2=ℝn+1×ℝ\mathbb{R}^{n+2}=\mathbb{R}^{n+1}\times\mathbb{R}. We take all possible such products among uju_{j} and project them to ℝn+1\mathbb{R}^{n+1}. The result is the vectors which are multiples of vjv_{j}. By linear algebra the sum of these vectors is zero. ∎

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