A geometric theory for preconditioned inverse iteration applied to a subspace