Komutatyvumas (lot. commutativus - keičiantysis) arba perstatotumas – algebrinės dvinarės operacijos savybė, kai sukeitus vietomis elementus operacijos rezultatas nepakinta.[1] 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., „3 − 5 ≠ 5 − 3“); 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.[2][3] 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 redaguoti

Dvejetainė operacija   aibėje S yra vadinama komutacinė, jeigu [4][5]

 

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 redaguoti

 
Obuolių sudėtis, kuri gali būti vertinama kaip natūraliųjų skaičių sudėtis, yra komutacinė.

Komutacinės operacijos redaguoti

 
Vektorių sudėtis yra komutacinė, kadangi  .


Nekomutatyvios operacijos redaguoti

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:

pavyzdžiui,
 
pavyzdžiui,
 

Sąryšis su kitomis savybėmis redaguoti

Asociatyvumas redaguoti

Pagrindinis straipsnis – 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 redaguoti

 
Paveikslėlis, vaizduojantis sudėties funkcijos simetriją
Pagrindinis straipsnis – 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 redaguoti

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

Išnašos redaguoti

  1. komutatyvumas. Visuotinė lietuvių enciklopedija (tikrinta 2024-02-01).
  2. Cabillón Julio, Miller Jeff, http://jeff560.tripod.com/c.html Earliest Known Uses of Mathematical Terms, žiūrėta lapkričio 22, 2008
  3. Flood Raymond, Rice Adrian, Wilson Robin, Mathematics in Victorian Britain, 2011, https://books.google.com/books?id=YruifIx88AQC&pg=PA4, 4 p.
  4. Krowne, p. 1
  5. Weisstein, Commute, p. 1