Professional Documents
Culture Documents
2013
Lista de Exerccios 2
Prof. Cristiano De Faveri
Verso: 0.1
1. Quais das seguintes relaes sobre o conjunto S = {1, 2, 3, 4} so reflexivas, simtricas, anti-simtricas ou
transitivas?
(a) {(1, 3), (2, 4), (3, 1), (4, 2)}
No reflexiva, pois no possui {(1, 1), (2, 2), (3, 3), (4, 4)}
simtrica
No anti-simtrica, pois possui (1, 3) e (3, 1) e 1 6= 3
No transitiva, pois possui, por exemplo (1, 3), (3, 1) mas no (1, 1)
(b) {(1, 3), (2, 4)}
No reflexiva, pois no possui {(1, 1), (2, 2), (3, 3), (4, 4)}
No simtrica, pois possui, por exemplo, (1, 3) mas no h (3, 1)
anti-simtrica
No transitiva, pois no possui os pares (3, 1)e(4, 2) para continuidade da regra transitiva
(c) {(1, 1), (2, 2), (3, 3), (4, 4), (1, 3), (2, 4), (3, 1), (4, 2)}
reflexiva
simtrica
No anti-simtrica, pois possui (1, 3) e (3, 1) e 1 6= 3.Igualmente para (2, 4) e (4, 2)
transitiva
(d) {(1, 1), (2, 2), (3, 3), (4, 4)}
reflexiva
simtrica
anti-simtrica
transitiva
(e) {(1, 1), (2, 2), (3, 3), (4, 4), (1, 2), (2, 3), (3, 4), (4, 3), (3, 2), (2, 1)}
reflexiva
simtrica
No anti-simtrica, pois possui (2, 3) e (3, 2) e 2 6= 3.Igualmente para (3, 4) e (1, 2)
No transitiva, pois existe (1, 2) e (2, 3) e no h (1, 3). O mesmo para (2, 3) e (3, 4), (4, 3) e (3, 2),
(3, 2) e (2, 1)
2. Seja
A = {1, 2, 3, 4} e
R1 A A = {(1, 2), (1, 3), (2, 4), (2, 2), (3, 4), (4, 3)} e
R2 A A = {(1, 1), (1, 2), (3, 1), (4, 3), (4, 4)}.
2-1
2-2
R1 R2
A
A
1
2
3
4
A
1
2
3
4
R1
A
R2
A
1
2
3
4
1
2
3
4
A
1
2
3
4
R2
1
2
3
4
R1
R2 R1
2-3
Uma relao uma relao de equivalncia se for reflexiva, simtrica e transitiva. Resp: a) A relao < no
reflexiva, por para todo par (x,y), nunca haver x = y, visto que a lei da relao obriga que x < y. A relao
no simtrica pois dado um par (x, y), sendo x < y, implica em ter um par (y,x), sendo que no existe pares
em que x < y e y < x. uma relao transitiva, pois para cada par (x, y), sendo x < y e (x0 , y 0 ), sendo x = x0 ,
implica que x < y 0 ento existir um par (x, y 0 ). No uma relao de equivalncia por definio.
b) A lei da relao descreve que existe um (m, n) sempre que 3 dividir (m n). A relao reflexiva por
sempre que m = n ocorrer 0(m n) e 3 divide 0. A relao simtrica pois sempre que 3 dividir (m n),
tambm dividir (n m).Por exemplo, considere o par (6, 3). Temos que 6-3=3 ento 3 divide 3. Invertendo os
elementos do par, temos (3, 6) e 3-6=-3 que tambm dividido por 3. A relao transitiva pois se temos que
3 divide (m, n) e 3 divide (n, m) ento 3 dividir (m, m) pois resultar em m m = 0. A relao portanto
de equivalncia, por definio.
5. Dado o seguinte diagrama de Venn,
A
a
b
c
d
1
2
3
4
5
C
x
y
z
2-4
8. Seja A = {1, 2, 3}. Para cada uma das relaes R indicadas a seguir, determinar os elementos de R, o domnio
e o contradomnio de R e, finalmente, indicar as propriedades que possui R.
(a) R a relao < em A. A relao < indica que dado um par (a, b), sendo a, b A , temos que a < b
Portanto, podemos descrever a relao R = {(1, 2), (1, 3), (2, 3)}. O domnio determinado pelo conjunto
contendo os primeiros elementos de cada par, ou seja, Dom(R) = {1, 2} e o contradomnio so os
elementos disponveis para compor a relao, ou seja, {1, 2, 3}. Propriedades: No reflexiva, no
simtrica, anti-simtrica, no transitiva
(b) R a relao em A. A relao indica que dado um par (a, b), sendo a, b A, temos que a b
Portanto, podemos descrever a relao R = {(1, 1), (2, 2), (3, 3), (2, 1), (3, 1), (3, 2)}. O domnio determinado pelo conjunto contendo os primeiros elementos de cada par, ou seja, Dom(R) = {1, 2, 3} e
o contradomnio so os elementos disponveis para compor a relao, ou seja, {1, 2, 3}. Propriedades:
reflexiva, no simtrica, anti-simtrica, transitiva
9. Seja R uma relao de A para B e S uma relao de B para C. Ento a relao composta S R a relao
constituda por todos os pares ordenados (a, c) tais que (a, b) R e (b, c) S. Sendo A = {p, q, r, s}, B =
{a, b}, C = {1, 2, 3, 4}, R = {(p, a), (p, b), (q, b), (r, a), (s, a)} e S = {(a, 1), (a, 2), (b, 4)}, determinar R S.
Resp: Perceba que o exerccio colocou que a composio S R dada por pelos pares (a, c) tais que (a, b) R
e (b, c) S, ou seja, o formato inverso que estamos trabalhando na definio de composio. Dessa forma,
a composio R S dada pelos pares(a, c) tal que (a, b) S e (b, c) R. Como podemos observar a
composio R S o conjunto vazio ()
10. Seja R a relao no conjunto A = {1, 2, 3, 4, 5, 6, 7} definida por (a, b) R (a b) divisvel por 4.
Determinar R e R 1.
Temos que buscar para compor a relao R, os pares (a, b) que obedeam a lei a b divisvel por 4. Temos
portanto os seguintes pares na relao R: R = {(5, 1), (6, 2), (7, 3)}, ou seja, 5 1 = 4, 6 2 = 4 e 7 3 = 4
resultam em 4 que divisvel por 4. A relao inversa se d pela inverso dos elementos nos pares, ou seja,
R 1 = {(1, 5), (2, 6), (3, 7)}.
11. Quais das relaes que se seguem so equivalncias? Considere que so relaes em A, definido como A =
{1,2,3,4}?
(a) R = {(1, 1), (2, 2), (3, 3), (4, 4), (1, 3), (3, 1)}
(b) S = {(1, 2), (2, 2), (3, 3), (4, 4)}
(c) T = {(1, 1), (2, 2), (1, 2), (2, 1), (3, 3), (4, 4)}
Uma relao uma relao de equivalncia se for reflexiva, simtrica e transitiva. Portanto, se observarmos
essas trs propriedades nas relaes dadas, elas so relaes de equivalncia.
A relao R reflexiva, simtrica e transitiva, logo de equivalncia.
A relao S no reflexiva, no simtrica e no transitiva, portanto no de equivalncia.
A relao T reflexiva, simtrica e transitiva, portanto de equivalncia.
12. Sejam A = {1, 2, 3} e B = {2, 4, 7}, o conjunto {(1, 2), (2, 4), (2, 7)} formado por elementos de A B, logo
uma relao binria de A para B. Para cada uma das relaes binrias definidas a seguir em N, decida quais
entre os pares ordenados dados pertencem a .
(a) xy x = y + 1; (2, 2), (2, 3), (3, 3), (3, 2)
Resp: O par (3, 2) pertence relao pois 3=2+1
2-5
a)
b)
d)
c)
-4
-4
2-6
Resp:
Resp:
Resp:
Resp:
Resp:
a) Figura 2.4
b) R1 = {(b, a), (d, a), (b, c), (c, c), (d, c)}
c) R R = {(c, b), (c, c), (c, d)}
d) Dom(R) = {a, c}, Im(R) = {b, c, d}
e) Figura 2.5
R
2-7