Sei sulla pagina 1di 9

UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO UFRPE

Matemtica Discreta Bacharelado em Sistemas de Informao


Resoluo - 3 Lista de Exerccios

Nome ________________________________________________ Nota __________

RESOLUO
1)

Para cada uma das relaes a seguir, em , desenhe uma figura para mostrar a
regio do plano que a descreve.
a) x R y
y 2

b)

2)

S = {(x,y)
x |2x + 3y - 6 0}

So dados A={5,6,7,8} e B={a, b, c}. Seja R a seguinte relao de A para B:


R = {(5,b), (5,c) (7,b) (8,a) (8,c)}
a) Determine a matriz da relao.
relao
a
b
c
5

MR =

b) Desenhe o diagrama de setas de R


A
B
a
5
6

7
8

UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO UFRPE

Matemtica Discreta Bacharelado em Sistemas de Informao


Resoluo - 3 Lista de Exerccios
c) Ache a relao inversa R-1 de R
R-1= {(b,5) (c,5) (b,7) (a,8) (c,8)}
d) Determine o domnio e a Imagem de R
DOM(R) = {5,7,8}
IMA(R)=
= {a,b,c}
3) Seja A={1,2,3,6,8,9}
={1,2,3,6,8,9} e seja a relao em A definida por x divide y, escrita x | y .
a) Escreva R como um conjunto de
d pares ordenados

R = {(1,1) (1,2) (1,3) (1,6) (1,8) (1,9) (2,2) (2,6) (2,8) (3,3) (3,6) (3,9)
(6,6) (9,9)}
b) Desenhe seu grafo orientado

c) Ache a relao inversa R-1de R. R-1 pode ser descrita em palavras?

Como?
R-1 = {(1,1) (2,1) (3,1) (6,1) (8,1) (9,1) (2,2) (6,2) (8,2) (6,3) (9,3) (6,6)
(9,9)}
R-1 :y divide x.
x
4)

Sejam A={4,5,6},
{4,5,6}, B={a,b,c} e C={x,y,z} R={(4,a) (4,c) (5,a) (6,b)}
(6,b)} e S={(a,x)
(a,y) (a,z) (c,x)}.
a) Ache, se for possvel, a relao composta RoS.
RoS = {(4,x
(4,x) (4,y) (4,z) (5,x) (5,y) (5,z)}.
b) Ache,, se for possvel, a relao composta SoR.
SoR = { }.
c) Ache as matrizes MR, MS, MRoS.
a

MR =

UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO UFRPE

Matemtica Discreta Bacharelado em Sistemas de Informao


Resoluo - 3 Lista de Exerccios

MS=

MRoS=

d) Desenhe o diagrama de setas


se s das relaes R e S. Observe os caminho de

4 e 5 para x, y e z.

5)

Considere as seguintes relaes em um conjunto A={3, 4, 5}. Determine se as


relaes so reflexivas, anti-reflexivas,
anti
simtricas, transitivas
sitivas ou anti-simtircas.E
anti
quais desses conjuntos possuem uma relao de equivalncia?
a) R={(3,3)
3,3) (3,4) (3,5) (5,5)}
(5,5
Reflexiva: No, pois 4
4 A porm (4,4) R.
Anti-reflexiva:
reflexiva: No, pois 3R3 e 5R5.
Simtrica: No, pois (3,4) R, porm (4,3) R.Nesse caso tambm
temos (3,5) R, mas (5,3) R.
Anti-simtrica:
simtrica: Sim, pois temos que se (xRy
yRx) ento x = y, (5,5)
e (3,3).
Transitiva: Sim, pois se (x,y) R e (y,z) R ento (x,z) R
(3,3) e (3,4) -> (3,4)
(3,3) e (3,5) -> (3,5)
(3,5) e (5,5) ->(3,5)
No equivalente, afinal essa relao no reflexiva.
b) B = {(3,3) (3,4) (4,3) (4,4) (5,5)}
(5,5

Reflexiva: Sim, pois (3,3) (4,4) e (5,5) B.


Anti-reflexiva:
reflexiva: No, pois B reflexiva.
Simtrica: Sim, pois se 3R4 ento 4R3.
Anti-simtrica:
simtrica: No, pois 3R4 e 4R3, porm 4 3.
Transitiva: Sim, pois se (x,y), B e (y,z) B ento (x,z) B

UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO UFRPE

Matemtica Discreta Bacharelado em Sistemas de Informao


Resoluo - 3 Lista de Exerccios

equivalente, afinal essa relao reflexiva, simtrica e


transitiva.
c) T = {(3,3)) (3,4)
(
(4,4) (4,5)}

Reflexiva:No
No, pois 5
A, porm (5,5) T.
Anti-reflexiva:
reflexiva: No, pois 3R3 e 4R4.
Simtrica: No, pois (3,4) T, porm (4,3) T.Nesse
.Nesse caso tambm
tamb
temos (4,5)
,5) R, mas (5,4) T.
Anti-simtrica:
simtrica: Sim, pois temos que se (xRy
yRx) ento x = y, (4,4)
(
e (3,3).
Transitiva:: No, pois (3,4) T e (4,5) T, mas (3,5) T.
No equivalente, pois essa relao no transitiva, reflexiva
e simtrica.
d) V =

Reflexiva: No, pois x A, (x,x) V. Logo V irreflexiva.


eflexiva.
Simtrica: Sim, por vacuidade.
Anti- Simtrica: Sim, por vacuidade.
Transitiva: Sim, por
p vacuidade.
e) C = A A A={3,4,5}
A x A = {(3,3) ,(3,4), (3,5), (4,3), (4,4), (4,5), (5,3), (5,4), (5,5)}

Reflexiva: Sim, x
A, (x,x) C.
Anti-reflexiva:
reflexiva: No, pois C reflexiva.
Simtrica: Sim, pois x, y A, se xRy ento yRx.
Anti- Simtrica: No, pois (3R4 3R4) mas 3 4.
Transitiva: Sim, pois se (x,y) C e (y,z) C ento (x,z) C.

equivalente, afinal essa relao reflexiva, simtrica e


transitiva.
6)

Determine se as relaes abaixo so reflexivas, simtricas, anti-simtricas


anti simtricas ou
transitivas. Justifique suas respostas. (OBS: o conjunto S a partir da letra c o
conjunto de pessoas no Brasil)
a) S = Z
xRy
x y mltiplo inteiro de 3.
Reflexiva: Sim, pois x Z, x x = 0, e zero mltiplo de 3. Logo
xRx.
Simtrica: Sim, pois:
pois
Se xRy tem-se
tem que x y mltiplo inteiro de 3. Logo x-y=3k,
x
k
Z.
Multiplicando por ((-1) temtem-se que yy-x=3(x=3(-k). Assim y x tambm um
mltiplo de 3. Portanto xRy.(Lembre-se
se que o conjunto dos nmeros
nmero
inteiros)
Anti-simtrica:
simtrica: No, tome como exemplo x = 6 e y=3, xRy e yRx,
porm x y.
Transitiva: Sim, pois se xRy e yRz tem-se que x y =3k1, k1Z e
y z =3k2, k2Z. Adicionando as duas equaes temtem-se que
x-y+y-z= 3k1+3k2 . Reescrevendo, tem-se x-z=3(k1+k2). Assim,
x z tambm um mltiplo inteiro
in
de 3. Portanto, xRz.

UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO UFRPE

Matemtica Discreta Bacharelado em Sistemas de Informao


Resoluo - 3 Lista de Exerccios

b) S = N

xRy
x.y par.
Reflexiva: No, pois x N , tal que (x,x) R. Como
omo exemplo tome
x =1, x.x = 1 no um nmero par.
Simtrica: Sim, pois se x.y par ento pelo principio da
comutatividade y.x tambm par. Logo se xRy ento y R x.
Anti-simtrica:
simtrica: No, pois tome x = 2 e y = 4, xRy e yRx, mas x y.
Transitiva: No, considerando o exemplo x = 3 e y = 2 e z = 5. TemTem
se: xRy pois x.y = 6 e yRz pois y.z=10 mas (x,z) R pois x.z = 15 que no
um nmero par.
c) x R y

x tem a mesma altura que y.


Reflexiva: Sim, pois (x, x) R, afinal uma pessoa tem a mesma
altura pra ela mesma.
Simtrica: Sim, pois se x tem a mesma altura que y o contrrio
tambm verdade. Logo se xRy ento yRx.
Anti-simetrica:
simetrica: No, pois
pois se x tem a mesma altura que y e y tm a
mesma altura que x, no significa dizer que so a mesma pessoa.
Transitiva: Sim, afinal se x tem a mesma altura que y e y tem a
mesma altura que z,
z, logo x tem a mesma altura que z. Portanto se
xRy e yRz ento xRz.
xR

d) x R y

x mais alto que y.


Reflexiva: No, pois (x,x) R uma pessoa no pode ser mais alta
que ela mesmo.
Simtrica: No, pois se x mais alto que y consequentemente y
mais baixo que x.
Anti-simtr
simtrica: Sim, por vacuidade, xRy e yRx falsa j que no
possvel ocorrer os dois simultaneamente.
Transitiva:
a: Sim, pois se x mais alto que y e y mais alto que z temtem
se que x maior que z. Portanto xRy e yRx ento xRz.

e) x R y

x irmo de y.
Reflexiva: No,
No, pois x no pode ser irmo dele mesmo, logo (x,x)
R.
Simtrica: Sim, afinal se x irmo de y ento y irmo de x.
Anti-simtrica:
simtrica: No, xRy e yRx, porm, x e y so pessoas diferentes.
Transitiva: Sim, j que x irmo de y e y irmo de z, ento x
irmo de z.

f) x R y

x casado com y.
Reflexiva: No, nesse caso (x,x) R, pois x no pode ser casado com
ele mesmo.
Simtrica: Sim, j que se x casado com y ento y casado com x.
Anti-simtrica:
simtrica: No, xRy e yRx, porm, x e y so pessoas diferentes.

UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO UFRPE

Matemtica Discreta Bacharelado em Sistemas de Informao


Resoluo - 3 Lista de Exerccios

Transitiva: Sim, por vacuidade, pois no possvel ocorrer xRy e


yRz simultaneamente.
simultaneamente (no Brasil no permitido uma pessoa ser
casada com duas pessoas ao mesmo tempo).
7)

Prove que:
-1

a) Se R uma relao de equivalncia em um conjunto S ento R tambm

.
Considere por hiptese que R uma relao de equivalncia. Logo
R reflexiva, simtrica
simtri e transitiva. Para R-1 seja uma relao de
equivalncia necessrio que
que tambm possua essas propriedades.
i) Reflexiva: Como R reflexiva, tem-se
tem que x S, xRx. Pela
-1
definio de relao inversa x R x. Portanto R-1
Reflexiva.
ii) Simtrica: Considere
Cons
que x R-1y. Pela definio de relao
inversa yRx. Como R simtrica yRx ento xRy. Pela
definio de inversa y R-1 x. Portanto R-1 Simtrica.
iii) Transitiva: Considere x R-1y e y R-1z. Pela definio de
relao
lao inversa yRx e zRy. Como R transitiva
itiva e zRy e yRx
tem-se
se que zRx. Pela definio de relao inversa x R-1z.
Portanto R-1 Transitiva.
De i, ii e iii conclui-se
conclui que R-1 relao de equivalncia.
b) Se R uma relao anti-simtrica
anti simtrica em um conjunto S, ento R-1 anti-

simtrica
Considere xR-1y e y R-1x. Pela definio de relao inversa yRx e
xRy.. Como R anti-simtrica tem-se que x=y. Assim,
Se xR-1y e yR-1x ento x = y. Portanto R-1 anti-simtrica.
simtrica.
8)

Consideremos o conjunto E de todas as retas de um plano e seja R a relao


definida por X R Y se e somente se, X for perpendicular a Y. Esta relao uma
relao de equivalncia?
R = {(x,y) E,, tal que x perpendicular a y}
Reflexiva: No, nenhuma reta do plano ser perpendicular a si mesma, (x,x)
R.
Anti-Reflexiva ou I-Reflexiva:
Reflexiva: Sim, pois x E, (x,x) R, ou seja x no
perpendicular a x.
Simtrica: Sim, pois x,y
E, se x perpendicular
icular a y ento y perpendicular
perpend
a x.
Anti-simtrica:
simtrica: No, pois x perpendicular a y e y perpendicular
icular a x, porm xy
(fig.1).
Transitiva: No, pois sejam x,y e z E conforme figura 2.. Assim temos que x
perpendicular a y e y perpendicular a z, porm x no perpendicular a z.
y
y
z
x
Figura 1.

x
Figura 2.

UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO UFRPE

Matemtica Discreta Bacharelado em Sistemas de Informao


Resoluo - 3 Lista de Exerccios

9) Prove que a relao congruente com mdulo n uma relao de equivalncia

no conjunto dos nmeros inteiros.


R = {(x,y) Z| x y(mod n)}
i.
Reflexiva: Sim,
Si pois x Z, xx(mod n), j que n|(x-x),
x), ou seja, n|0,
pois 0 = n.0 e 0 Z. Logo xRx.
ii.
Simtrica: Sim, pois se xy
x (mod n) tem-se que n|(x-y),
y), ou seja, (x(x
y)= n.k, k Z. Multiplicando a igualdade por (-1)
1) tem-se
tem que y-x =
n(-k), e -k Z. Logo n|y-x. Portanto y x(mod n).
iii. Transitiva: Sim, pois se xy
x (mod n) e yzz (mod n) tem-se
tem que n|(x-y)
e n|(y-z).
z). Logo x-y=
x
n.k1 (1), k1 Z e y-z = nk2 (2), k2 Z.
Adicionando (1) e (2) tem-se
tem que x-y+y-z = n k1 + n k2,x-z
,x = n(k1+ k2).
Como k1 e k2 so inteiros, o resultado da soma entre eles tambm
um inteiro, assim (k1+ k2) = k, k Z. Logo x-zz = n.k, k Z. Portanto
x z(mod n).
De i, ii e iii conclui-se
se que R relao de equivalncia.
10) Seja R a seguinte relao de equivalncia no conjunto A={1,2,3,4,5,6}

R={(1,1) (1,5) (2,2) (2,3) (2,6) (3,2) (3,3) (3,6) (4,4) (5,1) (5,5) (6,2) (6,3) (6,6)}
Ache a partio induzida por R, isto ache as classes de equivalncia de R.
[1] = {1,5}
[2] = {2,3,6}
[3] = {2,3,6}
[4] = {4}
[5] = {1,5}
[6] = {2,3,6}
PARTIO: [1] [2] [4]
OBS1: Partio uma unio de classes de equivalncia que satisfaz a seguinte
propriedade:
 A unio igual ao conjunto A e a interseo entre eles tem que
ser vazia.
OBS2: Quando houver classes iguais escolhe-se
escolhe se apenas uma para colocar
coloca na
partio.
11) Verifique grficamente se as relaes abaixo so aplicaes, no conjunto R dos

nmeros reais:
a) y = x3

b) y = -x2 1

Sim.

Sim.

d) x2 = 25 y2 ; y < 0

c) y -2x = 3

Sim
e)y = x2+4x-4

UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO UFRPE

Matemtica Discreta Bacharelado em Sistemas de Informao


Resoluo - 3 Lista de Exerccios

Observao: Considere apenas os


Valores y < 0. No funo de
R em R, pois, no existe imagem
Para valores fora do intervalo]
tervalo]-5,5[.

Sim.

12) As figuras a seguir ilustram diversas relaes binrias R em R. Quais delas so

funes?

Sim. Observe que onde y zero,


h um intervalo aberto e outro fechado,
logo todo o domnio liga-se
se apenas
a uma imagem.

Sim.

No, pois existem elementos


no domnio
nio com duas
imagens.

Sim.

13) Considere as funes f, g e h, de R em R, definidas por:

f(x) = x2+1

g(x) = 2x-3

h(x) = x3- x2

a) (g of )= g(f(x)) = g(x
g 2+1) =2(x2+1)-3
b) g(h(x)) =g(x3 x2) )=2(x3 x2) 3 = 2x3 2x2 3
c) g o (f o h) = g(f(h(x))) = g(f(x3- x2)) = g((x3- x2)2 +1)=2((x3- x2)2+1)-3
d) (f o g) o g = f (g(g(x)))
(g(g(x) = f(g(2x-3))=f(2(2x-3)-3)=f(4x-6-3)=f(4x
3)=f(4x-9)=(4x9)2+1

e) (f o h) o g =f(h(g(x)))=
h(g(x)))= f(h(2x-3))=f((2x-3)3- (2x-3)2) =((2x-3)
3)3- (2x-3)2)2 +1
f) f o (h o g) = f(h(g(x)))= ((2x-3)3- (2x-3)2) 2 +1

UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO UFRPE

Matemtica Discreta Bacharelado em Sistemas de Informao


Resoluo - 3 Lista de Exerccios

14) Para cada caso a seguir determine se a funo injetora, sobrejetora, ou ambos.

Prove suas afirmaes.


a) f: ZZ
Z definida por f(x) =x2+1
Injetora: No, pois tome x1 = 2 e x2 = -2, f(x1) = f(x2) = 5, porm x1x2
Sobrejetora: No. Tome y = -1 um elemento do contra-domnio.
contra
No
existe
iste nenhum inteiro x, tal que f(x)=x2+1 = -1.
1. Portanto -1 no
imagem de nenhum elemento do domnio.
domnio. Logo imagem contradomnio.
b) f: QQ dada por f(x) = 3x+4
Injetora: Sim, pois x1, x2 Q se f(x1) = f(x2), ou seja, 3x1+4=3x2+4
temos que x1=x2.
Sobrejetora: Sim. Seja b Q arbitrrio.. Procuramos um a
a Q tal
que f(a) = b.
b Temos que, a = (b-4)/3.. Assim teremos f(a) = 3[(b3[(b
4)/3]+4
3]+4 = b. Portanto sobrejetora.
sobrejetora
c) f: NN
N definida por f(x)=x+7
f(x)=
Injetora: Sim, pois x1, x2 N ,
Se f(x1) = f(x2), ou seja, x1+7=x2+7 . Subtraindo 7 de ambos os lados
da equao
o temos que x1=x2.
Sobrejetora: No, pois 0 N, mas 0 no imagem de nenhum
elemento do domnio. Logo imagem contra-domnio.
io.
d) f: NN
N definida por f(x) = 2x
Injetora: Sim, x1, x2 N se f(x1) = f(x2), ou seja, 2x1=2x2 . Aplicando
a funo
o log2 de ambos os lados, temos que x1=x2.
Sobrejetora: No, pois 0 N, mas 0 no imagem de nenhum
elemento do domnio. Logo imagem contra-domnio.
domnio.
e) f:{1,2,3}{p,q
{p,q,r}, onde f = {(1,q) (2,r) (3,p)}
Injetora: Sim, pois todo elemento da imagem est associado a apenas
um elemento do domnio.
Sobrejetora: Sim, pois todos os elementos do contra-domnio
domnio esto
associados a algum elemento do domnio. Assim, imagem = contradomnio.
Z definida por f(x)=x/2 se x par e f(x)=(x-1)/2
1)/2 se x mpar
f) f: ZZ
Injetora: No, tome x1 = 2 e x2 = 3. Logo, f(x1) =2/2=1 e f(x2)=(31)/2=1, porm x1x2.
Sobrejetora: Sim. Considere r um elemento qualquer do contracontra
domnio Z. Se r for mpar, tem-se que x = 2r +1, se r for par tem-se
tem
que x = 2r tal que:
i) f(x)
f(x = f(2r) = 2r/2 = r se x par.
ii) f(x) = f(2r+1) = (2r +1 -1)/2
1)/2 = r se x mpar.
De i e ii conclui-se
conclui que qualquer elemento do contra-domnio
domnio
imagem de um elemento do domnio. Portanto, imagem
imagem =
contradomnio

Potrebbero piacerti anche