EO(n) \to BO(n)を普遍主O(n)束とし、EO(n) \times_{O(n)} \R^n \to BO(n)を随伴ベクトル束とする。 普遍性からBO(n) \to BO(n+1)上の射(EO(n) \times_{O(n)} \R^n) \oplus \R \to (EO(n+1) \times_{O(n+1)} \R^{n+1})が定まる。 これのThom spaceを取れば\s…