Elkarkortasun

Hiru elementuren arteko eragiketa bitarrak egiteko orduan lehen bi elementuen arteko eragiketa egin eta emaitzaren eta hirugarren elementuaren arteko eragiketa eginda edo lehen elementuaren eta azken bi elementuen arteko eragiketaren emaitzaren ar...
Elkarkor» orritik birbideratua)

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.

HistoriaAldatu

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


Notazio formalaAldatu

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 kenketaAldatu

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:

 

ErreferentziakAldatu

  1. «On Quaternions; or on a new System of Imaginaries in Algebra» www.maths.tcd.ie (Noiz kontsultatua: 2022-05-30).
  2. (Ingelesez) Baez, John. (2002). «The octonions» Bulletin of the American Mathematical Society 39 (2): 145–205. doi:10.1090/S0273-0979-01-00934-X. ISSN 0273-0979. (Noiz kontsultatua: 2022-05-30).

Ikus, gaineraAldatu

Kanpo estekakAldatu