Sujet F.1.1 Normes
Choisir
un exercice, puis le résoudre
:
Signaler une erreur
Signaler une erreur
Exercice a
Pour toute fonction réelle $f$ de classe $\sc C^1$ sur un segment $[\sp{1.5}a,b\sp{1.5}]\sp{1.5},$ on définit le nombre :
$\displaystyle{}N(f)=|f(a)|+\smb2{\sup_{x\app [a,b]}|f'(x)|}$
Montrer que l'application $\,f\mapsto N(f)\,$ est une norme sur l'espace vectoriel $\,E=\sc C^1([a,b],\bb R)\sp{1.5}.\,$
Cette norme est-elle équivalente sur $\,E\,$ à la norme $\,f\mapsto N_{\I}(f)=\|f\|_\I=\!\Op{\sup}_{x\app\sp{1.5} [a,b]}|f(x)|\,?\,$
espace vectoriel normé
Un espace vectoriel normé est un $\bb K\tiret$espace vectoriel $E$ muni d'une norme. Il s'agit d'une application $\,N:x\mapsto\|x\|\sp{1.5},\,$ de $E$ vers $\,\bb R_{+}\,$ et telle que :
- $\,\ptt x\app E,\ \ptt y\app E,\ \|x+y\|\leq\|x\|+\|y\|:\,$ inégalité triangulaire ;
- $\,\ptt x\app E,\ \ptt \lambda\app \bb K,\ \|\lambda\sp{1.5}x\|=|\lambda|\sp{1.5}\|x\|:\,$ homogénéité ;
- $\,\ptt x\app E,\ \big(\|x\|=0\Imp x=0\big):\,$ séparation.
normes équivalentes
Deux normes $N_1$ et $N_2$ sur un $\bb K\tiret$espace vectoriel $E$ sont équivalentes ssi :
$\displaystyle{}\iex\alpha > 0\sp{1.5},\ \iex\beta > 0\sp{1.5},\ \big(N_1\leq\alpha\sp{1.5} N_2\txt{et}N_2\leq\beta\sp{1.5} N_1\big)$
Pour $N_1$ et $N_2\sp{1.5},$ toutes les notions topologiques sur $E$ sont identiques.
espaces vectoriels normés de dimension finie
Dans un espace vectoriel normé de dimension finie, toutes les normes sont équivalentes.
indication
1
Exprimer d'abord $\,N(f)\,$ à l'aide de $\,\|f'\|_\I\,$ pour vérifier aisément les propriétés d'une norme.
indication
2
Considérer les fonctions $\,f_n: x\mapsto(x-a)^n\,$ pour comparer les deux normes.
réponse
On démontre que l'application $\,f\mapsto N(f)\,$ est bien une norme sur $\,E=\sc C^1([a,b],\bb R)\sp{1.5}\,$
Cependant, elle n'est pas équivalente à la norme $\,f\mapsto\|f\|_\I\,$ de la convergence uniforme sur $\,E\sp{1.5}.\,$
correction
Les fonctions $\,f\app \sc C^1([a,b],\bb R)\,$ sont de dérivées bornées sur le segment $[\sp{1.5}a\sp{.75},b\sp{1.5}]\sp{1.5}.$ On peut alors utiliser la
Soit $\,E=\sc B(\Omega\sp{1.5},\bb K)\,$ le $\bb K\tiret$espace vectoriel des fonctions bornées sur $\,\Omega\sp{1.5}.\,$ La norme de la convergence uniforme sur $\,\Omega\,$ est définie par :
norme
de la convergence uniforme et écrire : $\displaystyle{}\ptt f \app E,\ \|f\|_\I=\Op{\sup}_{x\app\Omega}|f(x)|$
$\displaystyle{}\ptt f\app E,\ N(f)=|f(a)|+\|f'\|_\I$
Dans ces conditions, on vérifie les propriétés d'une
Un espace vectoriel normé est un $\bb K\tiret$espace vectoriel $E$ muni d'une norme. Il s'agit d'une application $\,N:x\mapsto\|x\|\sp{1.5},\,$ de $E$ vers $\,\bb R_{+}\,$ et telle que :
norme :
- $\,\ptt x\app E,\ \ptt y\app E,\ \|x+y\|\leq\|x\|+\|y\|:\,$ inégalité triangulaire ;
- $\,\ptt x\app E,\ \ptt \lambda\app \bb K,\ \|\lambda\sp{1.5}x\|=|\lambda|\sp{1.5}\|x\|:\,$ homogénéité ;
- $\,\ptt x\app E,\ \big(\|x\|=0\Imp x=0\big):\,$ séparation.
- L'inégalité triangulaire, qui découle de
Soient $\,x,\sp{1.5}y\app\bb R\sp{1.5};\,$ on a alors les inégalités triangulaires :celle de $\bb R\sp{-1.5}:$$\displaystyle{}|x+y\sp{.75}|\sp{1.5}\leq|x| + |y\sp{.75}|\ \txt{et}\ \big||x|-|y\sp{.75}|\big|\sp{1.5}\leq\ |x-y\sp{.75}|$Chacune de ces inégalités est une égalité ssi $\,x\,$ et $\,y\,$ ont le même signe.$\eqalign{ N(f+g)&=|f(a)+g(a)|+\|f'+g'\|_\I\\ &\leq |f(a)|+|g(a)|+\|f'\|_\I+\|g'\|_\I\\&\leq N(f)+N(g)}$
- L'homogénéité, par
La valeur absolue de $\,x\app\bb R\,$ est : $\,|x|=\max(x,-x)\sp{1.5};\,$ on a alors :propriété de la valeur absolue :
- $\,\ptt(x,y)\app\bb R^2,\ |x\sp{1.5}y|\sp{-1.5}=\sp{-1.5}|x|\,|y|\,;\,$
- $\,\ptt(x,y)\app\bb R\times\bb R^{\ast},\ |x/y|\sp{-1.5}=\sp{-1.5}|x|/|y|\,;\,$
- pour $\,a,r,x\app\bb R:\,$ $\,|x-a|\leq r\Ssi a-r\leq x\leq a+r\sp{1.5}.\,$
$\eqalign{ N(\lambda\sp{1.5}f)&=|\lambda\sp{1.5}f(a)|+\|\lambda\sp{1.5}f'\|_\I\\ &=\lambda\sp{1.5}|f(a)|+\lambda\sp{1.5}\|f'\|_\I=\lambda\sp{1.5}N(f)}$ - La séparation, du fait de la
Soit $\,f:I\to\bb R\sp{1.5},\,$ dérivable sur un intervalle $I\sp{1.5};$ $f$ est constante ssi :caractérisation des constantes :$\displaystyle{}\ptt x\app I\sp{1.5},\ f'(x)=0$$\eqalign{&\big(N(f)=|f(a)|+\|f'\|_\I\sp{1.5}=0\big)\Imp f=0\\ &\txt{car :}\,f'=0\Imp f=f(a)=0}$
Dans un espace vectoriel normé de dimension finie, toutes les normes sont équivalentes.
dimension finie,
rien ne garantit que les normes $N$ et $N_\I$ soient
Deux normes $N_1$ et $N_2$ sur un $\bb K\tiret$espace vectoriel $E$ sont équivalentes ssi :
équivalentes.
Soit $f\app E\sp{1.5};$ par
$\displaystyle{}\iex\alpha > 0\sp{1.5},\ \iex\beta > 0\sp{1.5},\ \big(N_1\leq\alpha\sp{1.5} N_2\txt{et}N_2\leq\beta\sp{1.5} N_1\big)$
Pour $N_1$ et $N_2\sp{1.5},$ toutes les notions topologiques sur $E$ sont identiques.
Toute fonction continue $\,f:I\to\bb K\,$ admet des primitives sur $I\sp{1.5}.$Pour $\,a\app I\sp{1.5},\,$ $\,F:x\mapsto\!\dint_a^x\!\! f(t)\d t\,$ est une de ces primitives.
primitivation
de $f'$ et
Pour $\,f\app\sc C([\sp{1.5}a,b\sp{1.5}],\bb K)\,$ ou $\,f\app\sc C_m([\sp{1.5}a,b\sp{1.5}],\bb K)\,$ avec $a \sp{-1.5}<\sp{-1.5} b\sp{1.5},$ on a :
inégalité
triangulaire intégrale, on a pour tout $\,x\app\,[\sp{1.5}a\sp{.75},b\sp{1.5}]:\,$
$\displaystyle{}\bigg|\int_a^bf(x)\d x\bigg|\leq\int_a^b\big|f(x)\big|\d x$
$\eqalign{|f(x)|&=\bigg|f(a)+\int_a^xf'(t)\d t\bigg|\leq|f(a)|+\bigg|\int_a^xf'(t)\d t\bigg|\\[-.5ex]
&\leq |f(a)|+\int_a^x|f'(t)|\d t\leq|f(a)|+(x-a)\,\|f'\|_\I}$
En posant $\,\alpha=\max(1,b-a)\sp{1.5},\,$ on en déduit la majoration suivante :
$\displaystyle{}\txt{d'où :}\|f\|_\I\leq |f(a)|+(b-a)\,\|f'\|_\I\leq\alpha\sp{1.5}N(f)$
En revanche, il n'existe aucune constante $\,\beta > 0\,$ telle que : $\,\ptt f\app E,\ N(f)\leq\beta\sp{1.5}\|f\|_\I\sp{1.5}.\,$ En effet, si on considère la suite des fonctions $\,f_n: x\mapsto(x-a)^n\,$ pour $n\geq1,$ on obtient :
$\displaystyle{}\frac{N(f_n)}{\|f_n\|_\I}=\frac{n\sp{1.5}(b-a)^{n-1}}{(b-a)^n}=\frac n{b-a}\ \tend n{+\I}+\I$
Il s'ensuit que les normes $\,f\mapsto N(f)\,$ et $\,f\mapsto N_{\I}(f)=\|f\|_\I\,$ ne sont pas
Deux normes $N_1$ et $N_2$ sur un $\bb K\tiret$espace vectoriel $E$ sont équivalentes ssi :
équivalentes
sur $E\sp{1.5}.$
$\displaystyle{}\iex\alpha > 0\sp{1.5},\ \iex\beta > 0\sp{1.5},\ \big(N_1\leq\alpha\sp{1.5} N_2\txt{et}N_2\leq\beta\sp{1.5} N_1\big)$
Pour $N_1$ et $N_2\sp{1.5},$ toutes les notions topologiques sur $E$ sont identiques.
Signaler une erreur
Signaler une erreur
Exercice b
On définit, pour tout polynôme $\,P=\smb{2.2}{\dsum_{k=0}^\I}a_k\sp{1.5}X^k\,$ de $\bb R[X]\sp{1.5},$ les nombres suivants :
$\displaystyle{}N_1(P)=\max_{k\app\bb N}|a_k|\ \txt{et}\ N_2(P)=\max_{x\app\,[0,1]}|P(x)|.$
Montrer que les applications $\,P\mapsto N_1(P)\,$ et $\,P\mapsto N_2(P)\,$ sont des normes sur $ \bb R[X]\sp{1.5}.$
Ces deux normes sont-elle équivalentes ?
espace vectoriel normé
Un espace vectoriel normé est un $\bb K\tiret$espace vectoriel $E$ muni d'une norme. Il s'agit d'une application $\,N:x\mapsto\|x\|\sp{1.5},\,$ de $E$ vers $\,\bb R_{+}\,$ et telle que :
- $\,\ptt x\app E,\ \ptt y\app E,\ \|x+y\|\leq\|x\|+\|y\|:\,$ inégalité triangulaire ;
- $\,\ptt x\app E,\ \ptt \lambda\app \bb K,\ \|\lambda\sp{1.5}x\|=|\lambda|\sp{1.5}\|x\|:\,$ homogénéité ;
- $\,\ptt x\app E,\ \big(\|x\|=0\Imp x=0\big):\,$ séparation.
normes équivalentes
Deux normes $N_1$ et $N_2$ sur un $\bb K\tiret$espace vectoriel $E$ sont équivalentes ssi :
$\displaystyle{}\iex\alpha > 0\sp{1.5},\ \iex\beta > 0\sp{1.5},\ \big(N_1\leq\alpha\sp{1.5} N_2\txt{et}N_2\leq\beta\sp{1.5} N_1\big)$
Pour $N_1$ et $N_2\sp{1.5},$ toutes les notions topologiques sur $E$ sont identiques.
espaces vectoriels normés de dimension finie
Dans un espace vectoriel normé de dimension finie, toutes les normes sont équivalentes.
indication
1
Vérifier une à une, pour $N_1$ puis pour $N_2\sp{1.5},$ les propriétés définissant une norme.
indication
2
Considérer les polynômes $\,P_n=1+\cdots+X^n\,$ ou $\,Q_n=(1-X)^n\,$ pour comparer $N_1$ et $N_2\sp{1.5}.$
réponse
On démontre que les applications $\,f\mapsto N_1(f)\,$ et $\,f\mapsto N_2(f)\,$ sont bien des normes sur $\bb R[X]\sp{1.5}.$
Cependant, ces normes ne sont pas équivalentes.
correction
Les applications $N_1$ et $N_2$ sont bien définies, car :
- tout
Un polynôme $\,A\app\bb K[X]\sp{1.5},\,$ à coefficients dans $\,\bb K\sp{1.5},\,$ est une somme :polynôme $P$ n'a qu'un nombre fini de coefficients $a_k$ non nuls ;$\displaystyle{}A=a_0+a_1\sp{1.5}X+\cdots+a_n\sp{1.5}X^n\txt{pour} (a_0,\dots,a_n)\app\bb K^{n+1}$
- $A$ est caractérisé par $\,(a_k)_{k\app\bb N}\sp{1.5},\,$ avec : $\,\ptt k > n,\ a_k=0\,;\,$
- pour $\,A,B\app\bb K[X]:\,$ $\,A=B\Ssi(\ptt k\app\bb N,\ a_k=b_k)\sp{1.5}.\,$
- l'image du segment $[\sp{1.5}0,1]$ par la fonction
Pour tout $\,P\app\bb K[X]\sp{1.5},\,$ la fonction polynomiale $\,x\mapsto \widetilde P(x)\,$ est continue sur $\bb R\sp{1.5}.$continue $x\mapsto P(x)$ est unL'image d'un segment $\,[a,b]\,$ par une fonction réelle continue est un segment.segment.
$\displaystyle{}P=\smh{1}{\dsum_{k=0}^\I}\,a_k\sp{1.5}X^k\txt{et} Q=\smh{1}{\dsum_{k=0}^\I}\,b_k\sp{1.5}X^k$
L'application $\,\smb{1.5}{N_1:P\mapsto \Op{\max}_{k\app\bb N}|a_k|}\,$ est bien une
Un espace vectoriel normé est un $\bb K\tiret$espace vectoriel $E$ muni d'une norme. Il s'agit d'une application $\,N:x\mapsto\|x\|\sp{1.5},\,$ de $E$ vers $\,\bb R_{+}\,$ et telle que :
norme,
avec :
- $\,\ptt x\app E,\ \ptt y\app E,\ \|x+y\|\leq\|x\|+\|y\|:\,$ inégalité triangulaire ;
- $\,\ptt x\app E,\ \ptt \lambda\app \bb K,\ \|\lambda\sp{1.5}x\|=|\lambda|\sp{1.5}\|x\|:\,$ homogénéité ;
- $\,\ptt x\app E,\ \big(\|x\|=0\Imp x=0\big):\,$ séparation.
- l'inégalité triangulaire, qui découle de
Soient $\,x,\sp{1.5}y\app\bb R\sp{1.5};\,$ on a alors les inégalités triangulaires :celle de $\bb R\sp{-1.5}:$$\displaystyle{}|x+y\sp{.75}|\sp{1.5}\leq|x| + |y\sp{.75}|\ \txt{et}\ \big||x|-|y\sp{.75}|\big|\sp{1.5}\leq\ |x-y\sp{.75}|$Chacune de ces inégalités est une égalité ssi $\,x\,$ et $\,y\,$ ont le même signe.$\eqalign{&|a_k+b_k|\leq|a_k|+|b_k|\leq N_1(P)+N_1(Q)\sp{1.5}, \txt{d'où :}\\ &\smb0{N_1(P+Q)=\Op{\max}_{k\app\bb N}|a_k+b_k|\leq N_1(P)+N_1(Q)}}$
- l'homogénéité, par
La valeur absolue de $\,x\app\bb R\,$ est : $\,|x|=\max(x,-x)\sp{1.5};\,$ on a alors :propriété de la valeur absolue :
- $\,\ptt(x,y)\app\bb R^2,\ |x\sp{1.5}y|\sp{-1.5}=\sp{-1.5}|x|\,|y|\,;\,$
- $\,\ptt(x,y)\app\bb R\times\bb R^{\ast},\ |x/y|\sp{-1.5}=\sp{-1.5}|x|/|y|\,;\,$
- pour $\,a,r,x\app\bb R:\,$ $\,|x-a|\leq r\Ssi a-r\leq x\leq a+r\sp{1.5}.\,$
$\displaystyle{}(\sp{1.5}\ptt k\app\bb N\sp{1.5},\ |\lambda\sp{1.5}a_k|=|\lambda|\sp{1.5}|a_k|\sp{1.5})\!\Imp\! N_1(\lambda\sp{1.5}P)=|\lambda|\sp{1.5}N_1(P)$ - la séparation, car $P$ est caractérisé par ses coefficients :
$\displaystyle{}N_1(P)=0\Imp(\sp{1.5}\ptt k\app\bb N,\ a_k=0\sp{1.5})$
Un espace vectoriel normé est un $\bb K\tiret$espace vectoriel $E$ muni d'une norme. Il s'agit d'une application $\,N:x\mapsto\|x\|\sp{1.5},\,$ de $E$ vers $\,\bb R_{+}\,$ et telle que :
norme,
avec :
- $\,\ptt x\app E,\ \ptt y\app E,\ \|x+y\|\leq\|x\|+\|y\|:\,$ inégalité triangulaire ;
- $\,\ptt x\app E,\ \ptt \lambda\app \bb K,\ \|\lambda\sp{1.5}x\|=|\lambda|\sp{1.5}\|x\|:\,$ homogénéité ;
- $\,\ptt x\app E,\ \big(\|x\|=0\Imp x=0\big):\,$ séparation.
- L'inégalité triangulaire, qui provient encore de
Soient $\,x,\sp{1.5}y\app\bb R\sp{1.5};\,$ on a alors les inégalités triangulaires :celle de $\bb R\sp{-1.5}:$$\displaystyle{}|x+y\sp{.75}|\sp{1.5}\leq|x| + |y\sp{.75}|\ \txt{et}\ \big||x|-|y\sp{.75}|\big|\sp{1.5}\leq\ |x-y\sp{.75}|$Chacune de ces inégalités est une égalité ssi $\,x\,$ et $\,y\,$ ont le même signe.$\eqalign{&\!|P(x)+Q(x)|\leq |P(x)|+|Q(x)|\leq N_2(P)+N_2(Q)\\ &\!\smb0{N_2(P+Q)=\!\Op{\max}_{x\app\,[0,1]}\sp{-1.5}|P(x)\sp{-1.5}+\sp{-1.5}Q(x)|\leq N_2(P)\sp{-1.5}+\sp{-1.5}N_2(Q)}}$
- L'homogénéité, car $\,N_2(\lambda\sp{1.5}P)=|\lambda|\sp{1.5}N_2(P)\,$ découle de :$\displaystyle{}\ptt x\app\,[0,1],\ |\lambda\sp{1.5}P(x)|=|\lambda|\sp{1.5}|P(x)|$
- La séparation, qui résulte de l'implication : $\displaystyle{}N_2(P)=0\Imp(\ptt x\app\,[0,1],\ P(x)=0)$En effet, avec une infinité deSoit $\,A\app\bb K[X]\,$ de degré $\,p\app\bb N\sp{1.5};\,$ alors $\,A\,$ admet au plus $\,p\,$ racines. Si un polynôme $\,A\,$ a une infinité de racines, alors : $\,A=0\sp{1.5}.\,$racines, on a : $\,P=0\,.\,$
Dans un espace vectoriel normé de dimension finie, toutes les normes sont équivalentes.
dimension finie,
rien ne garantit que les normes $N_1$ et $N_2$ soient
Deux normes $N_1$ et $N_2$ sur un $\bb K\tiret$espace vectoriel $E$ sont équivalentes ssi :
équivalentes.
Pour les polynômes $\,P_n=1+\cdots+X^n\sp{1.5},\,$ la fonction $\,x\mapsto P_n(x)\,$ est
$\displaystyle{}\iex\alpha > 0\sp{1.5},\ \iex\beta > 0\sp{1.5},\ \big(N_1\leq\alpha\sp{1.5} N_2\txt{et}N_2\leq\beta\sp{1.5} N_1\big)$
Pour $N_1$ et $N_2\sp{1.5},$ toutes les notions topologiques sur $E$ sont identiques.
Soit $\,f:I\to\bb R\,;\,$ pour $x$ et $y$ appartenant à l' intervalle $I\sp{1.5}, $ $f$ est dite :
croissante
sur $[\sp{1.5}0,1]\sp{1.5},$ et on a :
- croissante ssi : $\,\big(x\leq y\Imp f(x)\leq f(y)\big)\,;\,$
- strictement croissante ssi : $\,\big(x < y\Imp f(x) < f(y)\big)\sp{1.5}.\,$
$\displaystyle{} \big(x\leq y\Imp f(x)\geq f(y)\big)\txt{ou}\big(x < y\Imp f(x) > f(y)\big)$
$\displaystyle{}N_1(P_n)=1\txt{et}
N_2(P_n)=|P_n(1)|=n+1$
Les normes $N_1$ et $N_2$ ne sont donc pas
Deux normes $N_1$ et $N_2$ sur un $\bb K\tiret$espace vectoriel $E$ sont équivalentes ssi :
équivalentes,
car :
$\displaystyle{}\iex\alpha > 0\sp{1.5},\ \iex\beta > 0\sp{1.5},\ \big(N_1\leq\alpha\sp{1.5} N_2\txt{et}N_2\leq\beta\sp{1.5} N_1\big)$
Pour $N_1$ et $N_2\sp{1.5},$ toutes les notions topologiques sur $E$ sont identiques.
$\displaystyle{}\frac{N_2(P_n)}{N_1(P_n)}=n+1\,\tend n{+\I}+\I$
En effet, avec une telle limite, il n'existe aucun $\,\alpha > 0\,$ tel que :
$\displaystyle{}\ptt P\app\bb R[X],\ N_2(P)\leq\alpha \sp{1.5}N_1(P)$
Il n'existe pas non plus de constante $\,\beta > 0\,$ telle que :
$\displaystyle{}\ptt P\app\bb R[X],\ N_1(P)\leq\beta \sp{1.5}N_2(P)$
On peut le vérifier avec les polynômes $\,Q_n=(1-X)^n\,$ pour lesquels on a, selon la formule du
Pour $\,a,b\app\bb C\,$ et $\,n\app\bb N\sp{1.5},\,$ on a la formule :
binôme :
$\displaystyle{}(a+b)^n={\dsum_{k=0}^{n}\binome{n\\\,k\,}}\sp{1.5}a^k\,b^{n-k}$
$\eqalign{N_1(Q_n)=&\Op{\max}_{0\leq k\leq n}\!\smh{1}{\binome{\sp{1.5}n\sp{1.5}\\k}}\txt{et}N_2(Q_n)=1\\
\txt{d'où :}&\frac{N_1(Q_n)}{N_2(Q_n)}\geq\!\binome{\sp{1.5}n\sp{1.5}\\1}\!=n\,\tend n\I+\I}$