この写像がユニタリである事の証明は?
[Q] Let V be a finite dimensional space over R, with a positive definite scalar product,and let {v_1,v_2,…,v_n}=B and {w_1,w_2,…,w_n}=B' be orthnormaml bases of V.
Show that the matrix M_B_B'(id) is real unitary.[Hint:Use <w_i,w_j>=1 and <w_i,w_j>=0 if i≠j,as well as the expression w_i=Σ[i=1..n]a_ij_vj,for some a_ij≠R.]
(b) Let F:V→V be such that F(v_i)=w_i for all i. Show that M_B_B'(F) is unitary.
の(b)について問題についてです。M_B_B'(f)は基底Bと基底B'に関してのfの表現行列を意味してます。
(b)についての質問なのですが
<F(v),F(v)>=<v,v>を示さなければならないようなのです。
<F(v),F(V)>=<F(Σ[i=1..n]a_iv_i),F(Σ[i=1..n]a_iv_i)>
=Σ[i=1..n]a_iv_iΣ[j=1..n]a_jv_j<F(v_i),F(v_j)> (∵Fは線形写像?)
=<w_i,w_j> の形になると思います。
これからどうすれば =<v,v>に持っていけますでしょうか?
お礼
自分は計算力が足りないなと実感しました。ご説明ありがとうございました。