Elkarkortasun

Elkarkortasuna edo propietate elkarkorra eragiketa bitar batzuen propietate matematiko bat da. Propietate horren arabera eragile elkarkor bereko bi elementu edo gehiago izanda, eragigaien sekuentzia aldatu gabe eragiketen ordenak ez du garrantzirik. Hau da, nahiz eta adierazpena parentesiekin antolatu, emaitza ez da aldatuko. Ikus:

Parentesiak lerro bakoitzean berrantolatu diren arren, adierazpenen balioak ez dira aldatu. Hori egia denez batuketa eta biderketa edozein zenbaki errealetan egitean, esan daiteke "zenbaki errealen batuketa eta biderketa eragiketa elkarkorrak" direla.

Elkarkotasuna eta kommutagarritasuna ez dira gauza bera, hau da, bi operandoen ordenak emaitza aldatzen duen ala ez. Adibidez, ordenak ez du axola zenbaki errealen biderkatzean, hau da, a × b = b × a, eta zenbaki errealen biderketa eragiketa kommutatiboa dela esaten dugu.

Elkarkotasun-eragiketak ugariak dira matematiketan; izan ere, egitura aljebraiko askok (hala nola erdi-taldeek eta kategoriek) esplizituki eskatzen dute beren eragiketa bitarrak asoziatiboak izatea.

Hala ere, eragiketa garrantzitsu eta interesgarri asko ez dira asoziatiboak; esate baterako, kenketa, berreketa eta produktu bektorial gurutzatua. Zenbaki errealen propietate teorikoak ez bezala, informatikako koma flotatzaileko zenbakien batura ez da asoziatiboa, eta adierazpen bat lotzeko modua hautatzeak eragin esanguratsua izan dezake biribiltze-errorean.

Historia 
William Rowan Hamilton izan zen lehenengoa "elkarkortasun propietate" terminoa erabiltzen, 1844 inguruan. Garai horretan John T. Gravesek aipatutako oktonioien aljebraren ez-elkarkortasuna aztertzen ari zen.

Notazio formala 
Izan bedi A multzo bat, non  barne-eragiketa bitar bat definitu baita, honela:

 

 eragiketa elkartezkoa dela esaten da, baldin eta:

 

Elkarkortasun-legea honela ere adieraz daiteke notazio funtzionalean:

Batuketa eta kenketa 
Zenbaki arrunten multzotik abiatuta

 

batuketarako, honela definitua:

 

k propietate asoziatiboa du, izan ere:

 

Adibidez:

 

Hala ere, kenketa-eragiketarako, honela definitua:

 

k ez du elkarte-jabetzarik, izan ere:

 

Adibidez:

Erreferentziak

Ikus, gainera 
 Banakortasun

Kanpo estekak 

Aljebra abstraktua
Operazio bitarrak