Teorı́a axiomática de Conjuntos

Sergio A. Celani
CONICET y Departamento de Matemáticas
Facultad de Ciencias Exactas
Universidad Nacional del Centro

Reunión Anual de la
UNIÓN MATEMÁTICA ARGENTINA
Mar del Plata, 2009
ÍNDICE ÍNDICE

Índice
1. Teorı́a de Conjuntos 2
1.1. Un poco de historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Las paradojas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1. La paradoja de Russell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.2. Paradoja de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3. Posibles soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2. Lenguaje de la Teorı́a de Conjuntos 6

3. Primeros Axiomas 7

4. Relaciones y Funciones 11
4.1. Pares ordenados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4.2. Relaciones y Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

5. Números Naturales 13
5.1. Conjuntos Inductivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

6. Propiedades de los Números Naturales 15

7. Orden natural en 𝜔 16

8. Sistemas de Peano 19

9. Aritmética de los Naturales 21

10.Números Enteros y Racionales 23

10.1. Números Enteros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
10.2. Números Racionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

11.Axioma de Regularidad 26

12.Axioma de Elección 27

13.Axioma de Reemplazo 28

1
 1 TEORÍA DE CONJUNTOS

1. Teorı́a de Conjuntos
En estas notas vamos a introducir y estudiar a los conjuntos desde un punto de vista axiomático. Esta
forma de presentar a los conjuntos se debe a la necesidad de evitar en cualquier teorı́a las paradojas y
las contradicciones. En Matemática existen muchas teorı́as que se definen por medio de axiomas. Muchas
de las estructuras algebraicas conocidas están definidas por medio de un conjunto finito de axiomas.
También la Geometrı́a Euclideana se define por medio de postulados o axiomas. Pero ¿que es un axioma?
En forma genérica un axioma es una verdad o un principio básico que se asume como verdadero sin
recurrir o requerir de demostración alguna. La necesidad de axiomatizar a ciertas teorı́as matemáticas se
basa en que se debe presentar a la teorı́as en forma ordenada, consistente y no contradictoria, y que por
medio de una serie de principios básicos o evidentes se puedan deducir otras verdades. Estas verdades
son expresadas a través de proposiciones, teoremas, lemas, etc. La Teorı́a de Conjuntos es una de esas
teorı́as que necesitan ser descriptas a partir de una serie de axiomas.
El objetivo fundamental de estas breves notas es presentar a los conjuntos por medio de la axiomática
conocida hoy con el nombre de Teorı́a de Conjuntos de Zermelo-Fraenkel. Particularmente nos centraremos
en los axiomas que son necesarios para definir a los números naturales como conjuntos de un tipo par-
ticular. También veremos a los números naturales mediante los axiomas de Peano y su relación con el
enfoque axiomático.
La mayorı́a del material de estos apuntes se encuentra en detalle en los libros citados en la bibliografı́a.
Particularmente interesantes y con un enfoque adecuado a un primer curso en Teorı́a Axiomática de
Conjuntos son los libros, hoy clásicos, Elements of Set Theory de Herbert B. Enderton, [3] e Introduction
to Set Theory de Hrbacek Karel and Thomas Jech [5].

1.1. Un poco de historia

La necesidad de introducir conceptos matemáticos por medio de axiomas a través viene desde la época
en que Euclı́des axiomátizó la Geometrı́a clásica (la que se enseña en la escuela primaria) en cinco axiomas
básicos. No es mucho lo que se conoce sobre la vida de Euclı́des, pero se supone que vivió alrededor del
año 300 a.C.,en Alejandrı́a, Egipto. Los Elementos es la obra principal de Euclı́des y es una de las obras
cientı́ficas más difundidas del mundo. En este libro se presenta de manera formal, partiendo únicamente de
cinco postulados o axiomas, el estudio de las propiedades de rectas y planos, cı́rculos y esferas, triángulos
y conos, etc. Probablemente la mayorı́a de los resultados incluı́dos en Los elementos no fueron resultados
originales de Euclides pero la organización del material y su exposición, sin duda alguna se deben a él.
Otros ejemplos importantes de teorı́as matemáticas definidss por medio de axiomas podemos citar a
los espacios vectoriales, a los grupos, a los anillos, a las álgebras de Boole, etc.
La Teorı́a Intuitiva de conjuntos es aquella teorı́a que trata sobre los conjuntos presuponiendo que
todos nosotros sabemos o tenemos alguna noción sobre lo que es un conjunto. Pero en esta teorı́a intuitiva
se pueden dar afirmaciones de apariencia verdadera pero que conllevan una autocontradicción lógica o a
una situación que contradice el sentido común. Es decir, en la teorı́a de Conjuntos intuitiva se producen
lo que se conoce como paradojas. La Teorı́a Axiomática de Conjuntos lo que se intenta tratar de eliminar
estas posibles paradojas o contradicciones.
El primer matemático que se ocupó de la formalización de la teorı́a de conjuntos y que trató de
fundamentar la matemática conocida hasta ese momento, fué el matemático alemán George Cantor
(1845-1918).
Cantor intentaba cimentar la matemática basándose exclusivamente en los conjuntos (por ejemplo,
las definiciones de relación y de función se hacen estrictamente por medio de conjuntos). Uno de los
descubrimientos más importantes de Cantor fué que los conjuntos infinitos no tienen siempre el mismo
tamaño, o la misma cantidad de elementos. Es decir, existen distintos tipos de infinitos. Por ejemplo, el
conjunto de los racionales y el de los enteros tienen mismo tamaño que el conjunto de los naturales, pero
hay menos que números reales. Existen, por lo tanto, varios infinitos, unos más grandes que otros. Cantor
también probó que cualquier conjunto 𝐴 es estrictamente menor que el conjunto 𝒫(𝐴) de todas sus partes.
De esta forma podemos afirmar que el conjunto de los naturales ℕ es estrictamente más pequeño que
𝒫(ℕ).

2
1.2 Las paradojas 1 TEORÍA DE CONJUNTOS

George Cantor

1.2. Las paradojas

1.2.1. La paradoja de Russell
Las investigaciones de Cantor se basaron en una idea intuitiva de conjuntos. Cantor no definió ax-
iomáticamente a los conjuntos. El problema apareció cuando se comenzaron a encontrar paradojas en
esta teorı́a, siendo la más célebre la paradoja de Russell. Más tarde otros matemáticos encontraron más
paradojas, incluyendo al mismo Cantor.
Bertrand Russell fue un filósofo y matemático inglés. El escubrió su paradoja en 1901, y la publicó en
un apéndice de su libro ”Principios de las matemáticas”.

Bertrand Russell (1872 - 1972)

En 1902 el matemático alemán Friedrich Ludwig Gottlob Frege estaba a punto de publicar el segundo
volumen de su obra donde proponı́a una axiomatización de la teorı́a de conjuntos cuando recibió una
carta de Russell en la que le advertı́a acerca de una grave inconsistencia en su sistema lógico. En la
axiomatización propuesta por Frege aparecı́a el Axioma de Comprensión que dice lo siguiente:

Si 𝑃 es una propiedad, entonces existe el conjunto {𝑥 : 𝑃 (𝑥)} de todos los elementos que cumplen la
propiedad:
Según este axioma existe el conjunto
𝑅 = {𝑥 : 𝑥 ∈
/ 𝑥} ,
pues 𝑥 ∈/ 𝑥 es una propiedad expresable en el lenguaje de la teorı́a de conjuntos. Russell le preguntó a
Frege si el conjunto 𝑅 forma parte de sı́ mismo. Es decir, Russell preguntó si
¿𝑅 ∈ 𝑅?
Esto inmediatamente produce una paradoja, pues si 𝑅 ∈ 𝑅, entonces por la definición de los elementos
del conjunto 𝑅 tenemos que 𝑅 ∈/ 𝑅. Por lo tanto 𝑅 no cumple la propiedad que define al conjunto 𝑅. En
consecuencia se debe cumplir que 𝑅 ∈ 𝑅. Es decir, 𝑅 formará parte de sı́ mismo sólo si no forma parte
de sı́ mismo:
𝑅 ∈ 𝑅 si y sólo si 𝑅 ∈
/ 𝑅.
Esto es claramento un absurdo.
Esta paradoja es análoga a la paradoja del barbero:

3
1.2 Las paradojas 1 TEORÍA DE CONJUNTOS

En una aldea hay un barbero que afeita solamente a los hombres que no se afeitan ellos mismos.

Se pregunta ¿Al barbero quién lo afeita?

Frege introdujo intentó dar una solución a última momento modificando uno de sus axiomas que el
proponı́a para axiomatizar a la teorı́a de conjuntos.

Friedrich Ludwig Gottlob Frege (1848-1925)

Esta paradoja desmoronó en cierto sentido el trabajo de Frege, pues este utilizaba el principio de
comprensión en el desarrollo de su teorı́a.

1.2.2. Paradoja de Cantor

Otra paradoja, descubierta por el mismo Cantor en 1899 se obtiene cuando aceptamos que existe el
conjunto de todos los conjuntos. Es decir, que existe el conjunto universal.
Para explicar esta paradoja debemos definir la noción de conjuntos de igual cardinal y aceptar un
resultado debido a Cantor.

Diremos que dos conjuntos 𝐴 y 𝐵 son equipotentes, o coordinables, o que tienen mismo cardinal, en
sı́mbolos 𝐴 ∼ 𝐵, si existe una función biyectiva entre 𝐴 y 𝐵 :

𝐴 ∼ 𝐵 ⇔ ∃𝑓 : 𝐴 → 𝐵 biyectiva.

𝐴 es estrictamente menor que 𝐵, o que 𝐴 es inyectable en 𝐵, en sı́mbolos 𝐴 ≺ 𝐵, si existe una

función inyectiva entre 𝐴 y 𝐵 :

𝐴 ≺ 𝐵 ⇔ ∃𝑓 : 𝐴 → 𝐵 inyectiva.

Teorema 1 (de Cantor). Para cualquier conjunto 𝐴

𝐴 ≺ 𝒫(𝐴).

Como consecuencia de este resultado tenemos que ℕ es inyectable en 𝒫(ℕ).

Teorema 2.
ℕ ∼ ℤ ∼ ℚ ≺ ℝ ∼ 𝒫(ℕ).
Supongamos por un momento que existe el conjunto de todos los conjuntos y lo denotemos por 𝑈 .
Entonces todo subconjunto de 𝑈 es ası́ mismo un elemento de 𝑈 :

si 𝐴 ⊆ 𝑈 , entonces 𝐴 ∈ 𝑈.

Luego el conjunto 𝒫(𝑈 ) de todas las partes o subconjuntos de 𝑈 es un subconjunto de 𝑈 :

𝒫(𝑈 ) ⊆ 𝑈.

Pero esto implica que 𝒫(𝑈 ) y 𝑈 tienen el mismo cardinal, o que 𝒫(𝑈 ) es inyectable en 𝑈 . En otra
palabras, 𝒫(𝑈 ) ∼ 𝑈 . o 𝒫(𝑈 ) ≺ 𝑈 . Pero según el teorema de Cantor debe ocurrir que 𝑈 ≺ 𝒫(𝑈 ). De esta
forma si aceptamos el concepto de conjunto de todos los conjuntos obtenemos una contradicción.

4
1.3 Posibles soluciones 1 TEORÍA DE CONJUNTOS

1.3. Posibles soluciones

La primera propuesta para solucionar el problema de las paradojas provino de un matemático holandés
llamado Luitzen Egbertus Jan Brouwer (1881-1966), quien propuso una redefinición radical de todas las
matemáticas y prometió una solución al conflicto. El programa de Brouwer se basaba en lo más simple de
la intuición: el aceptaba los conceptos que son aparentes a la intuición general. Esta filosofı́a rechazaba
muchos principios fundamentales de las matemáticas, pero en cambio, solucionaba satisfactoriamente el
problema de las paradojas. Particularmente Brouwer rechazaba el principio del medio excluido, el cuál
decı́a que los elementos de un conjunto o bien tienen una propiedad o no la tienen, lo cuál serı́a la
negación de la propiedad. A esta corriente de pensamiento se le llamó Intuicionismo, como antagónico al
Formalismo Matemático de su época.

Luitzen Egbertus Jan Brouwer (1881-1966)

A principios del siglo XX, fue el matemático alemán Ernst Zermelo quién puso la teorı́a de conjuntos
sobre una base aceptable reduciéndola a un sistema axiomático más restringido que no permitı́a la ob-
tención de la Paradoja de Russell. Las ideas de Zermelo fueron después precisadas por Thoralf Skolem y
Abraham Fraenkel, resultando de ello la primera teorı́a axiomática de conjuntos, conocida como teorı́a
de Zermelo-Fraenkel, aunque serı́a más adecuada llamarla teorı́a de Zermelo-Fraenkel-Skolem.

Ahora vamos a enumerar los axiomas de la teorı́a de Zermelo-Fraenkel, denotada por 𝒵ℱ. En estas
notas solo nos concentraremos en los primeros 7 axiomas que son los necesarios para poder definir los
números naturales. Al final del apunte se introducen los tres axiomas restantes, pero no profundizaremos
en ellos.

1. Axioma de Extensionalidad.
2. Axioma Existencia del conjunto vacio.
3. Axioma de Separacion.
4. Axioma de Formación de Pares.
5. Axioma del Conjunto Potencia.
6. Axioma de Unión.
7. Axioma del Infinito.
8. Axioma de Regularidad.
9. Axioma de Elección.
10. Axioma de Reemplazo.

Para finalizar esta introducción comentemos que existen otras teorı́as que intentan formalizar a los
conjuntos y que evitan las paradojas. Por ejemplo, John von Neumann, Paul Bernays y Kurt Gödel
desarrollan otra teorı́a de conjuntos. Esta última es hoy llamada, naturalmente, la teorı́a de conjuntos de
von Neumann-Bernays-Gödel.

5
 2 LENGUAJE DE LA TEORÍA DE CONJUNTOS

Ernst Zermelo Adolf Fraenkel Thoralf Albert

(1871-1953) (1891-1965) Skolem (1887-1963)

2. Lenguaje de la Teorı́a de Conjuntos

En Matemáticas, toda teorı́a axiomática se expresa en un determinado lenguaje simbólico. En tales
lenguajes utilizamos algunos sı́mbolos especiales que, en general, tienen una interpretación adecuada
al contexto que estamos trabajando. Por ejemplo, si queremos definir axiomáticamente la noción de
grupo acudiremos a un sı́mbolo ∘ o +, o cualquier otro que nos sirve para definir los axiomas que
verifican los grupos. Además de estos sı́mbolos especiales también utilizamos otros sı́mbolo lógicos, como
la implicación →, la disyunción ∨, la conjunción ∧, la negación ¬, el cuantificador universal ∀ y el
cuantificador existencial ∃. Todos estos sı́mbolos lógicos son comunes a cualquier lenguaje matemático.
Dependiendo de que teorı́a matemática estemos estudiando tendremos sı́mbolos especiales además de los
sı́mbolos lógicos. En Teorı́a de grupo necesitamos un sı́mbolo especial ∘ para denotar la operación binaria
entre dos elementos. Si estamos en Teorı́a de Anillos necesitaremos, además del sı́mbolo de producto ∘,
otro sı́mbolo binario como por ejemplo +.
Ahora a vamos a precisar un lenguaje para describir la Teorı́a de Conjuntos. Tal lenguaje, además
de los sı́mbolos lógicos proposicionales {∨, ∧, →, ¬} y de los cuantificadores ∀ y ∃, vamos a necesitar un
sı́mbolo para denotar la igualdad =, y un sı́mbolo ∈ para denotar la pertenencia. También se utilizan los
paréntesis ( y ), para escribir las fórmulas en el lenguaje, pero estos no forman parte del lenguaje de la
Teorı́a de Conjuntos, solo ayudan a escribir las fórmulas.
Definición 3. El lenguaje de la Teorı́a de Conjuntos ℒ𝑇 𝐶 consta de
1. sı́mbolos para denotar variables: 𝑥, 𝑦, 𝑧, o también 𝐴, 𝐵, 𝐶, etc.,
2. sı́mbolos correspondientes a los conectivos lógicos ∨, ∧, → y ¬,
3. sı́mbolos para denotar a los cuantificadores ∀ y ∃, y
4. dos sı́mbolos de relación o predicados binarios
{∈, =} .
La interpretación intuitiva de los sı́mbolos ∈ y = es la usual.
También utilizaremos como sı́mbolos auxiliares a los paréntesis ) y (. Las variables en nuestro lenguaje
serán llamadas conjuntos.
Las fórmulas del lenguaje se definen inductivamente. Primero tenemos las fórmulas atómicas, que son
las más simples en nuestro lenguaje.
Definición 4. Las fórmulas atómicas son cadenas finitas del tipo 𝑥 ∈ 𝑦 o 𝑥 = 𝑦.
La lectura de una fórmula
𝑥∈𝑎
será ”𝑥 es un elemento de 𝑎”, o ”𝑥 está contenido en 𝑎”.

6
 3 PRIMEROS AXIOMAS

Definición 5. El conjunto 𝐹 𝑚 de todas las fórmulas en el lenguaje ℒ𝑇 𝐶 es el menor conjunto de

sucesiones finitas de elementos del lenguaje que se obtiene por medio de las siguientes reglas:

1. Toda fórmula atómica es una fórmula,

2. Si 𝜑 y 𝜓 son fórmulas, entonces 𝜓 ∘ 𝜑 es una fórmula, donde ∘ es ∨, ∧, o → .
3. Si 𝜑 es una fórmula, entonces ¬𝜑 es una fórmula,
4. Si 𝜑 es una fórmula y 𝑥 es una variable, entonces ∀𝑥𝜑 y ∃𝑥𝜑 son fórmulas.

Vamos a disponer de algunos sı́mbolos que nos permiten abreviar las fórmulas. Utilizaremos los sigu-
ientes sı́mbolos:
𝜑 ↔ 𝜓 para abreviar que (𝜑 → 𝜓) ∧ (𝜓 → 𝜑)
𝑥∈ /𝑎 para indicar que ¬ (𝑥 ∈ 𝑎)
𝑥 ∕= 𝑦 para denotar ¬ (𝑥 = 𝑦) .

3. Primeros Axiomas
El primer axioma que introducimos el Axioma de extensionalidad dice que dos conjuntos son iguales
si y sólo si tienen los mismos elementos, es decir, afirma que un conjunto está determinado por todos sus
elementos.
Axioma de Extensionalidad. Dos conjuntos con los mismos elementos son iguales. Formalmente,
para cualquier par de conjuntos 𝐴 y 𝐵,

∀𝑥 [(𝑥 ∈ 𝐴 ↔ 𝑥 ∈ 𝐵) → 𝐴 = 𝐵] .

El axioma anterior se puede expresar también diciendo que si dos conjuntos 𝐴 y 𝐵 son distintos,
entonces existe un elemento que está en 𝐴 y no en 𝐵 o existe un elemento que no está en 𝐴 y si está en
𝐵. En sı́mbolos:
[𝐴 ∕= 𝐵 → ∃𝑥 (𝑥 ∈ 𝐴 ∧ 𝑥 ∈/ 𝐵) ∨ ∃𝑥 (𝑥 ∈
/ 𝐴 ∧ 𝑥 ∈ 𝐵)] .
Por otra parte por propiedades de la relación de igualdad = es posible derivar la siguiente fórmula:

∀𝑥 (𝐴 = 𝐵 → (𝑥 ∈ 𝐴 ↔ 𝑥 ∈ 𝐵)) .

Por lo tanto, con el Axioma de Extensionalidad obtenemos el siguiente resultado.

Corolario 6. Para cualquier par de conjuntos 𝐴 y 𝐵

𝐴 = 𝐵 ↔ ∀𝑥 (𝑥 ∈ 𝐴 ↔ 𝑥 ∈ 𝐵) .

El axioma de extensionalidad dice que dos conjuntos son iguales si y sólo si tienen los mismos elemen-
tos. En otras palabras, afirma que un conjunto está determinado por su extensión (todos sus elementos).
Una relación más general que la igualdad es la inclusión ⊆, que se define como sigue.
Definición 7. Diremos que 𝐴 está incluido en 𝐵 o que 𝐴 es un subconjunto de 𝐵, y escribimos 𝐴 ⊆ 𝐵
si todos los elementos de 𝐴 están en 𝐵. Es decir:

𝐴 ⊆ 𝐵 ↔ ∀𝑥 (𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵) .

Como consecuencia del Axioma de Extensionalidad, podemos decir que dos conjuntos son iguales si
se incluyen mutuamente. Para decir que un conjunto 𝐴 no está incluido en un conjunto 𝐵 escribiremos
𝐴 ⊈ 𝐵. Notemos que esto es equivalente a escribir

𝐴 ⊈ 𝐵 ↔ ∃𝑥 (𝑥 ∈ 𝐴 ∧ 𝑥 ∈
/ 𝐵)

A diferencia del signo de la igualdad, el sı́mbolo ⊆ no figura dentro del lenguaje de primer orden ℒ𝑇 𝐶 .
Por último, la inclusión propia ⊂ se define como sigue:

𝐴 ⊂ 𝐵 ↔ ∀𝑥 (𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵) ∧ ∃𝑥(𝑥 ∈ 𝐵 ∧ 𝑥 ∈
/ 𝐴).

7
 3 PRIMEROS AXIOMAS

Para poder seguir construyendo la teorı́a de conjuntos necesitamos un axioma que asegure la existencia
del conjunto vacı́o y también necesitamos contar con un axioma que asegure la existencia de conjuntos con
una cantidad finita de elementos. Se puede probar que el siguiente axioma, el cual asegura la existencia
del conjunto vacı́o, se deduce del axioma de Reemplazo (o Sustitución) y del Axioma de Separación.
Axioma Existencia del conjunto vacio. Existe un conjunto sin elementos. Es decir:

∃𝐴∀𝑥 : 𝑥 ∈
/ 𝐴.

El axioma anterior nos asegura la existencia de un conjunto sin elementos pero no nos dice nada sobre
su unicidad. Pero esto se demustra en el siguiente resultado.
Lema 8 (Unicidad del conjunto vacı́o). Hay a lo sumo un conjunto sin elementos. Es decir,

∀𝑥 (𝑥 ∈
/𝐴↔𝑥∈
/ 𝐵) ↔ 𝐴 = 𝐵.

Demostración. Sean 𝐴 y 𝐵 conjuntos sin elementos. Recordemos que la fórmula ∀𝑥 (𝑥 ∈ /𝐴↔𝑥∈ / 𝐵)

es equivalente a la fórmula ∀𝑥 (𝑥 ∈ 𝐴 ↔ 𝑥 ∈ 𝐵) Por lo tanto, si 𝐴 y 𝐵 tienen los mismos elementos, es
decir, si ∀𝑥 (𝑥 ∈ 𝐴 ↔ 𝑥 ∈ 𝐵) , entonces por el Axioma de Extensionalidad obtenemos que 𝐴 = 𝐵. ■

De acuerdo con la anterior proposición, el conjunto sin elementos es único. Por lo tanto vamos a
denotar, como es usual, con el sı́mbolo ∅ a este único conjunto.
Cuando nos referimos a un conjunto podemos hacerlo esencialmente de dos maneras. Nombrando cada
uno de los elementos del conjunto, si es que es posible. También en ciertas ocasiones se puede describir
al conjunto dando una propiedad que cumplan los elementos del conjunto. Esta forma de describir un
conjunto por medio de una propiedad se llama definición de un conjunto por abstracción. De esta forma,
cuando por ejemplo hablamos de los números naturales múltiplos de 10, estamos dando una propiedad que
deben cumplir los elementos. Obviamente, no podemos nombrar a todos los elementos, pues es imposible,
pero si sabemos exactamente de que conjunto estamos hablando. La notación habitual para referirnos a
conjuntos definidos por medio de una propiedad es en nuestro ejemplo:

{𝑥 : 𝑥 es un número natural múltiplo de 10} .

En general, para denotar que un objeto 𝑥 tiene una propiedad 𝑃 escribimos 𝑃 (𝑥). Si necesitamos referirnos
a una propiedad 𝑃 que poseen 𝑛-objetos 𝑥1 , ..., 𝑥𝑛 , escribiremos 𝑃 (𝑥1 , ..., 𝑥𝑛 ) . Para denotar a un conjunto
cuyos elementos poseen la propiedad 𝑃 escribiremos

{𝑥 : 𝑃 (𝑥)} .

Notemos que por el axioma de Extensionalidad tal conjunto es único. Notemos que 𝑃 (𝑥) es una fórmula
de primer orden en el lenguaje ℒ𝑇 𝐶 de la teorı́a de conjuntos.
Como lo hemos comentado anteriormente, no siempre es posible definir a un conjunto por medio de
una propiedad. George Cantor y Frege establecieron como uno de sus principios para la determinación
de conjuntos el siguiente:

“Dada cualquier propiedad 𝑃 , siempre es posible definir un conjunto

cuyos elementos son los conjuntos que cumplen dicha propiedad”.

Frege estableció este principio como un axioma en su teorı́a. Para este último, era posible tener un
conjunto cuyos elementos satisfacı́an cierta propiedad. Con ello Frege garantizaba demasiado y daba lugar
en su sistema a paradojas como la de Russell, entre otras. Por lo tanto la estructura propuesta por Cantor
y Frege padecı́a en su base de una contradicción que causaba serios problemas. Esta situación generó una
crı́sis de los fundamentos de la matemática que por mucho tiempo dejó un vacı́o completo. Una de las
salidas a la crisis anterior, la proporcionaron Zermmelo y Fraenkel a través del Axioma de Separación
Selección, o Especificación; en el cual afirma que dado un conjunto y cierta propiedad existe un conjunto
formado por los elementos del conjunto que cumplen dicha propiedad. Es decir, es un versión limitada o
débil del axioma de Frege.

8
 3 PRIMEROS AXIOMAS

Axioma de Separación ( de Subconjuntos, de Selección o de Especificación). Sea 𝑃 (𝑥) una formula

del lenguaje de la teorı́a de conjuntos y 𝐴 un conjunto. Entonces existe un conjunto 𝐶 cuyos elementos
son aquellos elementos de 𝐴 y que además cumple la propiedad que expresa la fórmula 𝑃 (𝑥):

∀𝐴∃𝐶∀𝑥 (𝑥 ∈ 𝐶 ↔ 𝑥 ∈ 𝐴 ∧ 𝑃 (𝑥)) .

Notemos que en realidad esto es una esquema de axioma, es decir no un único axioma. Para cada
fórmula 𝑃 (𝑥) se obtiene un axioma. El axioma de Separación no es independiente en 𝒵ℱ, pues se deduce
del Axioma de Reemplazo, introducido por Fraenkel y Skolem el mismo año y de forma independiente.
El conjunto 𝐶 introducido en el axioma queda determinado en forma única por la propiedad 𝑃 (𝑥)
y el conjunto 𝐴. Una notación usual para denotar a este tipo de conjuntos es la notación llamada por
abstración:
𝐶 = {𝑥 ∈ 𝐴 : 𝑃 (𝑥)} .
Observación 9. Recordemos que la paradoja de Russell se produce al tratar de construir el conjunto de
todos los conjuntos que verifican una propiedad cualquiera 𝑃 (𝑥). El axioma de Separación limita nuestra
capacidad de formar conjuntos de objetos que verifican una cierta propiedad, solo podemos referirnos a
aquellos elementos que perteneciendo a un cierto conjunto dado, verican la propiedad 𝑃 (𝑥). Veamos que
esta restricción evita que se produzca la paradoja de Rusell. Para ello tratemos de formar el conjunto de
Russell.
Dado un conjunto 𝐴, y la propiedad 𝑥 ∈ / 𝑥 el axioma de Separación nos asegura que se puede formar
el conjunto
𝑅 = {𝑥 : 𝑥 ∈ 𝐴 ∧ 𝑥 ∈/ 𝑥} = {𝑥 ∈ 𝐴 : 𝑥 ∈
/ 𝑥} .
Ahora observemos que si 𝑅 ∈ 𝑅 = {𝑥 ∈ 𝐴 : 𝑥 ∈ / 𝑥}, entonces 𝑅 ∈ 𝐴 y 𝑅 ∈/ 𝑅, lo que es un absurdo. En
consecuencia 𝑅 ∈/ 𝑅, y lo que implica que (𝑅 ∈
/ 𝐴 ∨ 𝑅 ∈ 𝑅). Entonces obtenemos 𝑅 ∈ / 𝐴. Esta conclusión
no es contradictoria como antes.
Recordemos que la paradoja de Cantor se producı́a al considerar que existe un conjunto universal que
contiene a todos los conjuntos. Ahora teniendo a nuestra disposición el Axioma de Separación podemos
demostrar que no existe en la teorı́a 𝒵ℱ tal conjunto.
Lema 10. No existe un conjunto conteniendo a todos los conjuntos.
Demostración. Supongamos que existe un conjunto 𝐴 con la propiedad de que ∀𝑥 (𝑥 ∈ 𝐴) . Aplicamos
el esquema de separación al conjunto 𝐴 y a la propiedad 𝑥 ∈ / 𝑥 obteniendo de este modo el conjunto
𝑅 = {𝑥 : 𝑥 ∈ 𝐴 ∧ 𝑥 ∈
/ 𝑥} . Como 𝐴 contiene a todos los conjuntos, tenemos que 𝑅 ∈ 𝐴, pero con el ra-
zonamiento anterior obtuvimos que 𝑅 ∈ / 𝐴, lo que es una contradicción. Por lo tanto no puede existir un
conjunto que contenga a todos los conjuntos. ■

Ahora veremos un par de ejemplos que nos permiten definir la intersección y la diferencia entre
conjuntos con los axiomas que contamos hasta el momento. No ocurre lo mismo con la unión entre
conjuntos. Para la unión deberemos introducir un nuevo axioma como veremos más adelante.
Ejemplo 11 (intersección). Uno de los esquemas del Axioma de Separación nos permite definir la
intersección entre dos conjuntos 𝐴 y 𝐵 :

∀𝐴∀𝐵∃𝐶∀𝑥 (𝑥 ∈ 𝐶 ↔ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵) .

En este caso 𝑃 (𝑥) = 𝑥 ∈ 𝐵. Utilizando la notación por abstración tenemos que:

𝐶 = 𝐴 ∩ 𝐵 = {𝑥 : 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵} .

Ejemplo 12 (diferencia). Otro esquema del Axioma de Separación nos permite definir la diferencia
entre conjuntos:
∀𝐴∀𝐵∃𝐶∀𝑥 (𝑥 ∈ 𝐶 ↔ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ / 𝐵) .
Utilizando la notación por abstración tenemos que:

𝐶 = 𝐴 − 𝐵 = {𝑥 : 𝑥 ∈ 𝐴 ∧ 𝑥 ∈
/ 𝐵} .

9
 3 PRIMEROS AXIOMAS

Daremos primero un axioma, llamado axioma de pares o de existencia de conjuntos finitos.

Axioma de Formación de Pares (o Existencia de Conjuntos Finitos). Para cada secuencia finita de
conjuntos 𝑥1 , ..., 𝑥𝑛 existe un conjunto cuyos elementos son exactamente 𝑥1 , ..., y 𝑥𝑛 . Formalmente:

∀𝑥1 ...∀𝑥𝑛 ∃𝐴∀𝑥 (𝑥 ∈ 𝐴 ↔ 𝑥 = 𝑥1 ∨ 𝑥 = 𝑥2 ∨ ... ∨ 𝑥 = 𝑥𝑛 ) .

El axioma anterior nos asegura la existencia de conjuntos cuyos elementos son los conjuntos 𝑥1 , ..., 𝑥𝑛 .
Vamos a introducir algun notación que queda justificada por el Axioma de Existencia de Conjuntos
Finitos.
Sean 𝑥1 , ..., 𝑥𝑛 conjuntos. Denotamos por {𝑥1 , ..., 𝑥𝑛 } al conjunto cuyos elementos son precisamente
𝑥1 , ..., 𝑥𝑛 . Tal conjunto existe por el axioma anterior. Si 𝑛 = 1, entonces el conjunto {𝑥1 } se llama
conjunto unitario.
Observación. Con los axiomas introducidos hasta el momento podemos asegurar la existencia de los
conjuntos
∅, {∅} , {∅, {∅}} , {{∅}} , ...
Todos estos conjuntos son distintos. El conjunto ∅ no tiene elementos, pero si los restantes conjuntos.
Ahora vamos a definir un axioma que permite construir un nuevo conjunto a partir de un conjunto
dado.
Axioma del Conjunto Potencia. Para cada conjunto 𝐴 existe un conjunto, denotado por 𝒫 (𝐴), cuyos
elementos son los subconjuntos de 𝐴. Formalmente:

∀𝐴∃𝒫 (𝐴) ∀𝑥 (𝑥 ∈ 𝒫 (𝐴) ↔ 𝑥 ⊆ 𝐴) .

Utilizando la notación por abstracción, vamos a denotar al conjunto potencia como 𝒫 (𝐴) = {𝑥 : 𝑥 ⊆ 𝐴} .
Ejemplo 13. Los conjuntos potencias de los conjuntos 𝐴 = {1, 2} , ∅, y {∅} son

𝒫 (𝐴) = {∅, {1} , {2} , {1, 2}} .

𝒫 (∅) = {∅} .
𝒫 ({∅}) = {∅, {∅}} .

Como ya lo afirmamos anteriormente la unión entre conjuntos no se puede obtener por medio de algún
esquema del axioma de separación. Para obtener la unión entre conjuntos debemos introducir un nuevo
axioma.
∪
Axioma de Unión (de Unión). Para cada familia de conjuntos Γ existe un conjunto, denotado por Γ,
cuyos elementos son los elementos de los elementos de Γ. Formalmente existe el siguiente conjunto
∪
Γ = {𝑥 : ∃𝑦 (𝑥 ∈ 𝑦 ∧ 𝑦 ∈ Γ)} .

Si tenemos dos conjuntos 𝐴 y 𝐵, por el axioma de Existencia de Conjuntos finitos, sabemos que
{𝐴, 𝐵} es un conjunto. El axioma de unión aplicado a este nuevo conjunto da la unión usual de 𝐴 con
𝐵. En efecto, observemos que
∪
𝑥∈ {𝐴, 𝐵} sii ∃𝑢 ∈ {𝐴, 𝐵} ∧ 𝑥 ∈ 𝑢 sii (𝑢 = 𝐴 ∨ 𝑢 = 𝐵) ∧ 𝑥 ∈ 𝑢
sii 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵.
La unión de una familia {𝐴, 𝐵} se denota usualmente por 𝐴∪𝐵. Este procedimiento lo podemos extender
a una cantidad finita 𝐴1 , ..., 𝐴𝑛 de conjuntos obteniendo la unión
∪
{𝐴1 , ..., 𝐴𝑛 } = 𝐴1 ∪ ... ∪ 𝐴𝑛 .

Definición 14 (de Intersección arbitraria).

∩ Sea 𝐴 una familia de conjuntos. La intersección de 𝐴 es un
nuevo conjunto simbolizado por 𝐴 y definido por
∩
𝐴 = {𝑥 : ∀𝑦 (𝑦 ∈ 𝐴 → 𝑥 ∈ 𝑦)} .

10
 4 RELACIONES Y FUNCIONES

Si 𝐴 = {𝐴0 , 𝐴1 , ...} entonces podemos escribir

∩ ∩
𝐴 = {𝑥 : 𝑥 ∈ 𝐴𝑖 tal que 𝐴𝑖 ∈ 𝐴} = {𝐴𝑖 ∈ 𝐴} .

En caso de una familia finita de conjuntos {𝐴0 , 𝐴1 , ..., 𝐴𝑛 }, podemos escribir

∩
{𝐴0 , 𝐴1 , ..., 𝐴𝑛 } = 𝐴0 ∩ 𝐴1 ∩ ... ∩ 𝐴𝑛 .
∩
La intersección del conjunto vacı́o ∅ no está definida. Es decir, no podemos hablar del conjunto ∅.
Siempre que trabajemos con intersecciones arbitrarias de conjuntos debemos asegurar que exista al menos
un conjunto en esa familia.

4. Relaciones y Funciones
Este capı́tulo está dedicado a estudiar las relaciones desde un punto de vista de la Teorı́a de Conjuntos.
Vamos a definir a los pares ordenados como tipos particulares de conjuntos. Con los pares ordenados
introduciremos la noción de relación y función. Todas estas nociones son tipos particulares de conjuntos.

4.1. Pares ordenados

En álgebra elemental definimos a los pares ordenados como pares de la forma (𝑥, 𝑦) donde 𝑥 está en
un conjunto 𝐴 e 𝑦 está en un conjunto 𝐵. Ahora vamos a dar una definición precisa de esto lo que nos
permitirá definir la noción de productos cartesianos. La definición que daremos es la dada por Kuratowski
y es la más utilizada. Existen otras definiciones que nos permiten desarrollar la teorı́a de una forma similar.
Lo esencial para definir a los pares ordenados es que nuestra definición debe permitir probar que dos pares
ordenados son iguales si sus componentes son iguales.

Definición 15. Sean 𝑥 e 𝑦 conjuntos. El par ordenado (𝑥, 𝑦) de 𝑥 e 𝑦 es el conjunto

(𝑥, 𝑦) = {{𝑥} , {𝑥, 𝑦}} .

Observemos que un par ordenado es efectivamente un conjunto, pues al ser 𝑥 e 𝑦 conjuntos, entonces
por el axioma de Pares {𝑥} y {𝑥, 𝑦} son también conjuntos, y nuevamente por el axioma de Pares
{{𝑥} , {𝑥, 𝑦}} es un conjunto.

Teorema 16. Sean 𝑥, 𝑦, 𝑢 y 𝑣 conjuntos. Entonces

(𝑥, 𝑦) = (𝑢, 𝑣) ⇔ 𝑥 = 𝑢 ∧ 𝑦 = 𝑣.

Demostración. Ejercicio. Suponamos que (𝑥, 𝑦) = (𝑢, 𝑣) , es decir

{{𝑥} , {𝑥, 𝑦}} = {{𝑢} , {𝑢, 𝑣}} .

Analizamos los siguientes casos. Supongamos que 𝑥 = 𝑦. Entonces {{𝑥}} = {{𝑢} , {𝑢, 𝑣}} . Luego como
{𝑢, 𝑣} ∈ {𝑥} 𝑡, obtenemos que 𝑥 = 𝑢 = 𝑣. Entonces 𝑥 = 𝑦 = 𝑢 = 𝑣. Supongamos ahora que 𝑥 ∕= 𝑦. Como
{𝑥, 𝑦} ∈ {{𝑢} , {𝑢, 𝑣}} , tenemos que

{𝑥, 𝑦} = {𝑢} o {𝑥, 𝑦} = {𝑢, 𝑣} .

En el primer caso obtenemos que 𝑥 = 𝑦 = 𝑢, absurdo, pues hemos supuesto que 𝑥 ∕= 𝑦. Entonces se debe
dar el caso {𝑥, 𝑦} = {𝑢, 𝑣}. Debido a que {𝑥} ∈ {{𝑢} , {𝑢, 𝑣}}, vemos que {𝑥} = {𝑢} o {𝑥} = {𝑢, 𝑣}. En
el primer caso, obtenemos que 𝑥 = 𝑢 y como tenı́amos que {𝑥, 𝑦} = {𝑢, 𝑣}, concluı́mos que 𝑦 = 𝑣. En el
segundo caso si {𝑥} = {𝑢, 𝑣}, entonces 𝑥 = 𝑢 = 𝑣, y como {𝑥, 𝑦} = {𝑢, 𝑣}, llegamos que 𝑥 = 𝑦 = 𝑢 = 𝑣,
lo que no es posible. Por lo tanto, 𝑥 = 𝑢 e 𝑦 = 𝑣. ■

11
4.2 Relaciones y Funciones 4 RELACIONES Y FUNCIONES

El resultado nos permite hablar sin problemas de que 𝑥 es la primer coordenada y que 𝑦 es la segunda
coordenada en el par ordenado (𝑥, 𝑦) . Notemos que podemos ahora definir triples ordenados y, en general,
n-tuplas ordenadas de la siguiente forma:

(𝑥1 , 𝑥2 , 𝑥3 ) = ((𝑥1 , 𝑥2 ) , 𝑥3 )
(𝑥1 , 𝑥2 , 𝑥3 , 𝑥4 ) = ((𝑥1 , 𝑥2 , 𝑥3 ) , 𝑥4 )
.. ..
. .
(𝑥1 , 𝑥2 , 𝑥3 , ...𝑥𝑛−1 , 𝑥𝑛 ) = ((𝑥1 , 𝑥2 , 𝑥3 , ..., 𝑥𝑛−1 ) , 𝑥𝑛 )

Definición 17. Sean 𝐴 y 𝐵 dos conjuntos. El producto cartesiano de 𝐴 por 𝐵, en sı́mbolos, 𝐴 × 𝐵, es

el conjunto
𝐴 × 𝐵 = {(𝑥, 𝑦) : 𝑥 ∈ 𝐴 ∧ 𝑦 ∈ 𝐵} .

En la definición anterior hemos introducido un tipo particular de conjuntos pero no hemos justificado
plenamente que tal conjunto existe. La existencia quedará justificada por los siguientes resultados.

Lema 18. Sea 𝐶 un conjunto y sean 𝑥, 𝑦 ∈ 𝐶. Entonces (𝑥, 𝑦) ∈ 𝒫 (𝒫 (𝐶)) .

Demostración. Dado 𝑥, 𝑦 ∈ 𝐶 seguimos el siguiente razonamiento. Como 𝑥 ∈ 𝐶 e 𝑦 ∈ 𝐶, entonces

{𝑥} ⊆ 𝐶 y {𝑦} ⊆ 𝐶. Luego {𝑥} ⊆ 𝐶 y {𝑥, 𝑦} = {𝑥} ∪ {𝑦} ⊆ 𝐶. Por la definición de conjunto potencia
tenemos que
{𝑥} ∈ 𝒫 (𝐶) y {𝑥, 𝑦} ∈ 𝒫 (𝐶) .
Entonces,
{{𝑥} , {𝑥, 𝑦}} ⊆ 𝒫 (𝐶)
y en consecuencia
{{𝑥} , {𝑥, 𝑦}} ∈ 𝒫 (𝒫 (𝐶)) .
■

El siguiente teorema justifica la definición producto cartesiano entre dos conjuntos.

Teorema 19. Para cualquier par de conjuntos 𝐴 y 𝐵 existe un conjunto cuyos miembros son exactamente
los pares (𝑥, 𝑦) , con 𝑥 ∈ 𝐴 e 𝑦 ∈ 𝐵.

Demostración. Dados los conjuntos 𝐴 y 𝐵, por el axioma de unión obtenemos que 𝐴 ∪ 𝐵 es un

conjunto, y por el Axioma de Partes aplicado dos veces obtenemos que 𝒫𝒫 (𝐴 ∪ 𝐵) es un conjunto.
Ahora consideremos la siguiente propiedad 𝑃 (𝑧) : ∃𝑥∃𝑦(𝑥 ∈ 𝐴 ∧ 𝑦 ∈ 𝐵 ∧ 𝑧 = (𝑥, 𝑦). Por una aplicación del
Axioma de Subconjuntos al conjunto 𝒫𝒫 (𝐴 ∪ 𝐵) y a la propiedad 𝑃 (𝑧) podemos afirmar que el siguiente
es un conjunto:
{𝑧 : 𝑧 ∈ 𝒫𝒫 (𝐴 ∪ 𝐵) ∧ 𝑃 (𝑧)} =
{𝑧 : 𝑧 ∈ 𝒫𝒫 (𝐴 ∪ 𝐵) ∧ ∃𝑥∃𝑦(𝑥 ∈ 𝐴 ∧ 𝑦 ∈ 𝐵 ∧ 𝑧 = (𝑥, 𝑦)} .
El conjunto anterior contiene solo pares de la forma (𝑥, 𝑦) para algún 𝑥 ∈ 𝐴 y para algún 𝑦 ∈ 𝐵, y por
el Lema anterior podemos asegurar que contiene a todos ellos. ■

4.2. Relaciones y Funciones

En mucha situaciones concretas hablamos de relaciones entre objetos. Ahora vamos a precisar que
es un relación en el contexto de la Teorı́a de Conjuntos. Vamos a definir las relaciones binarias. Las
relaciones 𝑛-arias se pueden definir a partir de las relaciones binarias.

Definición 20. Una relación binaria es un conjunto 𝑅 de pares ordenados. Es decir,

𝑅 es una relación ↔ ∀𝑥 [𝑥 ∈ 𝑅 → ∃𝑦∃𝑧 (𝑥 = (𝑦, 𝑧))] .

Diremos que 𝑅 es una relación definida en un conjunto 𝐴 si 𝑅 ⊆ 𝐴 × 𝐴.

12
 5 NÚMEROS NATURALES

Si 𝑅 es una relación vamos a escribir (𝑥, 𝑦) ∈ 𝑅, 𝑥𝑅𝑦 o 𝑅𝑥𝑦. El dominio de 𝑅, en sı́mbolos dom 𝑅, es

dom 𝑅 = {𝑥 : ∃𝑦𝑥𝑅𝑦} .

El rango, recorrido o imagen de 𝑅, en sı́mbolos ran 𝑅,es

ran 𝑅 = {𝑦 : ∃𝑥𝑥𝑅𝑦} .

Si dom 𝑅 ⊆ 𝐴 y ran 𝑅 ⊆ 𝐵, decimos que 𝑅 es una relación entre 𝐴 y 𝐵 o una relación de 𝐴 en 𝐵.

Las funciones son un caso particular de relaciones. Justamente son las relaciones que a cada elemento
que está en la primer coordenada le corresponde un único elemento en la segunda coordenada. la definición
precisa es la siguiente.

Definición 21. Una función es un relación 𝑓 tal que para cada 𝑥 ∈ dom 𝑓 existe un único 𝑦 tal que
(𝑥, 𝑦) ∈ 𝑓.
Es decir, una relación 𝑓 es una función si

∀𝑥∀𝑦∀𝑧 ((𝑥, 𝑦) ∈ 𝑓 ∧ (𝑥, 𝑧) ∈ 𝑓 → 𝑦 = 𝑧) .

Decimos que 𝑓 es una función de 𝐴 en 𝐵 si dom 𝑓 = 𝐴 y ran 𝑓 ⊆ 𝐵 y escribimos 𝑓 : 𝐴 → 𝐵. Si

𝑓 : 𝐴 → 𝐵 es una función escribiremos, como es natural 𝑓 (𝑥) = 𝑦 para indicar que (𝑥, 𝑦) ∈ 𝑓.

Definición 22. Sea 𝑓 una función. Diremos que 𝑓 es inyectiva si y sólo si 𝑓 −1 es una función. Es decir,
𝑓 es inyectiva cuando
∀𝑥∀𝑦∀𝑧 ((𝑥, 𝑧) ∈ 𝑓 ∧ (𝑦, 𝑧) ∈ 𝑓 → 𝑥 = 𝑦) .

Lema 23. Sea 𝑓 una función. Entonces:

1. 𝑓 es inyectiva si y sólo si ∀𝑥∀𝑦 (𝑥 ∈ dom 𝑓 ∧ 𝑦 ∈ dom 𝑓 ∧ 𝑓 (𝑥) = 𝑓 (𝑦) → 𝑥 = 𝑦) .

2. Sea 𝑓 una función inyectiva. Entonces 𝑓 −1 es una función inyectiva.

3. Si 𝑓 es inyectiva, entonces para cada 𝑥 ∈ dom 𝑓, 𝑓 −1 (𝑓 (𝑥)) = 𝑥 y para cada 𝑦 ∈ ran 𝑓, 𝑓 𝑓 −1 (𝑦) =
( )

𝑦.

Demostración. Ver [?]. ■

5. Números Naturales
En este capı́tulo vamos a desarrollar la teorı́a de los números naturales desde un punto de constructivo.
Veremos que los naturales se pueden definir como un tipo particular de conjuntos. A partir de esta
construcción podemos definir los conjuntos de los números enteros y el conjunto de los números racionales.

5.1. Conjuntos Inductivos

Para construir a los números naturales vamos a seguir la construcción dada por von Neuman la cual
define a un natural como el conjunto de todos los naturales más pequeños. Con el objeto de entender
esta noción veamos como se construyen los primeros naturales.
Sabemos por un axioma que el conjunto ∅ vacı́o existe y es único. Por el Axioma de Pares podemos
formar otro conjunto cuyo único elemento es ∅, es sı́mbolos {∅} . Este conjunto es distinto del vacı́o pues
contiene al menos un elemento. Ahora con este nuevo conjunto definimos, nuevamente por el Axioma de
Pares, el conjunto {∅, {∅}} . Si seguimos ası́ obtendremos una lista de conjuntos distintos de la siguiente
manera:
∅, {∅} , {∅, {∅}} , {∅, {∅} , {∅, {∅}}} , .....

13
5.1 Conjuntos Inductivos 5 NÚMEROS NATURALES

El primer conjunto no tiene elementos, el segundo tiene un solo elemento, el tercero tiene dos elementos,
etc, etc. A cada uno de estos conjuntos anteriores le podemos dar una etiqueta o nombre para para que
la escritura sea más sencilla:
0 = ∅
1 = {∅}
2 = {0, 1} = {∅, {∅}}
..
.
𝑛 = {1, 2, 3, ..., 𝑛 − 1}
..
.

Esta construcción nos permite obtener los números naturales. Para cada 𝑛 el número natural sigu-
iente se obtiene haciendo la unión de 𝑛 con {𝑛}. Por ejemplo 3 = 2 ∪ {2} = {∅, {∅}} ∪ {{∅, {∅}}} =
{∅, {∅} , {∅, {∅}}} . También podemos ver que esta forma de construir a los números naturales tiene co-
mo propiedad de que un número natural contiene a los anteriores naturales como elementos y como
subconjuntos, es decir 𝑛 ∈ 𝑛 + 1 y también 𝑛 ⊆ 𝑛 + 1, para cada 𝑛.
Obviamente el proceso seguido anteriormente solo es manejable para los primeros conjuntos. Po-
drı́amos decir exactamente cual es el conjunto 12 listando todos sus elementos, pero es más difı́cil hacer
esto a medida que consideramos números más grandes. Para dar la definición general de los que serán los
números naturales vamos a definir primero la noción de sucesor de un conjunto y de conjunto inductivo.

Definición 24. Sea 𝑎 un conjunto. El sucesor de 𝑎, en sı́mbolos 𝑎+ , es el conjunto 𝑎+ = 𝑎 ∪ {𝑎} .

En el caso de un número 𝑛, el sucesor 𝑛+ = 𝑛 ∪ {𝑛} el siguiente número natural. Observemos que

𝑛 ⊆ 𝑛+ y 𝑛 ∈ 𝑛+ . De acuerdo a esta definición y comenzando con el ∅ podemos escribir la siguiente lista:

0 = ∅
1 = 0+ = 0 ∪ {0}
2 = 1+ = 1 ∪ {1}
..
.
𝑛+ = 𝑛 ∪ {𝑛}
Definición 25. Un conjunto 𝐴 es inductivo si:

1. ∅ ∈ 𝐴,

2. ∀𝑎 (𝑎 ∈ 𝐴 → 𝑎+ ∈ 𝐴) ( 𝐴 es cerrado bajo sucesores).

Observemos que si 𝐴 es un conjunto inductivo, entonces 𝐴 debe ser, desde el punto de vista intuitivo,
infinito y además contener a todos los naturales. El próximo axioma asegura que existe al menos un
conjunto inductivo.

Axioma del Infinito. Existe un conjunto inductivo. Es decir

∃𝐴 ∅ ∈ 𝐴 ∧ ∀𝑎 𝑎 ∈ 𝐴 → 𝑎+ ∈ 𝐴 .
[ ( )]

Con este axioma ahora podemos dar la definición de los que es un número natural.

Definición 26. Un número natural es un conjunto que pertenece a todo conjunto inductivo. Es decir:

𝑛 es natural si y sólo si 𝑛 ∈ 𝐴, para cualquier conjunto 𝐴 inductivo.

Ahora probaremos la existencia de los números naturales como el menor conjunto inductivo, o en
otras palabras, como la intersección de todos los conjuntos inductivos.

Teorema 27 (existencia de los naturales). Existe un conjunto inductivo 𝜔 contenido en todo conjunto
inductivo.

14
 6 PROPIEDADES DE LOS NÚMEROS NATURALES

Demostración. Sea 𝐴 un conjunto inductivo. Tal conjunto existe por el Axioma del Infinito. Por una
aplicación del Axioma de Subconjunto al conjunto 𝐴 y a la propiedad 𝑃 (𝑥) dada por: 𝑥 pertenece a
cualquier conjunto inductivo, existe un conjunto 𝜔 tal que

∀𝑥(𝑥 ∈ 𝜔 ←→ 𝑥 ∈ 𝐴 ∧ 𝑃 (𝑥) ).
| {z }
𝑥 pertenece a cualquier conjunto inductivo.

Por lo tanto, 𝑥 ∈ 𝜔 si y sólo si 𝑥 pertenece a cualquier conjunto inductivo. Claramente 𝜔 es un conjunto

inductivo y es la intersección de todos los conjuntos inductivos, es decir,
∩
𝜔= {𝐴 : 𝐴 es inductivo} .

Por lo tanto 𝜔 es el menor conjunto inductivo. ■

Teniendo en cuenta la definición de 𝜔 y que ∅ ∈ 𝜔 tenemos que para cada 𝑛 ∈ 𝜔, entonces 𝑛+ =

𝑛 ∪ {𝑛} ∈ 𝜔.

6. Propiedades de los Números Naturales

Como 𝜔 es el más pequeño conjunto inductivo, entonces podemos establecer el siguiente principio.

Principio de Inducción de 𝜔 Todo subconjunto inductivo de 𝜔 es igual a 𝜔.

Es decir, si 𝐴 es un subconjunto de 𝜔 al que:

P1. ∅ ∈ 𝐴,
P2. Si 𝑛 ∈ 𝐴, implica que 𝑛+ ∈ 𝐴, entonces
𝐴 = 𝜔.

Observemos que el Principio de Inducción en 𝜔 es consecuencia de la propia definición de 𝜔 co-

mo el menor conjunto inductivo. Este principio de Indución permite probar proposiciones por induc-
ción. Por ejemplo, supongamos que queremos probar una determinada propiedad 𝑃 en los números
naturales.Escribimos 𝑃 (𝑛) para denotar que el número natural 𝑛 cumple la propiedad 𝑃. Formamos el
conjunto de todos los naturales que cumplen la propiedad 𝑃 :

𝐼 = {𝑛 : 𝑃 (𝑛)} ⊆ 𝜔.

En caso que demostremos que el conjunto 𝐼 es inductivo, entonces al ser 𝐼 ⊆ 𝜔, llegaremos a la conclusión
por el Principio de Inducción que 𝐼 = 𝜔. De esta manera tenemos que todos los naturales cumplen la
propiedad 𝑃. Un ejemplo de esto lo tenemos en el siguiente resultado.
Lema 28. Todo número natural menos el cero 0 es sucesor de algún natural. Es decir, ∀𝑛 ∈ 𝜔 −{0} ∃𝑚 ∈
𝜔 tal que 𝑛 = 𝑚+ .
Demostración. Consideremos el siguiente conjunto de naturales:

𝐼 = 𝑛 ∈ 𝜔 : 𝑛 = 0 o ∃𝑚 ∈ 𝜔 𝑛 = 𝑚+ .
{ ( )}

+
Como 0 ∈ 𝐼 y si 𝑛 ∈ 𝐼, 𝑛+ = (𝑚+ ) , entonces 𝑛+ ∈ 𝐼. Por lo tanto 𝐼 es inductivo y por el Principio de
Inducción, 𝐼 = 𝜔. ■

Definición 29. Un conjunto 𝐴 es transitivo si

∀𝑦∀𝑧 (𝑧 ∈ 𝑦 ∧ 𝑦 ∈ 𝐴 → 𝑧 ∈ 𝐴) .

No todo conjunto es transitivo. Por ejemplo, el conjunto 𝐴 = {0, 1, 2, 4, 5} no es transitivo, pues 3 ∈ 4

y 4 ∈ 𝐴 pero 3 ∈
/ 𝐴.

15
 7 ORDEN NATURAL EN 𝜔

Lema 30. Sea 𝐴 un conjunto. Entonces las siguientes condiciones son equivalentes:

1. 𝐴 es transitivo.
∪
2. 𝐴 ⊆ 𝐴.

3. 𝐴 ⊆ 𝒫 (𝐴) .
∪
4. 𝐴+ = 𝐴.

Demostración. Ver [?]. ■

La prueba del siguiente resultado es otra aplicación del Principio de Inducción.

Teorema 31. Todo número natural es transitivo.

Demostración. Consideremos el conjunto 𝑇 = {𝑛 ∈ 𝜔 : 𝑛 es transitivo} . Notemos que∪

∅ ∈ 𝑇 , pues se
+
cumple vaciamente. Supongamos que 𝑛 ∈ 𝑇. Por el Lema anterior. debemos probar que (𝑛+ ) ⊆ 𝑛+ .
En efecto:
∪ ( )+ ∪ ( { }) ∪ ∪{ }
𝑛+ = 𝑛+ ∪ 𝑛+ = 𝑛+ ∪ 𝑛+
(∪ )
= 𝑛+ ∪ 𝑛+ ⊆ 𝑛 ∪ 𝑛+ = 𝑛+ .
𝑛∈𝑇

Por lo tanto, 𝑛+ ∈ 𝑇 . Como 𝑇 es inductivo y 𝑇 ⊆ 𝜔, entonces 𝑇 = 𝜔, es decir, todo natural es transitivo. ■

Teorema 32. El conjunto 𝜔 es transitivo.

Demostración. Vamos a aplicar el apartado 3. del Lema 30. Es decir, vamos a probar que 𝜔 ⊆ 𝒫 (𝜔) .
Es decir, debemos probar que para todo 𝑛 ∈ 𝜔, 𝑛 ⊆ 𝜔. Consideremos el conjunto de los naturales que
cumplen esta condición:
𝑇 = {𝑛 ∈ 𝜔 : 𝑛 ⊆ 𝜔} .
Es claro que ∅ ∈ 𝑇. Sea 𝑛 ⊆ 𝜔. Como 𝑛 ∈ 𝜔, {𝑛} ⊆ 𝜔. Luego, 𝑛+ = 𝑛 ∪ {𝑛} ⊆ 𝜔. Es decir, 𝑛+ ∈ 𝑇 .
Entonces 𝑇 es inductivo y en consecuencia 𝑇 = 𝜔. Con esto hemos probado que 𝜔 es transitivo. ■

Observación. El enunciado del teorema anteriores equivalente a decir que todo número natural es un
conjunto de números naturales, justamente los números que lo preceden. Es decir, cada natural 𝑛 es el
conjunto {0, 1, 2, ..., 𝑛 − 1}. También se puede decir, que todo natural es el conjunto de todos los naturales
más chicos. En consecuencia, tenemos la siguiente sucesión 0 ∈ 1 ∈ 2 ∈ 3 ∈ ...𝑛 − 1 ∈ 𝑛...

7. Orden natural en 𝜔
En este apartado vamos a estudiar el orden entre los números naturales. Primero recordemos la
definición de orden lineal o también llamado orden total.

Definición 33. Sea 𝑋 un conjunto. Diremos que una relación 𝑅 definida en 𝑋 es un orden estricto sobre
𝑋 si se cumplen las siguientes condiciones:

1. ∀𝑥, ¬𝑥𝑅𝑥 (𝑅 es irreflexiva).

2. ∀𝑥∀𝑦∀𝑧 (𝑥𝑅𝑦 ∧ 𝑦𝑅𝑧 → 𝑥𝑅𝑧) (𝑅 es transitiva).

Notemos que si 𝑅 es un orden estricto definido sobre 𝑋, entonces 𝑅 cumple la propiedad de asimetrı́a:

∀𝑥∀𝑦 (𝑥𝑅𝑦 → ¬𝑦𝑅𝑥) .

16
 7 ORDEN NATURAL EN 𝜔

Diremos que 𝑅 es un orden total si 𝑅 satisface la regla de tricotomia, es decir para todo 𝑥, 𝑦 ∈ 𝐴 se
verifica solo una de las siguientes alternativas:

𝑥𝑅𝑦 o 𝑦𝑅𝑥 o 𝑥 = 𝑦.

La relación de pertenencia ∈ entre números naturales define un orden en el conjunto 𝜔, llamado orden
natural de 𝜔. Esta relación de orden es un orden total, como comprobaremos más adelante.
Definición 34. Definimos en 𝜔 las relaciones < y ≤ por medio de:

𝑚<𝑛⇔𝑚∈𝑛

y
𝑚 ≤ 𝑛 ⇔ 𝑚 ∈ 𝑛 ∨ 𝑚 = 𝑛.
Observación 35. Notemos que cualquier número natural es el conjunto de todos los naturales que lo
preceden por medio de la relación < . En efecto

𝑛 = {𝑚 ∈ 𝜔 : 𝑚 ∈ 𝑛} = {𝑚 ∈ 𝜔 : 𝑚 < 𝑛} .

También notemos que

𝑚 ≤ 𝑛 ⇔ 𝑚 ∈ 𝑛+ .
Teorema 36. Para cualquier par de naturales 𝑛 y 𝑚,

𝑚 < 𝑛 ⇔ 𝑚+ < 𝑛+ .

Demostración. Consideremos el siguiente conjunto

𝑇 = 𝑛 ∈ 𝜔 : ∀𝑚 𝑚 < 𝑛 → 𝑚+ < 𝑛+ .
{ ( )}

Vamos a probar que 𝑇 es inductivo. Es claro que 0 ∈ 𝑇, pues 𝑚 ∈

/ 0 para cualquier 𝑚 ∈ 𝜔. Supongamos
que 𝑛 ∈ 𝑇 . Es decir la sentencia
∀𝑚 𝑚 < 𝑛 → 𝑚+ < 𝑛+
( )

es verdadera. Probemos que 𝑛+ ∈ 𝑇 . Supongamos que 𝑚 < 𝑛+ . Observemos que

𝑚 < 𝑛+ ⇔ 𝑚 ∈ 𝑛+ = 𝑛 ∪ {𝑛}
⇔ 𝑚∈𝑛 ∨ 𝑚=𝑛
⇒ 𝑚+ ∈ 𝑛+ ∨ 𝑚+ = 𝑛+
⇔ 𝑚+ ∈ 𝑛+ ∪ {𝑛+ } = 𝑛++
𝑚+ < 𝑛++ .
Como 𝑇 es inductivo obtenemos que 𝑇 = ℕ.
Supongamos ahora que 𝑚+ ∈ 𝑛+ . Como 𝑚 ∈ 𝑚+ ∈ 𝑛+ = 𝑛 ∪ {𝑛}, tenemos dos casos. Si 𝑚+ ∈ 𝑛,
entonces por transitividad obtenemos 𝑚 ∈ 𝑛, y si 𝑚+ = 𝑚 ∪ {𝑚} = 𝑛, entonces también obtenemos que
𝑚 ∈ 𝑛. ■

Teorema 37. Sean 𝑚, 𝑛 ∈ 𝜔. Entonces

1. Las relaciones < y ≤ son transitivas.

2. Para todo 𝑛 ∈ 𝜔, 𝑛 ∈
/ 𝑛.
3. Si 𝑚 < 𝑛, entonces 𝑚 ≤ 𝑛.
4. ∀𝑛 ∈ 𝜔 : 0 ≤ 𝑛.
5. Tricotomı́a. Solo una de las tres condiciones siguientes es verdadera

𝑚 < 𝑛 ∨ 𝑛 < 𝑚 ∨ 𝑛 = 𝑚.

Es decir, la relación < es un orden total en 𝜔.

17
 7 ORDEN NATURAL EN 𝜔

6.
𝑚<𝑛⇔𝑚⊂𝑛
y
𝑚 ≤ 𝑛 ⇔ 𝑚 ⊆ 𝑛.

Demostración. 1. Como los números naturales son conjuntos transitivos, entonces < y ≤ son transitivas.
Para probar el apartado 2. consideremos el conjunto

𝐼 = {𝑛 ∈ 𝜔 : 𝑛 ∈
/ 𝑛} .

Probemos que 𝐼 = 𝜔. Claramente ∅ ∈ / ∅, por lo tanto 0 = ∅ ∈ 𝐼. Supongamos que 𝑛 ∈ 𝐼. Si 𝑛+ ∈ 𝑛+ =

𝑛 ∪ {𝑛} , entonces 𝑛 ∈ 𝑛 o 𝑛 = 𝑛. Si se cumple el caso 𝑛+ ∈ 𝑛, como 𝑛 ∈ 𝑛+ y teniendo en cuenta que
+ +

𝑛 es transitivo, entonces 𝑛 ∈ 𝑛, lo que es imposible, pues 𝑛 ∈ 𝑇. Si se da el caso 𝑛+ = 𝑛 ∪ {𝑛} ∈ {𝑛} ,

llegamos a la misma conclusión. Por lo tanto 𝑛+ ∈/ 𝑛+ . Con esto hemos probado que 𝐼 = 𝜔.
El apartado 3 es inmediato. Para probar 4. consideramos el conjunto

𝑇 = {𝑛 ∈ 𝜔 : 0 ≤ 𝑛} .

Veamos que 𝑇 es inductivo. Es claro que 0 ≤ 0, pues 0 ∈ 0+ . Si 0 ≤ 𝑛 ∈ 𝑇, y como 𝑛 ≤ 𝑛+ , entonces

0 ≤ 𝑛+ . Luego 𝑇 es inductivo. Por lo tanto 𝑇 = 𝜔.
5. Primero vamos a demostrar que solo una de las condiciones puede ser válida. Si suponemos que
𝑚 < 𝑛 y 𝑚 = 𝑛, entonces obtendremos que 𝑚 < 𝑚, lo que es una contradicción. Si 𝑚 < 𝑛 y 𝑛 < 𝑚,
entonces 𝑚 < 𝑚, lo que es nuevamente una contradicción. Consideremos ahora el conjunto

𝐷 = {𝑛 ∈ 𝜔 : ∀𝑚 (𝑚 < 𝑛 ∨ 𝑛 < 𝑚 ∨ 𝑛 = 𝑚)}

= {𝑛 ∈ 𝜔 : ∀𝑚 (𝑚 ≤ 𝑛 ∨ 𝑛 < 𝑚)} ,

y probemos que 𝐷 es inductivo. Por el apartado 3. se tiene que 0 ≤ 𝑛, es decir, 0 < 𝑛 o 0 = 𝑛. Entonces
0 ∈ 𝐷. Asumimos que 𝑛 ∈ 𝐷. Entonces para todo 𝑚 ∈ 𝜔, 𝑚 ≤ 𝑛 o 𝑛 < 𝑚. Si 𝑚 ≤ 𝑛, como 𝑛 ≤ 𝑛+ y ≤
es transitiva, entonces 𝑚 ≤ 𝑛+ . Si 𝑛 < 𝑚, entonces 𝑛+ < 𝑚+ y en consecuencia 𝑛+ ≤ 𝑚. En cualquier
caso 𝑛+ ∈ 𝐷. Como 𝐷 es inductivo, 𝐷 = 𝜔. Por lo tanto del apartado 1., 2., y 5. se concluye que ⟨𝜔, <⟩
es un orden total.
6. Probemos sólo que 𝑚 < 𝑛 ⇔ 𝑚 ⊂ 𝑛. Si 𝑚 ∈ 𝑛, entonces como los números naturales son transitivos,
𝑚 ⊂ 𝑛. Supongamos que 𝑚 ⊂ 𝑛. Por la propiedad de Tricotomı́a, sólo se pueden dar tres casos para los
naturales 𝑚 y 𝑛, 𝑚 ∈ 𝑛, 𝑛 ∈ 𝑚 o 𝑛 = 𝑚. El último caso no es posible pues 𝑚 ⊂ 𝑛. Si 𝑛 ∈ 𝑚, entonces
como 𝑚 ⊂ 𝑛, concluı́mos que 𝑛 ∈ 𝑛, lo que es imposible. Luego 𝑚 ∈ 𝑛 es el único caso posible. ■

Un Buen orden definido sobre un conjunto 𝑋 es un orden estricto < en 𝑋 tal que todo subconjunto
no vacı́o de 𝑋 tiene un elemento menor o mı́nimo. En este caso decimos que el par ⟨𝑋, <⟩ es un conjunto
bien ordenado.
Teorema 38. El conjunto ⟨ℕ, <⟩ es bien ordenado.
Demostración. Vamos a probar primero que para todo 𝑛, el conjunto ⟨𝑛, <⟩ es bien ordenado. Recorde-
mos que 𝑚 < 𝑛 si y sólo si 𝑚 ∈ 𝑛. Por lo tanto, 𝑛+ = {0, 1, 2, ..., 𝑛}. Esto es suficiente para comprobar que
todo subconjunto no vacio 𝐴 de ℕ tiene menor elemento. En efecto, supongamos que 𝐴 es un subconjunto
no vacio de ℕ. Como 𝐴 es no vacı́o, entonces existe un 𝑛 ∈ 𝐴. Entonces

∕ 𝑛+ ∩ 𝐴 = {0, 1, 2, ..., 𝑛} ∩ 𝐴 ⊆ 𝑛+ ,
∅=

y como 𝑛+ es bien ordenado, existe un elemento minimal en el subconjunto 𝑛+ ∩ 𝐴. Dicho elemento es el

minimal de 𝐴. Probemos que para todo 𝑛, ⟨𝑛, <⟩ es bien ordenado. La prueba es inducción. Consideremos
el conjunto
𝑇 = {𝑛 ∈ ℕ : ⟨𝑛, <⟩ es bien ordenado}
El caso 𝑛 = 0 es obvio. Supongamos que 𝑛 ∈ 𝑇 es bien ordenado. Probemos que 𝑛+ ∈ 𝑇 . Sea

𝑌 ⊆ 𝑛+

18
 8 SISTEMAS DE PEANO

con 𝑌 ∕= ∅. Si 𝑌 ∩ 𝑛 = 𝑌 ∩ {0, 1, ..., 𝑛 − 1} = ∅, entonces 𝑌 = {𝑛} y claramente 𝑛 es el menor elemento.

Si 𝑌 ∩ 𝑛 ∕= ∅, entonces por la hipótesis inductiva, este conjunto tiene un menor elemento 𝑘. Luego 𝑘 es
el requerido menor elemento de 𝑌. ■

Ahora vamos a probar el segundo Principio de Inducción para ℕ. Este principio nos da un método
alternativo para hacer pruebas por inducción. Este resultado es válido para cualquier conjunto bien
ordenado, pero en estas notas vamos a dar un prueba para ℕ.

Teorema 39 (Segundo Principio de Inducción). Sea 𝐴 un subconjunto de ℕ no vacio. Supongamos que

la siguiente sentencia es verdadera:

∀𝑛∀𝑚 (𝑚 < 𝑛 ∧ 𝑚 ∈ 𝐴 → 𝑛 ∈ 𝐴) .

Entonces 𝐴 = ℕ.

Demostración. Vamos a suponer que 𝐴 ∕= ℕ. Entonces como ∅ = ∕ 𝜔 − 𝐴 ⊂ 𝜔, por el Principio del Buen
Orden en 𝜔, existe un elemento 𝑎 ∈ 𝜔 y 𝑎 ∈
/ 𝐴 tal que 𝑎 ≤ 𝑏 para todo 𝑏 ∈
/ 𝐴. Es decir, 𝑎 es un elemento
minila en ℕ − 𝐴. Luego, todo elemento 𝑥 < 𝑎 es un elemento de 𝐴. Es decir,

∀𝑥 (𝑥 < 𝑎 → 𝑥 ∈ 𝐴) .

Por hipótesis, si 𝑥 < 𝑎 ∧ 𝑥 ∈ 𝐴 → 𝑎 ∈ 𝐴, lo que es una contradicción. Por lo tanto, 𝐴 = ℕ. ■

Como aplicación del Principio del Buen orden en ℕ podemos dar el siguiente resultado.

Corolario 40. No existe una función 𝑓 : ℕ → ℕ tal que 𝑓 (𝑛+ ) ∈ 𝑓 (𝑛) para todo 𝑛 ∈ ℕ.

Demostración. Supongamos que existe una función 𝑓 : ℕ → ℕ tal que 𝑓 (𝑛+ ) ∈ 𝑓 (𝑛) para todo 𝑛 ∈ ℕ.
Como ∅ = ∕ 𝑟𝑎𝑛𝑓 ⊆ 𝜔, entonces por el Principio del Buen orden existe un elemento 𝑎 ∈ 𝑖𝑚𝑔𝑓 tal que 𝑎 ≤ 𝑏
para todo 𝑏 ∈ 𝑖𝑚𝑔𝑓. Si 𝑓 (𝑛) = 𝑎 para algún 𝑛 ∈ 𝜔, entonces por hipótesis 𝑓 (𝑛+ ) = 𝑏 ∈ 𝑎, es decir, 𝑏 < 𝑎,
lo que es una contradicción. ■

8. Sistemas de Peano
En esta sección vamos a estudiar como definir a los números naturales axiomáticamente. Anteriormente
definimos al conjunto de los naturales 𝜔 como el menor conjunto inductivo, o lo que es lo mismo como
la intersección de todos los conjuntos inductivos. Para ello requerimos un axioma que nos aseguraba la
existencia de al menos un conjunto inductivo. Otra manera de introducir a los números naturales es por
medio del conjunto de axiomas definido por el matemático italiano Giuseppe Peano.

Giuseppe Peano (1858 - 1932)

En 1887 Peano publicó un libro sobre lógica matemática en donde utilizó por primera vez los sı́mbolos
actuales para la unión e intersección de conjuntos. En 1889 publicó en latı́n el texto Arithmetices principia,
nova methodo exposita donde establece sus famosos axiomas, denominados axiomas de Peano, que definen
los números naturales en forma abstracta. Esta nueva definición requiere trabajar en un lenguaje diferente

19
 8 SISTEMAS DE PEANO

al lenguaje de la Teorı́a de Conjuntos que estamos empleando, pues postulada la existencia de una función,
y de un elemento distinguido. Nosotros ahora solo veremos los axiomas que definen la existencia de los
números, pero la definición de Peano también podrı́a incluir a la noción de suma y producto entre números
naturales, con la cual tendrı́amos toda la maquinaria necesaria para estudiar la Arimética de los Números
Naturales.
Primero vamos a definir el concepto de sistema de Peano y probar que los números naturales con-
struidos anteriormente es un ejemplo de sistemas de Peano. Es más, probaremos que en cierto sentido
todos los sistemas de Peano son todos similares a 𝜔.
Definición 41. Un sistema de Peano es una terna ⟨𝑃, 𝑆, 𝑒⟩ donde 𝑆 es una función 𝑆 : 𝑃 → 𝑃, 𝑒 ∈ 𝑃
cumpliendo las siguientes condiciones:

1. 𝑒 ∈
/ ran 𝑆, 𝑒𝑠 decir 𝑒 ∕= 𝑆(𝑥), para cualquier 𝑥 ∈ 𝑆.
2. 𝑆 es inyectiva.
3. Esquema de Inducción. Si 𝐴 es un subconjunto de 𝑃 cumpliendo las condiciones:

a) 𝑒 ∈ 𝐴 y
b) Para cada 𝑥 ∈ 𝐴, implica que 𝑆 (𝑥) ∈ 𝐴,

entonces 𝐴 = 𝑃 .

El apartado 3. de la anterior definición corresponde al postulado de Inducción.

+
El principal ejemplo de sistema de Peano es justamente la terna ⟨𝜔,+ , 0⟩ , donde (𝑛) = 𝑛+ .
Teorema 42. La terna ⟨ℕ,+ , 0⟩ es un sistema de Peano.
Demostración. Como 𝜔 es inductivo, entonces 0 ∈ 𝜔. Por el mismo motivo la función + : 𝜔 → 𝜔
está bien definida. Si 𝐴 es un subconjunto de 𝜔 tal que 0 ∈ 𝐴 y 𝑛+ ∈ 𝐴 para cada 𝑛 ∈ 𝐴, entonces por
el Principio de Inducción para 𝜔, tenemos que 𝐴 = 𝜔. Por otra parte es claro que ∅ = 0 ∕= 𝑛+ para
cualquier 𝑛. Solo resta probar que 𝑆 es inyectiva. Sean 𝑛, 𝑚 ∈ 𝜔 y supongamos que 𝑛+ = 𝑚+ . Probemos
que 𝑛 = 𝑚. Como ∪ ∪
𝑛+ = 𝑚+
∪ ∪
y debido a que 𝑛 y 𝑚 son transitivos, entonces 𝑛 = 𝑛+ = 𝑚+ = 𝑚. Por lo tanto, 𝑆 es inyectiva.
Con esto queda probado que ⟨𝜔, 𝑆, 0⟩ es un sistema de Peano. ■

Ahora vamos a enunciar un importante teorema llamado Teorema de Recursión. Este teorema, entre
otras consecuencias, permite definir suma y producto en los números naturales por medio de funciones.
La demostración se puede consultar en [?].
Teorema 43 (de Recursión). Sea 𝐴 un conjunto, 𝑎 ∈ 𝐴 y 𝐹 : 𝐴 → 𝐴 una función. Entonces existe una
única función ℎ : 𝜔 → 𝐴 tal que

ℎ (0) = 𝑎
ℎ 𝑛+ = 𝐹 (ℎ (𝑛)) , para todo 𝑛 ∈ 𝜔.
( )

Conocemos que existe al menos un sistema de Peano, el sistema ⟨𝜔,+ , 0⟩. Otro sistema de Peano es
⟨𝜔2 , 𝐻, 0⟩ donde 𝜔2 = {1, 2, 4, 8, ..., 2𝑛, ...} , 𝐻 (𝑛) = 2𝑛 y 𝑒 = 1. Ahora vamos a probar utilizando el
Teorema de Recursión que todos los sistemas de Peano son isomorfos a ⟨𝜔, 𝑆, 0⟩. Primero definimos que
significa isomorfismo entre Sistemas de Peano.
Definición 44. Diremos que dos sistemas de Peano ⟨𝑁, 𝑆, 𝑒⟩ y ⟨𝑀, 𝐺, 𝑑⟩ son isomorfos si existe una
función biyectiva ℎ : 𝑁 → 𝑀 tal que

ℎ (𝑒) = 𝑑 y ℎ (𝑆 (𝑥)) = 𝐺(ℎ(𝑥)),

para todo 𝑥 ∈ 𝑁.

20
 9 ARITMÉTICA DE LOS NATURALES

Teorema 45. Sean ⟨𝑁, 𝑆, 𝑒⟩ un sistema de Peano. Entonces existe una función ℎ : 𝜔 → 𝑁 biyectiva tal
que:
ℎ 𝑛+ = 𝑆 (ℎ (𝑛))
( )

y
ℎ (0) = 𝑒.
Es decir, todo sistema de Peano ⟨𝑁, 𝑆, 𝑒⟩ es isomorfo al sistema ⟨𝜔,+ , 0⟩.

Demostración. Dada la función 𝑆 : 𝑁 → 𝑁 y el elemento 𝑒 ∈ 𝑁 , entonces por el Teorema de recursión

existe una única función ℎ : 𝜔 → 𝑁 tal que ℎ (0) = 𝑒 y ℎ (𝑛+ ) = 𝑆 (ℎ (𝑛)) para todo 𝑛 ∈ 𝜔. Probemos que
ℎ es sobreyectiva, es decir, veamos que ran ℎ = 𝑁 . Para probar esto vamos a utilizar el axioma de inducción
del sistema de Peano ⟨𝑁, 𝑆, 𝑒⟩. Claramente 𝑒 ∈ ran ℎ. Sea 𝑥 ∈ ran ℎ y probemos que 𝑆 (𝑥) ∈ ran ℎ. Si
𝑥 ∈ ran ℎ, entonces existe un 𝑛 ∈ 𝜔 tal que ℎ (𝑛) = 𝑥. Entonces ℎ (𝑛+ ) = 𝑆 (ℎ (𝑛)) = 𝑆 (𝑥). Por lo tanto
𝑆 (𝑥) ∈ ran ℎ. Luego tenemos probado que ran ℎ = 𝑁 . Probemos ahora que ℎ es inyectiva. Utilizamos
inducción sobre 𝜔. Consideremos el subconjunto de 𝜔 siguiente

𝑇 = {𝑛 ∈ 𝜔 : ∀𝑚 (ℎ (𝑚) = ℎ (𝑛) → 𝑚 = 𝑛)} .

Veamos que 0 ∈ 𝑇 . Si ℎ (0) = ℎ (𝑚) , entonces probemos que 0 = 𝑚. Si suponemos que 𝑚 ∕= 0, entonces
existe un natural 𝑘 tal que 𝑚 = 𝑘 + . Entonces 𝑒 = ℎ (𝑜) = ℎ (𝑘 + ) = 𝑆 (ℎ (𝑘)), es decir, 𝑒 = 𝑆 (ℎ (𝑘)),
lo que es imposible pues al ser ⟨𝑁, 𝑆, 𝑒⟩ un sistema de Peano 𝑒 ∈
/ 𝑖𝑚𝑔𝑆. Luego, 0 = 𝑚. Por lo tanto,
0 ∈ 𝑇 . Asumimos que 𝑛 ∈ 𝑇 y probemos que 𝑛+ ∈ 𝑇 . Supongamos que ℎ (𝑛+ ) = ℎ (𝑚) . Por el mismo
argumento dado anteriormente se tiene que 𝑚 ∕= 0. Entonces existe un 𝑘 ∈ 𝜔 tal que 𝑚 = 𝑘 + . Luego

𝑆 (ℎ (𝑛)) = ℎ 𝑛+ = ℎ (𝑚) = ℎ 𝑘 + = 𝑆 (ℎ (𝑘)) .

( ) ( )

Como 𝑆 es una función inyectiva, ℎ (𝑛) = ℎ (𝑘) . Por hipótesis inductiva obtenemos 𝑛 = 𝑘. Por lo tanto
𝑛+ = 𝑘 + = 𝑚. Con esto hemos probado que 𝑇 es inductivo y por lo tanto es igual a 𝜔. Es decir, ℎ es
inyectiva. ■

9. Aritmética de los Naturales

El teorema de Recursión permite definir en el conjunto ℕ las operaciones usuales de suma y producto.
Para motivar la definición de la suma entre dos números naturales lo hagamos fijando un número. Por
ejemplo, supongamos que queremos describir la suma entre 4 y cualquier número natural 𝑛. Entonces
sabemos que
4+0=4
y por ejemplo para 7 = 6+ obtenemos que

4 + 7 = 4 + 6+ = (4 + 6)+ = 10+ = 11.

Con la ayuda del Teorema de Recursión 43 podemos definir una función unaria 𝑓4 : ℕ → ℕ que corre-
sponde la suma entre 4 y cualquier natural como una función tal que

𝑓4 (0) = 4

+
𝑓4 (𝑛+ ) = (𝑓4 (𝑛)) ,

para cada 𝑛 ∈ ℕ. Esta definición se extender a cualquier número natural 𝑚:

+
𝑓𝑚 (0) = 𝑚 y 𝑓𝑚 (𝑛+ ) = (𝑓𝑚 (𝑛)) .

Ahora estamos en condiciones de definir la suma entre números naturales.

21
 9 ARITMÉTICA DE LOS NATURALES

Definición 46. La suma entre dos números 𝑛, 𝑚 ∈ ℕ es una función binaria + : ℕ × ℕ → ℕ definida
por:
𝑚 + 𝑛 = 𝑓𝑚 (𝑛),
para cada par 𝑚, 𝑛 ∈ ℕ.

Ahora podemos imitar el procedimiento anterior pero para definir el producto. Fijamos un número
natural 𝑚. Entonces por el Teorema de Recursión 43 podemos asegurar la existencia de una función
unaria 𝑔𝑚 : ℕ → ℕ cumpliendo las condiciones:

𝑔𝑚 (0) = 0

𝑔𝑚 (𝑛+ ) = 𝑔𝑚 (𝑛) + 𝑚,

para cada 𝑛 ∈ ℕ.

Definición 47. El producto entre dos números 𝑛, 𝑚 ∈ ℕ es una función binaria ⋅ : ℕ × ℕ → ℕ definida
por:
𝑚 ⋅ 𝑛 = 𝑔𝑚 (𝑛),
para cada par 𝑚, 𝑛 ∈ ℕ.

Ahora podemos enunciar las principales propiedades de la suma y el producto en ℕ que se desprenden
en forma inmediata de las definiciones. Las pruebas se pueden consultar en [?].

Teorema 48. Las siguientes propiedades son válidas para cualquier 𝑚, 𝑛 ∈ ℕ

1. 𝑚 + 0 = 𝑚,

2. 𝑚 + 𝑛+ = (𝑚 + 𝑛)+ ,

3. 𝑚 ⋅ 0 = 0,

4. 𝑚 ⋅ 𝑛+ = 𝑚 ⋅ 𝑛 + 𝑚.

Teorema 49. Las siguientes propiedades son válidas para cualquier 𝑚, 𝑛, 𝑘 ∈ ℕ

1. Propiedad asociativa para +

𝑚 + (𝑛 + 𝑘) = (𝑚 + 𝑛) + 𝑘,

2. Propiedad conmutativa para +

𝑚 + 𝑛 = 𝑛 + 𝑚,

3. Propiedad distributiva
𝑚 ⋅ (𝑛 + 𝑝) = 𝑚 ⋅ 𝑛 + 𝑚 ⋅ 𝑝,

4. Propiedad asociativa para ⋅

𝑚 ⋅ (𝑛 ⋅ 𝑘) = (𝑚 ⋅ 𝑛) ⋅ 𝑘,

5. Propiedad conmutativa para ⋅

𝑚 ⋅ 𝑛 = 𝑛 ⋅ 𝑚,

22
 10 NÚMEROS ENTEROS Y RACIONALES

10. Números Enteros y Racionales

Los números naturales fueron construidos como tipos particulares de conjuntos. Cada número natural
es un conjunto formado por todos los naturales anteriores. Ahora queremos definir los números enteros
utilizando los naturales. Para ello vamos a considerar en el producto cartesiano ℕ × ℕ una relación
de equivalencia. En el conjunto cociente obtenido se define adecuadas operaciones de suma y producto
conviertiendose en un conjunto dotado de dos operaciones que no es más que el conjunto ℤ de los números
enteros. Este conjunto cociente contiene una copia isomorfa al conjunto ℕ. Es decir, una copia que se
comporta como ℕ.
La construcción de los números racionales ℚ se obtiene a partir de ℤ como el conjunto cociente que se
obtiene considerando una relación de equivalencia en el producto ℤ × (ℤ − {0}), y definiendo adecuadas
operaciones para la suma y el producto.
La mayor parte de este material se puede encontrar, junto con las demostraciones, en los libros [3] o
[5].

10.1. Números Enteros

La siguiente definición está motivada por el hecho de que un número entero, como por ejemplo 7 o
−3, se puede representar como la diferencia entre dos números de varias maneras. El número −3 es igual
a 2 − 5 o 21 − 24. También observemos que la identidad

2 − 5 = 21 − 24,

si y sólo si es válida la identidad

2 + 24 = 5 + 21.
Esta última identidad no hace uso del sı́mbolo −, solo utiliza el sı́mbolo de suma entre números naturales.
Teniendo en cuenta estas observaciones vamos a definir una relación de equivalencia entre pares de
números enteros, de tal forma que dos pares son equivalentes si en cierta manera definen el mismo
número entero.
Consideremos el producto ℕ × ℕ y la relación ∼ definida en ℕ × ℕ por

(𝑛, 𝑚) ∼ (𝑝, 𝑞) si y sólo si 𝑛 + 𝑞 = 𝑚 + 𝑝.

Por ejemplo, (2, 5) ∼ (7, 10) pues 2 + 10 = 5 + 7.

Proposición 50. La relación ∼ es un relación de equivalencia en ℕ × ℕ.
El conjunto cociente
ℤ = ℕ × ℕ/ ∼
es llamado el conjunto de los números enteros. La clase de equivalencia del par (𝑛, 𝑚) será denotada por
[(𝑛, 𝑚)] . Es decir,

[(𝑛, 𝑚)] = {(𝑥, 𝑦) ∈ ℕ × ℕ : (𝑛, 𝑚) ∼ (𝑝, 𝑞)}

= {(𝑥, 𝑦) ∈ ℕ × ℕ : 𝑛 + 𝑞 = 𝑚 + 𝑝} .

Por ejemplo,

[(3, 1)] = {(𝑥, 𝑦) ∈ ℕ × ℕ : 3 + 𝑞 = 1 + 𝑝}

= {(2, 0), (3, 1), (4, 2), (5, 3), ...} = [2, 0)]

[(1, 2)] = {(𝑥, 𝑦) ∈ ℕ × ℕ : 1 + 𝑞 = 2 + 𝑝}

= {(0, 1), (1, 2), (2, 3) , (3, 4), ...} = [(0, 1)] .

Es sencillo observar que para cada par (𝑛, 𝑚) existe un par (0, 𝑞) tal que (𝑛, 𝑚) ∼ (0, 𝑞), o existe un
par (𝑝, 0) tal que (𝑛, 𝑚) ∼ (𝑝, 0). Los pares del tipo (0, 𝑞) se identifican con los números enteros negativos

23
10.1 Números Enteros 10 NÚMEROS ENTEROS Y RACIONALES

y los pares del tipo (𝑝, 0) se identifican con los enteros positivos. Luego, podemos simbolizar a las clases
[(𝑝, 0)] por 𝑝ℤ , y para las clases [(0, 𝑞)] podemos escribir −𝑞ℤ . La clase [(0, 0)] la simbolizamos por 0ℤ . De
esta manera podemos escribir al conjunto cociente ℤ = ℕ × ℕ/ ∼ como

ℤ = {..., −2ℤ , −1ℤ , 0, 1ℤ , 2ℤ , ...} .

Ahora vamos a ver como definir la suma y el producto en ℤ. Para la suma definimos:
𝑑𝑒𝑓
[(𝑛, 𝑚)] + [(𝑝, 𝑞)] = [(𝑛 + 𝑝, 𝑚 + 𝑞]

Es sencillo comprobar que que la suma definida entre dos clases de equivalencia no depende del repre-
sentante seleccionado. Es decir, si [(𝑛, 𝑚)] = [(𝑛′ , 𝑚′ )] y [(𝑝, 𝑞)] = [(𝑝′ , 𝑞 ′ )], entonces [(𝑛 + 𝑝, 𝑚 + 𝑞)] =
[(𝑛′ + 𝑝′ , 𝑚′ + 𝑞 ′ )] .
Ejemplo 51. Calcular −2ℤ + 5ℤ . Recordemos que −2ℤ = [(0, 2)] y que 5ℤ = [(5, 0)] . Luego

−2ℤ + 5ℤ = [(0, 2)] + [(5, 0)] = [(0 + 5, 2 + 0)]

= [(5, 2)] = [(3, 0)] = 3ℤ .

En el siguiente teorema enunciamos las principales propiedades de los números enteros.Una de las
diferencias fundamentales de ℤ respecto de ℕ es la existencia de inversos aditivos en ℤ.
Teorema 52. Las siguientes propiedades son válidas en ℤ :

1. 𝑎ℤ + 𝑏ℤ = 𝑏ℤ + 𝑎ℤ (conmutativa),
2. 𝑎ℤ + (𝑏ℤ + 𝑐ℤ ) = (𝑎ℤ + 𝑏ℤ ) + 𝑐ℤ (asociativa),
3. 0ℤ es el elemento neutro para la suma: 0ℤ + 𝑎ℤ = 𝑎ℤ ,
4. Existencia del inverso aditivo: para cada 𝑎ℤ existe un 𝑏ℤ tal que 𝑎ℤ + 𝑏ℤ = 0ℤ .

Demostración. Ver [3] o [5]. ■

La propiedades anteriores se pueden resumir diciendo que el par (ℤ, +) es un grupo abeliano.
Ahora queremos ver como podemos definir el producto. Observemos que (𝑛 − 𝑚) ⋅ (𝑝 − 𝑞) = 𝑛𝑝 + 𝑚𝑞 −
(𝑛𝑞 + 𝑚𝑝). Motivado por esto, el producto entre números enteros se define en la siguiente forma:
𝑑𝑒𝑓
[(𝑛, 𝑚)] ⋅ [(𝑝, 𝑞)] = [(𝑛𝑝 + 𝑚𝑞, 𝑛𝑞 + 𝑚𝑝)] .

Para que esta definición tenga sentido debemos comprobar que el producto definido entre dos clases
de equivalencia no depende del representante seleccionado. Los detalles se pueden encontrar en [3] o [5].
Teorema 53. Las siguientes propiedades son válidas en ℤ :

1. 𝑎ℤ ⋅ 𝑏ℤ = 𝑏ℤ ⋅ 𝑎ℤ (conmutativa),
2. 𝑎ℤ ⋅ (𝑏ℤ ⋅ 𝑐ℤ ) = (𝑎ℤ ⋅ 𝑏ℤ ) ⋅ 𝑐ℤ (asociativa),
3. 𝑎ℤ ⋅ (𝑏ℤ + 𝑐ℤ ) = (𝑎ℤ ⋅ 𝑏ℤ ) + (𝑎ℤ ⋅ 𝑐ℤ ) (distributiva),
4. 1ℤ es la identidad: 1ℤ ⋅ 𝑎ℤ = 𝑎ℤ ,
5. Si 𝑎ℤ ⋅ 𝑏ℤ = 0ℤ , entonces 𝑎ℤ = 0ℤ o 𝑏ℤ = 0ℤ .

Este teorema nos dice que (ℤ, +, ⋅) es un anillo conmutativo sin divisores de cero, también llamado
dominio entero.
Por último, vamos a ver como definir el orden en ℤ. Informalmente sabemos que 𝑛 − 𝑚 < 𝑝 − 𝑞 si y
sólo si 𝑛 + 𝑞 < 𝑝 + 𝑚. Teniendo en cuenta esto podemos dar la siguiente definición formal del orden <ℤ
en ℤ :
[(𝑛, 𝑚)] <ℤ [(𝑝, 𝑞)] sii 𝑛 + 𝑞 ∈ 𝑝 + 𝑚.

24
10.2 Números Racionales 10 NÚMEROS ENTEROS Y RACIONALES

Como es usual definimos el orden ≤ℤ como [(𝑛, 𝑚)] ≤ℤ [(𝑝, 𝑞)] si y sólo si [(𝑛, 𝑚)] <ℤ [(𝑝, 𝑞)] o [(𝑛, 𝑚)] =
[(𝑝, 𝑞)] .
El conjunto de los números enteros ℤ se ha construido a partir de ℕ definiendo una adecuada relación
de equivalencia en el producto ℕ × ℕ. Ahora vamos a ver que existe un subconjunto de ℤ que se comporta
como ℕ. En términos algebraicos podrı́amos afirmar que existe un subconjunto de ℤ que dotado de las
operaciones de suma y producto es isomorfo al conjunto de los números naturales.
Consideremos la función
𝐸:ℕ→ℤ
definida por:
𝐸(𝑛) = [(𝑛, 0)] .
Entonces se puede demostrar que

1. 𝐸 es inyectiva,

2. 𝐸(𝑚 + 𝑛) = 𝐸(𝑚) + 𝐸(𝑛),

3. 𝐸(𝑚 ⋅ 𝑛) = 𝐸(𝑚) ⋅ 𝐸(𝑛),

4. 𝑛 ∈ 𝑚 si y sólo si 𝐸(𝑛) <ℤ 𝐸(𝑚).

Por lo tanto, la imagen de ℕ por medio de la función 𝐸, es decir 𝐸 [ℕ] = {𝐸(𝑛) : 𝑛 ∈ ℕ} , es un

subconjunto de ℤ que junto a la suma y el producto definido en ℤ se comporta como ℕ.

10.2. Números Racionales

Ahora vamos a extender la construcción que hicimos de ℕ a ℤ a una construcción similar de ℤ a ℚ. La
introducción de los números racionales está motivada por la necesidad de buscar soluciones a ecuaciones
que en el conjunto d elos números enteros no tienen solución. Por ejemplo, sabemos que la ecuación
𝑥𝑎 = 𝑏, con 𝑎 ∕= 0, . no tiene solución en ℤ pues en los enteros no contamos con inversos multiplicativos.
Esto motiva la introducción de un conjunto más ámplio de números que incluya a los conjuntos númericois
conocidos anteriormente y que a lavez nos permita dar una solución a este tipo de ecuaciones.
Como nosotros estamos formalizando a los conjuntos númericos a partir de la noción de conjuntos
debemos dar una defiunición de los racionales, junto con las operaciones algebraicas, que esté basada en los
conceptos dados en este apunte. Para motivar desde un punto de vista informal la definición recordemos
𝑎
que los números racionales pueden ser representados como fracciones, es decir, como números , con
𝑏
𝑛𝑎
𝑎, 𝑏 ∈ ℤ y 𝑏 ∕= 0. Pero el número , con 𝑛 ∕= 0 un número entero positivo representa a la misma fracción
𝑛𝑏
𝑎 𝑎
. En otras palabras, todo número racional puede ser representado de infinitas formas. Cada fracción
𝑏 𝑏
tiene asociado un par ordenado (𝑎, 𝑏), donde 𝑏 ∕= 0. Entonces
𝑎 𝑐
= sii 𝑎𝑑 = 𝑏𝑐.
𝑏 𝑑
En términos de los pares asociados (𝑎, 𝑏) y (𝑐, 𝑑) podemos decir que representan al mismo número racional
si y sólo si 𝑎𝑑 = 𝑏𝑐. Estas observaciones nos motivan a dar la siguiente construcción de los números
racionales.
Consideremos el producto ℤ × (ℤ − {0}). Definimos en este producto una relación binaria ≈⊆ ℤ ×
(ℤ − {0}) por
(𝑎, 𝑏) ≈ (𝑐, 𝑑) si y sólo si 𝑎𝑑 = 𝑏𝑐.

Definición 54. El conjunto de los números racionales es el conjunto cociente

ℚ = ℤ × (ℤ − {0})/ ≈ .

25
 11 AXIOMA DE REGULARIDAD

11. Axioma de Regularidad

La teorı́a desarrollada hasta ahora no nos permite asegurar que dados dos conjuntos 𝐴 y 𝐵 la afirma-
ción:
𝐴 ∈ 𝐵 ∧ 𝐵 ∈ 𝐴,
no es válida. Tampoco podemos demostrar que ningún conjunto es miembro de si mismo:

∀𝐴(𝐴 ∈
/ 𝐴).

Como no queremos que estas situaciones aparezcan en nuestra teorı́a debemos introducir un nuevo axioma.

Axioma de Regularidad. Sea 𝐴 un conjunto no vacı́o. Entonces la siguiente sentencia es un axioma:

𝐴 ∕= ∅ → ∃𝑥 [𝑥 ∈ 𝐴 ∧ ∀𝑦 (𝑦 ∈ 𝑥 → 𝑦 ∈
/ 𝐴)] .

Este axioma afirma, de un manera intuitiva, que dado un conjunto no vacı́o 𝐴 siempre existe un
elemento 𝑥 ∈ 𝐴 tal que 𝐴 ∩ 𝑥 = ∅. Armado con este nuevo axioma ahora podemos probar los siguientes
resultados. El primer resultado ya fué demostrado para los números naturales, pero ahora lo probamos
en general utilizando el axioma de regularidad.

Teorema 55. Para cualquier conjunto 𝐴, 𝐴 ∈

/𝐴

Demostración. Supongamos que 𝐴 es un conjunto tal que 𝐴 ∈ 𝐴. Como 𝐴 ∈ {𝐴} , entonces 𝐴 ∈ 𝐴∩{𝐴} .
Por otra parte, como {𝐴} =
∕ ∅, entonces por el axioma de regularidad existe un 𝑥 ∈ {𝐴} tal que 𝑥∩{𝐴} = ∅.
Debido a que {𝐴} es unitario, entonces 𝑥 = 𝐴. En consecuencia, 𝐴∩{𝐴} = ∅, lo que es una contradicción.
■

Teorema 56. Para cualquier par de conjuntos 𝐴 y 𝐵

¬ (𝐴 ∈ 𝐵 ∧ 𝐵 ∈ 𝐴) .

Demostración. Supongamos que existen dos conjuntos 𝐴 y 𝐵 tales que 𝐴 ∈ 𝐵 y 𝐵 ∈ 𝐴. Entonces

𝐴 ∈ {𝐴, 𝐵} ∩ 𝐵 y 𝐵 ∈ {𝐴, 𝐵} ∩ 𝐵.

Como {𝐴, 𝐵} = ∕ ∅, entonces existe un 𝑥 ∈ {𝐴, 𝐵} (donde 𝑥 = 𝐴 o 𝑥 = 𝐵), tal que 𝑥 ∩ {𝐴, 𝐵} = ∅, lo que
es una contradicción. ■

Teorema 57. Para cualquier conjunto 𝐴, si 𝐴 ⊆ 𝐴 × 𝐴, entonces 𝐴 = ∅.

Demostración. Supongamos que existe un conjunto 𝐴 tal que 𝐴 ⊆ 𝐴 × 𝐴 y 𝐴 ∕= ∅. Notemos que al

ser 𝐴 un subconjunto de 𝐴 × 𝐴 = {(𝑥, 𝑦) = {{𝑥} , {𝑥, 𝑦}} : 𝑥, 𝑦 ∈ 𝐴} los elementos de 𝐴 deben ser pares
ordenados
∪ de {∅} . Como 𝐴 ∕= ∅, entonces
y por lo tanto todos deben ser distintos del vacı́o y distintos ∪
𝐴 ∕= ∅. Vamos a aplicar el axioma de Regularidad al conjunto 𝐴 ∪ 𝐴. Por tal axioma existe un
∪
conjunto 𝐶 ∈ 𝐴 ∪ 𝐴 tal que
( ∪ )
𝐶 ∩ 𝐴 ∪ 𝐴 = ∅.
∪
Si 𝐶 ∈ 𝐴, entonces 𝐶 es de la forma 𝐶 = {{𝑥} , {𝑥, 𝑦}} y además 𝐶 ⊆ 𝐴. Por lo tanto debe ocurrir
∪ ∪
que 𝐶 ∩ 𝐴 ∕= ∅, lo que es una contradicción. Entonces debe darse el caso que 𝐶 ∈ 𝐴. Es decir, existe
un 𝐷 ∈ 𝐴 tal que 𝐶 ∈ 𝐷. Por la forma de los elementos de 𝐴, 𝐷 = {{𝑥} , {𝑥, 𝑦}} para algún 𝑥, 𝑦 ∈ 𝐴.
Entonces 𝐶 = {𝑥} o 𝐶 = {𝑥, 𝑦} . En cualquier caso 𝐶 ∩ 𝐴 ∕= ∅, lo que también es una contradicción. Por
lo tanto, 𝐴 = ∅. ■

26
 12 AXIOMA DE ELECCIÓN

12. Axioma de Elección

El Axioma de Elección no pertenece a la Axiomática original de Zermelo-Fraenkel 𝒵ℱ desde un punto
de vista estricto. Fue añadido de manera posterior (a la axiomática resultante se la suele denominar 𝒵ℱ 𝒞).
La gran mayorı́a de matemáticos aceptan el Axioma de Elección, por lo que al hablar de la Axiomática
de Zermelo-Fraenkel, se suele entender que se habla de 𝒵ℱ 𝒞
A diferencia de los axiomas de 𝒵ℱ, el axioma de elección es un axioma no constructivo, en el sentido
de que no determina un conjunto único a partir de su información. Además, no esun axioma natural en el
sentido que su afirmación no es algo que naturalmente podemos pensar que es ası́. Al principio se llevaron
a cabo muchos intentos por tratar de probar este axioma a partir de los restantes axiomas. Estos intentos
vanos de probar el axioma de elección después de grandes esfuerzos, algunos matemáticos comenzaron
a pensar en la posible independencia del axioma de elección respecto de los axiomas de 𝒵ℱ, aunque
no sabı́an en que dirección se encontraba la prueba de ello. Gödel probó [1930/1940] que el axioma de
elección era consistente con los axiomas de 𝒵ℱ, por lo que podı́a emplearse junto con ellos sin temor
de obtener contradicciones. El nombre de Axioma de elección (Auswahlaxiom) fue dado por Zermelo, y
afirma lo siguiente:

Axioma de Elección. Para cualquier conjunto 𝐴, existe una función (llamada de elección) 𝑓 : 𝒫 (𝐴) −
{∅} → 𝐴 tal que 𝑓 (𝐵) ∈ 𝐵, para cada 𝐵 subconjunto 𝐵 de 𝐴 distinto del vacı́o.

El nombre del axioma se debe al hecho de que la función 𝑓 elije un elemento de cada elemento 𝐵 de
𝒫 (𝐴) − {∅}.
Algunos matemáticos objetan este axioma dado el carácter no constructivo, pues afirma que es posible
elegir un elementos de una familia de conjuntos, pero no dice como hacerlo. Si por ejemplo tenemos la
familia 𝐴 = {𝐶, 𝐵} donde 𝐶, 𝐵 son subconjuntos disjuntos de números reales no sabemos como elegir un
elemento de 𝐶 y un elemento de 𝐵.
El axioma de Elección se puede enunciar de diversas formas o es equivalente a otros principios que
enunciamos a continuación.

Teorema 58. El axioma de Eleción es equivalente a cualquier de los siguientes principios:

1. Para cualquier relación 𝑅 existe una función 𝑓 tal que 𝑓 ⊆ 𝑅 y 𝑑𝑜𝑚𝑓 = 𝑑𝑜𝑚𝑅.

2. El producto cartesiano de una familia de conjuntos no vacı́os es distinta del vacı́o.

3. Lema de Zorn I
∪
Sea 𝒜 una familia de conjuntos tal que ℬ ∈ 𝒜, para cada cadena ℬ de elementos de 𝒜. Entonces
existe un elemento 𝑀 maximal en 𝒜 (es decir, 𝑀 no es un subconjunto de cualquier otro elemento
de 𝒜).

4. Principio del Bueno Orden (debido a Zermelo).

Todo conjunto puede ser bien ordenado. Es decir, para cualquier conjunto es posible definirle una
relación de buen orden.

5. Lema de Zorn II
Todo conjunto no vacı́o parcialmente ordenado en el que toda cadena (subconjunto totalmente or-
denado) tiene cota superior, tiene al menos un elemento maximal.

6. Principio maximal de Hausdorff.

En un conjunto parcialmente ordenado, todo subconjunto totalmente ordenado está contenido en
uno maximal.

El axioma de Elección tiene innumerables aplicaciones en todas las áreas de las Matemáticas. Por
ejemplo, en Álgebra se lo utiliza para probar que todo espacio vectorial tiene una base, o cualquier anillo
unitario distinto del trivial contiene un ideal maximal.

27
 REFERENCIAS

En Topologı́a se lo utiliza para probar el Teorema de Tychonoff: Todo producto de espacios compactos
es compacto. También en la topologı́a producto, la clausura de un producto de subconjuntos es igual al
producto de sus respectivas clausuras, o todo producto de espacios uniformes completos es asimismo
completo.

13. Axioma de Reemplazo

El axioma de Reemplazo o Sustitución es uno de los más complicados de justificar. De este axioma se
puede deducir el Axioma de Separación 3.
Axioma de Reemplazo. Consideremos una propiedad 𝑄(𝑥, 𝑦) satisfaciendo que para cada 𝑥 existe un
único 𝑦 tal que la propiedad 𝑄(𝑥, 𝑦) es válida. Entonces para cualquier conjunto 𝐴 existe un conjunto 𝐵
tal que para cada 𝑥 ∈ 𝐴 existe un 𝑦 ∈ 𝐵 tal que 𝑄(𝑥, 𝑦) es válida.
La propiedad 𝑄 define una función en la siguiente forma:
𝑓 = {(𝑥, 𝑦) : se cumple la propiedad 𝑄(𝑥, 𝑦)} .
Claramente 𝑓 es una relación, y para cada (𝑥, 𝑦), (𝑥, 𝑧) ∈ 𝑓 , se cumple 𝑄(𝑥, 𝑦) y 𝑄(𝑥, 𝑧). Por la unicidad
establecidad en el Axioma, obtenemos que 𝑦 = 𝑧. Luego 𝑓 es una función.
Teniendo en cuenta esto el axioma puede ser reescrito de la siguiente forma.
Sea 𝑓 una función. Para cada conjunto 𝐴 existe un conjunto 𝐵 tal que si 𝑥 ∈ 𝐴, entonces 𝑓 (𝑥) ∈ 𝐵.
Veamos ahora como el Axioma de Separación 3 se deduce del Axioma de Reemplazo 13. Consideremos
un conjunto 𝐴 y una propiedad 𝑃 (𝑥). Recordemos que el axioma de Separación afirma que existe un
conjunto 𝐵 tal que 𝐵 son los elementos de 𝐴 que cumplen la propiedad 𝑃 . Consideremos la siguiente
fórmula considera la fórmula 𝑄(𝑥, 𝑦) definida por
𝑃 (𝑥) ∧ 𝑦 = 𝑥.
Entonces, dado el conjunto 𝐴, existe un conjunto 𝐵 ta que para cada 𝑥 ∈ 𝐴 existe un único 𝑦 ∈ 𝐵
˙ Es decir, para 𝐴 existe un conjunto 𝐵 tal que:
cumpliendo 𝑄(𝑥, 𝑦 ).
𝑦∈𝐵 sii ∃𝑥(𝑥 ∈ 𝐴 ∧ 𝑄(𝑥, 𝑦))
sii ∃𝑥(𝑥 ∈ 𝐴 ∧ 𝑃 (𝑥) ∧ 𝑦 = 𝑥)
sii ∃𝑥(𝑥 ∈ 𝐴 ∧ 𝑃 (𝑥)).
De esta forma hemos deducido el Axioma de Separación del Axioma de Reemplazo.

Referencias
[1] Peter J. Cameron. Sets, Logic and Categories, Springer Undergraduate Mathematics Series, Springer-
Verlag, (1999).
[2] Roberto Cignoli, Teorı́a de Conjuntos, Cuadernos de matemática y mecánica. Serie Cursos y semi-
narios ; no. 8. Santa Fe, Argentina, CIMEC-IMAL, (2002).
[3] Herbert B. Enderton, Elements of Set Theory, Academic Press, (1977).
[4] Paul R. Halmos, Naive Set Theory, Springer, New York.
[5] Hrbacek Karel and Thomas Jech, Introduction to Set Theory, Third Edition, Revised and Expanded
(Pure and Applied Mathematics), (1999).
[6] Patrick Suppes, Axiomatic Set Theory. New York: Van Nostrand, 1960, 265 pp. Slightly revised edition
published by Dover, New York, (1972).
Además de los libros anteriores tambien se puede consultar los siguientes enlaces en Wikipedia
1. http://es.wikipedia.org/wiki/Teorı́a axiomática de conjuntos
2. http://es.wikibooks.org/wiki/Conjuntos numéricos/Axiomática de la Teorı́a de Conjuntos

28