# What is the difference between a Hilbert space of state vectors and a Hilbert space of square integrable wave functions?

This is a good question, and the answer is rather subtle, and I think a physicist and a mathematician would answer it differently.

Mathematically, a Hilbert space is just any complete inner product space (where the word "complete" takes a little bit of work to define rigorously, so I won't bother).

But when a physicist talks about "the Hilbert space of a quantum system", they mean a unique space of abstract ket vectors $$\{|\psi\rangle\}$$, with no preferred basis. Exactly as you say, you can choose a basis (e.g. the position basis) which uniquely maps every abstract state vector $$|\psi\rangle$$ to a function $$\psi(x)$$, colloquially called "the wave function". (Well, the mapping actually isn't unique, but that's a minor subtlety that's irrelevant to your main question.)

The confusing part is that this set of functions $$\{\psi(x)\}$$ also forms a Hilbert space, in the mathematical sense. (Mumble mumble mumble.) This mathematical Hilbert space is isomorphic to the "physics Hilbert space" $$\{|\psi\rangle\}$$, but is conceptually distinct. Indeed, there are an infinite number of different mathematical "functional representation" Hilbert spaces - one for each choice of basis - that are each isomorphic to the unique "physics Hilbert space", which is not a space of functions.

When physicists talk about "the Hilbert space of square-integrable wave functions", they mean the Hilbert space of abstract state vectors whose corresponding position-basis wave functions are square integrable. That is:

$$\mathcal{H} = \left \{ |\psi\rangle\ \middle|\ \int dx\ |\langle x | \psi \rangle|^2 < \infty \right \}.$$

This definition may seem to single out the position basis as special, but actually it doesn't: by Plancherel's theorem, you get the exact same Hilbert space if you consider the square-integrable momentum wave functions instead.

So while "the Hilbert space of square integrable wave functions" is a mathematical Hilbert space, you are correct that technically it is not the "physics Hilbert space" of quantum mechanics, as physicists usually conceive of it.

I think that in mathematical physics, in order to make things rigorous it's most convenient to consider functional Hilbert spaces instead of abstract ones. So mathematical physicists consider the position-basis functional Hilbert space as the fundamental object, and define everything else in terms of that. But that's not how most physicists do it.