\propname 5.6.2 . [01U5]

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

\propname 5.6.2.

Soit $\alpha\in\mathscr{A}^{n-p,n-p}_{\text{c}}(X)$ une forme lisse, soit $V$ un voisinage compact de son support. Il existe un nombre réel $C$ tel que pour toutes fonctions psh lisses $u^{1},\dots,u^{p}$ sur $X$ et toute fonction lisse $u^{0}$ sur $X$ , on ait

\left|{\int_{X}u^{0}\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}\right|\leq C\mathopen{\|}{u^{0}}\mathclose{\|}_{V}\dots\mathopen{\|}{u^{p}}\mathclose{\|}_{V}.