\theoname 3.12.2 . [01RA]

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

\theoname 3.12.2.

Soit $X$ un bon espace $k$ -analytique de dimension $n$ . Soit $p$ et $q$ des entiers tels que $p+q=n-1$ . Soit $\alpha$ une $(p,p)$ -forme sur $X$ , soit $\beta$ une $(q,q)$ -forme sur $X$ . Supposons que l’intersection des supports de $\alpha$ et $\beta$ est compact. Alors,

\int_{X}\alpha\wedge\mathop{\mathrm{d^{\prime}}}\mathop{\mathrm{d}^{\prime\prime}}\beta-\mathop{\mathrm{d^{\prime}}}\mathop{\mathrm{d}^{\prime\prime}}\alpha\wedge\beta=\int_{\partial X}\alpha\wedge\mathop{\mathrm{d}^{\prime\prime}}\beta-\mathop{\mathrm{d}^{\prime\prime}}\alpha\wedge\beta.