Nmero natural

En matemticas, un nmero natural es cualquiera de los nmeros que

se usan para contar los elementos de ciertos conjuntos,1 2 como tambin
en operaciones elementales de clculo.

Por definicin convencional se dir que cualquier miembro del siguiente

conjunto, = {1, 2, 3, 4, }, es un nmero natural.2 De dos nmeros
vecinos cualesquiera, el que se encuentra a la derecha se llama siguiente
o sucesivo,3 por lo que el conjunto de los nmeros naturales es
ordenado e infinito.

El conjunto de todos los nmeros naturales iguales o menores que cierto

nmero natural , es decir, el conjunto , se llama
segmento de una sucesin natural y se denota o bien .3

Los nmeros naturales pueden usarse

ndice para contar (una manzana, dos
manzanas, tres manzanas, ).
1 Convenios de notacin
2 Historia
3 Construcciones axiomticas
3.1 Axiomas de Peano
4 Versin de Bush-Obreanu
4.1 Definicin en teora de conjuntos
5 Operaciones con los nmeros naturales
6 Propiedades de los nmeros naturales
6.1 Conceptos globales y de estructura
7 Uso de los nmeros naturales
8 Sustraccin o resta con nmeros naturales
8.1 Proposiciones
8.2 Observacin
9 Topologizacin de N
10 Principio de permanencia
11 Vase tambin
12 Referencias
13 Bibliografa
14 Enlaces externos

Convenios de notacin
Puesto que los nmeros naturales se utilizan para contar elementos, el cero puede considerarse el nmero que
corresponde a la ausencia de los mismos; dependiendo del rea de la ciencia, el conjunto de los nmeros
naturales puede presentarse entonces de dos maneras distintas:

Definicin sin el cero:

= {1, 2, 3 ,4, ...}

Definicin con el cero:

 = {0, 1, 2, 3, 4, ...}

donde la de natural se suele escribir en "negrita de pizarra".

Histricamente el uso del cero como numeral fue introducido en Europa en el siglo XII. Esto no quiere decir
que antes no se utilizara el nmero cero como numeral, ya que con la invencin del sistema de numeracin
Hindi (en la India) se incluy el nmero cero como numeral. Con el tiempo, este sistema de numeracin
tambin fue usado por los rabes; de este hecho viene que pasara de llamarse sistema de numeracin Hindi a
denominarse sistema de numeracin arbigo-ndico. Con la conquista musulmana de la pennsula ibrica en el
siglo XII, el sistema de numeracin arbigo-ndico empez a usarse en Europa y pas a llamarse sistema de
numeracin arbigo-ndico occidental o sistema de numeracin decimal, el cual incluye el cero como numeral,
pero aun as no se consideraba a este como un nmero natural.

Sin embargo, con el desarrollo de la teora de conjuntos en el siglo XIX, el cero se incluy en las definiciones
conjuntistas de los nmeros naturales. Esta convencin prevalece en dicha disciplina,4 y otras, como la teora
de la computacin.5 En particular, el estndar DIN 5473 adopta esta definicin.5 Sin embargo, en la actualidad
ambos convenios conviven.6

Para distinguir ambas definiciones a veces se introducen smbolos distintos. Por ejemplo, si no se incluye el
cero en los naturales, al conjunto de los nmeros naturales sin el cero se lo llama conjunto de los enteros
positivos y se lo denota como *. Alternativamente tambin se utiliza \ {0}.7

Por el contrario, cuando el 0 se considera un nmero natural (cosa que es conveniente, por ejemplo, en
divisibilidad y teora de nmeros), al conjunto de los naturales con el cero se lo llama conjunto de los nmeros
cardinales y se lo denota 0.

Historia
Antes de que surgieran los nmeros para la representacin de cantidades, el hombre us otros mtodos para
contar, utilizando para ello objetos como piedras, palitos de madera, nudos de cuerdas, o simplemente los dedos
(ver sistema de numeracin unario). Ms adelante comenzaron a aparecer los smbolos grficos como seales
para contar, por ejemplo marcas en una vara o simplemente trazos especficos sobre la arena (vase hueso de
Ishango). Pero fue en Mesopotamia alrededor del ao 4000 a. C. donde aparecen los primeros vestigios de los
nmeros que consistieron en grabados de seales en forma de cuas sobre pequeos tableros de arcilla
empleando para ello un palito aguzado. De aqu el nombre de escritura cuneiforme. Este sistema de numeracin
fue adoptado ms tarde, aunque con smbolos grficos 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,
adems de las letras, se utilizaron algunos smbolos.

Quien coloc al conjunto de los nmeros naturales sobre lo que comenzaba a ser una base slida,fue Richard
Dedekind en el siglo XIX. Este los deriv de una serie de postulados (lo que implicaba que la existencia del
conjunto de nmeros naturales se daba por cierta), que despus precis Peano dentro de una lgica de segundo
orden, resultando as los famosos cinco postulados que llevan su nombre. Frege fue superior a ambos,
demostrando la existencia del sistema de nmeros naturales partiendo de principios ms fuertes.
Lamentablemente la teora de Frege perdi, por as decirlo, su credibilidad, y hubo que buscar un nuevo
mtodo. Fue Zermelo quien demostr la existencia del conjunto de nmeros naturales, dentro de su teora de
conjuntos y principalmente mediante el uso del axioma de infinitud, que, con una modificacin de este hecha
por Adolf Fraenkel, permite construir el conjunto de nmeros naturales como ordinales segn von Neumann.

Algunas caractersticas de los nmeros naturales son:

1. Todo nmero mayor que 1 (o mayor que 0 en caso de considerar el 0 como natural) va despus de otro
nmero natural.
 2. Entre dos nmeros naturales siempre hay un nmero finito de naturales (interpretacin de conjunto no
denso).
3. Dado un nmero natural cualquiera, siempre existe otro natural mayor que este (interpretacin de
conjunto infinito).
4. Entre el nmero natural y su sucesor no existe ningn nmero natural.

Construcciones axiomticas
Histricamente, se han realizado propuestas para axiomatizar la nocin habitual de nmeros naturales, de entre
las que destacan las de Peano y la construccin a partir de la teora de conjuntos.

Axiomas de Peano
Si n es un nmero natural, entonces el sucesor de n tambin es un nmero natural.
El 1 no es el sucesor de ningn nmero natural.
Si hay dos nmeros naturales n y m con el mismo sucesor, entonces n y m son el mismo nmero natural.
Si el 1 pertenece a un conjunto de nmeros A, y adems siempre se verifica que: dado un nmero natural
cualquiera que est en A, su sucesor tambin pertenece a A; entonces A contiene al conjunto de todos los
nmeros naturales. Este es el axioma de induccin, que captura la idea de induccin matemtica.

Versin de Bush-Obreanu
El sistema de Peano ha sido simplificado.8

Definicin en teora de conjuntos

En teora de conjuntos se define al conjunto de los nmeros naturales como el mnimo conjunto que es
inductivo. La idea es que se pueda contar haciendo una biyeccin desde un nmero natural hasta el conjunto de
objetos que se quiere contar. Es decir, para dar la definicin de nmero 2, se requiere dar un ejemplo de un
conjunto que contenga precisamente dos elementos. Esta definicin fue proporcionada por Bertrand Russell, y
ms 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 nmero natural si cumple

1. Para cada y x, y x
2. La relacin x = {(a, b) x x | a b} es un orden total estricto en x
3. Todo subconjunto no vaco de x tiene elementos mnimo y mximo en el orden x

Se intenta pues, definir un conjunto de nmeros naturales donde cada elemento respete las convenciones
anteriores. Primero se busca un conjunto que sea el representante del 0, lo cual es fcil ya que sabemos que
no contiene elementos. Luego se definen los siguientes elementos de una manera ingeniosa con el uso del
concepto de sucesor.

Se define -segn Halmos- entonces que el conjunto vaco es un nmero natural que se denota por 0 y que cada
nmero natural n tiene un sucesor denotado como n+. Estas ideas quedan formalizadas mediante las siguientes
expresiones:

0=
n+ = n {n}

De esta manera, cada elemento de algn nmero natural es un nmero natural; a saber, un antecesor de l. Por
ejemplo:

Por definicin 0 = {} (lo cual refuerza el hecho de que 0 no tiene antecesores)

1 es el sucesor de 0, entonces 1 = 0+ = {0} = {0}
 1 es el sucesor de 0, entonces 1 = 0+ = {0} = {0}
2 es el sucesor de 1, pero 1 es {0}, entonces 2 = 1+ {0} {1} = {0, 1} .
y en general

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

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

abab

es decir que un nmero a es menor o igual que b si y solo si b contiene a todos los elementos de a.

Tambin se puede usar otra definicin ms inmediata a partir del hecho de que cada nmero natural consta de
sus antecesores. As a < b si y solo si a b.

Esa es la construccin formal de los naturales que garantiza su existencia como conjunto a la luz del desarrollo
axiomtico Zermelo-Fraenkel. El postulado de los conjuntos infinitos asegura la validez de la tcnica de
demostracin conocida como induccin matemtica.

Un teorema demuestra que cualquier conjunto que sea inductivo contiene a todos los nmeros naturales, es
decir que si A es un conjunto inductivo, entonces A. Esto significa que, en efecto, es el mnimo conjunto
inductivo.

Se define la suma por induccin mediante:

a+0=a
a + b+ = (a + b) +

Lo que convierte a los nmeros naturales (, +) 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 matemtico. El menor grupo que contiene a los naturales es el de los nmeros enteros.

De manera anloga, la multiplicacin se define mediante las expresiones:

a0=0
a b+ = (a b) + a

Esto convierte (, ) (esto es, con esta nueva operacin), en un monoide conmutativo.

Otra forma de construccin de es la siguiente: Sea la clase de todos los conjuntos y definiremos una
relacin binaria R "ser equipotente" de la siguiente manera: Dados A y B se dice que A R B Existe una
aplicacin biyectiva de A sobre B, es decir, existe f : A B biyectiva. Claramente se puede demostrar que esta
relacin verifica las propiedades reflexiva, simtrica y transitiva luego es una relacin de equivalencia al
conjunto cociente /R = {[A]/A } los llamaremos cardinales y a los cardinales finitos se les llamar
nmeros naturales.Las operaciones de suma y producto de cardinales se definen como el cardinal de la unin y
el producto cartesiano de los conjuntos representantes y verifica todas las propiedades para que (, +, ) sea un
semianillo conmutativo y unitario.

Operaciones con los nmeros naturales

Las operaciones matemticas que se definen en el conjunto de los nmeros naturales son la suma y la
multiplicacin.
La suma y la multiplicacin de nmeros naturales son operaciones conmutativas y asociativas, es decir:

El orden de los nmeros no altera el resultado (propiedad conmutativa), a + b = b + a, y a b = b a.

Para sumar o multiplicar tres o ms nmeros naturales, no hace falta agrupar los nmeros de una
manera especfica ya que (a + b) + c = a + (b + c) (propiedad asociativa). Esto es lo que da sentido a
expresiones como a + b + c.

Al construir la operacin de multiplicacin de nmeros naturales, se puede observar claramente que la adicin o
suma y la multiplicacin son operaciones compatibles, pues la multiplicacin sera una adicin de cantidades
iguales y gracias a esta compatibilidad se puede desarrollar la propiedad distributiva, que se expresa de la
forma:

a (b + c) = (a b) + (a c)

Aparte, estas dos operaciones cumplen con las propiedades de:

Clausura de ambas operaciones para todos los nmeros naturales a y b, ya que a + b y a b son siempre
nmeros naturales.
Existencia de elementos neutros para ambas operaciones, es decir, para cada nmero a, a + 0 = a y
a 1 = a.
No existencia de divisores de cero para la operacin de multiplicacin: si a y b son nmeros naturales
tales que a b = 0, entonces a = 0 o b = 0.

Propiedades de los nmeros naturales

Los nmeros naturales estn totalmente ordenados. La relacin de orden se puede redefinir as: a b si y solo
si existe otro nmero natural c que cumple a + c = b. Este orden es compatible con todas las operaciones
aritmticas puesto que si a, b y c son nmeros naturales y a b, entonces se cumple:

a+cb+c
acbc

Una propiedad importante del conjunto de los nmeros naturales es que es un conjunto bien ordenado

1. Para cualquier elemento a de A existe b en A tal que a < b

En los nmeros naturales existe el algoritmo de la divisin. Dados dos nmeros naturales a y b, si b 0,
podemos encontrar otros dos nmeros naturales q y r, denominados cociente y resto respectivamente, tales que:

a = (b q) + r y r < b

Los nmeros q y r estn unvocamente determinados por a y b.

Otras propiedades ms complejas de los nmeros naturales, como la distribucin de los nmeros primos por
ejemplo, son estudiadas por la teora de nmeros.

Relacin de orden

La relacin sucesor le da una estructura de orden.9

Conceptos globales y de estructura

Algebraicamente, el conjunto = {0, 1, 2, ... n, ...} es un semigrupo aditivo asociativo con elemento
neutro 0 y semigrupo multiplicativo asociativo con elemento neutro 1.10
Topolgicamente, tiene la topologa cofinita.11
El cardinal de es menor que el cardinal de .12
Uso de los nmeros naturales
Los nmeros naturales, son usados para dos propsitos fundamentalmente: para describir la posicin de un
elemento en una secuencia ordenada, como se generaliza con el concepto de nmero ordinal, y para especificar
el tamao de un conjunto finito, que a su vez se generaliza en el concepto de nmero cardinal (teora de
conjuntos). En el mundo de lo finito, ambos conceptos son coincidentes: los ordinales finitos son iguales a N as
como los cardinales finitos. Cuando nos movemos ms all de lo finito, ambos conceptos son diferentes.

Otro uso de gran importancia, desde el punto de vista matemtico, es en la construccin de los nmeros
enteros, para lo cual en N N se establece una relacin de equivalencia, para dos pares ordenados de N
N:

(a, b) ~ (c, d) a + d = b + c.

Sustraccin o resta con nmeros naturales

Asmase que = {0, 1, 2, 3, ...} y sea H = {(m, n) / m, n ; m n}, sea g una aplicacin de H en , tal que
g(m, n) = m - n = d m = d + n, donde m, n estn en H y d est en . A la aplicacin g de H sobre se llama
sustraccin o resta en . La diferencia d = m - n, solo es posible en el caso que m n.

Proposiciones
Si m - n = p, entonces m - p = n
Si m - n = p, entonces (m + r) - (n + r) = p
Para cualquier m , m - m = 0;
como m - 0 = m, 0 hace el papel de elemento neutro por la derecha.
La resta no es conmutativa ni asociativa.
Si se da m - n = p, existe una infinidad de nmeros naturales m y n tal que m - n = p; de modo tal que
en la relacin (m, n) (m ,n) m + n = n + m define una relacin de equivalencia, punto de
partida para la construccin del de los nmeros enteros.13

Observacin
1. Una operacin en A definen algunos matemticos como una aplicacin de A A en A. Si se acepta esto,
la sustraccin no es una operacin en el conjunto de los naturales.14
2. Si se define una aplicacin en H, parte propia de A A, en A tal aplicacin se llama operacin
parcialmente definida en A. Admitido lo anterior, la sustraccin es una operacin parcialmente definida
en los nmeros naturales.15

Topologizacin de N
En el conjunto de los naturales cabe la topologa discreta y la cofinita, tambin alguna topologa de orden.16

Principio de permanencia
Es un teorema vinculado al sistema de los nmeros naturales y sus ampliaciones aplicativas. Esta proposicin
expresa que las propiedades de clculo usuales para los nmeros naturales, tambin son legtimas para los
nmeros estructurados mediante operaciones inversas. Como ejemplo: segn el principio de permanencia, las
propiedades de la potenciacin siguen vlidas aun en el caso de nmeros con exponentes fraccionarios.

(ab)5 = a5b5 (ab)2/3 = a2/3 b2/3 entre otras leyes de la potenciacin. 17

Vase tambin
 Nmeros pares
Nmeros primos
Nmero capica
Nmeros impares
Nmeros Enteros positivos
Nmeros pitagricos
Nmeros perfectos
Nmeros triangulares
Nmeros abundantes
Sucesiones
Progresiones

Clasificacin de nmeros

Naturales 1: uno
Naturales primos
Enteros Naturales compuestos
Racionales
0: Cero
Complejos
Reales Enteros negativos

Fraccin propia
Fraccionarios
Fraccin impropia

Irracionales algebraicos
Irracionales
Trascendentes

Imaginarios

Referencias
1. Por ejemplo, los elementos del intervalo abierto <0; 1>
no se pueden contar
2. Arias Cabezas, Jos Mara; Maza Sez, Ildefonso
(2008). Aritmtica y lgebra. En Carmona
Rodrguez, Manuel; Daz Fernndez, Francisco Javier.
Matemticas 1. Madrid: Grupo Editorial Bruo,
Sociedad Limitada. p. 13.ISBN 9788421659854.
3. Tsipkin, A. G. Manual de Matemticas, Edirorial Mir,
Mosc (1985), traduccin de T. I. Shopovalova
4. Vanse textos como Jech (2006). ISBN 978-3-540-44085-
7, Falta el |ttulo= (ayuda) Devlin (1993). ISBN 0-
387-94094-4. Falta el |ttulo= (ayuda) o Kunen
(1992). ISBN 0-444-86839-9. Falta el |ttulo= (ayuda)
5. Vase Welschenbach, 2005, p. 4.
6. Vase Weisstein, Eric W. Natural Numbers (http://m
athworld.wolfram.com/NaturalNumber.html).
MathWorld (en ingls). Consultado el 14 de agosto de
2011.
7. Cominos (2006). ISBN 9781852339029. Falta el
|ttulo= (ayuda), p. 27.
8. Tal como se presenta en la 'discusin' de este artculo
9. Consultar en discusin de artculo
10. Rojas: "Algebra I"
11. Munkres: "Topologa" 2. edicin
12. Haaser: "Anlisis real"
13. "Concepto de nmero" (1970) Trejo, Csar,
publicacin de la OEA; Universidad Nacional de
Buenos Aires
14. Ayres: lgebra mooderna, compendio Schaumm
15. Carranza: lgebra, Studium, Lima,1973
16. Munkres: Topologa ISBN 978-84-205-3180-9
17. Diccionarios RIODUERO. Matemtica. ISBN 84-220-
0832-7

Bibliografa
 Hernndez Hernndez, Fernando (1998). Teora de conjuntos. Mxico D.F.: Sociedad Matemtica
Mexicana. ISBN 970-32-1392-8.
Hurtado, F. (2 de 1997). Atlas de matemticas (1 edicin). Idea Books, S.A. p. 12. ISBN 978-84-8236-049-2.
Welschenbach, Michael (2005). Cryptography in C and C++. Apress. ISBN 9781590595022idioma=ingls
|isbn= incorrecto (ayuda).

Enlaces externos
Wikcionario tiene definiciones y otra informacin sobre .

Obtenido de https://es.wikipedia.org/w/index.php?title=Nmero_natural&oldid=100669302

Se edit esta pgina por ltima vez el 24 jul 2017 a las 11:32.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.