Fundamentos de la Matemática - MATD133

Evaluación E5
Dictada por Juan Carlos Trujillo

Martes, 15 de marzo de 2022

1 Evaluación E6
1.1. Conjuntos transitivos. Un conjunto A es transitivo si es verdadera la proposición

(∀ x )( x ∈ A ⇒ x ⊆ A).

i. ¿Es la proposición
( x ∈ y ∧ y ∈ A) ⇒ x ∈ A
una condición necesaria y suficiente para que A sea un conjunto transitivo? 1 punto
Respuesta. Sí, la proposición es una condición necesaria y suficiente para que A sea un con-
junto transitivo. En efecto:
a) Veamos que la proposición es una condición necesaria. Para ello, supongamos que A es
un conjunto transitivo; supongamos, además, que

x∈y y y ∈ A,

y demostremos que x ∈ A.
Como A es transitivo y y ∈ A, entonces y ⊆ A; luego, dado que x ∈ y, por la
definición de subclase, se concluye que x ∈ A.
b) Ahora probemos que la proposición es también suficiente. Con este fin, supongamos que

( x ∈ y ∧ y ∈ A) ⇒ x ∈ A (1)

es verdadera y demostremos que A es un conjunto transitivo. Para ello, supongamos que

z ∈ A y probemos que z ⊆ A; es decir, supongamos, además, que t ∈ z y demostremos
que t ∈ A.
Aparte de la proposición (1), como hipótesis tenemos que:

t ∈ z ∧ z ∈ A;

es decir, son verdaderas las proposiciones (la primera es una particularización de (1))

(t ∈ z ∧ z ∈ A) ⇒ t ∈ A y t ∈ z ∧ z ∈ A,

de donde, concluimos que t ∈ A, que es lo que se quiere.

1.2. Clases propias y funciones. Sean A = { x : ∅ ∈ x } y B = { x : ∅ 6∈ x }.

ii. Sea F = {( x, y) : x ∈ A ∧ y = x − {∅}}. ¿Es F una función de A en B? 2 puntos

Respuesta. Aunque no es necesario, vamos a probar que F es una función de A en B mediante
la definición y el teorema de caracterización (2.3 de Pinter).

1
 a) Mediante la definición de función:
La proposición F0 es verdadera: F ⊆ A × B. En efecto: si ( x, y) ∈ A, entonces x ∈ A
y y = x − {∅}; luego, ∅ 6∈ y, por la definición de diferencia de clases; así, y ∈ B; es decir,
( x, y) ∈ A × B.
La proposición F1 también es verdadera: sea x ∈ A, entonces ( x, x − {∅}) ∈ F, pues
∅ 6∈ x − {∅}. Así, existe y ∈ B tal que ( x, y) ∈ F.
Finalmente, la proposición F2 es verdadera, pues si ( x, y) ∈ F, ( x, z) ∈ F, se tiene que
y = x − {∅} y z = x − {∅}, de donde, y = z.
b) Mediante el teorema de caracterización:
Solo nos falta probar que dom F = A y que rec F ⊆ B. La segunda proposición es
inmediata, pues, si x ∈ rec F, existe y tal que (y, x ) ∈ F; es decir, x = y − {∅}; es decir,
∅ 6∈ x y, por tanto, x ∈ B. Hemos probado que si x ∈ rec F, entonces x ∈ B.
Por último, probemos que dom F ⊆ A y que A ⊆ dom F. Para deducir la primera
proposición, supongamos que x ∈ dom F y mostremos que x ∈ A: de la definición de
dominio, existe y tal que ( x, y) ∈ F; así, x ∈ A, por la definición de F.
Recíprocamente, de x ∈ A, se deduce inmediatamente que x ∈ dom F, pues ( x, x −
{∅}) ∈ F, que es una proposición verdadera por la definición de F.

iii. Si la respuesta a la pregunta anterior es afirmativa, ¿es F una correspondencia uno a

uno de A sobre B? 1 punto
Respuestas. Sí lo es.
a) F es inyectiva: supongamos que x ∈ A y y ∈ A tales que

F ( x ) = F ( y );

mostremos que x = y.
De la definición de F, tenemos que F ( x ) = x − {∅} y F (y) = y − {∅}; luego, de la
hipótesis, se obtiene que
x − { ∅ } = y − { ∅ }.
¿Se puede concluir que x = y? Sí, pero únicamente porque ∅ ∈ x y ∅ ∈ y (por la
definición de A).
En efecto, si u ∈ x, entonces u = ∅ o u 6= ∅. En el primera caso, u ∈ y; en el segundo
caso, u ∈ x − {∅}; así, u ∈ y − {∅}; por tanto, en ambos casos, u ∈ y; es decir, x ⊆ y; de
manera similar, se deduce que y ⊆ x. Así, x = y, como se dijo.
Por ejemplo, se tiene que {∅, 1} − {∅} = {1} − {∅}; sin embargo, {∅, 1} 6= {1}.
b) F es sobreyectiva sobre B: sea y ∈ B; mostremos que existe x ∈ A tal que y = F ( x ); es decir,
tal que y = x − {∅}.
Es claro que el x buscado es y ∪ {∅}, porque ∅ ∈ y ∪ {∅}; es decir, y ∪ {∅} ∈ A, y

F (y ∪ {∅} = (y ∪ {∅}) − {∅}

= y,

porque si z ∈ (y ∪ {∅}) − {∅}, entonces, z ∈ y ∪ {∅} y z 6∈ {∅}; luego, de z ∈ y ∨ z = ∅

y z 6= ∅; por tanto, z ∈ y. En otras palabras:

(y ∪ {∅}) − {∅} ⊆ y.

Por otra parte, si z ∈ y, entonces z ∈ y ∪ {∅}; además, como y ∈ B, ∅ 6∈ y; luego,

z 6= ∅; así, z 6∈ {∅}, de donde, z ∈ y ∪ {∅} − {∅}. Hemos probado también que

y ⊆ (y ∪ {∅}) − {∅}.

iv. ¿Es A una clase propia? 1 punto

Respuesta. Sí, A es una clase propia, gracias al axioma de Reemplazamiento y el hecho de que
la función
F : A −→ B
x 7−→ x − {∅}

2
 es sobreyectiva, como se ha probado en la respuesta a la pregunta anterior.
En efecto: en la evaluación anterior, se probó que B es una clase propia (recordemos que
0 = ∅). Así, si A fuera un conjunto, dado que F es sobreyectiva sobre B, entonces también B
sería un conjunto, lo que es imposible.

v. De las siguientes clases, ¿cuáles son propias? 1 punto

A ∪ B, A ∩ B, A − B, B − A, A′ y B′ .

Respuestas. A ∪ B es una clase propia, dado que A ∪ B = U porque la proposición

∅ ∈ x ∨ ∅ 6∈ x

es verdadera para todo conjunto x (por la definición de disyunción).

A ∩ B no es propia porque A ∩ B = ∅, ya que la proposición

∅ ∈ x ∧ ∅ 6∈ x

es falsa para todo conjunto x (por la definición de conjunción), porque la clase ∅ es un con-
junto y el axioma de Sustitución.
A − B es una clase propia porque A − B = A, ya que A ∩ B = ∅ (véase Pinter, Excercises
1.3, 6, b; o hágase la demostración, que es sencilla). Una vez más, esta conclusión se obtiene
también con la ayuda del axioma de Sustitución.
De manera similar, se muestra que B − A es una clase propia.
Por último, A′ y B′ son clases propias porque A′ = B y B′ = A. Probemos únicamente
que A′ = B. Son válidas las siguientes equivalencias lógicas:

x ∈ A′ ≡ x 6∈ A
≡ ¬( x ∈ A)
≡ ¬(0 ∈ x )
≡ 0 6∈ x
≡ x ∈ B.

La primera equivalencia es válida por la definición de complemento; la segunda, por la de-

finición de “no pertenece”; la tercera, por la definición de A; la cuarta, la definición de “no
pertenece”; y, por último, la quinta es verdadera por la definición de B.
Una vez más, las conclusiones a las que se llegan también se obtienen gracias al axioma
de Sustitución.

1.3. Más sobre clases propias. Sean a un conjunto y C = { x : a 6⊆ x }.

vi. Si a = ∅, ¿es C una clase propia? 1 punto

Respuesta. Si a = ∅, entonces C = ∅, luego C no es una clase propia, ya que ∅ es un conjunto
(y el axioma de Sustitución).
En efecto, si x ∈ C, entonces ∅ 6⊆ x, lo que es falso, porque la clase vacía es subclase de
toda clase. Por tanto, C = ∅.

vii. Si a 6= ∅, ¿es verdadera la proposición ∪C = U − a? 2 puntos

Demostración. No, no es verdadera la proposición necesariamente.
En efecto, demostremos que existe a tal que ∪C 6= U − a. Por ejemplo, si tomamos a =
{0, 1}, entonces es fácil ver que 1 ∈ ∪C, pues 1 ∈ {1} y a 6⊆ {1}; luego, {1} ∈ C; es decir,

1 ∈ {1} ∧ {1} ∈ C.

Sin embargo, 1 6∈ U − {0, 1}.

3
 En cambio, si a = {0}, se tiene que si x ∈ ∪C, existe y ∈ C tal que x ∈ y. Así {0} no es
subconjunto de y (por la definición de C); luego, 0, el único elemento de {0}, no pertenece a
y; es decir, 0 6∈ y; por tanto, x 6= 0; es decir, x 6∈ {0}. En resumen, hemos probado que

∪ C ⊆ U − {0}.

Por otra parte, si x 6= 0, entonces x ∈ { x } y { x } ∈ C, porque {0} 6⊆ x, pues x 6= 0. Así,

x ∈ ∪C. En resumen:
U − {0} ⊆ ∪C.
Hemos probado que también existe a tal que ∪C = U − a.

viii. Si a 6= ∅, ¿es C una clase propia? 1 punto

Respuesta. La clase C sí es una clase propia porque ∪C es una clase propia si a 6= ∅.
En efecto, en la pregunta anterior, se probó que ∪C no es igual a U − a; pero no es muy
difícil probar1 que
U − a ⊆ ∪C;
y, como U − a es una clase propia (el complemento de un conjunto, demostrado en una eva-
luación anterior), ∪C es una clase propia; así, C también lo es, porque si C fuera un conjunto,
por el axioma de la unión, ∪C también lo sería.
Para terminar, mostremos que sí es verdadera la proposición

U − a ⊆ ∪C.

Supongamos que x 6∈ a; mostremos que x ∈ ∪C; es decvir, mostremos que existe y ∈ C

tal que x ∈ y.
Es claro que este y es { x }, pues, en primer lugar, x ∈ { x }; y, en segundo lugar, { x } ∈ C, ya
que a 6⊆ { x }, pues si a ⊆ { x }, hay únicamente dos posibilidades para a: ∅ o { x }. La primera
no puede ser, por la hipótesis. La segunda tampoco porque x 6∈ a, también por hipótesis (si
a = { x }, se tendría que x ∈ a).

1 De hecho, se probó esta proposición en el caso particular de que a = {0} en la respuesta de la pregunta anterior.