A Hilbert space is an inner product space that is also a complete metric space with respect to the distance function induced by the inner product.
Remarks
- By the Riesz representation theorem , \( H \) and \( H^* \) are isomorphic and can be identified with each other. This is one reason why completeness is a powerful assumption.