Commutative law
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 .
Formal definition
Let there be and quantities. A binary connection is called commutative if the equality applies to all .
Examples and counterexamples
Real numbers
For real numbers it always holds
and
- ,
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 .
Scalar products
- 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 .
Set operation
In set theory , union and intersection are commutative operations; for sets the following always applies:
- (Union)
- (Cut)
In contrast, the difference is not commutative. and so are sometimes different amounts, e.g. B. for and , because then would be and .
Matrix calculation
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 .
Group theory
In general, a group in which the connection of group elements is commutative is called Abelian .
Propositional logic
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
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.
Anti-commutativity
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.
Remarks
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 .
The Flexibility Act offers an alternative possibility of "bracketing" for a link :
See also
literature
- Otto Forster : differential and integral calculus of a variable. (Analysis, Vol. 1). 10th edition. Verlag Vieweg & Teubner, Braunschweig 2011, ISBN 978-3-8348-1251-3 .