跡 (線型代数学)

提供: miniwiki
移動先:案内検索

数学、特に線型代数学における行列(せき、: trace; トレース: Spur; シュプール)あるいは対角和(たいかくわ)は行列の主対角成分総和である。それは基底変換に関して不変であり、また固有値の総和(固有値和)に等しい。即ち、行列の跡は行列の相似を除いて定まり、したがって一般に行列に対応する線型写像の跡として定義することができる。

行列の跡は、正方行列に対してのみ定義されることに注意せよ。この語は(この同じ数学的対象を意味する)ドイツ語のSpurからの翻訳借用である。

定義

座標に依らない定義
係数体 F 上有限次元ベクトル空間 V 上の自己線型作用素全体の成す空間 L(V,V)V双対空間とのテンソル積[math]V^* \otimes V\to \mathcal{L}(V,V);\;h\otimes v \mapsto (w \mapsto h(w)v)[/math] によって同一視することができる。このとき、標準的な双線型写像 [math]t\colon V^*\times V \to F;\; t(w^*,v)=w^*(v)\quad(w^*\in V^*,\,v\in V)[/math] から(テンソル積の普遍性により)導かれるテンソル積空間上の線型写像 tr: V* ⊗ VF を跡(トレース)と呼ぶ。
座標を用いた定義
K 上のベクトル空間 V 上の線形写像 f が有限次元の像を持つとき、V の有限個の元 x1, …, xn双対空間 V* の元 y1, …, yn が存在して f(z) = ∑ yi(z) xi (∀zV) となっている。このとき、yi(xi)x1, …, xny1, …, yn の選び方によらず f のみによって定まる量となり、f の跡あるいは指標 (distribution character) tr(f) とよばれる。
行列の跡
V が有限次元のとき、基底 {ei} とその双対基底 {ej} をとれば、eiej は線型写像のこの基底に関する表現行列の (i, j)-成分であり、任意の行列 A[math]A = \sum_{i,j} a_{ij} \, e_i \otimes e^j[/math]と書ける。従ってこの跡[math]\operatorname{tr}(A) = \sum_{i,j} a_{ij} \operatorname{tr}(e_i \otimes e^j) = \sum_{i,j} a_{ij}\delta_{ij} = \sum_{i=1}^n a_{ii}[/math] は対角線に沿った成分の和である(ここで、δクロネッカーのデルタ)。

性質

基本性質

以下、X, Y は適当なサイズの正方行列とする。

  • 行列のトレースは線型である:
    • tr(X + Y) = tr(X) + tr(Y),
    • tr(cX) = c tr(X) (c はスカラー).
  • tr(XY) = tr(YX).[注釈 1]

これらの性質はトレースを以下の意味で普遍性を持つものとして特徴づける:

不変性

  • 転置不変性: トレースは転置に関して不変である、即ち tr(tX) = tr(X).
  • 相似不変性: トレースは相似に関して不変である、即ち P が正則ならば、tr(P−1XP) = tr(X).
  • 巡回不変性: ふたつより多くの行列の積のトレースは巡回的に順番を変えても不変である、即ちσ巡回置換English版ならば tr(∏kXσ(k)) = tr(∏kXk).
    • σ を任意の置換とすると一般には成り立たないが、対称行列のときには tr(X1X2X3) = tr(X1X3X2) が成り立つ。

固有値との関係

これは、トレースの相似不変性と、任意の行列がジョルダン標準形に相似であること、およびジョルダン標準形の対角成分に代数重複度を込めた固有値が全てならぶことから明らかである。またこれと対照的に、行列式は固有値の積 det(X) = ∏テンプレート:Suλi である。

同じ理由により、自然数 k に対して tr(Xテンプレート:Exp) = テンプレート:Sumλiテンプレート:Exp が成り立つことが分かる。

その他の性質

  • 行列式の場合と異なり積のトレースはトレースの積とは一致しないが、クロネッカー積(行列のテンソル積)のトレースはトレースの積に一致する: tr(XY) = tr(X)tr(Y).
  • A対称かつ B反対称ならば tr(AB) = 0 である。
  • 単位行列 In のトレースは考えている空間の次元 n である(その意味で次元の概念をトレースを用いて一般化することもできる)。同様に、冪等行列English版 A(つまり A2 = A)のトレースは A階数であり、また冪零行列のトレースは零である。 より一般に、行列 A固有多項式f(x) = (xλ1)d1···(xλk)dk と因数分解できるならば
    tr(A) = d1λ1 + … + dkλk.
  • 任意の正方行列 A, B に対して、それらの(環論的)交換子のトレースは消える: tr([A,B]) = 0(リー環の言葉で言えば「跡写像は行列リー環 𝔤𝔩n からスカラーへの写像である」(後述)。特に相似不変性を考慮すれば、単位行列がどんな行列の対の交換子とも相似にならないことが分かる。逆に任意のトレース零な正方行列は交換子の線型結合として書ける。さらに言えば、任意のトレース零な正方行列は対角成分が全て零の正方行列とユニタリ同値になる。
  • 冪零行列の任意の冪のトレースは零である。係数体の標数が零ならば逆も成り立つ(任意の冪のトレースが零ならば冪零である)。
  • エルミート行列のトレースは実である(エルミート行列の対角成分はすべて実となることによる)。
  • 射影行列のトレースは行列の階数に等しい。すなわち、PX = X(XX)テンプレート:ExpX ならば tr(PX) = rank(X).

リー環上の写像として

跡は行列式の微分と対応付けられる。即ち、リー群における行列式のリー環における対応物が跡である。それを示すのが行列式の微分に対するヤコビの公式English版である。

特に、「単位元 I における微分係数」という特別の場合には

[math]\det(I+A) = 1 + \operatorname{tr}(A) + o(A)[/math]

oランダウの記号)という意味で行列式の微分がちょうど跡になる([math]\operatorname{tr}=\operatorname{det}'_I[/math])。このことから、リー環の間の跡写像とリー環からリー群への指数写像(あるいは具体的に行列の指数函数)との間の関係を

[math]\det(\exp(A)) = \exp(\operatorname{tr}(A))[/math]

と書くことができる。

ベクトル空間 V の次元が n であるとき、跡写像は V 上の線型写像の空間としての行列リー環 glテンプレート:Msub(k) からスカラーのリー環(自明なリー括弧積を持つ可換リー環と見て得られる)k への写像と見ることができる。これは即ち、交換子括弧のトレースが消える:

[math]\operatorname{tr}([A, B]) = 0[/math]

という意味に他ならない。跡写像のはトレース 0 の行列からなるが、そのような行列はしばしば跡が無い (traceless, tracefree) と言い、それら行列は単純リー環 slテンプレート:Msub(k) を成す。slテンプレート:Msub は行列式 1 の行列の成す特殊線型群 SLn のリー環である。SLn に属する行列が体積を変えない変換であることに類比して、slテンプレート:Msub の元は無限小体積を変えない行列である。

実は glテンプレート:Msub内部直和分解

[math]\mathfrak{gl}_n = \mathfrak{sl}_n \oplus k[/math]

が存在し、そのスカラー(行列)成分への射影はトレースを用いて

[math]A \mapsto \frac{1}{n}\operatorname{tr}(A) \cdot I[/math]

と書ける。きちんと述べるならば、(余単位射としての)跡写像に(単位射としての)「スカラーの包含」kglテンプレート:Msub を合成して glテンプレート:Msubglテンプレート:Msub を作れば、これはスカラー行列の成す部分リー環の上への写像で、それは n-倍として作用する。この n-倍の分だけ割って射影を得れば上記の如くである。

短完全列の言葉で言えば、

[math]0 \to \mathfrak{sl}_n \to \mathfrak{gl}_n \overset{\operatorname{tr}}{{}\to{}} k \to 0[/math]

がリー群の短完全列

[math]1 \to \mathit{SL}_n \to \mathit{GL}_n \overset{\operatorname{det}}{{}\to{}} K^* \to 1[/math]

に対応する形で成り立つが、跡写像は(スカラーの テンプレート:Fraction-倍を通じて)自然に分裂するから glテンプレート:Msub = slテンプレート:Msubk を得る。一方、行列式の分裂は行列式の n-乗根をとる必要があり、これは一般には写像を定めない。つまり、行列式は分裂せず、一般線型群も分解されない(GLテンプレート:MsubSLテンプレート:Msub × Kテンプレート:Msup)。

以下の双線型形式

[math]B(x, y) = \operatorname{tr}(\operatorname{ad}(x)\operatorname{ad}(y))\qquad(\operatorname{ad}(x)y := [x, y] = xy - yx)[/math]

キリング形式と呼ばれ、リー環の分類に用いられる。

正方行列 x, y に対して定義される双線型形式

[math](x, y) \mapsto \operatorname{tr}(xy)[/math]

は対称かつ非退化[注釈 2]、さらに

[math]\operatorname{tr}(x[y, z]) = \operatorname{tr}([x, y]z)[/math]

が成り立つ意味で結合的である。(slテンプレート:Msub のような)複素単純リー環に対しては、このような任意の双線型形式は互いに他の定数倍であり、特にキリング形式として書ける。

ふたつの行列 x, yトレース直交 (trace orthogonal) であるとは

[math]\operatorname{tr}(xy) = 0[/math]

を満たすときに言う。

フロベニウス内積・ノルム

複素 m × n 行列 A に対し、共軛転置とすれば、

[math] \operatorname{tr}(A^* A) \ge 0 [/math]

が成り立ち、等号成立は A = 0 のとき、かつそのときに限ることに注意する。これにより、対応

[math]\langle A, B\rangle = \operatorname{tr}(B^* A)[/math]

m × n 行列全体の成すの空間における内積の性質を満たす。特に行列の場合には、

[math]\operatorname{tr}(X^{\top}Y) = \operatorname{tr}(XY^{\top}) = \operatorname{tr}(Y^{\top}X) = \operatorname{tr}(YX^{\top}) = \sum_{i,j}X_{ij}Y_{ij}[/math]

はベクトルの点乗積に類似の形であることが確認できる(行列の一列化を通じて実際にベクトルの点乗積として

[math]\operatorname{tr}(X^{\top}Y) = \operatorname{vec}(Y)\cdot\operatorname{vec}(X) = \operatorname{vec}(X)\cdot\operatorname{vec}(Y)[/math]

と記述できる)。アダマール積を使って書くこともできる。しばしばベクトルの演算を行列に対して一般化する際に積のトレースが現れるのはこのような事情による。

この内積に対応するノルムフロベニウスノルムと呼ぶ。これは実際、行列を単に長さ m × n のベクトルと見做したときのユークリッドノルムである。

従って時に A, B が同じサイズの半正定値行列ならば

[math] 0 \leq \operatorname{tr}(A B)^2 \leq \operatorname{tr}(A^2) \operatorname{tr}(B^2) \leq \operatorname{tr}(A)^2 \operatorname{tr}(B)^2[/math]

が成り立つ[注釈 3]

一般化

[math]\operatorname{tr}(Z)=\operatorname{tr}_A(\operatorname{tr}_B(Z))=\operatorname{tr}_B(\operatorname{tr}_A(Z))[/math].
  • 一般に、体 k 上の結合多元環 A 上のトレースは、交換子の上で消える(つまり、任意の a, bA に対して tr([a, b]) = 0)任意の射 tr: Ak と定める。このような意味でのトレースは一意には決まらない(少なくとも非零スカラー倍したものに取り換えても明らかにこの定義を満たす)。
  • 超代数English版への一般化として超トレースEnglish版がある。
  • テンソルの縮約はトレースの概念を任意のテンソルに対して一般化する。

双対

トレースを定める写像の双対

[math]F^* = F \to V \otimes V^* \cong \operatorname{End}(V)[/math]

1 ∈ F を単位行列へ写すものであり、スカラーをスカラー行列へ写すという意味での包含写像である。この意味で、「トレースはスカラーの双対である」。双代数の言葉で言えば、スカラーが単位、トレースが余単位である。

合成写像

[math]F \overset{I}{{}\to{}} \operatorname{End}(V) \overset{\operatorname{tr}}{{}\to{}} F[/math]

は単位行列のトレースとしての n-倍写像である(この n は考えているベクトル空間 V の次元である)。

注釈

  1. tr(XY) = tr(YX)X, Y が正方行列でない場合にも、XY, YX がともに定義できる限りにおいて成り立つ。実際、X = (xij), Y = (yij) とすれば明らかに tr(XY) = ∑i,jxijyji = ∑i,jyjixij = tr(YX).
  2. これは [math]\operatorname{tr}(A^*A) = 0 \iff A = 0[/math]から従う
  3. コーシー・シュヴァルツの不等式で示せる

出典

参考文献

関連項目

外部リンク

テンプレート:Linear algebra