https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf K(CP^n) = Z[L]/(L-1)^{n+1}である。 0 \to K(CP^n,CP^{n-1}) \to K(CP^n) \to K(CP^{n-1}) \to 0 が完全であることから、帰納的に示す。 K(CP^n,CP^{n-1})=\tilde{K}(S^{2n})であり、 \tilde{K}(S^2) \o…