ScalingStacks

Proof. [00R7]

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 Remark 3.21, the ∇u\nabla u introduced in the above proof is actually the gradient of the extension uu over NℝN_{\mathbb{R}}. By the proof above, we know ⟨∇u,wi⟩=1\langle\nabla u,w_{i}\rangle=1 on Star​(wi)⊂∂Δλ∨\text{Star}(w_{i})\subset\partial\Delta_{\lambda}^{\vee}. This directional derivative can only increase as x∈Nℝx\in N_{\mathbb{R}} moves in the w1w_{1}-direction. But ∇u∈Δ\nabla u\in\Delta on NℝN_{\mathbb{R}} since the extension is admissible, so ⟨∇u,wi⟩≤1\langle\nabla u,w_{i}\rangle\leq 1 everywhere, hence the claim. ∎

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