Proposition 6 [03SF] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context · Original author HTML
Proposition 6
Let us define for a sufficiently small δ \delta
a linear operator D ′ ( Y ) → Ω ∗ ( Y ) D^{\prime}(Y)\to\Omega^{\ast}(Y)
by the formula
Π δ ( α ) = ∑ x ∈ C r ( f ) ( ∫ Y α ∧ R δ ( [ S x ] ) ) ⋅ R δ ( [ U x ] ) . \Pi_{\delta}(\alpha)=\sum_{x\in Cr(f)}(\int_{Y}\alpha\wedge R_{\delta}([S_{x}]))\cdot R_{\delta}([U_{x}]).
1) Π δ 2 ( α ) = Π δ ( α ) \Pi_{\delta}^{2}(\alpha)=\Pi_{\delta}(\alpha)
if α ∈ Ω ∗ ( Y ) \alpha\in\Omega^{\ast}(Y) , and
Π δ d = d Π δ . \Pi_{\delta}d=d\Pi_{\delta}.
2) The image Π δ ( M ∗ ( Y , f ) ) \Pi_{\delta}(M^{\ast}(Y,f)) is a subcomplex
in Ω ∗ ( Y ) \Omega^{\ast}(Y) which is canonically isomorphic to the Morse
complex M ∗ ( Y , f ) M^{\ast}(Y,f) .