logo

Espace affine

   
  • Recherche :  
   

Espace affine : encyclopédie mathématiques

wikipediaCet article est issu de l'encyclopédie libre Wikipedia.
Vous pouvez consulter l'article ici ainsi que son historique.
Les textes et les images sont disponibles sous les termes de la Licence de documentation libre GNU.

En géométrie, la notion d'espace affine généralise la notion d'espace issue de la géométrie euclidienne en omettant les notions d'angle et de distance. Dans un espace affine on peut parler d'alignement, de parallélisme, de barycentre. Sous la forme qui utilise des rapports de mesures algébriques, qui est une notion affine, le théorème de Thalès et le théorème de Ceva sont des exemples de théorèmes de géométrie affine plane réelle (c'est-à-dire n'utilisant que la structure d'espace affine du plan réel). Un espace affine peut aussi être vu comme un espace vectoriel « dont on a oublié l'origine »[1]. Ainsi les translations de vecteur non nul sont des transformations affines (c'est-à-dire qu'elles conservent la structure d'espace affine), mais pas vectorielles. Les homothéties (de centre un point quelconque de l'espace), mais aussi par exemple les transvections ou les dilatations sont des applications affines.

Sommaire

[modifier] Définitions et premières propriétés

Il est possible d'axiomatiser les espaces affines directement, en terme de points, de droites et de la relation d'incidence (appartenance) d'un point à une droite[2], cependant les définitions les plus usuelles d'espace affine s'appuient sur celle d'espace vectoriel sur un corps, qui est le corps des nombres réels pour la géométrie affine « classique ». Les éléments de l'espace affine sont appelés points, ceux de l'espace vectoriel associé vecteurs, et ceux du corps associé scalaires. Une opération fondamentale des espaces affines associe à deux points A et B dans cet ordre de l'espace un vecteur appelé vecteur (A, B) et noté {\overrightarrow{\scriptstyle AB}}. Dans ce contexte les couples de points sont souvent appelés bipoints, un bipoint (A,B) a pour origine A, pour extrémité B et définit donc un vecteur {\overrightarrow{\scriptstyle AB}}. Une autre opération fondamentale associe à un point A et un vecteur \vec u un autre point, appelé translaté de A par \vec u, et souvent noté A + \vec u (notation de Grassmann). Ces opérations sont liées : B est le translaté de A par le vecteur défini par le bipoint (A, B), en fait on aura :

B = A + \vec u   si et seulement si   {\overrightarrow{\scriptstyle AB}}= \vec u,

c'est-à-dire que chacune de ces deux opérations peut se définir en fonction de l'autre.

La définition qui suit s'appuie sur la première de ces deux opérations. Une définition équivalente, qui s'appuie sur la seconde, est donnée en fin de section.

[modifier] Première définition

Étant donné un espace vectoriel V sur un corps K, un espace affine de direction V est un ensemble non vide E muni d'une application φ qui à chaque bipoint (A, B) de E, associe un élément de V, noté {\overrightarrow{\scriptstyle AB}} vérifiant les deux propriétés suivantes[3] :

(A1) \forall\ ( A , B , C ) \in E^3 ,\ \ \overrightarrow{AB} + \overrightarrow{BC} = \overrightarrow{AC}. \,     (relation de Chasles)
(A2) \forall\ A \in E , \forall\ \vec v \in V , \exists!\ B \in E, \ \ \overrightarrow{AB} = \vec v \,     (existence et unicité d'un translaté)

L'espace vectoriel V est appelé direction de l'espace affine E. La direction de E est souvent notée \vec{\scriptstyle E}. La dimension d'un espace affine est la dimension de l'espace vectoriel qui lui est associé. En particulier un espaces affine de dimension 1 est appelé droite affine, un espace affine de dimension 2 plan affine.

La propriété (A2) assure, pour tout point A et tout vecteur \vec u, l'existence et l'unicité d'un point B vérifiant {\overrightarrow{\scriptstyle AB}}= \vec u, que l'on nomme, comme indiqué en introduction, translaté de A par \vec u. La propriété annoncée en introduction suit de cette définition. Étant donné un vecteur \vec u de V, l'application qui à un point A de E associe son translaté par le vecteur \vec u est appelée translation de vecteur \vec u.

Si on fixe un point origine O, par définition d'un espace affine, il existe une application φO de E dans V qui à un point M de E associe le vecteur {\overrightarrow{\scriptstyle OM}}. La propriété (A2) énonce que cette application φO est bijective pour tout point O. Cette correspondance permet donc, par choix d'une origine, de munir (de façon non canonique) l'espace affine E d'une structure d'espace vectoriel isomorphe à V, dite structure vectorielle d'origine O, et que l'on note EO. L'étude des problèmes de géométrie affine se ramène souvent à une étude en géométrie vectorielle, par choix convenable d'une origine de l'espace affine[4].

Inversement, étant donné un espace vectoriel V, il est possible de définir (de façon canonique) une structure d'espace affine sur V par l'application qui au couple de vecteur (u, v) de V associe le vecteur v - u.

Il arrive d'ailleurs[5] que ce que l'on a noté dans un espace affine {\overrightarrow{\scriptstyle AB}} soit noté B - A, et quand cet espace affine est un espace vectoriel muni de sa structure affine canonique, les notations sont cohérentes, de même qu'avec la notation de Grassmann, qui donne B = A + (B - A).

[modifier] Propriétés élémentaires

Les propriétés suivantes découlent directement de la définition d'espace affine (c'est-à-dire des axiomes (A1) et (A2)). Soient A,B,C,D et des points quelconques d'un espace affine E :

  • \overrightarrow{AB} = \vec 0 \Leftrightarrow A = B ;
  • \overrightarrow{BA} = - \overrightarrow{AB} ;

On peut également généraliser la relation de Chasles à un nombre fini de points A1,...,An

  • \overrightarrow{A_1A_n} = \sum_{i = 1}^{n-1} \overrightarrow{A_iA_{i+1}}

On appelle parallélogramme quatre points (A,B,C,D), dans cet ordre, tels que \overrightarrow{\scriptstyle AB} = \overrightarrow{\scriptstyle DC}. On montre alors que cette condition est invariante par permutation circulaire, ou en renversant l'ordre, en particulier on a la relation du parallélogramme :

  • \overrightarrow{AB} = \overrightarrow{DC} \Leftrightarrow \overrightarrow{AD} = \overrightarrow{BC} .

On peut également définir le milieu de deux points A et B qui est une notion affine, mais uniquement sur un corps de caractéristique différente de 2, c'est le point \scriptstyle A+{1\over 2}\overrightarrow{\scriptstyle AB}. Le milieu de A et B est le milieu de B et A.

On montre alors (en caractéristique différente de 2) que (A,B,C,D) est un parallélogramme si et seulement si les points A et C d'une part, B et D d'autre part, ont même milieu.

[modifier] Exemples d'espaces affines

On a vu que tout espace vectoriel pouvait être muni d'une structure d'espace affine par l'opération de soustraction vectorielle. Les exemples suivants sont des cas particuliers.

  • Le plan affine réel est le plan ℝ2 de direction lui-même en tant qu'espace vectoriel, avec l'opération
\begin{array}[t]{lcl}\R^2\times\R^2&\longrightarrow&{\R^2\ \ \ } \\ ((x_1,y_1),(x_2,y_2))&\longmapsto&(x_2-x_1,y_2-y_1)\end{array}

C'est à isomorphisme près le seul espace affine réel de dimension 2.

  • L'espace affine réel de dimension 3 se définit de façon analogue :
\begin{array}[t]{lcl}\R^3\times\R^3&\longrightarrow&{\R^3\ \ \ }\\((x_1,y_1,z_1),(x_2,y_2,z_2))&\longmapsto&(x_2-x_1,y_2-y_1,z_2-z_1)\end{array}
  • De façon plus générale, si E est un espace vectoriel quelconque (par exemple Kn, où K est un corps quelconque), E est muni d'une structure d'espace affine de direction canonique E par :
\begin{array}[t]{lcl}E\times E&\longrightarrow&{E\ \ \ }\\(v,w)&\longmapsto&v-w\end{array}

[modifier] Autre définition

Une autre définition s'appuie sur l'opération de translation. Un espace affine de direction l'espace vectoriel V est alors un ensemble non vide E muni d'une application de E × V dans E qui au point A et au vecteur \vec u associe un point de E appelé translaté de A par le vecteur \vec u et noté A + \vec u telle que :

(A1') \forall A\in E\ \forall \vec u,\,\vec v \in V\ \ (A+ \vec u)+\vec v = A+ (\vec u+\vec v)
(A2') \forall (A,\,B)\in E^2\ \exists! \vec u\in V\ \ A +\vec u = B.

Énoncée de cette façon, cette définition est symétrique de la première, on en déduit les mêmes propriétés en particulier que pour tout point A, A +\vec 0 = A. mais elle peut s'exprimer autrement. En effet un espace vectoriel est, muni de sa loi additive, un groupe commutatif. L'application qui à un vecteur et un point associe le translaté par ce vecteur est alors une action de groupe d'après (A1') et le fait que pour tout A, A +\vec 0 = A. L'existence, dans l'axiome (A2') énonce que cette action est transitive, l'unicité a pour conséquence que le vecteur nul \vec 0 est le seul vecteur \vec u vérifiant pour tout point A, A +\vec u = A, une telle action est dite fidèle, et ceci suffit pour assurer l'unicité.

Un espace affine de direction V peut donc se définir comme un ensemble non vide E sur lequel le groupe additif de V opère transitivement et fidèlement[6],[5].

[modifier] Sous-espaces affines

Dans le plan réel ℝ2, seules les droites passant par l'origine sont des sous-espaces vectoriels, les droites quelconques sont des sous-espaces affines. C'est cette notion que l'on définit maintenant.

[modifier] Définitions

Soit E un espace affine de direction V. Une partie non vide F de E est un sous-espace affine de E (ou variété linéaire affine, et parfois simplement variété affine[7]), s'il existe un point A de F tel que l'ensemble

W = \{\overrightarrow{AM}\mid M\in F\}

est un sous-espace vectoriel de V[8]. En d'autres termes, les sous-espaces affines de E passant par A sont les sous-espaces vectoriels de EA, la structure vectorielle d'origine A sur E. On dit alors que F est le sous-espace affine de E de direction W passant par A. Le sous-espace vectoriel W est donc la direction de l'espace affine F, et la dimension d'un sous-espace affine est la dimension de sa direction.

On vérifie alors que pour tout point B de F, F est le sous-espace affine de direction W passant par B, c'est-à-dire que :

\{\overrightarrow{BM}\mid M\in F\}=W

et que F et un bien un espace affine de direction W (pour la même opération φ qui à un bipoint associe un vecteur, ou plus exactement sa restriction).

Un sous-espace affine F passant par A de direction W peut être défini (de façon équivalente) comme l'ensemble des translatés de A par les vecteurs de W (ce qu'on peut noter F = A + W) soit[9] :

F = \{M\in E \mid \overrightarrow{AM}\in W\}

et là aussi cette propriété est vérifiée pour tout point A de F. Finalement, F non vide est donc un sous-espace affine de direction W si et seulement s'il vérifie ces deux conditions :

  • pour tout couple de points A et B de F, le vecteur \overrightarrow{\scriptstyle AB} appartient à W ;
  • pour tout point A de F et tout vecteur \scriptstyle\vec v de W, le point \scriptstyle A+\vec v appartient à F.

[modifier] Cas particuliers

Deux points distincts A et B de l'espace affine F définissent un sous-espace affine de dimension 1, la droite affine passant par A de direction la droite vectorielle engendrée par le vecteur \overrightarrow{\scriptstyle AB}. Cette droite affine est l'unique droite passant par A et B.

Trois points non alignés A, B et C de l'espace affine F définissent un sous-espace affine de dimension 2, le plan affin passant par A de direction le plan vectoriel engendré par les deux vecteurs non colinéaires \overrightarrow{\scriptstyle AB} et \overrightarrow{\scriptstyle AC}.

Un hyperplan affine de F est un sous-espace affine de F dont la direction est un hyperplan de V.

Tout hyperplan affine peut se définir comme ensemble des points M\in\mathcal E vérifiant une équation f(M) = 0, où f est une forme affine, c'est-à-dire une application affine dont la partie linéaire est une forme linéaire.

[modifier] Caractérisation par les droites

En caractéristique différente de 2, un sous-espace affine de E est une partie non vide de E contenant toute droite passant par deux de ses points, c'est-à-dire que F non vide est un sous-espace affine si et seulement si, étant donnés deux points distincts A et B de F, la droite passant par A et B est incluse dans F. Cette caractérisation peut être utilisée comme définition dans l'approche axiomatique directe.

En effet soit un sous-espace affine F de direction W, et deux points A et B. Alors F comme sous-espace vectoriel de EA structure vectorielle d'origine A, contient la droite passant par A de vecteur directeur \overrightarrow{\scriptstyle AB}, qui passe également par B.

Réciproquement, supposons que F contienne toute droite passant par deux de ces points. Soit A un point de F. Il suffit de montrer que F est un sous-espace vectoriel de EA. Si B ∈ F, B ≠ A, la droite (AB) est incluse dans F d'où la stabilité par produit par un scalaire. On a de même la stabilité par somme pour deux vecteurs colinéaires (A, B, C alignés). Il reste à montrer que si B et C appartiennent à F tels que A, B et C non alignés, le point D défini par l'égalité ci-dessous est dans F :

\overrightarrow{\scriptstyle AD} = \overrightarrow{\scriptstyle AB}+\overrightarrow{\scriptstyle AC} .

Soit I le milieu de B et C et donc de A et D (propriété du parallélogramme en caractéristique différente de 2) :

\overrightarrow{\scriptstyle AI} = {1\over 2}(\overrightarrow{\scriptstyle AB}+\overrightarrow{\scriptstyle AC})

Alors I ∈ F, puisque I ∈ (BC), et donc D ∈ F, puisque D ∈ (AI).

[modifier] Barycentres

Les sous-espaces affines de E sont également les parties de E stables par barycentre (F est un sous-espace affine quand pour tout ensemble fini de points de F, les barycentres de ces points sont dans F) , voir barycentre (géométrie affine)

[modifier] Parallélisme

Il existe deux notions de parallélisme entre sous-espaces affines, l'une n'est valide qu'entre deux sous-espaces de même dimension (deux droites, deux plans, etc.), l'autre est plus générale.

Soient F et G deux sous-espaces affines. On dit que :

  • F et G sont parallèles, ou parfois fortement parallèles, quand ils ont la même direction.
  • F est parallèle à G, ou souvent F est faiblement parallèle à G, quand la direction de F est un sous-espace vectoriel de celle de G.

La relation de parallélisme fort est une relation d'équivalence. La relation de parallélisme faible n'est pas symétrique, mais reste réflexive et transitive (c'est un préordre).

L'axiome des parallèles (variante du cinquième postulat d'Euclide) — par un point il passe une et une seule droite parallèle à une droite donnée — est une conséquence immédiate de la définition même de sous-espace affine qui assure l'unicité d'un sous-espace affine passant par un point et de direction un sous-espace vectoriel donné (une droite vectorielle en l'occurrence).

Deux sous-espaces affines parallèles (fortement) sont soit confondus, soit d'intersection vide.

Un sous-espace affine faiblement parallèle à un sous-espace affine est soit inclus dans ce dernier soit d'intersection vide avec celui-ci.

[modifier] Intersection de sous-espaces affines

[modifier] Sous-espace affine engendré

[modifier] Repère et base affines

Article détaillé : Repère affine.

[modifier] Barycentres

Articles détaillés : Barycentre (géométrie élémentaire), Barycentre (géométrie affine) et Coordonnées barycentriques.

[modifier] Applications affines

Article détaillé : Application affine.

[modifier] Notes et références

  1. ↑ Berger 2009, p. 61.
  2. ↑ Voir plan affine de Desargues pour une approche axiomatique dans le cas du plan. Les axiomes de Hilbert restreints à ceux de l'incidence et du parallélisme conviennent pour la dimension 3. Une axiomatisation alternative, qui convient également dans le cas général (dimension supérieure ou égale à 3) est donnée dans Lelong-Ferrand 1985, p. 202.
  3. ↑ Ladegaillerie 2003, p. 13
  4. ↑ Lelong-Ferrand 1985, p. 85
  5. ↑ a et b Fresnel 1996, p. 4
  6. ↑ Ladegaillerie 2003, p. 14
  7. ↑ Ladegaillerie 2003, p. 15
  8. ↑ par exemple Lelong-Ferrand 1985, p. 86
  9. ↑ par exemple Ladegaillerie 2003, p. 15

[modifier] Bibliographie

  • Marcel Berger, Géométrie vivante : ou l'échelle de Jacob, Cassini, coll. « Nouvelle bibliothèque mathématique », 2009 (ISBN 9782842250355) 
  • Marcel Berger, Géométrie [détail des éditions] (vol. 1)
  • Jean Fresnel, Méthodes modernes en géométrie, Hermann, 1996 (ISBN 2 7056 1437 0) .
  • Yves Ladegaillerie, Géométrie affine, projective, euclidienne et anallagmatique, Ellipses, 2003 (ISBN 2-7298-1416-7) .
  • Jacqueline Lelong-Ferrand, Fondements de la géométrie, PUF, 1985 (ISBN 2-13-038851-5) .

[modifier] Voir aussi

  • Application affine
  • Géométrie affine
  • Repère affine
wikipediaCet article est issu de l'encyclopédie libre Wikipedia.
Vous pouvez consulter l'article ici ainsi que son historique.
Les textes et les images sont disponibles sous les termes de la Licence de documentation libre GNU.

   
   
  • Recherche :  

Rechercher loupe

Menu

Espace membre

membre-hors-ligne

Changer d'île



page d'accueil   favoris  imprimer
maths haut de pagehaut Retrouvez cette page sur ilemaths l'île des mathématiques
© Tom_Pascal & Océane 2012