Beta Phase: Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45

Definition

Formal definition of a Hilbert space.
📜

The statement of the theorem

A real or complex inner product space that is also a complete metric space with respect to the distance function induced by the inner product.