topological K-theory in nLab top space Xに対し、K(X)をX上のベクトル束の同型類のなす集合に直和で半群構造を定め、そこから形式的に逆元を付け加えて作った群とする。 またK^{-n}=K(\Sigma^nX)としてhigher K-groupを定める。 ここで\Sigma Xはreduced s…