Isomorphisme (théorie des catégories)

La théorie des catégories est une théorie unificatrice des Mathématiques, où il existe de nombreux types d'isomorphismes. Ici, le concept d'isomorphisme est un concept général applicable à de nombreuses branches des mathématiques abstraites.

Définition[modifier | modifier le code]

Soit $A$ et $B$ deux objets d'une catégorie ${\mathcal {C}}$ . Une flèche $u:A\rightarrow B$ est dite un isomorphisme (dans la catégorie ${\mathcal {C}}$ ) s'il existe une flèche $v:B\rightarrow A$ telle que l'on ait à la fois :

vu=1_{A}

et

uv=1_{B}

,

où $1_{A}$ et $1_{B}$ désignent les flèches unités de $A$ et de $B$ ^[1].

Remarques[modifier | modifier le code]

Cette flèche $v$ notée $u^{-1}$ est aussi un isomorphisme qui est dit inverse ou réciproque de u.
On a évidemment $(u^{-1})^{-1}=u$
Toute flèche unité est un isomorphisme et on a $(1_{A})^{-1}=1_{A}$ ; la composée uv de deux isomorphismes est un isomorphisme tel que $(uv)^{-1}=v^{-1}.u^{-1}$
Tout isomorphisme est un monomorphisme et un épimorphisme.
Soit F un foncteur d'une catégorie ${\mathcal {A}}$ dans une catégorie ${\mathcal {B}}$ . Si u est un isomorphisme de ${\mathcal {A}}$ , la flèche F(u) est un isomorphisme de $B$ tel que $(F(u))^{-1}=F(u^{-1})$ .

Exemples[modifier | modifier le code]

Dans la catégorie des ensembles, les isomorphismes sont les bijections.
Dans la catégorie des groupes, les isomorphismes sont les isomorphismes de groupes au sens habituel, c'est-à-dire les homomorphismes bijectifs. Il faut rappeler qu'un groupe n'est pas la donnée d'un seul ensemble $E$ mais d'un couple $A=(E,\times )$ où $\times$ désigne une loi de composition interne sur $E$ satisfaisant certains axiomes. Il sera donc prudent , pour désigner l'ensemble sous-jacent au groupe $A$ , d'employer une autre notation que A, par exemple $\left\vert A\right\vert$ . De même, si on se donne un morphisme de groupes, c'est-à-dire une flèche $f:A\rightarrow B$ de la catégorie des groupes, il conviendra de la distinguer de l'application sous-jacente $\left\vert f\right\vert :\left\vert A\right\vert \rightarrow \left\vert B\right\vert$ , qui est une flèche de la catégorie des ensembles. Dans le "langage catégorique", on dirait qu'un morphisme de groupes $f:A\rightarrow B$ est un isomorphisme si, et seulement si $\left\vert f\right\vert :\left\vert A\right\vert \rightarrow \left\vert B\right\vert$ est un isomorphisme de la catégorie des ensembles^[1].
Dans la catégorie des espaces topologiques, les isomorphismes sont les homéomorphismes.
Dans une catégorie ${\bar {E}}$ associée à un ensemble préordonné $E$ , dire qu'une flèche $x\rightarrow y$ est un isomorphisme revient à dire que les éléments $x$ et $y$ de $E$ sont tels que l'on ait à la fois $x\preccurlyeq y$ et $y\preccurlyeq x$ .

Bimorphisme[modifier | modifier le code]

Une flèche qui est à la fois un monomorphisme et un épimorphisme est dite un bimorphisme. En particulier, tout isomorphisme est un bimorphisme. Il existe des exemples importants de catégories (catégorie des ensembles, catégories abéliennes) dans lesquelles tout bimorphisme est un isomorphisme, mais il existe aussi des catégories dans lesquelles un bimorphisme n'est pas en général un isomorphisme^[1].