Proposition 6
Tag 080R, permanent. Cite it as [Bourbaki, Tag 080R].
Topological Vector Spaces, V, p. 35, § 3. Tensor product of hilbertian spaces
Let E be a hilbertian space. We have
for and .
It is clearly enough to consider the case .
Let F be the hilbertian subspace of E consisting of all vectors orthogonal to x. Since E is the hilbertian sum of F and the line K.x, it follows from the corollary of V, p. 34 that the mapping is a hilbertian space isomorphism from onto . If with in , we have , hence .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.