« Espaces vectoriels normés/Exercices/Dimension finie » : différence entre les versions

{{Solution|contenu=
#[[File:Vector norms2.svg|thumb|left|Les cercles unité (en gras) associés aux trois normes.]]{{clr}}
#La figure montre que <math>\|(x,y)\|_1\ge\|(x,y)\|_2\ge\|(x,y)\|_\infty</math>, avec égalités si <math>\{|x|,|y|\}=\{0,1\}</math>, et que <math>\|(x,y)\|_\infty\ge\frac1\sqrt2frac12\|(x,y)\|_1</math>, avec égalité si <math>\{|x|,|y|\}=\{1,1\}</math>.<br>Il est très facile de redémontrer directement ces trois inégalités (et les cas d'égalité).<br>Pour la comparaison entre <math>\|\cdot\|_1</math> et <math>\|\cdot\|_\infty</math>, on a même trouvé les constantes optimales : <math>\|(x,y)\|_\infty\le\|(x,y)\|_1\le2\|(x,y)\|_\infty</math>. On les trouve de même pour les deux autres paires (en dilatant l'une des deux boules jusqu'à contenir l'autre) : <math>\|(x,y)\|_\infty\le\|(x,y)\|_2\le\sqrt2\|(x,y)\|_\infty</math> et <math>\|(x,y)\|_2\le\|(x,y)\|_1\le\sqrt2\|(x,y)\|_2</math>.
#<math>u</math> est une [[similitude]] directe de rapport <math>\sqrt2</math> donc <math>|\!|\!|u|\!|\!|=\sqrt2</math>
#
#*Pour <math>\|\cdot\|_\infty</math>, <math>|\!|\!|u|\!|\!|=\max_{|x|,|y|\le1}\max(|x+y|,|x-y|)=\max_{0\le s,t\le1}(s+t)=2</math>.
#*Pour <math>\|\cdot\|_1</math>, <math>|\!|\!|u|\!|\!|=\max_{|x|+|y|\le1}(|x+y|+|x-y|)=\max_{0\le t\le s,\;s+t\le1}(s+t+s-t)=2</math>.
}}
 
13 021

modifications