Fix a separable infinite-dimensional complex Hilbert space and let
with its operator-norm topology. The odd topological K-theory group of a compact metric space is defined by continuous-map homotopy classes
Homotopies use the same norm topology. Its finite-dimensional stable realization and group operation are established in the following parts, so this definition does not yet assume that homotopy classes form a group.