FACULTAD DE CIENCIAS - U.C.V.
NOMBRE:__________________________________
ESCUELA DE COMPUTACIÓN
MATEMÁTICAS DISCRETAS II C.I._____________________ SECC:________
SEMESTRE I 2016
PRIMER EXAMEN PARCIAL
NO SE PERMITE USAR CALCULADORA NI DISPOSITIVOS ELECTRÓNICOS DE NINGÚN TIPO
1.- Resuelva la relación de recurrencia an+1 = 6an-1 + 2an , para n≥1 , con a0=-3 , a1=4
RESPUESTA: an = _________________________________(para n≥0) a14 =_____________
(Justifique formalmente) (3 pts)
2.- Sea el conjunto A={1,2,3,4,5,6} y sean las relaciones binarias Q,R,S,TكAൈA cuyas respectivas
representaciones matriciales son las siguientes: i,j߳A : i se relaciona con j sii Mij = 1
1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0
0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0
0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1
MQ = 1 1 1 1 0 1 MR = 0 0 0 1 0 0 MS = 0 0 0 1 0 1 MT = 0 0 0 1 1 0
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0
1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1
i) Responda (Sí ó No) las preguntas sobre c/u de dichas relaciones en la siguiente tabla: (3 pts)
AQUÍ CADA ERROR Q R S T
ANULA UN ACIERTO Sí/No Sí/No Sí/No Sí/No
¿Es simétrica?
¿Es reflexiva?
¿Es antisimétrica?
¿Es transitiva?
¿Es relación de equivalencia?
¿Es relación de orden?
ii) Para la relación de orden indicada por Ud. en (i) dibuje arriba (junto a la tabla) el correspondiente
diagrama de Hasse y señale en el mismo los elementos distinguidos: maximal(es), minimal(es),
máximo y mínimo. (1 pto)
iii) Sea el subconjunto B={3,6} en la relación de orden indicada por Ud. en (i) indique aquí:
Cotas_Superiores(B) = {____________________} Supremo(B) = __________ (1 pto)
Cotas_Inferiores(B) = {____________________} Infimo(B) = __________
iv) ¿Es reticulado la relación de orden indicada por Ud. en (i)? ¿Por qué? Justifique formalmente.
RESPUESTA:___(Sí/No) (0,5 pts)
v) Para la relación de equivalencia indicada por Ud. en (i) indique aquí el conjunto cociente
RESPUESTA: A/___ = {________________________________________________} (0,5 pts)
3.- Sea una relación binaria RكAൈA, complete (usando símbolos, cuantificadores, operadores, etc.)
c/u de las siguientes definiciones formales: (4 pts)
a) R es simétrica sii _____________________________________________________________
b) R es reflexiva sii _________________________________________________________________
c) R es antisimétrica sii ______________________________________________________________
d) R es transitiva sii ______________________________________________________________
e) R es relación de equivalencia sii es _______________ , _______________ y _______________
f) Sea R una relación de equivalencia, sea x A , se denomina clase de equivalencia de x
al conjunto [x] = {_______________________________}
g) Sea R una relación de equivalencia, se denomina conjunto cociente de R
al conjunto A/R = {_______________________________}
h) R es relación de orden sii es _______________ , _______________ y _____________________
i) Sea R una relación de orden, sean x,y A , x e y son comparables sii________________________
j) R es una relación de orden total sii ___________________________________________________
k) Sea R una relación de orden, sea xאA , x es mínimo sii _________________________________
l) Sea R una relación de orden, sea xאA , x es máximo sii __________________________________
m) Sea R una relación de orden, sea xאA , x es minimal sii _________________________________
n) Sea R una relación de orden, sea xאA , x es maximal sii _________________________________
o) Sea R una relación de orden, sea BكA , sea xאA , x es cota inferior de B sii ________________
p) Sea R una relación de orden, sea BكA , sea xאA , x es cota superior de B sii ________________
q) Sea R una relación de orden, sea BكA , sea C={x A / x es cota ____________ de B} , sea yאC ,
y es ínfimo de B sii _______________________
r) Sea R una relación de orden, sea BكA , sea C={x A / x es cota ____________ de B} , sea yאC ,
y es supremo de B sii ________________________
s) Una relación de orden R es reticulado sii ______________________________________________
4.- Sea B⊆ℜ (conjunto de números reales), considere la estructura algebraica (B,⊗) donde ⊗ es una
Ley de Composición Interna definida como sigue a,bאB : a⊗b= 2ab (4 pts)
i) Indique el conjunto más grande posible B para que (B,⊗) sea un grupo y demuestre formalmente
sus propiedades. RESPUESTA: B={xאℜ / ______________ }
ii) Indique un subgrupo (A,⊗) de (B,⊗) con |A|=2 elementos. RESPUESTA: A={ ___ , ___ }
iii) ¿Es (B,⊗) un grupo abeliano? ¿Por qué? Justifique formalmente. RESPUESTA:____(Sí/No)
5.- Sean los grupos (Z,+) , ({-1,1}, )כy sea la función g : Z → {-1,1} definida como nאZ : g(n)= (-1)n
a) Demuestre formalmente que g es un homomorfismo de grupos. (3 pts)
b) ¿Es g un isomorfismo de grupos? ¿Por qué? RESPUESTA:____ (Sí/No) Justifique formalmente.
AB/AN/JV-Ago.2016
