Número natural

En matemáticas, un número natural es cualquiera de los números que se usan para contar los elementos de ciertos conjuntos. Los números naturales se representan con la ℕ = {1, 2, 3, 4, …}. De dos números vecinos, el que se encuentra a la derecha se llama siguiente o sucesivo, por lo que el conjunto de los números naturales es ordenado e infinito.

El conjunto de todos los números naturales iguales o menores que cierto número natural $k$, es decir, el conjunto $\{1,2,\dots ,k-1,k\}$, se llama segmento de una sucesión natural y se denota $|1,k|$ o bien $[k]$.

Convenios de notación

Puesto que los números naturales se utilizan para contar elementos —6 niños en fila—, o numerarlos —el niño 6 de la fila—, el cero no es un número natural. Sin embargo, se hizo necesario considerar el número que corresponde a la ausencia de los mismos. Así, dependiendo del área de la ciencia, el conjunto de los números naturales puede presentarse entonces de dos maneras distintas: Plantilla:Definición

Históricamente, el uso del cero como numeral fue introducido en Europa en el Plantilla:Siglo. Esto no quiere decir que antes no se utilizara el número cero como numeral, ya que con la invención del sistema de numeración Hindi, se incluyó el número cero como numeral, que también se usaba en la numeración maya. Con el tiempo, el sistema de numeración Hindi también fue usado por los árabes; de este hecho viene que pasara de llamarse sistema de numeración Hindi a denominarse sistema de numeración arábigo-índico. Con la conquista musulmana de la península ibérica en el sigloPlantilla:EsdXII, el sistema de numeración arábigo-índico empezó a usarse en Europa y pasó a llamarse sistema de numeración arábigo-índico occidental o sistema de numeración decimal, el cual incluye el cero como numeral, pero aun así no se consideraba a este como un número natural.

Sin embargo, con el desarrollo de la teoría de conjuntos en el Plantilla:Siglo, el cero se incluyó en las definiciones conjuntistas de los números naturales. Esta convención prevalece en dicha disciplina, y en otras, como la teoría de la computación. En particular, el estándar DIN 5473 adopta esta definición. Sin embargo, en la actualidad ambos convenios conviven.

Para distinguir ambas definiciones a veces se introducen símbolos distintos. Por ejemplo, si no se incluye el cero en los naturales, al conjunto de los números naturales sin el cero se les llama conjunto de los enteros positivos y se lo denota como ${\mathbb{N}}_1$, ${\mathbb{N}}^{+}$, o ${\mathbb{N}}^{*}$.

Por el contrario, cuando el 0 se considera un número natural (cosa que es conveniente, por ejemplo, en divisibilidad y teoría de números), al conjunto de los naturales con el cero se lo llama conjunto de los números cardinales y se lo denota ${\mathbb{N}}_0$.

Historia

El hueso de Ishango (actualmente exhibido en el Real Instituto Belga de Ciencias Naturales se cree que fue usado hace más de 20Plantilla:Esd000 años para aritmética natural.

Antes de que surgieran los números naturales para la representación de cantidades, las personas usaban otros métodos para contar, utilizando para ello objetos como piedras, palitos de madera, nudos de cuerdas, o simplemente los dedos (ver sistema de numeración unario). Más adelante comenzaron a aparecer los símbolos gráficos como señales para contar, por ejemplo marcas en una vara o simplemente trazos específicos sobre la arena (véase hueso de Ishango). Pero fue en Mesopotamia alrededor del año 4000Plantilla:Esda.Plantilla:EsdC. donde aparecen los primeros vestigios de los números que consistieron en grabados de señales en forma de cuñas sobre pequeños tableros de arcilla empleando para ello un palito aguzado. De aquí el nombre de escritura cuneiforme. Este sistema de numeración fue adoptado más tarde, aunque con símbolos gráficos diferentes, en la Grecia Antigua y en la Antigua Roma. En la Grecia antigua se empleaban simplemente las letras de su alfabeto, mientras que en la antigua Roma, además de las letras, se utilizaron algunos símbolos.

Quien colocó al conjunto de los números naturales sobre lo que comenzaba a ser una base sólida, fue Richard Dedekind en el Plantilla:Siglo. Este los derivó de una serie de postulados (lo que implicaba que la existencia del conjunto de números naturales se daba por cierta), que después precisó Peano dentro de una lógica de segundo orden, resultando así los famosos cinco postulados que llevan su nombre. Frege fue superior a ambos, demostrando la existencia del sistema de números naturales partiendo de principios más fuertes. Lamentablemente, la teoría de Frege perdió, por así decirlo, su credibilidad, y hubo que buscar un nuevo método. Fue Zermelo quien demostró la existencia del conjunto de los naturales, dentro de su teoría de conjuntos y principalmente mediante el uso del axioma de infinitud, con una modificación de este hecha por Adolf Fraenkel, permite construir el conjunto de números naturales como ordinales según von Neumann.

Algunas características de los números naturales son:

1. Todo número mayor que 1 (o mayor que 0 en caso de considerar el 0 como natural) va después de otro número natural.
2. Entre dos números naturales siempre hay un número finito de naturales (interpretación de conjunto no denso).
3. Dado un número natural cualquiera, siempre existe otro natural mayor que este (interpretación de conjunto infinito).
4. Entre el número natural $a$ y su sucesor $a+1$ no existe ningún número natural.

Construcciones axiomáticas

Históricamente, se han realizado propuestas para axiomatizar la noción habitual de números naturales, de entre las que destacan las de Peano y la construcción a partir de la teoría de conjuntos.

Axiomas de Peano

• Si n es un número natural, entonces el sucesor de n también es un número natural.
• El 1 no es el sucesor de ningún número natural.
• Si hay dos números naturales n y m con el mismo sucesor, entonces n y m son el mismo número natural.

Versión de Bush-Obreanu

El sistema de Peano ha sido simplificado.

Definición en teoría de conjuntos

Con teoría de conjuntos se define al conjunto de los números naturales como el mínimo conjunto que es inductivo. La idea es que se pueda contar haciendo una biyección desde un número natural hasta el conjunto de objetos que se quiere contar. Es decir, para dar la definición de número 2, se requiere dar un ejemplo de un conjunto que contenga precisamente dos elementos. Esta definición fue proporcionada por Bertrand Russell, y más tarde simplificada por Von Neumann quien propuso que el candidato para 2 fuera el conjunto que contiene solo a 1 y a 0.

Formalmente, un conjunto Plantilla:Math se dice que es un número natural si cumple:

1. Para cada Plantilla:Math, Plantilla:Math
2. La relación Plantilla:Math} es un orden total estricto en Plantilla:Math
3. Todo subconjunto no vacío de Plantilla:Math tiene elementos mínimo y máximo en el orden Plantilla:Math

Se intenta pues, definir un conjunto de números naturales donde cada elemento respete las convenciones anteriores. Primero se busca un conjunto que sea el representante del Plantilla:Math, lo cual es fácil, ya que sabemos que Plantilla:Math no contiene elementos. Luego se definen los siguientes elementos de una manera ingeniosa con el uso del concepto de sucesor.

Se define —según Halmos— entonces que el conjunto vacío es un número natural que se denota por Plantilla:Math y que cada número natural Plantilla:Math tiene un sucesor denotado como Plantilla:Math. Estas ideas quedan formalizadas mediante las siguientes expresiones:

Plantilla:Math

Plantilla:Math}

De esta manera, cada elemento de algún número natural es un número natural; a saber, un antecesor de él. Por ejemplo:

• Por definición Plantilla:Math (lo cual refuerza el hecho de que Plantilla:Math no tiene antecesores)
• 1 es el sucesor de 0, entonces Plantilla:Math
• 2 es el sucesor de 1, pero 1 es {0}, entonces Plantilla:Math.
• y en general

Plantilla:Math

Plantilla:Math

Plantilla:Math

⋮

Esto permite establecer una relación de orden entre los elementos del conjunto a pesar de que un conjunto es por naturaleza un agregado de elementos desordenados. Se define esta relación mediante la expresión:

Plantilla:Math

es decir que un número Plantilla:Math es menor o igual que Plantilla:Math si y solo si Plantilla:Math contiene a todos los elementos de Plantilla:Math.

También se puede usar otra definición más inmediata a partir del hecho de que cada número natural consta de sus antecesores. Así Plantilla:Math si y solo si Plantilla:Math.

Esa es la construcción formal de los naturales que garantiza su existencia como conjunto a la luz del desarrollo axiomático Zermelo-Fraenkel. El postulado de los conjuntos infinitos asegura la validez de la técnica de demostración conocida como inducción matemática.

Un teorema demuestra que cualquier conjunto que sea inductivo contiene a todos los números naturales, es decir que si Plantilla:Math es un conjunto inductivo, entonces Plantilla:Math. Esto significa que, en efecto, Plantilla:Math es el mínimo conjunto inductivo.

Se define la suma por inducción mediante:

Plantilla:Math

Plantilla:Math

Lo que convierte a los números naturales Plantilla:Math en un monoide conmutativo con elemento neutro 0, el llamado Monoide Libre con un generador. Este monoide satisface la propiedad cancelativa y por lo tanto puede incluirse en un grupo matemático. El menor grupo que contiene a los naturales es el de los números enteros.

De manera análoga, la multiplicación × se define mediante las expresiones:

Plantilla:Math

Plantilla:Math

Esto convierte Plantilla:Math (esto es, ℕ con esta nueva operación), en un monoide conmutativo.

Otra forma de construcción de Plantilla:Unicode es la siguiente: Sea ℱ la clase de todos los conjuntos y definiremos una relación binaria Plantilla:Math "ser equipotente" de la siguiente manera: Dados Plantilla:Math y Plantilla:Math se dice que A R B ↔ Existe una aplicación biyectiva de Plantilla:Math sobre Plantilla:Math, es decir, existe Plantilla:Math biyectiva. Claramente se puede demostrar que esta relación verifica las propiedades reflexiva, simétrica y transitiva luego es una relación de equivalencia al conjunto cociente Plantilla:Math} los llamaremos cardinales y a los cardinales finitos se les llamará números naturales.Las operaciones de suma y producto de cardinales se definen como el cardinal de la unión y el producto cartesiano de los conjuntos representantes y verifica todas las propiedades para que Plantilla:Math sea un semianillo conmutativo y unitario.

Operaciones con los números naturales

Las operaciones matemáticas que se definen en el conjunto de los números naturales son la suma y la multiplicación.

La suma y la multiplicación de números naturales son operaciones conmutativas y asociativas, es decir:

• El orden de los números no altera el resultado (propiedad conmutativa), Plantilla:Math, y Plantilla:Math.

• Para sumar —o multiplicar— tres o más números naturales, no hace falta agrupar los números de una manera específica ya que Plantilla:Math (propiedad asociativa). Esto es lo que da sentido a expresiones como Plantilla:Math.

Al construir la operación de multiplicación de números naturales, se puede observar claramente que la adición o suma y la multiplicación son operaciones compatibles, pues la multiplicación sería una adición de cantidades iguales y gracias a esta compatibilidad se puede desarrollar la propiedad distributiva, que se expresa de la forma:

Plantilla:Math

Aparte, estas dos operaciones cumplen con las propiedades de:

• Clausura de ambas operaciones para todos los números naturales Plantilla:Math y Plantilla:Math, ya que Plantilla:Math y Plantilla:Math son siempre números naturales.
• Existencia de elementos neutros para ambas operaciones, es decir, para cada número Plantilla:Math, Plantilla:Math y Plantilla:Math.
• No existencia de divisores de cero para la operación de multiplicación: si Plantilla:Math y Plantilla:Math son números naturales tales que Plantilla:Math, entonces Plantilla:Math o Plantilla:Math.

Propiedades de los números naturales

Los números naturales están totalmente ordenados. La relación de orden Plantilla:Math se puede redefinir así: Plantilla:Math si y solo si existe otro número natural Plantilla:Math que cumple Plantilla:Math. Este orden es compatible con todas las operaciones aritméticas puesto que si Plantilla:Math, Plantilla:Math y Plantilla:Math son números naturales y Plantilla:Math, entonces se cumple:

Plantilla:Math

Plantilla:Math

Una propiedad importante del conjunto de los números naturales es que es un conjunto bien ordenado

1. Para cualquier elemento Plantilla:Math de Plantilla:Math existe Plantilla:Math en Plantilla:Math tal que Plantilla:Math

En los números naturales existe el algoritmo de la división. Dados dos números naturales Plantilla:Math y Plantilla:Math, si Plantilla:Math, podemos encontrar otros dos números naturales Plantilla:Math y Plantilla:Math, denominados cociente y resto respectivamente, tales que:

Plantilla:Math

Plantilla:Math

Los números Plantilla:Math y Plantilla:Math están unívocamente determinados por Plantilla:Math y Plantilla:Math.

Otras propiedades más complejas de los números naturales, como la distribución de los números primos por ejemplo, son estudiadas por la teoría de números.

Relación de orden

La relación sucesor le da una estructura de orden.

Conceptos globales y de estructura

• Algebraicamente, el conjunto Plantilla:Math} es un semigrupo aditivo con elemento neutro (el Plantilla:Math) y semigrupo multiplicativo con elemento neutro (el Plantilla:Math).
• Topológicamente, Plantilla:Unicode tiene la topología cofinita.
• El cardinal de Plantilla:Unicode es menor que el cardinal de Plantilla:Unicode.

Uso de los números naturales

Los números naturales, son usados para dos propósitos fundamentalmente: para describir la posición de un elemento en una secuencia ordenada, como se generaliza con el concepto de número ordinal, y para especificar el tamaño de un conjunto infinito, que a su vez se generaliza en el concepto de número cardinal. En el mundo de lo finito, ambos conceptos son coincidentes: los ordinales infinitos son iguales a Plantilla:Math así como los cardinales infinitos. Cuando nos movemos más allá de lo infinito, ambos conceptos son diferentes.

• Otro uso de gran importancia, desde el punto de vista matemático, es en la construcción de los números enteros, para lo cual en Plantilla:Math se establece una relación de equivalencia, para dos pares ordenados de Plantilla:Math:

Plantilla:Math.

Sustracción o resta con números naturales

Asúmase que Plantilla:Math} y sea Plantilla:Math}, sea Plantilla:Math una aplicación de Plantilla:Math en Plantilla:Math, tal que Plantilla:Math, donde Plantilla:Math están en Plantilla:Math y Plantilla:Math está en Plantilla:Math. A la aplicación Plantilla:Math de Plantilla:Math sobre Plantilla:Math se llama sustracción o resta en Plantilla:Math. La diferencia Plantilla:Math, solo es posible en el caso de que Plantilla:Math.

Proposiciones

• Si Plantilla:Math, entonces Plantilla:Math
• Si Plantilla:Math, entonces Plantilla:Math
• Para cualquier Plantilla:Math, Plantilla:Math;
• como Plantilla:Math, Plantilla:Math hace el papel de elemento neutro por la derecha.
• La resta no es conmutativa ni asociativa.
• Si se da Plantilla:Math, existe una infinidad de números naturales Plantilla:Math y Plantilla:Math tal que Plantilla:Math; de modo tal que en Plantilla:Math la relación Plantilla:Math define una relación de equivalencia, punto de partida para la construcción del [[Número entero|Plantilla:Math]] de los números enteros.

Observación

1. Una operación en Plantilla:Math definen algunos matemáticos como una aplicación de Plantilla:Math en Plantilla:Math. Si se acepta esto, la sustracción no es una operación en el conjunto de los naturales.
2. Si se define una aplicación en Plantilla:Math, parte propia de Plantilla:Math, en Plantilla:Math tal aplicación se llama operación parcialmente definida en Plantilla:Math. Admitido lo anterior, la sustracción es una operación parcialmente definida en los números naturales.

Topologización de N

En el conjunto Plantilla:Math de los naturales cabe la topología discreta y la cofinita, también alguna topología de orden.

Principio de permanencia

Es un teorema vinculado al sistema de los números naturales y sus ampliaciones aplicativas. Esta proposición expresa que las propiedades de cálculo usuales para los números naturales, también son legítimas para los números estructurados mediante operaciones inversas. Como ejemplo: según el principio de permanencia, las propiedades de la potenciación siguen válidas aun en el caso de números con exponentes fraccionarios.

• (ab)⁵ = a⁵b⁵ ⇒ (ab)^2/3 = a^2/3 b^2/3 entre otras leyes de la potenciación.

Véase también

• Número entero
• Número primo
• Número primo pitagórico
• Número par
• Número impar
• Número triangular
• Número perfecto
• Número abundante
• Número defectivo
• Número capicúa
• Sucesión matemática

Clasificación de los números Complejos $:ℂ$ Reales $:ℝ$ Racionales $:\mathbb{Q}$ Enteros $:\mathbb{Z}$ Naturales $:\mathbb{N}$ Cero: 0 Enteros negativos Fraccionarios Irracionales Imaginarios

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro