RELAES E FUNES

Prof. Ronaldo R. Goldschmidt

ronaldo.rgold@gmail.com
RELAES E FUNES
Suponha A e B conjuntos. Uma Relao (binria) R de A em B
um subconjunto de um produto cartesiano A x B, ou seja:
R _ A x B
sendo que:
A denominado domnio, origem ou conjunto de partida de R.
B denominado contradomnio, codomnio, destino ou
conjunto de chegada de R.
RELAES E FUNES
importante observar que uma relao R _ A x B constituda
de trs partes: a origem A, o destino B e o conjunto de pares R.
Qualquer alterao em uma destas trs partes define uma outra
relao.
Uma relao R _ A x B tambm denotada como segue:
R: A B
e um elemento (a, b) e R frequentemente denotado de forma
infixada, como segue:
a R b
RELAES E FUNES
Endorrelao, Auto-Relao
Suponha A um conjunto. Ento uma relao R: A A (origem e
destino no mesmo conjunto) dita uma Endorrelao ou Auto-
Relao. Nesse caso, afirma-se que R uma relao em A.
RELAES E FUNES
Definio:
Sejam A um conjunto e R uma endorrelao em A. Ento R uma relao:
a) Conexa, se, para todo a, b e A, vale que a R b ou b R a ou a = b
b) Reflexiva, se, para todo a e A, vale que a R a
c) Simtrica, se, para todo a, b e A, caso a R b, ento b R a
d) Anti-Simtrica, se, para todo a, b e A, caso a R b e b R a, ento a = b
e) Transitiva, se, para todo a, b, c e A, caso a R b e b R c, ento a R c
RELAES E FUNES
Exemplo: Sejam A = {1, 2, 3} e R = {(1,1), (1,2), (1,3), (2,2), (3,3), (2,1)}
a) R no Conexa, pois 2 e 3 e A, mas (2,3) e R, (3,2) e R e 2 = 3
b) R Reflexiva, pois (1,1), (2,2) e (3,3) e R
c) R no Simtrica, pois (1,3) e R, mas (3,1) e R
d) R no Anti-Simtrica, pois (1,2) e (2,1) e R, mas 1 2
e) R Transitiva, pois, para todo a, b, c e A, se a R b e b R c, ento a R c
RELAES E FUNES
Definio: Sejam R: A A uma endorrelao e P um conjunto de
propriedades. Ento o Fecho de R em relao a P a menor endorrelao
em A que contm R e que satisfaz as propriedades de P.
Ex: A = {1,2,3} e P={Propriedade Reflexiva}
Sendo R = {(1,1), (2,2), (1,2), (1,3), (2,3)}
Fecho-P(R) = {(1,1), (2,2), (3,3), (1,2), (1,3), (2,3)}
Obs: Qqs que sejam as propriedades, R _ Fecho-P(R)
Pergunta-se: Quando R = Fecho-P(R)?
RELAES E FUNES
Definio:
Sejam A um conjunto e R uma endorrelao em A. Ento R uma:
a) Relao de Ordem Parcial se R uma relao:
reflexiva;
anti-simtrica;
transitiva.
Exemplos: (N, ), (2
A
, _) e (Q, =) so relaes de ordem parcial
RELAES E FUNES
Definio:
Sejam A um conjunto e R uma relao em A. Ento R uma Relao de
Equivalncia se for reflexiva, simtrica e transitiva.
Exemplo:
Considere a seguinte relao:
R = {(a, b) e N
2
| (a MOD 2) = (b MOD 2)}
onde MOD a operao que resulta no resto da diviso inteira. fcil
verificar que R uma relao de equivalncia.
RELAES E FUNES
Um importante resultado que cada relao de equivalncia R: A A
induz uma partio do conjunto A em subconjuntos disjuntos e no
vazios denominados de classes de equivalncia ou blocos da partio, tal
que a unio de todos os blocos resulta em A.
Exemplo (mesmo anterior):
Considere a seguinte relao: R = {(a, b) e N
2
| (a MOD 2) = (b MOD 2)}
Intuitivamente, a relao R induz uma partio do conjunto N, como segue:
[0], a classe de equivalncia dos nmeros pares (resto zero);
[1], a classe de equivalncia dos nmeros pares (resto um).
RELAES E FUNES
Exemplo:
Considere a seguinte relao:
R = {(a, b) e N
2
| (aMOD 2) = (b MOD 2)}
onde MOD a operao que resulta no resto da diviso inteira. fcil
verificar que R uma relao de equivalncia.
Intuitivamente, a relao R induz uma partio do conjunto N, como
segue:
[0], a classe de equivalncia dos nmeros pares (resto zero);
[1], a classe de equivalncia dos nmeros pares (resto um).
RELAES E FUNES
Definio: Uma Funo Parcial uma relao ] _ A x B tal que se (a,b) e ]
e (a,c) e ] ento b = c.
Obs: Cada elemento do domnio est relacionado a, no mximo, um elemento
do codomnio.
Notao: ]: A B
(a,b) e ] ](a)=b
Exemplo: A = {1, 2, 3} e B = {a, b, c}
] = {(1,a), (2,b)}
] uma funo parcial
RELAES E FUNES
Definio: Seja ]: A B uma Funo Parcial. Ento:
a) Se, para a e A, existe b e B tal que ](a)=b, diz-se que ] est definida
para a e que b imagem de a por ].
Caso contrrio, ] no definida para a.
b) Conjunto imagem de ]
Img(f) = { b e B / - a e A tal que ](a)=b}
RELAES E FUNES
Definio: Sejam ]: A B e g : B C funes Parciais. A composio de f
e g dada por:
g o f : A C tal que a e A:
g o f (a) = g(f(a)), se f(a) e g(f(a)) so definidas.
g o f (a) indefinida, caso contrrio.
Exemplo Indique:
g o f (a) =
g o f (b) =
g o f (c) =
g o f (d) =
RELAES E FUNES
Definio: Uma Funo Total (Aplicao, ou simplesmente ,Funo) uma
relao ] _ A x B tal que: a e A, ento existe b e B tal que f(a)=b.
Obs: Todos os elementos do domnio esto relacionados a um elemento do
codomnio.
Notao: ]: A B
(a,b) e ] ](a)=b
Exemplo: A = {1, 2, 3} e B = {a, b, c}
] = {(1,a), (2,b), (3,a)}
] uma funo total
RELAES E FUNES
Definio: Sejam ]: A B e g : B C funes totais. A composio de f e g
dada por:
g o f : A C tal que a e A g o f (a) = g(f(a))
Exemplo Indique:
g o f (a) =
g o f (b) =
g o f (c) =
g o f (d) =
A = {a, b, c, d}
B = {1, 2, 3}
C = {x, y, z, w}
f = {(a,1), (b,2), (c,3), (d,3)}
g = {(1,x), (2,y), (3,z)}
RELAES E FUNES
Definio: Seja ]: A B uma aplicao.
f injetora se: a, b e A tal que f(a)=f(b), ento a=b.
Exemplos:
1
2
3
a
b
c
d
f injetora
1
2
3
a
b
f no injetora
RELAES E FUNES
Definio: Seja ]: A B uma aplicao.
f sobrejetora se: b e B, - a e A tal que f(a)=b.
Exemplos:
1
2
3
a
b
c
d
f no sobrejetora
1
2
3
a
b
f sobrejetora
RELAES E FUNES
Definio: Seja ]: A B uma aplicao.
f bijetora (ou isomorfismo) se: f for injetora e sobrejetora
Exemplos:
1
2
3
a
b
d
f bijetora
1
2
3
a
b
f no bijetora
RELAES E FUNES
Definio: A Cardinalidade de um conjunto #A (ou Card(A)) :
Finita Se existe bijeo entre A e o conjunto {1, 2, ..., n} para algum n
Notao: #A=n
Exemplo:
1
2
3
a
b
d
#A=3
RELAES E FUNES
Definio: A Cardinalidade de um conjunto #A (ou Card(A)) :
Infinita Se existe bijeo entre A e um subconjunto prprio de A
Exemplo: f: Z N tal que:
Se a > 0 ento f(a) = 2a (mapeia nos nmeros pares)
Se a < 0 ento f(a) = |2a| - 1 (mapeia nos nmeros mpares)
f bijetora e como N subconjunto prprio de Z #Z infinita
RELAES E FUNES
Definio: Um conjunto infinito A :
Enumervel (Contvel) se existe uma bijeo entre A e N
No Enumervel (No Contvel), caso contrrio
Exemplos:
- Z e N so enumerveis
- R no enumervel