Remark
Tag 07ZE, permanent. Cite it as [Bourbaki, Tag 07ZE].
Topological Vector Spaces, V, p. 20, § 2. Orthogonal families in a hilbertian space
Let E be a Hausdorff prehilbertian space, a family of vector subspaces of E such that for every pair of distinct indices , the subspaces and are orthogonal. Then, for every , the intersection of and of the closed vector subspace generated by the union of the for all reduces to 0 for, if belongs to and also to , then it is orthogonal to all the for , hence to . In particular, is orthogonal to itself, hence is zero.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.