Topologie des espaces vectoriels normés — CCINP et autres écoles

Exercices corrigés du CCINP et d’autres écoles sur le thème « topologie des espaces vectoriels normés », regroupés par filière.

MP–MPI


Exercice 1. (★★★) intérieur ; adhérence ; fermés
Soient {E} normé et {F} un sous-espace vectoriel.
a) Montrer que {\overline F} est un sous-espace.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Si {B(x_0,r)\subset F}, avec {r>0}, montrer que, pour tout {y\in E}, il existe {\alpha,\beta\in\mathbb{R}^\star} tels que {\alpha x_0+\beta y\in B(x_0,r)}.

En déduire {F=E}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Dans {M_n(\mathbb{K})}, montrer que l’ensemble {N} des matrices nilpotentes est fermé et d’intérieur vide.

Montrer que {\operatorname{Vect}N} est d’intérieur vide.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★★) valeurs intermédiaires ; chemins ; images continues
Soit {E} un espace vectoriel normé.
a) Montrer que {E} est connexe par arcs.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Si {f:E\to F} est continue, montrer que {f(A)} est connexe par arcs pour toute partie {A} connexe par arcs.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Montrer que {\mathbb{C}^\star} est connexe par arcs.

En déduire qu’il n’existe pas de bijection continue de {\mathbb{C}} sur {\mathbb{R}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
d) Montrer que l’indicatrice d’une partie ouverte et fermée de {E} est continue.

Déterminer toutes ces parties.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★★) image continue d’un connexe ; équivalence des normes ; sphères compactes
Pour un sous-espace non nul {F\subset C^1([0,1])}, soit {I=\left\{\lVert f\rVert_\infty/\lVert f\rVert_2:f\in F\setminus\left\{0\right\}\right\}}.

Décrire {I} si {\dim F=1}, montrer en général que c’est un intervalle inclus dans {[1,\infty[}, puis qu’il est fermé si {F} est de dimension finie.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★) valeurs d’adhérence ; convergence ; suites bornées
Dans un espace normé réel de dimension finie, supposons que {\lVert x-u_n\rVert} converge pour tout {x\in E}.

Montrer que {(u_n)} a une valeur d’adhérence, puis converge.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★) image continue d’un compact ; fermés ; chemins
Dans le plan euclidien, montrer que {H=\left\{y^2-x^2=1\right\}} est fermé.

Définir la connexité par arcs, montrer celle du cercle unité, puis que l’image continue réelle d’une partie non vide connexe par arcs, fermée et bornée est un segment.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★★) projecteurs orthogonaux ; norme d’opérateur ; fermés et bornés
Sur un espace euclidien, soit {K} l’ensemble des projecteurs orthogonaux.

Montrer qu’un projecteur {p} appartient à {K} si et seulement si {\lVert px\rVert\leq\lVert x\rVert} pour tout {x}, puis que {K} est compact.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★) valeurs d’adhérence ; convergence ; suites bornées
En dimension finie, supposer que {\lVert u_n-x\rVert} converge pour tout {x}.
a) Montrer l’existence d’une valeur d’adhérence.

b) Montrer la convergence de {(u_n)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


Retour aux planches par thème

Author: Jean-Michel Ferrard

Professeur de mathématiques en classe préparatoire aux grandes écoles.