(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

En esta nota iniciaremos el estudio de los números naturales. Hasta ahora sabemos trabajar con conjuntos, podemos considerar su complemento, unirlos, intersecarlos, considerar subconjuntos de ellos, considerar particiones y relaciones de equivalencia, etc. Con estas herramientas vamos a dar una definición de los números naturales basada en el sucesor, esta definición implicará los llamados axiomas de Peano, en honor al matemático Giuseppe Peano quien en el siglo XIX, los estableció para definir los números naturales. Así nuestro primer objetivo es dar una definición conjuntista de los números naturales y ver que implica los axiomas de Peano. Puedes consultar el siguiente enlace para conocer más a profundidad la historia de cómo se formalizó la aritmética: Los axiomas de Peano.

Empecemos definiendo lo que es el sucesor de un conjunto $x.$

Definición

Sea $x$ un conjunto, el sucesor de $x$ es:

$x^+=x\cup\set{x}.$

Observa que si definimos al cero como el conjunto vacío tenemos que:

$0=\emptyset$

y entonces su sucesor $0^+$ es:

$0^+=\emptyset^+ =\emptyset\cup \set{ \emptyset}= \set{ \emptyset} =\set{ 0}$

Ese sucesor $0^+$ será por definición el $1$, entonces:

$1^+=1\cup\set{1}=\set{0}\cup \set{1}=\set{0,1}$

que es por definición el número 2, y así sucesivamente:

$2^+=2\cup \set{2}= \set{0,1}\cup \set{2}=\set{0,1,2}=3$

$3^+=3\cup \set{3}= \set{0,1,2}\cup \set{3}=\set{0,1,2,3}=4$

$\vdots$

$n^+=n\cup \set{n}= \set{0,\dotsc,n-1}\cup \set{n}=\set{0,\dotsc,n}=n+1$

Aceptaremos que esta construcción puede ser llevada a infinito, y lo postularemos como un axioma.

Axioma del infinito

Existe un conjunto que tiene al cero y al sucesor de cada uno de sus elementos.

Démosle ahora nombre a este tipo especial de conjuntos, aquellos que tienen al cero y todos sus sucesores.

Definición

Sea $A$ un conjunto. Decimos que $A$ es un conjunto de sucesores si tiene como elemento al cero y al sucesor de cada uno de sus elementos.

El la Teoría de Conjuntos a los conjuntos de sucesores también se les llama conjuntos inductivos.

Observemos que el Axioma del infinito asegura la existencia de al menos un conjunto de sucesores. Tiene sentido entonces considerar la intersección de cualquier familia no vacía de conjuntos sucesores y veremos que la intersección también es un conjunto de sucesores.

Lema

Sea $\mathscr F$ una familia no vacía formada por conjuntos de sucesores, entonces $\bigcap\mathscr F$ es un conjunto de sucesores.

Demostración

Sea $\mathscr F$ una familia no vacía formada por conjuntos de sucesores. Como $\mathscr F$ es no vacía, sabemos por la nota nota 14 que podemos considerar el conjunto $\bigcap \mathscr F$ que es la intersección de la colección $\mathscr F$.

Como $A$ es un conjunto de sucesores para todo $A\in \mathscr F$, entonces $0\in A$, para todo $A\in \mathscr F$, así $0\in \bigcap \mathscr F$.

Veamos ahora que $\bigcap \mathscr F$ tiene al sucesor de cada uno de sus elementos.

Sea $x\in \bigcap \mathscr F$ entonces $x\in A$ para todo $A\in \mathscr F$. Como cada $A$ es un conjunto de sucesores, se tiene que $x^+\in A$ para todo $A\in \mathscr F$, así $x^+\in \bigcap \mathscr F$.

Concluimos finalmente que $\bigcap \mathscr F$ es un conjunto de sucesores.

$\square$

Con esta definición de conjunto de sucesores y el lema anterior vamos a definir a los números naturales siguiendo las ideas del libro de José Alfredo Amor mencionado en la bibliografía y las notas de clase de la Dra. Avella. Por el lema anterior, existe un conjunto de sucesores, digamos $T$, por lo que podemos considerar a todos los conjuntos de sucesores contenidos en $T$. La familia $$\{S\subseteq T\,|\,S\text{ es un conjunto de sucesores}\}$$ es no vacía ya que al menos $T$ es uno de sus elementos y, de acuerdo a lo estudiado en la nota 14, podemos considerar su intersección. Así, definiremos a los números naturales como la intersección de esta familia.

Definición

Dado $T$ un conjunto de sucesores fijo sea $\mathscr{F}=\{S\subseteq T\,|\,S\text{ es un conjunto de sucesores}\}$ la colección formada por todos los conjuntos de sucesores contenidos en $T$. El conjunto de los números naturales, denotado por $\mathbb N$ es:

$\mathbb N= \mathop{\displaystyle \bigcap}\mathscr{F}$.

Observación 1

Por el lema anterior, $\mathbb N$ es un conjunto de sucesores, así $0\in \mathbb N$ y si $x\in \mathbb N$, entonces $x^+\in \mathbb N$.

Observación 2

Sea $A$ un conjunto de sucesores cualquiera, entonces, por el lema anterior, $A\cap T$ es un conjunto de sucesores, y como $A\cap T\subseteq T$, entonces $A\cap T$ pertenece a la familia $\mathscr{F}=\{S\subseteq T\,|\,S\text{ es un conjunto de sucesores}\}$. En consecuencia, por las propiedades de la intersección, sabemos que $\mathop{\displaystyle \bigcap}\mathscr{F}\subseteq A\cap T$ y que $A\cap T\subseteq A$. Por lo tanto $\mathop{\displaystyle \bigcap}\mathscr{F}\subseteq A$, es decir, $\mathbb N\subseteq A$.

Esto nos dice que $\mathbb N$ está contenido en cada conjunto de sucesores. Es decir, $\mathbb N$ es el conjunto de sucesores «más pequeño» posible.

Proposición

Si $A\subseteq \mathbb N$ es tal que:

$i)$ $0\in A$, y

$ii)$ para toda $n$, si $n\in A$, entonces $n^+\in A$,

se tiene que $\mathbb N\subseteq A$ y así $A=\mathbb N$.

Demostración

Sea $A\subseteq \mathbb N$ que cumple las condiciones $i$ y $ii$, entonces por definición $A$ es un conjunto de sucesores y de acuerdo a la observación previa sabemos que $\mathbb N$ está contenido en cada conjunto de sucesores, en particular $\mathbb N$ está contenido en $A$, es decir $ \mathbb N\subseteq A$. Así, $A\subseteq \mathbb N$ y $ \mathbb N\subseteq A$ , por lo tanto $A=\mathbb N$.

$\square$

Veremos que la definición que dimos de los números naturales anteriormente implica los axiomas de Peano. Enunciemos dichos axiomas y notemos cómo se derivan de nuestra definición.

Axiomas de Peano

1. $0\in \mathbb N$.

2. Si $n\in \mathbb N$, entonces $n^+\in \mathbb N$.

3. $\forall n\in \mathbb N$, $n^+\neq 0$.

4. $\forall n,m\in \mathbb N$ si $n^+=m^+$, entonces $n=m$.

5. Si $A\subseteq \mathbb N$ es tal que:

$i)$ $0\in A$, y

$ii)$ para todo $n$, si $n\in A$, entonces $n^+\in A$,

se tiene que $\mathbb N\subseteq A$ y así $A=\mathbb N$.

El quinto axioma de Peano se conoce como el Principio de inducción, lo estudiaremos con detalle ya que se usa mucho para hacer pruebas referentes a afirmaciones de los números naturales.

Observa que en nuestro caso los axiomas de Peano no se usarán como axiomas, es decir no partiremos de que se cumplen, pues hemos construido los números naturales a partir de conjuntos, así que se tomarán como una proposición y se demostrará que con esta construcción de los naturales se cumplen las condiciones enunciadas. Sin embargo, les llamaremos axiomas de Peano porque inicialmente se establecieron como axiomas que describían a la colección de los números naturales.

Demostración

Observa que por la observación 1, consecuencia del lema previo que afirma que $\mathbb N$ es un conjunto de sucesores, se tiene que $0\in \mathbb N$, y además si $x\in \mathbb N$, entonces $x^+\in \mathbb N$, por lo que se cumplen los incisos 1 y 2 que se querían demostrar. Por otro lado el inciso $5$ se cumple por la proposición antes demostrada.

Demostración de 3

Queremos demostrar que: $\forall n\in \mathbb N$, $n^+\neq 0$.

Sea $n\in \mathbb N$, por definición $n^+=n\cup\set{n}$. Como $n\in\{n\}$ tenemos que , $n\in n\cup\set{n}$. Así, $n\in n^+$ y entonces $n^+\neq \emptyset=0$.

Para probar $4$ requerimos un resultado.

Lema

Todo elemento de un número natural es también subconjunto de éste.

La prueba de este lema será la primera que realizaremos mediante la técnica de inducción que se basa en el quinto axioma de Peano. La idea esencial es probar que cierta propiedad se cumple para todos los naturales formando un subconjunto $A$ de naturales con todos los naturales que sí cumplen la propiedad, y luego verificando que es igual a $\mathbb N$. Para ello probaremos que

$i)\, 0\in A$ (llamada la base de inducción), y que

$ii)$ si $n\in A$, entonces $n^+\in A$ (llamado paso Inductivo (PI), para ello supondremos que $n\in A$, hipótesis que se conoce comúnmente como la hipótesis de inducción (HI), y probaremos que $n^+\in A$.

Con estas dos condiciones satisfechas podemos asegurar que $A=\mathbb N$ en virtud del quinto Axioma de Peano, y, por lo tanto, que la propiedad se cumple para todo número natural.

En la nota 18 estudiaremos con más detalle este tipo de demostraciones.

Demostración

Esta prueba se hará por inducción usando el quinto axioma de Peano.

Sea $A=\set{n\in \mathbb N\mid si\,\,x\in n \,\, entonces \,\, x\subseteq n}\subseteq \mathbb N$. Probaremos que $A$ cumple $i$ y $ii$ del inciso 5 de la proposición anterior y concluiremos con ello que $A=\mathbb N.$

i) Base de inducción. Primero vamos a probar que el $0\in A$. Como $0=\emptyset$, $0$ no tiene elementos y por vacuidad se cumple entonces que si $x\in 0$, entonces $x\subseteq 0$ (ya que no existen elementos de $0$ y por lo tanto no podríamos exhibir ninguno que no sea subconjunto de $0$). Así, $0\in A$ y se cumple el inciso $i$.

ii) Paso Inductivo. (PI). Ahora, veamos que si $n\in A$, entonces $n^+\in A$.

Sea $n\in A$.

Ésta es nuestra hipótesis de inducción.

Demostración de que $n^+\in A$ usando la HI.

Observa que al estar $n$ en $A$, $n$ cumple la propiedad que caracteriza a los elementos de $A$, es decir, si $x\in n, \,\, entonces \,\, x\subseteq n$. Demostremos con ello que $n^+\in A,$ es decir que todo elemento de $n^+$ es un subconjunto de $n^+$. Consideremos $x\in n^+=n\cup \set{n}$ y verifiquemos que $x\subseteq n^+$.

Caso $1$, $x\in n$

Como $n\in A$ y $x\in n$, entonces $x\subseteq n$, además $n\subseteq n\cup \set{n}= n^+$. Así, $x\subseteq n$ y $n\subseteq n^+$, entonces $x\subseteq n^+$.

Caso $2$, $x\in \set{n}$

En este caso $x=n$ y como $x=n\subseteq n\cup \set{n}=n^+$ tenemos que $x\subseteq n^+.$

En ambos casos, suponiendo que $n\in A$, se tiene que $x\in n^+\,\, implica\,\, que \,\,x\subseteq n^+,$ probando así que $n^+$ es un elemento de $A$.

El conjunto $A$ cumple entonces las condiciones del quinto axioma de Peano (que ya hemos demostrado), y por lo tanto $A=\mathbb N$.

$\square$

Demostración de 4

Sea $n,m\in \mathbb N$ tales que $n^+=m^+$, entonces $n\cup \set{n}= m\cup \set{m}$. Así, $n\in n\cup \set{n}= m\cup \set{m}$, lo que implica que $n\in m$ o $n=m$. Por otro lado $m\in m\cup \set{m}= n\cup \set{n}$, entonces $m\in n$ o $m=n$.

Supongamos por reducción al absurdo que $n\neq m$, entonces se concluye de lo anterior que $n\in m$ y $m\in n$. Por el lema previo $n\subseteq m$ y $m\subseteq n$, así $n=m$, lo cual es una contradicción y por lo tanto $n=m$.

Hemos verificado que la construcción que dimos de los números naturales cumple los axiomas de Peano.

$\square$

Para concluir esta nota, mencionaremos las definiciones y propiedades de la suma y el producto de los números naturales que acabamos de definir. Aunque se presentan las definiciones y se enuncian las propiedades, cabe destacar que las pruebas de las mismas, realizadas por inducción, se desarrollarán en la nota 18b con el fin de estudiar primero la inducción matemática en casos menos abstractos.

Definición. Suma en $\mathbb N$

Dado $n\in \mathbb N$ definimos:

$n+0=n,$

para todo $m\in \mathbb N$, $n+m^+=(n+m)^+.$

Propiedades de la suma

Sean $n,m,l\in \mathbb N.$

1. $n+0=n$. Neutro aditivo.
2. $(n+m)+l=n+(m+l)$. Asociatividad.
3. Si $n+l=m+l$, entonces $n=m$. Cancelación.
4. $n+m=m+n$. Conmutatividad.
5. Si $n\neq 0$ o $m\neq 0$, entonces $n+m\neq 0$

Observación 3

Hay que observar que una vez se tiene definida la suma en $\mathbb N$ se puede ver que $n^+=n+1$, donde $1$ es el sucesor de $0$.

Demostración

Sea $m=0$, por definición de la suma en $\mathbb N$ se tiene que $n+0^+=(n+0)^+$. Pero $0^+=1$ y por la definición de suma se tiene que $n+0=n$, por lo que sustituyendo tenemos que $n+1=n^+$.

Definición. Producto en $\mathbb N$

Dado $n\in \mathbb N$ definimos:

$n\cdot 0=0,$

para todo $m\in\mathbb N$, $n\cdot m^+=n \cdot m+n.$

Propiedades del producto

Sean $n,m,l\in \mathbb N.$

1. $1\cdot n=n$. Neutro multiplicativo.
2. $(n+m)\cdot l=n\cdot l+m\cdot l$. Distributividad.
3. $n\cdot m=m\cdot n$. Conmutatividad.
4. $(n\cdot m)\cdot l=n\cdot (m\cdot l)$. Asociatividad.
5. Si $n\neq 0$ y $m\neq 0$, entonces $n\cdot m\neq 0$
6. Si $l\neq 0$ y $n\cdot l=m\cdot l$ entonces $n=m$. Cancelación.

Tarea Moral

1. Describe a los números naturales $3$, $5$ y $7$ como conjuntos, usando la definición conjuntista.

2. Determina si las siguientes afirmaciones se cumplen o no.

• $3\subseteq 5$
• $7\subseteq 5$
• $3\in 5$
• $7\in 3$

3. Prueba que si $n\in \mathbb N$, entonces $n=0$ o $n=m^+$ con $m\in \mathbb N$. Sugerencia: define $A=\{0\}\cup\{m^+|m\in\mathbb{N}\}$ y usa el principio de inducción para demostrar que $A=\mathbb{N}$.

Más adelante

En la siguiente nota definiremos el orden en los números naturales y veremos distintos ejemplos donde aplicaremos el principio de inducción matemática para hacer demostraciones.

Enlaces relacionados

Página principal del curso.

Nota anterior. Nota 15. Relaciones de equivalencia y particiones.

Nota siguiente. Nota 17. El orden en los números naturales.

Introducción.

En esta entrada trataremos con un tipo particular de conjuntos ordenados, en donde será de mucha importancia el concepto de mínimo. Puedes recordar la definición de mínimo en la entrada Teoría de los Conjuntos I: Mínimos, máximos, minimales y maximales.

Conjuntos bien ordenados

Definición. Sea $(A,\leq)$ un conjunto parcialmente ordenado. Decimos que $A$ es un conjunto bien ordenado si cada subconjunto no vacío de $A$ tiene elemento mínimo. En este caso al orden $\leq$ se le llama buen orden.

Ejemplo.

Consideremos el conjunto $A=\set{\emptyset,\set{\emptyset}}$ ordenado con la inclusión. Afirmamos que $(A,\subseteq)$ es un buen orden. En efecto: supongamos que $B\subseteq A$ es un conjunto no vacío. Tenemos distintas posibilidades para $B$ y son las siguientes: $B=\set{\emptyset}$ o bien $B=\set{\set{\emptyset}}$ o bien $B=\set{\emptyset,\set{\emptyset}}$.

Si $B=\set{\emptyset}$, entonces $B$ tiene mínimo y es $\emptyset$. Si $B=\set{\set{\emptyset}}$, entonces $B$ tiene mínimo y es $\set{\emptyset}$. Finalmente, si $B=\set{\emptyset,\set{\emptyset}}$, entones $B$ tiene mínimo y es $\emptyset$, pues $\emptyset\subseteq\emptyset$ y $\emptyset\subseteq\set{\emptyset}$.

Así, en cualquier caso $B$ tiene mínimo. Por lo tanto, $(A,\subseteq)$ es un conjunto bien ordenado.

$\square$

Agrandar un conjunto bien ordenado

El siguiente ejemplo nos dice cómo podríamos conseguir conjuntos bien ordenados paso a paso.

Ejemplo.

Consideremos $A=\set{\emptyset,\set{\emptyset,\set{\emptyset}}}$. Luego, $A$ es un conjunto bien ordenado por la relación de contención. Dado que $A\notin A$, el conjunto $W=A\cup\set{A}$ es un conjunto no vacío distinto de $A$. Definamos la relación de orden $\preceq$ en $W$ como sigue: $A\preceq A$, $a\preceq A$ para todo $a\in A$ y $a_1\preceq a_2$ si y sólo si $a_1\leq a_2$ para cualesquiera $a_1,a_2\in A$ (en este caso $\leq$ es la relación de contención en $A$).

Notemos que esta nueva relación de orden definida en $W$ coincide con la relación de orden de $A$ si nos restringimos únicamente a comparar elementos de $A$.

Afirmamos que $(W,\preceq)$ es un conjunto bien ordenado. Para mostrarlo supongamos que $B\subseteq W=A\cup\set{A}$ es un conjunto no vacío y veamos que tiene mínimo en el orden $\preceq$. Si $B=\set{A}$, entonces el mínimo de $B$ es $A$.

Podemos suponer ahora que $B\cap A\not=\emptyset$. Como $B\cap A\subseteq A$ es un conjunto no vacío, entonces tiene un elemento mínimo en el orden $\leq$. Sea $b\in B\cap A$ el mínimo de este conjunto en el orden $\leq$ y veamos que $b\preceq x$ para cualquier $x\in B$. Supongamos entonces que $x\in B$ es cualquier elemento. Si $x\in B\cap A$, entonces $b\leq x$ y en consecuencia, $b\preceq x$. Si ahora $x\notin B\cap A$ se sigue que $x=A$ y, por definición de la relación $\preceq$, sabemos que $b\preceq A$, por lo que $b\preceq x$. De esta manera, $b=\min(B)$ en el orden $\preceq$.

Esto demuestra que cualquier subconjunto no vacío de $W$ tiene mínimo y, por tanto, $(W,\preceq)$ es un conjunto bien ordenado.

$\square$

Si tenemos un conjunto $A$ cualquiera, ¿será posible siempre darle un buen orden? Uno podría intentar hacer algo similar al ejemplo anterior. Comenzar con un elemento $a\in A$ e incluir a la pareja $(a,a)$ en el orden. Luego, tomar otro elemento distinto $b\in A$ y ponerlo como el elemento más grande poniendo las parejas $(a,b)$ y $(b,b)$. Y luego se podría poner un tercer elemento $c$ como el más grande, poniendo las parejas $(a,c)$, $(b,c)$, $(c,c)$. Podríamos intentar decir que se puede seguir «así sucesivamente», pero esto es informal y no está justificado por los axiomas. Aparentemente, tenemos que elegir elementos de $A$ una y otra vez para declararlos el nuevo máximo. Si $A$ es infinito, esto implica algo así como hacer una infinidad de elecciones. ¿Esto te recuerda a otros problemas que hemos enfrentado? ¡Sí! Una vez más nos encontramos con una dificultad que se superará una vez que hablemos del axioma de elección.

Bien ordenado implica totalmente ordenado

Ahora, veamos una consecuencia directa de que un conjunto sea bien ordenado.

Proposición. Si $(A,\leq)$ es un conjunto bien ordenado, entonces, $(A,\leq)$ es un conjunto totalmente ordenado.

Demostración.

Como $(A,\leq)$ es un conjunto bien ordenado, entonces, todo subconjunto no vacío de $A$ tiene elemento mínimo. Así, si tomamos dos elementos cualesquiera $a_1,a_2\in A$ se sigue que $\set{a_1,a_2}$ es un subconjunto no vacío de $A$, por lo que tiene elemento mínimo. En consecuencia, $a_1\leq a_2$ o $a_2\leq a_1$.

Esto demuestra que cualesquiera dos elementos de $A$ son $\leq-$comparables, por lo que $(A,\leq)$ es un conjunto totalmente ordenado.

$\square$

Otros cuántos resultados de buenos órdenes

Veamos ahora algunos resultados relacionados con conjuntos acotados en un conjunto bien ordenado.

Proposición. Sea $(A,\leq)$ un conjunto bien ordenado. Se cumple lo siguiente:
Si $B\subseteq A$ es un conjunto acotado superiormente, entonces, $B$ tiene supremo.

Demostración.

Sea $(A,\leq)$ un conjunto bien ordenado.
Supongamos que $B\subseteq A$ es un conjunto acotado superiormente. Sea $C=\set{a\in A:(\forall b\in B)(b\leq a)}$, el cual es un subconjunto no vacío de $A$, pues por hipótesis $B$ está acotado superiormente, es decir, existe $a\in C$.

Como $A$ está bien ordenado por $\leq$, entonces, existe el mínimo de $C$ en el orden $\leq$, es decir, existe $c\in A$ tal que $c=\min(C)$. Luego, como $c$ es el mínimo del conjunto de cotas superiores de $B$, concluimos por lo que vimos en la entrada anterior que $c=\sup(B)$.

Esto demuestra que todo subconjunto de $A$ que esté acotado superiormente tiene supremo, lo cual concluye la prueba.

Por la proposición anterior y el hecho de que todo subconjunto no vacío de un conjunto bien ordenado tiene mínimo, podemos concluir lo siguiente:

Si $(A,\leq)$ es un conjunto bien ordenado y $B\subseteq A$ es no vacío y acotado superiormente (inferiormente), entonces, $B$ tiene una mínima cota superior (máxima cota inferior).

$\square$

Tarea moral

La siguiente lista de ejercicios te ayudará a reforzar lo aprendido en esta sección:

1. Sean $(A, \leq_A)$ y $(B, \leq_B)$ conjuntos bien ordenados. Demuestra que el orden lexicográfico horizontal en $A\times B$ es un buen orden.
2. Sea $(A,\leq)$ un conjunto bien ordenado. Muestra que cualquier subconjunto no vacío $B$ tiene ínfimo.
3. Demuestra que si $A$ admite un buen orden, entonces $\mathcal{P}(A)$ admite un orden total.

Más adelante…

En la siguiente entrada comenzaremos una nueva unidad: Números naturales. Aquí comenzaremos la construcción de los números naturales.

Entradas relacionadas

• Entrada relacionada: Álgebra Superior II: El principio del buen orden
• Ir a Teoría de los Conjuntos I
• Entrada anterior: Teoría de los Conjuntos I: Cotas superiores y supremos
• Siguiente entrada: Teoría de los Conjuntos I: Construcción de los números naturales

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»