Na matemática, uma operação binária é comutativa se a mudança da ordem dos operandos não altera o resultado. É uma propriedade fundamental de muitas operações binárias, e muitas demonstrações matemáticas dependem dela. Talvez mais familiar como uma propriedade da aritmética, ex. 3 + 4 = 4 + 3 ou 2 × 5 = 5 × 2, a propriedade também pode ser usada em cenários mais avançados. O nome é necessário porque existem operações, como a divisão e a subtração, que não a possuem (por exemplo, 3 − 5 ≠ 5 − 3); tais operações não são comutativas e, portanto, são referidas como operações não comutativas.
A ideia de que operações simples, como a multiplicação e a adição de números, são comutativas foi implicitamente assumida por muitos séculos. Assim, essa propriedade não foi nomeada até o século XIX, quando novas estruturas algébricas começaram a ser estudadas.
Definição
Uma operação binária num conjunto S é comutativa se
para todos . Uma operação que não é comutativa é dita não comutativa.
Diz-se que x comuta com y ou que x e y comutam sob se
Assim, uma operação é comutativa se todos os pares de elementos comutam. Uma operação é não comutativa se existirem dois elementos tais que Isso não exclui a possibilidade de que alguns pares de elementos comutem.
Exemplos thumb|A acumulação de maçãs, que pode ser vista como uma adição de números naturais, é comutativa.
Operações comutativas thumb|A adição de vetores é comutativa, porque A adição e a multiplicação são comutativas na maioria dos sistemas numéricos, e, em particular, entre números naturais, inteiros, racionais, reais e complexos. Isso também é verdadeiro em todo corpo. A adição é comutativa em todo espaço vetorial e em toda álgebra sobre um corpo. A união e a interseção são operações comutativas em conjuntos. O "E lógico" e o "Ou lógico" são operações lógicas comutativas.
Operações não comutativas A divisão é não comutativa, pois . A subtração é não comutativa, pois . No entanto, ela é classificada mais precisamente como anticomutativa, uma vez que para todo e . A exponenciação é não comutativa, pois . Algumas funções de verdade são não comutativas, pois suas tabelas de verdade são diferentes quando se altera a ordem dos operandos. Por exemplo, as tabelas de verdade para (A ⇒ B) = (¬A ∨ B) e (B ⇒ A) = (A ∨ ¬B) são: A B A ⇒ B B ⇒ A F F V V F V V F V F F V V V V V A composição de funções é geralmente não comutativa. Por exemplo, se e . Então e A multiplicação de matrizes de matrizes quadradas de uma dada dimensão é uma operação não comutativa, exceto para matrizes . Por exemplo: O produto vetorial (ou produto vetorial) de dois vetores em três dimensões é anticomutativo; ou seja, .
Estruturas comutativas Alguns tipos de estruturas algébricas envolvem uma operação que não requer comutatividade. Se essa operação for comutativa para uma estrutura específica, diz-se frequentemente que a estrutura é comutativa. Então: um semigrupo comutativo é um semigrupo cuja operação é comutativa; um monoide comutativo é um monoide cuja operação é comutativa; um grupo comutativo ou grupo abeliano é um grupo cuja operação é comutativa; um anel comutativo é um anel cuja multiplicação é comutativa. (A adição num anel é sempre comutativa.)
No entanto, no caso de álgebras, a expressão "álgebra comutativa" (referindo-se à estrutura) aplica-se apenas a álgebras associativas que possuem uma multiplicação comutativa.
História e etimologia right|thumb|250px|O primeiro uso conhecido do termo foi num jornal francês publicado em 1814 Os registros do uso implícito da propriedade comutativa remontam à antiguidade. Os egípcios usaram a propriedade comutativa da multiplicação para simplificar o cálculo de produtos. Sabe-se que Euclides assumiu a propriedade comutativa da multiplicação em seu livro Elementos.. Veja Livro VII, Proposição 5, na edição online dos Elementos de Euclides por David E. Joyce Usos formais da propriedade comutativa surgiram no final do século XVIII e início do século XIX, quando os matemáticos começaram a trabalhar numa teoria de funções. Hoje em dia, a propriedade comutativa é uma propriedade básica e bem conhecida, usada na maioria dos ramos da matemática.
O primeiro uso registrado do termo comutativo foi em um livro de memórias por François-Joseph Servois em 1814, que usou a palavra commutatives ao descrever funções que têm o que agora é chamado de propriedade comutativa. Commutative é a forma feminina do adjetivo francês commutatif, que é derivado do substantivo francês commutation e do verbo francês commuter, que significa "trocar" ou "alternar". O termo então apareceu em inglês em 1838 no artigo de Duncan Gregory intitulado "On the real nature of symbolical algebra", publicado em 1840 na Transactions of the Royal Society of Edinburgh.
Ver também
Propriedade anticomutativa Relação de comutação canônica (na mecânica quântica) Centralizador e normalizador (também chamado de comutante) Diagrama comutativo Comutador Estatística de partículas (para comutatividade na física) Propriedade quase-comutativa Monoide de traços
Notas
Referências
Categoria:Propriedades de operações binárias Categoria:Álgebra elementar Categoria:Regras de inferência Categoria:Simetria Categoria:Conceitos fundamentais da física Categoria:Análise funcional