Several infinite dimensional bilinear quantum systems encountered in the physics literature can be described, with good precision, by appropriate finite dimensional approximations. We present a regularity condition sufficient for the existence of these approximations. We also show a counterexample of a system that is approximately controllable while its infinite dimensional dynamics cannot be precisely described by its finite dimensional Galerkin approximations.