Théorème de factorisation

Diagramme commutatif représentant les morphismes du théorème de factorisation

En mathématiques, le théorème de factorisation est un principe général qui permet de construire un morphisme d'une structure quotient $X/R$ dans un autre espace $Y$ à partir d'un morphisme de $X$ vers $Y$, de façon à factoriser ce dernier par la surjection canonique de passage au quotient.

Le cas des ensembles

Soit $X$ un ensemble muni d'une relation d'équivalence $R$ et $s:X\to X/R$ la surjection canonique.

• L'unicité de g est immédiate et guide la preuve de son existence, dont voici plusieurs variantes :
  • Preuve « naïve » : pour tout élément $z=s(x)\in X/R$, on pose $g(z)=f(x)$. Si $z=s(x^{\prime })$ pour un élément $x^{\prime }$ équivalent à $x$, on a $f(x)=f(x^{\prime })$ par hypothèse. Donc $g$ est bien définie. Par construction, f = g∘s.
  • Formalisation de la preuve « naïve », rendant plus manifeste l'utilisation de l'axiome du choix : soit t une section de s (c'est-à-dire une application qui à chaque classe associe un élément de cette classe). On pose g = f∘t. Alors, pour tout élément x de X, (t∘s)(x) R x donc f((t∘s)(x)) = f(x), c'est-à-dire (g∘s)(x) = f(x) ; on a donc bien f = g∘s.
  • Preuve sans axiome du choix : par hypothèse, f envoie tous les éléments d'une classe z sur un même élément y de Y. L'assignation z ↦ y définit alors l'application g qui convient.
  • Formalisation de la preuve sans axiome du choix : en notant F et S les graphes de f et s, la [[Relation binaire#Composition et réciproque|relation binaire G = F ∘ SModèle:-1]] (définie par : zGy s'il existe un x tel que z = s(x) et f(x) = y) est fonctionnelle et définit l'application g qui convient.
• Si f est surjective, l'égalité f = g∘s implique que g est aussi surjective.
• Supposons que $xR{x}^{\prime }$ est équivalent à $f(x)=f(x^{\prime })$. Soient $z_1=s(x_1),z_2=s(x_2)$ tels que $g(z_1)=g(z_2)$. Alors $f(x_1)=f(x_2)$, donc $x_{1}R{x}_2$ et $z_1=s(x_1)=s(x_2)=z_2$. Ce qui veut dire que $g$ est injective.
• La dernière propriété résulte des deux précédentes.

(La réciproque est moins utile mais immédiate : pour toute application g : X/R → Y, la composée f = g∘s vérifie x R xModèle:' ⇒ f(x) = f(xModèle:').)

Ce théorème peut se spécialiser à un certain nombre de structures algébriques ou topologiques.

Le cas des groupes

Modèle:Voir Sur un groupe $G$, on considère la relation d'équivalence définie par un sous-groupe normal $H$ de $G$ : $xR{x}^{\prime }$ si $x\in x^{\prime }H$. Alors, la surjection canonique $s:G\to G/H=G/R$ est un morphisme de groupes et le théorème de factorisation s'énonce

Le cas des espaces vectoriels

On considère un espace vectoriel $E$ et la relation d'équivalence définie par un sous-espace vectoriel $H$ : $xR{x}^{\prime }$ si $x-x^{\prime }\in H$. Alors, la surjection canonique $s:E\to E/H=E/R$ est linéaire.

Le cas des anneaux

Modèle:Voir On considère un anneau $A$ et la relation d'équivalence définie par un idéal bilatère $I$ de $A$ : $xR{x}^{\prime }$ si $x-x^{\prime }\in I$. Alors, la surjection canonique $s:A\to A/I=A/R$ est un morphisme d'anneaux.

Le cas des espaces topologiques

Soit $X$ un espace topologique muni d'une relation d'équivalence $R$ et $s:X\to X/R$ la surjection canonique. On munit $X/R$ de la topologie quotient. Soit $f:X\to Y$ une application continue.

Article connexe

Magma quotient