Ouvrir le menu principal

Wikipédia β

Article général Pour des articles plus généraux, voir Géométrie affine et Affinité (mathématiques).

En géométrie affine un repère affine d'un espace affine permet d'associer de façon bi-univoque à tout point de l'espace, un ensemble de coordonnées à valeurs dans le corps sur lequel se trouve défini l'espace vectoriel associé. Une application affine est définie et entièrement déterminée par l'image d'un repère affine.

La terminologie n'est pas exactement fixée : sous le nom de repère affine, on trouve deux notions distinctes mais fortement liées. Pour la première un repère affine, dit aussi dans ce cas repère cartésien, est constitué d'un point de l'espace affine considéré et d'une base de l'espace vectoriel associé. Pour la seconde, un repère affine, dit aussi dans ce cas base affine, est la donnée ordonnée de points de l'espace affine, tels que l'ensemble des points n'est pas contenu dans un autre espace affine que l'espace entier (famille génératrice) et qu'aucun point n'appartient au sous-espace affine engendré par les points restant (famille affinement libre, ou points affinement indépendants). Un repère cartésien permet très facilement de définir une base affine et réciproquement.

Dans le cas d'un espace affine de dimension finie n, un repère affine au sens de repère cartésien est constitué d'un point et de n vecteurs (dans un certain ordre), un repère affine au sens base affine est constitué de n + 1 points, là aussi dans un ordre déterminé.

Les coordonnées cartésiennes s'expriment naturellement dans un repère affine au sens repère cartésien, et les coordonnées barycentriques s'expriment naturellement dans un repère affine au sens base affine, dit d'ailleurs parfois repère barycentrique.

Sommaire

Repère affine ou cartésienModifier

DéfinitionModifier

Dans un espace affine   où l'espace vectoriel   porte sa structure sur le corps K, un repère affine, ou repère cartésien[1], est un couple

 ,

  est un point de   (appelé origine du repère), et   est une base quelconque de  .

Tout point   de  , est repéré par ses coordonnées cartésiennes dans le repère   : ce sont les coordonnées du vecteur   dans la base   de  . Quand   est de dimension finie n la base s'écrit   et on a :

 ,

  dénote les coordonnées de   dans le repère  , et   dénote les coordonnées du vecteur   dans la base  .

 
Figure 1. Repère affine ou cartésien dans le plan.

Cette définition est légitime du fait que le choix d'un point privilégié dans   permet d'établir une correspondance bijective entre l'espace des points   et l'espace vectoriel   (voir espace affine). L'origine étant choisie, les coordonnées des points de E sont les coordonnées des vecteurs associés par la correspondance bijective.

Pour tout couple de points A et B de E, l'égalité suivante découle immédiatement de la définition :

  •  

Équations de changement de repère dans les espaces affinesModifier

Dans un même espace affine   de dimension  , si   et   sont deux repères différents, alors les coordonnées   s'obtiennent à partir des coordonnées du même point   mais dans le repère  ,   à l'aide des équations suivantes :

 

qui matriciellement s'écrivent  , où   est la matrice de passage dans   pour passer de la base   à la base  , et  

La relation entre   et   est la suivante :

 

Les équations de changement de repère dans l'autre sens (de   vers  ) s'écrivent alors :

 

Repères affines et espace affine canoniqueModifier

Tout repère affine   dans un espace affine   permet d'etablir un isomorphisme (affine) entre   et l'espace affine canonique   En effet, l'application   définie par

  pour tout point  ,

c'est-à-dire l'application qui associe à tout point de   ses coordonnées vues comme un élément de  , est une application affine bijective entre   et   telle que sa réciproque est aussi affine (  est un isomorphisme affine).

Tout espace affine sur un corps   et de dimension n est alors isomorphe (se comporte de façon identique du point de vue d'un espace affine) à l'espace affine canonique   Les espaces affines à étudier sont donc simplement les espaces affines canoniques (dénotés aussi  ) qui servent de modèles.

Repère ou base affineModifier

Une base affine de l'espace E, que de nombreux auteurs appellent également repère affine[2], est une famille de points de cet espace, affinement libre et génératrice de l'espace tout entier.

Famille affinement libreModifier

Dans un espace affine E, une famille (Ai)iI de points de E est dite affinement libre si aucun des points Aj de la famille n'appartient au sous-espace engendré par les points restant (Ai)iI, i ≠ j[3]. Il y a en fait plusieurs façon de dire qu'une famille est affinement libre, en se ramenant à l'espace vectoriel sous-jacent, ou encore en utilisant les barycentres. Ainsi une famille est affinement libre si et seulement si elle vérifie l'une des propriétés suivantes (toutes équivalentes)[4] :

  • pour un j donné dans I, la famille de vecteurs :
 
est une famille libre;
  • pour tout j dans I, la famille de vecteurs :
 
est une famille libre ;
  • aucun des points de la famille des (Ai)iI n'est barycentre des points restants ;
  • un point donné de l'espace engendré par les (Ai)iI a, comme barycentre des (Ai), une écriture normalisée (somme des coefficients égale à 1) unique ;
  • tout point de l'espace engendré par les (Ai)iI a, comme barycentre des (Ai), une écriture normalisée (somme des coefficients égale à 1) unique.

Espace engendréModifier

L'espace engendré par une famille (Ai)iI (ou un ensemble) de points de l'espace affine E est le plus petit sous-espace affine contenant tous ces points, c'est-à-dire l'intersection de tous les sous-espaces affine contenant chacun tous les (Ai). C'est encore l'ensemble des barycentres des (Ai). Quand l'espace engendré est l'espace affine tout entier on dit aussi que la famille est génératrice. Une famille est donc génératrice si et seulement si pour un j donné dans I la famille de vecteurs :

 

est génératrice.

Base ou repèreModifier

Finalement une base affine de E est une famille (Ai)iI libre et génératrice, et on voit que ceci équivaut à ce que :

 

est une base de l'espace vectoriel associé, c'est-à-dire que :

 

est un repère cartésien de l'espace affine E, un repère affine au sens précédent, les deux notions étant donc intimement liées.

Tout point d'un espace affine est barycentre des points d'un repère barycentrique, la liste des coefficients barycentriques est unique à un facteur multiplicatif près (unique si on pose que la somme des coefficients doit être 1) ce sont les coordonnées barycentriques.

Dimension finieModifier

En dimension finie n, toutes les bases affines ont même cardinal n + 1, toutes les familles affinement libres ont un cardinal au plus égal à n + 1, toutes les familles génératrices ont un cardinal au moins égal à n + 1. Ces propriétés se déduisent de celles analogues pour les bases, famille libre et famille génératrice vectorielles par les équivalences des paragraphes précédents.

En particulier une base affine est une famille libre de n + 1 points, soit (A0, ... , An) vérifiant l'une des conditions du paragraphe #Famille affinement libre. Ainsi :

  • une base affine d'une droite affine est constituée de 2 points distincts de celle-ci ;
  • une base affine d'un plan affine est constituée de 3 points non alignés ;
  • une base affine d'un espace affine de dimension 3 est constitué de 4 points non coplanaires.

Notes et référencesModifier

  1. On trouve cette définition de repère affine ou cartésien par exemple dans Ladegaillerie 2003, p. 19.
  2. Fresnel 1996 parle de repère ou base affine, la notion précédente étant appelée repère cartésien,.Lelong-Ferrand 1985 utilise également repère affine,.Ladegaillerie 2003 utilise base affine pour cette notion et réserve repère affine pour la précédente.
  3. Fresnel 1996, p. 11
  4. Voir Fresnel 1996, p. 11 ou Ladegaillerie 2003, p. 27

Voir aussiModifier

Articles connexesModifier

BibliographieModifier

  • Jean Fresnel, Méthodes modernes en géométrie, Hermann, (ISBN 2 7056 1437 0).
  • Yves Ladegaillerie, Géométrie affine, projective, euclidienne et anallagmatique, Ellipses, (ISBN 2-7298-1416-7).
  • Jacqueline Lelong-Ferrand, Fondements de la géométrie, PUF, (ISBN 2-13-038851-5).