数学、特に線型代数学における行列の跡（せき、; トレース、; シュプール）あるいは対角和（たいかくわ）は行列の主対角成分の総和である。それは基底変換に関して不変であり、また固有値の総和（固有値和）に等しい。即ち、行列の跡は行列の相似を除いて定まり、したがって一般に行列に対応する線型写像の跡として定義することができる。行列の跡は、正方行列に対してのみ定義されることに注意せよ。この語は（この同じ数学的対象を意味する）ドイツ語のSpurからの翻訳借用である。以下、 は適当なサイズの正方行列とする。これらの性質はトレースを以下の意味で普遍性を持つものとして特徴づける:これは、トレースの相似不変性と、任意の行列がジョルダン標準形に相似であること、およびジョルダン標準形の対角成分に代数重複度を込めた固有値が全てならぶことから明らかである。またこれと対照的に、行列式は固有値の積 である。同じ理由により、自然数 に対して が成り立つことが分かる。跡は行列式の微分と対応付けられる。即ち、リー群における行列式のリー環における対応物が跡である。それを示すのが行列式の微分に対するである。特に、「単位元 における微分係数」という特別の場合には（ はランダウの記号）という意味で行列式の微分がちょうど跡になる（formula_7）。このことから、リー環の間の跡写像とリー環からリー群への指数写像（あるいは具体的に行列の指数函数）との間の関係をと書くことができる。ベクトル空間 の次元が であるとき、跡写像は 上の線型写像の空間としての行列リー環 からスカラーのリー環（自明なリー括弧積を持つ可換リー環と見て得られる） への写像と見ることができる。これは即ち、交換子括弧のトレースが消える:という意味に他ならない。跡写像の核はトレース の行列からなるが、そのような行列はしばしば跡が無い (', ') と言い、それら行列は単純リー環 を成す。 は行列式 の行列の成す特殊線型群 のリー環である。 に属する行列が体積を変えない変換であることに類比して、 の元は無限小体積を変えない行列である。実は のが存在し、そのスカラー（行列）成分への射影はトレースを用いてと書ける。きちんと述べるならば、（射としての）跡写像に（単位射としての）「スカラーの包含」 を合成して を作れば、これはスカラー行列の成す部分リー環の上への写像で、それは -倍として作用する。この -倍の分だけ割って射影を得れば上記の如くである。短完全列の言葉で言えば、がリー群の短完全列に対応する形で成り立つが、跡写像は（スカラーの -倍を通じて）自然に分裂するから を得る。一方、行列式の分裂は行列式の -乗根をとる必要があり、これは一般には写像を定めない。つまり、行列式は分裂せず、一般線型群も分解されない（）。以下の双線型形式はキリング形式と呼ばれ、リー環の分類に用いられる。正方行列 に対して定義される双線型形式は対称かつ非退化、さらにが成り立つ意味で結合的である。（ のような）複素単純リー環に対しては、このような任意の双線型形式は互いに他の定数倍であり、特にキリング形式として書ける。 ふたつの行列 がトレース直交 ("trace orthogonal") であるとはを満たすときに言う。複素 行列 に対し、 は共軛転置とすれば、が成り立ち、等号成立は のとき、かつそのときに限ることに注意する。これにより、対応は 行列全体の成すの空間における内積の性質を満たす。特に実行列の場合には、はベクトルの点乗積に類似の形であることが確認できる（を通じて実際にベクトルの点乗積としてと記述できる）。アダマール積を使って書くこともできる。しばしばベクトルの演算を行列に対して一般化する際に積のトレースが現れるのはこのような事情による。この内積に対応するノルムをフロベニウスノルムと呼ぶ。これは実際、行列を単に長さ のベクトルと見做したときのユークリッドノルムである。従って時に が同じサイズの半正定値行列ならばが成り立つ。トレースを定める写像の双対は を単位行列へ写すものであり、スカラーをスカラー行列へ写すという意味での包含写像である。この意味で、「トレースはスカラーの双対である」。の言葉で言えば、スカラーが単位、トレースが余単位である。合成写像は単位行列のトレースとしての -倍写像である（この は考えているベクトル空間 の次元である）。

出典:wikipedia