Você está na página 1de 40

Universidade Federal do Vale do So Francisco Curso de Engenharia da Computao

Matemtica Discreta Parte 11


Prof. Jorge Cavalcanti
jorge.cavalcanti@univasf.edu.br - www.univasf.edu.br/~jorge.cavalcanti
1

Relaes e Funes
Reviso Conceitos Bsicos Produto Cartesiano - Dados os conjuntos A e B, o produto cartesiano de A por B, denotado A X B, o conjunto formado por todos os pares ordenados (a, b) onde a A e b B, isto :
A X B = {(a,b) | a A, b B}

Ex.: Dados A={a} e B={a,b}


A X B = {(a,a), (a,b)} / B X A = {(a,a), (b,a)} Relao - Dados os conjuntos A e B, uma relao R de A

em B, denotada R: AB, qualquer subconjunto do produto cartesiano A X B. Ex.: Dados A={1,3,5} e B={3,9,15,20}, a relao R:
AB, tal que:

R = {(a,b) | b=3a} dada pelos pares ordenados R = {(1,3), (3,9), (5,15)}.


2

Relaes e Funes
Relaes Binrias
O Produto Cartesiano de um conjunto S com ele mesmo, S X S ou S2 o conjunto de todos os pares oredenados de elementos de S. Ex. 01. Seja S={1,2}, ento, S X S = {(1,1), (1,2), (2,1), (2,2)} Se estivermos interessados na relao de igualdade (x=y), ento (1,1) e (2,2) seriam os elementos de S que satisfazem a relao. Se estivermos interessados na relao de um nmero ser menor que outro (x<y), teramos o par (1,2) como nico que atende relao. Ou seja, definir uma relao binria R em um conjunto S especificar um subconjunto de S X S.
3

Relaes e Funes
Relaes Binrias
Em geral, uma relao binria definida por uma descrio da relao, ao invs da lista dos pares ordenados. A descrio fornece uma caracterizao dos elementos pertencentes relao. Ex.02: Seja S={1,2}, como no Ex. 01. Seja R a relao em S dada por R={(x,y) S X S | x + y = mpar}.
Ento R = {(1,2), (2,1)}.

Relaes e Funes
Tipos de Relaes Binrias
Seja uma relao em S com os pares ordenados na forma (s1, s2). Uma relao do tipo um para um se cada primeira componente (s1) e cada segunda componente (s2) do par ordenado aparece uma nica vez na relao. Uma relao do tipo um para muitos se alguma primeira componente (s1) aparece em mais de um par. A relao dita muitos para um se alguma segunda componente s2 aparecer em mais de um par. Finalmente, a ela muitos para muitos se pelo menos um s1 aparece em mais de um par e pelo menos um s2 tambm aparece em mais de um par.

Relaes e Funes
Tipos de Relaes Binrias

Um para um

Um para muitos

Muitos para um

Muitos para muitos

Relaes e Funes
Propriedades das Relaes Binrias
Seja uma relao R em um conjunto S com a seguinte descrio: R={(x,y) S X S | x = y}. Essa relao de igualdade tem trs propriedades:
Para qualquer x S, (x,x) R; Para qualquer x e y S, se x=y, ento y=x, ou seja (x,y) R (y,x) R Para qualquer x, y e z S, se x=y, y=z, ento x=z, ou seja, [(x,y) R e (y,z) R] (x,z) R.

Essas trs propriedades fazem com que a relao de igualdade seja reflexiva, simtrica e transitiva. R ser reflexiva significa (x)(x S (x,x) R) R ser simtrica significa (x)(y)(x S y S (x,y) R (y,x) R) R ser transitiva significa (x)(y)(z)(xS yS zS (x,y) R (y,z) R (x,z) R)
7

Relaes e Funes
Propriedades das Relaes Binrias
Ex.03: Considere a relao no conjunto N. Ela reflexiva, pois para qualquer inteiro no-negativo x, x x.
Ela transitiva pois quaisquer inteiros no-negativos x, y, e z, se x y e y z, ento x z. Entretanto ela no simtrica, pois 3 4 no implica que 4 3.

Dizer que uma relao R anti-simtrica significa (x)(y)(x S y S (x,y) R e (y,x) R x = y). Ex. 04: Seja S = (N) e A, B e C subconjuntos de S. Considere uma relao binria em S definida por R: AB (a,b) | A B. Ento R reflexiva, j que todo conjunto subconjunto de si mesmo. R transitiva pois se A subconjunto de B e B subconjunto de C, ento A subconjunto de C. R anti-simtrica pois se A um subconjunto de B e B subconjunto de A, ento A=B.
8

Relaes e Funes
Propriedades das Relaes Binrias Resumo
Reflexiva uma relao na qual todo elemento est relacionado consigo mesmo. Na igualdade sobre os nmeros reais isso claramente verificado. Simtrica indica que toda vez que um elemento estiver relacionado com outro, a vice-versa tambm estar relacionada. Numa relao de parentesco entre duas pessoas isso um fato verdadeiro. Transitiva significa que se um nmero relaciona-se com um segundo nmero e este com um terceiro, pode-se obter a relao do primeiro com o terceiro. A relao menor sobre os nmeros naturais ilustra essa propriedade. Anti-simtrica no o inverso da simtrica e sim estabelece que no possvel inverter os elementos, ou seja (y,x) R, a menos que x=y. 9

Relaes e Funes
Ex. 05: Seja S={1,2,3} e R uma relao em S. Se R reflexiva, quais os pares ordenados tem que pertencer a R? Ex. 06: Se uma relao R em S simtrica e se (a,b) R, que outro par ordenado tem que pertencer a R? Ex. 07: Se uma relao R em S anti-simtrica e se (a,b) e (b,a) R, o que tem que ser verdade nessa condio? Ex. 08: Identifique as propriedades de cada relao abaixo:
a. b.

S = N; R={(x,y) | x + y par} S = Z+; R={(x,y) | x divide y}

10

Relaes e Funes
Representao A relao pode ser representada atravs de Diagrama de Venn.
1 3 5 3 9 15 20

Domnio e Imagem de uma Relao - O Domnio de uma relao R, denotado D(R), o conjunto formado pelos primeiros elementos de cada par ordenado da relao. No exemplo anterior, o domnio o conjunto D(R) = {1,3,5} A Imagem de uma relao R, denotada I(R), o conjunto formado pelos segundos elementos de cada par ordenado da relao. exemplo anterior, o domnio o conjunto I(R) = {3,9,15}
11

Relaes e Funes
Relao como Grafos Toda relao R: AB pode ser representada a partir de um
grafo direcionado com arestas ligando cada par ordenado (a,b), com origem em a e destino em b.

Ex.: Dados A={1,2,3} e B={4,5}


A X B: AB {(1,4), (1,5), (2,4), (2,5), (3,4), (3,5)}

1 2

4 5

3
<:AA = {(1,2), (1,3), (2,3)}

12

Relaes e Funes
Relao como Matrizes A relao R: AB pode ser representada na forma de matriz, o
que facilita sua implementao em sistemas computacionais. Seja A={a1, a2, ...an} e B={b1, b2, ...bm} dois conjuntos finitos. A representao da relao R como matriz como se segue:
O nmero de linhas n (nmero de elementos do domnio). O nmero de colunas m (n de elementos do Contra-Domnio) A matriz tem n * m posies e cada posio contm um valor lgico verdadeiro ou falso. Se (ai, bj) R, ento a posio contm o valor verdadeiro (1); caso contrrio, contm o valor falso (0).

Ex.: Sejam A={a}, B={a,b} e C={0,1,2}. As seguintes relaes so representadas como matrizes:
1 - A X B: AB
AXB a a 1 b 1

2 S={(0,a), (1,b)}: CB
S 0 1 2 a 1 0 0 b 0 1 0

3 - =: AB
= a a 1 b 0

13

Relaes e Funes
Relao Dual
Seja relao R: AB. A Relao Dual, Oposta ou Inversa denotada por: R-1: BA e obtida pela inverso dos componentes de

cada par ordenado.


R-1= {(b,a) | (a,b) R} A X B: AB , (A X B)-1 = B X A: BA

A matriz da relao dual a matriz transposta da matriz da relao. O grafo da relao dual o grafo resultante da inverso dos sentidos das arestas. Composio de Relaes Sejam as relaes R: AB e S:B C. A composio de R e S, resultando na relao: S R: A C, tal que: S R = {(a,c) | (b B)(aRb bSc)}
14

Relaes e Funes
Composio de Relaes
Ex: A composio das relaes R: AB e S:B C SR: A C, sendo que:
R = {(a,1), (b,3), (b,4), (d,5)} S = {(1,x), (2,y), (5,y), (5,z)} S R = {(a,x), (d,y), (d,z)} A composio das relaes mostrada no diagrama abaixo:

SR R a b c d A B 1 2 3 4 5 S x y z C
15

Relaes e Funes
Tipos de Relaes Uma relao pode ser classificada nos seguintes tipos, os quais no so mutuamente exclusivos:
Funcional Injetora Total Sobrejetora Monomorfismo Epimorfismo Isomorfismo

Os tipos acima possuem noo de dualidade que pode simplificar o estudo e a respectiva compreenso de cada tipo.
Funcional o dual de injetora e vice-versa Total o dual de sobrejetora e vice-versa. Monomorfismo o dual de epimorfismo e vice-versa. Isomorfismo dual de si mesmo.
16

Relaes e Funes
Relao Funcional define o conceito de funo. Seja a relao R: AB. R funcional se e somente se:
(aA)(b1B)(b2B)(aRb1 aRb2 b1=b2)

Ou seja, em uma relao funcional, cada elemento de A est relacionado com, no mximo, um elemento de B. Ex.: Sejam A={a}, B={a,b} e C={0,1,2}. Ento: So relaes funcionais: No so relaes funcionais:
: AB {(0,a), (1,b)}: CB =: AB A X B: AB <: CC

Matriz: existe, no mximo, um valor verdadeiro em cada linha da matriz. Grafo: existe, no mximo, um arco partindo de cada 17 n.

Relaes e Funes
Relao Injetora o inverso (dual) de uma funcional. Seja a relao R: AB. R injetora se e somente se:
(bB)(a1A)(a2A)(a1Rb a2Rb a1=a2)

Ou seja, em uma relao injetora, cada elemento de B est relacionado com, no mximo, um elemento de A. Ex.: Sejam A={a}, B={a,b} e C={0,1,2}. Ento: So relaes injetoras:
: AB {(0,a), (1,b)}: CB =: AB A X B: AB

No so relaes injetoras:
B X A: BA <: CC

Matriz: existe, no mximo, um valor verdadeiro em cada coluna da matriz. Grafo: existe, no mximo, um arco chegando em cada 18 n.

Relaes e Funes
Relao Total Seja a relao R: AB. R total se e somente se: (aA)(bB)(aRb) Ou seja, em uma relao total, para cada elemento de A, existe pelo menos, um elemento de B. Ex.: Sejam A={a}, B={a,b} e C={0,1,2}. Ento: So relaes totais:
=: AB A X B: AB

No so relaes totais:
: AB {(0,a), (1,b)}: CB <: CC

Matriz: existe, pelo menos, um valor verdadeiro em cada linha da matriz. Grafo: existe, pelo menos, um arco partindo de cada n.
19

Relaes e Funes
Relao Sobrejetora Seja a relao R: AB. R sobrejetora se e somente se: (bB)(aA)(aRb) Ou seja, em uma relao sobrejetora, para cada elemento de B, existe pelo menos, um elemento de A. Ex.: Sejam A={a}, B={a,b} e C={0,1,2}. Ento: So relaes sobrejetoras:
=: AA {(0,a), (1,b)}: CB A X B: AB

No so relaes sobrejetoras:
=: AB : AB <: CC

Matriz: existe, pelo menos, um valor verdadeiro em cada coluna da matriz. Grafo: existe, pelo menos, um arco chegando em cada n.
20

Relaes e Funes
Monomorfismo ou monorrelao Seja a relao R: AB. R um monomorfismo se e somente se for simultaneamente TOTAL e INJETORA. Ou seja, em um monomorfismo, cada elemento de B, est relacionado com, no mximo, um elemento de A e para cada elemento de A, existe pelo menos, um elemento de B. Ex.: Sejam A={a}, B={a,b} e C={0,1,2}. Ento:

So monomorfismos:
=: AB A X B: AB

No so monomorfismos:
B X C: BC : AB {(0,a), (1,b)}: CB <: CC

Matriz: existe, pelo menos, um valor verdadeiro em cada linha (total) e no mximo um valor verdadeiro em cada coluna(injetora) da matriz. Grafo: existe, pelo menos, um arco partindo (total) e no mximo, um arco chegando (injetora) em cada n. 21

Relaes e Funes
Epimorfismo ou Epirrelao Seja a relao R: AB. R um Epimorfismo se e somente se for simultaneamente FUNCIONAL e SOBREJETORA. Ou seja, em um Epimorfismo, cada elemento de A, est relacionado com, no mximo, um elemento de B e para cada elemento de B, existe pelo menos, um elemento de A. Ex.: Sejam A={a}, B={a,b} e C={0,1,2}. Ento:

So epimorfismos:
=: AA {(0,a), (1,b)}: CB

No so epimorfismos:
=: AB : AB A X B: AB <: CC

Matriz: existe, pelo menos, um valor verdadeiro em cada coluna (sobrejetora) e no mximo um valor verdadeiro em cada linha(funcional) da matriz. Grafo: existe, pelo menos, um arco chegando (sobrejetora) e no mximo, um arco partindo (funcional) em cada n. 22

Relaes e Funes
Isomorfismo ou Isorrelao Seja a relao R: AB. R um Isomorfismo se e somente se for simultaneamente TOTAL, FUNCIONAL, INJETORA E SOBREJETORA. Ex.: Sejam A={a}, B={a,b} e C={0,1,2}. Ento:

So isomorfismos:
: {(0,1), (1,2), (2,0)}: CC

No so isomorfismos:
: AB A X B: AB <: CC

Definio para grafos e matrizes ?


Enviar por e-mail jorge.cavalcanti@univasf.edu.br

23

Relaes e Funes
Exerccio
1.

Dados os conjuntos A = {2,3,4,5} e B = {3,4,5,6,10}, determine as relaes R1 = A X B: AB e R2= <: A X B AB, determinando o(s) tipo(s) de relao de R1 e R2 e faa a representao de cada uma por matriz e por grafo.

24

Relaes e Funes
Funes Parciais
Uma funo parcial uma relao funcional. Se a relao funcional for total, ento denominada de funo total ou simplesmente funo.
Relaes Funes Parciais Funes Totais

uma funo que no definida para todos os elementos do domnio. Normalmente, as abordagens matemticas so focadas no conceito de funo total, mas o estudo de funes parciais to importante quanto o de total.
25

Relaes e Funes
Funo Parcial
Todos os conceitos vistos para uma relao funcional so vlidos para funes parciais, como por exemplo: As terminologias de domnio, imagem etc.. Os tipos injetora, sobrejetora etc.. Definio: uma Funo Parcial uma relao funcional f A x B Cada elemento do domnio est relacionado com no mximo, um elemento do contradomnio. Uma funo parcial denotada por f: AB e o par (a,b)f denotado por f(a)=b. Ex.: Sejam A={a}, B={a,b} e C={0,1,2}. Ento:

So funes parciais:
: AB {(0,a), (1,b)}: CB =: AB

No so funes parciais:
A X B: AB <: CC T A x B, T={(a,a), (a,b)}
26

Relaes e Funes
Funo Parcial
Matriz: existe, no mximo, um valor verdadeiro em cada linha da matriz. Grafo: existe, no mximo, um arco partindo de cada n.
Ex.: Sejam A ={0,1,2}, B ={a,b} e f={(0,a), (1,b)}: AB
f a b

0 1 0 1 0 1 2 0 0

0 1

a b

A operao div: tal que div(x, y) = x/y uma funo parcial pois no definida para (x, 0), qualquer que seja x .
27

Relaes e Funes
Funo Parcial Dual (oposta, inversa)
A relao dual de uma funo parcial no necessariamente uma funo parcial. Seja A={0,1,2} e a funo parcial f:A x A tal que f={(0,2),(1,2) }. Assim, a relao dual (inversa) de f f-1 ={(2,0),(2,1)}, que claramente no uma relao funcional e ento, no uma funo parcial. Lembrar que o dual de uma relao funcional injetora.

Composio de Funes Parciais


Por definio, a composio de relaes funcionais uma relao funcional. Da, a composio resultante de funes parciais tambm uma funo parcial.

28

Relaes e Funes
Composio de Funes Parciais
Ex.: A composio das funes parciais f: AB e g: B C g f: A C, sendo que:
f = {(a,1), (c,5), (d,5)} g = {(1,x), (2,y), (4,y), (5,z)} g f = {(a,x), (c,z), (d,z)} A composio das funes mostrada no diagrama abaixo: gf f a b c d A B 1 2 3 4 5 g x y z C
29

Relaes e Funes
Funo Total
Uma funo total ou simplesmente funo uma funo parcial f: AB a qual total. uma funo que definida para todos os elementos do domnio (A), ou seja devem ser vlidas as seguintes proposies: (aA)(bB)(aRb) e (aA)(b1B)(b2B)(aRb1 aRb2 b1=b2) Sejam A={a}, B={a,b} e C={0,1,2}. Ento:
So funes: h C X B, h={(0,a), (1,b), (2,b)} {(0,a), (1,b), (2,b)}: CB p A X B, xpy x=y, p = {(a,a)} =: AB <: CC
30

No so funes: R A X B, R= : AB S C X B, S={(0,a), (1,b)} {(0,a), (1,b)}: CB

Relaes e Funes
Funo
Em termos de notao como matriz ou grafo, basta considerar que uma funo uma relao funcional e total. Assim: Matriz: existe, exatamente, um valor verdadeiro em cada linha da matriz. Grafo: existe, exatamente, um arco partindo de cada n. Funo Injetora - Seja a funo f: AB. f injetora se e

somente se:
(bB)(a1A)(a2A)(f(a1) =b f(a2) =b a1=a2) Ou seja, em uma funo injetora, cada elemento de B est relacionado com, no mximo, um elemento de A.

f: Ex2. f: Ex3. f:
Ex1.

| f(x) = x3, injetora. | f(x) = x2, no injetora. | f(x) = x2, injetora.

31

Relaes e Funes
Em uma Funo injetora, cada elemento do co-domnio imagem de no mximo, um elemento do domnio. Funo Sobrejetora - Seja a funo f: AB. f sobrejetora se e somente se: (bB)(aA)(f(a)=b) Ou seja, em uma relao sobrejetora, para cada elemento de B, existe pelo menos, um elemento de A.
Em uma Funo sobrejetora, todo elemento do co-domnio imagem de pelo menos, um elemento do domnio.

Funo bijetora (ou isomorfismo) Quando uma funo , simultaneamente, injetora e sobrejetora.
Em uma Funo bijetora, todo elemento do co-domnio imagem, exatamente, de um elemento do domnio.

A 3 4 5

B x y x

32

Relaes e Funes
Exerccio
1.

Considerem-se as funes adio sobre o conjunto dos nmeros naturais (+: x ), diviso, sobre o conjunto dos nmeros reais (/: x ), e raiz quadrada, sobre o conjunto dos nmeros inteiros (: ). Verificar as propriedades (injetora, sobrejetora e total) de cada funo (1).

= Nmeros naturais {0,1,2..} =Nmeros inteiros {...-2,-1,0,1,2...} = Nmeros reais.


Injetora Sobrejetora Total

+: x
/:

No No Sim

Sim Sim No

Sim No No

:
(1)

Do Livro Linguagens Formais Teorias, Modelagem e Implementao, Ramos, M. V. M., Neto, J.J. e Vega, I. S. Bookman, 2009.

33

Relaes e Funes
Funo Dual (Oposta)

Da mesma forma que em funes parciais, a relao dual de uma funo (total) no necessariamente uma funo.
Exemplos
Seja A = {0,1,2} e a funo R A x A tal que R={(0,2),(1,2),(2,1)}. Assim, a relao dual (inversa) de R R-1 = {(2, 0), (2, 1), (1, 2) }, que no uma relao funcional e ento, no uma funo. Seja f: {0, 1} {0, 1, 2} tal que f = { (0, 0), (1, 1) }. Assim, sua dual possui o mesmo conjunto de pares ordenados, { (0, 0), (1, 1) }, mas no funo.

34

Relaes e Funes
Composio de Funes Totais A composio das funes totais f: AB e g: B C g f: A C, sendo que:
f = {(a,1), (b,2), (c,5), (d,5)} g = {(1,x), (2,y), (3,y), (4,y), (5,z)} g f = {(a,x), (b,y), (c,z), (d,z)} A composio das funes mostrada no diagrama abaixo: g f f f a b c d A B 1 2 3 4 5 g x y z C
35

Relaes e Funes
Composio de Funes
Sejam f: AB e g: B C, ento a funo g f: A C, uma funo definida por (g f)(a) = g[f(a)] onde a A. A funo g v f chamada de composio de g e f. Ex. 1: Sejam A={1,2,3,4,5}, B={6,7,8,9} e C={10,11,12,13}. Sejam f: AB e g: B C, definidas por: f = {(1,6), (2,6), (3,9), (4,7), (5,7)} g = {(6,10), (7,11), (8,12), (9,13)} Ento g f = {(1,10), (2,10), (3,13), (4,11), (5,11)} (g f)(2) = g[f(2)] = g[6] = 10 f 6 7 8 9 B g 10 11 12 13 C

1 2 3 4 5

Relaes e Funes
Composio de Funes
Ex. 2: Sejam f, g: dada por f(x) = x2+1 e g(x)=2x-3. Quanto vale (g f)(4)? (g f)(4) = g[f(4)] = g(42+1) = g(17) = 2(17)-3 = 31. De modo geral: (g f)(x) = g[f(x)] = g(x2+1) = 2(x2+1) -3 = 2x2+2-3 = 2x2- 1 Por que g f e no f g?
A notao g f significa que primeiro calculamos f e em seguida g (em g f (a), f est mais prximo de (a)).

O domnio de g f o mesmo domnio de f. A existncia da funo g f, no assegura a definio de f g.


Veja g(6) no Ex. 1.

Quando ambas so definidas, geralmente g f f g.

Relaes e Funes
Composio de Funes
Ex. 3: Sejam A={1,2,3,4,5}, f: AA e g: A A, definidas por:
f = {(1,1), (2,1), (3,1), (4,1), (5,1)} g ={(1,5), (2,4), (3,3), (4,2), (5,1)} Ento g o f e f o g so: g o f = {(1,5), (2,5), (3,5), (4,5), (5,5)} f o g = {(1,1), (2,1), (3,1), (4,1), (5,1)}

gffg
Exerccio: Sejam f, g: dada por f(x) = x2+1 e g(x)=2x-3. Mostre que: (g f)(4) (f g)(4) (g f)(x) (f g)(x)

a) b)

Relaes e Funes
Composio de Funes
Associatividade Sejam os conjuntos A, B, C e D e sejam f: AB, g: B C e h: DC, ento:

h (g f) = (h g) o f [h (g f) (a)] = h [(g f) (a)] = h[g[f(a)]] [(h g) f](a) = (h g) [f(a)] = h[g[f(a)]] Logo: h (g f) = (h g) f

Relaes e Funes
Funo Identidade
Seja um conjunto A. A funo identidade em A (IdA) a funo cujo domnio A e para todo a A, IdA= a, ou f(a) = a.
IdA = [(a,a) a A]

Sejam os conjuntos A e B, f: AB, ento:


f IdA = IdB f = f (f IdA) (a)= f (IdA(a)) = f(a) = f (IdB f) (b)= IdB(f (b)) = IdB (b) = f Ex.: Seja A={1,2,3}, B={4,5,6}, f: AB dada por f:{(1,4), (2,5), (3,6)}. Verifique que f IdA = IdB f = f IdA = {(1,1), (2,2), (3,3)} Idb= {(4,4), (5,5), (6,6)} f IdA = f[IdA] = {(1,4), (2,5), (3,6)} = f IdB f = IdB[f] = {(1,4), (2,5), (3,6)} = f