Page d'accueil	encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées

Morphisme

En mathématiques, un morphisme est une application entre deux ensembles munis d'une même espèce de structure algébrique, qui respecte cette structure.

Cette notion est un des concepts de base de la théorie des catégories, où on lui donne une définition formelle bien plus large. En particulier, un morphisme n'est pas forcément une fonction, c'est juste une flèche reliant deux objets qui ne sont pas forcément des ensembles.

Les morphismes peuvent être classifiés:

• un endomorphisme est un morphisme d'une structure dans elle-même;
• un isomorphisme est un morphisme entre deux ensemble munis de la même espèce de structure, tel qu'il existe un morphisme dans le sens inverse, tels que et sont les identités des structures;
• un automorphisme est un isomorphisme d'une structure dans elle-même.

Exemple: l'identité d'un ensemble est toujours un morphisme, quel que soit la structure considérée. Et c'est un automorphisme...

Cas des groupes

Si on est dans le cas de deux groupes, cette définition se précise de la façon suivante: un morphisme entre et , vérifie donc:

Cas des anneaux

Dans le cas de deux anneaux et , un morphisme vérifie donc:

si les anneaux considérés sont de plus unitaires, on parle de morphisme unitaire lorsque

.

Il faut noter qu'un morphisme d'anneaux entre anneaux unitaires n'est pas forcément unitaire, comme le montre l'exemple suivant: si on choisit un ensemble infini, et une sous-partie de finie et que l'on munit les ensembles des parties de ces ensembles de la structure d'anneau où la somme est l'union disjointe et le produit est l'intersection, il est clair que l'inclusion des parties de dans les parties de est un morphisme d'anneau, mais n'est pas un morphisme d'anneau unitaire... En effet, c'est l'ensemble tout entier qui est élément neutre pour l'intersection dans l'ensemble des parties de , mais l'élément neutre des parties de est ... donc son image par l'inclusion n'est pas l'élément neutre de l'anneau d'arrivée!

Cas des espaces vectoriels

Dans le cas de 2 |K-espaces vectoriels et , un morphisme vérifie :

• est un morphisme de groupe pour et
• 

Ce qui est équivalent à :

Ensembles isomorphes

On dit que les ensembles et sont isomorphes s'il existe un isomorphisme de sur .

Savoir que deux ensembles sont isomorphes présente un grand intérêt car cela permet de transposer des résultats et propriétés démontrées de l'un à l'autre.

Exemple : le groupe de Klein est isomorphe à .

Applications pratiques

L'étude des morphismes a des applications particulièrement importantes dans la Physique moderne, en particulier la Mécanique quantique.