Espace Euclidien


Espace Euclidien

Espace euclidien

En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique classique, le plan ainsi que l'espace qui nous entoure. Un espace euclidien permet également de traiter les dimensions supérieures ; il est défini par la donnée d'un espace vectoriel sur les nombres réels, de dimension finie, muni d'un produit scalaire, qui permet de mesurer distances et angles.

L'existence d'un produit scalaire permet d'obtenir par exemple des bases particulières dites orthonormales, une relation canonique entre l'espace et son dual, ou des familles d'endomorphismes admettant une théorie simple de réduction. Il permet aussi d'obtenir une structure topologique, ce qui met à disposition les méthodes d'analyse.

Les espaces euclidiens possèdent une longue histoire ainsi que de nombreuses applications. Les relations entre cet outil et le reste des mathématiques sont multiples et variées, depuis la logique et l'algèbre jusqu'aux géométriques non euclidiennes. Cet aspect est traité dans l'article géométrie euclidienne.

Sommaire

Espace euclidien et bipoints

Articles détaillés : Vecteur et Produit scalaire.

Dans le cadre de la construction des vecteurs à l'aide de classe d'équivalence de bipoints sur un espace affine, une première définition du produit scalaire peut être obtenue. La norme d'un vecteur correspond à la longueur d'un bipoint représentatif, l'angle de deux vecteurs correspond à celui de deux bipoints représentatifs de même origine. La formule donnant le produit scalaire est alors :

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

Dans de nombreux cas en physique classique ou en géométrie analytique, si la dimension de l'espace n'est pas trop élevée (typiquement deux ou trois), cette définition est suffisante. Toutefois, dans le cas général, ce formalisme s'avère à la fois lourd et peu adapté pour, par exemple, l'étude des propriétés topologiques d'un espace euclidien. Une deuxième approche, purement algébrique et plus abstraite, existe, et permet d'établir plus facilement des résultats plus généraux[1].

Formalisation et premières propriétés

Définitions

Les axiomes d'un espace vectoriel euclidien E concernent deux structures qui se combinent : la première est celle d'espace vectoriel de dimension finie sur le corps des nombres réels, et la deuxième est la donnée d'une forme bilinéaire, notée ici <. , .>, appelée produit scalaire, possédant des propriétés spécifiques. Une forme bilinéaire est une application de E2 (l'ensemble des couples d'éléments de E) dans l'ensemble R des réels, linéaire pour chacune des deux variables, et il s'agit d'un produit scalaire si elle possède de plus les trois propriétés :

  • Un produit scalaire est symétrique, ce qui signifie :
\forall x,y \in E \quad \langle x\, , \, y \rangle = \langle y\, , \, x\rangle
  • Un produit scalaire est positif ce qui signifie :
\forall x \in E \quad \langle x\, , \, x \rangle \; \ge \; 0
  • Un produit scalaire est défini positif ce qui signifie qu'il est positif et que de plus :
\forall x \in E \quad \langle x\, , \, x \rangle = 0 \; \Rightarrow x = 0

Définition[2] —  Un produit scalaire sur un espace vectoriel réel E est une forme bilinéaire symétrique définie positive.

En particulier, la définition de produit scalaire est valable en dehors du cadre de la dimension finie. Elle se généralise aux espaces complexes, (cf l'article Hermitien).

Définition —  Un espace vectoriel euclidien est un espace vectoriel réel de dimension finie muni d'un produit scalaire.

Définition —  Un espace affine euclidien est un espace affine dont l'espace vectoriel sous-jacent est muni d'une structure euclidienne.

La donnée du produit scalaire permet de définir une norme et une distance :

Définition —  La norme euclidienne associée à un espace vectoriel du même type est la fonction de E dans l'ensemble des réels positifs, qui à un vecteur x associe la racine carrée du produit scalaire de x avec lui-même. La norme euclidienne du vecteur x est souvent notée \scriptstyle ||x||. Cette convention est utilisée tout au long de l'article.

Cette fonction vérifie les axiomes de la notion de norme.

Définition —  La distance euclidienne est la distance associée à la norme euclidienne. La distance euclidienne de deux vecteurs x et y est la norme de la différence x - y.

Cette fonction vérifie les axiomes de la notion de distance. Dans le cas d'un espace affine, la distance entre deux point a et b est égale à la norme du vecteur d'extrémités a et b.

Exemples

  • L'espace vectoriel Rn, muni du produit scalaire canonique
\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
est un espace euclidien appelé espace euclidien canonique[3] de dimension n.
  • L'espace vectoriel des polynômes réels de degré inférieur ou égal à n,
  • muni du produit scalaire canonique :
\left\langle\sum_{i=0}^{n}a_iX^i , \sum_{i=0}^{n}b_iX^i\right\rangle = \sum_{i=0}^{n}a_ib_i
est un espace euclidien de dimension n + 1.
  • muni du produit scalaire :
\langle P , Q\rangle = \int_0^1P(t)Q(t)\ {\rm d}t
est aussi un espace euclidien dont la norme et la distance associées sont différentes de la précédente. Ce produit scalaire est plus généralement défini sur l'espace des polynômes réels, sans condition de degré (espace de dimension infinie).
  • muni du produit scalaire :
\langle P , Q\rangle = \sum_{i = 0}^n P(x_i)Q(x_i)
(où x0, ... xn sont n + 1 réels distincts) est aussi un espace euclidien dont la norme et la distance associées sont différentes des précédentes.
  • L'espace des nombres complexes C est un espace vectoriel réel de dimension deux. L'application qui à deux complexes x et y associe la partie réelle du produit de x et du conjugué de y est un produit scalaire, conférant à C une structure d'espace vectoriel euclidien.
  • De manière plus générale, un espace hermitien de dimension n est euclidien s'il est considéré comme un espace réel de dimension 2.n avec comme produit scalaire la partie réelle du produit scalaire d'origine.

Inégalités de Cauchy-Schwarz et de Minkowski

Deux majorations sont largement utilisées dans l'étude des espaces euclidiens. Celle de Cauchy-Schwarz établit une relation entre un produit scalaire et deux normes :

Inégalité de Cauchy-Schwarz —  La valeur absolue du produit scalaire de deux vecteurs x et y est majorée par le produit des normes de x et de y.

Cette majoration s'écrit :

\forall x,y \in  E \quad  |\langle x \, , \, y \rangle|\; \le \; \| x\|.\| y\|

L'égalité n'a lieu que si x et y sont colinéaires. La démonstration de ce résultat est donnée dans l'article associé.

Inégalité de Minkowski —  La norme de la somme de deux vecteurs x et y est inférieure ou égale à la somme des normes de chacun des vecteurs.

Cette majoration s'écrit :

\forall x,y \in  E \quad \| x + y \| \; \le \; \| x\| + \| y\|

L'égalité n'a lieu que si x et y sont colinéaires et de même sens. Cette majoration correspond au troisième axiome définissant une norme, dit de sous-additivité ou inégalité triangulaire. Elle est démontrée dans l'article associé.

Propriétés algébriques

Base orthonormale

Articles détaillés : Base orthonormale et Procédé de Gram-Schmidt.

Dans l'étude des espaces euclidiens, certaines bases de l'espace vectoriel sous-jacent sont d'un intérêt particulier. Ce sont celles qui vérifient les propriétés suivantes, en liaison avec la structure supplémentaire amenée par le produit scalaire : chaque vecteur de la base possède une norme égale à un et deux vecteurs distincts de la base sont orthogonaux, c'est-à-dire que leur produit scalaire est égal à zéro. Une telle base est qualifiée d'orthonormale.

Orthogonalité et vecteurs libres 1 —  Toute famille de vecteurs non nuls et orthogonaux deux à deux est une famille libre.

L'existence de bases orthonormale est assurée par la proposition suivante, utile dans de nombreuses situations :

Orthogonalité et vecteurs libres 2 —  Soit x et y deux vecteurs libres, alors le vecteur z égal à y - <x , y>/<x , x> x est non nul et orthogonal à x.

En effet, si x et y forment une famille libre alors x est non nul, et la combinaison linéaire définissant z ne l'est pas non plus. Le calcul suivant montre que la famille (x, z) est orthogonale.

\langle z \, , \, x\rangle = 	\left\langle y - \frac {\langle x \, , \, y\rangle}{\langle x \, , \, x \rangle}x \, , \, x\right\rangle = \langle y \, , \, x \rangle - \frac {\langle x \, , \, y \rangle}{\langle x \, , \, x\rangle}\langle x \, , \, x\rangle =0

Le procédé de Gram-Schmidt, qui généralise ce calcul dans le cas de familles libres comptant plus de deux vecteurs, montre l'existence de base orthonormale, et une méthode pour en calculer explicitement, à partir de la donnée d'une base préalable :

Existence d'une base orthonormale —  Tout espace euclidien possède une base orthonormale.

Dans une base orthonormale la norme et le produit scalaire s'expriment facilement en fonction des coordonnées. Soit (e1, ..., en) une base orthonormale notée B, x et y deux vecteurs quelconques de E de coordonnées (x1, ..., xn) et (y1, ..., yn) dans la base B. Les expressions suivantes fournissent la norme et le produit scalaire :

\| x\| = \sqrt {\sum_{i=1}^n x_i^2} \quad \text{et} \quad \langle x \, , \, y \rangle = \sum_{i=1}^n x_i.y_i

En particulier, tout espace vectoriel euclidien de dimension n est isomorphe à Rn, c'est-à-dire qu'il existe une application linéaire bijective de E dans Rn, respectant les deux produits scalaires.

Orthogonalité et convexité

Dans ce paragraphe, x désigne un vecteur et C un convexe fermé de E. La distance entre x et C désigne le minimum des distances entre x et un point de C.

Théorème de projection sur un convexe fermé —  Il existe une unique application t de E dans C, dite projection sur le convexe, qui à x associe le point t(x) de C, tel que la distance de x à C soit égale à celle de x à t(x). Le vecteur t(x) est l'unique point de C vérifiant les deux propositions suivantes, qui sont équivalentes :

(1) \quad \forall y \in C \quad \| x - t(x) \| \le \| x - y \|,
(2) \quad \forall y \in C \quad \langle x - t(x) \, , \, y - t(x) \rangle \; \le \; 0.

La projection est idempotente, c'est-à-dire que la composée de t avec elle-même est égale à t ; elle est contractante, c'est-à-dire que les images de deux points sont à une distance moindre que leurs antécédents ; enfin elle est monotone au sens où si x1 et x2 sont deux vecteurs de E, alors <t(x1) - t(x2) , x1 - x2 > est positif. Les démonstrations sont données dans l'article associé.

En particulier, ce résultat s'applique pour un sous-espace vectoriel F (le caractère fermé d'un sous-espace vectoriel, en dimension finie, est démontré en deuxième partie de l'article). Le théorème de meilleure approximation affirme l'existence d'une application p qui à x associe un élément p(x) de F tel que la distance entre x et F est égale à celle entre x et p(x).

Définition et propriétés —  L'application p est linéaire idempotente, son image et son noyau sont deux sous-espaces vectoriels orthogonaux et supplémentaires. Si x est un vecteur de E alors p(x) est l'unique vecteur de F tel que x - p(x) est orthogonal à F. Une telle application p est appelée projecteur orthogonal.

Les propriétés associées à l'orthogonalité et aux projecteurs sont développées dans les articles associés.

Dans le cas où F est le sous-espace vectoriel engendré par une famille B orthonormale (fi), ce résultat s'interprète en coordonnées, pour donner l'inégalité de Bessel :

Définitions et inégalité de Bessel —  Soit x un élément de E, p(x) est le vecteur de coordonnées (<x , fi>) dans la base (fi) et la somme des carrés de ses coordonnées est un nombre réel inférieur au carré de la norme de x. Les différentes coordonnées sont appelées coefficients de Fourier. Dans le cas où F est égal à E, ils correspondent aux coordonnées de x dans la base B, qui est alors une base de E.

Cette technique possède des applications, par exemple, en statistique, et elle est le fondement de la méthode des moindres carrés.


Espace dual et forme bilinéaire

Articles détaillés : Espace dual et Forme bilinéaire.

Le dual E* de E désigne l'espace des formes linéaires sur E. Le produit scalaire fournit une application canonique φ de E dans E*, qui à tout vecteur x de E associe la forme linéaire x* définie par :

\forall y \in E \quad x^*(y) \, = \, \langle x \, , \, y \rangle

L'application φ est linéaire. Si x est un élément du noyau de l'application φ, alors, en particulier, x*(x) est égal à zéro donc la norme de x est nulle ; ainsi, φ est injective. De l'égalité des dimensions de E et de E* il résulte que l'application φ est aussi surjective. Ceci montre la propriété suivante :

Proposition 1 —  Il existe un isomorphisme canonique entre un espace euclidien et son dual.

L'isomorphisme φ est très largement utilisé, en mathématiques comme en physique. Par exemple un champ scalaire, c'est-à-dire une application différentiable de E dans R, possède comme différentielle une application de E dans l'ensemble des formes linéaires sur E. L'identification du dual et de E à l'aide de l'isomorphisme φ permet de représenter les formes linéaires sur E par des éléments de E. La différentielle prend alors le nom de gradient. En physique, la force est un élément du dual des vecteurs de l'espace géométrique. Elle est identifiée à un vecteur de l'espace, même si elle n'est pas de même nature. Cette technique permet une représentation plus intuitive ainsi qu'un calcul simple. Le travail de la force, une grandeur importante en physique, s'interprète comme le produit scalaire avec la force.

Il est possible de construire de manière analogue deux morphismes ψ1 et ψ2 entre L(E) l'ensemble des endomorphismes de E dans L2(E) l'espace des formes bilinéaires. À un endomorphisme a, on associe ψ1a et ψ2a définis par :

\forall x,y \in E \quad \psi_{1a}(x,y) \, = \, \langle a(x) \, , \, y \rangle \quad et \quad \psi_{2a}(x,y) \, = \, \langle x \, , \, a(y)\rangle

Un raisonnement analogue au précédent montre que ψ1 et ψ2 sont deux applications linéaires injectives. La surjectivité est la conséquence du fait que L(E) et L2(E) ont même dimension, à savoir n2.

Proposition 2 —  Les applications ψ1 et ψ2 sont deux isomorphismes canoniques entre l'ensemble des endomorphismes et des formes bilinéaires sur un espace euclidien.

Adjoint d'un endomorphisme

Article détaillé : adjoint d'un endomorphisme.

Les isomorphismes précédents possèdent d'autres applications. La composée de ψ1 et de l'inverse de ψ2 est une application de L(E) dans lui-même. Comme ψ1 et ψ2 sont deux isomorphismes, la composée est encore un isomorphisme. Cette application associe à l'endomorphisme a, l'application, en général notée a* définie par :

\forall x,y \in E \quad \langle x\, , \, a^*(y) \rangle \; = \;  \langle a(x)\, , \, y \rangle

Définition et propriétés —  L'application de L(E) dans lui-même, qui à a associe l'endomorphisme a* est un isomorphisme involutif. L'image de a par cette application est appelée adjoint de a. Cet isomorphisme est diagonalisable et admet deux valeurs propres 1 et -1. Les vecteurs propres de valeurs propres 1 (resp. -1) sont appelés autoadjoints (resp. antisymétriques).

Il existe une famille importante d'endomorphismes, comprenant notamment les endomorphismes autoadjoints et les endomorphismes antisymétriques : ceux qui commutent avec leur adjoint. Une application linéaire ayant cette propriété est dite normale. Un cas particulier important est celui des automorphismes orthogonaux, c'est-à-dire les automorphismes u qui laissent invariant le produit scalaire :

\forall x,y \in E \quad \langle u(x)\, , \, u(y) \rangle \; = \;  \langle x\, , \, y \rangle

L'ensemble des automorphismes vérifiant cette propriété forme un groupe appelé groupe orthogonal.

La relation induite par le produit scalaire entre les formes bilinéaires et les endomorphismes possède de nombreuses applications, dans des domaines très divers (voir notamment l'article théorème spectral dans le cas où les formes sont symétriques et les endomorphismes autoadjoints).

Construction d'espaces euclidiens

Comme fréquemment en algèbre, la donnée d'espaces euclidiens permet d'en construire de nouveaux.

Sous-espace, espace produit

Si F est un sous-espace vectoriel d'un espace euclidien, alors la restriction du produit scalaire induit une structure d'espace vectoriel euclidien sur F.

Si E1 et E2 sont deux espaces euclidiens, alors leur produit dispose d'une structure euclidienne. Le produit scalaire est donné par la formule :

\forall (a,b) (a',b') \in E_1\times E_2 \quad \langle (a,b) \, , \, (a',b') \rangle \, = \, \langle a \, , \, a'\rangle + \langle b \, , \, b' \rangle.

Espace quotient

La nature des projecteurs orthogonaux permet d'attribuer un produit scalaire à un quotient d'un espace euclidien. La norme d'une classe de x de l'ensemble E/F correspond à la distance entre un représentant de la classe et F. Si \scriptstyle {\bar x} représente la classe de x, alors le produit scalaire <. , . >E/F sur E/F est défini par :

\forall x, y \in E \quad \| \bar x \|_{E/F} = \inf_{z \in F} \; \|x -z\| \quad et \quad \langle \bar x\, , \, \bar y \rangle_{E/F} \, = \, \frac 12 \Big ( \| \bar x + \bar y \|_{E/F}^2 - \| \bar x \|_{E/F}^2 - \| \bar y \|_{E/F}^2 \Big ).

Il existe une isométrie canonique entre le supplémentaire orthogonal de F (muni de la structure d'espace euclidien en tant que sous-espace vectoriel), et le quotient E/F, muni de la structure d'espace euclidien décrite précédemment, qui à tout élément de ce supplémentaire orthogonal associe sa classe dans E/F. Ceci provient de l'identité, suivante, où p est le projecteur orthogonal de direction F :

\forall x, y \in E \quad \langle \bar x\, , \, \bar y \rangle_{E/F}= \langle p(x)\, , \, p(y)\rangle.

Produit tensoriel

Soient E1 et E2 deux espaces euclidiens de dimensions respectives n1 et n2, s'ils sont identifiés à leurs duaux à l'aide de l'isomorphisme canonique φ, l' espace tensoriel E1\scriptstyle \otimesE2 s'identifie à l'ensemble des formes bilinéaires de E1xE2. Le produit tensoriel est une application bilinéaire de E1xE2 dans E1\scriptstyle \otimesE2 définie par :

\forall a,x \in E_1 \; \forall b,y \in E_2 \quad a\otimes b (x,y) = \langle a \, , \, x\rangle_1\langle b \, , \, y\rangle_2.

L'image de E1xE2 par le produit tensoriel est une partie génératrice de E1\scriptstyle \otimesE2, il suffit donc de définir le produit scalaire sur cette image pour le définir sur tout l'espace. Le produit scalaire est alors défini par l'égalité suivante :

\forall a, a' \in E_1 \; \forall b, b' \in E_2 \quad \langle a\otimes b \, , \, a'\otimes b'\rangle_{E_1\otimes E_2} \, = \, \frac 1{\sqrt{n_1n_2}}\langle a \, , \, a' \rangle \langle b \, , \, b'\rangle.

Endomorphisme

Si E1 et E2 sont confondus, le produit scalaire précédent est celui de L2(E). L'isomorphisme canonique ψ1 de L(E) dans L2(E) permet de munir L(E) d'une structure d'espace euclidien :

\forall a,b \in \mathcal L(E)\quad \langle a \, , \, b \rangle_{\mathcal L(E)} \, = \, \langle \psi_{1}(a) \, , \, \psi_{1}(b) \rangle_{E\otimes E}\,

Le choix de l'isomorphisme ψ1 ou ψ2, définis dans le paragraphe Espace dual et forme bilinéaire, est arbitraire, ils amènent tous deux au même produit scalaire. Ce produit scalaire de L(E) confère aux deux isomorphismes le caractère d'isométrie.

L'adjoint permet une expression plus simple du produit scalaire sur L(E). le produit scalaire de deux endomorphismes a et b correspond à la trace de l'endomorphisme adjoint de b composée avec a :

\forall a, b \in \mathcal L(E) \quad \langle a\, , \, b \rangle_{\mathcal L(E)} = \frac 1n Tr(ab^*)

Pour ce produit scalaire, les endomorphismes autoadjoints et antisymétriques forment deux sous-espaces orthogonaux en somme directe et le groupe orthogonal est inclus dans la sphère unité.

Géométrie

Géométrie du triangle

Article détaillé : Triangle.
Le cercle d'Euler est un exemple de propriétés démontrables dans le cadre d'un espace euclidien.

Un espace euclidien dispose naturellement d'une distance. Il est possible de définir un angle entre deux vecteurs x et y non nuls. Un angle apparaît comme une classe d'équivalence entre des couples de vecteurs non nuls. Soit (a, b) un couple de vecteurs non nuls représentant un angle Θ ; l'angle entre x et y est égal à Θ si et seulement s'il existe une rotation dont l'image de a (resp. b) est égale à x (resp. y).

Si E est de dimension deux, alors il est possible d'orienter l'espace et l'angle (x, y) n'est pas nécessairement égal à celui de (y, x). Pour les autres dimensions, il existe toujours une rotation dont l'image de x (resp. y) est égale à y (resp. y) et un angle orienté ne fait pas sens.

La mesure θ d'un angle Θ est donnée par la formule suivante, si (x, y) est un représentant de l'angle :

 \theta = {\rm Arc\ cos}\left(\frac {\vec x \cdot \vec y}{\| \vec x|| \cdot \| \vec y \|}\right)

Cette définition permet de formaliser un espace disposant de la même géométrie du triangle, que celle fondée sur les célèbres postulats décrits dans le livre d'Euclide, les Éléments. Une telle géométrie vérifie les théorèmes de Thalès, de Pythagore, ou d'Al-Kashi.

Un exemple classique est donné par le cercle d'Euler disposant de neuf points remarquables.

Caractérisation par la forme polaire

Le produit scalaire confère la dimension euclidienne à un espace vectoriel de dimension finie. La question se pose de savoir s'il n'existe pas d'autres moyens pour caractériser un espace euclidien. Une analyse montre qu'une norme est un outil suffisant.

Proposition 1 —  Soit N une norme de E. N est euclidienne si et seulement si l'application φ de ExE dans R, qui à deux vecteurs x et y associe la valeur suivante, dite identité de polarisation est un produit scalaire. Il correspond alors au produit scalaire conférant à E le statut d'espace euclidien de norme N.

\forall x,y \in E \quad \varphi (x,y) = \frac 12 \Big( N(x+y)^2 -N(x)^2-N(y)^2 \Big)

On remarque que si l'application φ est bilinéaire, alors N2 est une forme quadratique. L'égalité précédente montre que la connaissance d'une forme bilinéaire sur la diagonale de ExE suffit à déterminer intégralement φ. Ceci donne lieu à la définition suivante :

Définition —  La forme bilinéaire φ est appelée forme polaire de la forme quadratique N2.

Il existe une autre manière de définir le produit scalaire, à partir de l'égalité dite règle du parallélogramme. Cette égalité stipule que la somme des carrés des longueurs des deux diagonales d'un parallélogramme est égale au double de la somme des carrés de deux cotés adjacents. Elle prend la forme suivante :

\forall x,y \in E \quad  \|x+y\|^2 + \|x-y\|^2 = 2\Big( \|x\|^2 +\|y\|^2\Big)

Une légère modification de la formule permet d'établir le résultat suivant :

Proposition 2 —  Soit N une norme de E. N est euclidienne si et seulement si l'application φ de ExE dans R, qui à deux vecteurs x et y associe la valeur suivante, encore appelée identité de polarisation est un produit scalaire. Il correspond alors au produit scalaire conférant à E le statut d'espace euclidien de norme N.

\forall x,y \in E \quad \varphi (x,y) = \frac 14 \Big( N(x+y)^2 -N(x-y)^2 \Big)

La modification de la formule n'est néanmoins pas nécessaire, le résultat suivant est aussi vérifié :

Proposition 3 —  Toute norme N de E vérifiant l'égalité du parallélogramme confère à E le statut d'espace euclidien.

La dernière proposition est démontrée dans l'article Identité de polarisation.

Caractérisation par une surface quadrique

Article détaillé : Quadrique.
La donnée d'un ellipsoïde caractérise un produit scalaire et donc un espace euclidien.

Ici, A désigne un espace affine d'espace vectoriel sous-jacent E de dimension finie n sur R. L'objectif est ici de munir E d'un produit scalaire à l'aide d'une surface quadrique particulière. L'espace A est muni d'un repère cartésien Rep. Une surface quadrique désigne ici l'ensemble des points vérifiant une équation du second degré. Si (xi) désigne les coordonnées du point X de A dans Rep, il existe alors un polynôme Q[X] à n variables et de degré deux tel que les points de la surface quadrique S sont définies par :

\forall X \in S \quad Q[x_1,\cdots , x_n] = 0

Il existe plusieurs géométries possibles pour une quadrique. Un cas particulier correspond à celui où la surface S est compact. En dimension trois, la quadrique est qualifiée d'ellipsoïde. La lettre O désigne ici le centre de la quadrique. La donnée de ce point établit une isométrie entre A et E, à chaque point a de A est associé le vecteur d'origine O et d'extrémité a. Le théorème suivant assure que la donnée d'une telle surface est équivalente à celle d'un produit scalaire sur E.

Caractérisation par une quadrique —  Si E est euclidien, la sphère unité est une quadrique compacte non réduite à un point dans tout repère cartésien de A. Réciproquement si S est une surface quadrique compacte non réduite à un point, alors S correspond à la sphère unité pour un unique produit scalaire de E si chaque point de A est identifié à un vecteur de E par l'isométrie précédente.


Caractérisation par le groupe orthogonal

Article détaillé : Groupe orthogonal.

Il existe enfin une caractérisation d'un espace euclidien par son groupe orthogonal. L'ensemble, noté GL(E), des automorphismes de E, c'est-à-dire des endomorphismes bijectifs, forme un groupe. De plus L(E) est un espace vectoriel de dimension finie, donc est naturellement muni d'une topologie, la norme utilisée est en général la norme d'opérateur. Le groupe orthogonal O(E) de E dispose donc d'une topologie naturelle, induite par celle de L(E) et telle que l'addition et la multiplication par un scalaire sont deux applications continues.

Proposition 1 —  L'application de O(E)xO(E) dans O(E) qui, à deux automorphismes a et b associe le produit aob est une application infiniment différentiable. Il en est de même de l'application de O(E) dans lui-même, qui à a associe son inverse.

Le groupe orthogonal est donc muni d'une topologie induite compatible avec sa loi de composition et le passage à l'inverse. Une telle structure porte le nom de groupe de Lie. Un isomorphisme de groupe de Lie est un morphisme de groupe bijectif, continu et infiniment différentiable ainsi que son inverse.

Proposition 2 —  Considérons deux produits scalaires sur des espaces vectoriels de même dimension. Il existe un isomorphisme de groupe de Lie du groupe orthogonal associé au premier produit scalaire dans le groupe orthogonal associé au deuxième produit scalaire.

Ainsi, un groupe de Lie d'automorphismes caractérise une géométrie euclidienne, au sens où pour une dimension donnée, ils sont tous les mêmes, à un isomorphisme près. Pour cette raison, on l'appelle souvent O(n). La proposition suivante montre que la caractérisation est plus profonde :

Proposition 3 —  Soit E un espace vectoriel réel de dimension n et G un groupe d'automorphismes isomorphe au sens des groupes de Lie à O(n). Alors il existe un unique produit scalaire, à une homothétie près, tel que G soit son groupe des automorphismes.

On remarque que si <x, y> est un produit scalaire et λ un réel non nul, alors le produit scalaire <λx, λy> est possède le même groupe orthogonal que celui de <x, y>. Pour cette raison, il est nécessaire de préciser à une homothétie près.

À la différence des caractérisations précédentes, la méthode utilisée ici est relativement générique. Elle s'applique aux espaces affines euclidiens, aux géométries projectives ou encore symplectiques.


Topologie

Le produit scalaire définit une norme et donc une distance, conférant ainsi une structure d'espace métrique et topologique à l'ensemble. Cette structure est compatible avec les deux opérations que sont l'addition et la multiplication externe par un scalaire, c'est-à-dire que ces deux opérations sont continues.

Les espaces vectoriels réels de dimension finie n'admettent qu'une unique topologie séparée vérifiant cette compatibilité. Une formulation équivalente est que la norme euclidienne est équivalente à toutes les normes, euclidiennes ou non. La structure topologique d'un espace vectoriel normé de dimension finie E possède de nombreuses propriétés :

  • Toute application linéaire de E dans un espace vectoriel normé est continue.
  • E est uniformément homéomorphe à Rn.
  • Les sous-espaces vectoriels de E sont des fermés.
  • complétude : E est un espace complet, ainsi que l'ensemble des applications linéaires continues d'un espace vectoriel normé dans E.
  • compacité : les compacts de E sont les fermés bornés. Toute boule fermée de E est compacte (voir théorème de Riesz). Réciproquement, un espace vectoriel normé dans lequel toute boule fermée est compacte est de dimension finie.

Généralisations

Il existe plusieurs généralisations des espaces euclidiens. En choisissant comme corps de base le corps des nombres complexes, on obtient la notion d'espace hermitien. De tels espaces admettent une théorie analogue, au prix d'adaptations naturelles : les résultats présentés dans cet article restent intégralement vérifiés pour ces espaces.[4]

En dimension infinie, une définition analogue (existence d'un produit scalaire ou hermitien) amène d'abord à la notion de préhilbertien, dans le cas réel et dans le cas complexe. Le caractère complet n'est pas vérifié en général. Un espace préhilbertien, complet pour la topologie d'espace métrique induite par la norme préhilbertienne, est appelé espace de Hilbert. Les espaces de Hilbert font l'objet d'une riche théorie, et sont des objets de base en analyse fonctionnelle[5].

Une géométrie euclidienne est définie par un espace vectoriel et une forme bilinéaire particulière (définie positive). Travailler avec certaines autres formes bilinéaires permet d'obtenir d'autres géométries, par exemple la géométrie symplectique.

Pour d'autres corps de base que les réels ou les complexes, la notion de forme bilinéaire définie positive n'est en général pas pertinente, car le corps n'est pas ordonné. On remplace généralement cette hypothèse par le fait que la forme est non dégénérée, c'est-à-dire qu'il n'existe pas de vecteur non nul orthogonal à tout l'espace. Une telle structure est utilisée, par exemple pour la géométrie sur les groupes finis. Les groupes orthogonaux sur des espaces vectoriels de dimension finie sur les corps finis fournissent notamment des familles infinies de groupes simples[6].

Références

Notes

  1. Une approche de cette nature se trouve dans : Y. Ladegaillerie Géométrie pour le CAPES de mathématiques Ellipses Marketing 2002 (ISBN 2729811486)
  2. C Antonini J F Quint P Borgnat J Bérard E Lebeau E Souche A Chateau O Teytaud Espace préhilbertien réel par le site les mathématiques.net
  3. Le terme d'espace vectoriel canonique pour Rn est largement utilisé, on peut citer : R. Godement Domaines fondamentaux des groupes arithmétiques Séminaire Bourbaki Tome 8 1962 à 1964 Exposé n° 257
  4. Cette généralisation est traitée par exemple dans Serge Lang, Algèbre, Dunod, 2004, 926 p. (ISBN 2100079808) [détail des éditions].
  5. Cette généralisation est traitée par exemple dans : Haïm Brezis, Analyse fonctionnelle : théorie et applications [détail des éditions] p 78 à 116.
  6. Une référence standard mais technique : R. W. Carter Simple Groups of Lie Type John Wiley & Sons Ltd., Chichester, 1993 (ISBN 0-471-50683-4)

Liens externes

  • (fr) Espaces euclidiens un cours niveau Maths PCSI par S. Gonnord
  • (fr) Espaces euclidiens par les mathématiques.net C.Antonini, J.F. Quint, P. Borgnat, J. Bérard, E. Lebeau, E. Souche, A. Chateau, O. Teytaud 2001
  • (fr) Espace euclidien de Ross Moore de Macquarie University de Sydney traduit par Abderemane Morame de l'Université de Nantes 2006.
  • (fr) Espaces euclidiens par F. Wlazinski de l'université de Picardie

Références

  • J. M. Monier Cours de mathématiques - MPSI, PCSI, PTSI et MP, PSI , PC, PT Tome 8 : Algèbre et géométrie MP Dunod 5ème Ed 2007 (ISBN 9782100510382)
  • J. Lelong-Ferrand, J. M. Arnaudiès Cours de mathématiques Tome 3 : Géométrie et cinématique Dunod 1977 (ISBN 9782100057160)
  • E. Ramis, C. Deschamps, J. Odoux Cours de mathématiques, tome 5 : Applications de l'analyse à la géométrie Dunod 1998 (ISBN 2100041789)
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Espace euclidien ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Espace Euclidien de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Espace euclidien — ● Espace euclidien espace ponctuel affine muni d une métrique euclidienne, associé à un espace vectoriel euclidien …   Encyclopédie Universelle

  • Espace euclidien — En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique classique, le… …   Wikipédia en Français

  • espace euclidien — Euklido erdvė statusas T sritis fizika atitikmenys: angl. Euclidean space vok. euklidischer Raum, m rus. эвклидово пространство, n pranc. espace euclidien, m …   Fizikos terminų žodynas

  • Espace euclidien (algèbre linéaire) — Espace euclidien En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique …   Wikipédia en Français

  • Espace euclidien de dimension trois — Géométrie dans l espace La géométrie dans l espace consiste à étudier les objets définis dans la géométrie plane dans un espace à trois dimensions et à y ajouter des objets qui ne sont pas contenus dans des plans : surfaces (plans et… …   Wikipédia en Français

  • Plongement d'une variété dans un espace euclidien — Dans de nombreuses branches des mathématiques, on peut être amené à comparer deux « objets » entre eux en plongeant l un dans l autre. Un cas particulier consiste à plonger une variété différentielle dans un espace euclidien. Pour… …   Wikipédia en Français

  • euclidien — euclidien, ienne [ øklidjɛ̃, jɛn ] adj. • v. 1730; de Euclide, mathématicien gr. ♦ Math. Relatif à Euclide et à ses postulats. Algorithme, anneau, espace euclidien. Géométrie euclidienne, issue des travaux d Euclide et généralisée par la suite… …   Encyclopédie Universelle

  • ESPACE-TEMPS — La mécanique classique, sous la forme mathématique rigoureuse que lui a donnée Newton, repose sur les deux concepts fondamentaux d’espace et de temps absolus: un événement ponctuel est parfaitement déterminé lorsqu’on connaît sa position dans… …   Encyclopédie Universelle

  • Espace De Minkowski — Un espace de Minkowski, du nom de son inventeur Hermann Minkowski, est un espace affine mathématique à quatre dimensions modélisant l espace temps de la relativité restreinte : les propriétés physiques présentes dans cette théorie d Einstein …   Wikipédia en Français

  • Espace de minkowski — Un espace de Minkowski, du nom de son inventeur Hermann Minkowski, est un espace affine mathématique à quatre dimensions modélisant l espace temps de la relativité restreinte : les propriétés physiques présentes dans cette théorie d Einstein …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.