fredholm

B_1 et B_2 deux espaces vectoriels complexes de Hilbert.et soit T£L(B_1,B_2)
tel que dimkerT<+00 et codimT(B_1)<+00 (*)
on pose Ind(T)=dim(kerT)-dim(cokerT) avec coker=B_2/T(B_1) (ev-quetient).
soit T_1 £ L(B_1,B_2) et T_2 £ L(B_2,B_3) qui vérifient (*)
monter que T_2oT_1 vérifie (*) et que Ind(T_2oT_1)=Ind(T_2)+Ind(T_1).
bn chance.

je crois que les gens de l'agregation et de L3 doivent le faire.c'est du cours de l'analyse fonctionnelle pour eux,mais un bon exo pour nous.