Espace euclidien

Un article de Wikivisual, l'encyclopédie libre.

Cet article ou section d'article manque de sources.
Vous pouvez contribuer à l'améliorer en ajoutant des références confirmant les différents points évoqués.

Image:Books-aj.svg aj ashton 01.svg

Un espace euclidien, dans la conception actuelle, est un espace vectoriel ou affine réel de dimension finie muni d'un produit scalaire. Dans un tel espace, on peut traiter des questions de longueur ou d'orthogonalité. En physique, l'espace où nous évoluons est usuellement modélisé par un espace affine euclidien de dimension 3.

[modifier] Première approche

Image:Searchtool.svg Voir les articles Géométrie euclidienne et Éléments d'Euclide.

L'espace euclidien tire son nom du mathématicien grec Euclide. Historiquement, l’espace euclidien est seulement l’espace physique de dimension 2 ou 3 (plan ou espace) dans lequel ont été définis les points, les droites, les distances et les angles. À ces objets ont été affectées des propriétés comme « par deux points distincts ne passe qu'une seule droite », ou bien « la somme des angles d'un triangle vaut deux droits ».

Les transformations caractéristiques de ces espaces euclidiens sont les isométries: elles transforment des figures géométriques en d'autres figures géométriques de même dimension. Elles sont à l'origine par exemple des cas d'égalité des triangles. Les outils fondamentaux de travail dans l'espace euclidien sont la règle et le compas. Ces espaces euclidiens naturels sont les univers où sont démontrés tous les grands théorèmes de la géométrie plane ou de la géométrie dans l'espace. Ils sont les objets d'étude de tous les géomètres avant Euclide jusqu'aux mathématiciens du XIX^e siècle.

À cette date cependant, cette vision de l'espace euclidien naturel commence à montrer ses limites. Il est alors nécessaire d'en donner une définition plus formelle et plus générale . La définition du produit scalaire de deux vecteurs par

<math>\langle\vec u|\vec v\rangle = \|\vec u\| \cdot \|\vec v\| \cdot \cos(\widehat{\vec u, \vec v})</math>

va permettre cette mutation.

[modifier] Définitions mathématiques

[modifier] Espace vectoriel euclidien

Un espace vectoriel euclidien est un espace vectoriel sur <math>\R</math>, de dimension finie et muni d'un produit scalaire : <math>\langle\vec u|\vec v \rangle</math>. On peut alors y définir une norme, appelée "norme euclidienne" :

<math>\|\vec u\|=\sqrt{\langle\vec u|\vec u\rangle}</math>

et une notion d'angle : l'angle géométrique (u,v) de deux vecteurs non nuls est le réel <math>\theta</math> compris entre 0 et <math>\pi</math> tel que

<math>\cos(\theta) = \frac{\langle\vec u|\vec v\rangle}{\|\vec u\|\cdot\|\vec v\|}</math> (ce quotient est compris entre -1 et +1 d'après l'inégalité de Cauchy-Schwarz).

Les transformations caractéristiques de ces espaces euclidiens sont les transformations conservant le produit scalaire et la norme. Ce sont les automorphismes orthogonaux (voir groupe orthogonal).

[modifier] Espace affine euclidien

Un espace affine euclidien est un espace affine associé à un espace vectoriel euclidien. On peut y définir une distance, des notions d'angle géométrique et on retrouve en particulier la propriété de Pythagore et sa réciproque ainsi que celle de la somme des angles d'un triangle.

Les transformations fondamentales des espaces affines euclidiens sont les isométries, transformations conservant les distances, on démontre que ce sont des applications affines dont l'application linéaire associée est un automorphisme orthogonal.

[modifier] Exemples d'espaces vectoriel euclidien

L'espace <math>\R^n</math>, muni du produit scalaire canonique

<math>\langle (x_1,x_2,\cdots,x_n) | (y_1,y_2,\cdots,y_n) \rangle = x_1y_1 + x_2y_2 + \cdots + x_ny_n = \sum_{i=1}^n x_iy_i</math>

est un espace vectoriel euclidien (dit canonique) de dimension n

L'espace vectoriel des polynômes réels de degré inférieur ou égal à n
- muni du produit scalaire canonique
  <math>\left\langle\sum_{i=0}^{n}a_iX^i \Bigg | \sum_{i=0}^{n}b_iX^i\right\rangle = \sum_{i=0}^{n}a_ib_i</math>
  est un espace euclidien de dimension n + 1
- muni du produit scalaire

<math>\langle P | Q\rangle = \int_0^1P(t)Q(t)\ {\rm d}t</math>

est aussi un espace euclidien dont la norme est différente de la précédente.

[modifier] Propriétés des espaces euclidiens

Outre les propriétés inhérentes à la norme et au produit scalaire (voir aussi forme bilinéaire), l'espace euclidien possède des propriétés supplémentaires dues à son caractère d'espace de dimension finie.

[modifier] Base

Tout espace euclidien possède une base orthonormale (chaque vecteur de la base est de norme 1, le produit scalaire de deux vecteurs différents est toujours nul). Plus précisément : si <math>(u_1, u_2, \cdots, u_n)</math> est une base de E, il existe une base <math>(v_1, v_2, \cdots , v_n)</math> orthonormale et telle que, pour tout entier k de 1 à n, <math>\operatorname{Vec}(\{u_1, u_2, \cdots, u_k\}) = \operatorname{Vec}(\{v_1, v_2, \cdots, v_k\})</math>

Article détaillé : Procédé de Gram-Schmidt.

Tout espace vectoriel euclidien de dimension n est isomorphe à <math>\R^n</math>.

Tout espace vectoriel euclidien est complet, c'est donc un cas particulier d'espace de Banach.

[modifier] Orthogonalité

Image:Searchtool.svg Voir l’article Orthogonalité.

Deux vecteurs dont le produit scalaire est nul sont dits orthogonaux.

À tout sous-espace vectoriel F d'un espace euclidien E on peut associer un unique sous-espace <math>F^\bot</math> formé de tous les vecteurs orthogonaux à tous les vecteurs de F, c'est l'orthogonal de F. L'orthogonal de l'orthogonal de F est F. Un sous-espace F et son orthogonal sont supplémentaires.

[modifier] Vecteur et forme linéaire associés

Image:Searchtool.svg Voir l’article Espace dual.

L'existence de sous-espaces orthogonaux supplémentaires permet de définir la notion d'hyperplan orthogonal à un vecteur v non nul et permet de démontrer l'existence d'un isomorphisme entre E et l'ensemble des formes linéaires sur E.

Si x est un vecteur de E, l'application « produit scalaire par x » <math>s_x : y \mapsto \langle x|y\rangle</math> est une forme linéaire, dite associée à x.

L'application qui à x associe <math>s_x</math> est isomorphisme d'espaces vectoriels de E dans <math>E^*</math>, espace dual de E.

[modifier] Adjoint d'un endomorphisme

Si u est un endomorphisme de E, il existe un unique endomorphisme noté <math>u^*</math> et appelé adjoint de u, tel que

<math>\forall x \in E,y\in E, \qquad \langle u(x)|y \rangle=\langle x|u^*(y) \rangle</math>

On définit les notions d'endomorphisme autoadjoint ou symétrique (<math>u=u^*</math>), anti-autoadjoint ou antisymétrique (<math>u=-u^*</math>).

Dans une base orthonormale ou orthonormée, la matrice représentative de <math>u^*</math> est la transposée de celle de u.

[modifier] Notions connexes

Un espace vectoriel sur <math>\R</math> muni d'un produit scalaire et de dimension infinie est un espace préhilbertien. L'absence de la finitude de la base lui fait perdre la liste de propriétés précitées. Si l'espace est complet c'est un espace de Hilbert.
Un espace vectoriel sur <math>\mathbb C</math> muni d'un produit scalaire et de dimension finie est appelé espace hermitien da:Euklidisk vektorrum

de:Euklidischer Raum en:Euclidean space es:Espacio euclídeo ko:유클리드 공간 he:מרחב אוקלידי io:Euklidana spaco ja:ユークリッド空間 pl:Przestrzeń euklidesowa ru:Евклидово поле zh:欧几里德空间