有限次元k-ベクトル空間の同型類は次元によって完全に決定される
しかしその同型の決め方はcanonicalじゃなく基底を定めないといけないからそれぞれk^nとかVとか(基底を込めて)違う記号で書いてると思ったのですが違う??