ありがとうございます。

>>>114
>> 真ならDの任意の基底{f_1,f_2,…,f_n}に対し,f_i(v_j)=δ_ijなるVの基底
>> {v_1,v_2,…,v_n}が存在する筈ですよね。
> 存在する

逆に
v:={v_1,v_2,…,v_n}がVの基底ならvに関する双対基底も必ず採れるのですね。