Exercices corrigés de Centrale-Supélec sur le thème « espaces vectoriels normés », regroupés par filière.
MP–MPI
Exercice 1. (★★★★) interpolation de Lagrange ; normes ; distance à un sous-espace
Soient {a_0\lt \cdots\lt a_n} des entiers naturels, {A=\left\{a_0,\ldots,a_n\right\}}, {\lVert P\rVert_A=\max_i|P(a_i)|} sur {\mathbb{R}_n[X]}, et {d_{A,n}=\inf_{P\in\mathbb{R}_{n-1}[X]}\lVert X^n-P\rVert_A}.
1) Montrer que c’est une norme ; calculer numériquement avec
fmin les cas {A=\left\{0,1\right\}} et {A=\left\{0,1,2\right\}}.Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Montrer qu’il existe d’uniques {b_k} avec {X^n-P=\sum\limits_{k=0}^nb_k\prod\limits_{i\ne k}(X-a_i)}.
Les calculer et calculer leur somme.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
3) Montrer {\prod\limits_{i\ne k}|a_k-a_i|\geq n!/\binom nk}, puis {\lVert X^n-P\rVert_A\geq n!/2^n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
4) Calculer {d_{\left\{0,\ldots,n\right\},n}}.
Cette norme provient-elle d’un produit scalaire ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 2. (★★★) norme d’évaluation ; interpolation de Lagrange ; meilleure approximation
Soient {a_0\lt \cdots\lt a_n} des entiers naturels, {\lVert P\rVert_A=\max_k|P(a_k)|} sur {\mathbb{R}_n[X]}, et {d_{n,A}=\inf_{P\in\mathbb{R}_{n-1}[X]}\lVert X^n-P\rVert_A}.
a) Montrer que c’est une norme.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Écrire uniquement {X^n-P=\sum\limits_{k=0}^nb_k\prod\limits_{j\ne k}(X-a_j)} et montrer {\sum\limits b_k=1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
c) Montrer {\prod\limits_{j\ne k}|a_k-a_j|\ge n!/\binom nk}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
d) Montrer {\lVert X^n-P\rVert_A\ge n!/2^n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
e) Calculer {d_{n,A}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 3. (★★) norme d’une forme linéaire ; Intégration sur un intervalle quelconque ; convergence dominée
a) Pour une application linéaire entre espaces normés, montrer que la continuité partout équivaut à celle en {0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Sur {E=C^1([-1,1],\mathbb{R})} muni de la norme uniforme, poser {N(\varphi)=\sup_{\lVert f\rVert_\infty=1}|\varphi(f)|}.
Calculer cette quantité pour {\varphi(f)=\int_{-1}^0f-\int_0^1f}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 4. (★★★★) équivalence des normes ; limites de racines ; trigonalisation
Pour {A\in M_n(\mathbb{C})}, on pose {\rho(A)=\max_{\lambda\in\operatorname{Sp}A}|\lambda|}. On munit l’espace matriciel d’une norme d’opérateur {|||\cdot|||}.
a) {\rho} est-elle une norme ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Montrer {\rho(A)\le|||A^k|||^{1/k}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
c) Pour toute norme {N}, montrer {N(A^k)^{1/k}\to\rho(A)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 5. (★★) continuité uniforme ; norme d’opérateur ; Intégration sur un intervalle quelconque
Sur l’espace {E} des fonctions continues sur {\mathbb{R}} tendant vers {0} aux deux infinis, muni de {\lVert \cdot\rVert_\infty}, poser {T(f)(x)=\frac12\int_{\mathbb{R}}e^{-|x-t|}f(t)dt}.
a) Rappeler Heine et montrer que {f\in E} est uniformément continue.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Montrer que {T} est un endomorphisme continu.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
c) Calculer sa norme.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 6. (★★★) norme sous-multiplicative ; Séries, familles sommables ; exponentielle de matrice
Sur {M_p(\mathbb{K})}, poser {\lVert A\rVert=\max_i\sum\limits_j|a_{ij}|}.
a) Montrer que c’est une norme sous-multiplicative ; définir {e^A} et montrer {\lVert e^A\rVert\le e^{\lVert A\rVert}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Pour {K=\max(\lVert A\rVert,\lVert B\rVert)}, montrer {\lVert A^n-B^n\rVert\le nK^{n-1}\lVert A-B\rVert}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
c) Calculer {\lim_{n\to\infty}(e^{A/n}e^{B/n})^n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 7. (★★★★) injectivité et surjectivité ; Espaces vectoriels et applications linéaires ; convergence absolue
1) Pour un endomorphisme d’un espace normé, montrer l’équivalence entre continuité, continuité en zéro et caractère lipschitzien.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Sur {\ell^2(\mathbb{Z})} muni de sa norme usuelle, soit {T(u)_n=2u_n-u_{n+1}-u_{n-1}}.
Montrer que {T} est linéaire continue.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
3) Montrer son injectivité et sa non-surjectivité.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
4) Montrer que {T+I} est surjectif.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 8. (★★★) norme subordonnée ; dérivation sous l’intégrale ; formule de Leibniz
Soit {E_n=C^n([-1,1],\mathbb{C})} et {\pi_n(f)=\max_{0\leq k\leq n}\lVert f^{(k)}\rVert_\infty}.
1) Montrer que c’est une norme et calculer {\pi_n(x\mapsto x^n)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Montrer que {A_n(f)(x)=xf(x)} est un endomorphisme continu de norme {n+1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
3) Pour {n\geq1}, montrer que {B_n(f)(x)=\int_0^1f'(xt)dt} est linéaire de {E_n} vers {E_{n-1}}, continue de norme un.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 9. (★★★) théorème des bornes atteintes ; norme uniforme ; interpolation de Lagrange
1) Énoncer et démontrer le théorème des bornes atteintes.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Montrer que {\lVert P\rVert=\sup_{[-1,1]}|P|} définit une norme sur {\mathbb{R}[X]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
3) Pour {d\geq1}, montrer l’existence et l’unicité d’un polynôme unitaire {T_d} de degré {d} tel que {\cos(d\theta)=2^{d-1}T_d(\cos\theta)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
4) Parmi les polynômes unitaires de degré {d}, montrer {\lVert P\rVert\geq2^{1-d}} et étudier l’égalité.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 10. (★★★) norme subordonnée ; règle de chaîne ; théorème des accroissements finis
Soient {U} ouvert d’un espace normé de dimension finie, et un segment {[a,b]\subset U}, {a\ne b}.
1) Si {f:U\to\mathbb{R}} est différentiable, montrer qu’il existe {c\in]a,b[} tel que {f(b)-f(a)=df(c)(b-a)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Pour {f:U\to F} différentiable, {F} euclidien, et {df} bornée, montrer {\lVert f(b)-f(a)\rVert\leq\sup_{x\in[a,b]}\lVert df(x)\rVert_{\rm op}\,\lVert b-a\rVert.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
3) Étendre à un espace normé {F} de dimension finie.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
PSI
Exercice 1. (★★★) Intégration par parties ; Normes ; Majoration d’intégrales
Soit {E=\left\{f\in C^2([0,1],\mathbb{R}):f(0)=f'(0)=0\right\}} et {N(f)=\lVert f+2f'+f''\rVert_\infty}.
1) Pour {h(t)=e^tf(t)}, montrer que {h(t)=\int_0^t(t-u)h''(u)\,du}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Montrer que {N} est une norme sur {E}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
3) Trouver la plus petite constante {a>0} telle que {\lVert f\rVert_\infty\leq aN(f)} pour tout {f\in E}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 2. (★★) équivalence des normes ; normes ; dimension finie
Sur {E=\mathbb{R}[X]}, poser {N_a(P)=|P(a)|+\int_0^1|P'(t)|dt}.
a) Montrer que c’est une norme.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b), c) Montrer que {N_0,N_1} sont équivalentes et donnent les mêmes suites convergentes.
Même équivalence pour {a,b\in[0,1]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
d) Pour {1\le a\lt b}, montrer que {N_a,N_b} ne sont pas équivalentes, en considérant {X^n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
d) Que devient la question sur {\mathbb{R}_n[X]} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
PC
Exercice 1. (★★★) Normes ; Normes équivalentes ; Second ordre à coefficients constants
Soit {E=\left\{f\in C^2([0,1]):f(0)=f(1)=0\right\}}.
a) Montrer que c’est un sous-espace.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Déterminer les {a\in\mathbb{R}} tels que {N_a(f)=\int_0^1|f''+af|} soit une norme.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
c) Lorsqu’elle est une norme, existe-t-il {\alpha,\beta>0} tels que {\alpha\lVert f\rVert_\infty\leq N_a(f)\leq\beta\lVert f\rVert_\infty} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 2. (★★★) Comparaison de normes ; Bases orthogonales ; Polynômes
Soient {T_0=1,T_1=X,T_{k+2}=2XT_{k+1}-T_k}, avec {T_k(\cos\theta)=\cos(k\theta)}. Pour {P=\sum\limits_{k=0}^na_kX^k}, posons {L(P)=\sup_{[-1,1]}|P|}, {N(P)=\max_k|a_k|}. On définit {\langle P,Q\rangle=\int_0^\pi P(\cos\theta)Q(\cos\theta)d\theta}.
Montrer que les {T_k} forment une base orthogonale de {\mathbb{R}_n[X]}, puis {L(P)/(n+1)\leq N(P)\leq(1+\sqrt2)^{n+1}\sqrt2L(P)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres