Atiyah-Singer Index Theorem, I

We will state the Atiyah-Singer index theorem in the language of K-theory and sketch the proof. In short, this is done by characterizing the index function using some natural axioms, and proving the index of elliptic operators satisfies these axioms. If time permits, we will say something about how to include group actions in the picture.