Imprimir este CapítuloImprimir este Capítulo

Libro Números Naturales

2. Construcción de los Números Naturales a partir de Conjuntos (Complemento optativo)

Introducción a la construcción formal

Los números naturales (\(\mathbb{N}\)) son el conjunto básico sobre el cual se construyen otros sistemas numéricos. En teoría de conjuntos, los números naturales pueden construirse formalmente a partir del conjunto vacío (\(\emptyset\)), usando reglas lógicas y axiomas.

Definición matemática: construcción de Von Neumann

Una forma formal de construir los números naturales es mediante la siguiente definición inductiva:

  1. El cero: se define el número \(0\) como el conjunto vacío.
    \[ 0=\emptyset \]
  2. El sucesor: el sucesor de un número natural \(n\), denotado por \(S(n)\), se define como la unión de \(n\) con el conjunto que contiene a \(n\).
    \[ S(n)=n\cup\{n\} \]

Construcción de los primeros números

Aplicando la definición del sucesor, se pueden construir los primeros números naturales:

  • \(0=\emptyset\)
  • \(1=S(0)=0\cup\{0\}=\emptyset\cup\{\emptyset\}=\{\emptyset\}\)
  • \(2=S(1)=1\cup\{1\}=\{\emptyset\}\cup\{\{\emptyset\}\}=\{\emptyset,\{\emptyset\}\}\)
  • \(3=S(2)=2\cup\{2\}=\{\emptyset,\{\emptyset\}\}\cup\{\{\emptyset,\{\emptyset\}\}\}=\{\emptyset,\{\emptyset\},\{\emptyset,\{\emptyset\}\}\}\)

Y así sucesivamente. Cada número natural queda representado como el conjunto formado por todos los números naturales que lo preceden.

Entonces, desde esta mirada formal, los números naturales pueden construirse a partir de la idea de conjunto y del conjunto vacío.

Propiedades y Axiomas

Propiedades derivadas

A partir de esta construcción, se obtienen propiedades importantes:

  • Orden: un número natural \(a\) es menor que un número natural \(b\), es decir, \(a<b\), si y solo si \(a\in b\).
  • Estructura de conjuntos: cada número natural es un conjunto formado por los números naturales anteriores.

Axiomas de Peano

Esta construcción satisface los axiomas de Peano, que formalizan propiedades fundamentales de los números naturales:

  1. El \(0\) es un número natural.
  2. Si \(n\) es un número natural, entonces su sucesor \(S(n)\) también es un número natural.
  3. El \(0\) no es el sucesor de ningún número natural.
  4. Si dos números naturales tienen el mismo sucesor, entonces son el mismo número: si \(S(a)=S(b)\), entonces \(a=b\).
  5. Principio de inducción matemática: si una propiedad es verdadera para \(0\), y además al ser verdadera para un número \(n\) también lo es para su sucesor \(S(n)\), entonces la propiedad es verdadera para todos los números naturales.

Conclusión

Fundamento de las matemáticas

Esta construcción de los números naturales mediante conjuntos y el conjunto vacío es una base importante de la matemática moderna. A partir de estas ideas, es posible construir con mayor rigor otros sistemas numéricos, como los números enteros, racionales, reales y complejos.