SEGUNDA PRUEBA DE LGEBRA I

PAUTA DE CORRECCIN
13-10-17

1. Usando lgebra de conjuntos demuestre que

[(A B c )c (A B c )] (A B) = B.

Solucin
Sea

[(A B c )c (A B c )] (A B)
= [(A B c )c (A B c )c ] (A B), A B = A Bc
= [(Ac B) (Ac B)] (A B), L. Morgan, (Ac )c = A
= [(Ac (Ac B)) (B (Ac B))] (A B), Distributividad
= (Ac B) (Ac B) (A B), Asoc. Conmu., A A = A
= (Ac B) (A B), AA=A
= (Ac A) B, Distributividad
= U B, Ac A = U
= B, U A = A.

Por lo tanto [(A B c )c (A B c )] (A B) = B.

2. Determine el valor de verdad de los siguientes enunciados, justicando
claramente sus respuestas.
a) Sean A, B conjuntos tales que A B = , entonces el conjunto P(A
B) = .
b) Sea A = {a, b, c, d}. La relacin
R = {(a, b), (a, a), (b, c), (b, b), (a, c), (c, c), (b, a), (d, d)}

es reeja y transitiva, pero no es simtrica ni antisimtrica.

Solucin
a) Sea A B = , luego los nicos subconjunto de A B es el y A B .
As por denicin de conjunto potencia se tiene
P(A B) = {, A B} = {, } = {}.

Por lo tanto la proposisin P(A B) = es falsa.

b) i. Puesto que (a, a), (b, b), (c, c), (d, d) R, R es reexiva.

1
 ii. Para (a, b), (b, c), (a, c), (b, a) R se cumple que:
(a, b) (b, c) R (a, c) R,
(b, a) (a, c) R (b, c) R,
(b, a) (a, b) R (b, b) R,
(a, b) (b, a) R (a, a) R.

Para los dems elementos de R ((x, x) R, x {a, b, c, d}) se

cumple trivialmente la propiedad de transitividad. Entonces R
es transitiva.
iii. Puesto que (b, c) R, sin embargo (c, b)
/ R, se concluye que R
no es simtrica.
iv. Puesto que (a, b) (b, a) R, sin embargo a 6= b, se concluye que
R no es atisimtrica.
Por lo anterior la proposicion dada en b), es verdadera.
3. Justicando, determine si la relacin dada es de equivalencia, de orden
parcial o de orden total.
R = {(a, b) Z+ Z+ /n N0 , b = 7n a}.

Solucin
(a) Para todo a Z+ , existe n = 0 N0 tal que a = 70 a, por lo cual R
es reexiva.
(b) Puesto que (1, 7) R (n = 1, 7 = 7 1), pero (7, 1)
/ R, ya que no
existe n N0 tal que 1 = 7n 7, se concluye que R no es simtrica.
(c) Sean (a, b) y (b, a) en R. Esto es existen n, m N0 tal que
b = 7n a y a = 7m b (hipotesis),
multiplicando ambas ecuaciones tenemos ab = 7n+m ab. Como R
Z+ Z+ , se concluye que 1 = 7n+m , de donde n = m = 0, pues
n, m N0 . As a = b, por lo tanto R es antisimtrica.
(d) Sean (a, b) y (b, c) en R. Esto es existen n, m N0 tal que
b = 7n a y c = 7m b (hipotesis),
entonces reemplazando la primera ecuacin en la segunda tenemos
c = 7m (7n b). As existe k = m + n N0 , tal que c = 7k a, entonces
(a, c) R. Por lo tanto R es transitiva.
De lo anterior se concluye que R no es una relacin de equivalencia,
pero si es una relacin de orden.
Finalmente, dado 3, 4 Z+ , ni (3, 4) o (4, 3) estan en R puesto que
no existen n, m N0 tal que 4 = 7n 3 o 3 = 7m 4, esto implica que
R no es relacin de orden total.

2
4. Dara las relaciones:
R = {(x, y) N N/y = x3 3}

y
S = {(2, 1), (3, 2), (5, 2), (4, 1), (1, 3), (2, 3)}.
Determine dom(S R) y rec(R S).
Solucin
Se tiene que dom(S) = {2, 3, 5, 4, 1, 2} y rec(S) = {1, 2, 2, 3, 3}.
Por otro lado supongamos que (x, y) R, luego y = x3 3 N esto es
y = n3 3 con n N {1}. As

dom(R) = N {1} y rec(R) = {5, 24, 61, ..., n3 3, ...}.

Observamos que
dom(R) rec(S) = {2, 3}, dom(S) Rec(R) = {5}.

Sabemos que
R S = {(x, z) : y dom(R) rec(S), (x, y) S (y, z) R}

S R = {(a, c) : b dom(S) rec(R), (a, b) R (b, c) S},

luego para y = 2, 3 dom(R) rec(S) se tiene que existen x = 3, 2 tal

que (3, 2), (2, 3) S ; y z = 1, 24 tal que (2, 5), (3, 24). As
R S = {(3, 5), (2, 24)},

de donde rec(R S) = {5, 24}.

Finalmente para b = 5, existe a = 2 tal que (2, 5) R y c = 2 tal que
(5, 2) S . As
S R = {(2, 2)},
luego dom(S R) = {2}.