ScalingStacks

Proof. [04P3]

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.

The cones σ\sigma and σ′\sigma^{\prime} correspond to adjacent vertices in Γ\Gamma. Thus, by Lemma 2.5.1 we construct sσs^{\sigma} from any path joining σ0\sigma_{0} to σ\sigma, and sσ′s^{\sigma^{\prime}} from sσs^{\sigma} by the relation sσ′=Mℬ′​ℬ​sσs^{\sigma^{\prime}}=M_{\mathcal{B^{\prime}}\mathcal{B}}\,s^{\sigma} in Eq. 2.4.3.

The functions χε\chi^{\varepsilon} transform into χε′\chi^{\varepsilon^{\prime}} via the change of dual bases, which is given by ε′=Mℬ′​ℬ​ε\varepsilon^{\prime}=M_{\mathcal{B^{\prime}}\mathcal{B}}\,\varepsilon in Eq. 2.4.1. Comparing the two formulas, it follows that fσ=fσ′f_{\sigma}=f_{\sigma^{\prime}} on 𝔛σ∩𝔛σ′\mathfrak{X}_{\sigma}\cap\mathfrak{X}_{\sigma^{\prime}}. ∎

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