ScalingStacks

Proof. [04P1]

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 Eq. 2.4.3, for any h=0,…,q−1h=0,\ldots,q-1, the sections sσh+1s^{\sigma_{h+1}} are constructed from sσhs^{\sigma_{h}} by multiplication by the matrix for the change of basis from ((vi)i∈Lσh,(vj)j∈J)((v_{i})_{i\in L_{\sigma_{h}}},(v_{j})_{j\in J}) to ((vi)i∈Lσh+1,(vj)j∈J)((v_{i})_{i\in L_{\sigma_{h+1}}},(v_{j})_{j\in J}). Thus, by composition, the sections sσs^{\sigma} only depends on sσ0s^{\sigma_{0}} and the change of basis from ((vi)i∈Lσ0,(vj)j∈J)((v_{i})_{i\in L_{\sigma_{0}}},(v_{j})_{j\in J}) to ((vi)i∈Lσ,(vj)j∈J)((v_{i})_{i\in L_{\sigma}},(v_{j})_{j\in J}). ∎

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