Espaces de Banach/Exercices/Applications linéaires continues
Exercice 3-1
Soient et deux espaces de Banach et . On suppose que est un isomorphisme et . Montrer qu'il existe tel que pour tout scalaire de module , soit un isomorphisme. (Utiliser le début de Calcul différentiel/Exercices/Différentiabilité#Exercice 2.) Modèle:Solution
Exercice 3-2
Modèle:Wikipédia Soient et deux espaces de Banach. On dit qu'un opérateur linéaire est compact si est relativement compact dans (c'est-à-dire d'adhérence compacte). On désigne par le sous-espace vectoriel des opérateurs compacts de dans .
- Soit une suite d'éléments de , convergeant vers . Montrer que est précompact. (On en déduit qu'il est relativement compact — puisque est complet — et par conséquent est fermé dans .)
- Soit un espace de Banach. Si et , montrer que .
- Soit . Montrer que le sous-espace est de dimension finie (montrer que la boule unité fermée de ce sous-espace est compacte).
Exercice 3-3
On considère l'espace de Banach muni de la norme .
Soit une fonction continue sur , bornée par .
On définit une application linéaire par .
Pour tout , on note l'application itérée fois de , c'est-à-dire .
- Montrer que pour tout , , pour tout .
- Soient et . Montrer que la série est convergente dans .
- En déduire que l'équation de Volterra, , possède une unique solution dans .
Exercice 3-4
Soit une suite de nombres complexes et soit l'application linéaire de dans lui-même () définie par
- .
- Montrer que est continue si et seulement si est bornée.
- On suppose que tend vers 0. Montrer que est un opérateur compact Modèle:Supra. Indication : on pourra introduire la suite des opérateurs définis par si et sinon.
- Réciproquement, on suppose que ne tend pas vers 0. En raisonnant par l'absurde, montrer que n'est pas compact.
Exercice 3-5
Soit muni de la norme uniforme, et une application continue. Soit l'application linéaire qui à associe définie par
- .
- Montrer que est continue.
- Montrer que peut être approximée uniformément par une suite de polynômes à deux variables, que l'on notera .
- On définit l'application qui à associe définie par . Montrer que est un opérateur de rang fini pour tout .
- Montrer que , ce qui prouve que est un opérateur compact Modèle:Supra.