Splitting principle for real vector bundles (source code)

= Splitting principle for real vector bundles

After pulling a real vector bundle back along a suitable iterated projective or flag bundle, it splits into real line bundles, and the pullback on mod-two cohomology is injective. Identities among Stiefel–Whitney classes can therefore be checked after splitting.