Hilbert space

Basic concepts

Definition 1.1   An inner-product space with complex scalars, $ \mathbf{C}$ , is a vector space $ V$ with complex scalars, together with a complex-valued function $ \langle{v, w \rangle}$ , called the inner product, defined on $ V \times V$ , which has the following properties:

Definition 1.2   A Banach space $ (X,\left\Vert{\cdot}\right\Vert)$ is a normed vector space such that $ X$ is complete under the metric induced by the norm $ \left\Vert{\cdot}\right\Vert$ .

Hilbert space

Definition 2.1   A Hilbert space is an inner product space which is complete as a metric space, that is for every sequence $ \{v_n\}$ of vectors in $ V$ , if $ \left\Vert{v_m} - {v_n}\right\Vert \to 0$ as $ m$ and $ n$ both tend to infinity, there is in $ V$ , a vector $ v_{\omega} \in V$ such that $ \left\Vert{v_m} - {v_{\omega}}\right\Vert \to 0$ as $ n \to \infty$ . (In quantum physics, all Hilbert spaces are tacitly assumed to be infinite dimensional)

Remarks

Sequences with the property that $ lim _{m \to \infty, n \to \infty} \left\Vert{v_m} - {v_n}\right\Vert = 0$ are called Cauchy sequences. Usually one works with Hilbert spaces because one needs to have available such limits of Cauchy sequences. Finite dimensional inner product spaces are automatically Hilbert spaces. However, it is the infinite dimensional Hilbert spaces that are important for the proper foundation of quantum mechanics.

A Hilbert space is also a Banach space in the norm induced by the inner product, because both the norm and the inner product induce the same metric.



Contributors to this entry (in most recent order):

As of this snapshot date, this entry was owned by bci1.