Remarque 2

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

Topological Vector Spaces, chapter V, § 4. Quelques classes d’opérateurs dans 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.