Sujet C.1.2 Norme euclidienne
Choisir
un exercice, puis le résoudre
:
Signaler une erreur
Signaler une erreur
Exercice a
Dans un espace préhilbertien réel $\,E\sp{1.5},\,$ démontrer l'identité du parallélogramme :
$\displaystyle{}\ptt u,v\app E,\ \|u+v\|^2+\|u-v\|^2=2\sp{1.5}\big(\sp{1.5}\|u\|^2+\|v\|^2\sp{1.5}\big)$
Comment peut-on interpréter géométriquement cette identité ?
norme euclidienne
Dans un espace préhilbertien réel $E,$ la norme euclidienne est l'application :
$\displaystyle{}\syst{&E\to\bb R_+\\[-.5ex] &u\mapsto\|u\|=\smh0{\sqrt{\smh{0.15}{\ps u u}}}}$
Elle vérifie les propriétés de toute norme sur un $\bb R\tiret$espace vectoriel :
- $\,\ptt u,v\app E,\ \|u+v\|\leq\|u\|+\|v\|\!:\,$ c'est l'inégalité triangulaire ;
- $\,\ptt u\app E,\ \ptt\lambda\app\bb R,\ \|\lambda\sp{1.5}u\|=|\lambda|\,\|u\|\,;\,$
- $\,\ptt u\app E,\ \big(\sp{1.5}\|u\|=0\Imp u=0\sp{1.5}\big).\,$
théorème de Pythagore vectoriel
Soient, dans un espace préhilbertien réel $E,$ deux vecteurs $u$ et $v\sp{1.5}.$
On a alors le Théorème de Pythagore :
$\displaystyle{}u\perp v\Ssi \|u+v\|^2=\|u\|^2+\|v\|^2$
famille orthogonale
Soit une famille $(u_i)_{i\app I}$ de vecteurs d'un espace préhilbertien réel.
- $(u_i)_{i\app I}$ est orthogonale ssi : $\,\ptt i,j\app I,\ \big(i\neq j\Imp u_i\perp u_j\big)\sp{1.5};\,$
- $(u_i)_{i\app I}$ est orthonormale ssi elle est est orthogonale, avec : $\,\ptt i\app I,\ \|u_i\|=1\sp{1.5}.\,$
indication
1
Développer puis sommer les deux produits scalaires :
$\displaystyle{}\|u+v\|^2=\ps{u+v}{u+v}\ \txt{et}\ \|u-v\|^2=\ps{u-v}{u-v}$
indication
2
Étant donné un point $\,A\app E\sp{1.5},\,$ considérer le parallélogramme $(A,B,C,D)$ défini par :
$\displaystyle{}B=A+u,\ \ C=A+(u+v)\,\txt{et}\,D=A+v$
figure
$\,AC^2+BD^2=AB^2+BC^2+CD^2+DA^2\,$
réponse
On vérifie bien l'identité du parallélogramme :
$\displaystyle{}\|u+v\|^2+\|u-v\|^2=2\sp{1.5}\big(\|u\|^2+\|v\|^2\big)$
Pour un parallélogramme $(A,B,C,D),$ cette relation exprime l'égalité de la somme des carrés des longueurs des deux diagonales et la somme des carrés des longueurs des quatre côtés :
$\displaystyle{}AC^2+BD^2=AB^2+BC^2+CD^2+DA^2$
correction
En développant $\,\|u+v\|^2\,$ et $\,\|u-v\|^2,\,$ on obtient, par définition de la
Dans un espace préhilbertien réel $E,$ la norme euclidienne est l'application :
norme
et bilinéarité du
$\displaystyle{}\syst{&E\to\bb R_+\\[-.5ex] &u\mapsto\|u\|=\smh0{\sqrt{\smh{0.15}{\ps u u}}}}$
Elle vérifie les propriétés de toute norme sur un $\bb R\tiret$espace vectoriel :
- $\,\ptt u,v\app E,\ \|u+v\|\leq\|u\|+\|v\|\!:\,$ c'est l'inégalité triangulaire ;
- $\,\ptt u\app E,\ \ptt\lambda\app\bb R,\ \|\lambda\sp{1.5}u\|=|\lambda|\,\|u\|\,;\,$
- $\,\ptt u\app E,\ \big(\sp{1.5}\|u\|=0\Imp u=0\sp{1.5}\big).\,$
Un espace préhilbertien réel est un $\bb R\tiret$espace vectoriel $E$ muni d'un produit scalaire.
Il s'agit d'une application $\,(u,v)\mapsto\ps uv,\,$ de $E\!\times\! E$ vers $\bb R,$ qui soit à la fois :
produit scalaire :
- bilinéaire : pour tous $u,u',v, v'\app E$ et tous $\alpha,\beta\app\bb R\sp{1.5},$
$\displaystyle{}\syst{\ps{\alpha\sp{1.5}u+\beta\sp{1.5}u'}v&=\alpha\sp{1.5}\ps uv+\beta\sp{1.5}\ps{u'}v\\[-.75ex] \ps u{\alpha\sp{1.5}v+\beta\sp{1.5}v'}&=\alpha\sp{1.5}\ps u v+\beta\sp{1.5}\ps u{v'}}$
- symétrique : $\,\ptt u,v\app E,\ \ps u v=\ps v u\sp{1.5};\,$
- positive : $\,\ptt u\app E,\ \ps uu\!\geq0\sp{1.5};\,$
- définie : $\,\ptt u\app E,\ \big(\ps uu=0\Imp u=0\sp{1.5}\big).\,$
$\eqalign{&\ \|u+v\|^2+\|u-v\|^2=\ps{u+v}{u+v}+\ps{u-v}{u-v}\\
=&\big(\sp{1.5}\|u\|^2+2\sp{1.5}\ps uv+\|v\|^2\sp{1.5}\big)+\big(\sp{1.5}\|u\|^2-2\sp{1.5}\ps uv+\|v\|^2\sp{1.5}\big)\\
=& \ 2\,\big(\sp{1.5}\|u\|^2+\|v\|^2\sp{1.5}\big)}$
On va utiliser l'interprétation
En géométrie, les éléments d'un espace préhilbertien réel $E$ sont appelés selon leurs rôles, points ou vecteurs :
géométrique
d'un espace préhilbertien réel.
On considère dans $\,E\,$ un point $\,A\,$ et les points $\,B=A+u,\,$ $\,C=B+v=A+(u+v)\,$ et $\,D=A+v=B+(v-u)\sp{1.5}.\,$
Avec $\,\Vec{AB}=\Vec{DC}=u\sp{1.5},\,$ on obtient un
- pour deux points $A$ et $B\sp{1.5},$ le vecteur $\,\Vec{AB}\,$ est défini par : $\,\Vec{AB}=B-A\,;\,$
- pour un point $A$ et un vecteur $\vec u\sp{1.5},$ le point $\,B=A+\vec u\,$ est tel que : $\,\vec u=\Vec{AB}\sp{-1.5}.\,$
Soient, dans un $\bb R\tiret$espace vectoriel $E\sp{1.5},$ quatre points $A,\sp{1.5}B,\sp{1.5}C,\sp{1.5}D\,.$
$(A,B,C,D)$ est un parallélogramme ssi : $\,\Vec{\sp{-1.5}AB}=\Vec{DC}\sp{-1.5}.\,$
Cette condition équivaut aussi à : $\, m(A,C)=m(B,D)\sp{1.5}.\,$
parallélogramme
$(A,B,C,D)$ où :- $\,AC=\|u+v\|\,$ et $\,BD=\|v-u\|\,$ sont les longueurs des deux diagonales ;
- $\,AB=DC=\|u\|,\ BC=AD=\|v\|\,$ les longueurs des quatre côtés du parallélogramme.
$\displaystyle{}AC^2+BD^2=AB^2+BC^2+CD^2+DA^2$
|
$\,AC^2+BD^2=AB^2+BC^2+CD^2+DA^2\,$
|
Signaler une erreur
Signaler une erreur
Exercice b
Dans un espace préhilbertien réel $\,E,\,$ pour $\,u,v,w\app E\sp{1.5},\,$ exprimer en fonction de $\,\|u\|^2\sp{-1.5}+\sp{-1.5}\|v\|^2\sp{-1.5}+\sp{-1.5}\|w\|^2\,$ la somme :
$\displaystyle{} \|u\sp{-1.5}+\sp{-1.5}v\sp{-1.5}+\sp{-1.5}w\|^2\sp{-1.5}+\|u\sp{-1.5}+\sp{-1.5}v\sp{-1.5}-\sp{-1.5}w\|^2\sp{-1.5}+\|u\sp{-1.5}-\sp{-1.5}v\sp{-1.5}+\sp{-1.5}w\|^2\sp{-1.5}+\|u\sp{-1.5}-\sp{-1.5}v\sp{-1.5}-\sp{-1.5}w\|^2$
Comment peut-on interpréter géométriquement cette identité ?
norme euclidienne
Dans un espace préhilbertien réel $E,$ la norme euclidienne est l'application :
$\displaystyle{}\syst{&E\to\bb R_+\\[-.5ex] &u\mapsto\|u\|=\smh0{\sqrt{\smh{0.15}{\ps u u}}}}$
Elle vérifie les propriétés de toute norme sur un $\bb R\tiret$espace vectoriel :
- $\,\ptt u,v\app E,\ \|u+v\|\leq\|u\|+\|v\|\!:\,$ c'est l'inégalité triangulaire ;
- $\,\ptt u\app E,\ \ptt\lambda\app\bb R,\ \|\lambda\sp{1.5}u\|=|\lambda|\,\|u\|\,;\,$
- $\,\ptt u\app E,\ \big(\sp{1.5}\|u\|=0\Imp u=0\sp{1.5}\big).\,$
théorème de Pythagore vectoriel
Soient, dans un espace préhilbertien réel $E,$ deux vecteurs $u$ et $v\sp{1.5}.$
On a alors le Théorème de Pythagore :
$\displaystyle{}u\perp v\Ssi \|u+v\|^2=\|u\|^2+\|v\|^2$
famille orthogonale
Soit une famille $(u_i)_{i\app I}$ de vecteurs d'un espace préhilbertien réel.
- $(u_i)_{i\app I}$ est orthogonale ssi : $\,\ptt i,j\app I,\ \big(i\neq j\Imp u_i\perp u_j\big)\sp{1.5};\,$
- $(u_i)_{i\app I}$ est orthonormale ssi elle est est orthogonale, avec : $\,\ptt i\app I,\ \|u_i\|=1\sp{1.5}.\,$
indication
1
Développer puis sommer les quatre produits scalaires suivants :
$\eqalign{\|u+v\pm w\|^2=\ps{u+v\pm w}{\sp{1.5}u+v \pm w}\\
\|u-v\pm w\|^2=\ps{u-v\pm w}{\sp{1.5}u-v \pm w}}$
indication
2
Étant donné un point $\,A\app E\sp{1.5},\,$ considérer le parallélogramme $(A,B,C,D)$ défini par :
$\displaystyle{}B=A+u,\ \ C=A+(u+v)\,\txt{et}\,D=A+v$
Compléter ensuite $(A,B,C,D)$ en un parallélépipède $(A,B,C,D,A',B\sp{1.5}',C\sp{1.5}',D\sp{1.5}')$ en posant : $\displaystyle{}A'=A+w,\ B\sp{1.5}'=B+w,\ C\sp{1.5}'=C+w\,\txt{et}\,D\sp{1.5}'=D+w$
figure
Le parallélépipède $\,(A,B,C,D,A',B\sp{1.5}',C\sp{1.5}',D\sp{1.5}')\,$
réponse
On vérifie une identité du parallélépipède qui s'écrit :
$\eqalign{\!\|u\sp{-1.5}+\sp{-1.5}v\sp{-1.5}+\sp{-1.5}w\|^2\sp{-1.5}&+\,\|u\sp{-1.5}+\sp{-1.5}v\sp{-1.5}-\sp{-1.5}w\|^2\sp{-1.5}+\|u\sp{-1.5}-\sp{-1.5}v\sp{-1.5}+\sp{-1.5}w\|^2\sp{-1.5}+\|u\sp{-1.5}-\sp{-1.5}v\sp{-1.5}-\sp{-1.5}w\|^2\\[.5ex]&=\ 4\,\big(\sp{1.5}\|u\|^2+\|v\|^2+\|w\|^2\sp{1.5}\big)}$
Pour un parallélépipède $(A,B,C,D,A',B\sp{1.5}',C\sp{1.5}',D\sp{1.5}'),$ cette relation exprime une égalité entre la somme des carrés des longueurs de ses quatre diagonales principales et la somme des carrés des longueurs de ses douze arêtes :
$\eqalign{&\ \ \,AC\sp{1.5}'\sp{1.5}^2+BD'\sp{1.5}^2+CA'\sp{1.5}^2+DB\sp{1.5}'\sp{1.5}^2\\[.25ex] =&\ \ \,AB\sp{1.5}^2+DC\sp{1.5}^2+A'B\sp{1.5}'\sp{1.5}^2+D\sp{1.5}'C\sp{1.5}'\sp{1.5}^2\\[-.25ex]
&\!\!+\,AD\sp{1.5}^2+BC\sp{1.5}^2+A'D\sp{1.5}'\sp{1.5}^2+B\sp{1.5}'C\sp{1.5}'\sp{1.5}^2\\[-.25ex] &\!\!+\,AA'\sp{1.5}^2+BB\sp{1.5}'\sp{1.5}^2+CC\sp{1.5}'\sp{1.5}^2+DD\sp{1.5}'\sp{1.5}^2}$
correction
En développant $\,\|u+v\pm w\|^2\,$ puis $\,\|u-v\pm w\|^2,\,$ on obtient, par définition de la
Dans un espace préhilbertien réel $E,$ la norme euclidienne est l'application :
norme
et
bilinéarité du
$\displaystyle{}\syst{&E\to\bb R_+\\[-.5ex] &u\mapsto\|u\|=\smh0{\sqrt{\smh{0.15}{\ps u u}}}}$
Elle vérifie les propriétés de toute norme sur un $\bb R\tiret$espace vectoriel :
- $\,\ptt u,v\app E,\ \|u+v\|\leq\|u\|+\|v\|\!:\,$ c'est l'inégalité triangulaire ;
- $\,\ptt u\app E,\ \ptt\lambda\app\bb R,\ \|\lambda\sp{1.5}u\|=|\lambda|\,\|u\|\,;\,$
- $\,\ptt u\app E,\ \big(\sp{1.5}\|u\|=0\Imp u=0\sp{1.5}\big).\,$
Un espace préhilbertien réel est un $\bb R\tiret$espace vectoriel $E$ muni d'un produit scalaire.
Il s'agit d'une application $\,(u,v)\mapsto\ps uv,\,$ de $E\!\times\! E$ vers $\bb R,$ qui soit à la fois :
produit scalaire :
- bilinéaire : pour tous $u,u',v, v'\app E$ et tous $\alpha,\beta\app\bb R\sp{1.5},$
$\displaystyle{}\syst{\ps{\alpha\sp{1.5}u+\beta\sp{1.5}u'}v&=\alpha\sp{1.5}\ps uv+\beta\sp{1.5}\ps{u'}v\\[-.75ex] \ps u{\alpha\sp{1.5}v+\beta\sp{1.5}v'}&=\alpha\sp{1.5}\ps u v+\beta\sp{1.5}\ps u{v'}}$
- symétrique : $\,\ptt u,v\app E,\ \ps u v=\ps v u\sp{1.5};\,$
- positive : $\,\ptt u\app E,\ \ps uu\!\geq0\sp{1.5};\,$
- définie : $\,\ptt u\app E,\ \big(\ps uu=0\Imp u=0\sp{1.5}\big).\,$
$\eqalign{ &\|u+v\pm w\|^2=\ps{u+v\pm w}{\sp{1.5}u+v\pm w}\\[-.5ex]
=&\|u\|^2+\|v\|^2+\|w\|^2+2\sp{1.5}\ps uv\pm 2\sp{1.5}\ps uw\pm 2\sp{1.5}\ps vw\\[1ex]
\txt{et :}\sp{8} &\|u-v\pm w\|^2=\big(u-v\pm w\sp{1.5}\big|\sp{1.5}u-v\pm w\big)\\[-.5ex]
=&\|u\|^2+\|v\|^2+\|w\|^2-2\sp{1.5}\ps uv\mp 2\sp{1.5}\ps uw\mp 2\sp{1.5}\ps vw}$
On obtient finalement la relation :
$\eqalign{\!\|u\sp{-1.5}+\sp{-1.5}v\sp{-1.5}+\sp{-1.5}w\|^2\sp{-1.5}&+\,\|u\sp{-1.5}+\sp{-1.5}v\sp{-1.5}-\sp{-1.5}w\|^2\sp{-1.5}+\|u\sp{-1.5}-\sp{-1.5}v\sp{-1.5}+\sp{-1.5}w\|^2\sp{-1.5}+\|u\sp{-1.5}-\sp{-1.5}v\sp{-1.5}-\sp{-1.5}w\|^2\\[.5ex]&=\ 4\,\big(\sp{1.5}\|u\|^2+\|v\|^2+\|w\|^2\sp{1.5}\big)}$
On va utiliser l'interprétation
En géométrie, les éléments d'un espace préhilbertien réel $E$ sont appelés selon leurs rôles, points ou vecteurs :
géométrique
d'un espace préhilbertien réel.
On considère dans $\,E\,$ un point $\,A\,$ et les points $\,B=A+u,\,$ $\,C=B+v=A+(u+v)\,$ et $\,D=A+v=B+(v-u)\sp{1.5}.\,$
Étant donné que $\,\Vec{AB}=\Vec{DC}=u\sp{1.5},\,$ on obtient ainsi un
- pour deux points $A$ et $B\sp{1.5},$ le vecteur $\,\Vec{AB}\,$ est défini par : $\,\Vec{AB}=B-A\,;\,$
- pour un point $A$ et un vecteur $\vec u\sp{1.5},$ le point $\,B=A+\vec u\,$ est tel que : $\,\vec u=\Vec{AB}\sp{-1.5}.\,$
Soient, dans un $\bb R\tiret$espace vectoriel $E\sp{1.5},$ quatre points $A,\sp{1.5}B,\sp{1.5}C,\sp{1.5}D\,.$
$(A,B,C,D)$ est un parallélogramme ssi : $\,\Vec{\sp{-1.5}AB}=\Vec{DC}\sp{-1.5}.\,$
Cette condition équivaut aussi à : $\, m(A,C)=m(B,D)\sp{1.5}.\,$
parallélogramme
$(A,B,C,D)\sp{1.5}.$
Avec $\,A'=A+w,\,$ $\,B\sp{1.5}'=B+w,\,$ $\,C\sp{1.5}'=C+w\,$ et $\,D\sp{1.5}'=D+w\sp{1.5},\,$ on définit un parallélépipède $(A,B,C,D,A',B\sp{1.5}',C\sp{1.5}',D\sp{1.5}')$ où :- $AC\sp{1.5}', BD\sp{1.5}',CA'$ et $DB\sp{1.5}'$ sont les longueurs des quatre diagonales principales ;
- les autres distances correspondent aux longueurs des douze arêtes du parallélépipède.
$\eqalign{&\ \ \,AC\sp{1.5}'\sp{1.5}^2+BD'\sp{1.5}^2+CA'\sp{1.5}^2+DB\sp{1.5}'\sp{1.5}^2\\[.25ex] =&\ \ \,AB\sp{1.5}^2+DC\sp{1.5}^2+A'B\sp{1.5}'\sp{1.5}^2+D\sp{1.5}'C\sp{1.5}'\sp{1.5}^2\\[-.25ex]
&\!\!+\,AD\sp{1.5}^2+BC\sp{1.5}^2+A'D\sp{1.5}'\sp{1.5}^2+B\sp{1.5}'C\sp{1.5}'\sp{1.5}^2\\[-.25ex] &\!\!+\,AA'\sp{1.5}^2+BB\sp{1.5}'\sp{1.5}^2+CC\sp{1.5}'\sp{1.5}^2+DD\sp{1.5}'\sp{1.5}^2}$
|
Le parallélépipède $\,(A,B,C,D,A',B\sp{1.5}',C\sp{1.5}',D\sp{1.5}')\,$
|
Signaler une erreur
Signaler une erreur
Exercice c
Soit, dans un espace préhilbertien réel $\,E\sp{1.5},\,$ une famille $\,(u_1,\dots,u_p)\,$ de $\,p\sp{-1.5}\geq\sp{-1.5}2\,$ vecteurs.
Montrer que si la famille $\,(u_1,\dots,u_p)\,$ est orthogonale, alors :
$\displaystyle{}\|u_1+\dots+u_p\|^2=\|u_1\|^2+\cdots+\|u_p\|^2$
Déterminer ensuite les valeurs de $\,p\sp{-1.5}\geq\sp{-1.5}2\,$ pour lesquelles la réciproque est exacte.
norme euclidienne
Dans un espace préhilbertien réel $E,$ la norme euclidienne est l'application :
$\displaystyle{}\syst{&E\to\bb R_+\\[-.5ex] &u\mapsto\|u\|=\smh0{\sqrt{\smh{0.15}{\ps u u}}}}$
Elle vérifie les propriétés de toute norme sur un $\bb R\tiret$espace vectoriel :
- $\,\ptt u,v\app E,\ \|u+v\|\leq\|u\|+\|v\|\!:\,$ c'est l'inégalité triangulaire ;
- $\,\ptt u\app E,\ \ptt\lambda\app\bb R,\ \|\lambda\sp{1.5}u\|=|\lambda|\,\|u\|\,;\,$
- $\,\ptt u\app E,\ \big(\sp{1.5}\|u\|=0\Imp u=0\sp{1.5}\big).\,$
théorème de Pythagore vectoriel
Soient, dans un espace préhilbertien réel $E,$ deux vecteurs $u$ et $v\sp{1.5}.$
On a alors le Théorème de Pythagore :
$\displaystyle{}u\perp v\Ssi \|u+v\|^2=\|u\|^2+\|v\|^2$
famille orthogonale
Soit une famille $(u_i)_{i\app I}$ de vecteurs d'un espace préhilbertien réel.
- $(u_i)_{i\app I}$ est orthogonale ssi : $\,\ptt i,j\app I,\ \big(i\neq j\Imp u_i\perp u_j\big)\sp{1.5};\,$
- $(u_i)_{i\app I}$ est orthonormale ssi elle est est orthogonale, avec : $\,\ptt i\app I,\ \|u_i\|=1\sp{1.5}.\,$
indication
1
Développer le produit scalaire :
$\,\ \bigg\|\dsum_{i=1}^p u_i\bigg\|^2=\Big\langle\dsum_{i=1}^p u_i\bigg|\dsum_{j=1}^p u_j\!\Big\rangle\sp{-1.5}\cdot\,$
indication
2
Lorsque $\,p=3\sp{1.5},\,$ déterminer $\,u_1,\,u_2,\,u_3\,$ colinéaires, non nuls et tels que : $\,\ps{u_1}{u_2}+\ps{u_1}{u_3}+\ps{u_2}{u_3}=0\sp{1.5}.\,$
réponse
Si $\,(u_1,\dots,u_p)\,$ est orthogonale, on a bien : $\,\|u_1+\dots+u_p\|^2=\|u_1\|^2+\cdots+\|u_p\|^2\sp{1.5}.\,$
En revanche, la réciproque de cette implication n'est vérifiée que dans le cas où $\,p=2\,.\,$
correction
Si la famille $\,(u_1,\dots,u_p)\,$ est
Soit une famille $(u_i)_{i\app I}$ de vecteurs d'un espace préhilbertien réel.
orthogonale,
on sait que : $\,i\neq j\Imp \ps{u_i}{u_j}=0\sp{1.5}.\,$ Par définition de la
- $(u_i)_{i\app I}$ est orthogonale ssi : $\,\ptt i,j\app I,\ \big(i\neq j\Imp u_i\perp u_j\big)\sp{1.5};\,$
- $(u_i)_{i\app I}$ est orthonormale ssi elle est est orthogonale, avec : $\,\ptt i\app I,\ \|u_i\|=1\sp{1.5}.\,$
Dans un espace préhilbertien réel $E,$ la norme euclidienne est l'application :
norme
et bilinéarité du
$\displaystyle{}\syst{&E\to\bb R_+\\[-.5ex] &u\mapsto\|u\|=\smh0{\sqrt{\smh{0.15}{\ps u u}}}}$
Elle vérifie les propriétés de toute norme sur un $\bb R\tiret$espace vectoriel :
- $\,\ptt u,v\app E,\ \|u+v\|\leq\|u\|+\|v\|\!:\,$ c'est l'inégalité triangulaire ;
- $\,\ptt u\app E,\ \ptt\lambda\app\bb R,\ \|\lambda\sp{1.5}u\|=|\lambda|\,\|u\|\,;\,$
- $\,\ptt u\app E,\ \big(\sp{1.5}\|u\|=0\Imp u=0\sp{1.5}\big).\,$
Un espace préhilbertien réel est un $\bb R\tiret$espace vectoriel $E$ muni d'un produit scalaire.
Il s'agit d'une application $\,(u,v)\mapsto\ps uv,\,$ de $E\!\times\! E$ vers $\bb R,$ qui soit à la fois :
produit scalaire,
on a donc :
- bilinéaire : pour tous $u,u',v, v'\app E$ et tous $\alpha,\beta\app\bb R\sp{1.5},$
$\displaystyle{}\syst{\ps{\alpha\sp{1.5}u+\beta\sp{1.5}u'}v&=\alpha\sp{1.5}\ps uv+\beta\sp{1.5}\ps{u'}v\\[-.75ex] \ps u{\alpha\sp{1.5}v+\beta\sp{1.5}v'}&=\alpha\sp{1.5}\ps u v+\beta\sp{1.5}\ps u{v'}}$
- symétrique : $\,\ptt u,v\app E,\ \ps u v=\ps v u\sp{1.5};\,$
- positive : $\,\ptt u\app E,\ \ps uu\!\geq0\sp{1.5};\,$
- définie : $\,\ptt u\app E,\ \big(\ps uu=0\Imp u=0\sp{1.5}\big).\,$
$\eqalign{\bigg\|\sum_{i=1}^p u_i\bigg\|^2&=\Big\langle\sum_{i=1}^p u_i,\sum_{j=1}^p u_j\!\Big\rangle\\[-1.5ex]&=\ \ \sum_{i=1}^p\ps{u_i}{u_i}+\sum_{i\neq j}\ps{u_i}{u_j}=\sum_{i=1}^p\|u_i\|^2}$
- Lorsque $\,p=2,\,$ la réciproque de cette implication résulte du
Soient, dans un espace préhilbertien réel $E,$ deux vecteurs $u$ et $v\sp{1.5}.$ On a alors le Théorème de Pythagore :théorème de Pythagore.$\displaystyle{}u\perp v\Ssi \|u+v\|^2=\|u\|^2+\|v\|^2$
- Lorsque $\,p=3,\,$ la relation $\,\|u_1+u_2+u_3\|^2=\|u_1\|^2+\|u_2\|^2+\|u_3\|^2\,$ équivaut à :
$\displaystyle{}\ps{u_1}{u_2}+\ps{u_2}{u_3}+\ps{u_3}{u_1}=0$Pour un vecteur $\,u_1\,$ de norme $\,1\sp{1.5},\,$ avec $\,u_2=\alpha\sp{1.5}u_1\,$ et $\,u_3=\beta\sp{1.5}u_1,\,$ cette condition devient :$\displaystyle{}(\alpha+\alpha\sp{1.5}\beta+\beta)\,\|u_1\|^2=\alpha+\alpha\sp{1.5}\beta+\beta=0$Elle est par exemple vérifiée pour $\,\alpha=\beta=-2,\,$ avec cependant : $\,\ps{u_1}{u_2}=-2\neq0\,.\,$ Ce contre-exemple nous prouve que la réciproque de l'implication établie est fausse.On pourrait aussi considérer un couple $\,(u_1,u_2)\,$ orthonormé et poser ensuite $\,u_3=u_1-u_2\,.\,$ Cependant, ce contre-exemple ne peut s'envisager que si $\,E\,$ est de dimension au moins $\,2\,.\,$
- Lorsque $\,p > 3,\,$ on peut construire $\,u_1,\,u_2,\,u_3\,$ comme lorsque $\,p\sp{-1.5}=\sp{-1.5}3\sp{1.5}.\,$ En les complétant par $\,u_4=\cdots=u_p=0\sp{1.5},\,$ on obtient encore un contre-exemple de cette réciproque.
Signaler une erreur
Signaler une erreur
Exercice d
Soient, dans un espace préhilbertien réel $\,E\sp{1.5},\,$ $\,n\,$ vecteurs unitaires $\,u_1,\dots,u_n\,$ ($n\geq2$) ; montrer que :
$\displaystyle{}\sum_{1\leq i < j\leq n}\!\!\ps{u_i}{u_j}\geq-\frac n2$
On appelle mesure de l'angle non orienté de deux vecteurs $u$ et $v$ de $E\sp{1.5},$ le réel : $\,\widehat{u,v\sth0}=\op{Arccos}\sp{1.5}\ps u v\!\cdot\,$
Existe-il dans $E$ trois vecteurs unitaires formant entre eux des angles non orientés de mesures strictement supérieures à $\,\smh{1}{\dfrac{2\sp{1.5}\pi}3}\,?\,$
norme euclidienne
Dans un espace préhilbertien réel $E,$ la norme euclidienne est l'application :
$\displaystyle{}\syst{&E\to\bb R_+\\[-.5ex] &u\mapsto\|u\|=\smh0{\sqrt{\smh{0.15}{\ps u u}}}}$
Elle vérifie les propriétés de toute norme sur un $\bb R\tiret$espace vectoriel :
- $\,\ptt u,v\app E,\ \|u+v\|\leq\|u\|+\|v\|\!:\,$ c'est l'inégalité triangulaire ;
- $\,\ptt u\app E,\ \ptt\lambda\app\bb R,\ \|\lambda\sp{1.5}u\|=|\lambda|\,\|u\|\,;\,$
- $\,\ptt u\app E,\ \big(\sp{1.5}\|u\|=0\Imp u=0\sp{1.5}\big).\,$
théorème de Pythagore vectoriel
Soient, dans un espace préhilbertien réel $E,$ deux vecteurs $u$ et $v\sp{1.5}.$
On a alors le Théorème de Pythagore :
$\displaystyle{}u\perp v\Ssi \|u+v\|^2=\|u\|^2+\|v\|^2$
famille orthogonale
Soit une famille $(u_i)_{i\app I}$ de vecteurs d'un espace préhilbertien réel.
- $(u_i)_{i\app I}$ est orthogonale ssi : $\,\ptt i,j\app I,\ \big(i\neq j\Imp u_i\perp u_j\big)\sp{1.5};\,$
- $(u_i)_{i\app I}$ est orthonormale ssi elle est est orthogonale, avec : $\,\ptt i\app I,\ \|u_i\|=1\sp{1.5}.\,$
indication
1
Développer le produit scalaire :
$\,\ \bigg\|\dsum_{i=1}^n u_i\bigg\|^2=\bigg\langle\dsum_{i=1}^n u_i\bigg|\dsum_{j=1}^n u_j\!\bigg\rangle\!\cdot\,$
indication
2
Minorer $\,\ps{u_1}{u_2}+\ps{u_2}{u_3}+\ps{u_3}{u_1}\,$ lorsque $\,u_1,\,u_2,\,u_3\,$ désignent trois vecteurs unitaires tels que :
$\displaystyle{}i\neq j\Imp\widehat{u_i,u_j\sth0} > \frac{2\sp{1.5}\pi}3$
réponse
On obtient bien, pour $\,u_1,\dots,u_n\,$ unitaires, l'inégalité : $\,\dsum_{1\leq i < j\leq n}\!\!\!\ps{u_i}{u_j}\geq-\dfrac n2\!\cdot\,$
Il n'existe pas dans $\,E\,$ trois vecteurs unitaires $\,u_1,\,u_2,\,u_3\,$ tels que :
$\,i\neq j\Imp\widehat{u_i,u_j\sth0} > \dfrac{2\sp{1.5}\pi}3\!\cdot\,$
correction
Pour $\,u_1,\dots,u_n\,$ tous de norme $\,1\,$ et au nombre d'au moins $\,2\sp{1.5},\,$ on a, par définition de la
Dans un espace préhilbertien réel $E,$ la norme euclidienne est l'application :
norme
et bilinéarité du
$\displaystyle{}\syst{&E\to\bb R_+\\[-.5ex] &u\mapsto\|u\|=\smh0{\sqrt{\smh{0.15}{\ps u u}}}}$
Elle vérifie les propriétés de toute norme sur un $\bb R\tiret$espace vectoriel :
- $\,\ptt u,v\app E,\ \|u+v\|\leq\|u\|+\|v\|\!:\,$ c'est l'inégalité triangulaire ;
- $\,\ptt u\app E,\ \ptt\lambda\app\bb R,\ \|\lambda\sp{1.5}u\|=|\lambda|\,\|u\|\,;\,$
- $\,\ptt u\app E,\ \big(\sp{1.5}\|u\|=0\Imp u=0\sp{1.5}\big).\,$
Un espace préhilbertien réel est un $\bb R\tiret$espace vectoriel $E$ muni d'un produit scalaire.
Il s'agit d'une application $\,(u,v)\mapsto\ps uv,\,$ de $E\!\times\! E$ vers $\bb R,$ qui soit à la fois :
produit scalaire :
- bilinéaire : pour tous $u,u',v, v'\app E$ et tous $\alpha,\beta\app\bb R\sp{1.5},$
$\displaystyle{}\syst{\ps{\alpha\sp{1.5}u+\beta\sp{1.5}u'}v&=\alpha\sp{1.5}\ps uv+\beta\sp{1.5}\ps{u'}v\\[-.75ex] \ps u{\alpha\sp{1.5}v+\beta\sp{1.5}v'}&=\alpha\sp{1.5}\ps u v+\beta\sp{1.5}\ps u{v'}}$
- symétrique : $\,\ptt u,v\app E,\ \ps u v=\ps v u\sp{1.5};\,$
- positive : $\,\ptt u\app E,\ \ps uu\!\geq0\sp{1.5};\,$
- définie : $\,\ptt u\app E,\ \big(\ps uu=0\Imp u=0\sp{1.5}\big).\,$
$\eqalign{0\leq\bigg\|\sum_{i=1}^n u_i\bigg\|^2&=\bigg\langle\sum_{i=1}^n u_i\bigg|\sum_{j=1}^n u_j\bigg\rangle\\[-1ex]&=\sum_{i=1}^n\ps{u_i}{u_i}+\sum_{i\neq j}\ps{u_i}{u_j}\\[-1ex]
&=\sum_{i=1}^n\|u_i\|^2+\ 2\!\!\!\sum_{1\leq i < j\leq n}\!\!\!\ps{u_i}{u_j}\\&
=\ \,n+\ 2\!\!\!\sum_{1\leq i < j\leq n}\!\!\!\ps{u_i}{u_j}}$
On en déduit donc l'inégalité : $\,\dsum_{1\leq i < j\leq n}\!\!\!\ps{u_i}{u_j}\geq-\dfrac n2\cdot\,$
Pour trois vecteurs unitaires $\,\sp{1.5}u_1\sp{1.5},\sp{1.5}u_2\,$ et $\,u_3\sp{1.5},\,$ on a ainsi la minoration :
$\displaystyle{}\ps{u_1}{u_2}+\ps{u_2}{u_3}+\ps{u_3}{u_1}\geq-\smh0{\frac32}$
Avec des
Soient, dans un espace préhilbertien réel, deux vecteurs $u\neq0$ et $v\neq0\sp{1.5}.$
La mesure de l'angle non orienté de
est l'unique réel $\,\smh0{\widehat{u,\sp{-1.5}v\sth0}}\sp{1.5}\app\,[0,\pi]\,$ tel que :
angles
non orientés de mesures strictement supérieures à $\,{2\sp{1.5}\pi}\sp{-1.5}/3,\,$ on aurait, par stricte
$\displaystyle{}\cos\sp{1.5}\widehat{u,\sp{-1.5}v\sth0}=\ps {u_1}{v_1}\sp{1.5},\txt{pour} u_1=u/\|u\|\txt{et}v_1=v/\|v\|$
- $u$ et $v$ sont colinéaires ssi : $\,\smh0{\widehat{u,v\sth0}}\app\big\{0,\pi\big\}\sp{1.5};\,$
- $u$ et $v$ sont orthogonaux ssi : $\,\smh0{\widehat{u,v\sth0}}={\pi}\sp{-1.5}/2\sp{1.5}.\,$
Les fonctions cosinus et sinus sont continues sur $\bb R$ et de période $2\sp{1.5}\pi:$
décroissance
du cosinus sur $\,[0,\pi]\,:\,$
- Le cosinus est pair et strictement décroissant sur $\,\smb{1}{[\sp{1.5}0,\pi\sp{1.5}]}\sp{1.5}.\,$
- Le sinus est impair et strictement croissant sur $\,[-\pi\sp{-1.5}/\sp{-1.5}2,\pi\sp{-1.5}/\sp{-1.5}2\sp{1.5}]\sp{1.5}.\,$
$\displaystyle{}i\neq j\Imp\ps{u_i}{u_j}=\cos\sp{1.5}\widehat{u_i,u_j\sth0} < -\dfrac12$
On en déduirait donc, par
La relation d'ordre sur $\bb R$ est compatible avec la somme :
somme
d'inégalités strictes, que : - $\,\big(\sp{1.5}a\leq a' \ \text{ et }\ b\leq b'\sp{1.5}\big)\Imp a+b\leq a'+b'\,;\,$
- $\,\big(\sp{1.5}a\leq a' \ \text{ et }\ b < b'\sp{1.5}\big)\Imp a+b < a'+b'\sp{1.5}.\,$
$\displaystyle{}\ps{u_1}{u_2}+\ps{u_2}{u_3}+\ps{u_3}{u_1}< -\smh0{\dfrac32}$
Cela contredit la minoration établie ; il n'existe donc pas dans $\,E\,$ trois vecteurs unitaires $\,\sp{1.5}u_1\sp{1.5},\,u_2\sp{1.5},\,u_3\sp{1.5},\,$ tels que :
$\displaystyle{}i\neq j\Imp\widehat{u_i,u_j\sth0} \,> \dfrac{2\sp{1.5}\pi}3$