ScalingStacks

Proof. [01HR]

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.

It is clear that |Dv​φ​(e)|≤diam⁡(τ)​Lipτ⁡(φ)|D_{v}\varphi(e)|\leq\diam(\tau)\lip_{\tau}(\varphi) for all e,ve,v. Conversely it is a standard consequence of Rademacher’s theorem that Lipτ⁡(φ)=supv∈A‖∇φ​(v)‖\lip_{\tau}(\varphi)=\sup_{v\in A}\|\nabla\varphi(v)\|. For each v∈Av\in A we also have Dv​φ​(e)=⟨∇φ​(v),e−v⟩D_{v}\varphi(e)=\langle\nabla\varphi(v),e-v\rangle. We now claim that there exists C>0C>0 such that

‖λ‖≤C​supe∈ℰ⁡(τ)|⟨λ,v−e⟩|\|\lambda\|\leq C\sup_{e\in\mathcal{E}(\tau)}|\langle\lambda,v-e\rangle|

for all λ∈V∗\lambda\in V^{*} and all v∈τv\in\tau, which will conclude the proof. Indeed the supremum in the right-hand side is a lower semicontinuous function of (λ,v)∈V∗×τ(\lambda,v)\in V^{*}\times\tau. As a consequence it achieves its infimum on the compact set {λ∈V∗,‖λ‖=1}×τ\{\lambda\in V^{*},\,\|\lambda\|=1\}\times\tau, and this infimum cannot be zero since {v−e,e∈ℰ⁡(τ)}\{v-e,\,e\in\mathcal{E}(\tau)\} spans VV for each v∈τv\in\tau. The claim follows by homogeneity. ∎

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