Example 1

Tag 07XB, permanent. Cite it as [Bourbaki, Tag 07XB].

Topological Vector Spaces, chapter V, § 1. Prehilbertian spaces and hilbertian spaces

The form $(\lambda, \mu) \mapsto \overline{\lambda} \mu$ defines a prehilbertian structure on $K$ , said to be canonical. When $K$ is considered as a prehilbertian space, we shall always mean, unless otherwise mentioned that it has this structure.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.