Introdução

As relações binárias são basicamente relações entre os elementos de

dois conjuntos que seguem uma propriedade. Para entendermos
completamente esse conceito precisamos nos familiarizar rapidamente com o
conceito de par ordenado, plano cartesiano e produto cartesiano.

Par Ordenado
Pode-se entender o par ordenado como uma coleção de dois elementos
onde a ordem deles importa e eles podem ser iguais, diferentemente do
que ocorre com os conjuntos.

Representamos o par ordenado como (a, b) e temos que (a, b) ≠ (b, a),
se a ≠ b.
Plano Cartesiano
O plano cartesiano é o plano definido por dois eixos perpendiculares entre
si, o eixo x (das abscissas) e o eixo y (das ordenadas), que se cruzam na
origem 0 = (0,0).

É possível associar os pontos neste plano a pares ordenados, onde o primeiro

elemento do par ordenado corresponde à coordenada abscissa do ponto e o
segundo à coordenada ordenada. Abaixo temos o plano cartesiano e alguns
pontos com seus pares ordenados associados.
Produto Cartesiano
Dados dois conjuntos A e B, o produto cartesiano A x B é definido como o
conjunto de todos os pares ordenados cujo primeiro elemento é pertencente
a A e o segundo à B.

A x B = (a,b), a ∈ A e b ∈ B6

Se A e B forem conjuntos com um número finito de números, teremos

que A x B será um conjunto de pontos. Se um dos dois conjuntos for um
intervalo real teremos segmentos de reta ou retas. Se ambos forem intervalos
reais teremos que A x Bcorresponde à regiões do plano.

Exemplo:

i) A = {2,5,7}; B = {2,4,8} ⇒
A x B = {(2,2); (2,4); (2,8); (5,2); (5,4); (5,8); (7,2); (7,4); (7,8)}
Obs.: O produto A x A pode ser representado por A2.

ii) A = {1,2}; B = {b ∈ R| - 1 ≤ b ≤ 2} = [-1,2] Rightarrow

A x B = {(x,y) in R2 [x = 1 ou x = 2, -1 ≤ y ≤ 2}
iii) A = {a ∈ R|1 ≤ a ≤2}; B = {b ∈ R| -1 ≤ b ≤ 2} = [-1,2] ⇒
A x B = {(x,y) ∈ R2| 1 ≤ x ≤ 2, -1 ≤ y ≤ 2}

Relação Binária
É um produto cartesiano que possui uma propriedade.

R = {(x,y) ∈ A x B|ρ (x,y) é verdadeira}

Por exemplo:

A = {1,3,4}; B = {3,6,8}

A x B = {(1,3), (1,6), (1,8), (3,3), (3,8), (4,3), (4,6), (4,8)}

R = {(a, b) ∈ A x B y = 2x} ⇒ R = {(3,6); (4,8)}

Graficamente temos, com os pontos vermelhos representando A x B e as bolas

azuis a relação R:

Outra maneira interessante de representar a relação binária graficamente é

através do diagrama de flechas. As flechas indicam os elementos de A que se
relacionam com B de acordo com a relação R. No exemplo anterior teríamos:
Domínio e Imagem
Sejam dois conjuntos não vazios A e B e seja R uma relação binária
de A em B.

O domínio de R é o conjunto D de todas as abscissas (primeiros elementos)

dos pares ordenados pertencentes a R. Graficamente no diagrama de flechas o
domínio pode ser identificado como o conjunto de pontos de A dos quais
partem flechas para elementos de B.

A imagem de R é o conjunto I de todas as ordenadas (segundos elementos)

dos pares ordenados pertencentes a R. Graficamente no diagrama de flechas a
imagem pode ser identificado como o conjunto de pontos de B nos quais
chegam flechas advindas de elementos de A.

Exemplo: A = {2,4,6,8}; B = {1,3,5,7,9}; R = {(x,y) ϵ A x B| x > y + 1}

Vemos no diagrama de flechas que o domínio e a imagem de R são:

DR = {4,6,8}; IR = {1,3,5}
Relação inversa

A relação inversa pode ser definida como:

R−1 = {(y, x) ∈ B x A| (x, y) ∈ R}

Mas simplesmente podemos ver que R-1 é o conjunto dos pares ordenados
de R, porém com a ordem dos elementos trocados. Como estamos trocando as
abscissas pelas ordenadas para obter R-1, podemos obter sua imagem no plano
cartesiano refletindo a imagem de R em torno da bissetriz do primeiro
quadrante.

Exemplo: Podemos obter o diagrama de flechas da relação inversa do exemplo

acima:

Nota-se também que o domínio da relação inversa corresponde à imagem

de R e vice-versa. Logo:

DR−1=IR = {1,3,5}; IR−1 = DR = {4,6,8}

Classificações de Relações

1. Reflexiva

A relação R é dita reflexiva se todo elemento do domínio se relaciona com ele

mesmo na imagem, ou seja, para todo a ∈ A, (a, a) ∈ R.

Exemplo:

A relação R = {(x, y) ∈ R2|x é divisor de y} é reflexiva, pois x sempre divide ele

mesmo. A relação R = {(x, y) in R2|x < y} não é reflexiva, pois não teremos
nenhum par ordenado do tipo (x, x).
2. Simétrica

Dizemos que Ré simétrica se dado que (a, b) in R há a implicação que

(b, a) ∈ R.

Exemplo:

A relação R = {(x, y) ∈ R2|x + y = 7} é simétrica, pois x + y = y + x, logo se (x,

y) ∈ R temos que (y, x) ∈ R.
A relação R = {(x, y) ∈ R2|y > x} não é simétrica, pois se (x, y) ∈ R dado que y >
x, não poderíamos ter (y, x) ∈ R.

3. Antissimétrica

Dizemos que R é antissimétrica se dado que (a, b) ∈ R, com a ≠ b, há a

implicação que (b, a) ∉ R.

Exemplo:

A relação R = {(x, y) ∈ R2| y > x} é antissimétrica, pois se (x, y) ∈ Rdado que y

> x, não poderíamos ter (y, x) ∈ R já que nesse caso deveríamos ter x > y.
A relação R = {(x, y) ∈ R2| y + x = 7} não é antissimétrica, pois x + y = y + x,
logo se (x, y) ∈ R, x ∈ y temos que (y, x) ∈ R.

4. Transitiva

Se (a, b), (b, c) ∈ R ⇒ (a,c) ∈ R dizemos que R é transitiva.

Exemplo:

A relação R = {(x, y) ∈ R2| x = y} é transitiva pois se a = b e b = c, temos a = c.

A relação R = {(x, y) ∈ R2| y = 2x} não é transitiva pois:
{b = 2a c = 2b ⇒ c = 2 (2a) = 4a ≠ 2a.

5. Equivalência

A relação R pode ser dita de equivalência se for simultaneamente reflexiva,

simétrica e transitiva.

6. Ordem

A relação R pode ser dita de ordem se for simultaneamente reflexiva,

antissimétrica e transitiva.