0036132人目の素数さん垢版 | 大砲2021/01/06(水) 18:09:52.85ID:ViuKwMX7 M:コンパクトなn-dim可微分多様体でN=S^(n-4i)を球面として次元は4i<(n-1)/2を満たすとする このとき可微分写像f:M→Nに対して y∈Nが正則値ならf^-1(y)は4i次元の可微分多様体になりますが その法束が自明である事はどのようにして言えるのでしょうか 具体的な本の中で使われていた事実なので,いろいろ仮定がついていますが どれが必要なのかはわからないので全て書きました