Komutatyvumas

Komutatyvumas ( - keičiantysis) arba perstatotumas – algebrinės dvinarės operacijos savybė, kai sukeitus vietomis elementus operacijos rezultatas nepakinta. Dvinarė operacija * yra komutatyvi aibės S atžvilgiu, jei galioja lygybė x * y = y * x kiekvienam x ir y iš aibės S.

Jei egzistuoja bent viena pora x ir y, kurioms lygybė negalioja, operacija aibėje S yra nekomutatyvi.

Akivaizdžiausi komutatyvumo pavyzdžiai – sudėtis ir daugyba realiųjų skaičių aibėje, pavyzdžiui:
 4 + 5 = 5 + 4 (abiejose lygybės pusėse gauname 9)
 2 × 3 = 3 × 2 (abiejose lygybės pusėse – 6)

Tačiau ši savybė taip pat gali būti taikoma ir sudėtingesniuose nustatymuose. Pavadinimas reikalingas, nes yra operacijų, tokių kaip dalyba ir atimtis, kurios komutacinių savybių neturi (pvz., ); tokios operacijos yra vadinamos nekomutacinėmis operacijomis. Daugelį metų buvo savaime suvokiama, kad paprastos operacijos, tokios kaip skaičių daugyba ir sudėtis, yra komutacinės. Tik XIX a. ši savybė gavo pavadinimą, kai matematika buvo pradėta formalizuoti. Cabillón Julio, Miller Jeff, http://jeff560.tripod.com/c.html Earliest Known Uses of Mathematical Terms, žiūrėta lapkričio 22, 2008 Flood Raymond, Rice Adrian, Wilson Robin, Mathematics in Victorian Britain, 2011, https://books.google.com/books?id=YruifIx88AQC&pg=PA4, 4 p. Panaši savybė egzistuoja dvejetainiams santykiams. Dvejetainis santykis yra simetriškas, jei santykis galioja nepriklausomai nuo jo operandų eiliškumo. Atitinkamai lygybė yra simetriška, jei du lygūs matematiniai objektai yra lygūs nepriklausomai nuo jų eiliškumo.
Kiti komutatyvių operacijų pavyzdžiai – sudėtis bei dalyba kompleksinių skaičių aibėje, aibių sankirta ar sąjunga.

Žiedas vadinamas komutatyviu, jei jame daugyba yra komutatyvi (sudėtis žiede yra visada komutatyvi).

 Matematinis apibrėžimas 
Dvejetainė operacija  aibėje S yra vadinama komutacinė, jeigu Krowne, p. 1Weisstein, Commute, p. 1

Kitaip tariant, operacija yra komutacinė, jei galima pakeisti kiekvienus du elementus. Operacija, kuri netenkina aukščiau nurodytos savybės, yra vadinama nekomutacine.

Yra sakoma, kad x galima sukeisti su y, arba x ir y galima sukeisti vietomis  jeigu

Tai reiškia, kad tam tikra elementų pora gali būti sukeista, net jei operacija yra (griežtai) nekomutacinė.

 Pavyzdžiai 

 Komutacinės operacijos 
 Sudėtis and daugyba yra komutacinės daugelyje skaičių sistemų ir ypač tarp natūraliųjų skaičių, sveikųjų skaičių, racionaliųjų skaičių, realiųjų skaičių ir kompleksinių skaičių.
 Sudėtis yra komutacinė kiekvienoje vektorių erdvėje ir kiekvienoje algebroje.
 Apjungimas (aibių teorija) ir susikirtimas (aibių teorija) yra komutacinės operacijos aibėje.
 „Ir“ ir „arba“ yra komutacinės loginės operacijos.

 Nekomutatyvios operacijos 

Kasdieniniame gyvenime:
 Drabužių skalbimas ir džiovinimas yra nekomutatyvios operacijos: jei mes pirma išdžiovinsime, o po to išskalbsime, turėsime visai kitą rezultatą, nei kad pirma išskalbę, o po to išdžiovinę.

Vaikiškas pavyzdys:
 2:4 nera lygu 4:2. Taigi, 2 vaikams pasidalinti 4 obuolius yra ne tas pats, kas 4 vaikams pasidalinti 2 obuolius.

Matematikoje:

 Atimtis 
 Dalyba 
 Matricų daugyba
 pavyzdžiui,

 kvaternijonų daugyba
 pavyzdžiui,


 Sąryšis su kitomis savybėmis 

 Asociatyvumas 

Asociatyvumas glaudžiai susijęs su komutatyvumu. Asociatyvumo atveju rezultatas nesikeičia, atliekant operacijas bet kokiu eiliškumu, su sąlyga, jei operandų tvarka nekeičiama. Komutatyvumas, priešingai, teigia, kad rezultatas nesikeičia sukeitus vietomis operandus.

Daugelis komutatyvių operacijų yra ir asociatyvios. Tačiau komutatyvumas ne visada reiškia asociatyvumą. Funkcija:


yra komutatyvi (sukeitus x ir y vietomis, rezultatas nesikeičia), tačiau ji yra neasociatyvi (kadangi, , bet ).

 Simetrija 

Kuomet užrašome komutatyvią dvinarę funkciją, ji paprastai būna simetrinė linijos y = x atžvilgiu. Paveikslėlyje dešinėje kaip pavyzdys parodyta funkcija f, realizuojanti sudėties operaciją f(x,y) = x + y.

 Komutatyvumas neurofizikoje 
Neurofizikoje komutatyvumo sąvoka taikoma ryšiams tarp neuronų.

 Išnašos 

Kategorija:Matematika