CCF130 Matemtica Discreta

Teoria dos Conjuntos -

Funes
Prof Glucia Braga e Silva
Universidade Federal de Viosa
Campus Florestal
1 Semestre de !1"
Conceitos e #efini$es
%ipos de Fun$es
&'emplos
&'erc(cios
Sumrio
Funo - Conceitos
%ipos especiais de rela$es
Correspond)ncia entre dois con*untos + e B
,egra -ue associa cada o.*eto em um con*unto /a
+0 com um outro o.*eto em um segundo
con*unto /f(a) B0
1 con*unto + 2 o dom(nio de f
1 con*unto B 2 o contradom(nio de f
1 elemento f(a) 2 a imagem de a so. f3
Funo - Definio
Uma fun4o f de + em B5 denotada por f6 + B5
2 um su.con*unto de + 7 B tal -ue cada elemento
de + aparece e'atamente uma ve8 como a
primeira componente do par ordenado3
a)
b)
c)
B
A
Funo e Reaes
Uma fun4o 2 um tipo particular de rela4o
.inria3
Pela defini4o de fun4o5 uma rela4o do tipo um
para muitos ou muitos para muitos n4o pode ser
uma fun4o3
+l2m disso5 cada elemento de + tem -ue
aparecer como uma primeira componente do par
ordenado3
Funo - Re!resentao
+ fun4o f 2 sempre identificada com um grfico6
AxB a f b e A a b a = )} ( : ) , {(
Imagem de uma funo f (Im(f)): so os elementos do contradomnio
onde chegam flechas
)} ) ( ) ( )( ( ) ( : { ) ( y x f e f Dom x x e f Contradom y y f lm = =
Funo - "#em!o
&'emplo 1
1 relacionamento de ami8ade entre os alunos dessa sala
pode ser considerado uma fun4o9
&'emplo
Se*a + : ;15 5 <5 "= e B : ;15 5 <5 "5 >= 5 -ual dos con*untos
a.ai'o 2 uma fun4o definida em +?B9
f : ;/15 05 /5 <05 /<5 "05 /"5 >0=
g : ;/15 05 /15 <05 /5 "05 /<5 >05 /"5 >0=
No, pois pode ser que algum aluno tenha mais de um
amigo ou pode ser que algum aluno no tenha amigo algum.
Funo - "#em!o
&'emplo <
Se*a + : ;a5 .5 c5 d= e B : ;'5 @5 8=5 o seguinte diagrama
define a fun4o f6 + B
Funo - "#em!o
&'emplo "
Para -ual-uer inteiro ' e -ual-uer inteiro positivo n5 a fun4o
mAdulo n5 denotada por f/'0 : ' mod n5 associa a cada ' o
resto de sua divis4o por n3
&nt4o ' : -Bn Cr5 ! D r E n5 onde - 2 o -uociente e r 2 o
resto da divis4o de ' por n
> mod : 15 ou se*a5 > : 1 B C 1
1 mod F : !5 ou se*a5 1 : < B F C !
G1F mod > : <5 ou se*a5 G1F : /G"0B> C <
Ti!os de Funes
Hn*etora
So.re*etora
Bi*etora
Composta
Hnversa
Hdentidade
Funo $njetora
Definio: Uma fun4o f: ST 2 dita injetora se nenIum
elemento de T 2 a imagem5 so. f5 de dois elementos
distintos em S. (um para um)
+ fun4o f6 + B 2 in*etora se elementos distintos do dom(nio
s4o mapeados em imagens distintas3
G &'16 + fun4o f6 , , dada por f/'0 : '

n4o 2 in*etora5 pois

f/G0 : f/0 : "
G &'6 a fun4o g6 , , definida por g/'0 : '
<
2 in*etora5
pois5 se ' e @ s4o nJmeros reais com g/'0 : g/@05 ent4o '
<
: @
<
e ' : @
Para provar -ue uma fun4o 2 in*etora5 vamos supor -ue e'istem
elementos s1 e s de S com f/s10 : f/s0 e mostrar -ue s1: s
Funo $njetora
Kuais das fun$es a.ai'o s4o in*etoras9
A funo h injetora
As funes f e g no so injetoras
Funo So%rejetora
Definio: Uma fun4o f6 + ?B 2 so.re*etora se todo elemento
do contradom(nio B 2 imagem de no m(nimo um elemento
de +3
+ fun4o f6 K ? K definida por f/'0 : <' C 2 so.re*etora9
Se*a - K5 -ueremos encontrar ' K tal -ue f/'0 : <'C : -
,esolvendo a e-ua4o5 encontraGse ' : /-G0L<5 como Jnico
valor poss(vel5 -ue 2 elemento de K3
Mogo5 - 2 a imagem de um elemento de K so. f e f 2
so.re*etora3
Funo So%rejetora
Para toda fun4o com imagem , e contradom(nio %5
temos , %3 Para mostrar -ue uma determinada fun4o
2 so.re*etora5 precisamos mostrar -ue % ,N teremos
ent4o , :%
+ fun4o f6 O ? K definida por I/'0 : <' C 2 so.re*etora9
P4o 2 so.re*etora5 pois e'istem muitos valores - K /!5 por
e'emplo0 para os -uais a e-ua4o <'C : - n4o tem solu4o inteira3
Funo So%rejetora
Kuais das fun$es a.ai'o s4o so.re*etoras9
A funo f no sobrejetora
As funes g e h so sobrejetoras
Funo &ijetora
Definio: Uma fun4o f6 + ? B 2 .i*etora se 2
in*etora e so.re*etora5 ao mesmo tempo3
Funo Com!osta
Se*am +5 B e C tr)s con*untos n4o va8ios e f6 + ? B e
g6 B ?C duas fun$es de + em B e B em C5
respectivamente3
CIamaGse gof6 +?C5 a fun4o composta de g com f
Com!osio - "#em!o
&'emplo6 Calcular gof e fog
f6 P ? P g6 P ? P
f/n0 : n g/n0 : n

gof : g/f/n00 : g/n0 : /n0

: 4n
2
fog : f/g/n00 : f/n

0 : /n

0 : 2n
2
Funo $n'ersa
#ada uma fun4o f 6 + ? B 5 se f 2 .i*etora 5 ent4o defineGse a
fun4o inversa f
G1
como sendo a fun4o de B em + 5 tal -ue
f
G1
/@0 : ' 3
f(x) = y
f
-1
(y) = x
O domnio de f
-1
igual ao conjunto imagem de f .
O conjunto imagem de f
-1
igual ao domnio de f .
Funo $dentidade
Para -ual-uer con*unto +5 a fun4o f6 + ? +5 definida
por f/'0 : '5 -ue associa a cada elemento em + ele
mesmo5 2 cIamada de fun4o identidade em +3
Pota4o6 H
+
ou H
"#erc(cios
10 Classifi-ue as rela$es a.ai'o como fun$es /in*etoras5
so.re*etoras ou .i*etoras0
a)
b)
c)
d) e)
f)
"#erc(cios
0 #iga se cada diagrama define ou n4o uma fun4o de + :
;a5.5c= para B : ;'5 @5 8=
<0 Se*a + : ;15 5 <5 "5 >5 Q= e f6 + ? +5 a fun4o definida
por6
/a0 #eterminar f/<05 f/Q05 f o f/<0 e f/f/00
/.0 Rostrar -ue f 2 in*etora

=
+ =
6 , 1
6 , 1 ) (
x
x se x x f
"#erc(cios
"0 Se*a S : ;155<5"5>= e f6 S ? SN g6 S ? S N I6 S ?
S5 definidas pelos diagramas6
a0 #etermine se cada fun4o tem inversa
G&,S%HPG5 T3 M33 Fundamentos Matemticos para a Cincia da
Computao5 > &di4o5 M%C5 !!" /Cap3 "03
SCU&HP&,R+P5 &3 ,33 Matemtica Discreta V Uma Hntrodu4o5
%Iomson5 !!< /Cap3 >03
&i%io)rafia
D*'idas e Discusses