>>47
そう、君の書いてるDN_yを張り合わせたものがNの接束T(N)の引き戻し
つまり引き戻しf^*(T(N))はT(M)の商バンドルであって部分バンドルではない
でバンドルの完全列
0→T(f^(-1)(y))→T(M)→f^*(T(N))→0ができる
問題は第3項が自明なら第1項が自明か？
でそんなに自明でないし一般には成り立たないと思う
他の次元差がどうこう使わないと出ない希ガス