Bonjour,
Je bloque sur la démonstration de la propriété suivante :
Soit u un opérateur linéaire compact de E, alors Ker (I-u) est fermé de dimension finie.
Pour montrer que Ker(I-u) est de dim finie, on montre que la boule unité de Ker(I-u) est compacte. J'ai montré sans problèmes que Ker (I-u) était fermé mais à partir de là, comment conclure que la boule unité de Ker (I-u) est compacte? Faut-il dire que la boule est bornée, fermée donc compacte?
Autre question : les éléments de la boule unité de Ker (I-u) sont-ils bien les x dans E tels que u(x)=x et ||x|| <= 1 (on prend la norme sur E?)
