- 455 名前：１３２人目の素数さん mailto:sage [2019/04/05(金) 23:27:05.89 ID:SqSkgFXR.net]
- 線形代数学の質問です
Vを体K上の有限次元のベクトル空間とします
このとき、Vとその双対空間V*が同形であることの証明として次の2つがありました
(1)V上の非退化のスカラー積<,>を持ってきてL_v(w)=<v,w>とすることにより、すべてのv∈VとL_v∈V*を一対一で対応させることができる
⑵V上の非退化の双線形形式gを持ってきて
L_v(w)=g(v,w)とすることにより、すべてのv∈VとL_v∈V*を一対一で対応させることができる
定義からしてスカラー積は双線形形式の一部ですが、上の2つからすべてのスカラー積と双線形形式を一対一で対応させることができるということになりませんか？矛盾しているように感じるのですがどうなんでしょう？
