Operação binária
Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Agosto de 2024) |
Na matemática, uma operação binária ou 2-ária é uma operação com dois operandos. Uma operação binária é uma função com duas variáveis de entrada.
Definição
[editar | editar código-fonte]Dados três conjuntos A, B e C, uma operação binária é uma função do produto cartesiano A×B em C.
Operações binárias diferem, normalmente, da escrita definida em função, f(a,b) = c. Os símbolos utilizados, em sua maioria, são de operador infixo, tomando o caso das operações de adição, multiplicação etc. Denota-se (a + b), não +(a,b).
Operações binárias são a base do estudo de estruturas algébricas, sendo parte de grupos, monóides, semi-grupos, anéis, corpos, domínios de integridade, etc.
Exemplos de operações binárias são as operações da aritmética como adição, divisão e multiplicação (essas operações valem tanto para matemática quanto para programação); predicados lógicos como OR, XOR, AND.
Propriedades
[editar | editar código-fonte]Muitas operações binárias de interesse são comutativas ou associativas. Muitas possuem também um elemento identidade (elemento neutro) e um elemento inversor. Algumas dessas propriedades nos permitem classificar as álgebras em grupos, semi grupos, grupos abelianos, etc.
Fechamento
[editar | editar código-fonte]Seja # uma operação binária em um conjunto S. Dizemos que # é fechada em S se e somente se ∀ a,b ∈ S, (a # b) ∈ S.
Em geral, esta propriedade faz parte da definição de operação binária num conjunto.
Comutatividade
[editar | editar código-fonte]![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3a/Magnifying_glass_01.svg/17px-Magnifying_glass_01.svg.png)
A mesma operação # sobre S diz-se comutativa se
Ex. A adição sobre os naturais.
Identidade
[editar | editar código-fonte]![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3a/Magnifying_glass_01.svg/17px-Magnifying_glass_01.svg.png)
Uma identidade para # sobre S é um elemento e em S para o qual
Ex. 0 é uma identidade para a adição.
Da definição acima é possível afirmar que a identidade para uma operação binária é única. Sejam e, f identidades para #. Então e = e#f = f. Logo e = f. Portanto existe no máximo uma identidade para #.
Associatividade
[editar | editar código-fonte]![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3a/Magnifying_glass_01.svg/17px-Magnifying_glass_01.svg.png)
A operação # sobre S diz-se associativa se e somente se
Distributividade
[editar | editar código-fonte]![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3a/Magnifying_glass_01.svg/17px-Magnifying_glass_01.svg.png)
Uma operação binária $ é dita distributiva sobre # se
e
Ex. A multiplicação é distributiva sobre a adição, mas a recíproca não é verdadeira.
Elemento inverso
[editar | editar código-fonte]Seja e a identidade para # sobre S. O elemento x-1 é um inverso de x com respeito a # sobre S se
Se y é um inverso de x com respeito a # então y é único (para cada x). Suponha que a, b são ambos inversos de x com respeito a # sobre S. Seja e a identidade para # sobre S. Então:
a = a # e; = a # (x # b); = (a # x) # b; = e # b; = b;
Logo a = b , e portanto existe no máximo um elemento inverso.
Referências
[editar | editar código-fonte]- SCHEINERMAN, Edward R. Matemática Discreta - Uma Introdução. São Paulo: Thomson, 2003. ISBN 85-221-0291-0.
Ver também
[editar | editar código-fonte]- Grupoide (estrutura algébrica) - um conjunto S com uma operação binária
- Operação unária
- Operação ternária