\lemmname 5.6.1 . [01U3] 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 93 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
\lemmname 5.6.1 .
Soit u 1 , … , u p u^{1},\dots,u^{p} X X α ∈ 𝒜 c n − p , n − p ( X ) \alpha\in\mathscr{A}^{n-p,n-p}_{\text{c}}(X) j ∈ { 1 , … , p } j\in\{1,\dots,p\}
∫ X d ′ d ′′ u 1 ∧ ⋯ ∧ d ′ d ′′ u p ∧ α = ∫ X u j d ′ d ′′ u 1 ∧ ⋯ ∧ d ′ d ′′ u j ^ ∧ ⋯ ∧ d ′ d ′′ u p ∧ d ′ d ′′ α . \int_{X}\mathop{\mathrm{d}^{\prime}\mathrm{d}^{\prime\prime}}u^{1}\wedge\dots\wedge\mathop{\mathrm{d}^{\prime}\mathrm{d}^{\prime\prime}}u^{p}\wedge\alpha=\int_{X}u^{j}\mathop{\mathrm{d}^{\prime}\mathrm{d}^{\prime\prime}}u^{1}\wedge\dots\wedge\widehat{\mathop{\mathrm{d}^{\prime}\mathrm{d}^{\prime\prime}}u^{j}}\wedge\dots\wedge\mathop{\mathrm{d}^{\prime}\mathrm{d}^{\prime\prime}}u^{p}\wedge\mathop{\mathrm{d}^{\prime}\mathrm{d}^{\prime\prime}}\alpha.