Topologie générale/Exercices/Équicontinuité
Exercice 1
Soient K un espace compact, E un espace métrique et A un ensemble équicontinu de fonctions de K dans E.
Montrer que sur A, la [[../../Espace produit#Cas d'un produit d'espaces identiques|topologie de la convergence simple]] et [[../../Espace topologique#Exemples classiques d'espaces topologiques|celle de la convergence uniforme]] coïncident. Modèle:Solution
Exercice 2
Les deux ensembles suivants sont-ils équicontinus ?
- ;
- .
- Soit la suite de fonctions de dans définie par . En quels points l'ensemble est-il équicontinu ?
- Même question pour l'ensemble des fonctions définies par .
Exercice 3
Soient deux espaces métriques, et une suite de fonctions de dans , équicontinue en . On suppose que .
- Montrer que si alors .
- Ce résultat est-il encore vrai si l'on ne suppose plus l'équicontinuité ? On pourra considérer la suite et .
Exercice 4
Soit l'espace de Banach des fonctions höldériennes d'exposant de dans , muni de la norme
- .
On note la boule unité fermée de , et l'on rappelle que pour tout , .
- Montrer que pour tout , est relativement compact dans .
- Montrer que est équicontinue.
- Dans , montrer que est fermée et en déduire qu'elle est compacte.
Exercice 5
Soit et définie par
- .
Soit une suite bornée de .
- Montrer que est uniformément continue.
- Montrer que est équicontinue.
- Montrer que admet une sous-suite convergente.
Exercice 6
On considère l'espace de Banach , muni de sa norme habituelle . Pour tout , on pose, pour , et :
- ;
- .
Soit un sous-ensemble fermé tel que :
- (i) est borné ;
- (ii) quand ;
- (iii) quand .
On cherche à montrer que est compact dans car complet et précompact.
- Montrer que pour tout , est continue et intégrable.
- Montrer que quand .
- Montrer que pour tout , l'ensemble est équicontinu.
- En déduire que pour tout , est d'adhérence compacte dans , puis dans .
- Montrer que est compact dans .
Exercice 7
Soit un sous-espace fermé de l'espace vectoriel des fonctions continues de dans . Montrer que :
- si toute application est de classe CModèle:Exp, alors est de dimension finie ;
- si toute application est [[../../Espace métrique#Continuité uniforme|höldérienne]], alors est de dimension finie. (Indication : considérer les .)