- Diagramme Commutatif
-
Diagramme commutatif
En mathématiques, et plus spécialement les applications de la théorie des catégories, un diagramme commutatif est un diagramme d'objets et de morphismes tels que, lorsque l'on choisit deux objets, on peut suivre un chemin quelconque à travers le diagramme et obtenir le même résultat par composition des morphismes.
Par exemple, le premier théorème de l'isomorphisme est un triangle commutatif comme suit :Puisque f = h o φ, le diagramme de gauche est commutatif; et puisque φ = k o f, il en est de même pour le diagramme de droite.
Sur le diagramme de gauche, il est possible d'aller de G à Im f par deux chemins différents : soit directement grâce à l'application f, soit par composition des applications h et . De même, le diagramme de droite est commutatif, puisqu'on peut aller de G à soit directement par l'application , soit par la composition de k par f en passant par l'ensemble intermédiaire Im f.
De la même manière, le carré ci-dessus est commutatif si y o w = z o x.
Vérification de la commutativité
La commutativité est aisément compréhensible pour un polygone avec un nombre fini de côtés (y compris seulement 1 ou 2), et un diagramme est commutatif si tout sous-diagramme polygonal est commutatif.
- Portail des mathématiques
Catégories : Théorie des catégories | Diagramme
Wikimedia Foundation. 2010.