接ベクトル空間の定義ってみんなどう習った?