Przemienność

Przemienność, komutatywność – własność niektórych działań dwuargumentowych polegająca na niezależności wyniku od kolejności argumentów. Formalnie: niech $\diamondsuit$ będzie działaniem dwuargumentowym w zbiorze $X$, czyli $\diamondsuit :X^{2}\to X.$ Działanie to nazywa się przemiennym, jeśli dla każdej pary elementów $x,y\in X$ zachodzi równość: $x\diamondsuit y=y\diamondsuit x.$

2+3=3+2=5

Diagram przedstawiający przemienność działań dwuargumentowych

Własność tę mają dwa z podstawowych działań arytmetycznych – dodawanie i mnożenie liczb rzeczywistych. Nie mają jej jednak:

• odejmowanie takich liczb, np. $0-1\neq 1-0;$
• ich dzielenie: $1:2\neq 2:1;$
• ich potęgowanie: $1^{2}\neq 2^{1}.$

Te twierdzenia matematyki elementarnej są nauczane w polskich szkołach podstawowych – należą do podstawy programowej kursów matematyki. Pojęcie przemienności jest też używane w matematyce wyższej, co opisano niżej.

Pojęcie przemienności bywa też stosowane do tych funkcji dwóch zmiennych, które nie są ściśle rozumianymi działaniami, np. do iloczynu skalarnego wektorów. Przemiennością nazywa się fakt, że ta funkcja jest symetryczna: ${\vec {a}}\cdot {\vec {b}}={\vec {b}}\cdot {\vec {a}}.$

Dalsze przykłady

Dodawanie wektorów jest przemienne: ${\vec {a}}+{\vec {b}}={\vec {b}}+{\vec {a}}.$

Składanie funkcji nie jest przemienne – przykładowo obrót i ścinanie nie komutują, tzn. wykonanie ich w różnej kolejności daje różne wyniki

Działania przemienne:

• dodawanie i mnożenie liczb zespolonych,
• dodawanie wektorów w przestrzeni liniowej,
• działania sumy zbiorów, ich przekroju (części wspólnej) i różnicy symetrycznej.

Działania nieprzemienne:

• iloczyn kartezjański zbiorów: $A\times B\neq B\times A;$
• mnożenie kwaternionów i innych liczb hiperzespolonych;
• mnożenie macierzy – na ogół $AB\neq BA;$
• składanie funkcji – na ogół $f\circ g\neq g\circ f.$

Rola w matematyce wyższej

Pojęcie przemienności jest też używane w algebrze abstrakcyjnej. Niektóre struktury algebraiczne z działaniami przemiennymi mają osobne nazwy, np. grupy przemienne są też nazywane abelowymi, a przemienność pojawia się w definicjach niektórych innych struktur:

• ciał i ich uogólnień jak pierścienie i półpierścienie;
• przestrzeni liniowych i ogólniejszych modułów;
• algebr Boole’a i ogólniejszych krat oraz półkrat.

Istnieją całe działy matematyki definiowane przemiennością lub jej brakiem, np. algebra przemienna i geometria nieprzemienna.