https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf example 2.26 E \to XをC^n-ベクトル束でXはコンパクトとする。 p:P(E) \to XはCP^n-fiber bundleで、L \to P(E)はcanonical bundleとする。 1, L, \cdots, L^{n-1} \in K(P(E))はK(CP^{n-1})の基底とな…