Remarque 2

Étiquette 0E7Q, permanente. À citer comme [Bourbaki, Tag 0E7Q].

Integration, chapter IX, Appendix 0. Compléments sur les espaces hilbertiens

Soient $E_1$ un espace vectoriel réel, $Q_1$ et $H_1$ deux formes quadratiques positives sur $E_1$ et $\pi : E \to E_1$ une application linéaire surjective. Si $Q = Q_1 \circ \pi$ et $H = H_1 \circ \pi$ , on a $\operatorname{Tr}(Q/H) = \operatorname{Tr}(Q_1/H_1)$ .

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.