Espace euclidien 30437 31320995 2008-07-05T12:49:29Z JAnDbot 127921 robot Ajoute: [[bn:ইউক্লিডীয় স্থান]] 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 ''[[Eléments d'Euclide|É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 [[nombre réel|nombres réels]], de [[Dimension d'un espace vectoriel|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 [[Base (algèbre linéaire)|bases]] particulières dites [[base orthonormale|orthonormales]], une relation canonique entre l'espace et son [[espace dual|dual]], ou des familles d'endomorphismes admettant une théorie simple de [[réduction d'endomorphisme|réduction]]. Il permet aussi d'obtenir une structure [[topologie|topologique]], ce qui met à disposition les méthodes d'[[analyse (mathématiques)|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]]. == Espace euclidien et bipoints == {{Article détaillé|Vecteur|Produit scalaire}} Dans le cadre de la construction des [[vecteur]]s à 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 : <center><math>\langle\vec u|\vec v\rangle = \|\vec u\| \cdot \|\vec v\| \cdot \cos(\widehat{\vec u, \vec v})</math></center> 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<ref>Une approche de cette nature se trouve dans : Y. Ladegaillerie ''Géométrie pour le CAPES de mathématiques'' Ellipses Marketing 2002 {{ISBN|2729811486}}</ref>. == Formalisation et premières propriétés == === Définitions === Les [[axiome]]s d'un [[espace vectoriel]] euclidien ''E'' concernent deux structures qui se combinent : la première est celle d'espace vectoriel de [[Dimension d'un espace vectoriel|dimension finie]] sur le [[corps (mathématiques)|corps]] des [[nombre réel|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 ''E''<sup>2</sup> (l'ensemble des couples d'éléments de ''E'') dans l'ensemble ''R'' des réels, [[application linéaire|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 : <center><math>\forall x,y \in E \quad \langle x\, , \, y \rangle = \langle y\, , \, x\rangle</math></center> :* Un produit scalaire est '''positif''' ce qui signifie : <center><math>\forall x \in E \quad \langle x\, , \, x \rangle \; \ge \; 0</math></center> :* Un produit scalaire est '''défini positif''' ce qui signifie qu'il est positif et que de plus : <center><math>\forall x \in E \quad \langle x\, , \, x \rangle = 0 \; \Rightarrow x = 0</math></center> {{Théorème|Définition| 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]])''. {{Théorème|Définition| Un '''espace vectoriel euclidien''' est un espace vectoriel réel de dimension finie muni d'un produit scalaire.}} {{Théorème|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 : {{Théorème|Définition| La '''[[norme (mathématiques)|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 <math>\scriptstyle ||x||</math>. Cette convention est utilisée tout au long de l'article.}} Cette fonction vérifie les axiomes de la notion de [[norme (mathématiques)|norme]]. {{Théorème|Définition| La '''[[Distance (mathématiques)|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 (mathématiques)|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 R<sup>n</sup>, muni du produit scalaire [[canonique (mathématiques)|canonique]] <center><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></center> :est un espace euclidien appelé ''espace euclidien canonique<ref>Le terme d'espace vectoriel canonique pour ''R''<sup>n</sup> est largement utilisé, on peut citer : R. Godement ''Domaines fondamentaux des groupes arithmétiques'' Séminaire Bourbaki Tome 8 1962 à 1964 Exposé n° 257</ref> de dimension n''. * L'espace vectoriel des [[polynôme]]s réels de degré inférieur ou égal à ''n'', :* muni du produit scalaire canonique : <center><math>\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</math></center> :est un espace euclidien de dimension ''n'' + 1. :* muni du produit scalaire : <center><math>\langle P , Q\rangle = \int_0^1P(t)Q(t)\ {\rm d}t</math></center> :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 : <center><math>\langle P , Q\rangle = \sum_{i = 0}^n P(x_i)Q(x_i)</math></center> :(où ''x''<sub>0</sub>, ... ''x''<sub>n</sub> 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 === {{Article détaillé|Inégalité de Cauchy-Schwarz|Inégalité 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 : {{Théorème|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 : <center><math>\forall x,y \in E \quad |\langle x \, , \, y \rangle|\; \le \; \| x\|.\| y\| </math></center> L'égalité n'a lieu que si ''x'' et ''y'' sont [[Colinéarité|colinéaire]]s. La démonstration de ce résultat est donnée dans l'article associé. {{Théorème|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 : <center><math>\forall x,y \in E \quad \| x + y \| \; \le \; \| x\| + \| y\| </math></center> 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 (mathématiques)|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 === {{Article détaillé|Base orthonormale|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 ''[[orthogonalité|orthogonaux]]'', c'est-à-dire que leur produit scalaire est égal à ''zéro''. Une telle base est qualifiée d''''orthonormale'''. {{Théorème|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 : {{Théorème|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. <center><math>\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</math></center> 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 : {{Théorème|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 (''e''<sub>1</sub>, ..., ''e''<sub>n</sub>) une base orthonormale notée ''B'', ''x'' et ''y'' deux vecteurs quelconques de ''E'' de coordonnées (''x''<sub>1</sub>, ..., ''x''<sub>n</sub>) et (''y''<sub>1</sub>, ..., ''y''<sub>n</sub>) dans la base ''B''. Les expressions suivantes fournissent la norme et le produit scalaire : <center><math>\| 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</math></center> En particulier, tout espace vectoriel euclidien de dimension ''n'' est [[isomorphisme|isomorphe]] à ''R''<sup>n</sup>, c'est-à-dire qu'il existe une application linéaire [[bijection|bijective]] de ''E'' dans ''R''<sup>n</sup>, respectant les deux produits scalaires. === Orthogonalité et convexité === {{Article détaillé|Théorème de projection sur un convexe fermé|Projection orthogonale|Orthogonalité}} 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|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 : <center><math>(1) \quad \forall y \in C \quad \| x - t(x) \| \le \| x - y \|,</math></center> <center><math>(2) \quad \forall y \in C \quad \langle x - t(x) \, , \, y - t(x) \rangle \; \le \; 0.</math></center> }} La projection est [[idempotence|idempotente]], c'est-à-dire que la composée de ''t'' avec elle-même est égale à ''t'' ; elle est [[Application contractante|contractante]], c'est-à-dire que les [[Image (mathématiques)|images]] de deux points sont à une distance moindre que leurs [[Antécédent (mathématiques)|antécédents]] ; enfin elle est monotone au sens où si ''x''<sub>1</sub> et ''x''<sub>2</sub> sont deux vecteurs de ''E'', alors <''t''(''x''<sub>1</sub>) - ''t''(''x''<sub>2</sub>) , ''x''<sub>1</sub> - ''x''<sub>2</sub> > 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''). {{Théorème|Définition et propriétés| L'application ''p'' est linéaire idempotente, son image et son [[noyau (algèbre)|noyau]] sont deux sous-espaces vectoriels orthogonaux et [[Sous-espace supplémentaire|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 (''f''<sub>i</sub>), ce résultat s'interprète en coordonnées, pour donner l'[[inégalité de Bessel]] : {{Théorème|Définitions et inégalité de Bessel| Soit ''x'' un élément de ''E'', ''p''(''x'') est le vecteur de coordonnées (<''x'' , ''f''<sub>i</sub>>) dans la base (''f''<sub>i</sub>) 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]]. {{boîte déroulante|align=left|titre=Démonstrations|contenu= :*''' ''p''(''x'') est l'unique vecteur de ''F'' tel que ''p''(''x'') est orthogonal à ''x'' - ''p''(''x'') :''' Soit ''y'' un élément quelconque de ''F'', ''y'' + ''p''(''x'') ainsi que ''y'' - ''p''(''x'') sont deux éléments de ''F''. La propriété ''(2)'' du théorème de meilleure approximation montre que <''x'' - ''p''(''x'') , ''y''>, ainsi que - <''x'' - ''p''(''x''), y> sont tous deux inférieurs ou égaux à ''zéro''. Ce qui montre que ''x'' - ''p''(''x'') est orthogonal à ''F''. De plus <''x'' - ''y'' , ''p''(''x'') - ''y''> est égal à <''x'' - ''p''(''x'') + ''p''(''x'') - ''y'' , ''p''(''x'') - ''y''> ou encore au carré de la norme de ''p''(''x'') - ''y''. Donc, si ''x'' - ''y'' est orthogonal à ''F'' alors ''y'' est égal à ''p''(''x''), ce qui montre l'unicité du vecteur. :*'''L'application ''p'' est linéaire :''' Soit ''x''<sub>1</sub>, ''x''<sub>2</sub> deux vecteurs de ''E'' et λ un nombre réel. ''p''(''x''<sub>1</sub> + λ''x''<sub>2</sub>) est l'unique vecteur de ''F'' tel que ''x''<sub>1</sub> + λ''x''<sub>2</sub> - ''p''(''x''<sub>1</sub> + λ''x''<sub>2</sub>) soit élément de l'orthogonal de ''F''. Cette propriété est manifestement vérifiée par le vecteur ''x''<sub>1</sub> - ''p''(''x''<sub>1</sub>) + λ(''x''<sub>2</sub> - ''p''(''x''<sub>2</sub>)). Ce qui montre que ''p''(''x''<sub>1</sub> + λ''x''<sub>2</sub>) est égal à ''p''(''x''<sub>1</sub>) + λ(''x''<sub>2</sub>) et la linéarité de ''p''. :*'''L'application ''p'' est un idempotente d'image ''F'' et de noyau son orthogonal.''' Tout projecteur de meilleure approximation est idempotent, c'est donc le cas pour ''p'', qui est donc un [[Projecteur (mathématiques)|projecteur]]. Sur ''F'' l'application ''p'' est manifestement égal à l'identité il est donc inclus dans l'image. La première proposition démontrée prouve que l'orthogonal de ''F'' est incluse dans le noyau. Comme ''F'' et son orthogonal sont supplémentaires, ''F'' est l'image de ''p'' et son noyau est son orthogonal. :* '''Inégalité de Bessel :''' Soit (α<sub>i</sub> ) les coefficients de ''p''(''x'') dans la base ''B'' de ''F''. Le vecteur ''x'' - ''p''(''x'') est orthogonal à ''f''<sub>i</sub>, ce qui montre que : <center><math><x \, , \, f_i> = \langle p(x) \, , \, f_i \rangle = \langle \sum_{j=1}^m \alpha_j.f_j , f_i \rangle = \alpha_i </math></center> Ce qui démontre l'inégalité de Bessel car <center><math> \| x\|^2 =\| p(x)\|^2 + \| x-p(x)\|^2 \le \| x\|^2 =\; \langle \sum_{j=1}^m \alpha_j.f_j\, , \, \sum_{j=1}^m \alpha_j.f_j \rangle = \sum_{j=1}^m \alpha_j^2</math></center> Dans le cas où ''F'' est égal à ''E'', l'égalité devient : <center><math> x \; = \; \sum_{j=1}^m \langle x \, , \, f_i \rangle f_i</math></center> }} === Espace dual et forme bilinéaire === {{Article détaillé|Espace dual|Forme bilinéaire}} Le dual ''E''<sup>*</sup> de ''E'' désigne l'espace des [[forme linéaire|formes linéaires]] sur ''E''. Le produit scalaire fournit une application canonique φ de ''E'' dans ''E''<sup>*</sup>, qui à tout vecteur ''x'' de ''E'' associe la forme linéaire ''x''<sup>*</sup> définie par : <center><math>\forall y \in E \quad x^*(y) \, = \, \langle x \, , \, y \rangle </math></center> L'application φ est linéaire. Si ''x'' est un élément du noyau de l'application φ, alors, en particulier, ''x''<sup>*</sup>(''x'') est égal à ''zéro'' donc la norme de ''x'' est nulle ; ainsi, φ est [[injection (mathématiques)|injective]]. De l'égalité des dimensions de ''E'' et de ''E''<sup>*</sup> il résulte que l'application φ est aussi [[surjection|surjective]]. Ceci montre la propriété suivante : {{Théorème|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 (physique)|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 d'une force|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 ψ<sub>1</sub> et ψ<sub>2</sub> entre ''L''(''E'') l'ensemble des [[endomorphisme]]s de ''E'' dans ''L''<sub>2</sub>(''E'') l'espace des formes bilinéaires. À un endomorphisme ''a'', on associe ψ<sub>1a</sub> et ψ<sub>2a</sub> définis par : <center><math>\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 </math></center> Un raisonnement analogue au précédent montre que ψ<sub>1</sub> et ψ<sub>2</sub> sont deux applications linéaires injectives. La surjectivité est la conséquence du fait que ''L''(''E'') et ''L''<sub>2</sub>(''E'') ont même dimension, à savoir ''n''<sup>2</sup>. {{Théorème|Proposition 2| Les applications ψ<sub>1</sub> et ψ<sub>2</sub> sont deux [[isomorphisme]]s 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 ψ<sub>1</sub> et de l'inverse de ψ<sub>2</sub> est une application de ''L''(''E'') dans lui-même. Comme ψ<sub>1</sub> et ψ<sub>2</sub> 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<sup>*</sup> définie par : <center><math>\forall x,y \in E \quad \langle x\, , \, a^*(y) \rangle \; = \; \langle a(x)\, , \, y \rangle</math></center> {{Théorème|Définition et propriétés| L'application de ''L''(''E'') dans lui-même, qui à ''a'' associe l'endomorphisme ''a''<sup>*</sup> est un isomorphisme [[Involution (mathématiques)|involutif]]. L'image de ''a'' par cette application est appelée '''adjoint de ''a'''''. Cet isomorphisme est diagonalisable et admet deux [[valeur propre (synthèse)|valeurs propres]] 1 et -1. Les vecteurs propres de valeurs propres 1 (resp. -1) sont appelés '''[[endomorphisme autoadjoint|autoadjoints]]''' (resp. '''antisymétriques''').}} Il existe une famille importante d'endomorphismes, comprenant notamment les endomorphismes autoadjoints et les endomorphismes antisymétriques : ceux qui [[commutativité|commutent]] avec leur adjoint. Une application linéaire ayant cette propriété est dite [[endomorphisme normal|normale]]. Un cas particulier important est celui des [[automorphisme orthogonal|automorphismes orthogonaux]], c'est-à-dire les automorphismes ''u'' qui laissent invariant le produit scalaire : <center><math>\forall x,y \in E \quad \langle u(x)\, , \, u(y) \rangle \; = \; \langle x\, , \, y \rangle</math></center> L'ensemble des automorphismes vérifiant cette propriété forme un [[groupe (mathématiques)|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 ''E''<sub>1</sub> et ''E''<sub>2</sub> sont deux espaces euclidiens, alors leur produit dispose d'une structure euclidienne. Le produit scalaire est donné par la formule : <center><math>\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. </math></center> === 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 <math>\scriptstyle {\bar x}</math> représente la classe de ''x'', alors le produit scalaire <. , . ><sub>E/F</sub> sur ''E''/''F'' est défini par : <center><math>\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 ).</math></center> 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'' : <center><math>\forall x, y \in E \quad \langle \bar x\, , \, \bar y \rangle_{E/F}= \langle p(x)\, , \, p(y)\rangle.</math></center> === Produit tensoriel === Soit ''E''<sub>1</sub> et ''E''<sub>2</sub> deux espaces euclidiens de dimension respectives ''n''<sub>1</sub> et ''n''<sub>2</sub>, s'ils sont identifiés à leurs duaux à l'aide de l'isomorphisme canonique φ, l' [[espace tensoriel]] ''E''<sub>1</sub><math>\scriptstyle \otimes</math>''E''<sub>2</sub> s'identifie à l'ensemble des formes bilinéaires de ''E''<sub>1</sub>x''E''<sub>2</sub>. Le [[produit tensoriel]] est une application bilinéaire de ''E''<sub>1</sub>x''E''<sub>2</sub> dans ''E''<sub>1</sub><math>\scriptstyle \otimes</math>''E''<sub>2</sub> définie par : <center><math>\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.</math></center> L'image de ''E''<sub>1</sub>x''E''<sub>2</sub> par le produit tensoriel est une partie [[famille génératrice|génératrice]] de ''E''<sub>1</sub><math>\scriptstyle \otimes</math>''E''<sub>2</sub>, 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 : <center><math>\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.</math></center> === Endomorphisme === Si ''E''<sub>1</sub> et ''E''<sub>2</sub> sont confondus, le produit scalaire précédent est celui de ''L''<sub>2</sub>(''E''). L'isomorphisme canonique ψ<sub>1</sub> de ''L''(''E'') dans ''L''<sub>2</sub>(''E'') permet de munir ''L''(''E'') d'une structure d'espace euclidien : <center><math>\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}\, </math></center> Le choix de l'isomorphisme ψ<sub>1</sub> ou ψ<sub>2</sub>, 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 (algèbre)|trace]] de l'endomorphisme adjoint de ''b'' composée avec ''a'' : <center><math>\forall a, b \in \mathcal L(E) \quad \langle a\, , \, b \rangle_{\mathcal L(E)} = \frac 1n Tr(ab^*)</math></center> 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}} [[Image:Triangle_cercle_euler.png|250px|right|thumb|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'[[Orientation dans l'espace|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 : <center><math> \theta = {\rm Arc\ cos}\left(\frac {\vec x \cdot \vec y}{\| \vec x|| \cdot \| \vec y \|}\right)</math></center> 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 [[axiome|postulats]] décrits dans le livre d'[[Euclide]], les [[Eléments d'Euclide|Éléments]]. Une telle géométrie vérifie les théorèmes de [[théorème de Thalès|Thalès]], de [[théorème de Pythagore|Pythagore]], ou d'[[théorème d'Al-Kashi|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. {{Théorème|Proposition 1| Soit ''N'' une norme de ''E''. ''N'' est euclidienne si et seulement si l'application φ de ''E''x''E'' 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''. <center><math>\forall x,y \in E \quad \varphi (x,y) = \frac 12 \Big( N(x+y)^2 -N(x)^2-N(y)^2 \Big)</math></center>}} On remarque que si l'application φ est bilinéaire, alors ''N''<sup>2</sup> est une [[forme quadratique]]. L'égalité précédente montre que la connaissance d'une forme bilinéaire sur la diagonale de ''E''x''E'' suffit à déterminer intégralement φ. Ceci donne lieu à la définition suivante : {{Théorème|Définition| La forme bilinéaire φ est appelée '''forme polaire''' de la forme quadratique ''N''<sup>2</sup>.}} 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 : <center><math>\forall x,y \in E \quad \|x+y\|^2 + \|x-y\|^2 = 2\Big( \|x\|^2 +\|y\|^2\Big)</math></center> Une légère modification de la formule permet d'établir le résultat suivant : {{Théorème|Proposition 2| Soit ''N'' une norme de ''E''. ''N'' est euclidienne si et seulement si l'application φ de ''E''x''E'' 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''. <center><math>\forall x,y \in E \quad \varphi (x,y) = \frac 14 \Big( N(x+y)^2 -N(x-y)^2 \Big)</math></center>}} La modification de la formule n'est néanmoins pas nécessaire, le résultat suivant est aussi vérifié : {{Théorème|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}} [[Image:Ellipsoide.png|thumb|240 px|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 [[Coordonnées cartésiennes|repère cartésien]] ''Rep''. Une surface quadrique désigne ici l'ensemble des points vérifiant une équation du second degré. Si (''x''<sub>i</sub>) 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 : <center><math>\forall X \in S \quad Q[x_1,\cdots , x_n] = 0 </math></center> 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''. {{Théorème|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.}} {{boîte déroulante|align=left|titre=Démonstration|contenu= L'analyse des quadriques montre que, dans un repère quelconque une sphère s'exprime par l'équation d'une quadrique ''(cf l'article associé)''. Réciproquement, si l'équation d'une quadrique dans le repère ''Rep'' est celle d'un compact non réduit à un point, alors il existe un repère ''Rep''' de centre ''O'', le centre de la quadrique tel que, si (''y''<sub>i</sub>) sont les coordonnées d'un point dans ce repère, l'équation s'écrive : <center><math>\sum_{i=1}^n y_i^2 = 1 </math></center> Soit ''B'' la base associée au repère ''Rep'''. Soit ''P'' le produit scalaire qui confère le statut de base orthonormale à ''B''. L'équation précédente montre que les points de la quadrique forment la sphère de rayon ''un'' pour ''P''. Ceci montre l'existence recherchée. Montrons l'unicité de ''P''. Si ''P''' est un autre produit scalaire ayant pour sphère unité la quadrique. Notons ''N'' (resp. ''N' '') la norme associée à ''P'' (resp. ''P' ''). Soit ''x'' un vecteur quelconque de ''E'', montrons que les deux normes sont confondues. Soit ''x'' un vecteur de ''E'', ''x'' est le vecteur nul, alors les deux normes valent ''zéro'' et elles sont confondues pour ce vecteur. Sinon, les deux normes sont confondues sur la quadrique, donc : <center><math> N(\frac x{N(x)}) = 1 = N'(\frac x{N(x)}) \quad \text {donc} \quad N(x) = N'(x)</math></center> Les deux normes sont confondues, or le paragraphe précédent montre qu'une norme caractérise un produit scalaire, ce qui permet de conclure sur l'unicité. }} === 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 [[automorphisme]]s de ''E'', c'est-à-dire des endomorphismes bijectifs, forme un [[groupe (mathématiques)|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. {{Théorème|Proposition 1| L'application de ''O''(''E'')x''O''(''E'') dans ''O''(''E'') qui, à deux automorphismes ''a'' et ''b'' associe le produit ''a''o''b'' 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 [[homomorphisme de groupe|morphisme de groupe]] bijectif, continu et infiniment différentiable ainsi que son inverse. {{Théorème|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 : {{Théorème|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étrie projective|géométries projectives]] ou encore [[géométrie symplectique|symplectiques]]. {{boîte déroulante|align=left|titre=Démonstrations|contenu= :* '''L'application de ''O''(''E'')x''O''(''E'') dans ''O''(''E'') qui, à deux automorphismes ''a'' et ''b'' associe le produit ''a''o''b'' est une application infiniment différentiable :''' Soit ''a'', ''b'', ''h'' et ''k'' quatre automorphismes orthogonaux et ''p'' l'application produit, les propriétés du produit scalaire montre que : <center><math>p(a+h, b+k)=p(a,b) + \langle a,k\rangle + \langle b,h\rangle + \langle h,k\rangle</math></center> Le dernier terme vérifie la propriété suivante : <center><math>\lim_{(h,k) \to (0,0)} \frac {\langle h,k\rangle}{\|(h,k)\|} = 0 </math></center> La différentielle est une application linéaire. La différentielle seconde de ''p'' est la différentielle d'une application linéaire, c'est une fonction constante qui à un point (''a'', ''b'') associe l'application linéaire. Les autres différentielles existent et sont toutes nulles. :* '''L'application de ''O''(''E'') lui-même qui, à un automorphisme ''a'' associe l'inverse ''a''<sup>-1</sup> est une application infiniment différentiable :''' Soit ''a'' et ''h'' deux automorphismes de ''O''(''E'') tel que la norme de ''h'' soit strictement inférieure à celle de ''a''<sup>-1</sup>/2, alors si ''Id'' désigne l'automorphisme identité : <center><math>(1)\quad (a + h)^{-1} = \Big(a(Id + a^{-1}h)\Big)^{-1} = (Id + a^{-1}h)^{-1}a^{-1}</math></center> De plus : <center><math>Id = (Id - a^{-1}h)(Id + a^{-1}h) +(a^{-1}h)^2 \quad \text {donc} \quad (2)\quad (Id + a^{-1}h)^{-1} = Id - a^{-1}h+(a^{-1}h)^2(Id + a^{-1}h)^{-1}</math></center> En utilisant les égalités ''(1)'' et ''(2)'', on obtient : <center><math>(3)\quad (a + h)^{-1} - a^{-1} = - a^{-1}ha^{-1} + (a^{-1}h)^2(Id + a^{-1}h)^{-1}a^{-1}</math></center> Majorons alors la norme du terme de droite de la dernière égalité, en remarquant que la norme de ''a''<sup>-1</sup>''h'' est inférieure à un demi : <center><math>\|(Id + a^{-1}h)^{-1}\|= \|\sum_{n\in \mathbb N} (a^{-1}h)^n \| \le \sum_{n\in \mathbb N} \|(a^{-1}h)^n \| \le \sum_{n\in \mathbb N} \frac 1{2^n} = 2</math></center> L'égalité ''(3)'' et la majoration précédente montre que : <center><math> \| (a + h)^{-1} - a^{-1} +a^{-1}ha^{-1}\| \le 2\|a^{-1}\|^3\|h\|^2</math></center> On en déduit que l'application ''inv'' qui à ''a'' associe ''a''<sup>-1</sup> est différentiable de différentielle au point ''a'' donnée par : <center><math>\forall h \in E \quad D \text{inv}_{a}(h) = -a^{-1}ha^{-1}</math></center> La différentielle au point est une composée d'applications différentiables, elle est donc différentiable. Par récurrence on montre que cette application est infiniment différentiable. :* '''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.''' Soit ''E'' le premier espace et ''F'' le second. Soit ''a'' une isométrie de ''E'' dans ''F'', c'est-à-dire une application qui préserve les produits scalaires. On remarque que ''a'' est bijectif car l'image d'une base orthonormale est une base orthonormale : <center><math>\forall x,y \in E \quad \langle a(x),a(y)\rangle_F = \langle x,y \rangle_E</math></center> Considérons alors l'application φ<sub>a</sub> de ''O''(''E'') dans ''O''(''F'') définie par : <center><math>\forall x \in E \quad \varphi_a (x) = a\circ x \circ a^{-1}</math></center> L'application φ a bien son image dans ''O''(''F''), est un morphisme de groupe, infiniment différentiable d'après la proposition précédente et inversible car ayant pour inverse l'application qui à ''a'' associe φ<sub>a<sup>-1</sup></sub>. :* '''Il existe un unique produit scalaire tel que ''G'' soit son groupe des automorphismes à une homothétie près :''' La démonstration de ce résultat suppose l'utilisation de la théorie de la [[représentation des groupes de Lie]], qui dépasse le cadre de cet article. Une démonstration est donc proposée uniquement en dimension deux. Le groupe ''O''(''R''<sup>2</sup>) contient deux [[composante connexe|composantes connexes]] le sous-groupe des rotations ''SO''(''R''<sup>2</sup>) et celui des symétries. Le groupe ''SO''(''E'') est isomorphe au groupe multiplicatif des complexes de [[module d'un nombre complexe|module]] ''un''. Notons ''G''<sup>+</sup> la composante connexe de ''G'' isomorphe à ''SO''(''R''<sup>2</sup>) et donc aux complexes de module ''un''. Et soit φ un isomorphisme du groupe des complexes de module ''un'' dans ''G''<sup>+</sup>, un sous-groupe de ''GL''(''E'') le groupe des automorphismes. L'objectif est de montrer que l'image de φ est égale au groupe des rotations pour un produit scalaire bien choisi. Montrons tout d'abord la proposition suivante : :* ''Tout élément de ''G''<sup>+</sup> possède un [[Déterminant (mathématiques)|déterminant]] strictement positif.'' La suite de la démonstration montrera que le déterminant de tout élément de ''G''<sup>+</sup> est en fait égal à ''un''. L'application ''det''oφ est une application positive, son image par le point ''un'' est égale à ''un'' car l'image de l'élément neutre d'un groupe est l'élément neutre du groupe d'arrivée et que le déterminant de l'identité est égal à ''un''. L'application ''det''oφ ne s'annule jamais car un élément de ''G''<sup>+</sup> est inversible, son ensemble de départ est connexe et son ensemble d'arrivée contient ''un'', ce qui démontre la proposition. :* ''L'image de -1 par φ est égale à moins l'identité :'' On remarque que φ(-1<sup>2</sup>) est égal à l'identité donc φ(-1)<sup>2</sup> - ''Id'' est égal à ''zéro''. Le [[polynôme minimal d'un endomorphisme|polynome annulateur]] de φ(-1) est scindé sans racine double, il existe une base de [[valeur propre (synthèse)|vecteurs propres]] de valeurs propres associées 1 ou -1. Si l'espace propre associé à la valeur propre 1 est de dimension deux, alors φ(-1) est égal à l'identité et φ n'est pas injectif, ce qui est contraire aux hypothèses. Si l'espace propre associé à la valeur propre 1 est de dimension ''un'', alors le déterminant de φ(-1) est négatif, ce qui est contraire à la proposition précédente. En conclusion, cet espace propre est de dimension ''zéro'', ce qui démontre que φ(-1) est égal à -''Id''. :* ''Construction de la base qui apparaîtra plus tard comme orthonormale :'' Soit ''i''<sub>E</sub> l'image de ''i'' l'[[imaginaire pur]] par φ et ''e''<sub>1</sub> un vecteur non nul de ''E''. Définissons ''e''<sub>1</sub> comme l'image de ''e''<sub>1</sub> par ''i''<sub>E</sub>. Montrons alors que (''e''<sub>1</sub>, ''e''<sub>2</sub>) est une base de ''E''. Il suffit de montrer que les deux vecteurs sont libres ou encore que le premier n'est pas un vecteur propre. L'isomorphisme φ nous apprend que ''i''<sub>E</sub><sup>2</sup> est égal à -''Id'' ou encore que ''X''<sup>2</sup> + 1 est un polynôme annulateur de ''i''<sub>E</sub>. Il n'admet pas de [[Racine (mathématiques)|racine]] réelle, ce qui montre que ''i''<sub>E</sub> n'est pas [[diagonalisation|diagonalisable]] et termine la démonstration de cette proposition. On remarque que ''i''<sub>E</sub>(''e''<sub>1</sub>) et égal à ''e''<sub>2</sub>, ''i''<sub>E</sub>(''e''<sub>2</sub>) est égal à l'image de ''e''<sub>1</sub> par le carré de ''i''<sub>E</sub> c'est-à-dire -''Id'' et donc -''e''<sub>1</sub>. :* ''L'image des nombres diadiques par l'application ''e''<sub>E</sub> définie par l'égalité suivante est incluse dans ''G''<sup>+</sup> :'' <center><math> \forall t \in \mathbb R \quad e_E(t) = \text {exp} \Big(t\pi I_E\Big)= \sum_{j \in \mathbb N} \frac 1{j!}\Big( t\pi\Big)^j I_E^j</math></center> La définition de l'exponentielle d'un endomorphisme est donnée dans l'article [[Diagonalisation]]. Un nombre diadique est un nombre rationnel tel que le dénominateur est une puissance de deux, il est donc de la forme ''k''/2<sup>n</sup> avec ''k'' un entier et ''n'' un entier positif. Il suffit de montrer la proposition pour ''k'' égal à ''un''. En effet, la stabilité par la composition démontre alors le résultat pour ''k'' quelconque car : <center><math>\forall k \in \mathbb N \quad e_E\left(\frac k{2^n}\right) =e_E\left(\frac 1{2^n}\right)^k</math></center> Démontrons ce résultat par récurrence sur ''n''. Montrons ce résultat pour ''n'' égal à ''un''. On remarque que l'espace vectoriel engendré par les automorphismes ''Id'' et ''i''<sub>E</sub> forment une [[algèbre sur un corps|algèbre]] ''A'' avec la loi de composition interne des automorphismes. De plus ''A'' dispose d'une structure de [[corps (mathématiques)|corps]], l'application linéaire ψ de ''C'' l'ensemble des nombres complexes dans ''A'' ayant pour image de la base (1, ''i'' ) la base (''Id'', ''i''<sub>E</sub>) est un isomorphisme d'algèbre, on en déduit : <center><math>\psi (e^{\frac {\pi i}2})= \psi (i) = i_E = \psi \Bigg( \sum_{j \in \mathbb N} \frac 1{j!} \Big( \frac {\pi}2 \Big)^j i^j \Bigg)= \sum_{j \in \mathbb N} \frac 1{j!} \Big( \frac {\pi}2 \Big)^j \psi(i)^j = e_E\Big(\frac 12\Big)</math></center> Supposons ce résultat vrai pour ''p'' et montrons le pour ''p'' + 1. Notons ζ<sub>n</sub> l'image de 2<sup>-n</sup> par ''e''<sub>E</sub>. L'isomorphisme ψ montre que ''e''<sub>E</sub> est un morphisme du groupe des réels muni de l'addition vers ''G''<sup>+</sup>. On en déduit que ζ<sub>p+1</sub><sup>2</sup> est égal à ζ<sub>p</sub>. L'équation ''x''<sup>2</sup> = ''a'' admet deux solutions opposées dans le cercle unité des complexes si ''a'' est un nombre complexe de module ''un''. En conséquence l'équation ''x''<sup>2</sup> = ''a'' admet deux solutions opposées dans ''G''<sup>+</sup>. Il reste à savoir si cette équation ''x''<sup>2</sup> = ''a'' admet uniquement deux solutions à déterminant positif dans ''GL''(''E''). Nous savons que ''a'' est ici un carré, l'équation s'écrit donc ''x''<sup>2</sup> = ''b''<sup>2</sup> ou encore ''y''<sup>2</sup> = ''Id'' avec le changement de variable ''y'' = ''b''<sup>-1</sup>''x''. Il a été précédemment démontré qu'une telle équation n'admet que deux solutions à déterminant positif ''Id'' et -''Id''. En conclusion, il n'existe qu'une racine carrée de ζ<sub>p</sub> à déterminant positif et proche de ''Id'' (l'autre solution est proche de -''Id''). Cette solution est donc nécessairement égale à l'image de 2<sup>-p-1</sup> par ''e''<sub>E</sub> et élément du groupe ''G''<sup>+</sup>. :* ''Le groupe ''G''<sup>+</sup> est l'image de ''R'' par l'application ''e''<sub>E</sub>. Le groupe ''G''<sup>+</sup> est homéomorphe au cercle unité de ''C'', il est donc complet. Il contient l'image d'un ensemble dense dans ''R'', les nombres diadiques et ''e''<sub>E</sub> est une application [[continuité uniforme|uniformément continue]], il est donc possible de compléter ''e''<sub>E</sub> sur l'ensemble des réels. :* ''Le produit scalaire <. , .> défini par la base orthonormale (''e''<sub>1</sub>, ''e''<sub>2</sub>) possède pour groupe spécial orthogonal (le sous-groupe de déterminant égal à ''un'') ''G''<sup>+</sup> :'' Il suffit de remarquer que la matrice de ''e''<sub>E</sub>(t) dans la base (''e''<sub>1</sub>, ''e''<sub>2</sub>) est : <center><math>\begin{pmatrix} \cos(\pi t) & -\sin(\pi t) \\ \sin(\pi t) & \cos(\pi t) \end{pmatrix}</math></center> Pour s'en rendre compte, il suffit de remarquer que : <center><math>\forall t \in \mathbb R \quad e_E(t) = \psi (e^{i\pi t}) = \cos (\pi t) Id + \sin (\pi t) i_E</math></center> }} === Topologie === {{Article détaillé|Topologie d'un espace vectoriel de dimension finie}} Le produit scalaire définit une norme et donc une distance, conférant ainsi une structure d'[[espace métrique]] et [[espace topologique|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 [[espace|séparée]] vérifiant cette compatibilité. Une formulation équivalente est que la norme euclidienne est [[norme équivalente|é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 [[continuité|continue]]. :* ''E'' est [[continuité uniforme|uniformément]] [[homéomorphe]] à ''R''<sup>n</sup>. :* Les sous-espaces vectoriels de ''E'' sont des fermés. :* ''[[espace complet|complétude]]'' : ''E'' est un espace complet, ainsi que l'ensemble des applications linéaires continues d'un espace vectoriel normé dans ''E''. :* ''[[espace compact|compacité]]'' : les compacts de ''E'' sont les fermés bornés. Toute [[boule (mathématiques)|boule]] [[fermé (topologie)|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 [[nombre complexe|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.<ref>Cette généralisation est traitée par exemple dans {{Lang1}}.</ref> En dimension infinie, une définition analogue (existence d'un produit scalaire ou hermitien) amène d'abord à la notion de [[espace préhilbertien|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]]<ref>Cette généralisation est traitée par exemple dans : {{Brezis}} p 78 à 116.</ref>. 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 [[groupe fini|groupes finis]]. Les groupes orthogonaux sur des espaces vectoriels de dimension finie sur les [[corps fini]]s fournissent notamment des familles infinies de [[groupe simple|groupes simples]]<ref>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}}</ref>. {{Wikiversity|Espace euclidien}} == Références == === Notes === <references /> === Liens externes === * {{fr}} [http://stephane.gonnord.org/PCSI/Geom/EUCLIDIENS.PDF Espaces euclidiens] un cours niveau ''Maths PCSI'' par S. Gonnord * {{fr}} [http://www.les-mathematiques.net/b/c/i/node9.php3 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}} [http://www.math.sciences.univ-nantes.fr/~morame/SYM03/DiagHT/node29.html Espace euclidien] de Ross Moore de ''Macquarie University'' de Sydney traduit par Abderemane Morame de l'Université de Nantes 2006. * {{fr}} [http://www.laria.u-picardie.fr/~wlazinsk/Esp_euclid.pdf 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<sup>ème</sup> 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}} [[catégorie:algèbre bilinéaire]] [[catégorie:Géométrie euclidienne]] {{Portail mathématiques}} [[ar:فضاء إقليدي]] [[bg:Евклидово пространство]] [[bn:ইউক্লিডীয় স্থান]] [[ca:Espai euclidià]] [[cs:Euklidovský prostor]] [[cv:Евклид уçлăхĕ]] [[da:Euklidisk vektorrum]] [[de:Euklidischer Raum]] [[en:Euclidean space]] [[es:Espacio euclídeo]] [[he:מרחב אוקלידי]] [[hu:Euklideszi tér (lineáris algebra)]] [[io:Euklidana spaco]] [[it:Spazio euclideo]] [[ja:ユークリッド空間]] [[ko:유클리드 공간]] [[lt:Euklidinė erdvė]] [[nl:Euclidische ruimte]] [[pl:Przestrzeń euklidesowa]] [[pt:Espaço euclidiano]] [[ru:Евклидово пространство]] [[vi:Hình học Euclide]] [[zh:欧几里德空间]]