跡 (線型代数学)

数学の線型代数学において、正方行列の跡（せき、; トレース、; シュプール）あるいは対角和（たいかくわ）とは、主対角成分の総和である。記号ではやなどで表される。つまり

を指す。それは基底変換に関して不変であり、また固有値の総和（固有値和）に等しい。ゆえに、行列の跡は行列の相似に関する不変量であり、そこから、行列に対応する線型写像の跡として定義することができる。

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

定義座標に依らない定義係数体上有限次元ベクトル空間上の自己線型作用素全体の成す空間をの双対空間とのテンソル積と

によって同一視することができる。このとき、標準的な双線型写像

から（テンソル積の普遍性により）導かれるテンソル積空間上の線型写像を跡（トレース）と呼ぶ。座標を用いた定義体上のベクトル空間上の線形写像が有限次元の像を持つとき、の有限個の元と双対空間の元が存在してとなっている。このとき、はとの選び方によらずのみによって定まる量となり、の跡あるいは指標 (distribution character) tr(f) とよばれる。行列の跡が有限次元のとき、基底 } とその双対基底 } を取れば、は線型写像のこの基底に関する表現行列の -成分であり、任意の行列は

と書ける。したがってこの跡

は対角線に沿った成分の和である（ここで、はクロネッカーのデルタ）。

性質基本性質以下、は適当なサイズの正方行列とする。行列のトレースは線型である: , ( はスカラー). .

これらの性質はトレースを以下の意味で普遍性を持つものとして特徴づける: を満たす線型汎函数はの定数倍に限る。

不変性転置不変性: トレースは転置に関して不変である、即ち . 相似不変性: トレースは相似に関して不変である、即ちが正則ならば、. 巡回不変性: 2個以上の行列の積のトレースは巡回的に順番を変えても不変である、即ちがならば . を任意の置換とすると一般には成り立たないが、3つの対称行列の積のときにはが成り立つ。

固有値との関係実または複素正方行列の固有値が（代数重複度を込めて）であるとき、が成り立つ。これは、トレースの相似不変性と、任意の行列がジョルダン標準形に相似であること、およびジョルダン標準形の対角成分に代数重複度を込めた固有値が全て並ぶことから明らかである。またこれと対照的に、行列式は固有値の積である。

同じ理由により、自然数に対してが成り立つことが分かる。

その他の性質行列式の場合と異なり積のトレースはトレースの積とは一致しないが、クロネッカー積（行列のテンソル積）のトレースはトレースの積に一致する: . が対称かつが反対称ならばである。単位行列のトレースは考えている空間の次元である（その意味で次元の概念をトレースを用いて一般化することもできる）。同様に、冪等行列（つまり）のトレースはの階数であり、また冪零行列のトレースは零である。より一般に、行列の固有多項式がと因数分解できるならば . 任意の正方行列に対して、それらの（環論的）交換子のトレースは消える: （リー環の言葉で言えば「跡写像は行列リー環からスカラーへの写像である」（後述）。特に相似不変性を考慮すれば、単位行列がどんな行列の対の交換子とも相似にならないことが分かる。逆に任意のトレース零な正方行列は交換子の線型結合として書ける。さらに言えば、任意のトレース零な正方行列は対角成分が全て零の正方行列とユニタリ同値になる。冪零行列の任意の冪のトレースは零である。係数体の標数が零ならば逆も成り立つ（任意の冪のトレースが零ならば冪零である）。エルミート行列のトレースは実である（エルミート行列の対角成分はすべて実となることによる）。射影行列のトレースは行列の階数に等しい。すなわち、ならば .

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

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

（はランダウの記号）という意味で行列式の微分がちょうど跡になる（）。このことから、リー環の間の跡写像とリー環からリー群への指数写像（あるいは具体的に行列の指数函数）との間の関係を

と書くことができる。

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

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

実はの内部直和分解

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

と書ける。きちんと述べるならば、（余単位射としての）跡写像に（単位射としての）「スカラーの包含」を合成してを作れば、これはスカラー行列の成す部分リー環の上への写像で、それは倍として作用する。この倍の分だけ割って射影を得れば上記の如くである。

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

がリー群の短完全列

に対応する形で成り立つが、跡写像は（スカラーの倍を通じて）自然に分裂するからを得る。一方、行列式の分裂は行列式の乗根をとる必要があり、これは一般には写像を定めない。つまり、行列式は分裂せず、一般線型群も分解されない（）。

以下の双線型形式

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

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

は対称かつ非退化、さらに

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

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

を満たすときに言う。

フロベニウス内積・ノルム複素行列に対し、は共軛転置とすれば、

が成り立つ。なお、等号成立⇔ である。これにより、対応

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

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

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

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

したがって特にが同じサイズの半正定値行列ならば

が成り立つ。

一般化行列の跡の概念はヒルベルト空間上のコンパクト作用素の成すトレースクラスに一般化される。行列の跡の定めるフロベニウスノルムの類似としてヒルベルト–シュミットノルムが定まる。また別の一般化としては作用素に値をとる。テンソル積空間上の線型作用素のトレースはおよび上の偏トレースの合成に等しい: . 一般に、体上の結合多元環上のトレースは、交換子の上で消える（つまり、任意のに対して）任意の射と定める。このような意味でのトレースは一意には決まらない（少なくとも非零スカラー倍したものに取り換えても明らかにこの定義を満たす）。への一般化としてがある。テンソルの縮約はトレースの概念を任意のテンソルに対して一般化する。

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

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

合成写像

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

脚注

注釈

出典

参考文献

跡 (線型代数学)

Źródło i licencja