Universidade Federal de Santa Catarina - UFSC

Departamento de Informatica e de Estatstica - CTC - INE

INE5381 - Fundamentos Matematicos para a Informatica
Prof. Mauro Roisenberg
Lista de Exerc
cios

1. Dado o conjunto X = f1; 2; 3; 4g e seja

R = f(x; y)jX 2 X ^ y 2 X ^ ((x ; y) e multiplo de 2)g
S = f(x; y)jX 2 X ^ y 2 X ^ ((x ; y) e multiplo de 3)g
(a) Enumere R
(b) Enumere S
(c) Enumere R [ S
(d) Enumere R \ S
2. Dadas as relaco~es P = f(1; 2); (2; 4); (3; 3)g e Q = f(1; 3); (2; 4); (4; 2)g
Ache
(a) P [Q
(b) P \Q
(c) o domnio de P
(d) o domnio de Q
(e) o domnio de P [ Q
(f) a imagem P
(g) a imagem de Q
(h) a imagem de P \ Q
3. Dada o conjunto S = f1; 2; 3; 4g e a relaca~o  em S denida por
 = f(1; 2); (4; 3); (2; 2); (2; 1); (3; 1)g
Mostre que  n~ao e transitiva. Desenhe o grafo e a matriz da relac~ao. Ache
uma relac~ao 2 tal que   2 e na qual 2 seja transitiva.
4. Determine as propriedades das relac~oes mostradas na gura abaixo e escreva
as matrizes correspondentes.
 Figure 1: Grafos de relac~oes binarias

5. Seja X = f1; 2; :::7g e  = f(x ; y) j x ; y e divisvel por 3g.

Mostre que  e uma relac~ao de equival^encia e desenhe o grafo de .
6. Seja Z o conjunto dos inteiros e seja  a relac~ao chamada \modulo congruente
3" denida por
 = f(x; y)jx 2 Z ^ y 2 Z ^ (x ; y) e divisvel por 3g.
Determine as classes de equival^encia geradas pelos elementos de Z .
7. Seja X = fa; b; c; d; eg e seja C = ffa; bg; fcg; fd; egg. Mostre, explicitando a
relac~ao de equival^encia  que dene C como uma partic~ao de X .
8. Seja o conjunto A = fa; b; cg e o conjunto
X = P (A) = f;; fag; fbg; fcg; fa; bg; fa; cg; fb;cg; Ag.
Mostre que a relac~ao de inclus~ao () e uma relac~ao de ordem. Esta relac~ao e
de ordem total ou parcial? Porque?
9. Sejam os conjuntos X = fx1; x2; x3; x4; x5; x6g, Y = fy1; y2; y3; y4; y5g
e Z = fz1; z2; z3; z4g.
Dadas as relac~oes R = f(x1; y3); (x2; y2); (x2; y3); (x3; y5); (x5; y4); (x6; y4)g e
S = f(y1; z2); (y2; z1); (y3; z4); (y4; z3); (y5; z4)g.
Ache a relac~ao R  S .