Abstract: Let (M,\omega) be a Hamiltonian G-space with a proper moment map \mu. We give a surjectivity result which expresses the K-theory of the symplectic quotient of M in terms of the K-theory of the original manifold M, under certain technical conditions on \mu. This result is a natural K-theoretic analogue of the Kirwan surjectivity theorem in symplectic geometry.