>>524
だから微分多様体の接空間はベクトル空間の一例に過ぎない。
>>252は一般化してるわけ。
一般化ってわかるか？
一般の体で成立つなら実数体でも成り立つ。
わかるか？