Les Espaces affines constituent le cadre géométrique fondamental permettant d’étudier les points, les droites et les plans sans la contrainte d’une origine fixe, en reliant la géométrie à l’algèbre linéaire via un espace vectoriel directeur. Cette structure abstraite généralise l’espace euclidien usuel en dissociant la notion de point de celle de vecteur.
Définition formelle et axiomes fondamentaux
Un espace affine est un triplet $(\mathcal{E}, E, +)$ où $\mathcal{E}$ est un ensemble non vide dont les éléments sont appelés points, $E$ est un espace vectoriel sur un corps commutatif $\mathbb{K}$ (généralement $\mathbb{R}$), et $+$ est une action de $E$ sur $\mathcal{E}$ vérifiant deux axiomes essentiels :
- Axiome de transitivité et liberté (Action simplement transitive) : Pour tout couple de points $(A, B) \in \mathcal{E}^2$, il existe un unique vecteur $\vec{u} \in E$ tel que $B = A + \vec{u}$. Ce vecteur est noté $\overrightarrow{AB}$.
- Relation de Chasles : Pour tous points $A, B, C \in \mathcal{E}$, on a l’égalité vectorielle :
Cette définition implique que l’ensemble des points $\mathcal{E}$ n’a pas de structure d’espace vectoriel intrinsèque (on ne peut pas additionner deux points), mais que la différence de deux points est un vecteur bien défini dans $E$, appelé espace vectoriel associé ou espace directeur.
Dimension d’un espace affine
La dimension d’un espace affine $\mathcal{E}$ est définie comme la dimension de son espace vectoriel associé $E$. Si $\dim(E) = n$, on dit que $\mathcal{E}$ est un espace affine de dimension $n$, noté souvent $\mathbb{A}^n$ ou $\mathcal{E}_n$.
Dans le cas où $E = \{\vec{0}\}$, l’espace affine est réduit à un seul point et sa dimension est 0. Cette distinction entre dimension du point (0) et dimension de l’espace ambiant est cruciale pour la géométrie d’incidence.
Propriétés algébriques et barycentres
L’une des propriétés les plus riches des Espaces affines est la possibilité de définir des combinaisons affines, menant au concept central de barycentre, qui remplace l’addition vectorielle absente entre points.
Combinaison affine et barycentre
Soit une famille finie de points $(A_i)_{i=1}^n$ de $\mathcal{E}$ et une famille de scalaires $(\lambda_i)_{i=1}^n$ tels que $\sum_{i=1}^n \lambda_i = 1$. Il existe un unique point $G \in \mathcal{E}$, appelé barycentre du système pondéré, défini par la relation :
$$ G = O + \sum_{i=1}^n \lambda_i \overrightarrow{OA_i} $$Où $O$ est un point quelconque de $\mathcal{E}$. L’indépendance du résultat par rapport au choix de l’origine $O$ est garantie par la condition $\sum \lambda_i = 1$. En effet, si l’on change d’origine pour $O’$, le terme de translation s’annule grâce à cette somme unitaire.
Cette opération permet de définir le milieu d’un segment ($\lambda_1 = \lambda_2 = 1/2$) ou le centre de gravité d’un triangle sans recourir à des coordonnées.
Réduction vectorielle
Pour tout point $M \in \mathcal{E}$ et tout système pondéré $\{(A_i, \lambda_i)\}$ de somme de coefficients $\lambda = \sum \lambda_i \neq 0$ et de barycentre $G$, la formule de réduction suivante est vérifiée :
$$ \sum_{i=1}^n \lambda_i \overrightarrow{MA_i} = \lambda \overrightarrow{MG} $$Cette identité est un outil puissant pour simplifier les calculs vectoriels dans les Espaces affines. Elle montre que la somme pondérée des vecteurs issus d’un point variable $M$ vers les points du système est colinéaire au vecteur reliant $M$ au barycentre $G$.
Sous-espaces affines et parallélisme
La structure des Espaces affines permet de définir naturellement des sous-objets géométriques appelés sous-espaces affines (ou variétés linéaires affines), qui généralisent les droites et les plans.
Définition d’un sous-espace affine
Une partie non vide $\mathcal{F} \subseteq \mathcal{E}$ est un sous-espace affine s’il existe un point $A \in \mathcal{F}$ et un sous-espace vectoriel $F \subseteq E$ tels que :
$$ \mathcal{F} = \{ A + \vec{u} \mid \vec{u} \in F \} = A + F $$Le sous-espace vectoriel $F$ est unique et est appelé la direction de $\mathcal{F}$, notée $\overrightarrow{\mathcal{F}}$. La dimension de $\mathcal{F}$ est celle de $F$. Un sous-espace de dimension 1 est une droite affine, de dimension 2 un plan affine.
Parallélisme et intersection
Deux sous-espaces affines $\mathcal{F}_1$ et $\mathcal{F}_2$ sont dits parallèles si leurs directions vectorielles sont incluses l’une dans l’autre (ou égales). Contrairement à la géométrie projective, deux sous-espaces affines peuvent être parallèles et disjoints (sans intersection).
L’intersection de deux sous-espaces affines, si elle est non vide, est elle-même un sous-espace affine dont la direction est l’intersection des directions vectorielles :
$$ \overrightarrow{\mathcal{F}_1 \cap \mathcal{F}_2} = \overrightarrow{\mathcal{F}_1} \cap \overrightarrow{\mathcal{F}_2} $$Si l’intersection est vide, les sous-espaces sont soit parallèles distincts, soit « gauches » (non coplanaires en dimension supérieure).
Repères affines et coordonnées
Pour effectuer des calculs explicites dans un espace affine, on introduit la notion de repère affine, qui combine une origine ponctuelle et une base vectorielle.
Construction d’un repère affine
Un repère affine de $\mathcal{E}$ est un couple $\mathcal{R} = (O, \mathcal{B})$ où $O$ est un point de $\mathcal{E}$ (l’origine) et $\mathcal{B} = (\vec{e}_1, \dots, \vec{e}_n)$ est une base de l’espace vectoriel $E$.
Tout point $M \in \mathcal{E}$ possède alors des coordonnées uniques $(x_1, \dots, x_n)$ dans ce repère, définies par la décomposition vectorielle :
$$ \overrightarrow{OM} = \sum_{i=1}^n x_i \vec{e}_i $$Ces coordonnées permettent d’identifier bijectivement l’espace affine $\mathcal{E}$ à l’espace numérique $\mathbb{K}^n$, tout en conservant la distinction conceptuelle entre points et vecteurs.
Changement de repère
Le passage d’un repère affine $\mathcal{R} = (O, \mathcal{B})$ à un autre $\mathcal{R}’ = (O’, \mathcal{B}’)$ s’effectue via une transformation affine. Si $P$ est la matrice de passage de la base $\mathcal{B}$ à $\mathcal{B}’$ et si $C$ est le vecteur colonne des coordonnées de $\overrightarrow{OO’}$ dans $\mathcal{B}$, les nouvelles coordonnées $X’$ s’expriment par :
$$ X = P X’ + C $$Cette formule linéaire affine est fondamentale pour la résolution de systèmes géométriques et le changement de point de vue dans l’espace.
Exemples concrets et applications
Illustrons la théorie des Espaces affines par des exemples classiques montrant la diversité des structures possibles.
Exemple 1 : L’espace affine usuel $\mathbb{R}^n$
L’exemple canonique est l’ensemble $\mathbb{R}^n$ muni de l’action naturelle de l’espace vectoriel $\mathbb{R}^n$ sur lui-même par addition. Ici, les points sont identifiés aux n-uplets de réels, et le vecteur $\overrightarrow{AB}$ est simplement la différence $B – A$ composante par composante.
Bien que les ensembles soient identiques, la structure affine distingue le rôle des éléments : en tant que points, ils n’ont pas de somme ; en tant que vecteurs, ils forment un espace linéaire.
Exemple 2 : Droites et plans dans l’espace
Dans un espace affine de dimension 3, une droite est un sous-espace affine de dimension 1. Elle est entièrement déterminée par deux points distincts $A$ et $B$. Sa direction est la droite vectorielle engendrée par $\overrightarrow{AB}$.
Un plan est un sous-espace de dimension 2, déterminé par trois points non alignés $A, B, C$. Sa direction est le plan vectoriel engendré par $\overrightarrow{AB}$ et $\overrightarrow{AC}$. L’équation cartésienne d’un plan $ax+by+cz=d$ est la traduction analytique d’un sous-espace affine de codimension 1.
Contre-exemple : Une sphère n’est pas un espace affine
La surface d’une sphère dans $\mathbb{R}^3$ ne peut pas être munie d’une structure d’espace affine. En effet, pour deux points distincts sur la sphère, le segment de droite les reliant (qui correspondrait à l’action du vecteur différence) n’est pas contenu dans la sphère.
De plus, il n’existe pas de structure globale permettant de définir un barycentre de points sur la sphère qui reste sur la sphère de manière cohérente avec les axiomes affines (la courbure empêche la « platitude » requise).
Applications en géométrie et physique
Les Espaces affines fournissent le langage naturel pour la mécanique classique et la géométrie algorithmique, où l’origine absolue n’a souvent pas de signification physique.
Indépendance de l’origine en mécanique
En physique, les lois du mouvement doivent être indépendantes du choix de l’origine du repère (invariance par translation). La formulation des problèmes dans un espace affine garantit cette invariance, car seules les différences de positions (vecteurs déplacement) et les barycentres (centres de masse) ont un sens physique absolu.
Interpolation et infographie
En synthèse d’images, l’interpolation linéaire entre deux sommets d’un polygone (pour calculer une couleur ou une texture) est une opération barycentrique. Utiliser un cadre affine assure que le résultat est indépendant du système de coordonnées mondial choisi pour la scène 3D.
Conclusion synthétique
Les Espaces affines offrent le cadre théorique idéal pour étudier la géométrie « plate » en libérant les points de la contrainte d’une origine vectorielle. Grâce aux concepts de barycentre, de sous-espaces affines et de repères, ils permettent de modéliser rigoureusement les configurations géométriques usuelles.
Maîtriser cette structure est un prérequis indispensable pour aborder la géométrie euclidienne (en y ajoutant un produit scalaire), la géométrie projective (en complétant l’espace), et pour comprendre les fondements mathématiques de la physique classique et de l’informatique graphique.