Soit $\rm E$ un $\mathbb K$-espace vectoriel avec $\mathbb K=\mathbb R$ ou $\mathbb C$.
Méthode 1 : Etudier une norme
- Utiliser la définition :
Soit l’application : $\mathrm{\|\cdot\|:E\to \mathbb R^+}$.
$\|\cdot\|$ est une norme si :
- Pour tout $x \in \rm E$, $\|x\|=0 \Rightarrow x=0_{\rm E}$
- Pour tout $\lambda \in \mathbb K$, pour tout $x\in \rm E$, $\|\lambda x\|=|\lambda|\|x\|$
- Pour tous $x, y\in \rm E$, $\|x+y\|\leq\|x\|+\|y\|$.
$\mathrm{(E,\|\cdot\|)}$ est alors appelé espace vectoriel normé.
Théorème : Inégalité triangulaire :
Pour tous $x,y\in E$, $||x+y||\leq ||x||+||y||$ avec égalité si et seulement s’il existe $\lambda \in\mathbb R^+$ tel que $y=\lambda x$ ou $x=\lambda y$ ($x$ et $y$ sont dits positivement liés).
Remarque: $x\in E$ est unitaire si $||x||=1$.
- Définir une norme à partir d’un produit scalaire
Soit $E$ un espace préhilbertien, muni du produit scalaire $(\cdot|\cdot)$.
En posant : pour tout $x\in E$, $||x||=\sqrt{(x|x)}$, on définit une norme sur $E$.
- Reconnaître des normes usuelles :
- Sur $\mathbb R$, la valeur absolue est une norme
- Sur $\mathbb C$, le module est une norme
- Sur $\rm \mathbb K^n$, $\|\cdot\|_1$, $\|\cdot\|_2$ et $\|\cdot\|_{\infty}$ sont des normes avec :
$$\begin{array}{ll}
\|x\|_1=|x_1|+\ldots+|x_\mathrm n| \\
\displaystyle \|x\|_2=\sqrt{|x_1|^2+\ldots+|x_\mathrm n|^2} \\
\|x\|_{\infty}=\text{max}\{|x_1|,\ldots,|x_{\rm n}|\}
\end{array}$$
Avec $x=(x_1,\ldots,x_{\rm n})$
- Sur $\mathrm{B(X,\mathbb K)}$ (ensemble des fonctions définies sur $\mathrm{X}$, non vide, à valeurs dans $\mathbb K$, bornées), $\|\cdot\|_{\infty}$ est une norme avec $\|f\|_{\infty}=\sup_{x\in \mathrm X}|f(x)|$ (norme de la convergence uniforme)
- Sur $\mathrm{C([a~ ;b],\mathbb K)}$ (espace des fonctions continues de $\mathrm{[a,b]}$ vers $\mathbb K$), $\|\cdot\|_{\infty}$, mais aussi $\|\cdot\|_1$ et $\|\cdot\|_2$ sont des normes avec :
$\displaystyle \|f\|_1=\mathrm{\int_a^b} |f(\mathrm{t)|dt}$
$\displaystyle \|f\|_2=\bigg(\mathrm{\int_a^b} |f(\mathrm t)|^2\rm dt\bigg)^{1/2}$
(normes de la convergence en moyenne et en moyenne quadratique).
- Identifier une norme sur un produit d’espaces normés :
Soient $\mathrm{(E_1,\|\cdot\|_1), \ldots, (E_r,\|\cdot\|_r)}$ des espaces normés.
On note $\mathrm{E=E_1\times\ldots\times E_r}$.
Soit $x=(x_1,\ldots,x_{\rm r})\in \rm E$.
$\displaystyle \|x\|=\text{max}_{1\leq \mathrm{i \leq r}}\|x_{\rm i}\|$
$\mathrm{\|\cdot\|}$ est une norme sur $\mathrm{E}$.
Méthode 2: Suites d’éléments d’un espace vectoriel normé
Soit $E$ un espace vectoriel muni de la norme $|| \cdot ||$.
Définitions:
Une suite d’éléments $(u_n)$ de $E$ converge vers $l\in E$ si
$\displaystyle|| u_n-l ||\xrightarrow[n\to+\infty]{}0$.
Une suite qui n'est convergente vers aucun $l\in E$ est appelée divergente.
Théorème : Si $(u_n)$ est une suite convergente vers $l$, $l$ est appellé limite de la suite $(u_n)$ et est unique.
Proposition : Toute suite convergente est bornée.
Proposition : Si $(u_n)$ et $(v_n)$ sont deux suites de $E$ convergeant respectivement vers $l_1$ et vers $l_2$, alors pour tous $\alpha, \beta \in \mathbb $, $(\alpha u_n+\beta v_n)$ converge vers $\alpha l_1+\beta l_2$.
Propriété: La convergence d’une suite à valeurs dans un espace vectoriel normé de dimension finie équivaut à celle de chacune de ses coordonnées dans une base.
Définition: $l$ est une valeur d'adhérence de la suite $(u_n)$ s'il existe une suite extraite de $(u_n)$ qui converge vers $l$.
Théorème: Une suite ayant au moins deux valeurs d’adhérence diverge.
Théorème: Une suite bornée d’un espace normé de dimension finie converge si et seulement si elle a une unique valeur d’adhérence.
Méthode 3 : Comparer des normes
- Une norme $\|\cdot\|_1$ sur $\rm E$ est dominée par une norme $\|\cdot\|_2$ s’il existe $\alpha>0$ tel que pour tout $x \in \rm E$, $\|x\|_1\leq \alpha \|x\|_2$
- Deux normes $\mathrm{\|\cdot\|_1}$ et $\mathrm{\|\cdot\|_2}$ sur $\mathrm{E}$ sont équivalentes si chacune est dominée par l’autre : il existe $\mathrm{\alpha,~\beta>0}$ tels que pour tout $x\in \rm E$, $\alpha \|x\|_2 \leq \|x\|_1\leq \beta \|x\|_2$
Théorème :
Sur un $\mathbb K$-espace vectoriel de dimension finie, les normes sont deux à deux équivalentes.
Théorème :
Deux normes équivalentes définissent les mêmes suites convergentes qui ont même limite pour les deux normes.
Remarque :
On peut montrer que deux normes ne sont pas équivalentes en trouvant une suite convergente pour une norme mais divergente pour l’autre ou une suite qui converge pour ces deux normes mais vers des limites différentes.