Fundamentos de la Matemática - MATD133

Pizarra de la clase No. 31

Dictada por Juan Carlos Trujillo

Viernes, 04 de marzo de 2022

1 Evaluación E4
1.1. Más sobre conjuntos transitivos.

i. Determine P (2), P ({1}) y el valor de verdad de las proposiciones 2 ⊆ P (2) y

{1} ⊆ P ({1}).
Respuesta. Por definición de partes de un conjunto, P (2) tiene como elementos todos los
subconjuntos de 2; por tanto, 0 y 2 son dos de los elementos de P (2) porque 0 ⊆ 2 y 2 ⊆ 2. Por
otra parte, como 2 tiene 0 y 1 como sus únicos elementos, {0} y {1} son también subconjuntos
de 2 (véase el literal c) del ejercicio 11 de la sección 1.4 de Pinter). Por tanto, ya podemos
asegurar que
{0, 1, {1}, 2} ⊆ P (2) ,
pues 1 = {0}.
Mostremos ahora que no hay más conjuntos que los mostrados que sean elementos de
P (2). Para ello, sea x ∈ P (2); luego, por la definición de partes, se tiene que x ⊆ 2. Como
2 tiene dos elementos, 0 y 1, lo anterior significa que x puede no tener elementos; es decir,
x = 0; o puede tener un solo 2; es decir, x = {0} (x = 1) o x = {1}; o, finalmente, x puede
tener los dos elementos de 2; es decir, x = 2. En conclusión,

P (2) ⊆ {0, 1, {1}, 2};

por tanto, obtenemos que

P (2) = {0, 1, {1}, 2}.

Dado que 0 y 1 son los únicos elementos de 2, y también son elementos de P (2), la
proposición
2 ⊆ P (2)
es verdadera (por la definición de subclase).
De manera similar, se obtiene que

P ({1}) = {0, {1}};

luego, la proposición
{1} ⊆ P ({1})
es falsa, porque el único elemento de {1} no pertenece a P ({1}).

ii. ¿Es la proposición a ⊆ P ( a) una condición necesaria y suficiente para que a sea un
conjunto transitivo?
Respuesta. El problema planteado en la pregunta anterior nos podría sugerir que la respuesta
a esta pregunta es afirmativa. En efecto, 2 es un conjunto transitivo y la proposición 2 ⊆ P (2)
es verdadera; en cambio, {1} no es un conjunto transitivo (como se puede ver fácilmente) y
la proposición {1} ⊆ P ({1}) es falsa.

1
 Veamos a continuación que esta conjetura es verdadera. En primer lugar, establezcamos
que la proposición a ⊆ P ( a) es una condición suficiente para que a sea un conjunto transitivo.
Para ello, supongamos que
a ⊆ P ( a) (1)
y demostremos que a es un conjunto transitivo. Con tal propósito, supongamos que

x∈a (2)

y probemos que x ⊆ a.
Esto se deduce fácilmente: como x ∈ a, de (1) y la definición de subclase, se tiene que
x ∈ P ( a), de donde, por la definición de partes de un conjunto, se concluye que x ⊆ a, como
se quería.
Ahora veamos que la proposición (1) es una condición necesaria; es decir, supongamos
que a es transitivo y deduzcamos (1). Pero esto es inmediato, ya que si x ∈ a, como a es
transitivo, x ⊆ a, de donde, x ∈ P ( a); es decir, a ⊆ P ( a).

1.2. Conjuntos y clases propias.

iii. Si f : A −→ B es una función sobreyectiva sobre B y B es una clase propia, ¿se puede
determinar qué tipo de clase es A: conjunto o una clase propia?
Respuesta. Sí, se puede. En efecto, A es una clase propia, ya que si A fuera un conjunto, por
el axioma de Reemplazamiento, B también lo sería, lo que contradice la hipótesis de que B es
una clase propia.

iv. Si f : A −→ B es una función inyectiva y B es un conjunto, ¿se puede determinar qué

tipo de clase es A: un conjunto o una clase propia?
Respuesta. Sí, se puede: A es un conjunto. Por el corolario 2.4 de Pinter, se tiene que f : A −→
rec f , pues rec f ⊆ B (por el teorema 2.3). Por tanto, f : A −→ rec f es una función biyectiva,
ya que f es inyectiva. Luego, f −1 : rec f −→ A y es sobreyectiva sobre A. Así, por el axioma
de Reemplazamiento, A es conjunto, ya que rec f también lo es por el axioma de subclase y
porque rec f es subconjunto de B, que es un conjunto.

v. Sean A y B dos clases y f : A −→ B. Si f es una correspondencia uno a uno, ¿es

verdadera la proposición “A y B, o bien ambas son clases propias, o bien ambas son
conjuntos”?
Respuesta. Sí, la proposición
A y B, o bien ambas son clases propias, o bien ambas son conjuntos
es verdadera.
En efecto, si A es un conjunto, como f es una correspondencia uno a uno de A sobre B, es
sobreyectiva; luego, por el axioma de Reemplazamiento, B es un conjunto. Por tanto, si B es
una clase propia, A también lo es.
Por otra parte, si B es un conjunto, como f es inyectiva de A en B, A es un conjunto (por
la pregunta anterior); luego, si A es una clase propia, también lo es B.

vi. Sea D = {( x, y) : x 6= y}. ¿Es D un conjunto o una clase propia?

Respuesta. D es una clase propia. En efecto, sea

A = {( x, y) : x 6= ∅ ∧ y = ∅}.

Es decir, con abuso de notación,

A = {( x, ∅) : x 6= ∅}.

Por tanto,
A ⊆ D.

2
Y, como probaremos a continuación, A es una clase propia; por tanto, D también lo es, gracias
al axioma de subclase.
Para probar que A es una clase propia, consideremos la función

F: A −→ U − {∅}
( x, ∅) 7−→ x.

Claramente, se tiene que F ⊆ A × (U − {∅}) ya que si ( x, ∅) ∈ A, entonces, x 6= ∅; por

tanto, x 6∈ {∅}. Así, F0 es verdadera. Es inmediato también que F1 y F2 son verdaderas.
Además, F es sobreyectiva sobre U − {∅}, pues si x 6= ∅, se tiene que

x = F (( x, ∅))

pues ( x, ∅) ∈ A. Así, si A fuera un conjunto, por el axioma de reemplazamiento, U − {∅}

también lo sería; pero esta clase es propia, ya que si fuera un conjunto, por el axioma de la
unión, obtendríamos que (U − {∅}) ∪ {∅} también sería conjunto (pues {∅} es un conjunto);
es decir, obtendríamos que U es un conjunto, lo que es falso.