Se ouvimos que duas pessoas se relacionam, entendemos que existe algum laço
afetivo entre elas que as distingue dos demais pares ordenados de pessoas.
O análogo matemático é distinguir determinados pares ordenados de objetos dos
demais porque seus elementos satisfazem alguma relação que os componentes dos
demais pares, em geral, não satisfazem.
Exemplo
Sejam S={1,2} e T={2,3}. Então temos
S×T={(1,2),(1,3),(2,2),(2,3)}. Assim, se estivermos interessados
na relação de igualdade, então (2,2) será o único par que a satisfaz no produto
S×T.
Se estivermos interessados na propriedade do primeiro número menor que o
segundo, teremos os pares (1,2), (1,3) e (2,3).
Relação binária
Sejam S={1,2} e T={2,3,4}. Uma relação p no conjunto
S×T={(1,2),(1,3),(1,4),(2,2),(2,3),(2,4)} pode ser definida por
xpy se e somente se x=21y. Assim, somente os pares (1,2) e
(2,4) satisfazem p.
Observação
Essas relações são chamadas de relação binária: uma relação binária dada em S×T é um
subconjunto de S×T. Em símbolos: xpy⇔(x,y)∈p.
Exercício proposto
Sejam S={1,2} e T={2,3,4}. Seja p dada pela descrição
xpy⇔x+y for ímpar. Determine os pares (x,y)∈p.
Resposta
S×T={(1,2),(1,3),(1,4),(2,2),(2,3),(2,4)}
xpy={(1,2),(1,4),(2,3)}
Exercício proposto
Para cada relação binária p em N×N, determine quais
dos pares ordenados pertencem a p.