What is the relationship between completeness of wave functions and completeness of Hilbert space? In the lecture, my prof said that completeness means that any wave function can be constructed using an infinite number of "other" basis wave functions. This is very intuitive since this is nothing but a Fourier series.
But then each wave function is a vector on Hilbert space, and completeness on Hilbert space means that there exists a cauchy sequence such that $\lim_{n\to\infty} f_n - f_m = 0$
Are there connections between completeness of Hilbert space and completeness of wave functions?
 A: Completeness of a space is a metric notion (in the most usual definitions). In the case at hand means that each Cauchy sequence of Hilbert space vectors converges in the topology inherited by the inner product structure (that also defines naturally a metric).
The other fact, i.e. that each vector can be written as a linear combination of a particular set of vectors, is a quite different notion and depends really on the precise definition and purpose. It is not called completeness however, but usually "existence of a (some adjective) basis". For Hilbert spaces, it is the "existence of an orthonormal basis" and the result is that each vector can be written as an infinite linear combination of elements of the basis, and the sum converges in norm.
Anyways:


*

*the first concept requires only the notion of a metric (i.e. distance between objects);

*the second concept relies on the vector space structure and also on the inner product structure of the space (to define infinite linear combinations and orthonormality).
