Somme (catégorie)

Somme (catégorie)
Page d'aide sur l'homonymie 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

Définition

somme

Soit C une catégorie et (X_i)_{i\in I} une famille d'objets de C. On cherche un objet X ainsi qu'une famille de morphismes \varphi_i : X_i\to X tel que pour tout objet Y de C et pour toute famille de morphismes f_i : X_i\to Y, il existe un unique morphisme f:X\to Y tel que pour tout indice i, on a f\circ \varphi_i =f_i.

Si un tel objet X existe, on l'appelle somme des (X_i)_{i\in I}.

Lorsqu'elle existe, la somme des (X_i)_{i\in I} représente le foncteur qui à un objet Y de C associe le produit cartésien \prod_{i\in I} Hom(X_i,Y).

Produit et somme

La somme est la propriété duale du produit : la somme correspond au produit de la catégorie opposée. On dit parfois coproduit plutôt que somme.

On utilise parfois les notions de catégorie distributive et de catégorie linéaire pour désigner deux types de catégories fréquentes, mais mutuellement exclusives (sauf cas trivaux, comme des catégories à un seul objet):

  • une catégorie est distributive lorsque le produit est distributif sur le coproduit. Ce dernier est alors souvent appelé somme, par analogie avec l'arithmétique élémentaire ;
  • mais lorsque produit et coproduit d'une famille finie d'objets sont isomorphes, alors la loi de distributivité n'est plus respectée : la catégorie est linéaire, et il est préférable d'utiliser le terme générique de coproduit plutôt que de somme.

Par exemple, la catégorie des ensembles finis est distributive, car le produit cartésien est distributif sur l'union disjointe. En revanche, la catégorie des espaces vectoriels est linéaire, car la somme directe d'une nombre fini d'espaces vectoriels est isomorphe à leur produit. Cette propriété ne s'étend pas aux sommes et produits infinis, par exemple la somme \textstyle\bigoplus_{i\in\N}K d'un nombre infini de copies du corps K est formée des suites infinies ultimement nulles de scalaires (et donc isomorphe à l'espace vectoriel K[X] des polynômes), pendant que le le produit \textstyle\prod_{i\in\N}K contient toutes les suites infinies de scalaires (isomorphe à l'espace vectoriel K[[X]] des séries formelles).

Exemples

  • Dans la catégorie des ensembles, la somme est la réunion disjointe. La réunion disjointe de la famille (X_i)_{i\in I} est l'ensemble des couples (i,x) où x\in X_i. avec \varphi_i : x \mapsto (i,x).
  • Dans la catégorie des espaces topologiques, la somme topologique (en) existe et commute avec le foncteur d'oubli. L'ensemble ci-dessus peut être muni d'une topologie adéquate.
  • Dans la catégorie des groupes, la somme s'appelle produit libre. Elle ne commute pas avec le foncteur d'oubli.
  • Dans la catégorie des A-modules pour un anneau commutatif A, la somme est la somme directe externe. Elle ne commute pas avec le foncteur d'oubli.
  • Pour un anneau commutatif A, la somme de deux A-algèbres est leur produit tensoriel.
  • On peut raffiner la notion de somme avec la somme amalgamée.

Références

Régine et Adrien Douady, Algèbre et théories galoisiennes, Cassini, Nouvelle Bibliothèque de mathématiques, 2005.


Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Somme directe — Pour les articles homonymes, voir Somme. En mathématiques, et plus précisément en algèbre, le terme de somme directe désigne des ensembles munis de certaines structures, souvent construits à partir du produit cartésien d autres ensembles du même… …   Wikipédia en Français

  • Somme (departement) — Somme (département) Pour les articles homonymes, voir Somme. Somme …   Wikipédia en Français

  • Somme de controle — Somme de contrôle La somme de contrôle (en anglais checksum) est un concept de la théorie des codes utilisé pour les codes correcteurs, elle correspond à un cas particulier de contrôle par redondance. Elle est largement utilisée en informatique… …   Wikipédia en Français

  • Somme de minkowski — En géométrie, la somme de Minkowski est une opération sur les parties d un espace euclidien. À deux parties A et B elle associe leur ensemble somme, formé des sommes d éléments de A et de B : La somme de deux compacts est compact, il est… …   Wikipédia en Français

  • Somme (arithmetique) — Somme (arithmétique) Pour les articles homonymes, voir Somme. En mathématiques, la somme de deux nombres est le résultat de leur addition. Elle se calcule de différentes manières selon le système de numération employé. Du fait de la commutativité …   Wikipédia en Français

  • Somme totale — Somme (arithmétique) Pour les articles homonymes, voir Somme. En mathématiques, la somme de deux nombres est le résultat de leur addition. Elle se calcule de différentes manières selon le système de numération employé. Du fait de la commutativité …   Wikipédia en Français

  • Somme-leuze — Pour les articles homonymes, voir Somme et Leuze.   Somme Leuze …   Wikipédia en Français

  • Somme-suippe — Pays   …   Wikipédia en Français

  • Somme-tourbe — Pays   …   Wikipédia en Français

  • Somme-vesle — voie romaine au hameau de la Grande Romanie Administration Pays France Région Champagne Ardenne Département …   Wikipédia en Français

Share the article and excerpts

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