Topos (mathématiques)

En mathématiques, un topos (au pluriel topos ou topoï[1]) est un type particulier de catégorie. La théorie des topoï est polyvalente et est utilisée dans des domaines aussi variés que la logique, la topologie ou la géométrie algébrique.

Introduction

modifier

Définition

modifier

Un topos peut être défini comme une catégorie pourvue :

D'autres définitions équivalentes sont données plus bas.

Exemples élémentaires

modifier

Classificateur de sous-objets

modifier

En théorie des catégories, un sous-objet   d'un objet   est définissable comme classe d'isomorphisme de monomorphismes   par rapport à la relation de factorisation,  .

Tout topos   est muni d'un classificateur de sous-objets, c'est-à-dire d'un objet   tel que tout sous-objet d'un objet quelconque   corresponde à un unique morphisme   et que le diagramme suivant ait la propriété de produit fibré (1 étant l'objet terminal, qui doit exister suivant la définition).

  •  
  •  
  •  
  •  

La catégorie des ensembles et fonctions possède le classificateur de sous-objets  , d'où la nomenclature : toute propriété d'objets d'un ensemble définit un sous-objet et en même temps une fonction  . Puisque tous les ensembles à deux éléments sont isomorphes à  , le morphisme   a la fonction d'indiquer lequel des éléments de   joue le rôle de « vrai » ou « élément de S ».

En effet, la théorie des topos peut servir de fondation pour l'interprétation d'un certain nombre de logiques[3].

Les topoï de Grothendieck en géométrie

modifier

Depuis l'apparition en mathématiques des préfaisceaux dans les années 1940, l'étude d'un espace passe souvent par celle des préfaisceaux sur cet espace. L'idée fut formulée par Alexandre Grothendieck lorsqu'il introduisit la notion de topos. Le principal atout de cette notion réside dans l'abondance de situations en mathématiques où l'on a une indéniable intuition topologique, mais où fait défaut tout espace topologique digne de ce nom. Le plus grand succès de cette idée programmatique est à ce jour l'introduction du topos étale d'un schéma.

Formulations équivalentes

modifier

Soit   une catégorie. Un théorème de Jean Giraud établit que les formulations suivantes sont équivalentes :

  • il existe une petite catégorie   et une inclusion   ↪ Presh( ) qui admette un adjoint à gauche préservant la limite finie ;
  •   est la catégorie des faisceaux sur un site de Grothendieck ;
  •   satisfait les axiomes de Giraud énumérés ci-dessous.

Une catégorie possédant ces propriétés est appelée « topos de Grothendieck ». Presh( ) dénote ici la catégorie des foncteurs contravariants de   vers la catégorie des ensembles ; un tel foncteur contravariant est souvent appelé préfaisceau (presheaf en anglais).

Axiomes de Giraud

modifier

Les axiomes de Giraud pour une catégorie   sont les suivants :

  •   a un petit ensemble de générateurs, et admet toutes les petites colimites. En outre, les colimites sont commutatives avec le produit fibré.
  • Les sommes dans   sont disjointes. En d'autres termes, le produit fibré de X et de Y sur leur somme est l'objet initial dans  .
  • Toutes les relations d'équivalence dans   sont effectives.

Le dernier axiome demande quelques explications. Si X est un objet de  , une relation d'équivalence R sur X est une application RX×X dans   telle que tous les applications Hom(Y,R)→Hom(Y,X)×Hom(Y,X) soient des relations d'équivalence entre ensembles. Puisque   a des colimites, on peut former le coégalisateur des deux applications RX ; appelons-le X/R. La relation d'équivalence est effective si l'application canonique

 

est un isomorphisme.

Exemples

modifier

Le théorème de Giraud donne déjà les faisceaux sur les sites comme liste complète d'exemples. On remarquera cependant que des sites non équivalents donnent souvent naissance à des topos équivalents. Comme indiqué en introduction, les faisceaux sur des espaces topologiques ordinaires ont été à l'origine des définitions de base et des résultats de la théorie des topoi.

La catégorie des ensembles est un cas spécial important : elle joue le rôle d'un point dans la théorie des topos. De fait, un ensemble peut être considéré comme un faisceau sur un espace topologique réduit à un point.

Plus d'exemples exotiques, et la raison d'être même de la théorie des topos, viennent de la géométrie algébrique. À un schéma et même à un champ (en), on peut associer un topos étale, un topos fppf (en), un topos de Nisnevich, etc.

Contre-exemples
modifier

La théorie des topos est en quelque sorte une généralisation de la topologie classique des ensembles de points. On serait donc en droit d'attendre d'anciens et de nouveaux exemples de comportements pathologiques. À titre d'exemple, Pierre Deligne a exhibé un topos non trivial qui n'a pas de point (voir également à ce sujet l'article théorie des locales).

Morphismes géométriques

modifier

Topos élémentaires (topos en logique)

modifier

Introduction

modifier

On utilise traditionnellement comme fondation axiomatique des mathématiques la théorie des ensembles, où tous les objets mathématiques sont représentés en dernière instance par des ensembles, y compris les applications entre ensembles. En théorie des catégories, on peut généraliser ce fondement au moyen des topos.

Chaque topos définit intégralement son propre cadre de travail mathématique. La catégorie des ensembles constitue un topos familier, et travailler avec ce topos équivaut à utiliser la théorie des ensembles traditionnelle. Mais on pourrait choisir de travailler avec bien d'autres topos. Une formulation standard de l'axiome du choix vaut dans certains topos, mais est invalide dans d'autres. Des mathématiciens constructivistes choisiront de travailler dans un topos dénué de loi du tiers exclu. Si la symétrie dans un groupe G revêt quelque importance, on peut utiliser le topos consistant en tous les G-ensembles (voir l'article Action de groupe (mathématiques)).

Il est également possible de coder comme un topos une théorie algébrique telle que la théorie des groupes. Les modèles individuels de la théorie, ici les groupes, correspondent alors aux foncteurs du topos dans la catégorie des ensembles qui préservent la structure de topos.

Définition formelle

modifier

Utilisé dans le cadre des fondements, on définira un topos de manière axiomatique ; la théorie des ensembles est alors considérée comme un cas particulier de théorie des topos. Il existe plusieurs définitions équivalentes d'un topos fondées sur la théorie des catégories. À défaut d'être éclairante, la suivante a le mérite de la concision :

Un topos est une catégorie possédant les deux propriétés suivantes :

  • toute limite fondée sur des catégories à index fini existe ;
  • tout objet a un objet puissance (c'est ce qui joue le rôle de l'ensemble des parties d'un ensemble dans la catégorie des ensembles).

Formellement, un objet puissance d'un objet X est un couple   avec  , tel que pour toute relation  , il existe un morphisme (unique)   tel que   (plus formellement : tel que R soit le pull-back de   par  ).

On peut en déduire que :

  • les colimites finies existent ;
  • la catégorie a un classificateur de sous-objets ;
  • la catégorie est cartésienne fermée.

Dans de nombreuses applications, le rôle du classificateur de sous-objet joue un rôle pivot, contrairement aux objets puissance. Aussi certaines définitions inversent-elles les rôles de ce qui est défini et de ce qui en est déduit.

Notes et références

modifier
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Topos » (voir la liste des auteurs).
  1. « Certains puristes voudraient que le pluriel soit « topoi », conformément au grec classique. Je suivrai Grothendieck en écrivant « un topos » et « des topos ». » Pierre Cartier, « Un pays dont on ne connaîtrait que le nom », .
  2. (en) Sebastiano Vigna, « A guided tour in the topos of graphs », arXiv:math/0306394, 2003.
  3. (en) Robert Goldblatt, Topoi, The Categorial Analysis of Logic, 1984.

Liens externes

modifier