The study of the mathematical structure resulting from associating an abelian group K (X ) with every compact topological space X in a geometrically natural way, with the aid of complex vector bundles over X. Also known as topological K theory.