Das Kommutativgesetz (lat. commutare - vertauschen), auf Deutsch Vertauschungsgesetz, ist eine Regel aus der Mathematik; wenn sie gilt, so können die Argumente einer Operation vertauscht werden, ohne dass sich am Ergebnis etwas ändert. Mathematische Operationen, die dem Kommutativgesetz gehorchen, nennt man kommutativ.
Formale Definition
Es seien
und
Mengen.
Spezialfall zweistellige Operation
Eine zweistellige
Funktion heißt kommutativ, wenn für alle
die Gleichheit
gilt.
Allgemeiner Fall
Eine
-stellige Funktion
heißt kommutativ, wenn für alle
und alle
Permutationen
der Indizes
die Gleichheit
-
gilt.
Beispiele und Gegenbeispiele
Reelle Zahlen
Für
reelle Zahlen gilt stets
- und ,
die Operationen
Addition und
Multiplikation sind also kommutativ. Die
Subtraktion und die
Division reeller Zahlen sind dagegen nicht kommutative Operationen. Auch die Potenzierung ist nicht kommutativ (Beispiel:
).
Skalarprodukte
Mengenoperation
In der
Mengenlehre sind die Vereinigung und der Schnitt kommutative Operationen; für Mengen
gilt also stets
- und .
Dagegen ist die Differenz nicht kommutativ, im Allgemeinen sind also
und
verschiedene Mengen.
Matrizenrechnung
Die Addition von
Matrizen über einem
Ring oder
Körper ist kommutativ. Die Matrizenmultiplikation ist dagegen nie kommutativ, außer im eindimensionalen Fall oder wenn das Produkt die Einheitsmatrix ergibt, wenn beide Matrizen also invers zueinander sind.
Aussagenlogik
In der
Aussagenlogik sind die
Junktoren
(„oder“) und
(„und“) kommutativ.
Weitere Beispiele
Weitere Beispiele für nichtkommutative Operationen sind das
Kreuzprodukt in Vektorräumen oder die Multiplikation von
Quaternionen.
Kommutativität ist außerdem eine wichtige Grundeigenschaft in der Gruppentheorie und Quantenmechanik.
Siehe auch
Algebra
عملية تبديلية | Комутативност | Komutativita | Kommutativitet | Commutative operation | Komuteco | Conmutatividad | Kommutatiivsus | Commutativité | קומוטטיביות | Operazione commutativa | 交換法則 | 교환 법칙 | Komutatyvumas | Commutativiteit | Przemienność | Коммутативная операция | Komutatívnosť | Komutativnost | Комутативност | Kommutativitet | Комутативність | 交換律