Nothing Special   »   [go: up one dir, main page]

Saltu al enhavo

Komuteco

El Vikipedio, la libera enciklopedio

Komuteco estas eco de duargumenta matematika operacio. Duvalenta operacio estas komuta, se interŝanĝo (komutado) de la du operandoj ne influas la rezulton.

Formala difino

[redakti | redakti fonton]

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

[redakti | redakti fonton]

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ŭ

[redakti | redakti fonton]
Diagramo de komuteco