>>23
すべての(有限次元)ベクトル空間は数ベクトル空間に同型だからK^nだけ考えればいいだろっていう話？

線形汎関数の空間として自然なものだし構造が豊富だし
Vとその双対空間V^をセットにして考えますよ