Isomorphisme

Un article de Wikipédia, l'encyclopédie libre.

Pour l'isomorphisme en chimie, voir Isomorphisme (chimie).

Pour l'isomorphisme institutionnel, voir Isomorphisme institutionnel.

En mathématiques, un isomorphisme est une relation entre deux objets qui démontre leurs similitudes. Par exemple, en théorie des groupes, il permet de déduire plusieurs propriétés d'un groupe à partir d'un autre.

Sommaire

1 Définitions
- 1.1 Algèbre
- 1.2 Catégorie
2 Exemples
3 Propriétés
4 Objets isomorphes
- 4.1 Exemple

[modifier] Définitions

[modifier] Algèbre

En algèbre, un isomorphisme est un morphisme admettant un inverse qui est lui-même un morphisme.

C'est donc une bijection pour laquelle les relations « algébriques » entre les éléments de l'ensemble d'arrivée sont les mêmes que celles entre leurs antécédents respectifs (la structure algébrique est préservée). Ce « méta-concept » mathématique admet une définition formelle en théorie des catégories.

[modifier] Catégorie

En théorie des catégories, un isomorphisme est un morphisme $f:A\to B$ d'une catégorie C qui possède

un inverse à gauche : il existe un morphisme $g:B\to A$ tel que $g\circ f=\mathrm{id}_A$ ,
et un inverse à droite : il existe un morphisme $g:B\to A$ tel que $f\circ g=\mathrm{id}_B$ .

Remarquons qu'avec une notation covariante telle que « ; » à la place de la notation contravariante « ∘» pour la composition des morphismes, il faudrait inverser ces deux dernières définitions, ou alors préférer appeler ces inverses respectivement post-inverse et pré-inverse.

L'existence d'un inverse à gauche n'entraîne pas l'existence d'un inverse à droite, et réciproquement. C'est par exemple le cas dans la catégorie des ensembles.

[modifier] Exemples

Dans la catégorie des espaces topologiques, un isomorphisme est une bijection continue d'inverse continue, aussi appelée homéomorphisme.

De la même façon, un isomorphisme entre variétés différentielles (par exemple, entre des ouverts de $\R^n$ ) est un difféomorphisme. Plus précisément, si l'on considère une structure $\mathcal{C}^k$ sur une variété, alors on parle de $\mathcal{C}^k$ -difféomorphisme.

[modifier] Propriétés

Un isomorphisme est à la fois un épimorphisme et un monomorphisme, mais la réciproque est fausse en général : il existe des morphismes à la fois épiques et moniques qui ne sont pas des isomorphismes.

Pour plus de détails, voir : Propriétés des morphismes dans les catégories.

[modifier] Objets isomorphes

Deux objets reliés par un isomorphisme sont dits isomorphes.

Selon certains points de vues, deux objets isomorphes peuvent être considérés comme identiques, ou du moins indistinguables. En effet, bien souvent, les propriétés intéressantes d'un objet seront partagées par tous les objets isomorphes de la catégorie. Ainsi on parle souvent d'unicité ou d'identité « à un isomorphisme près ».

[modifier] Exemple

On dira souvent qu'il n'y a qu'un seul $\R$ -espace vectoriel de dimension n (« à un isomorphisme près »). Cela est vrai au sens où toutes les propriétés d'espace vectoriel (relatives à la catégorie des espaces vectoriels) démontrées sur $\R^{n}$ se vérifieront de la même manière, par exemple, sur $\R[X]/(X^{n})$ (anneau des polynômes quotienté par l'idéal engendré par $X n$ ). En revanche, si l'on considère $\R[X]/(X^{n})$ en tant qu'anneau (c’est-à-dire dans la catégorie des anneaux), cela n'a plus aucun sens. L'anneau $\R[X]/(X^{n})$ a en effet de nombreuses propriétés en tant qu'anneau qu'on ne peut transposer à $\R^{n}$ qui n'en est pas un.