Hilbert space methods in quantum mechanics