跡 (線型代数学)

数学の線型代数学において、正方行列の**跡**（せき、; **トレース**、; シュプール）あるいは**対角和**（たいかくわ）とは、主対角成分の総和である。つまり
:\operatorname{tr} \begin{bmatrix} 
a_{1,1} &a_{1,2} &\dots &a_{1,n} \\
a_{2,1} &a_{2,2} &\dots &a_{2,n} \\
\vdots &\vdots &\ddots &\vdots \\
a_{n,1} &a_{n,2} &\dots &a_{n,n}
\end{bmatrix} = a_{1,1} + a_{2,2} + \dotsb + a_{n,n}
を指す。それは基底変換に関して不変であり、また固有値の総和（**固有値和**）に等しい。ゆえに、行列の跡は行列の相似に関する不変量であり、そこから、行列に対応する線型写像の跡として定義することができる。

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

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

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

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

### 不変性
* **転置不変性**: トレースは転置に関して不変である、即ち .
* **相似不変性**: トレースは相似に関して不変である、即ち  が正則ならば、.
* **巡回不変性**: 2個以上の行列の積のトレースは巡回的に順番を変えても不変である、即ち がならば \operatorname{tr} \left( \textstyle\prod\limits_k X_{\sigma(k)} \right) = \operatorname{tr} \left( \textstyle\prod\limits_k X_k \right).
**  を任意の置換とすると一般には成り立たないが、対称行列のときには  が成り立つ。

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

同じ理由により、自然数  に対して \operatorname{tr} X^k = \textstyle\sum\limits_{i=1}^n {\lambda_i}^k が成り立つことが分かる。

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

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

特に、「単位元  における微分係数」という特別の場合には
: \det(I+A) = 1 + \operatorname{tr}(A) + o(A)
（ はランダウの記号）という意味で行列式の微分がちょうど跡になる（\operatorname{tr}=\operatorname{det}'_I）。このことから、リー環の間の跡写像とリー環からリー群への指数写像（あるいは具体的に行列の指数函数）との間の関係を
: \det(\exp(A)) = \exp(\operatorname{tr}(A))
と書くことができる。

ベクトル空間  の次元が  であるとき、跡写像は  上の線型写像の空間としての行列リー環  からスカラーのリー環（自明なリー括弧積を持つ可換リー環と見て得られる） への写像と見ることができる。これは即ち、交換子括弧のトレースが消える:
: \operatorname{tr}([A, B]) = 0
という意味に他ならない。跡写像の核はトレース  の行列からなるが、そのような行列はしばしば**跡が無い** (***', ***') と言い、それら行列は単純リー環  を成す。 は行列式  の行列の成す特殊線型群  のリー環である。 に属する行列が体積を変えない変換であることに類比して、 の元は無限小体積を変えない行列である。

実は  の内部直和分解
: \mathfrak{gl}_n = \mathfrak{sl}_n \oplus k
が存在し、そのスカラー（行列）成分への射影はトレースを用いて
: A \mapsto \frac{1}{n}\operatorname{tr}(A) \cdot I
と書ける。きちんと述べるならば、（余単位射としての）跡写像に（単位射としての）「スカラーの包含」 を合成して  を作れば、これはスカラー行列の成す部分リー環の上への写像で、それは 倍として作用する。この 倍の分だけ割って射影を得れば上記の如くである。

短完全列の言葉で言えば、
:0 \to \mathfrak{sl}_n \to \mathfrak{gl}_n \overset{\operatorname{tr}} k \to 0
がリー群の短完全列
:1 \to \mathit{SL}_n \to \mathit{GL}_n \overset{\operatorname{det}} K^* \to 1
に対応する形で成り立つが、跡写像は（スカラーの 倍を通じて）自然に分裂するから  を得る。一方、行列式の分裂は行列式の 乗根をとる必要があり、これは一般には写像を定めない。つまり、行列式は分裂せず、一般線型群も分解されない（）。

以下の双線型形式
: B(x,y) = \operatorname{tr}(\operatorname{ad}(x)\operatorname{ad}(y))\qquad(\operatorname{ad}(x)y := [x,y] = xy-yx)
はキリング形式と呼ばれ、リー環の分類に用いられる。

正方行列  に対して定義される双線型形式
: (x, y) \mapsto \operatorname{tr}(xy)
は対称かつ非退化、さらに
: \operatorname{tr}(x[y,z]) = \operatorname{tr}([x,y]z)
が成り立つ意味で結合的である。（ のような）複素単純リー環に対しては、このような任意の双線型形式は互いに他の定数倍であり、特にキリング形式として書ける。 

ふたつの行列  が**トレース直交** (*trace orthogonal*) であるとは
: \operatorname{tr}(xy) = 0
を満たすときに言う。

## フロベニウス内積・ノルム
複素  行列  に対し、 は共軛転置とすれば、
: \operatorname{tr}(A^* A) \ge 0
が成り立つ。なお、等号成立⇔  である。これにより、対応
: \langle A, B\rangle = \operatorname{tr}(B^* A)
は  行列全体の成す空間における内積の性質を満たす。特に実行列の場合には、
:\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}
はベクトルの点乗積に類似の形であることが確認できる（行列の一列化を通じて実際にベクトルの点乗積として
:\operatorname{tr}(X^{\top}Y) = \operatorname{vec}(Y)\cdot\operatorname{vec}(X) = \operatorname{vec}(X)\cdot\operatorname{vec}(Y)
と記述できる）。アダマール積を使って書くこともできる。しばしばベクトルの演算を行列に対して一般化する際に積のトレースが現れるのはこのような事情による。

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

したがって時に  が同じサイズの半正定値行列ならば
: 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
が成り立つ。

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

## 双対
トレースを定める写像の双対
: F^* = F \to V \otimes V^* \cong \operatorname{End}(V)
は  を単位行列へ写すものであり、スカラーをスカラー行列へ写すという意味での包含写像である。この意味で、「トレースはスカラーの双対である」。双代数の言葉で言えば、スカラーが単位、トレースが余単位である。

合成写像
: F \overset{I} \operatorname{End}(V) \overset{\operatorname{tr}} F
は単位行列のトレースとしての 倍写像である（この  は考えているベクトル空間  の次元である）。

## 脚注

### 注釈

### 出典

## 参考文献
* 
* 

## 関連項目
* トレース (体論)

## 外部リンク
* 
* 
* 
* 
* 
* 
*