実ベクトル空間

実ベクトル空間の定義の大枠だけリフォーム。