0945132人目の素数さん2018/11/25(日) 00:24:57.28ID:5TVnkEKK X : 滑らかな多様体 A : X上の滑らかな関数全体のなす環 M : X上のベクトル場 T_x : x∈Xでの接空間 R : 実数全体のなす加法群でa∈R, f∈Aに対しfa=f(x)aとしA加群とみる とするとき、 A加群としてT_xとMテンソルRが同型になることのイメージを教えて下さい