行列の成分表示を使わない trace って、どう定義されるんだっけ?
つまり、-(固有値の総和)のことなんだけど、これを一次変換の変換の性質を表す言葉を使った定義。