INE5403 - Fundamentos de Matemtica

Discreta para a Computao

5) Relaes
5.1) Relaes e Dgrafos
5.2) Propriedades de Relaes
5.3) Relaes de Equivalncia
5.4) Manipulao de Relaes
5.5) Fecho de Relaes

Propriedades de relaes
Em muitas aplicaes da computao aparecem relaes
sobre um conjunto A em vez de relaes de A em B.
Definio: (Reflexividade)
Uma relao R sobre um conjunto A dita reflexiva se
(a,a)R para todo aA, ou seja, se aRa para todo aA.
Uma relao R sobre A dita irreflexiva se (a,a)R para
todo aA.
Ou seja: R reflexiva se todo elemento aA est relacionado
consigo mesmo e irreflexiva se nenhum elemento est
relacionado consigo mesmo.

Propriedades de relaes (reflexividade)

Exemplos:
a) = { (a,a) | a A}: a relao de igualdade no conjunto A.
Por definio, (a,a), aA.
b) R = { (a,b) AA | ab}
Irreflexiva pois (a,a)R, aA.
c) Seja A = {1,2,3} e R={(1,1),(1,2)}. Ento:
R no reflexiva pois (2,2)R
R no irreflexiva pois (1,1)R

Propriedades de relaes (reflexividade)

Exemplo: Quais das relaes a seguir so reflexivas?
R1 = { (a,b) | a b }
R2 = { (a,b) | a > b }
R3 = { (a,b) | a = b ou a = -b }
R4 = { (a,b) | a = b }
R5 = { (a,b) | a = b+1 }
R6 = { (a,b) | a+b 3 }
Resposta:
R1: pois a a para todo inteiro a
R3 e R4
Para cada um dos outros casos, pode-se encontrar um par da
forma (a,a) que no est na relao.

Propriedades de relaes (reflexividade)

Caracterizao de reflexividade e irreflexividade em termos de
matrizes e dgrafos:
1. Matrizes:
relao R reflexiva a matriz MR possui todos os
elementos da diagonal principal iguais a 1
relao R irreflexiva a matriz MR possui todos os
elementos da diagonal principal iguais a 0
2. Dgrafos:
relao R reflexiva para todos os vrtices do dgrafo
existem arestas que ligam o vrtice a ele mesmo.
relao R irreflexiva para todos os vrtices do dgrafo
no existem arestas que ligam o vrtice a ele mesmo.

Observe tambm que se R sobre A reflexiva, ento:

Dom(R) = Ran(R) = A

Propriedades de relaes - simetria

Definio (Simetria): Uma relao R sobre um conjunto A dita
simtrica se sempre que (a,b)R, ento tambm (b,a)R.
- segue que R sobre A uma relao no-simtrica se para algum
a,bA for verificado que (a,b)R e (b,a)R.
Definio (Assimetria): Uma relao R sobre um conjunto A dita
assimtrica se sempre que (a,b)R, ento (b,a)R.
- uma relao R sobre A no-assimtrica se para algum
a,bA for verificado que (a,b)R e (b,a)R.
Definio (Antissimetria): Uma relao R sobre um conjunto A dita
antissimtrica se sempre que (a,b)R e (b,a)R, ento a=b.
- equivalentemente, se a b, ento (a,b)R ou (b,a)R
- uma relao R sobre A no-antissimtrica se existir a,bA com
ab e tanto (a,b)R como (b,a)R.

Propriedades de relaes
Lembrete: escrever (a,b) R equivalente a escrever aRb,
que significa dizer que a est relacionado com b por R.
Observao: para verificar se estas propriedades so vlidas
ou no para uma certa relao R, deve-se notar que:
1. Uma propriedade no vlida em geral se puder ser
encontrada uma situao onde ela no pode ser verificada.
2. Se no houver situao em que a propriedade falha, devese concluir que propriedade sempre vlida.

Propriedades de relaes - exemplos

Exemplo 1: Seja A=Z (o conjunto dos inteiros) e seja R a
relao R={(a,b)AA | a b}. Determine se R simtrica,
assimtrica ou antissimtrica.
Soluo:
simetria: se ab, ento no sempre verdade que ba
(exemplo: 2 1 mas 1 < 2) R no-simtrica.
assimetria: R no-assimtrica pois se a=2 e b=2 temos aRb
e bRa.
antissimetria: R antissimtrica pois ab e ba a=b.

Propriedades de relaes - exemplos

Exemplo 2: Seja A={1,2,3,4} e seja a relao:
R={(1,2),(2,2),(3,4),(4,1)}
Determine se R simtrica, assimtrica ou antissimtrica.
Soluo:
/
simetria: R no-simtrica, pois, por exemplo, 1R2 e 2R1
assimetria: R no-assimtrica pois (2,2) R
antissimetria: R antissimtrica pois se ab, ento ou
(a,b)R ou (b,a)R.

Propriedades de relaes - exemplos

Exemplo 3: Seja A= Z+ (inteiros positivos) e seja
R = { (a,b)AA | a|b}
(a divide b).
Determine se R simtrica, assimtrica ou antissimtrica.
Soluo:
simetria: a|b no implica que b|a, ento R no-simtrica.
assimetria: se a=b=5, por exemplo, ento aRb e bRa. Assim,
R no-assimtrica.
antissimetria: se a|b e b|a, ento a=b, de modo que R
antissimtrica.

Propriedades de relaes - exemplos

Exemplo 4: Quais das relaes a seguir so simtricas e quais
so antissimtricas?
R1 = { (a,b) | a b }
R2 = { (a,b) | a > b }
R3 = { (a,b) | a = b ou a = -b }
R4 = { (a,b) | a = b }
R5 = { (a,b) | a = b+1 }
R6 = { (a,b) | a+b 3 }

R3 simtrica: se a=b ou a=-b, ento b=a ou b=-a.

R4 simtrica: a=b b=a.
R6 simtrica: a+b3 b+a3.
R1 antissimtrica: a b e b a b=a.
R2 antissimtrica: impossvel a>b e b>a.
R4 antissimtrica pela definio.
R5 antissimtrica: impossvel acontecer a=b+1 e b=a+1.

Caracterizao de simetria, assimetria e

antissimetria atravs da matriz de relao

Simetria: A matriz MR=[mij] de uma relao simtrica satisfaz

propriedade:
mij=1 mji=1
mij=0 mji=0
Portanto, neste caso tem-se que mij=mji, o que significa que R
simtrica se e somente se MR=(MR)t.

Assimetria: A matriz MR=[mij] de uma relao assimtrica satisfaz:

mij=1 mji=0
Logo, se R assimtrica, segue que mii=0 para todo i.

Antissimetria: A matriz MR=[mij] de uma relao antissimtrica

satisfaz:
se ij ento mij=0 ou mji=0

Propriedades de relaes com matrizes

Exemplo1:

1 0 1
M R1 = 0 0 1
1 1 1

MR4

0
0
=
0

0
0
0
0

1
1
0
0

1
0
1

MR2

0
1
=
1

1 1 0
1 0 0
0 1 1

0 1 1

MR5

1
0
=
0

0
1
0
0

0
1
1
0

1
1
0

MR3

MR6

1 1 1
= 0 1 0
0 0 0

0
0
=
0

1
0
0
0

0
1
1
0

1
1
0

Propriedades de relaes com matrizes

Exemplo1 (cont.):
R1 e R2 so simtricas, pois MR1 e MR2 so matrizes simtricas.
R3 antissimtrica, pois no existe nenhuma simetria fora da
diagonal.
R3 no assimtrica, pois contm 1s na diagonal principal.
R4 no simtrica, nem assimtrica e nem antissimtrica pois:
1. MR4 no simtrica;
2. A presena do nro. 1 no elemento m41 viola tanto a
propriedade de assimetria quanto a de antissimetria.
R5 antissimtrica mas no assimtrica.
R6 antissimtrica e no assimtrica.

Propriedades de relaes - transitividade

Definio: Uma relao R sobre um conjunto A dita
transitiva se, sempre que a R b e b R c, ento a R c.

Por outro lado, R sobre A uma relao no-transitiva se

/ c.
existir a, b e c em A tais que a R b e b R c, mas a R
se tais a, b e c no existirem, ento R transitiva.

Propriedades de relaes - transitividade

Exemplo1: Seja A=Z+ e R={ (a,b) AA | a|b } (a divide b).
A relao R transitiva?
Soluo: suponha que a R b e que b R c, de modo que a|b e
b|c. Ento a|c, o que significa que a R c. Logo, R transitiva.

Exemplo2: A relao R={(1,2),(1,3),(4,2)} sobre A={1,2,3,4}

transitiva?
Soluo: como no possvel encontrar elementos a, b e c
tais que (a,b)R, (b,c)R, mas (a,c)R, R transitiva.

Caracterizao de relaes transitivas por

matrizes
Se MR=[mij] a matriz de uma relao transitiva R, ento MR
satisfaz propriedade:
se mij=1 e mjk=1, ento mik=1
ou seja, a transitividade de R significa que se (MRMR) tem
um 1 em qualquer posio, ento MR deve ter um 1 na
mesma posio (o converso pode ser falso), ou seja:
MRMR MR

Caracterizao de relaes transitivas por

matrizes
Exemplo: Mostre que a relao R sobre A={1,2,3} dada
abaixo transitiva:
1 1 1
M R = 0 0 1
0 0 1

Soluo: Por clculo direto, MRMR=MR, de modo que R

transitiva.

Propriedades de relaes - Exerccios

Exerccio1: Determine se as relaes abaixo so reflexivas,

irreflexivas, simtricas, assimtricas, antissimtricas ou transitivas:
a) R={(1,3),(1,1),(3,1),(1,2),(3,3),(4,4)}
b) R={(1,1),(1,2),(2,1),(2,2),(3,3),(3,4),(4,3),(4,4)}

Respostas:
a) N, N, N, N, N, N
b) S, N, S, N, N, S

Propriedades de relaes - Exerccios

Exerccio2: Seja A={1,2,3,4,5}. Determine se as relaes definidas

pelos dgrafos abaixo so reflexivas, irreflexivas, simtricas,
assimtricas, antissimtricas ou transitivas.

3
5

2
4

Resp. (a): N, N, N, N, S, S

Resp. (b): ?