Functional analysis
Hilbert spaces can be completely classified: there is a unique Hilbert space up to isomorphism for every cardinality of the orthonormal basis. Finite-dimensional Hilbert spaces are fully understood in linear algebra, and infinite-dimensional separable Hilbert spaces are isomorphic to formula_1. Separability being important for applications, functional analysis of Hilbert spaces consequently mostly deals with this space. One of the open problems in functional analysis is to prove that every bounded linear operator on a Hilbert space has a proper invariant subspace. Many special cases of this invariant subspace problem have already been proven.
Hilbert space
Hilbert spaces are often taken over the complex numbers. The complex plane denoted by is equipped with a notion of magnitude, the complex modulus which is defined as the square root of the product of with its complex conjugate:
If is a decomposition of into its real and imaginary parts, then the modulus is the usual Euclidean two-dimensional length:
The inner product of a pair of complex numbers and is the product of with the complex conjugate of :
This is complex-valued. The real part of gives the usual two-dimensional Euclidean dot product.