Topologie des espaces vectoriels normés — Polytechnique

Exercices corrigés de Polytechnique sur le thème « topologie des espaces vectoriels normés », regroupés par filière.

MP–MPI


Exercice 1. (★★★) Séries absolument convergentes ; Suites extraites
Pour {\rho>1}, soit {A_\rho=\left\{\sum_{n=1}^\infty\frac{\varepsilon_n}{\rho^n}: \varepsilon_n\in\left\{-1,1\right\}\right\}.}Montrer que {A_\rho} 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 2. (★★) Adhérence et intérieur ; Rang ; Ouverts et fermés
Soit {E} de dimension finie sur {K=\mathbb{R}} ou {\mathbb{C}}, et {A_r=\left\{u\in\mathcal L(E):\operatorname{rg}u=r\right\}}, {0\le r\le\dim E}.

Déterminer si {A_r} est ouvert ou fermé, puis son intérieur et son adhérence.

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. (★★★★) Continuité du déterminant ; Conjugaison ; Matrices semblables
Pour {H,K\in\mathcal M_n(\mathbb{C})}, posons {f_{H,K}(Z)=HZ+K\overline Z}.
1) Montrer que {f_{H,K}^2=-I} équivaut à {H^2+K\overline K=-I} et {HK+K\overline H=0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer qu’au voisinage de {(iI,0)}, ces conditions équivalent à l’existence d’une unique matrice {B} telle que {f_{H,K}=f_{B,K}\circ f_{iI,0}\circ f_{B,K}^{-1}}.
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. (★★★) Densité ; Cardinal ; Divisibilité
Soit {A\subset\mathbb{N}^\star} de densité {d>0}, et {Q=\left\{a/b:a,b\in A\right\}}.
1) Montrer que {Q} est dense dans {\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 :
2) Si {d=1}, montrer que {Q=\mathbb{Q}_+^\star}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Pour tout {\varepsilon>0}, construire un tel {A} de densité au moins {1-\varepsilon} avec {Q\ne\mathbb{Q}_+^\star}.
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. (★★★★) Fermés ; Bornes atteintes ; Parties convexes
Soit {K\subset\mathbb{R}^2} convexe fermé non vide.
a) Si {K} est borné, montrer qu’il est intersection de carrés fermés.
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 {K} est non borné et différent du plan, donner des exemples.

Montrer que deux droites contenues dans {K} sont parallèles.

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) Si {K} est non borné, montrer qu’il contient une demi-droite.
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. (★★★★) Espaces vectoriels normés ; Sous-multiplicativité ; Convergence absolue
Sur {\mathcal M_d(\mathbb{R})}, utiliser la norme d’opérateur euclidienne.
a) Montrer que {\lVert AB\rVert\le\lVert A\rVert\lVert B\rVert}.

b) Si {\sum\limits|u_n-1|\lt \infty} pour une suite réelle, montrer que {\prod\limits_{k=0}^nu_k} converge. Soient maintenant {M_n} avec {\sum\limits\lVert M_n-I_d\rVert\lt \infty}.

Poser {B_n=M_0\cdots M_n}.

c) Montrer que {B_n} converge.

d) Que dire de {M_{\sigma(0)}\cdots M_{\sigma(n)}} pour une permutation {\sigma} de {\mathbb{N}} ?

e) L’ensemble {E} de toutes ces limites peut-il ne pas être fermé ?

f) Pour {k\ge1}, peut-on obtenir exactement {k} composantes connexes pour {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 :

Exercice 7. (★★★★) Intervalles emboîtés ; Recouvrements ouverts ; Positivité de l'intégrale
La longueur d’un intervalle borné de bornes {a,b} est {|b-a|}.
a) Si {[0,1]\subset\bigcup_{i=1}^NI_i}, que dire de {\sum\limits_i\ell(I_i)} ?
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) Pour {\delta:[0,1]\to\mathbb{R}_+^\star}, montrer l’existence d’une subdivision {0=x_0\lt x_1\lt \cdots\lt x_p=1} et de points {t_j\in[x_{j-1},x_j]} tels que {x_j-x_{j-1}\le\delta(t_j)}.
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) Même question qu’en a) pour un recouvrement dénombrable {(I_n)_{n\ge1}}.
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 8. (★★★★) Dérivation terme à terme ; Convergence normale ; Fermés
Soit {F} un fermé de {\mathbb{R}}.

Montrer qu’il existe {f\in C^\infty(\mathbb{R},\mathbb{R})} telle que {F=f^{-1}(\left\{0\right\})}.

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 9. (★★★★) Fermés ; Convergence simple ; Applications lipschitziennes
Soit {F} l’ensemble des fonctions {[0,1]\to[0,1]} et {C} sa partie formée des fonctions continues. Poser {I=\left\{f:\left\{x:f(x)\le a\right\}\text{ est fermé pour tout }a\in[0,1]\right\},}{S=\left\{f:\left\{x:f(x)\ge a\right\}\text{ est fermé pour tout }a\in[0,1]\right\}.}Pour {n\in\mathbb{N}}, poser {L_n(f)(x)=\inf_{y\in[0,1]}(f(y)+n|x-y|)}.
a) Montrer que {C=I\cap S}.
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) Montrer que les {L_n(f)} sont continues et croissent avec {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 :
c) Montrer que {f\in I} si et seulement si {f} est le supremum ponctuel d’une suite de fonctions de {C}.
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 10. (★★★★) Racines de l'unité ; Espaces vectoriels normés ; Sous-multiplicativité
Soit {A} une {\mathbb{C}}-algèbre unitaire munie d’une norme {N} telle que {N(ab)=N(a)N(b)}. On identifie {z\in\mathbb{C}} à {z1_A}.
1) Pour {x\in A}, montrer que {z\mapsto N(x-z)} possède un minimum en un point {z_0}.

Poser {a=x-z_0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Si {N(a)=2}, montrer que {N(a-z)\ge2} pour toute racine {n}-ième de l’unité {z}, puis que {N(a-1)=2} et {N(a-5)=2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) En déduire que {A} est isomorphe à {\mathbb{C}}.
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 11. (★★) Adhérence ; Sous-espaces vectoriels ; Raisonnement et ensembles
Soient {V=\mathbb{C}^n}, {T=(\mathbb{C}^\star)^n}, et {H\cdot v=\left\{(h_1v_1,\ldots,h_nv_n):h\in H\right\}}.
1) Décrire topologiquement {T\cdot v} et son adhérence.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Déterminer les sous-espaces {W} tels que {W\cdot v=W} pour tout {v\in T}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Dénombrer les chaînes strictes {W_0\subsetneq\cdots\subsetneq W_n} de tels sous-espaces.
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 12. (★) Connexité par arcs ; Ouverts ; Fermés
Soit {E} un espace vectoriel normé.

Que dire d’une partie {A} à la fois ouverte et fermé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 :

Exercice 13. (★★) Densité ; Intérieur ; Adhérence
Trouver une partie {A} de {\mathbb{R}} telle que {A}, {\operatorname{int}A}, {\overline A}, {\operatorname{int}(\overline A)} et {\overline{\operatorname{int}A}} soient toutes distinctes.
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 14. (★★★) Convexité, Optimisation ; Équivalence des normes ; Boules
1) Montrer que la boule unité fermée d’une norme sur {\mathbb{R}^d} est fermée, bornée, d’intérieur non vide, convexe et symétrique par rapport à {0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Réciproquement, soit {C\subset\mathbb{R}^d} non vide, fermée, bornée, d’intérieur non vide, convexe et symétrique par rapport à {0}.

Montrer que {C} est la boule unité fermée d’une norme.

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 15. (★★) Compacité ; Caractérisation séquentielle de la continuité ; Fermés
Soit {f:[0,1]\to\mathbb{R}} et {\Gamma_f} son graphe.
1) Si {f} est continue, montrer que {\Gamma_f} est fermé dans {\mathbb{R}^2}.

La réciproque est-elle vraie ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Si {\Gamma_f} est compact, montrer que {f} est continue.
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 16. (★★★★) Connexité par arcs ; Périodicité ; Exponentielle complexe
Existe-t-il une fonction continue {f:\mathbb{C}\to\mathbb{C}} telle que {f\circ f=\exp} ?
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 17. (★★★★) Fonctions de dérivée constante ; Ouverts ; Dérivation d'une composée
Déterminer les fonctions dérivables {f:\mathbb{R}\to\mathbb{R}} telles que {f(x)f(y)=f(x+yf(x))} pour tous {x,y\in\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 :

Exercice 18. (★★★★) Densité ; Dérivées successives ; Bornes atteintes
Déterminer les {f\in C^2([0,1],\mathbb{R})} telles que {f(x)=2(f(x/2)+f(1-x/2))} pour tout {x\in[0,1]}.
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 19. (★★★★★) Compacité en dimension finie ; Fermés ; Bornes inférieures
Soient {N,d\ge1} entiers, {D=\left\{-N,\ldots,N\right\}^d}, {\partial D=\left\{x\in D:\exists i,\ |x_i|=N\right\}} et {D^\circ=D\setminus\partial D}. Pour {x\in D^\circ}, posons {\Delta_i u(x)=2u(x)-u(x+e_i)-u(x-e_i)} et {Mu(x)=\prod\limits_{i=1}^d\Delta_i u(x)}. Une fonction est dite concave si {\Delta_i u\ge0} pour tout {i}.
1) Construire {u\ge0}, concave, nulle sur {\partial D}, avec {Mu>0} dans {D^\circ}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Pour {f:D^\circ\to\mathbb{R}_+}, montrer que l’ensemble {A} des fonctions {h\ge0}, concaves, nulles au bord, vérifiant {Mh\ge f}, est non 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 :
3) Pour {u(x)=\inf_{h\in A}h(x)}, montrer {u\in A} et {Mu=f}.
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 20. (★★★★) Ouverts et fermés ; Ensembles dénombrables ; Dérivation terme à terme
Soient {F} un fermé de {\mathbb{R}} et {O=\mathbb{R}\setminus F}.
1) Montrer que {O} est une réunion dénombrable d’intervalles ouverts bornés.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Construire {f\in C^\infty(\mathbb{R},\mathbb{R})} telle que {F=f^{-1}(\left\{0\right\})}.
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 21. (★★★★★) Convexité, Optimisation ; Intérieur relatif ; Fermés
** Montrer que tout convexe non borné d’un espace vectoriel réel de dimension finie contient une demi-droite. On pourra commencer par un convexe fermé.
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 22. (★★★★★) Bornes inférieures ; Suites extraites ; Équivalents
** Pour {k\ge1}, soit {E_k} l’ensemble des rayons {r>0} de disques fermés contenant au moins {k} points de {\mathbb{Z}^2}, et {R_k=\inf E_k}.
a) Calculer {R_2,R_3,R_4}.
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) Montrer que {R_k} est le minimum de {E_k}.
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 {4R_k^2} est entier.
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) Donner un équivalent de {R_k} lorsque {k\to\infty}.
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 23. (★★★★) Ouverts ; Monotonie ; Accroissements finis
Soit {f\in C^2(\mathbb{R},\mathbb{R})} avec {f^2\le1} et {(f')^2+(f'')^2\le1}. On veut montrer {f^2+(f')^2\le1}.

Supposons le contraire en un point {t} et posons {E=\left\{x:\forall y\in[\min(t,x),\max(t,x)],\ f(y)^2+f'(y)^2>1\right\}.}

a) Montrer que {E} est un intervalle ouvert.
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) Montrer que {f'} ne s’annule pas sur {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) Conclure.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PC


Exercice 1. (★★) Nombres réels ou complexes ; Densité ; Caractérisation séquentielle
Sur le cercle complexe de centre {0} et de rayon {\sqrt2}, montrer que tout point est limite de points {p_n+iq_n} avec {p_n,q_n} rationnels. Indication : utiliser des droites passant par {(-1,-1)}.
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. (★★★★) Ouverts ; Valeurs intermédiaires ; Dénombrabilité
Construire une famille d’intervalles non réduits à un point, deux à deux disjoints, dont la réunion contient {\mathbb{Q}} et dont la somme des longueurs vaut {42}.
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. (★★★★★) racines et multiplicités ; adhérence ; rayon de convergence
Soit {E} l’ensemble des polynômes non nuls à coefficients dans {\left\{-1,0,1\right\}} et {A} l’ensemble de leurs racines.

Déterminer l’adhérence de {A}.

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. (★★★★★) parties convexes ; caractérisation séquentielle ; familles libres et génératrices
Pour {A\subset\mathbb{R}^2}, son enveloppe convexe est l’ensemble des combinaisons finies {\sum\limits_i\lambda_ix_i}, {x_i\in A}, {\lambda_i\ge0}, {\sum\limits_i\lambda_i=1}. Supposons que deux points quelconques de {A} puissent être reliés par un chemin continu dans {A}.

Montrer {\operatorname{Conv}(A)=\bigcup_{a,b\in A}[a,b]}.

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.