|
Komuteco estas eco de duargumenta matematika operacio. Duargumenta operacio estas komuta, se interŝanĝo (komutado) de la du operaciatoj ne influas la rezulton.
Formala difino
Se estas duargumenta operacio sur la aro S, ĝi estas komuta se
por ĉiuj 'x, y en S.
Aldone, oni diras, ke du elementoj x kaj y komutas se
.
En funkcia skribo komuteco estas esprimata jene:
- ∀ a, b: f(a, b) = f(b, a)
Komutaj estas ekzemple:
Malkomuteco
Se estas duargumenta operacio sur la aro S, ĝi estas malkomuta se
por ĉiuj x, y en S.
kie -a por a en S estas la kontraŭegalo.
Malkomutaj estas ekzemple:
Vidu ankaŭ
|