Remark 3
Tag 0828, permanent. Cite it as [Bourbaki, Tag 0828].
Topological Vector Spaces, chapter V, § 4. Some classes of operators in hilbertian spaces
Let and be two hilbertian spaces and a linear, not necessarily continuous mapping from into . Let and for all . It follows from prop. 15 that is a Hilbert-Schmidt mapping if and only if is finite, and then .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.