Espaces vectoriels normés — Polytechnique

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

MP–MPI


Exercice 1. (★★★★) Intégration sur un segment ; Cauchy-Schwarz ; Normes subordonnées
Sur {\mathbb{R}^n} euclidien, poser {|||A|||=\sup_{\lVert X\rVert\le1}\lVert AX\rVert}.
a) Montrer qu’il s’agit 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 :
b) Montrer que {|||A|||=\sup_{\lVert X\rVert,\lVert Y\rVert\le1}|\langle AX,Y\rangle|}.
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) Pour {A=(1/(i+j+1))_{0\le i,j\le n}}, interpréter {\langle AX,Y\rangle} par une intégrale faisant intervenir {P(t)=\sum\limits_{k=0}^nx_ke^{ikt}} et {Q(t)=\sum\limits_{k=0}^ny_ke^{ikt}}, {t\in[0,2\pi]}.
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) En déduire {|||A|||\le2\pi}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
e) Montrer même {|||A|||\le\pi}.
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. (★★) Restrictions ; Limites ; Caractérisation séquentielle
Trouver {f:\mathbb{R}^2\to\mathbb{R}} continue hors de l’origine, discontinue à l’origine, dont la restriction à toute droite passant par l’origine soit 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 3. (★★★★★) Continuité uniforme ; Normes équivalentes ; Composition d'applications continues
Soient {D=[-1,1]^2} et {C=\partial D}. On veut montrer qu’il n’existe pas de rétraction continue {r:D\to C} égale à l’identité sur {C}.
a) Soit {f:\mathbb{R}^2\to\mathbb{R}} antisymétrique et {A=(a_{ij})} une grille telle que la somme de {f} le long des quatre côtés de chaque petite case soit nulle.

Montrer que la somme de {f} le long du bord extérieur est nulle.

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) Soit une matrice de taille {n+2}, à coefficients dans {\left\{1,2,3\right\}}, dont le bord supérieur et le bord gauche valent {1}, le bord droit hors coins vaut {3} et le bord inférieur hors coin gauche vaut {2}.

Montrer qu’au moins une petite case comporte trois valeurs différentes.

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 qu’il existe {\eta>0} tel que {\lVert x-y\rVert_\infty\le\eta} implique {\lVert r(x)-r(y)\rVert\le1/10}.
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) Pour {2/(n-1)\le\eta}, poser {v_{ij}=(1-2(i-1)/(n-1),1-2(j-1)/(n-1))}.

Montrer que les quatre sommets de chaque petite case sont contenus dans une boule de rayon {1/10}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
e) En utilisant une fonction bien choisie {C\to\left\{1,2,3\right\}}, obtenir une contradiction.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
f) En déduire que toute application continue {D\to D} possède un point fixe.
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. (★★★★★) Polynômes annulateurs ; Normes multiplicatives ; Irréductibilité
Soit {K=\mathbb{R}} ou {\mathbb{C}} et {A} une {K}-algèbre unitaire de dimension finie, munie d’une norme multiplicative. On identifie {K} aux multiples de {1_A}. Jusqu’à e), {K=\mathbb{C}}.
a) Pour {x\in A}, montrer qu’il existe {z_0\in\mathbb{C}} minimisant {\lVert z-x\rVert}.
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 {a=z_0-x} et {\lVert a\rVert=2}, montrer que {\lVert a-e^{2ik\pi/n}\rVert\ge2} pour tous {n\ge1}, {k\in\mathbb{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) En déduire {\lVert a-1\rVert=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 :
d) En déduire {A=\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 :
e) Retrouver ce résultat à l’aide de polynômes annulateurs. Supposer maintenant {K=\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 :
f) A-t-on nécessairement {A=\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 :
g) On admet une algèbre {H} de base {(1,i,j,k)}, où {i,j,k} anticommutent deux à deux et leurs carrés valent {-1}. La conjugaison fixe {\mathbb{R}} et change le signe des trois autres coordonnées.

Montrer que {N(q)=\sqrt{q\overline q}} est une norme multiplicative.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
h) Montrer que {A} est isomorphe à {\mathbb{R}}, {\mathbb{C}} ou {H}.
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. (★★★) Normes subordonnées ; Inégalité de Cauchy-Schwarz ; Théorème spectral
1) Exprimer les normes subordonnées de {A\in M_n(\mathbb{R})} pour les normes vectorielles infinie et {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 :
2) Si les deux normes subordonnées sont au plus {1}, montrer que {\lVert A\rVert_{2,\mathrm{op}}\le1}.
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 {A} inversible, montrer que sa distance en norme subordonnée {2} à l’ensemble des matrices singulières vaut {\sqrt{\lambda_1}}, où {\lambda_1} est la plus petite valeur propre de {AA^{\mathsf 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 :

Exercice 6. (★★★★★) Fonctions lipschitziennes ; Fonctions monotones ; Fonctions d’une variable réelle
Pour {f:[0,1]\to\mathbb{R}}, on note {V(f)=\sup\left\{\sum_{k=0}^{n-1}|f(a_{k+1})-f(a_k)|: 0\le a_0\le\cdots\le a_n\le1\right\}.}Soit {V(B)=\left\{f:V(f)\lt \infty\right\}}.
1) Montrer que {V(B)} est un sous-espace contenant les fonctions monotones et les fonctions lipschitziennes.
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) Donner une fonction continue qui n’appartient pas à {V(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 :
3) Montrer que {V(B)} est l’ensemble des différences de deux fonctions croissantes.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) Montrer que {f:[0,1]\to\mathbb{R}} est lipschitzienne si et seulement si {f\circ g\in V(B)} pour toute {g:[0,1]\to[0,1]} dans {V(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 :

Exercice 7. (★★★) Norme uniforme ; Convergence normale ; Continuité d'une somme
Soit {q\in\mathbb{R}^\star} et {a:\mathbb{R}\to\mathbb{R}^\star} continue, avec {0\lt m\lt M} et {m\le|a(t)|\le M}. On suppose {m>2} ou {M\lt 1/2}.

Montrer qu’il existe une unique fonction {F:\mathbb{R}\to\mathbb{R}^\star} continue et bornée telle que {F(t)=1+F(qt)/a(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 :

Exercice 8. (★★★) Facteur intégrant ; Variation des constantes ; Normes subordonnées
1) Soient {f,g} continues sur {\mathbb{R}_+} et {K>0}, avec {f(t)\le g(t)+K\int_0^tf(u)\,du}.

Montrer {f(t)\le g(t)+K\int_0^te^{K(t-u)}g(u)\,du}.

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) Soient {M'=AM}, {N'=BN}, {M(0)=N(0)=I_n}, avec {A,B} continues.

Si {\lVert A(t)\rVert\le K} et {\lVert A(t)-B(t)\rVert\le\eta} sur {[0,T]} pour une norme subordonnée, montrer {\lVert M(t)-N(t)\rVert\le e^{Kt}(e^{\eta t}-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 9. (★★★★) Normes équivalentes ; Distance à une partie ; Applications lipschitziennes
a) Montrer que deux normes ayant même sphère unité sont égales.
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 {f,g\in C^0([0,1],\mathbb{R})}, caractériser le fait que {(x,y)\mapsto\lVert xf+yg\rVert_\infty} soit une norme sur {\mathbb{R}^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 :
c) Soit un espace euclidien {E}, de norme {\lVert \cdot\rVert}, et une autre norme {p}. Pour leurs sphères {S,S_p}, posons {d(x)=\sup_{y\in S_p}|\langle x,y\rangle|} sur {S} et {k=\sup_{y\in S_p}\lVert y\rVert}.

Montrer {d(x)>0}, {0\lt k\lt \infty} et que {d} est {k}-lipschitzienne.

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) Pour {B=\left\{z:p(z)\le1\right\}} et {D_x=\left\{z:|\langle x,z\rangle|\le d(x)\right\}}, montrer {B=\bigcap_{x\in S}D_x}.
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. (★★★★) Norme uniforme ; Convergence normale ; Séries géométriques
* Soient {0\lt m\lt M}, {f\in C^0(\mathbb{R},[m,M])}, et {q\notin\left\{-1,0,1\right\}}. On cherche {g} vérifiant {g(t)=1+g(qt)/f(t)}.
a) Si {m>2} ou {M\lt 1/2}, montrer qu’il existe une unique solution borné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 :
b) Montrer que les solutions bornées ne s’annulent pas.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PSI


Exercice 1. (★) Groupe symétrique, déterminants ; inégalité triangulaire ; norme infinie
Montrer qu’il existe {c>0} tel que, pour tous {v_1,\ldots,v_n\in\mathbb{R}^n}, {|\det(v_1,\ldots,v_n)|\le c\prod\limits_{i=1}^n\lVert v_i\rVert_\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 2. (★★★) continuité ; densité des rationnels ; linéarité
Soient {E,F} normés réels et {\psi:E\to F} additive, bornée sur la boule unité ouverte.

Montrer qu’elle est linéaire et 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 3. (★★★★) composition d’endomorphismes ; inégalités de normes ; applications linéaires continues
Soit {E\ne0} un espace normé.
a) Pour un endomorphisme continu {\varphi}, montrer {\sup_{x\ne0}\lVert \varphi(x)\rVert/\lVert x\rVert\lt \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 :
b) Si deux endomorphismes continus vérifient {uv-vu=I}, montrer que cela impose {E=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 :


PC


Exercice 1. (★★★★) degré ; normes usuelles ; suites récurrentes
Sur le disque unité fermé {D}, posons {\lVert P\rVert=\sup_D|P|}. Pour {P\in\mathbb{C}[X]}, définissons {P_0=P}, {P_{n+1}=(P_n')^2}.

Montrer qu’une norme initiale suffisamment petite entraîne {\lVert P_n\rVert\to0}.

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. (★★★★) théorème des bornes atteintes ; extremums locaux et globaux
Soit {f:\mathbb{R}^N\to\mathbb{R}} continue.

Montrer qu’il existe des fonctions {\varphi_n\in C^\infty(\mathbb{R}^N)} et des points {x_n\to0} tels que {f-\varphi_n} ait un minimum local en {x_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.