Hilbert space
The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It extends the methods of vector algebra and calculus from the two-dimensional Euclidean plane and three-dimensional space to spaces with any finite or infinite number of dimensions. It's essentially just an infinitely dimensional vector space. ﻿A Hilbert space is an abstract vector space possessing the structure of an inner product that allows length and angle to be measured. Furthermore, Hilbert spaces are complete: there are enough limits in the space to allow the techniques of calculus to be used.
Geometric quantization
The next step in the process of geometric quantization is the choice of a polarization. A polarization is a choice at each point in formula_6 a Lagrangian subspace of the complexified tangent space of formula_6. The subspaces should form an integrable distribution, meaning that the commutator of two vector fields lying in the subspace at each point should also lie in the vector field at each point. The "quantum" (as opposed to prequantum) Hilbert space is the space of sections of formula_14 that are covariantly constant in the direction of the polarization. The idea is that in the quantum Hilbert space, the sections should be functions of only formula_27 variables on the formula_28-dimensional classical phase space.