Foncteur représentable

Foncteur représentable

On rencontre en mathématiques de nombreuses propriétés universelles. Le formalisme des catégories permet d'exprimer ces propriétés de façon très simple.

Sommaire

Définition

Soit C une catégorie et F un foncteur contravariant, respectivement covariant, de C dans Ens (catégorie des ensembles). On dit que F est représentable si et seulement s'il existe un objet X de C tel que F soit isomorphe au foncteur \hat{X}=Hom(., X) : Y \mapsto Hom(Y,X), respectivement au foncteur Hom(X,.) : Y\mapsto Hom(X,Y).

Lemme de Yoneda

Les morphismes de \hat{X} dans F correspondent bijectivement aux éléments de F(X).

Ainsi, on dit que le foncteur F est représenté par (X,ζ) (où ζ est un élément de F(X)) lorsque \hat{\zeta} : Hom(Z,X)\mapsto F(Z) est un isomorphisme de foncteur.

Foncteurs covariants représentables

  • Somme

Soit C une catégorie, A et B deux objets de C. On considère le foncteur de C dans Ens qui à X associe Hom(A,X)\times Hom(B,X). Représenter ce foncteur correspond à la propriété universelle de la somme.

Soit I un ensemble et A un anneau commutatif. Le foncteur de la catégorie des A-module dans Ens (respectivement catégorie des groupes, des groupes commutatifs, des monoîdes, des A-algèbre) qui au A-module (respectivement toutes la ribambelle) associe FI est représentable. On obtient le A-module libre A(I), respectivement, le groupe libre de base I, le groupe commutatif A(I), le monoïde libre des mots basé sur l'alphabet I, l'algèbre des polynômes dont I est l'ensemble des indéterminéees.

  • Complété

Soit E un espace métrique. Le foncteur de la catégorie des espace métriques complets dans Ens qui à un espace métrique complet X associe Hom(E,X) est représenté par le complété de E.

  • Compactifié de Stone-Čech

Soit E un espace topologique. Le foncteur de la catégorie des espaces topologiques compacts dans Ens qui à un espace compact X associe Hom(E,X) est représenté par le compactifié de Stone-Čech de E.

Soit A un anneau commutatif unitaire et E et F deux A-modules. Le produit tensoriel de E et F représente le foncteur qui à un A-module G associe l'ensemble des applications bilinéaires de E\times F dans G.

Foncteurs contravariants représentables

Soit C une catégorie, A et B deux objets de C. On considère le foncteur de C dans Ens qui à X associe Hom(X,A)\times Hom(X,B). Représenter ce foncteur correspond à la propriété universelle du produit.

Soit X un espace topologique et Y une partie de X. La topologie induite par X sur Y muni de l'injection canonique représente le foncteur de Top dans Ens qui à A associe l'ensemble des apllications continues de A dans X dont l'image est incluse dans Y.

Soit X un espace topologique localement compact et Y un espace topologique. Le foncteur T\mapsto Hom_{Top}(T\times X,Y) est représenté par l'espace des fonctions continues de X dans Y muni de la topologie compacte-ouverte.

Référence

Adrien Douady et Régine Douady, Algèbre et théories galoisiennes [détail des éditions]


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Foncteur représentable de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • CATÉGORIES ET FONCTEURS — Introduite en 1945 par Eilenberg et MacLane pour rendre compte de propriétés très générales des structures mathématiques, la théorie des catégories a quelque peu pâti, à ses débuts, de cette généralité qui lui valut auprès des «mathématiciens… …   Encyclopédie Universelle

  • Somme (catégorie) — Pour les articles homonymes, voir Somme. Dans une catégorie, la somme peut s exprimer par une propriété universelle ou de manière équivalente comme foncteur représentable. Sommaire 1 Définition 2 …   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

  • Produit (catégorie) — Dans une catégorie, le produit peut s exprimer par une propriété universelle ou de manière équivalente comme foncteur représentable. Définition produit Soit C une catégorie et une famille d objets de C. On cherche un objet X ainsi qu une famille… …   Wikipédia en Français

  • GROUPES (mathématiques) — LES IDÉES de symétrie et de régularité se retrouvent dans toutes les civilisations, bien avant que ne fût conçue la notion de groupe: par exemple, presque tous les groupes discrets de déplacements du plan (il y en a dix sept types non isomorphes) …   Encyclopédie Universelle

  • Algèbre universelle — Pour les articles homonymes, voir Algèbre (homonymie). L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces …   Wikipédia en Français

  • Groupe de Picard — En géométrie algébrique, le groupe de Picard est un groupe associé à une variété algébrique ou plus généralement à un schéma. Il est en général isomorphe au groupe des diviseurs de Cartier. Si K est un corps de nombres, le groupe de Picard de l… …   Wikipédia en Français

  • Courbe algébrique — En mathématiques, et plus précisément en géométrie algébrique, une courbe algébrique est une variété algébrique (ou un schéma de type fini) sur un corps, dont les composantes irréductibles sont de dimension 1. Cette définition est la… …   Wikipédia en Français

  • Variété jacobienne — En géométrie algébrique, la jacobienne d une courbe C est une variété algébrique (en fait une variété abélienne) qui paramètrise les diviseurs de degré 0 sur C. C est un objet fondamental pour l étude des courbes, et c est aussi un exemple… …   Wikipédia en Français

  • Variété abélienne — En mathématiques, et en particulier, en géométrie algébrique et en analyse complexe, une variété abélienne A est une variété algébrique projective qui est un groupe algébrique. La condition de « projectivité » est l équivalent de… …   Wikipédia en Français

Share the article and excerpts

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