Escolar Documentos
Profissional Documentos
Cultura Documentos
Relaes
UFMG/ICEx/DCC DCC111 Matemtica Discreta
Cincias Exatas & Engenharias 1
o
Semestre de 2014
Denio 1 [Composio de relaes]. Seja R uma relao do conjunto A para um conjunto B e S uma relao
do conjunto B para um conjunto C. A composio de R e S a relao formada por pares ordenados (a, c),
onde a A, c C, para os quais existe um elemento b B tal que (a, b) R e (b, c) S. A composio de R e
S representada por S R.
Denio 2 [Relao Irreexiva]. Seja R uma relao denida no conjunto A. Uma relao R chamada
irreexiva se a A, (a, a) R.
Denio 3 [Relao Assimtrica]. Seja R uma relao do conjunto A para um conjunto B. Uma relao R
chamada assimtrica se (a, b) R ento (b, a) R. Nesse sentido, uma relao assimtrica anti-simtrica e
irreexiva.
Denio 4 [Relao Complementar]. Seja R uma relao do conjunto A para um conjunto B. A relao
complementar R o conjunto de pares ordenados {(a, b)|(a, b) R}.
Lista de Relaes: As relaes abaixo esto denidas no conjunto {1, 2, 3, 4}.
(A) R
1
= {(2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}
(B) R
2
= {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (4, 4)}
(C) R
3
= {(2, 4), (4, 2)}
(D) R
4
= {(1, 2), (2, 3), (3, 4)}
(E) R
5
= {(1, 1), (2, 2), (3, 3), (4, 4)}
(F) R
6
= {(1, 3), (1, 4), (2, 3), (2, 4), (3, 1), (3, 4)}
1. Como foi dito na introduo do material de relaes, o mundo est povoado por relaes: famlia, emprego,
governo, negcios, etc. O exemplo abaixo mostra isso:
Antes de comear uma reunio sobre o relacionamento entre duas empresas parceiras num determinado
negcio, dois homens comeam uma conversa onde um deles fala sobre sua relao familiar. A seguir, est
o relato que esse homem fez:
H alguns anos atrs, eu conheci uma jovem viva com uma lha j nos seus quase 20 anos. Ns
nos casamos. Mais tarde, meu pai se casou com minha enteada.
Depois disso, minha enteada teve um lho.
Isso no foi nada at minha esposa e eu termos um lho.
Apresente um diagrama que mostre as relaes dessa estria bizarra. (Este apenas um exerccio de
curiosidade.)
Resposta:
A descrio acima pode ser representada pelo seguinte diagrama:
1
Esse diagrama identica todos os eventos que ocorreram que levam a diferentes relaes. Os eventos so:
(a) H1/M1 casam;
(b) H1/M1 tm lha M2;
(c) H1 morre;
(d) H2/M1 casam;
(e) H3 identicado como pai de H2;
(f) H3/M2 casam;
(g) H3/M2 tm lho H4;
(h) H2/M1 tm lho H5;
Aps os trs primeiros eventos, podemos identicar as seguintes relaes para H1, M1 e M2:
H1:
[1] Marido de M1
[2] Pai de M2
M1:
[1] Esposa de H1
[2] Me de M2
[3] Viva de H1
M2:
[2] Filha de H1/M1
[3] rf de H1
2. Determine se cada relao da lista de relaes acima :
(a) Reexiva
(b) Irreexiva
(c) Simtrica
(d) Anti-simtrica
(e) Assimtrica
(f) Transitiva
(g) Relao de equivalncia
(h) Relao de ordem parcial
Resposta:
2
R
i
R
e
e
x
i
v
a
I
r
r
e
e
x
i
v
a
S
i
m
t
r
i
c
a
A
n
t
i
-
s
i
m
t
r
i
c
a
A
s
s
i
m
t
r
i
c
a
T
r
a
n
s
i
t
i
v
a
E
q
u
i
v
a
l
n
c
i
a
O
r
d
e
m
P
a
r
c
i
a
l
1 N N N N N S N N
2 S N S N N S S N
3 N S S N N N N N
4 N S N S S N N N
5 S N S S N S S N
6 N S N N N N N N
3. Determine a relao R para cada relao da lista de relaes acima.
Resposta:
(A) R
1
= {(1, 1), (1, 2), (1, 3), (1, 4), (2, 1), (3, 1), (4, 1), (4, 2), (4, 3), (4, 4)}
(B) R
2
= {(1, 3), (1, 4), (2, 3), (2, 4), (3, 1), (3, 2), (3, 4), (4, 1), (4, 2), (4, 3)}
(C) R
3
= {(1, 1), (1, 2), (1, 3), (1, 4), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3), (3, 4), (4, 1), (4, 3), (4, 4)}
(D) R
4
= {(1, 1), (1, 3), (1, 4), (2, 1), (2, 2), (2, 4), (3, 1), (3, 2), (3, 3), (4, 1), (4, 2), (4, 3), (4, 4)}
(E) R
5
= {(1, 2), (1, 3), (1, 4), (2, 1), (2, 3), (2, 4), (3, 1), (3, 2), (3, 4), (4, 1), (4, 2), (4, 3)}
(F) R
6
= {(1, 1), (1, 2), (2, 1), (2, 2), (3, 2), (3, 3), (4, 1), (4, 2), (4, 3), (4, 4)}
4. Determine se cada relao R da lista de relaes acima :
(a) Reexiva
(b) Irreexiva
(c) Simtrica
(d) Anti-simtrica
(e) Assimtrica
(f) Transitiva
Resposta:
R
i
R
e
e
x
i
v
a
I
r
r
e
e
x
i
v
a
S
i
m
t
r
i
c
a
A
n
t
i
-
s
i
m
t
r
i
c
a
A
s
s
i
m
t
r
i
c
a
T
r
a
n
s
i
t
i
v
a
1 N N N N N N
2 N S S N N N
3 S N S N N N
4 S N N N N N
5 N S S N N N
6 S N N N N N
5. Determine a composio das relaes R
i
R
2
, i = 1 . . . 6.
Resposta:
R
1
R
2
=
3
R
2
R
2
=
R
3
R
2
=
R
4
R
2
=
R
5
R
2
=
R
6
R
2
=
o
R
e
e
x
i
v
a
I
r
r
e
e
x
i
v
a
S
i
m
t
r
i
c
a
A
n
t
i
-
s
i
m
t
r
i
c
a
A
s
s
i
m
t
r
i
c
a
T
r
a
n
s
i
t
i
v
a
R
e
e
x
i
v
a
I
r
r
e
e
x
i
v
a
S
i
m
t
r
i
c
a
A
n
t
i
-
s
i
m
t
r
i
c
a
A
s
s
i
m
t
r
i
c
a
T
r
a
n
s
i
t
i
v
a
0 V V V V V V V V
1 V V V V
2 V V V V V V V
3 V V V V V V V
4 V V V V
5 V V V V
6 V V V V
7 V V V V V V
8 V V V V V V
9 V V V V
10 V V V V
11 V V V V
12 V V V V V V V
13 V V V V V V V
14 V V V V
15 V V V V V V V V
16. Quantas relaes binrias existem em um conjunto com n elementos que so:
(a) Simtricas
Resposta:
Para denir uma relao simtrica, deve-se decidir, para cada par no ordenado de elementos distintos
{a, b} de A, se os pares (a, b) e (b, a) sero includos ou no. Isso pode ser feito de duas formas diferentes
para cada par no ordenado com elementos distintos. Para cada elemento a A, deve-se decidir se
7
o par (a, a) ser includo ou no, novamente com duas possibilidades. Esses dois problemas podem
ser considerados um nico se considerarmos um elemento como um par no ordenado de elementos
com repetio permitida. Temos, ento, C(n + 2 1, 2) = C(n + 1, 2) formas distintas de escolher
um par no ordenado de elementos. Assim, existem 2
C(n+1,2)
= 2
n(n+1)/2
relaes distintas que so
simtricas.
(b) Anti-simtricas
Resposta:
Similar letra anterior. Para cada par no ordenado de elementos distintos {a, b} de A, temos trs
escolhas: (i) incluir somente (a, b); (ii) incluir somente (b, a); e (iii) no incluir nenhum dos dois pares.
Para cada elemento de A temos duas possibilidades. Assim, temos 3
C(n,2)
2
n
= 3
n(n1)/2
2
n
relaes
distintas que so anti-simtricas.
(c) Assimtricas
Resposta:
Na letra anterior, temos trs opes para a = b. Neste caso, no temos a possibilidade de incluir (a, a)
na relao. Assim, temos 3
C(n,2)
= 3
n(n1)/2
relaes distintas que so assimtricas.
(d) Irreexivas
Resposta:
Para cada par ordenado (a, b), com a = b (sendo que existem P(n, 2) desses pares), podemos escolher
(a, b) ou no. No possvel ter pares (a, a), a A. Assim, temos 2
P(n,2)
= 2
n(n1)
relaes distintas
que so irreexivas.
(e) Reexivas e simtricas
Resposta:
Similar letra (a), exceto que devemos ter os pares (a, a), a A. Para cada par no ordenado de
elementos distintos de A, pode-se incluir ou no os dois pares ordenados correspondentes. Assim, temos
2
C(n,2)
= 2
n(n1)/2
relaes distintas que so simultaneamente reexiva e simtrica.
(f) Nem reexivas nem irreexivas
Resposta:
Dado os pares ordenados (a, b) com a = b, podemos gerar 2
P(n,2)
pares distintos como discutido na
letra (d). Dada a deciso de incluir ou no o par (a, a), duas das 2
n
possibilidades no podem ocorrer
(relao vazia e relao reexiva). Assim, temos 2
P(n,2)
(2
n
2) = 2
n
2
2
n
2
n+1
relaes distintas que
no so reexivas nem irreexivas.
17. Liste os pares ordenados nas relaes de equivalncia produzidos pelas parties do conjunto {0, 1, 2, 3, 4, 5}:
(a) {0}, {1, 2}, {3, 4, 5}
Resposta:
R
1
= {(0, 0), (1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (3, 4), (3, 5), (4, 3), (4, 4), (4, 5), (5, 3), (5, 4), (5, 5)}
(b) {0, 1}, {2, 3}, {4, 5}
Resposta:
R
2
= {(0, 0), (0, 1), (1, 1), (1, 2), (2, 2), (2, 3), (3, 2), (3, 3), (4, 4), (4, 5), (5, 4), (5, 5)}
(c) {0, 1, 2}, {3, 4, 5}
Resposta:
R
3
= {(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2), (2, 0), (2, 1), (2, 2), (3, 3), (3, 4), (3, 5), (4, 3), (4, 4),
(4, 5), (5, 3), (5, 4), (5, 5)}
8