Apunte

Apunte (en construcción) de teorı́a axiomática de conjuntos

Semestre 202020

Profesor: Carlos Gallegos Lastra.

Universidad de Santiago 1 Álgebra I

Chapter 1

Fundamentos de la teorı́a de conjuntos

Intuitivamente, un conjunto se puede considerar como una colección de objetos, denominados

elementos del conjunto, que verifican una “propiedad”. Esta idea, propuesta por Cantor y
Frege, básicamente nos dice que todo predicado razonable describe un conjunto (principio de
comprensión). Analicemos el siguiente problema:

Problema. En un pueblo habı́a un barbero que solo afeitaba a aquellos que nunca se afeitaban
a sı́ mismos. ¿Se afeitaba el barbero a sı́ mismo?

De manera lógica, la situación anterior se escribe como

∀x, barbero afeita a x ⇔ x no afeita a x.

Si reemplazamos a x por barbero se obtiene

barbero afeita a barbero ⇔ barbero no afeita a barbero,

es decir, el barbero se afeita a sı́ mismo sı́ y sólo si no se afeita a si mismo, lo cual nos lleva a
una contradicción. Lo anterior se conoce como la paradoja del barbero o paradoja de Russell
la cual se puede enunciar formalmente de la siguiente manera:
Sea B el “conjunto de todos los conjuntos que no se contienen a sı́ mismos como miembros”.
Es decir

B = {x : x ∈
/ x}

Según la teorı́a de conjuntos de Cantor, la ecuación anterior se puede representar por

∀x x ∈ B ⇐⇒ x ∈
/x

2
 Apunte

es decir “Cada conjunto es elemento de B si y sólo si no es elemento de sı́ mismo”.

Ahora, en vista de que B es un conjunto, se puede substituir x por B en la ecuación anterior,
de donde se obtiene

B ∈ B ⇐⇒ B ∈
/B

Es decir que B es un elemento de B si y sólo si B no es un elemento de B, lo cual es absurdo.

Es ası́ como en 1903 Bertrand Russell demostrarı́a que la teorı́a de conjuntos de Cantor era
inconsistente y cuestionarı́a la definición de conjunto en la teorı́a de Cantor. Pero pronto
la teorı́a axiomática de Zermelo (1908) y refinamientos de ésta debidos a Fraenkel (1922),
Skolem (1923), von Newman (1925) y otros sentaron las bases para la teorı́a de conjuntos
actual.

Tarea 1. Investigar la solución a la paradoja de Russell (Teorı́a de tipos).

1.1 Sistema axiomático

Los axiomas de la teorı́a Zermelo-Fraenkel-Skolem, de ahora en adelante ZFS, son propiedades
indemostrales que se aceptan como verdaderas y que tienen por objeto garantizar que en la
Jerarquı́a de Conjuntos ZFS todo lo construido son conjuntos y ası́ evitar las paradojas.
Recordemos los componentes de una teorı́a axiomática:

1. El lenguaje o sı́mbolos formales de la teorı́a.

2. Los axiomas, que son proposiciones acerca de los objetos de la teorı́a y que imponen el
funcionamiento de dichos objetos.

3. Los teoremas, que son todas las proposiciones demostrables con herramientas lógicas a
partir de los axiomas.

Los sı́mbolos a utilizar serán los usuales del lenguaje formal de la teorı́a de conjuntos:

1. Los sı́mbolos de conjuntos serán las letras del alfabeto, mayúsculas y minúsculas.

2. El sı́mbolo de la relación de pertenencia entre conjuntos es ∈.

3. Los sı́mbolos lógicos de la lógica de predicados: ¬ (negación), ∧ (conjunción), ∨

(disyunción), ⇒ (implicación), ⇔ (equivalencia), ∀ (cuantificador universal), ∃ (cuan-
tificador existencial) y ( , ) (paréntesis).

Universidad de Santiago 3 Álgebra I

 Apunte

Axioma 1. Axioma de Extensionalidad:

∀x(x ∈ A ⇔ x ∈ B) ⇔ A = B.

Este axioma asegura que el sı́mbolo lógico = para la igualdad de objetos de la teorı́a coincide
con la intuición de que dos conjuntos son iguales si tienen los mismos elementos. El axioma
de extensionalidad, afirma, esencialmente, que un conjunto está unı́vocamente determinado
por sus miembros.

Axioma 2. Axioma de Separación o de especificación:

∀A∃B(x ∈ B ⇔ (x ∈ A ∧ ϕ(x))).

Expresa que si ϕ(x) es una fórmula del lenguaje de la teorı́a de conjuntos, con a lo sumo la
variable x libre y A es un conjunto, entonces la clase (colección) {x/ x ∈ A ∧ ϕ(x)} es un
conjunto. El axioma de separación obliga a que los conjuntos estén formados de elementos
de conjuntos ya construidos. Hay que observar que mas que un solo axioma es un esquema
de axiomas, ya que tenemos un axioma para cada predicado.

Axioma 3. Axioma del Par:

∀A∀B∃C(∀x(x ∈ C ⇔ (x = A ∨ x = B))).

Expresa que si A y B son conjuntos entonces la clase {A, B} es un conjunto. En particular,

si A es un conjunto entonces la clase {A} es un conjunto (por extensionalidad). Este axioma
asegura que las colecciones de conjuntos son conjuntos.

Axioma 4. Axioma de la Unión:

∀A∃B(∀x(x ∈ B ⇔ ∃y(y ∈ A ∧ x ∈ y))).

S
Expresa que si A es un conjunto la reunión de A, A, es un conjunto que contiene todos los
elementos de cada conjunto de A.

Axioma 5. Axioma de las partes:

∀A∃B(∀x(x ∈ B ⇔ x ⊆ A)).

Si A es un conjunto, entonces las partes de A, P(A), que contiene todos los subconjuntos de
A es un conjunto.

Universidad de Santiago 4 Álgebra I

 Apunte

Axioma 6. Axioma del conjunto vacı́o:

∃∅∀a(a ∈
/ ∅).

Este axioma dice que existe un conjunto (representado por ∅) sin elementos.
Problema. 1. Se definen A = ∅, B = A ∪ {A}, C = B ∪ {B}, D = C ∪ {C}. Demuestre
que A, B, C y D son conjuntos.
Sol:Por el axioma del conjunto vacı́o, A = ∅ es un conjunto. Del axioma del par y de
lo anterior, resulta que {A} es un conjunto. Del axioma de la unión y de lo anterior,
se deduce que B = A ∪ {A} es un conjunto. Análogamente se prueban los demás.

2. Sean X = {{{B, C}, {B}}, {C}}, Y = {B, C}. Calcular:

[ [[ [[
X, X, Y, P(C)
Sol:
[
X = {{B, C}, {B}} ∪ {C}
= {{B, C}, {B}, C}
[[
X = {B, C} ∪ {B} ∪ C
= {A, B, C}
= D
[[ [
Y = (B ∪ C)
[
= ({A, B})
= B
P(C) = P({A, B})
= {A, {A}, {B}, {A, B}}

3. Probar que para cada conjunto A, existe algún x tal que x ∈

/ A.
Sol: Caso contrario, existirı́a un conjunto B tal que ∀x(x ∈ B). De donde resultarı́a
que B = V (Universal). Lo que contradice que la clase universal, V , sea propia.
S
4. Sean A y B conjuntos, se define la unión de A y B como A∪B = {A, B}. Demuestre
que A ∪ B es un conjunto

5. De lo anterior deduzca que si A1 , A2 , . . . , An son conjuntos, entonces

[n [
Ai = A1 ∪ A2 ∪ · · · An = {A1 , A2 , . . . , An }
i=1

es un conjunto.

Universidad de Santiago 5 Álgebra I

 Apunte

6. Muestre que el axioma de pares puede deducirse del axioma del conjunto potencia, el
esquema de especificación y el axioma de unión.

Axioma 7. Axioma del Conjunto Infinito:

∃Ω(∈ Ω ∧ ∀y(y ∈ Ω → y ∪ {y} ∈ Ω)).

Este axioma asegura la existencia de un conjunto Ω tal que ∈ Ω y tal que si y ∈ Ω, entonces
y ∪ {y} ∈ Ω. El nombre de este axioma es un poco engañoso, la verdad es que el axioma no
dice literalmente “Existe un conjunto que tiene infinitos elementos” como uno podrı́a esperar,
sino que garantiza la existencia de un conjunto que intuitivamente tiene que ser infinito. Si
como antes llamamos sucesor de un conjunto x al conjunto x ∪ {x}, entonces el axioma dice:
“Existe un conjunto que contiene al conjunto vacı́o y que contiene al sucesor de cada uno de
sus elementos.”
Intuitivamente el conjunto ası́ formado es infinito, ya que para cada conjunto y ∈ X hay otro
y otro y otro, todos ellos diferentes. Los conjuntos que verifican las condiciones indicadas
en este axioma se llaman inductivos. El axioma nos dice que existe al menos un conjunto
inductivo y es necesario para construir el conjunto de los números naturales como el menor
de los conjuntos inductivos. Este axioma representa un profundo quiebre con la tradición
filosófica. Hasta mediados del siglo XIX, siguiendo el pensamiento griego, los matemáticos
consideraban el infinito como algo potencial, es decir, procesos que se pueden continuar y
continuar sin fin. Por ejemplo, dado un número natural, siempre podemos obtener otro y
otro y otro. Sin embargo, la noción de un objeto infinito como un todo no era concebible. Lo
que hicieron los lógicos matemáticos de ese tiempo, entonces, fue afirmar que hay conjuntos
que son realmente y no sólo potencialmente infinitos. Por supuesto esta no es una idea de
Zermelo, sino que está en el centro del pensamiento de Cantor. En la literatura suele llamarse
infinito potencial e infinito actual a estas dos formas de considerar el infinito.
El axioma original de Zermelo era algo distinto, decı́a “Existe un conjunto que contiene al
conjunto vacı́o y si x es uno de sus elementos también lo es {x}”.

Axioma 8. Axioma de Reemplazo: Sea una fórmula con al menos dos variables libres,
ϕ(x, y). La siguiente fórmula es un axioma:

(∀x, y, z, ϕ(x, y) ∧ ϕ(x, z) ⇒ y = z) ⇒ ∀A∃B , ∀b (b ∈ B ⇔ ∃a ∈ A : ϕ(a, b))

Escrito en palabras: si ϕ representa una función, entonces para cada conjunto A existe su
conjunto imagen B. Los predicados representa una función y su conjunto imagen significan,

Universidad de Santiago 6 Álgebra I

 Apunte

más concretamente, para cada x, es cierta para un único par ordenado x, y y el conjunto de los
elementos b que cumplen ϕ(a, b) para algún a en A. La fórmula ϕ puede tener parámetros, es
decir, puede tener más variables libres que hagan referencia a otros conjuntos no especificados.
Ejemplos: [
y= x, y = P(x), y = x ∪ {x}

Ejercicio 1. Demuestre que para cada conjunto A, hay un conjunto B tal que A ⊂ B. Ası́,
no existe un conjunto máximo respecto de la inclusión.

Ejercicio 2. Demuestre que no existe un conjunto del cual sean miembros precisamente todos
los conjuntos. Por consiguiente no existe un conjunto maximal respecto de la pertenencia.

Ejercicio 3. Sea X un conjunto no vacı́o. Demuestre que existe un único conjunto cuyos
miembros son precisamente aquellos conjuntos que pertenecen a todos y cada uno de los
T T
miembros de X denotado por X = X∈X X.

Ejercicio 4. Sean X e Y dos conjuntos. Demuestre que existe un único conjunto cuyos
miembros son precisamente aquellos conjuntos que pertenecen a X e Y . Obs: A dicho con-
junto se le denomina intersección (binaria) de X e Y denotado por X ∩ Y .

Ejercicio 5. Sean X, Y y Z tres conjuntos. Demuestre que existe un único conjunto del
cual son miembros exactamente aquellos elementos que pertenecen a todos y cada uno de los
conjuntos dados. A tal conjunto se le denota por X ∩ Y ∩ Z.

Ejercicio 6. Sean X e Y dos conjuntos. Demuestre que existe un único conjunto cuyos
miembros son precisamente aquellos elementos que pertenecen a X y no pertenecen a Y .
Obs: A dicho conjunto se le denomina la diferencia o la diferencia relativa de Y en X y se
denota por X − Y o por X \ Y .

Axioma 9. Axioma de Regularidad:

∀X(X 6= ∅ ⇒ ∃Y (Y ∈ X ∧ ∀Z(Z ∈ Y ⇒ Z ∈
/ X)))

El axioma dice: “Todo conjunto no vacı́o contiene un elemento con el que no comparte
ningún elemento”. Una manera más operativa de leer este axioma es que para cada conjunto
no vacı́o A, existe un elemento a ∈ A tal que a ∩ A = ∅. Obsérvese que en caso contrario, A
compartirı́a un elemento con cada uno de sus subconjuntos.
La importancia de este axioma es que evita las definiciones circulares. Por ejemplo, si un
conjunto dado A fuera tal que A ∈ A, para definirlo necesitarı́amos haber establecido antes
la existencia de sus elementos, en particular, de A mismo, lo que es absurdo.

Universidad de Santiago 7 Álgebra I

 Apunte

Teorema 1.

1. Para todo conjunto A, A ∈

/ A.

2. Dados dos conjuntos A y B, o bien A ∈

/ B o bien B ∈
/ A.

3. En general, no existen A1 , A2 , . . . , An tales que A1 ∈ A2 ∈ · · · ∈ An ∈ A1 .

Demo:

1. Supongamos que existe A tal que A ∈ A, entonces X = {A} contradice al axioma.

2. Idem, con X = {A, B}.

3. Idem, con X = {A1 , . . . , An }.

Universidad de Santiago 8 Álgebra I