Thom space in nLab Xを位相空間とし、V \to Xを主O(n)束P \to Xの随伴ベクトル束とする。これはXの実ベクトル束で各ファイバーに連続に内積が定まっているもので、これに関する正規直交枠束がP \to Xである。 D(V)を長さ1以下のベクトル全体のなすD^n-bundl…