Espaces vectoriels normés — Centrale-Supélec

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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :

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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
e) Calculer {d_{n,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 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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :

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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :

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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
c) Calculer sa 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 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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :

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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :

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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :

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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :

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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :


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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :

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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :


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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :
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 : Pour poursuivre votre exploration, vous pouvez :

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 : 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.