Repère affine
# Repère affine

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.

## Repère affine ou cartésien

### Définition

Dans un espace affine ${\mathcal {E}}=(E,V)$ où l'espace vectoriel $V$ porte sa structure sur le corps K, un repère affine, ou repère cartésien, est un couple

${\mathcal {R}}=(O;e)$,

où $O$ est un point de $E$ (appelé origine du repère), et $e$ est une base quelconque de $V$.

Tout point $M$ de $E$, est repéré par ses coordonnées cartésiennes dans le repère ${\mathcal {R}}$ : ce sont les coordonnées du vecteur ${\overrightarrow {OM}}$ dans la base $e$ de $V$. Quand $E$ est de dimension finie n la base s'écrit $e=(e_{1},e_{2},\dots ,e_{n})$ et on a :

$M_{\mathcal {R}}={\overrightarrow {OM}}_{e}$,

où $M_{\mathcal {R}}\in K^{n\times 1}$ dénote les coordonnées de $M$ dans le repère ${\mathcal {R}}$, et ${\overrightarrow {OM}}_{e}$ dénote les coordonnées du vecteur ${\overrightarrow {OM}}\in V$ dans la base $e$.

Cette définition est légitime du fait que le choix d'un point privilégié dans $E$ permet d'établir une correspondance bijective entre l'espace des points $E$ et l'espace vectoriel $V$ (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 :

* ${\overrightarrow {AB}}_{e}=B_{\mathcal {R}}-A_{\mathcal {R}}.$

### Équations de changement de repère dans les espaces affines

Dans un même espace affine ${\mathcal {E}}=(E,V)$ de dimension $n$, si ${\mathcal {R}}=(O;e)$ et ${\mathcal {R}}'=(O';e')$ sont deux repères différents, alors les coordonnées $M_{{\mathcal {R}}'}={\begin{pmatrix}x'_{1}\\x'_{2}\\\vdots \\x'_{n}\end{pmatrix}}$ s'obtiennent à partir des coordonnées du même point $M$ mais dans le repère ${\mathcal {R}}$, $M_{\mathcal {R}}={\begin{pmatrix}x_{1}\\x_{2}\\\vdots \\x_{n}\end{pmatrix}}$ à l'aide des équations suivantes :

$\left\{{\begin{matrix}x'_{1}=a_{11}x_{1}+a_{12}x_{2}+\dots +a_{1n}x_{n}+b_{1}\\x'_{2}=a_{21}x_{1}+a_{22}x_{2}+\dots +a_{2n}x_{n}+b_{2}\\\vdots \\x'_{n}=a_{n1}x_{1}+a_{n2}x_{2}+\dots +a_{nn}x_{n}+b_{n}\\\end{matrix}}\right.$

qui matriciellement s'écrivent $M_{{\mathcal {R}}'}=A\cdot M_{\mathcal {R}}+B$, où $A=(a_{ij})_{1\leq i,j\leq n}$ est la matrice de passage dans $V$ pour passer de la base $e'$ à la base $e$, et $B={\begin{pmatrix}b_{1}\\b_{2}\\\vdots \\b_{n}\end{pmatrix}}=O_{{\mathcal {R}}'}.$

La relation entre $O_{{\mathcal {R}}'}$ et $O'_{\mathcal {R}}$ est la suivante :

$O_{{\mathcal {R}}'}=-A\cdot O'_{\mathcal {R}}.$

Les équations de changement de repère dans l'autre sens (de ${\mathcal {R}}'$ vers ${\mathcal {R}}$) s'écrivent alors :

$M_{\mathcal {R}}=A^{-1}\cdot M_{{\mathcal {R}}'}-A^{-1}B=A^{-1}\cdot M_{{\mathcal {R}}'}+O'_{\mathcal {R}}.$

### Repères affines et espace affine canonique

Tout repère affine ${\mathcal {R}}$ dans un espace affine ${\mathcal {E}}$ permet d'etablir un isomorphisme (affine) entre ${\mathcal {E}}$ et l'espace affine canonique $A^{n}(K).$ En effet, l'application $T:{\mathcal {E}}\to A^{n}(K)$ définie par

$T(M)=M_{\mathcal {R}},$ pour tout point $M$,

c'est-à-dire l'application qui associe à tout point de ${\mathcal {E}}$ ses coordonnées vues comme un élément de $K^{n}$, est une application affine bijective entre ${\mathcal {E}}$ et $A^{n}(K),$ telle que sa réciproque est aussi affine ($T$ est un isomorphisme affine).

Tout espace affine sur un corps $K$ 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 $A^{n}(K).$ Les espaces affines à étudier sont donc simplement les espaces affines canoniques (dénotés aussi $A_{n}$) qui servent de modèles.

## Repère ou base affine

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

### Famille affinement libre

Dans un espace affine E, une famille $(A_i)_{i∈I}$ de points de E est dite affinement libre si aucun des points $A_j$ de la famille n'appartient au sous-espace engendré par les points restant $(A_i)_{i∈I,i≠j}.$ Il y a en fait plusieurs façons 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) :

* pour un j donné dans I, la famille de vecteurs :

       $\left({\overrightarrow {\mathrm {A} _{j}\mathrm {A} _{i}}}\right)_{i\in I,i\neq j}$
    est une famille libre;
* pour tout j dans I, la famille de vecteurs :

       $\left({\overrightarrow {\mathrm {A} _{j}\mathrm {A} _{i}}}\right)_{i\in I,i\neq j}$
    est une famille libre ;
* aucun des points de la famille des $(A_i)_{i∈I}$ n'est barycentre des points restants ;
* un point donné de l'espace engendré par les $(A_i)_{i∈I}$ a, comme barycentre des $(A_i),$ une écriture normalisée (somme des coefficients égale à 1) unique ;
* tout point de l'espace engendré par les $(A_i)_{i∈I}$ a, comme barycentre des $(A_i),$ une écriture normalisée (somme des coefficients égale à 1) unique.

### Espace engendré

L'espace engendré par une famille $(A_i)_{i∈I}$ (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 $(A_i).$ C'est encore l'ensemble des barycentres des $(A_i).$ 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 :

    $\left({\overrightarrow {\mathrm {A} _{j}\mathrm {A} _{i}}}\right)_{i\in I,i\neq j}$

est génératrice.

### Base ou repère

Finalement une base affine de E est une famille $(A_i)_{i∈I}$ libre et génératrice, et on voit que ceci équivaut à ce que :

    $\left({\overrightarrow {\mathrm {A} _{0}\mathrm {A} _{i}}}\right)_{i\in I,i\neq 0}$

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

    $\left(\mathrm {A} _{0};\left({\overrightarrow {\mathrm {A} _{0}\mathrm {A} _{i}}}\right)_{i\in I,i\neq 0}\right)$

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 finie

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 $(A_0,$ ... , $A_n)$ 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.
