ScalingStacks

Proof. [02X9]

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.

Statement (1) follows easily from the definition of Ck​(Δ,u,V)C_{k}(\Delta,u,V). For statement (2), we use that, from (7.6), the integral formula in Proposition 7.3 also holds for the choice of coefficients

−∑F⟨uF,v⟩⟨u,v⟩Ck(F,πF(u),V∩F)-\sum_{F}\frac{\langle u_{F},v\rangle}{\langle u,v\rangle}C_{k}(F,\pi_{F}(u),V\cap F)

for any vector vv of norm 1 such that ⟨u,v⟩≠0\langle u,v\rangle\neq 0. But the coefficients satisfying that formula are unique. Hence, this choice necessarily coincides with Ck​(Δ,u,V)C_{k}(\Delta,u,V) for all such vv. Hence,

⟨u,v⟩Ck(Δ,u,V)=−∑F⟨uF,v⟩Ck(F,πF(u),V∩F)\langle u,v\rangle C_{k}(\Delta,u,V)=-\sum_{F}\langle u_{F},v\rangle C_{k}(F,\pi_{F}(u),V\cap F)

and formula (7.9) follows. Statement (3) follows from Formula (7.4) applied to Δ\Delta, Δ1\Delta_{1} and Δ2\Delta_{2} together with the additivity of the integral and the fact that the coefficients Ck​(Δ,u,V)C_{k}(\Delta,u,V) are uniquely determined. ∎

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