Do Fredholm operators show up in K-theory? Why or why not? The idea of infinite Grassmannians classifying vector bundles is pretty straightforward, but why would adding in additive inverses and what not give you this? Is it a generalization of some nice finite-dimensional concept? Does it have a deep connection to (finite-dimensional) vector bundles?