Théorème de factorisation (de morphismes)

Théorème de factorisation (de morphismes)

En mathématiques, le théorème de factorisation est un principe général qui permet de construire un morphisme d'un espace quotient X / R dans un autre espace Y à partir d'un morphisme de X vers Y.

Sommaire

Le cas des ensembles

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

Théorème —  Si pour tout couple xRx' dans X, on a f(x) = f(x'), alors il existe une unique application g : X/R\to Y telle que f = gs. De plus,

  • g est surjective si f est surjective ;
  • g est injective si on a xRx' équivalent à f(x) = f(x') ;
  • g est bijective si f est surjective et si x R x'\Longleftrightarrow f(x)=f(x').
Démonstration

Pour tout élément z=s(x)\in X/R, on pose g(z) = f(x). Si z = s(x') pour un élément x' équivalent à x, on a f(x) = f(x') par hypothèse. Donc g est bien définie.

Si f est surjective, l'égalité f = gs implique que g est aussi surjective.

Enfin supposons que xRx' est équivalent à f(x) = f(x'). Soient z1 = s(x1),z2 = s(x2) tels que g(z1) = g(z2). Alors f(x1) = f(x2), donc x1Rx2 et z1 = s(x1) = s(x2) = z2. Ce qui veut dire que g est injective. La dernière propriété résulte des propriétés précédentes.

Les conditions du théorème sont optimales dans le sens suivant :

  • Si une factorisation de f: X\to Y existe à travers X\to X/R, alors f(x) = f(x') dès que xRx';
  • Supposons que la factorisation existe. Alors f est surjective si g l'est, et si g est injective, alors xRx' équivaut à f(x) = f(x').

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

Le cas des espaces topologiques

Soient 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.

Théorème —  Si pour tout couple xRx' dans X, on a f(x) = f(x'), alors il existe une unique application continue g : X/R\to Y telle que f = gs. De plus,

  • g est surjective si f est surjective ;
  • g est injective si on a xRx' équivalent à f(x) = f(x') ;
  • g est ouverte (resp. fermée) si f est ouverte (resp. fermée) ;
  • g est un homéomorphisme si f est surjective et ouverte ou fermée, et si x R x' \Longleftrightarrow f(x)=f(x').
Démonstration

La continuité de g résulte immédiatement des propriétés générales de la topologie quotient. Pour toute partie F de X / R, on a g(F) = f(s − 1(F)), cela implique la propriété sur les applications ouvertes ou fermées.

Le cas des groupes

Sur un groupe G, on considère la relation d'équivalence définie par un sous-groupe distingué H de G : xRx' si x\in x'H. Alors s : G\to G/H=G/R est un morphisme de groupes et le théorème de factorisation s'énonce

Théorème —  Soit f: G\to K un morphisme de groupes. Si H est contenu dans le noyau de f, alors il existe un unique morphisme de groupes g : G/H\to K tel que f = gs. De plus,

  • g est surjectif si f est surjectif ;
  • g est injectif si on a H = Kerf ;
  • g est un isomorphisme si f est surjectif et H = Kerf.
Démonstration

L'existence de g est assurée par le théorème général plus haut. Le fait que g soit un morphisme de groupes vient du fait que f,s sont des morphismes de groupe.

Si H = Kerf, alors f(x1) = f(x2) si et seulement si x_1x_2^{-1}\in {\rm Ker}f=H. Cette dernière condition équivaut à x1Rx2. D'après le théorème général, g est injective.

Voir aussi l'article Théorèmes d'isomorphisme.

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: xRx' si x-x'\in H. Alors s : E\to E/H=E/R est une application linéaire.

Théorème —  Soit f: E\to F une application linéaire. Si H est contenu dans le noyau de f, alors il existe une unique application linéaire g : E/H\to F telle que f = gs. De plus,

  • g est surjective si f est surjective ;
  • g est injective si on a H = Kerf ;
  • g est un isomorphisme si f est surjectif et H = Kerf.

Le cas des anneaux

On considère un anneau A et la relation d'équivalence définie par un idéal bilatère I de A: xRx' si x-x'\in I. Alors s : A\to A/I=A/R est un morphisme d'anneaux.

Théorème —  Soit f: A\to B un morphisme d'anneaux. Si I est contenu dans le noyau de f, alors il existe un unique morphisme d'anneaux g : A/I\to B tel que f = gs. De plus,

  • g est surjectif si f est surjectif ;
  • g est injectif si on a I = Kerf ;
  • g est un isomorphisme si f est surjectif et I = Kerf.



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de factorisation (de morphismes) de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Théorème de Baire-Brenef — Valeur propre, vecteur propre et espace propre Fig. 1. Cette application linéaire déforme la statue de David. Les vecteurs bleus ont pour images les vecteurs verts. Ils gardent la même direction, ce sont des vecteurs propres. La valeur propre… …   Wikipédia en Français

  • Theoreme d'Abel (algebre) — Théorème d Abel (algèbre) Pour les articles homonymes, voir Théorème d Abel. Niels Henrik Abel (1802 …   Wikipédia en Français

  • Théorème d'Abel-Ruffini — Théorème d Abel (algèbre) Pour les articles homonymes, voir Théorème d Abel. Niels Henrik Abel (1802 …   Wikipédia en Français

  • Théorème d'Abel (Algèbre) — Pour les articles homonymes, voir Théorème d Abel. Niels Henrik Abel (1802 …   Wikipédia en Français

  • Théorème d'abel (algèbre) — Pour les articles homonymes, voir Théorème d Abel. Niels Henrik Abel (1802 …   Wikipédia en Français

  • Théorème d'Abel (algèbre) — Pour les articles homonymes, voir Théorème d Abel. Niels Henrik Abel (1802 1829) présente la première démonstration rigoureuse et co …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Noyau (algèbre) — Pour les articles homonymes, voir noyau. En mathématiques et plus particulièrement en algèbre générale, le noyau d un morphisme mesure la non injectivité d un morphisme. Dans de nombreux cas, le noyau d un morphisme est un sous ensemble de l… …   Wikipédia en Français

  • Relation d'équivalence — En théorie des ensembles, la notion de relation d équivalence sur un ensemble permet de mettre en relation des éléments qui sont similaires par une certaine propriété. On pourra ainsi regrouper ces éléments par « paquets » d éléments… …   Wikipédia en Français

  • Analyse Fonctionnelle (Mathématiques) — Pour les articles homonymes, voir Analyse fonctionnelle. L analyse fonctionnelle est la branche des mathématiques et plus particulièrement de l analyse qui étudie les espaces de fonctions. Elle prend ses racines historiques dans l étude des… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”