Examen 2

Adolfo Servin
11 de Noviembre del 2020

1. Sean a, b y c conjuntos. Diga si los siguientes enunciados son falsos o verdaderos.

En caso de ser verdaderos proporcione una demostración; en caso de ser falsos
proporcione un contraejemplo.

a) a\b = (a ∪ b)\b Es verdadero

Demostración. Sea x un elemento arbitrario de a\b, queremos demostrar

que a\b ⊆ (a ∪ b)\b
Por def. de diferencia x ∈ a y x ∈/ b, entonces x ∈ a o x ∈ b, luego por la
def. de la unión x ∈ (a ∪ b), pero x ∈/ b, entonces por def. de diferencia
x ∈ (a ∪ b)\b. Por lo tanto a\b ⊆ (a ∪ b)\b

Sea x un elemento arbitrario de (a ∪ b)\b, queremos demostrar que (a ∪

b)\b ⊆ a\b
Por def. de diferencia x ∈ a ∪ b y x ∈
/ b, entonces, por def. de la unión x ∈ a
o x ∈ b, pero como x ∈/ b entonces x ∈ a y x ∈ / b, entonces por def. de dife-
rencia x ∈ a\b. Por lo tanto (a ∪ b)\b ⊆ a\b

Finalmente si a\b ⊆ (a ∪ b)\b y (a ∪ b)\b ⊆ a\b, entonces podemos con-

cluir que a\b = (a ∪ b)\b

b) a ⊆ (b ∪ c) implica a ⊆ b o a ⊆ c Es verdadero

Demostración. Sea x un elemento arbitrario de a , por hipótesis a ⊆ (b ∪ c),

entonces x ∈ (b ∪ c).Por def. de la unión tenemos que x ∈ b o x ∈ c, entonces
x ⊆ b o x ⊆ c y por lo tanto a ⊆ b o a ⊆ c
Por lo tanto como x fue un elemento arbitrario de a concluimos que a ⊆
(b ∪ c) implica a ⊆ b o a ⊆ c.

2. Demuestra que P(x) ∪ P(y) ⊂ P(x ∪ y) para cualquiera conjuntos x y y SIGUIEN-

DO ESTOS PASOS:

1
a) Demuestra que P(x) ∪ P(y) ⊆ P(x ∪ y)

Demostración. Sea a un elemento arbitrario de P(x) ∪ P(y), queremos de-

mostrar que a ∈ P(x ∪ y).
Como a ∈ P(x)∪P(y), entonces por def. de union a ∈ P(x) o a ∈ P(y). Lue-
go por la def. de potencia tenemos que a ⊆ x o a ⊆ y. Por lo tanto a ⊆ x ∪ y,
lo que implica que a ∈ P(x ∪ y).
Finalmente como a fue un elemento arbitrario se concluye que

P(x) ∪ P(y) ⊆ P(x ∪ y).

b) Considera a = {b, 0},

/ b = {{0}}.
/ Calcula P(a), P(b)yP(a ∪ b)
P(a) = {0,
/ {b, 0},
/ {b}, {0}}
/
P(a) = {0,
/ {{0}, / {{0}},
/ 0}, / {0}}
/

P(b) = {0,
/ {0}}
/
Notemos que b ⊆ a, entonces b ∪ a = a = a ∪ b, entonces:

P(a ∪ b) = P(a) = {0,

/ {{0}, / {{0}},
/ 0}, / {0}}
/

c) Concluye (argumentando porqué) que P(x) ∪ P(y) ⊂ P(x ∪ y)