Fredholm作用素のindexの定義はdim(Ker)-dim(Cok)って、言ってしまえば対称和なのに、指数定理はそれと対応するとか言っていて……はてさてまあそもそも、ここら辺は有限次元からどれくらい離れているか見るもんやから納得できなくはないのよね