Número natural

Los números naturales pueden usarse para contar (una manzana, dos manzanas, tres manzanas, …).

Un número natural es cualquiera de los números 0, 1, 2, 3..., que se usan para contar los elementos de un conjunto finito (el cero es el número de elementos del conjunto vacío). Reciben ese nombre porque fueron los primeros que utilizó el ser humano para contar objetos.

Algunos matemáticos (especialmente los de Teoría de Números) prefieren no reconocer el cero (0) como un número natural; otros, especialmente los de Teoría de conjuntos, Lógica e Informática, sostienen la postura opuesta.

Definiciones

• La Real Academia Española los define como "Cada uno de los elementos de la sucesión 0, 1, 2, 3..." ​
• Es el conjunto de los números enteros no negativos.
• Un número es un símbolo que indica una cantidad; que según los históricos comienzan en el Antiguo Egipto y Mesopotamia.

El conjunto de los números naturales se representa por $\scriptstyle \mathbb {N}$ y corresponde al siguiente conjunto numérico:

$\mathbb {N} =\{0,1,2,3,4,5,6,7,\dots \}$

Los números naturales son un conjunto cerrado para las operaciones de la adición y la multiplicación, ya que al operar con cualquiera de sus elementos, resulta siempre un número perteneciente a $\scriptstyle \mathbb {N}$.

Historia

Antes de que surgieran los números para la representación de cantidades, el ser humano usó otros métodos para contar, utilizando para ello objetos como piedras, palitos de madera, nudos de cuerdas, o simplemente los dedos. 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. Pero fue en Mesopotamia alrededor del año 4.000 a. C. donde aparecen los primeros vestigios de los números que consistieron en grabados de señales en formas 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 siglo XIX. 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 números naturales, dentro de su teoría de conjuntos y principalmente mediante el uso del axioma de infinitud que, con una modificación de este hecha por Adolf Fraenkel, permite construir el conjunto de números naturales como ordinales según von Neumann.

Postulados de Peano

Los Postulados de Peano describen la estructura Números Naturales sin necesitad de otra teoría alguna (por ejemplo Teoría de Conjuntos) y ajena de las definiciones aritméticas de suma o equivalencia, de la siguiente forma:

• 0 es un símbolo que cumple la propiedad de ser un Número Natural. (Nótese que 0 no tiene que significar nada en lo absoluto, bien puede ser una manzana, el conjunto vacío, el uno en los reales o cualquier otra cosa)
• Si $\alpha$ es un Número Natural, entonces el símbolo $\sigma (\alpha )$ representa a un Número Natural distinto de $\alpha$, cuyo significado será: aquél Número Natural que sucede al Número Natural $\alpha$. (Nótese en este postulado que el significado del símbolo, otra vez, es independiente de la notación, este postulado nos permite construir nuevos Números Naturales, encerrándolos entre el los símbolos $\sigma ($ y $)$)
• el símbolo 0 no tiene la forma $\sigma (\alpha )$ para $\alpha$ un Número Natural, por lo tanto, no existe un Número Natural $\alpha$ tal que el símbolo 0 represente al mismo objeto que $\sigma (\alpha )$ (A este postulado se le conoce con el nombre de Principio del Buen Orden, pues garantiza un elemento inicial)
• Si $\alpha$ y $\beta$ son Número Naturales distintos, entonces los Números Naturales $\sigma (\alpha )$ y $\sigma (\beta )$ también son distintos. (En Teoría de Conjuntos este postulado se leería como: $\sigma$ es una función inyectiva)
• Si $S$ es una colección o grupo tal que:
  1. 0 forma parte de $S$ y,
  2. para cada $\alpha$ elemento de $S$, $\alpha$ es un Número Natural y además, el Número Natural $\sigma (\alpha )$ forma parte de $S$,

entonces $S$ representa a la colección o grupo de todos los Números Naturales.

A este último postulado se le conoce también con el nombre de inducción matemática. Se viene utilizando de modo más o menos informal desde la antigüedad (Euclides, Al-Karaji) y fue definida con más precisión por Francesco Maurolico, Jakob Bernoulli, Pascal y Fermat. Peano incorporó la inducción como un axioma de su sistema, como único medio para poder demostrar propiedades, incluso muy básicas, de los números naturales. Sin embargo, el principio de inducción matemática es más complejo que el resto de los axiomas. En términos de lógica, es el único clasificable como lógica de segundo orden, en tanto que los demás axiomas son de lógica de primer orden. Se han propuesto sistemas axiomáticos más débiles, que prescinden del principio de inducción (aritmética de Robinson).

Operaciones con los números naturales

Las operaciones matemáticas son acciones de relación que permiten a los seres humanas acordar procesos culturales de lectura simbólica, que se pueden realizar con un determinado conjunto numérico. los conjuntos númericos son espacios en los cuales las operaciones pueden hacerse con elementos de dichos conjuntos y dar como resultado de la acción elementos que pueden estar dentro o fuera de ellos, Si la operación su resultado siempre da elementos del conjunto numérico se dice que el espacio es cerrado para dicha operación, si el resultado algunas veces da elementos del conjunto y otras veces no, se dice que el espacio es abierto para dicha operación.

De allí que se puede decir que las operaciones en los números naturales son: la adición cuyo resultado es la suma (operación cerrada, constructora de linealidad), la sustracción cuyo resultado es diferencia o resta (operación abierta deconstructora de la linealidad), la multiplicación cuyo resultado recibe el nombre de producto (operación cerrada, constructora de ortogonalidad (ángulo recto)), la división cuyo resultado es el cociente (operación abierta de doble naturaleza deconstructora de la ortogonalidad (desarma al ángulo recto), o como razón de cambio), la potenciación cuyo resultado es potencia (operación cerrada, constructora de objetos geométricos "perfectos"), radicación cuyo resultado es raiz (operación abierta, deconstructora de objetos geométricamente perfectos) y la logaritmación (operación abierta, de posibles propiedades dimensionales de los objetos geometricos).

Es así como las operaciones quedan establecidas para su reconocimiento geométrico como constructoras, deconstructoras y de propiedades dimensionales de los objetos geométricos. es así como se puede decir que:

La sustracción es la operación inversa a la adición de la misma manera que la división es la inversa de la multiplicaciones, es decir,

si a+b = c, entonces b = c - a; se observa como la adición o suma construye segmentos de rectas y la sustracción o resta deconstruye el segmento de recta.

No siempre se puede realizar una resta entre números naturales, debido a que no siempre se cumple que el número al que se le resta el otro, es mayor.

Se puede realizar, 20 - 5 = 15; siendo 20 el minuendo y 5 el sustraendo; pero no 5-20; la razón es que el resultado, -15, no está dentro del conjunto de los números naturales.

Tanto la suma como la multiplicación tienen dos características, son operaciones conmutativas y asociativas, es decir,

Conmutativa: El orden de los números no altera el resultado, a+b = b+a y a×b = b×a

Asociativa: Para sumar dos o más sumandos hace falta agruparlos de dos en dos, de cualquier forma, ya que no altera el resultado, (a+b)+c=a+(b+c).

ejemplo. 2+(8+3) =(2+8)+3 =13 2 +11 = 10 +3 =13

Definición en teoría de conjuntos

En 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 $x$ se dice que es un número natural si cumple

1. Para cada $y\in x$, $y\subseteq x$
2. La relación $\in _{x}=\left\{\left(a,b\right)\in x\times x\mid a\in b\right\}$ es un orden total estricto en $x$
3. Todo subconjunto no vacío de $x$ tiene elementos mínimo y máximo en el orden $\in _{x}$

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 0, lo cual es fácil ya que sabemos que $\emptyset$ no contiene elementos. Luego se definen los siguientes elementos de una manera ingeniosa con el uso del concepto de sucesor.

Se define entonces que el conjunto vacío es un número natural que se denota por $0$ y que cada número natural $n$ tiene un sucesor denotado como $n^{+}$. Estas ideas quedan formalizadas mediante las siguientes expresiones:

$0=\emptyset$

$n^{+}=n\cup \{n\}$

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 $0=\{\}$ (lo cual refuerza el hecho de que 0 no tiene antecesores)
• 1 es el sucesor de 0, entonces $1=0^{+}=\emptyset \cup \{0\}=\{0\}$
• 2 es el sucesor de 1, pero 1 es {0}, entonces $2=1^{+}=\{0\}\cup \{1\}=\{0,1\}$
• y en general

$3=\{0,1,2\}\,$

$4=\{0,1,2,3\}\,$

$5=\{0,1,2,3,4\}\,$

$\vdots$

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

$a\leq b\iff a\subseteq b$

es decir que un número $a$ es menor o igual que $b$ si y sólo si $b$ contiene a todos los elementos de $a$.

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í $a<b\,$ si y sólo si $a\in b$.

Ésa 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 $A$ es un conjunto inductivo, entonces $\mathbb {N} \subseteq A$. Esto significa que, en efecto, $\mathbb {N}$ es el mínimo conjunto inductivo.

Se define la suma por inducción mediante:

$a+0=a\,$

$a+b^{+}=(a+b)^{+}\,$

Lo que convierte a los números naturales $(\mathbb {N} ,+)$ 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

$a\times 0=0$

$a\times b^{+}=(a\times b)+a$

Esto convierte $(\mathbb {N} ,\times )$ (esto es, ℕ con esta nueva operación), en un monoide conmutativo.

Propiedades de los números naturales

La suma y multiplicación son compatibles gracias a la propiedad distributiva que se expresa

$a\times (b+c)=(a\times b)+(a\times c)$

Los números naturales están totalmente ordenados; La relación de orden $a\leq b$ se puede redefinir como $a\leq b$ si y sólo si existe otro número natural $c$ que cumple: $a+c=b$. Este orden es compatible con todas las operaciones aritméticas de esta manera:

si $a$, $b$ y $c$ son números naturales y $a\leq b$, entonces

$a+c\leq b+c$ y

$a\times c\leq b\times c$

Una propiedad importante del conjunto de los números naturales es que es un conjunto bien ordenado: esto es, cualquier conjunto compuesto de números naturales tiene un elemento mínimo (uno más pequeño que los demás).

En los números naturales existe el algoritmo de la división. Para cualesquiera dos números naturales a y b, con b≠ 0 , podemos encontrar otros naturales q y r tales que

$a=(b\times q)+r$    y    $r<b$.

El número q lo llamamos el cociente y r el resto. Los números q y r están unívocamente determinados por a y b.

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.

Una propiedad interesante es que cualquier conjunto $A$ es un conjunto isomorfo a $\mathbb {N}$ si es no vacío, totalmente ordenado por $\leq$ y cumple:

1. Para cualquier $a\in A$ existe $b\in A$ de manera que $a<b$
2. Cualquier subconjunto $B\neq \emptyset$ de $A$ tiene un elemento máximo

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 ordinal, y para especificar el tamaño de un conjunto finito, que a su vez se generaliza en el concepto de [cardinal]. En el mundo de lo finito, estos dos conceptos son coincidentes: los ordinales finitos son iguales a N así como los cardinales finitos. Cuando nos movemos más allá de lo finito, ambos conceptos son diferentes.

Referencias

Notas

[[Título del enlace]]=== Bibliografía ===

• Hernández Hernández, Fernando (1998). Teoría de conjuntos. México D.F.: Sociedad Matemática Mexicana. ISBN 970-32-1392-8. 

los de claro son todos una porqeria y tarados estupidos hijo de p... --190.138.33.249 (discusión) 21:19 29 jul 2009 (UTC)yo

Véase también

• Número
• Número entero
• Número racional
• Número real
• Número complejo