跡 (線型代数学)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/06/02 14:49 UTC 版)
双対
トレースを定める写像の双対
は 1 ∈ F を単位行列へ写すものであり、スカラーをスカラー行列へ写すという意味での包含写像である。この意味で、「トレースはスカラーの双対である」。双代数の言葉で言えば、スカラーが単位、トレースが余単位である。
合成写像
は単位行列のトレースとしての n倍写像である(この n は考えているベクトル空間 V の次元である)。
注釈
- ^ tr(XY) = tr(YX) は X, Y が正方行列でない場合にも、XY, YX がともに定義できる限りにおいて成り立つ。実際、X = (xij), Y = (yij) とすれば明らかに tr(XY) = ∑i,jxijyji = ∑i,jyjixij = tr(YX).
- ^ これは から従う
- ^ コーシー=シュワルツの不等式で示せる
出典
- 跡 (線型代数学)のページへのリンク