Taller 3 Soluciones
Taller 3 Soluciones
Taller 3 Soluciones
SOLUCIONES
1. Sean
Recuerde que la unión del conjunto vacío ∅ con cualquier otro con-
junto X da el mismo conjunto X, así que
[
A = {∅} ∪ {∅, {∅}} = {∅, {∅}}.
S
(b) B
S S
SOLUCIÓN: Igual como para A, la unión B de B es la unión
de los tres conjuntos que son elementos de B:
[
B = A ∪ {A} ∪ {{A}}
1
= {∅, {∅}, {∅, {∅}}} ∪ {A} ∪ {{A}}
T
(c) B
T
SOLUCIÓN: Recuerde que la intersección B de B es el conjunto
de todos los objetos que son elementos de todos los elementos de
B, o en el caso de un conjunto finito como B, es simplemente la
intersección de todos los elementos de B, asÍ:
\
B = A ∩ {A} ∩ {{A}}.
{A} ∩ {{A}} = ∅
= ∅ ∪ {∅}
= {∅}.
2
2. Sea R+ = {x ∈ R : x > 0}.
\
(x − , x + ) = {y ∈ R : para todo ∈ R+ , y ∈ (x − , x + )}.
∈R+
y−x
=
2
y luego
y−x 2x + y − x x+y 2y
x+=x+ = = < = y,
2 2 2 2
x−y
=
2
y por el mismo argumento que arriba, llegamos a la conclusión que
y < x − para este valorTde epsilon. Por lo tanto, en el caso (b), y
tampoco es elemento de ∈R+ (x − , x + ). (¿Usted puede ver por
qué cambié y − x a x − y en el caso (b)?)
En conclusión, para cualquier x ∈ R,
3
\
(x − , x + ) = {x}. (1)
∈R+
Usando (1),
!
[ \ [
(x − , x + ) = {x}. (2)
x∈R ∈R+ x∈R
y ∈ (x − , x + ). (4)
Pero (4) siempre se puede satisfacer para algún valor de : el argu-
mento es similar a lo que hicimos en 2(a) arriba. En caso que y > x,
podemos escoger
= 2 · (y − x)
y luego
x + = x + 2y − 2x = 2y − x > 2y − y = y,
así que x < y < x+ y, en particular, y está en el intervalo (x−, x+);
y en el caso que y < x, se puede escoger
4
= 2 · (x − y)
(cambiando y − x por x − y para que el resultado sea positivo) y otra
vez se puede verificar que y ∈ (x − , x + ).
En conclusión, sea lo que sea x ∈ R, tenemos
[
(x − , x + ) = R (5)
∈R+
3. Para cada afirmación abajo, diga si es verdadera o falsa. En caso que sea
verdadera, dé una demostración; en caso que sea falsa, dé un contraejem-
plo.
(a) Si A ⊆ B, entonces A ∩ (B ∪ C) = A.
A ∩ (B ∪ C) ⊆ A. (7)
(Esta parte de la demostración no necesita la hipótesis que A ⊆ B.)
Del otro lado, suponga que A ⊆ B y z ∈ A. Por la hipótesis que
A ⊆ B, tenemos que z ∈ B, y por lo tanto z ∈ B ∪ C. Pero z ∈ A y
también z ∈ B ∪ C, así que
z ∈ A ∩ (B ∪ C).
concluimos que
A ⊆ A ∩ (B ∪ C). (8)
Por (7) y (8) tenemos la igualdad que queríamos.
5
(b) Si A ∩ (B ∪ C) = A, entonces A ⊆ B.
A = {1},
B = ∅,
C = {1}.
Entonces
(c) A \ (B \ C) = (A \ B) \ C.
A = {1, 2},
B = {2, 3},
C = {1, 3},
para los cuales
(A \ B) \ C = {1} \ {1, 3} = ∅.
(d) A \ (B × C) = (A \ B) × (A \ C).
(e) A × (B \ C) = (A \ B) × (A \ C).
ST TS
(f) ( A) = ( A).
6
4. En la sección 1.4 del libro de Forero, se listan las siguientes diez propiedades
generales para conjuntos:
(a) A ∩ (B ∪ C)c = (A ∩ B c ) ∩ (A ∩ C c ).
SOLUCIÓN:
= (A ∩ A) ∩ (B c ∩ C c ), por (α8 );
= (A ∩ (A ∩ B c )) ∩ C c , por (α2 );
7
= (A ∩ B c ) ∩ (A ∩ C c ), por (α2 ).
(b) Si A ∩ B c = ∅, entonces A ∩ B = A.
A ∩ B c = ∅. (9)
Entonces
A = A ∩ U, por (α6 );
= A ∩ (B ∪ B c ), por (α5 );
= (A ∩ B) ∪ (A ∩ B c ), por (α4 );
= (A ∩ B) ∪ ∅, por (9);
= A ∩ B, por (α6 ).
Esta cadena de igualdades implica que A = A ∩ B, así que A ∩ B = A
por simetría de “=”.
(c) Si A ∪ B = A ∩ B, entonces A = B.
(d) (A ∩ B) ∪ (A ∩ C) ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) ∩ (B ∪ C).