ベクトル空間一般の基底

ベクトル空間一般における基底の定義。大枠だけリフォーム。