When there is no end to the process of selecting a basis for a vector space we have an infinite dimensional space. Much of the application of vector spaces involves linear combinations of basis vectors. The definition of a basis in an n dimensional space speaks of the sum of n vectors. For an infinite dimensional space we need to define the sum of a denumerable set of vectors and this requires some concept of continuity, convergence or other topological construct. Some sums will not converge and a good deal of unruly hair enters the scene. David Hilbert arranged that hair beautifully.
For instance the vector space of functions defined on the real line would seem to be of dimension c since there are that many possible arguments to such a function. Summing over a denumerable set is hairy—over a non-denumerable set much worse. The idea of quadratic form also seems out of reach at least in its concrete description. Functions from a finite domain to the reals or complex numbers, form a natural vector space; each element x of the domain corresponds to the function f(z) = 1 if z=x else 0 and these functions compose a basis for the vector space. When the domain is the reals this leads to a c dimensional vector space which seems to lack any sort of quadratic form; you can’t sum c reals, even with a limiting notion.
If we want a vector space that includes the functions that we find useful in physics, for example, we would want to include g = λx.e−x2 and assign a magnitude to it just as quadratic forms assign magnitudes to all vectors. As for functions like [f(x) = 1 if x=0 else 0] we must either exclude it from the vector space or put it in an equivalence class with [f(x) = 0].
With some artful triage David Hilbert sorted these things out and selected a class of useful and civilized functions that could form a powerful vector space later called “Hilbert space”. More specifically he selected a set of complex valued functions defined over an arbitrary measure space and defined equivalence classes of such functions. If you don’t know “measure space” think real line and you won’t miss much here.
Hilbert space has c points.
Here are two concrete constructions of Hilbert space:
I think Hilbert dealt only with separable spaces but inseparable spaces are now included which are much bigger and require non constructive proofs.