Propriété universelle — Wikipédia
En mathématiques, et plus précisément en théorie des catégories, une propriété universelle est la propriété des objets qui sont la solution d'un problème universel posé par un foncteur. De très nombreux objets classiques des mathématiques, comme la notion de produit cartésien, de groupe quotient, ou de compactifié, peuvent être définis comme des solutions de problèmes universels.
Définition fonctorielle d'une propriété universelle
[modifier | modifier le code]Soit F un foncteur d'une catégorie dans la catégorie des ensembles ; un couple (A, θ) où A est un objet de et est « solution du problème universel posé par F » si la propriété suivante, dite universelle, est vérifiée :
Pour tout objet X de , pour tout élément f de , il existe un unique morphisme g : A → X tel que :
- .
Le foncteur F est le foncteur associé à la propriété universelle.
Lorsqu'il existe une solution (A, θ) au problème universel posé par F, la propriété universelle établit, pour tout objet X, que est une bijection entre l'ensemble Hom(A,X) des morphismes de A vers X, et F(X). est un isomorphisme naturel entre le foncteur représenté par A et le foncteur F. La relation entre l'élément θ de F(A) et cet isomorphisme naturel n'est autre que celle qui est donnée par le lemme de Yoneda.
Unicité
[modifier | modifier le code]La solution d'un problème universel, lorsqu'elle existe, est unique à isomorphisme près (et cet isomorphisme est alors nécessairement unique).
Soit en effet (A, θ) la solution du problème posé par le foncteur F. Si on prend pour (X, f) (A, θ) lui-même, il existe un unique morphisme g : A → A tel que F(g)(θ) = θ. Comme g = idA vérifie cette propriété, l'unicité de la solution prouve que, pour tout morphisme g : A → A, F(g)(θ) = θ implique g = idA.
Soit maintenant une autre solution (B, φ) du problème posé par F. (A, θ) étant solution, en prenant (X, f) = (B, φ), il existe un morphisme g : A → B tel que F(g)(θ) = φ. Mais (B, φ) étant aussi solution, en prenant (X, f) = (A, θ), il existe un morphisme h : B → A tel que F(h)(φ) = θ. On a donc F(hg)(θ) = θ et donc hg = idA. De même, F(gh)(φ) = φ donc gh = idB. Donc g et h sont des isomorphismes ; appliquant le même raisonnement à un autre isomorphisme g’, on aura hg = hg’, donc g = g’.
La propriété d’unicité est une contrainte assez forte sur l’existence d’une solution : le problème universel d’extension d’un corps K à un corps algébriquement clos n’a pas de solution en général, même en se restreignant aux extensions algébriques, parce qu’il existe des automorphismes non triviaux de la clôture algébrique de K (comme la conjugaison des complexes).
Propriété universelle des structures quotients
[modifier | modifier le code]Soit la catégorie des ensembles. Soit E un ensemble muni d'une relation d'équivalence ≡. Soit F le foncteur qui, à un ensemble X de associe , ensemble des applications de E dans X compatibles avec la relation d'équivalence de E. Pour toute application , posons F(h) l'application de F(X) dans F(Y) définie par : .
Une solution au problème universel posé par F consiste en un couple tel que, pour tout ensemble X et toute application f élément de F(X) (autrement dit toute application de E dans X compatible avec la relation d'équivalence de E), il existe une unique application de dans X telle que . On reconnaît la factorisation canonique d'une application f dans l'ensemble quotient . Pour toute classe d'équivalence , est par définition égal à , où x est un représentant de , la valeur de ne dépendant pas du représentant choisi en raison de la compatibilité de f avec la relation d'équivalence sur E.
La même démarche s'applique aux structures quotients telles que les magmas quotients, les groupes quotients, les anneaux quotients, les modules quotients, les espaces vectoriels quotients, etc.
Groupes quotients
[modifier | modifier le code]On applique la démarche précédente, mais dans la catégorie des groupes. L'ensemble E est alors un groupe G. On souhaite alors que l'ensemble quotient, solution dans la catégorie des ensembles, soit un groupe, et que la projection canonique soit un morphisme de groupes. C'est le cas si et seulement si la relation d'équivalence ≡ est compatible avec la loi du groupe G. Dans ce cas, la classe de l'élément neutre forme un sous-groupe normal H de G et on a x ≡ y si et seulement si xH = yH. Un morphisme f de G dans un groupe X est compatible avec la relation ≡ si et seulement si H est inclus dans le noyau ker(f).
La propriété universelle relative au quotient s'exprimera alors comme suit. Pour tout groupe X et tout morphisme tel que , il existe un unique morphisme de groupes tel que avec la surjection canonique. On a alors le diagramme commutatif :
Modules quotients
[modifier | modifier le code]On applique la démarche précédente dans la catégorie des modules sur un anneau A. L'ensemble E est alors un module M. La relation d'équivalence est compatible avec les lois du module si et seulement si la classe de l'élément nul de M est un sous-module N de M. Un morphisme f de M dans un module X est compatible avec la relation ≡ si et seulement si N est inclus dans le noyau ker(f).
La propriété universelle relative au quotient s'exprimera alors comme suit. Pour tout module X et tout morphisme tel que , il existe un unique morphisme de modules tel que avec la surjection canonique. On a alors le diagramme commutatif :
Anneaux quotients
[modifier | modifier le code]On applique la démarche précédente dans la catégorie des anneaux. L'ensemble E est alors un anneau A. La relation d'équivalence est compatible avec les lois de l'anneau si et seulement si la classe de l'élément nul de A est un idéal bilatère I de A. Un morphisme f de A dans un anneau X est compatible avec la relation ≡ si et seulement si I est inclus dans le noyau ker(f).
La propriété universelle relative au quotient s'exprimera alors comme suit. Pour tout anneau X et tout morphisme tel que , il existe un unique morphisme de modules tel que avec la surjection canonique. On a alors le diagramme commutatif :
Topologie quotient
[modifier | modifier le code]On applique la démarche précédente dans la catégorie des espaces topologiques. L'ensemble E est alors un espace topologique muni d'une relation d'équivalence. Les morphismes dans cette catégorie sont les fonctions continues. On demande qu'ils soient compatibles avec la relation d'équivalence définie sur E.
La propriété universelle relative au quotient s'exprimera alors comme suit. Pour tout espace topologique X et toute application continue compatible avec la relation d'équivalence sur E, il existe une unique application continue telle que avec la surjection canonique. On a alors le diagramme commutatif :
La solution à ce problème consiste à munir l'espace quotient de la topologie quotient.
Propriété universelle de la somme et du produit
[modifier | modifier le code]Somme
[modifier | modifier le code]Soit une catégorie et une famille d'objets dans cette catégorie. On définit le foncteur F qui, à un objet X de associe , constituée de la famille des morphismes de vers X. Pour tout morphisme entre objets de , F(h) est le morphisme de F(X) vers F(Y) qui, à associe .
Une solution au problème universel posé par F est la donnée d'un couple , où A est un objet de et pour tout i, est un morphisme de vers A, tel que, pour tout objet X de et toute famille de morphismes des vers X, il existe un unique morphisme g de A vers X tel que, pour tout i, . L'objet A, lorsqu'il existe, s'appelle la somme (au sens des catégories) des objets , généralement notée .
On peut définir ainsi la réunion disjointe d'ensembles, le produit libre de groupes, la somme directe de modules, la somme directe d'espaces vectoriels, etc.
Limite inductive
[modifier | modifier le code]Supposons de plus que I soit un ensemble filtrant et que les soient munis de morphismes , tels que :
- ;
- .
Pour tout X de , on prend maintenant .
La solution au problème universel posé par F s'appelle la limite inductive des .
Somme amalgamée
[modifier | modifier le code]Soit A, B et C trois objets, et deux morphismes et . Si on fait abstraction de C, on peut définir la somme de A et de B (si elle existe). Une contrainte supplémentaire peut être donnée en exigeant une commutativité avec les morphismes f et g. Pour tout objet X, posons
La solution au problème universel posé par le foncteur F s'appelle la somme amalgamée de A et B le long de C.
Produit
[modifier | modifier le code]Soit une catégorie et une famille d'objets dans cette catégorie. On définit le foncteur F contravariant qui, à un objet X de associe , constituée de la famille des morphismes de X vers . Pour tout morphisme entre objets de , F(h) est le morphisme de F(X) vers F(Y) qui, à associe . Le foncteur est contravariant dans le sens où la flèche h est dans le sens contraire de la flèche F(h).
Une solution au problème universel posé par F est la donnée d'un couple , où A est un objet de et pour tout i, est un morphisme de A vers , tel que, pour tout objet X de et toute famille de morphismes de X vers les , il existe un unique morphisme g de X vers A (on inverse le sens en raison de la contravariance du foncteur) tel que, pour tout i, . L'objet A, lorsqu'il existe, s'appelle le produit (au sens des catégories) des objets , généralement notée . Cette notion est duale de celle de la somme.
On peut définir ainsi le produit cartésien d'ensembles, le produit direct de groupes, de modules, d'espaces vectoriels, etc.
Limite projective
[modifier | modifier le code]Supposons de plus que I soit un ensemble filtrant et que les soient munis de morphismes , tels que :
- ;
- .
Pour tout X de , on prend maintenant .
La solution au problème universel posé par F s'appelle la limite projective des . Cette notion est duale de la limite inductive.
Produit fibré
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/65/Universal_property_of_pullback.svg/200px-Universal_property_of_pullback.svg.png)
Soit A, B et E trois objets, et deux morphismes et . Si on fait abstraction de B, on peut définir le produit de A par E (s'il existe). Une contrainte supplémentaire peut être donnée en exigeant une commutativité avec les morphismes f et p. Pour tout objet X, posons
La solution au problème universel posé par le foncteur contravariant F s'appelle le produit fibré de A par E au-dessus de B. Cette notion est duale de la notion de somme amalgamée.
Propriété universelle des familles libres
[modifier | modifier le code]Soit I un ensemble donné, et une catégorie dont les objets sont constitués d'ensembles. Soit F le foncteur défini sur la catégorie , qui, à X associe , l'ensemble des familles d'éléments de X indicées par I. Si h est un morphisme de X vers Y, F(h) est l'application de F(X) vers F(Y) qui, à une famille de X associe la famille de Y.
Une solution au problème universel posé par F est la donnée d'un couple tel que, pour tout objet X et toute famille de X, il existe un unique morphisme g de E vers X telle que, pour tout i, . Autrement dit, g est une unique extension à E tout entier à partir des valeurs qu'elle prend sur les .
Dans le cas où est la catégorie des ensembles, on prend des distincts, et pour E l'ensemble des .
Module libre
[modifier | modifier le code]Dans le cas où est la catégorie des modules sur un anneau A donné, la solution au problème universel est le module libre de base les .
Groupe libre
[modifier | modifier le code]Dans le cas où est la catégorie des groupes, la solution au problème universel est le groupe libre engendré par les .
Algèbre de Boole libre
[modifier | modifier le code]Dans le cas où est la catégorie des algèbres de Boole, la solution au problème universel est l'algèbre de Boole libre engendrée par les . Cette algèbre étant considérée comme un anneau, elle est construite de la façon suivante. On forme d'abord les produits finis en nombre quelconque des (y compris le produit vide pour obtenir l'élément 1), puis on prend les sommes finies en nombre quelconque de ces produits.
Polynômes
[modifier | modifier le code]Dans le cas où est la catégorie des algèbres commutatives sur un anneau A, la solution au problème universel est le polynôme en plusieurs indéterminées à coefficients dans A, d'indéterminées les . Ces dernières sont dans ce cas usuellement notées .
Propriété universelle de l'objet initial et final
[modifier | modifier le code]Si on prend pour F le foncteur constant, envoyant tout objet X de sur un même singleton {θ}, et toutes les flèches de sur l'identité de ce singleton, alors la résolution du problème universel associé à F se limite à déterminer un objet A vérifiant : pour tout objet X, il existe un unique morphisme g de A vers X. Un tel objet s'appelle objet initial de la catégorie. Si on raisonne sur la catégorie opposée, alors la solution du problème universel est l'objet final de la catégorie.
Définition d'une propriété universelle à partir d'un objet initial
[modifier | modifier le code]Si un objet initial est solution d'un problème universel associé à un foncteur constant, réciproquement, toute solution d'un problème universel peut être vue comme objet initial d'une catégorie bien choisie. En effet, si est une catégorie et F un foncteur, on peut considérer la catégorie des couples (X,f) formés d'un objet X de la catégorie et d'un élément f de F(X). Le plus souvent, on peut omettre la première composante X, cet objet apparaissant dans la définition de f. Les objets de la catégorie se réduisent alors aux éléments f. Un morphisme h de (X,f) vers (Y,g) dans consiste en un morphisme h de X vers Y dans vérifiant de plus F(h)(f) = g. Une solution fonctorielle du problème universel initial posé par F n'est autre qu'un objet initial de la catégorie .
Il suffit donc de donner cette dernière catégorie pour caractériser, de façon unique à isomorphisme près, la solution au problème universel.
Exemples
[modifier | modifier le code]Propriété universelle des anneaux de fractions
[modifier | modifier le code]Soient A un anneau commutatif et S une partie multiplicative de A, contenant 1. On considère la catégorie dont les objets sont les morphismes d'anneaux tels que, pour tout élément s de S, f(s) est inversible dans X. Un morphisme de cette catégorie, de vers , consiste en un morphisme d'anneaux tel que .
Un objet initial de cette catégorie consiste en un anneau commutatif et un morphisme d'anneau , qui vérifient la propriété universelle suivante : pour tout anneau commutatif X et tout morphisme envoyant les éléments de s sur des éléments inversibles de X, il existe un unique morphisme d'anneau tel que .
La solution à ce problème universel existe et se nomme localisation de A relativement à S. Pour la construire, on définit la relation d'équivalence ∼ sur A × S par . Les éléments de l'ensemble quotient se notent ou et l'on munit cet ensemble quotient d'une structure d'anneau naturelle reproduisant le calcul fractionnaire usuel, et d'un morphisme d'anneaux canonique
On donne ci-dessous la démonstration que la propriété universelle est bien vérifiée.
La démarche précédente, appliquée à un anneau intègre et à la partie multiplicative de ses éléments non nuls, conduit à la définition de son corps des fractions.
Propriété universelle de la complétion d'un espace métrique
[modifier | modifier le code]Soit M un espace métrique. On considère la catégorie dont les objets sont les isométries de M dans un espace complet X. Un morphisme de cette catégorie, de vers , consiste en une isométrie tel que .
Un objet initial de cette catégorie consiste en un espace complet et une isométrie , qui vérifient la propriété universelle suivante : pour tout espace complet N et toute isométrie , il existe une unique isométrie tel que . j, étant une isométrie, est injective et peut s'interpréter comme une injection canonique de M dans . g est alors une extension de f à tout entier.
La solution à ce problème universel existe et se nomme le complété de l'espace métrique M. Ce complété est aussi objet initial dans la catégorie dont les objets sont les fonctions uniformément continues de M dans un espace complet X. Cela signifie que le complété d'un espace métrique est unique à isomorphisme près, cet isomorphisme pouvant être des bijections uniformément continues ainsi que leur réciproque. Cela conduit à la notion de distances uniformément équivalentes, d'espace uniforme, et d'espace polonais.