https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf splitting principleを証明する。 Xを有限セル複体でnセルからなるとする。このときK^*(X)は高々n元で生成される。 さらに全てのセルが偶数次元ならK^1(X)=0であり、K^0(X)は各セルを基底にもつ自由群。 …