The wave function lives in the quantum café, see the segment from 3:40 or so to the end of
http://www.youtube.com/watch?v=unJ2ajHH-94
More seriously, a wave function is a more special name of the "state vector" which is the element of the Hilbert space ${\mathcal H}$, a complex vector space with an inner product. The Hilbert space of all realistic systems is infinite-dimensional; for an infinite dimension, one can't really say whether the basis is countable or as large as a continuum because these two bases are actually fully equivalent.
Finite-dimensional Hilbert spaces are only used as simplified toy models for some aspects of some physical systems. But they're still very important in theory and practice because realistic situations are often composed of similar small Hilbert spaces by taking tensor products. The two-dimensional Hilbert spaces (e.g. spin-up vs spin-down) seem very simple but they're already very rich and are used as tools to teach quantum mechanics. Quantum computing usually takes place in Hilbert spaces for $N$ qubits which is $2^N$-dimensional, also finite-dimensional. The remaining infinitely many states of a real physical system are assumed to be inaccessible so we may "truncate" the Hilbert space. But note that systems as simple as en electron orbiting a proton or a harmonic oscillator already have an infinite-dimensional Hilbert space.
The Fock space is a special kind of Hilbert space. It is the Hilbert space of a free field theory or, equivalently, an infinite-dimensional harmonic oscillator. One usually defines the free - bilinear - Hamiltonian on the Fock space, too. If we don't say that there's a Hamiltonian, the identity of the Fock space is actually meaningless because all infinite-dimensional Hilbert spaces are isomorphic or "unitary equivalent" to each other.
So the Fock space isn't really "something completely different" (or larger) than the Hilbert space; it's a special case of it. The same thing holds for the Hilbert spaces associated with any theory you can think of (describing the world around us or describing a fictitious or hypothetical world), whether it's the Standard Model, the Minimal Supersymmetric Standard Model, or – the most comprehensive theory – String Theory. All these theories, much like any other theories respecting the postulates of quantum mechanics, have their own Hilbert space and all these infinite-dimensional spaces in string theory or a simple infinite-dimensional harmonic oscillator or even a simple Hydrogen atom are actually isomorphic to each other. The theories only differ by different Hamiltonians – or other dynamical laws that describe the evolution in time.
Also, one should mention that the actual state of the physical system isn't given by all the information included in an element of the Hilbert space. The phase and the absolute normalization – i.e. the full multiplicative factor that may be complex – is unphysical. So the space of inequivalent "pure states" is actually the quotient ${\mathcal H}/{\mathbb C}^*$.
Aside from "wave functions" i.e. pure states that are elements of the Hilbert space, up to a normalization, one may also describe a physical system by a more general "density matrix" which lives in the space of Hermitian matrices $\rho$. For pure states, $\rho=|\psi\rangle\langle\psi|$ and the phase cancels. However, there are also more general mixed states that are superpositions of similar terms.
grand design.. – Vineet Menon Apr 10 '12 at 15:27