多様体の基礎に乗ってる接ベクトル空間の定義だとなんかちょっとなあ
と思ったので。

他の説ベクトル空間の定義ないですかな？