Nmero natural

Los nmeros naturales pueden usarse para contar (una manzana, dos manzanas, tres manzanas, ).

En matemticas, un nmero natural (designado por ) es cualquiera de los nmeros que se

usan paracontar los elementos de un conjunto como tambin en operaciones elementales de
clculo.
Por definicin convencional se dir que cualquier miembro del siguiente conjunto, = {0, 1, 2,
3, 4, } es un nmero natural, que en este caso empieza del cero y prosigue ad infinitum. De
dos nmeros vecinos cualesquiera, el que se encuentra a la derecha se
llama siguiente o sucesivo 1 .
El conjunto de todos los nmeros naturales iguales o menores que cierto nmero natural
llamasegmento de una sucesin natural y se denota
ndice
[ocultar]

1 Convenios de notacin

2 Historia

3 Construcciones axiomticas
o

3.1 Axiomas de Peano

4 Versin de Bush- Obreanu

se

4.1 Definicin en teora de conjuntos

5 Operaciones con los nmeros naturales

6 Propiedades de los nmeros naturales

o

6.1 Conceptos globales y de estructura

7 Uso de los nmeros naturales

8 Sustraccin o resta con nmeros naturales

o

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[editar]
Puesto que los nmeros naturales se utilizan para contar elementos, el cero puede
considerarse el nmero que corresponde a la ausencia de los mismos 4. 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 con
laconquista musulmana de la pennsula ibrica,3 pero no se consideraba un nmero natural.4
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,5 y otras, como la teora de la computacin.6 En particular, el estndar DIN 5473
adopta esta definicin.6 Sin embargo, en la actualidad ambos convenios conviven. 7
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
llamaconjunto de los enteros positivos y se lo denota como *. Alternativamente tambin se
utiliza - {0}.8
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[editar]
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, nudosde 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 4.000 a. C. donde aparecen los
primeros vestigios de los nmeros que consistieron en grabados de seales en formas 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[editar]
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[editar]
Artculo principal: 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 Acontiene al conjunto de todos los nmeros naturales. Este es el axioma de
induccin, que captura la idea de induccin matemtica.

Versin de Bush- Obreanu[editar]

El sistema de Peano ha sido simplificado.9

Definicin en teora de conjuntos[editar]

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}

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) + a
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 propiedadcancelativa 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 Bbiyectiva. 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[editar]
Las operaciones matemticas que se definen en
el conjunto de los nmeros naturales son
lasuma 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,
ya 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 ya 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[editar]
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 restorespec
tivamente, 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 losnmeros primos por
ejemplo, son estudiadas por
la teora de nmeros.
Relacin de orden
La relacin sucesor le da una
estructura de orden.10

Conceptos globales y de
estructura[editar]

Algebraicamente, el
conjunto = {0, 1,
2, ... n, ...} es un semigrupo
aditivo asociativo con
elemento neutro 0 y
semigrupo multiplicativo
asociativo con elemento
neutro 1.11

Topolgicamente, tiene
la topologa cofinita.12

El cardinal de es menor
que el cardinal de .13

Uso de los nmeros

naturales[editar]
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 denmero
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[editar]
Asmase que = {0, 1, 2,
3, ...} y sea H =
{(m, n) / m, n ; m n},
sea g una aplicacin
de Hen , 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 e
n . La diferencia d = m - n,
solo es posible en el caso
que m n.

Proposiciones[editar]

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.14

Observacin[editar]
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.15
2. Si se define una
aplicacin en H,
parte propia de A
A, en A tal
aplicacin se
llamaoperacin

parcialmente
definida en A.
Admitido lo anterior,
la sustraccin es
unaoperacin
parcialmente
definida en en los
nmeros
naturales.16

Topologizacin de
N[editar]
En el conjunto de los
naturales cabe la topologa
discreta y la cofinita,
tambin alguna topologa de
orden17

Principio de
permanencia[editar]
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. 18