Comutativitatea: pe scurt
O lege de compoziție pe mulțimea este comutativă dacă pentru orice . Se schimbă ordinea a două elemente — spre deosebire de asociativitate, care mută parantezele între trei. Cele două proprietăți sunt independente: adunarea le are pe amândouă, înmulțirea matricelor e asociativă și necomutativă, media aritmetică e comutativă și neasociativă, iar scăderea nu e niciuna.
Verificarea se face în doi pași: scrii și compari cu . O lege dată printr-o formulă simetrică în și este comutativă, și reciproc; de aceea toate legile de forma sunt comutative. Atenție: asimetria scrierii este doar un indiciu, nu o demonstrație — arată asimetric, dar se reduce la . Dovada necomutativității este o pereche concretă, cu ambele calcule scrise.
În tabla operației, comutativitatea se citește ca simetrie față de diagonala principală, șirul căsuțelor ; celulele și sunt oglindite una față de cealaltă. Sunt de verificat doar perechi de elemente distincte, față de triplete la asociativitate.
Într-o lege necomutativă există totuși perechi care comută: orice matrice comută cu și cu propriile puteri.
Exerciții din această mini-lecție
Care dintre legile de mai jos este comutativă?
- a) pe
- b) pe
- c) pe
- d) pe
Vezi răspunsul
Răspuns corect: b) pe
Formula de la b este simetrică în și (se scrie ), deci legea este comutativă. La a, coeficienții diferiți dau ; la c, , dar ; la d, , dar . Fiecare respingere cere perechea concretă, cu ambele calcule.
Despre legea , definită pe , se poate afirma că:
- a) este comutativă, pentru că se reduce la
- b) nu este comutativă, contraexemplu fiind perechea
- c) nu este comutativă, pentru că formula nu este simetrică
- d) este comutativă numai pentru
Vezi răspunsul
Răspuns corect: a) este comutativă, pentru că se reduce la
Desfacem paranteza: , expresie simetrică, deci legea este comutativă pe tot . Variantele a și b ilustrează greșeala clasică — asimetria scrierii este un indiciu, nu o demonstrație. Control: și .
Legea care este comutativă, dar nu asociativă este:
- a) înmulțirea matricelor de ordinul al doilea
- b) adunarea pe
- c) media aritmetică pe
- d) scăderea pe
Vezi răspunsul
Răspuns corect: c) media aritmetică pe
Media aritmetică este comutativă (formula e simetrică), dar nu asociativă: pe tripletul cele două grupări dau și . Înmulțirea matricelor este exact pe dos — asociativă și necomutativă —, adunarea le are pe amândouă, iar scăderea nu are niciuna. Tabelul celor patru combinații arată că proprietățile sunt independente.
