  In this paper, we first establish a K-theory version of the equivariant
family index theorem for a circle action, then use it to prove several rigidity
and vanishing theorems on the equivariant K-theory level.
