コンパクトなn次元多様体Mをユークリッド空間R^{n+k}に埋め込み、その法束をN \to Mとする。 このThom空間Th(N)にはS^{n+k}からの写像が次のように定まる。 S^{n+k}を\R^{n+k}の無限遠点を付け加えることによる一点コンパクト化とみなす。 Mの\R^{n+k}への埋…