 |
Cours Espaces préhilbertiens réels. |
|
$$
\newcommand{\SetN}{\mathbb{N}}
\newcommand{\SetR}{\mathbb{R}}
\newcommand{\SetC}{\mathbb{C}}
\newcommand{\SetK}{\mathbb{K}}
\newcommand{\SetZ}{\mathbb{Z}}
\newcommand{\SetQ}{\mathbb{Q}}
\newcommand{\SetU}{\mathbb{U}}
\newcommand\ds[0]{\displaystyle}
\newcommand\PCar[1]{\large{\chi}_{#1}}
\newcommand{\=}{\:=\:}
\newcommand\tendvers[2]{\displaystyle\mathop{\longrightarrow}_{#1\rightarrow#2}}
\newcommand\tr[0]{\:^t\!}
\newcommand\limite[2]{\displaystyle\mathop{\text{lim}}_{#1\rightarrow#2}\:}
\newcommand\Sup[1]{\displaystyle\mathop{sup}_{#1}}
\newcommand\Inf[1]{\displaystyle\mathop{inf}_{#1}}
\newcommand\Haut[1]{}
\newcommand\vect[1]{\overrightarrow{#1}}
\newcommand\tendversCU[0]{\:\displaystyle\mathop{\Large\longrightarrow}_{n\rightarrow+\infty}^{_{CU}}\:}
\newcommand\tendversCS[0]{\:\displaystyle\mathop{\Large\longrightarrow}_{n\rightarrow+\infty}^{_{CS}}\:}
\newcommand\tendversCN[0]{\:\displaystyle\mathop{\Large\longrightarrow}_{n\rightarrow+\infty}^{_{CN}}\:}
\newcommand\tendversCUS[0]{\:\displaystyle\mathop{\Large\longrightarrow}_{n\rightarrow+\infty}^{_{CUS}}\:}
\newcommand\tendversNorme[1]{\:\displaystyle\mathop{\Large\longrightarrow}_{n\rightarrow+\infty}^{#1}\:}
\newcommand\simL[0]{\displaystyle\mathop{\sim}_{^{^L}}}
\newcommand\simC[0]{\displaystyle\mathop{\sim}_{^{^C}}}
\newcommand\simLC[0]{\displaystyle\mathop{\sim}_{^{^{LC}}}}
\newcommand\fonction[5]{
\begin{array}{cccc}
#1\::\:& #2 & \rightarrow & #3 \\
& #4 & \mapsto & \ds #5 \
\end{array}}
$$
| Liste chapitres | Plan du chapitre |
|
|
||||||
| |||||||||
I. Produit scalaire I.1. Espace préhilbertien-réel
Définition.
Remarques.
| |||||||||
I. Produit scalaire I.2. Exemples de références
Exemple.1
$\SetR^n$ muni du pse :
$$\langle x,y\rangle \=x_1.y_1\:+\:...\:\:+x_n.y_n$$ avec $x=(x_1,...,x_n)$ et
$x=(y_1,...,y_n)$, est un eve.
Si on assimile les éléments de $\SetR^n$ aux matrices colonnes à $n$ lignes, le produit scalaire peut s'écrire :
$$\forall X,Y\in\SetR^n=\mathcal{M}_{n1}(\SetR),\:\:\:\:\langle X,Y\rangle\=X^TY$$
Exemple.2
$M_{pq}(\SetR)$ muni du pse :$$\langle A,B\rangle \=\sum_{i=1}^p\sum_{j=1}^qa_{ij}b_{ij}\=tr\left(A^TB\right)$$
est un eve.
Exemple.3
$\mathcal{C}([a,b],\SetR)$ muni du pse : $$ \langle f,g\rangle \=\int_a^bf(x)g(x)dx$$
est un préhilbertien réel.
Exemple.4
$\SetR|X]$ muni d'un pse du type : $$ \langle P,Q\rangle \=\int_a^bP(x)Q(x)dx$$ avec $a$ et $b$ dans $\SetR$ tels que $a < b$, est un préhilbertien réel.
| |||||||||
I. Produit scalaire I.3. L'inégalité de Cauchy-Schwarz.
Théorème.5
Soit $\left(E,\langle\:,\:\rangle\right)$ un espace préhilbertien réel, alors pour tous $x$ et $y$ dans $E$ :
Remarques.
Exemples.
Voici la traduction du théorème de Cauchy-Schwarz dans les préhilbertiens réels classiques :
$$\begin{array} {cll}%
1 & \hbox{Dans } \SetR^n, & \ds\left|\sum_{i=1}^n x_i.y_i\right|\:\leq\: \sqrt{\sum_{i=1}^n x_i^2}\sqrt{\sum_{i=1}^n y_i^2}\\
\Haut{0.8}2 & \hbox{Dans } M_n(\SetR), & \ds \left|tr\left(A^TB\right)\right|\:\leq\:\sqrt{tr\left(A^TA\right)}\sqrt{tr\left(B^TB\right)}\\
\Haut{1.2}3 & \hbox{Dans } \mathcal{C}([a,b],\SetR), &\ds \left|\int_a^bf(x)g(x)dx\right|\:\leq\:\sqrt{\int_a^bf^2(x)dx}\sqrt{\int_a^bg^2(x)dx}\\
\end{array}%
$$
| |||||||||
I. Produit scalaire I.4. Norme euclidienne
Définition.
Une norme sur un $\SetR$-ev est une application $N$ de $E$ dans $\SetR^+$ vérifiant pour tous $x$ et $y$ de $E$, et tout $\lambda$ de $\SetR$ :
Théorème - Définition.6
Soit $\left(E,\langle\:,\:\rangle\right)$ est un préhilbertien réel.
Remarques.
| |||||||||
I. Produit scalaire I.5. Distance euclidienne
Définition.
Une distance sur un ensemble $E$ est une application $d$ de $E^2$ dans $\SetR^+$ vérifiant pour tous $x$, $y$ et $z$ de $E$ :
Théorème - Définition.7
Soient $\left(E,\langle\:,\:\rangle\right)$ est un préhilbertien réel et $\|.\!.\!.\|$ sa norme euclidienne alors l'application $d$ définie par :
$$\forall x,y\in E,\:\:d(x,y)\=\|x-y\|$$
est une distance. C'est la distance euclidienne.
Remarque.
Il existe des distances non euclidiennes, même des distances qui ne proviennent d'aucune norme. Par exemple sur $\SetR$, l'application $d$ définie par : $$\forall x,y\in\SetR,\:d(x,y)\=\arctan(|x-y|)$$
est une distance qui ne provient d'aucune norme.
| |||||||||
I. Produit scalaire I.6. Identités de polarisation
Propriétés.8
Il existe certaines relations entre le produit scalaire et la norme
euclidienne. Pour tous $x$ et $y$ de $E$, on a :
$$\begin{array}{llll}
1&\|x+y\|^2&\=~& \|y\|^2+\|x\|^2+2\langle x,y\rangle\\[0.25cm]
2&\langle x,y\rangle &\=&\ds\frac{1}{2}\ds\left(\|x+y\|^2-\|y\|^2-\|x\|^2\right)\\[0.15cm]
3&\langle x,y\rangle &\=&\ds\frac{1}{4}\ds\left(\|x+y\|^2-\|x-y\|^2\right)\\
\end{array}$$
Intérêt.
Les identités 2 et 3 permettent, à partir de la norme euclidienne de retrouver le
produit scalaire.
Exercice.9
| |||||||||
I. Produit scalaire I.7. Identité du parallélogramme.
Théorème.10
Si $\|\:\:\|$ est une norme euclidienne alors :
$$\forall x,y\in E,\:\:\|x+y\|^2+\|x-y\|^2\=2\|x\|^2+2\|y\|^2$$
Remarque.
On utilise souvent la contraposée de l'inégalité du parallélogramme pour montrer qu'une norme n'est pas euclidienne. Un exemple dans l'exercice suivant.
Exercice.11
Soit $n$ un entier supérieur ou égal à 2. Notons pour tout $x=(x_1,...,x_n)$ de $\SetR^n$ et tout $p$ de $[1;+\infty[$. :
$$\|x\|_p\:\=\:\sqrt[p]{|x_1|^p+... |x_n|^p}\hskip2cm
\|x\|_\infty\:\=\:\mathop{\text{Max}}_{i\in[\hskip-0.03cm[1,n]\hskip-0.03cm]}{|x_i|}$$
On admet que ce sont des normes.
| |||||||||
