Catégorie additive

Les catégories additives jouent un rôle essentiel en théorie des catégories. De très nombreuses catégories rencontrées en pratique sont en effet additives. Toute catégorie abélienne (telle que la catégorie des groupes abéliens, ou celle des modules à gauche sur un anneau, ou encore celle des faisceaux de modules sur un espace localement annelé) est additive. Néanmoins, dès qu'on munit d'une topologie des objets appartenant à une catégorie abélienne, et qu'on exige des morphismes qu'ils soient des applications continues, on obtient une catégorie qui n'est généralement plus abélienne, mais qui est souvent additive. Par exemple, la catégorie des espaces vectoriels sur le corps des réels ou des complexes et des applications linéaires est abélienne ; en revanche, la catégorie des espaces de Banach, celle des espaces de Fréchet, ou encore celle des espaces vectoriels topologiques sur le corps des réels ou des complexes et des applications linéaires continues, sont additives mais ne sont pas abéliennes. On notera que pour qu'une catégorie soit additive, il est nécessaire que chacun de ses objets soit muni d'une structure de groupe abélien ; ainsi par exemple, la catégorie des ensembles, celle des groupes ou celle des espaces topologiques, ne sont pas additives.

Objets remarquables dans une catégorie

modifier

Objets initial, final et nul

modifier

Dans une catégorie, un objet   est dit initial si pour tout objet   il existe un morphisme unique  . De manière duale, un objet   est dit final si pour tout objet   il existe un morphisme unique  . Un objet nul, ou « objet 0 », est un objet qui est à la fois initial et final. Un tel objet, quand il existe, est unique à un isomorphisme près. Par exemple, dans la catégorie des groupes abéliens, l'objet 0 est le groupe trivial. En revanche, dans la catégorie des ensembles, l'ensemble vide est un objet initial, chaque singleton est un objet final, mais il n'existe pas d'objet nul[1].

Sous-objet et objet quotient

modifier

Soit, dans une catégorie, un objet  . Un sous-objet de   est un couple   tel que   est un monomorphisme, appelé l'inclusion de   dans  . Un sous-objet de   n'est donc pas à proprement parler un sous-objet de  , sauf si  . Deux sous-objets   et   de   sont dits équivalents s'il existe un isomorphisme   tel que   ; ceci définit une relation d'équivalence[2]. Dans la catégorie des ensembles et des applications (resp. des groupes et des homomorphismes), la notion de sous-objet conduit à la notion habituelle de sous-ensemble (resp. de sous-groupe).

De manière duale, un objet quotient de   est un couple   tel que   est un épimorphisme, dit canonique, de   dans  . Deux objets quotients   et   sont dits équivalents s'il existe un isomorphisme   tel que  . Dans la catégorie des ensembles et des applications (resp. des groupes et des homomorphismes), la notion d'objet quotient conduit à la notion habituelle d'ensemble quotient (resp. de groupe quotient par un sous-groupe distingué).

Catégorie préadditive

modifier

Définition

modifier

Une catégorie préadditive (également appelée une Ab-catégorie[3]) est une catégorie   dans laquelle chaque ensemble   (où   et   sont des objets de  ) est un groupe abélien et pour laquelle la composition des morphismes est biadditive.

Soit   et   deux catégories préadditives. Un foncteur   est dit additif si son application-flèche   (où   désigne un morphisme de  ) est  -linéaire, c'est-à-dire si ses restrictions à chaque  , à valeurs dans   est un morphisme de groupes (abéliens).

Biproduit

modifier

Soit   une famille finie d'objets d'une catégorie préadditive  , soit   un objet de  , et soit   morphismes  ,   tels que  . Les conditions suivantes sont équivalentes[4]:

  1.  
  2.   est la somme (également appelée le coproduit) des  , ce qu'on notera   avec pour injections les  
  3.   est le produit des  , ce qu'on notera  

Quand les conditions équivalentes ci-dessus sont satisfaites,   avec les   morphismes  ,   est appelé un biproduit des  , ce qu'on notera  . Ce biproduit, quand il existe, est unique à un isomorphisme près.

Noyau et conoyau

modifier

Soit, dans une catégorie préadditive, un morphisme  . Un noyau de   est un morphisme   tel que   et tel que pour tout morphisme   tel que   il existe un morphisme unique   tel que  . Le couple   est un sous-objet de  , noté  .   désigne aussi le morphisme   ou, par abus de langage, l'objet  . Quand ce noyau existe, il est unique à une équivalence près. C'est le plus grand sous-objet de   annihilé par  

De manière duale, un conoyau de   est un morphisme   tel que   et pour tout morphisme   tel que   il existe un morphisme unique   tel que  . Le couple   est un objet quotient de   noté  ;   désigne aussi le morphisme   ou, par abus de langage, l'objet  . Quand ce conoyau existe, il est unique à une équivalence près. C'est le plus grand objet quotient de   qui annihile  .

Catégories additives et catégories préabéliennes

modifier

Définitions

modifier

Une catégorie préadditive est dit additive s'il existe un objet 0 et si chaque couple d'objets admet un biproduit.

Une catégorie additive est dite préabélienne si tout morphisme   de cette catégorie admet un noyau et un conoyau.

Image et coïmage

modifier

Dans une catégorie préabélienne, on définit l'image (resp. la coïmage) d'un morphisme   comme étant le sous-objet de   (resp. l'objet quotient de  ) défini comme suit :

    (resp.  ).

Considérons le diagramme ci-dessous :

 

Puisque   est le plus grand quotient de   qui annihile  , il existe un morphisme   tel que  . Donc,  . Puisque   est un épimorphisme,  . Et puisque   est le plus grand sous-objet de   annihilé par  , il existe un morphisme   unique rendant le diagramme commutatif.

Exemples

modifier

La catégorie EVT des espaces vectoriels topologiques sur un corps topologique K et des applications linéaires continues est préabélienne. Le noyau, le conoyau, l'image et la coïmage d'un morphisme de EVT sont les objets algébriques habituels. Soit   un morphisme, i.e. une application linéaire continue. L'application linéaire induite   est bijective, et est également continue par définition de la topologie induite. C'est donc un morphisme, et  .

La catégorie Ban des espaces de Banach sur le corps des réels et des complexes et des applications linéaires continues est préabélienne. Soit   un morphisme; alors   et   sont les objets algébriques habituels, contrairement à   et  . Soit   l'application linéaire induite. Elle bijective, et est également continue d'après la définition de la topologie induite. Soit   l'application linéaire continue qui coïncide avec   sur  . Elle est injective, et est surjective si, et seulement si   est fermé dans  .

Ceci reste valide dans la catégorie Fré des espaces de Fréchet et des applications linéaires continues, ou plus généralement dans une sous-catégorie pleine de la catégorie des espaces vectoriels topologiques séparés sur un corps topologique, et des applications linéaires continues (les espaces de Fréchet et de Banach ont toutefois pour spécificité que, d'après le théorème de Banach sur l'application inverse, un morphisme bijectif est un isomorphisme : cette propriété n'est pas partagée par les espaces vectoriels topologiques quelconques).

En revanche, la catégorie des espaces localement convexes séparés complets n'est pas préabélienne, car le quotient d'un espace complet par un sous-espace fermé n'est pas complet en général.

La notion de catégorie préabélienne a été utilisée en théorie des systèmes[5].

Morphisme strict

modifier

Dans une catégorie préabélienne, un morphisme   est dit strict si   est un isomorphisme. Par exemple :

  • Dans la catégorie EVT, un morphisme   est strict si et seulement si l'application   est ouverte de   dans  .
  • Il en va de même dans les catégories Ban et Fré, et en conséquence du théorème de Banach-Schauder cela revient à dire que   est fermé dans  .

Catégories quasi abéliennes

modifier

Carrés cartésiens et cocartésiens

modifier

Dans une catégorie  , un carré cartésien est un carré commutatif

 

tel que pour tout objet   de   et tous morphismes  ,  , il existe un unique morphisme   rendant commutatif le diagramme suivant :

 

i.e.  ,  . Un carré cocartésien s'obtient par dualité, c'est-à-dire en inversant le sens des flèches.

Notion de catégorie quasi abélienne ; propriétés

modifier

Soit   une catégorie préabélienne. Elle est dite quasi abélienne si les conditions suivantes sont satisfaites :

  1. Dans un carré cartésien tel que ci-dessus, si f est un épimorphisme strict, alors   est un épimorphisme strict.
  2. La condition duale est satisfaite (en inversant le sens des flèches, et en remplaçant "épimorphisme" par "monomorphisme").

Dans une catégorie quasi abélienne, la composée de deux épimorphismes stricts est un épimorphisme strict. On peut définir dans une catégorie quasi abélienne la notion de "suite strictement exacte" de la manière suivante: une suite

 

est strictement exacte si   et le morphisme canonique   est un isomorphisme.

Fabienne Prosmans et Jean-Pierre Schneiders ont montré que les catégories quasi abéliennes admettent des catégories dérivées, ce qui en fait un cadre approprié à l'algèbre homologique[6],[7] (depuis la contribution fondamentale d'Alexandre Grothendieck, on savait que c'était le cas des catégories abéliennes[8]).

Exemples

modifier

La catégorie ELC des espaces localement convexes, la catégorie ELCS des espaces localement convexes séparés, les catégories Ban et Fré, sont quasi abéliennes. De plus, Ban a suffisamment d'objets injectifs et d'objets projectifs, tandis que Fré a suffisamment d'objets injectifs.

Catégories abéliennes

modifier

Une catégorie préabélienne est abélienne si tous les morphismes de cette catégorie sont stricts. Une catégorie abélienne est quasi abélienne.

Notes et références

modifier
  1. Cohn 2003, §2.1, exerc. 1, p. 40.
  2. Nous suivons ici la présentation de Cohn 2003, §2.1. On peut aussi définir un sous-objet de   comme étant une classe d'équivalence de monomorphismes ayant pour but   suivant, par exemple, Mac Lane 1998, §V.7
  3. Mac Lane 1998, Chap. VIII
  4. Cohn 2003, Thm. 2.1.1
  5. Bourlès et Oberst 2009
  6. Prosmans 2000
  7. Schneiders 1999
  8. Grothendieck 1957

Bibliographie

modifier