δε代数の計算

古典テンソル計算って、かなり綱渡りだなー。

アインシュタイン規約、添字の上げ下げ、縮約は、トリッキーだがよく出来たマシナリーだなー、と感心する。が、合理化は面倒。

昔、トレース付き圏の計算をそれと知らずにやっていたが、変数の扱いで散々に混乱していた。同様に、古典テンソル計算でも添字の扱いは職人的だし、ちゃんとできるには修行が必要だし。