Ensemble de points muni d'une action libre et transitive d'un espace vectoriel représentant les translations, sans origine distinguée ; les vecteurs correspondent aux différences entre points, le parallélisme est défini mais aucun zéro canonique n'est choisi.

Principe

Un espace affine A sur un espace vectoriel V satisfait : pour tout p ∈ A et v ∈ V il existe p+v ∈ A, et pour deux points p,q la différence q−p est un vecteur de V ; les combinaisons affines conservent la somme des coefficients égale à un.

Démonstration

Le plan euclidien considéré sans origine choisie est un plan affine : des coordonnées s'obtiennent en sélectionnant un point de référence et une base, mais les propriétés géométriques de parallélisme ou barycentres sont indépendantes de ce choix.

Mauvaise application

Traiter un espace affine comme un espace vectoriel en fixant arbitrairement une origine et en oubliant que ce choix n'est pas canonique masque les propriétés invariantes et mène à présenter faussement comme intrinsèques des énoncés dépendant des coordonnées.

Conséquence

La structure affine met l'accent sur des notions géométriques invariantes (colinéarité, parallélisme, barycentres) et soutient des constructions projectives et des formulations sans coordonnées en géométrie et en mathématiques appliquées.

Inversion

L'inverse est un espace vectoriel avec origine distinguée ; introduire un zéro canonique et une structure linéaire supprime la symétrie sans origine et modifie les opérations intrinsèques.

Limite

Les espaces affines reposent sur un espace vectoriel de translations mais n'ont pas de produit scalaire ni de métrique sauf ajout de structure ; ils excluent des quotients qui écraseraient le parallélisme (par ex. certains quotients projectifs).

Tension sémantique

La tension tient à la distinction entre point de vue affine et vectoriel : les vecteurs codent des différences, les points n'ont pas d'origine ; beaucoup d'auteurs lissent cette séparation en choisissant des coordonnées, provoquant un conflit entre descriptions dépendantes et indépendantes des coordonnées.

Synthèse

Un espace affine est le cadre géométrique sans origine où coexistent points et vecteurs de translation : il préserve les relations de parallélisme et barycentriques tout en reportant le choix d'une origine ou d'une métrique, unifiant la géométrie sans coordonnées et les constructions classiques.