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})の基底となる。
さらにK(P(E))は上を基底とする自由K(X)加群である。