Résumé de cours : espaces vectoriels normés
$E$ désigne un espace vectoriel sur le corps $\mathbb K=\mathbb R$ ou $\mathbb C$.
Une application $\|\cdot\|:E\to\mathbb R_+$ est appelée une norme si elle vérifie les trois propriétés suivantes :
- Pour tout $x\in E$, $\|x\|=0\iff x=0$.
- Pour tout $x\in E$ et tout $\lambda\in\mathbb K$, $\|\lambda x\|=|\lambda|\cdot \|x\|$ (homogénéité).
- Pour tous $x,y\in E$, $\|x+y\|\leq \|x\|+\|y\|$ (inégalité triangulaire).
On dit alors que $(E,\|\cdot\|)$ est un espace vectoriel normé.
Si $(E,\|\cdot\|)$ est un espace vectoriel normé, l'application $d:E\times E\to\mathbb R_+$ définie par $d(x,y)=\|x-y\|$ est appelée distance associée à la norme $\|\cdot\|$ sur $E$. Elle vérifie les propriétés suivantes :
- $\forall (x,y)\in E^2$, $d(x,y)=0\iff x=y$.
- $\forall (x,y)\in E^2$, $d(x,y)=d(y,x)$.
- $\forall (x,y,z)\in E^3$, $d(x,z)\leq d(x,y)+d(y,z)$.
Si $(E,\|\cdot\|)$ est un espace vectoriel normé, on appelle
- boule ouverte de centre $a\in E$ et de rayon $r\geq 0$ l'ensemble $$B(a,r)=\{x\in E;\ \|x-a\|< r\}.$$
- boule fermée de centre $a\in E$ et de rayon $r\geq 0$ l'ensemble $$\bar B(a,r)=\{x\in E;\ \|x-a\|\leq r\}.$$
- sphère de centre $a\in E$ et de rayon $r\geq 0$ l'ensemble $$S(a,r)=\{x\in E;\ \|x-a\|=r\}.$$
Une partie $A$ de l'espace vectoriel normé $E$ est dite bornée s'il existe $M\geq 0$ tel que, pour tout $x\in A$, $\|x\|\leq M$.
Une fonction $f:X\to E$ est dite bornée si son image $f(X)$ est bornée dans $(E,\|\cdot\|)$.
Si $(E_1,N_1),\dots,(E_p,N_p)$ sont $p$ espaces vectoriels normés, on peut définir une norme sur $E_1\times\dots\times E_p$ en posant $$N\big((x_1,\dots,x_p)\big)=\max\big(N_1(x_1),\dots,N_p(x_p)\big).$$ On l'appelle la norme produit
Sur un espace préhilbertien : Soit $E$ un $\mathbb R$-espace vectoriel. On appelle produit scalaire sur $E$ toute application $\langle \cdot,\cdot\rangle:E\times E\to \mathbb R$ vérifiant les propriétés suivantes :
- elle est bilinéaire : pour tous $x,y,z\in E$ et tout $\lambda\in\mathbb R$, on a $$\langle x+\lambda y,z\rangle=\langle x,z\rangle+\lambda \langle y,z\rangle$$ $$\langle x,\lambda y+z\rangle=\lambda \langle x,y\rangle+\langle x,z\rangle.$$
- elle est symétrique : pour tous $x,y\in E$, on a $\langle x,y\rangle=\langle y,x\rangle$.
- elle est définie positive : pour tout $x\in E$, on a $\langle x,x\rangle\geq 0$ et de plus $\langle x,x\rangle=0$ si et seulement si $x=0$.
Si $\langle \cdot,\cdot\rangle$ est un produit scalaire sur $E$, alors l'application $\|\cdot\|$ définie sur $E$ par $$\|x\|=\sqrt{\langle x,x\rangle}$$ est une norme sur $E$, appelée norme associée au produit scalaire $\langle \cdot,\cdot\rangle$.
Sur $\mathbb K^n$ : Définissons pour $x=(x_1,\dots,x_n)$, \begin{eqnarray*} \|x\|_1&=&|x_1|+\dots+|x_n|\\ \|x\|_2&=&\sqrt{|x_1|^2+\dots+|x_n|^2}\\ \|x\|_\infty&=&\max(|x_1|,\dots,|x_n|). \end{eqnarray*} Alors $\|\cdot\|_1$, $\|\cdot\|_2$, et $\|\cdot\|_\infty$ sont trois normes sur $\mathbb K^n$.
Sur l'espace des fonctions bornées à valeurs dans $\mathbb K$ : Soit $X$ un ensemble et $E$ l'ensemble des fonctions bornées de $X$ dans $\mathbb K$. Pour $f\in E$, on pose $$\|f\|_\infty=\sup_{x\in X}|f(x)|.$$ Alors $\|\cdot\|_\infty$ est une norme sur $E$.
Sur l'espace des fonctions continues à valeurs dans $\mathbb K$ : Soit $I=[a,b]$ un segment et $E=\mathcal C(I,\mathbb K)$. Pour $f\in E$, on pose \begin{eqnarray*} \|f\|_1&=&\int_a^b |f(t)|dt\\ \|f\|_2&=&\left(\int_a^b |f(t)|^2dt\right)^{1/2}. \end{eqnarray*} Alors $\|\cdot\|_1$ et $\|\cdot\|_2$ sont deux normes sur $\mathbb E$.
Une suite $(u_n)$ de $(E,\|\cdot\|)$ est dite bornée s'il existe un réel $M>0$ tel que, pour tout $n\in \mathbb N$, $\|u_n\|\leq M$.
Une suite $(u_n)$ de $(E,\|\cdot\|)$ est dite convergente vers $\ell\in E$ si $$\forall \veps>0,\ \exists N\in \mathbb N,\ \forall n\geq N,\ \|u_n-\ell\|\leq\veps.$$ Une suite qui n'est convergente vers aucun $\ell\in E$ est dite divergente.
Soit $(u_n)$ une suite de $E$ et soit $\phi:\mathbb N\to\mathbb N$ strictement croissante. La suite $(u_{\phi(n)})$ s'appelle suite extraite de $(u_n)$.
- toute suite extraite d'une suite extraite de $(u_n)$ est une suite extraite de $(u_n)$.
- si $(u_n)$ converge vers $\ell$, toute suite extraite de $(u_n)$ converge vers $\ell$.
- si $(u_n)$ admet une suite extraite $(u_{\phi(n)})$ qui converge vers $\ell_1$ et une suite extraite $(u_{\psi(n)})$ qui converge vers $\ell_2$ avec $\ell_1\neq \ell_2$, alors $(u_n)$ est divergente.
- si $(u_{2n})$ et $(u_{2n+1})$ convergent vers le même $\ell\in E$, alors $(u_n)$ converge vers $\ell$.
On dit que $\ell$ est une valeur d'adhérence de la suite $(u_n)$ s'il existe une suite extraite de $(u_n)$ qui converge vers $\ell$.
Deux normes $N_1$ et $N_2$ sur $E$ sont appelées normes équivalentes s'il existe deux constantes $a,b>0$ telles que, pour tout $x\in E$, $$aN_1(x)\leq N_2(x)\leq b N_1(x).$$