UNIVERSIDADE FEDERAL DE PELOTAS CENTRO DESENVOLVIMENTO TECNOLGICO - CDTec CURSO CINCIA DA COMPUTAO CURSO DE ENGENHARIA DE COMPUTAO

Sistemas Discretos I Prof. Aline Brum Loreto

****************************************************************************************

Lista 7 Funes
Exerccios

Parcial e Total

1) Sejam A={a}, B={a,b}, C={0,1,2} . a) Para cada item abaixo, faa o seguinte: - justifique por que so funes parciais; - determine o domnio de definio e o conjunto imagem; - determine o tipo da funo (injetora, monomorfismo, etc.): a.1) :AB a.2) {<0,a>,<1,b>}:CB a.3) =:AB a.4) x2: ZZ onde x2={<x,y>Z2y=x2} b) Justifique por que no so funes parciais: b.1) AxB: AB b.2) <: CC 2) Sobre a dualidade de uma funo parcial, por que a dual da seguinte funo parcial no uma funo parcial? x2: ZZ onde x2={<x,y>Z2y=x2} 3) Sejam A={a}, B={a,b}, C={0,1,2}. Usando Diagrama de Venn, determine todas as composies possveis entre as seguintes funes parciais: :AC =:BA f={<0,a>,<2,b>}:CB 4) Para as funes parciais (justifique a sua resposta); a) O conceito de injetora coincide com o de monomorfismo? b) O conceito de sobrejetora coincide com o de epimorfismo? 5) Em que condies o conjunto vazio : a) Uma funo parcial? b) Uma funo? 6) Verifique a existncia de funes entre os conjuntos de cada item abaixo. No caso de existir, quantas e quais funes distintas podem ser definidas? a) Domnio {a} e codomnio {x,y,z}; b) Domnio e codomnio {x,y,z};

c) Domnio {a,b,c} e codomnio {x}; d) Domnio {a,b,c} e codomnio ; e) Domnio {a,b} e codomnio {a,b}. 7) Sejam A={a}, B={a,b}, C={0,1,2} . a) Para cada item abaixo, faa o seguinte: - justifique por que so funes; - determine o domnio de definio e o conjunto imagem; - determine o tipo da funo (injetora, monomorfismo, etc.): a.1) =:AB a.2) idB:BB a.3) x2: ZZ onde x2={<x,y>Z2y=x2} b) Justifique por que no so funes: b.1) : AB b.2) {<0,a>,<1,b>}:CB b.3) AxB:AB b.4) <: CC 8) Sobre funo constante: a) Toda funo identidade uma funo constante? b) Em que casos uma funo constante : b.1) Injetora? b.2) Sobrejetora? 9) Sobre funo incluso: a) Por que toda funo incluso injetora? b) A composio de funes incluso uma funo incluso? Justifique sua resposta. 10) Seja a funo f:{0,1}{0,1,2} tal que f={(0,0),(1,1)}. Afirma-se que a relao dual no funo: fop={(0,0),(1,1)}, observe que os conjuntos de pares ordenados correspondentes a f e fop so iguais: f=fop ou seja {(0,0),(1,1)} ={(0,0),(1,1)}. Ento, por que f funo enquanto que fop no funo?