A link is commutative if it always holds. This figure uses the idea of an operation as a machine that turns two inputs into one result. If the link is commutative, then it doesn't matter in which order the inputs and occur - the result is the same as .
The commutative law ( Latin commutare "to swap"), in German law of exchange, is a rule from mathematics . If it holds, the arguments of an operation can be swapped without changing the result. Mathematical operations that are subject to the commutative law are called commutative.
The commutative law forms the basic rules of algebra with the associative law and the distributive law .
Let there be and quantities. A binary connection is called commutative if the equality applies to all .
Examples and counterexamples
The vector addition is commutative because is.
The addition of natural numbers is commutative.
For real numbers it always holds
the operations of addition and multiplication are commutative. The first formula is also called the commutative law of addition, the second commutative law of multiplication . The subtraction and division of real numbers, on the other hand, are not commutative operations. The exponentiation is also not commutative ( is a counterexample).
The oldest known form of the commutative law of addition is the Sumerian fable of the clever wolf and the nine stupid wolves .
- The scalar product in a real vector space is commutative, so it always holds .
- The scalar product in a complex vector space, on the other hand, is not commutative, rather it applies , with the overline denoting the complex conjugation .
In set theory , union and intersection are commutative operations; for sets the following always applies:
In contrast, the difference is not commutative. and so are sometimes different amounts, e.g. B. for and , because then would be and .
The addition of matrices over a ring or body is commutative. The matrix multiplication is not commutative, however: Although the factors are sometimes, but not always interchangeable.
The multiplication of matrices by scalars and the matrix multiplication in the sub-ring of the diagonal matrices are also commutative .
In general, a group in which the connection of group elements is commutative is called Abelian .
In propositional logic applies to the connectives :
("Or") is commutative.
(“And”) is commutative.
(" Logical equivalence ") is commutative.
("If ..., then ..."; see implication ) is not commutative.
Further examples of non-commutative operations are the cross product in vector spaces or the multiplication of quaternions .
Commutativity is also an important basic property in quantum mechanics , the commutation of two observables physically means that they can be measured precisely at the same time. Not all observables commute.
In some structures with two operations, for example the cross product in vector spaces, the commutative law does not apply, but instead a kind of opposite of it:
More generally, the product on a Lie algebra written as satisfies anti-commutativity.
- Symmetrical relation
The commutativity, which allows the exchange of arguments in an operation , is similar to the symmetry property of relations, which allows the exchange of the compared elements with regard to the relation : if and only if .
- Flexibility Act
The Flexibility Act offers an alternative possibility of "bracketing" for a link :