Relaes

Adriano Joaquim de O Cruz

2002
NCE/UFRJ
adriano@nce.ufrj.br

Introduo

Relaes so associaes entre

elementos de diferentes conjuntos
Se o grau de associao um ou zero
temos uma relao clssica
Se o grau pode variar entre estes
valores a relao nebulosa
Por exemplo x maior que y

@2001

NCE e IM - UFRJ

Relaes 2

Funes e Relaes

Funes e Relaes so
mapeamentos.
Funes fazem mapeamentos de
muitos para um.
Relaes podem fazer mapeamentos
de muitos para muitos.

@2001

NCE e IM - UFRJ

Relaes 3

Produto Cartesiano

Produto cartesiano de dois conjuntos X

e Y definido como
X Y {( x, y ) | x X e y Y }

Para n conjuntos (Ai) o produto

cartesiano definido como

A1 A2 An {( a1 , a2 , , an ) | ai Ai , i 1..n}
@2001

NCE e IM - UFRJ

Relaes 4

Relaes Clssicas

Uma relao um subconjunto do produto

Cartesiano
R ( A1 , A2 , , An ) A1 A2 An

O produto cartesiano pode ser considerado

uma relao sem restries.

Uma relao entre dois conjuntos chamada

de relao binria.

@2001

NCE e IM - UFRJ

Relaes 5

Funo Caracterstica

Mede a fora da relao entre os pares

1 ( x, y ) R
R ( x, y )
0 ( x, y ) R

@2001

NCE e IM - UFRJ

Relaes 6

Representao de Relaes

Conjuntos de pares.
Considere uma famlia e relao primo de
X {Beatriz , Clara, Dbora, Marco}
R primo de
R XX

R {( Beatriz , Dbora), ( Beatriz , Marco ),

(Clara, Dbora), (Clara , Marco ), ( Dbora, Beatriz ),
( Dbora, Clara ), ( Marco, Beatriz ), ( Marco, Clara )}
@2001

NCE e IM - UFRJ

Relaes 7

Representao de Relaes

Matrizes que mostram os valores da

funo caracterstica
Beatriz Clara

Dbora Marco

Beatriz
primo de Clara
Dbora

0
0
1

0
0
1

1
1
0

1
1
0

Marco

@2001

NCE e IM - UFRJ

Relaes 8

Representao de Relaes

Diagramas que mostram os elementos

dos conjuntos como pontos e as relaes
como ligaes entre os pontos

Beatriz

Beatriz

Clara

Clara

Dbora

Dbora

Marco

Marco

@2001

NCE e IM - UFRJ

Relaes 9

Relaes Especiais

Considere um conjunto A={0,1,2} e as

relaes abaixo em A A

Relao Identidade I={0,0),(1,1),(2,2)}

Relao Universal U={(0,0),(0,1),(0,2),

(1,0),(1,1),(1,2),(2,0),(2,1),(2,2)}

@2001

NCE e IM - UFRJ

Relaes 10

Relaes em Universos contnuos

y 2x

R {( x, y ) | y 2 x, x X , y Y }
1
R ( x, y )
0
@2001

y 2x
y 2x

NCE e IM - UFRJ

Relaes 11

Propriedades de Relaes Clssicas

Sejam X e Y dois sub-conjuntos de um

universo U.

Sejam os elementos x X e y Y.

Seja S o produto cartesiano X Y .

Seja R uma relao clssica em S.

@2001

NCE e IM - UFRJ

Relaes 12

Propriedades de Relaes Clssicas

Reflexiva: R reflexiva se (x,x)R para

qualquer xX.

No reflexiva: R irreflexiva se existir pelo

menos um x tal que (x,x)R.

Anti-reflexiva: R anti-reflexiva se no existe

um xX para o qual (x,x)R.

@2001

NCE e IM - UFRJ

Relaes 13

Propriedades de Relaes Clssicas

cont 1

Simtrica: R simtrica se para todo

elemento xX e yY temos que se (x,y)R
ento (y,x)R.
Assimtrica: R assimtrica se no existem
elementos xX e yY para os quais (x,y)R
e (y,x)R.
Antissimtrica: R antissimtrica se para
todo xX e yY, quando (x,y)R e (y,x)R
ento x=y.

@2001

NCE e IM - UFRJ

Relaes 14

Propriedades de Relaes Clssicas

cont 2

Transitiva: R transitiva se para todo x,y,z

temos que se (x,y)R e (y,z) R ento
(x,z)R.
Conectada: R conectada se para todo x e y
temos que se xy ento (x,y)R ou (y,x)R.

@2001

NCE e IM - UFRJ

Relaes 15

Propriedades de Relaes Clssicas

cont 3

nica esquerda: R nica esquerda

quando para todo x,y,z temos que se (x,z)R
e (y,z)R ento x=y.
nica direita: R nica direita quando
para todo x,y,z temos que se (x,y)R e
(x,z)R ento y=z.
Bi-nica: uma relao que nica direita e
esquerda chamada de bi-nica.

@2001

NCE e IM - UFRJ

Relaes 16

Relao R= primo de

A relao no reflexiva porque uma pessoa

no prima de si mesmo, logo ela
antireflexiva porque no h elemento de R
que seja primo de si mesmo.
A relao simtrica porque se Beatriz
prima de Dbora ento Dbora e prima de
Beatriz e portanto no assimtrica.
A relao tambm no antissimtrica
porque ela no reflexiva nem assimtrica.

@2001

NCE e IM - UFRJ

Relaes 17

Relao R= primo de

cont 1

A relao no transitiva porque Dbora e

prima de Clara e Clara prima de Marco
mas Dbora no prima de Marco.

A relao no conectada porque existem

pares de elementos diferentes para os quais
a relao no se aplica. Por exemplo, Marco
no primo de Dbora.

@2001

NCE e IM - UFRJ

Relaes 18

Relao R= primo de

cont 2

A relao no nica esquerda porque

Beatriz e Clara so diferentes pessoas e
primas de Dbora.
A relao no nica direita porque
Dbora prima de Beatriz e Clara que so
diferentes pessoas.
Como a relao no nem nica esquerda
nem direita ela no bi-nica.

@2001

NCE e IM - UFRJ

Relaes 19

Relaes Clssicas de Equivalncia

Relaes que so reflexivas, simtricas e

transitivas so chamadas de relaes de
equivalncia.

A relao de similaridade entre tringulos

uma relao de equivalncia.

A relao trabalha no mesmo edifcio que

uma relao de equivalncia.

@2001

NCE e IM - UFRJ

Relaes 20

Relaes Clssicas de Tolerncia

Relaes que so reflexivas e simtricas so

chamadas de relaes de tolerncia.
A relao ntida A cidade x perto da cidade y
uma relao de tolerncia.
A cidade x obviamente perto dela mesma
(reflexiva).
Se a cidade x perto da cidade y ento a cidade
y perto da cidade x (simtrica).
No certo que se x perto de y e y perto de z
ento x perto de z (transitiva).

@2001

NCE e IM - UFRJ

Relaes 21

Tipos de Relaes
Reflexiva Antireflex Simtrica Antisimt Transitiva
Equiv
Quase
Equiv
Tolerncia
Ordem
Parcial

@2001

X
X

NCE e IM - UFRJ

Relaes 22

Operaes com Relaes Clssicas

Sejam R e S duas relaes no universo

Cartesiano XY.
Sejam as relaes
0
0
O

0

@2001

0 0
0 0

0 0

1
1
E

NCE e IM - UFRJ

1 1
1 1

1 1
Relaes 23

Operaes com Relaes Clssicas cont 1

Unio :
R S RS ( x, y ) max[ R ( x, y ), S ( x, y )]
Interseo :
R S RS ( x, y ) min[ R ( x, y ), S ( x, y )]
Complemento :
R ( x, y ) 1 R ( x, y )

@2001

NCE e IM - UFRJ

Relaes 24

Propriedades das Operaes Clssicas

Comutatividade

A B B A
A B B A

Associatividade

A ( B C ) ( A B) C
A ( B C ) ( A B) C
A ( B C ) ( A B) ( A C )

Distributividade

A ( B C ) ( A B) ( A C )

@2001

NCE e IM - UFRJ

Relaes 25

Propriedades das Operaes Clssicas

cont 1
Idempotncia

A A A
A A A

Identidade

A A
A
A X X
A X A

@2001

NCE e IM - UFRJ

Relaes 26

Propriedades das Operaes Clssicas

cont 2
Excluso
do Meio
De Morgan

@2001

A A E
A A
A B A B
A B A B

NCE e IM - UFRJ

Relaes 27

Composio de Relaes Clssicas

R

T=RS

@2001

NCE e IM - UFRJ

Relaes 28

Composio de Relaes Clssicas

RS

y [ R ( x, y) S ( x, y )]

X Y

max
min ou

produto

A operao similar uma

multiplicao de matrizes
@2001

NCE e IM - UFRJ

Relaes 29

Exemplo de Composio
x1

y1

z1

x2

y2

z2

x3

y3

z3

x4
@2001

R X Y
S Y Z
NCE e IM - UFRJ

Relaes 30

Exemplo de Composio
1
0
R
0
0

1 0

1 0 0
S 0 0 1

1 0 0

1 0

0 1
0 1
1
0
RS
1
1

@2001

0 1
0 1

0 0

0 0

NCE e IM - UFRJ

Relaes 31

Exemplo de Composio
x1

z1

x2

z2

x3

z3

1
0
RS
1
1

0 1
0 1

0 0

0 0

x4
@2001

NCE e IM - UFRJ

Relaes 32

Relaes Nebulosas

Relaes (R) mapeiam elementos de

um conjunto (X) em outro conjunto (Y).
A fora da relao medida em termos
de funes de incluso que podem
variar entre 0 e 1.
R:XY[0:1]

@2001

NCE e IM - UFRJ

Relaes 33

Relaes Nebulosas

Sejam Ai conjuntos nebulosos.

Uma relao nebulosa um subconjunto do

produto Cartesiano
R ( A1 , A2 , , An ) A1 A2 An

O produto cartesiano pode ser considerado

uma relao sem restries.

@2001

NCE e IM - UFRJ

Relaes 34

Funo Caracterstica

Mede a fora da relao entre os pares

Sejam A(x) e B(x) os graus de
incluso de x e y nos conjuntos A e B
respectivamente.

R ( x, y ) A B ( x, y )
R ( x, y ) min[ A ( x), B ( x)]
@2001

NCE e IM - UFRJ

Relaes 35

Funo Caracterstica Exemplo

Conjunto A={(x1,0.2),(x2,0.5),(x3,1)}

Conjunto B={(y1,0.3),(y2,0.9)}.

R=AB
x1
R
x2
x3

@2001

y1 y2
0.2 0.2
0.3 0.5
0.3 0.9

NCE e IM - UFRJ

Relaes 36

Propriedades de Relaes Nebulosas

Sejam X e Y dois sub-conjuntos nebulosos

de um universo U.

Sejam os elementos x X e y Y com

graus X(x) e Y(y).

Seja S o produto cartesiano X Y .

Seja R uma relao nebulosa em S.

@2001

NCE e IM - UFRJ

Relaes 37

Propriedades de Relaes Nebulosas

Propriedades com definies similares s

das relaes clssicas:
Reflexiva, No reflexiva, Anti-reflexiva;
Simtrica, Assimtrica, Antissimtrica;
Conectada
nica esquerda, nica direita, Bi-nica

@2001

NCE e IM - UFRJ

Relaes 38

Propriedades de Relaes Nebulosas

Transitiva: R transitiva se para todo x,y,z

temos que se (x,y)R e (y,z) R ento
(x,z)R.
Se R ( xi , x j ) 1 e R ( x j , xk ) 2
ento R ( xi , xk ) min(1 , 2 )

@2001

NCE e IM - UFRJ

Relaes 39

Relaes Nebulosas de Similaridade

(Equivalncia)

Relaes que so reflexivas, simtricas

e transitivas so chamadas de relaes
de equivalncia.

@2001

NCE e IM - UFRJ

Relaes 40

Relaes Nebulosas de Tolerncia

Relaes que so reflexivas e simtricas so

chamadas de relaes de tolerncia.
A relao nebulosa A cidade x perto da cidade
y uma relao de tolerncia.
A cidade x obviamente perto dela mesma
(reflexiva).
Se a cidade x perto da cidade y ento a cidade
y perto da cidade x (simtrica).
No certo que se x perto de y e y perto de z
ento x perto de z (transitiva).

@2001

NCE e IM - UFRJ

Relaes 41

Operaes com Relaes Nebulosas

Sejam R e S duas relaes no universo

Cartesiano XY.
Sejam as relaes
0
0
O

0

@2001

0 0
0 0

0 0

1
1
E

NCE e IM - UFRJ

1 1
1 1

1 1
Relaes 42

Operaes com Relaes Nebulosas

cont 1
Unio :
R S RS ( x, y ) max[ R ( x, y ), S ( x, y )]
Interseo :
R S RS ( x, y ) min[ R ( x, y ), S ( x, y )]
Complemento :
R ( x, y ) 1 R ( x , y )

@2001

NCE e IM - UFRJ

Relaes 43

Propriedades das Operaes

Comutatividade

A B B A
A B B A

Associatividade

A ( B C ) ( A B) C
A ( B C ) ( A B) C
A ( B C ) ( A B) ( A C )

Distributividade

A ( B C ) ( A B) ( A C )

@2001

NCE e IM - UFRJ

Relaes 44

Propriedades das Operaes cont 1

Idempotncia

A A A
A A A

Identidade

A A
A
A X X
A X A

@2001

NCE e IM - UFRJ

Relaes 45

Propriedades das Operaes cont 2

Excluso
do Meio
De Morgan

@2001

A A E
A A
A B A B
A B A B

NCE e IM - UFRJ

Relaes 46

Composio de Relaes Nebulosas

R

T=RS

@2001

NCE e IM - UFRJ

Relaes 47

Composio de Relaes Nebulosas

RS

y [ R ( x, y) S ( x, y )]

X Y

max
min ou

produto

A operao similar uma

multiplicao de matrizes
@2001

NCE e IM - UFRJ

Relaes 48

Exemplo de Composio Nebulosa

x1
x2

1.0
0.8

y1

0.9

y2

0.9

z1

0.7
0.8

x3

0.8
1.0

x4
@2001

y3

z2
z3

R X Y
S Y Z
NCE e IM - UFRJ

Relaes 49

Exemplo de Composio
1 0.8 0
0 0.9 0

R
0 0 0.8
0 0 1.0

0.9 0 0
S 0 0 0.8

0.7 0 0

R ( x1 , z1 ) [(1 0.9) (0.8 0) (0 0.7)]

0.9 0 0
000
RS
0 0 0.7
0 0 0.7

@2001

0 0 0 0 0.8 0
0 0 0 0 0.8 0

000 000

000 000

NCE e IM - UFRJ

Relaes 50

Exemplo de Composio
0.9
x1

0.8

x2

0.8

z1
z2

0.7
x3

0.7

z3

0.9
0
RS
0.7
0.7

0 0.8
0 0.8

0 0

0 0

x4
@2001

NCE e IM - UFRJ

Relaes 51

Relao de Implicao

If x is A then y is B
Esta regra possui uma relao de
implicao R(x,y)
Assuma que x is A, queremos
descobrir y is B
B= A R(x,y)
B (y)=x[A(x) R(x,y)]

@2001

NCE e IM - UFRJ

Relaes 52

Atribuio de Valores

Produto cartesiano
Expresses matemticas y=f(x)
Regras lingusticas
Classificao
Mtodos de similaridades de dados

@2001

NCE e IM - UFRJ

Relaes 53