Espaces vectoriels normés/Exercices/Dimension finie

Exercice 2-1

Soit $A\in \operatorname {M} _{n}(\mathbb {C} )$. Montrer que son exponentielle est un polynôme en $A$ ou plus généralement, que $f(A)\in \mathbb {C} [A]$ pour toute fonction $f$ d'une variable complexe développable en série entière en $0$, avec un rayon de convergence strictement supérieur à la norme subordonnée de $A$ (pour une norme arbitraire fixée sur $\mathbb {C} ^{n}$).

Solution

Par définition, $f(A)$ est une limite de polynômes en $A$ (les sommes partielles de la série entière). Puisque $\operatorname {M} _{n}(\mathbb {C} )$ est de dimension finie, le sous-espace vectoriel $\mathbb {C} [A]$ est fermé.

 

Exercice 2-2 : densité de GL_n

Soit $K=\mathbb {R}$ ou $\mathbb {C}$. Démontrer que dans $\mathrm {M} _{n}(K)$ (muni d'une norme arbitraire), le sous-ensemble $\mathrm {GL} _{n}(K)$ des matrices inversibles est dense.

Solution

Soit $A\in \mathrm {M} _{n}(\mathbb {C} )$. Son polynôme caractéristique n'a qu'un nombre fini de racines donc il existe $N\in \mathbb {N}$ tel que pour tout entier $k>N$, $A-{\frac {1}{k}}\mathrm {I} _{n}\in \mathrm {GL} _{n}(K)$, ce qui prouve que $A$ est adhérent à $\mathrm {GL} _{n}(K)$.

 

Exercice 2-3 : quelques normes sur $\mathbb {R} ^{2}$

1. Représenter graphiquement les boules unité de $\mathbb {R} ^{2}$ muni respectivement des normes

   $\|(x,y)\|_{1}=|x|+|y|,\quad \|(x,y)\|_{2}={\sqrt {x^{2}+y^{2}}}\quad {\text{et}}\quad \|(x,y)\|_{\infty }=\max(|x|,|y|)$.

2. Montrer que ces normes sont équivalentes en explicitant les constantes associées.
3. On considère l'application linéaire $u:(\mathbb {R} ^{2},\|\cdot \|_{2})\to (\mathbb {R} ^{2},\|\cdot \|_{2})$ définie par $u(x,y)=(x+y,x-y)$. Calculer la norme d'opérateur $|\!|\!|u|\!|\!|$ associée.
4. Même question en remplaçant $\|\cdot \|_{2}$ par les deux autres normes ci-dessus.

Solution

1. 

   Les cercles unité (en gras) associés aux trois normes.
2. La figure montre que $\|(x,y)\|_{1}\geq \|(x,y)\|_{2}\geq \|(x,y)\|_{\infty }$, avec égalités si $\{|x|,|y|\}=\{0,1\}$, et que $\|(x,y)\|_{\infty }\geq {\frac {1}{2}}\|(x,y)\|_{1}$, avec égalité si $\{|x|,|y|\}=\{1,1\}$.
   Il est très facile de redémontrer directement ces trois inégalités (et les cas d'égalité).
   Pour la comparaison entre $\|\cdot \|_{1}$ et $\|\cdot \|_{\infty }$, on a même trouvé les constantes optimales : $\|(x,y)\|_{\infty }\leq \|(x,y)\|_{1}\leq 2\|(x,y)\|_{\infty }$. On les trouve de même pour les deux autres paires (en dilatant l'une des deux boules jusqu'à contenir l'autre) : $\|(x,y)\|_{\infty }\leq \|(x,y)\|_{2}\leq {\sqrt {2}}\|(x,y)\|_{\infty }$ et $\|(x,y)\|_{2}\leq \|(x,y)\|_{1}\leq {\sqrt {2}}\|(x,y)\|_{2}$.
   Plus généralement, sur $\mathbb {R} ^{n}$, on a : $1\leq p\leq q\leq \infty \Rightarrow \|\cdot \|_{q}\leq \|\cdot \|_{p}\leq n^{{\frac {1}{p}}-{\frac {1}{q}}}\|\cdot \|_{q}$.
3. $u$ est une similitude directe de rapport ${\sqrt {2}}$ donc $|\!|\!|u|\!|\!|={\sqrt {2}}$
4. • Pour $\|\cdot \|_{\infty }$, $|\!|\!|u|\!|\!|=\max _{|x|,|y|\leq 1}\max(|x+y|,|x-y|)=\max _{0\leq s,t\leq 1}(s+t)=2$.
   • Pour $\|\cdot \|_{1}$, $|\!|\!|u|\!|\!|=\max _{|x|+|y|\leq 1}(|x+y|+|x-y|)=\max _{0\leq t\leq s,\;s+t\leq 1}(s+t+s-t)=2$.