トレース

 基底
S による線形作用素 f の表現行列を A とする。

次が成り立つ


関数解析では右辺をトレースの定義とし、右辺が有限のときトレースクラスという。
可分ヒルベルト空間においてトレースクラスと核型作用素は同値。←要確認。バナッハでもおｋ？

特に有限次元でしかも標準内積を使っているときは以下のようになる。

リーマン多様体においては，

のトレースをとることが多い。
また，div にもトレースが表れる。