NUMEROS NATURALES

Puesto que los nmeros naturales se utilizan para contar objetos, 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:

Definicin con el cero:

donde la N 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 1 2 la conquista musulmana de la pennsula ibrica, pero no se consideraba 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 3 4 disciplina, y otras, como la teora de la computacin. En particular, el estndar DIN 5473 adopta 4 5 esta definicin. Sin embargo, en la actualidad ambos convenios conviven. Para distinguir ambas definiciones a veces se introducen smbolos distintos. Por ejemplo, si 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 .
6

Por el contrario, cuando el 0 no 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 .

Historia
Antes de que surgieran los nmeros para la representacin de cantidades, el ser humano us otros mtodos para contar, utilizando para ello objetos como piedras, palitos demadera, 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 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 laAntigua 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 ste. (Interpretacin de conjunto infinito). .

peraciones 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 ab = ba. 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:

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 b = 0.

Propiedades de los nmeros naturales

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

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, denominadoscociente y resto respectivamente, tales que: y .

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.

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 NN se establece una relacin de equivalencia, para dos pares ordenados de NN:

(a,b) ~ (c,d) si y solo si 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 si solo si 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 N. La diferencia d = m-n , slo 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 my mtal que m- n= p; de modo tal que en x la relacin (m,n) (m,n) ssi m + n = n + m define unarelacin de equivalencia, punto de partida para la 7 construccin del de los nmeros enteros .

Vase tambin
Clasificacin de nmeros

Naturales Enteros Racionales Complejos Reales

1: uno Naturale s primos Naturale s compues tos

0: Cero Enteros negativos Fraccionarios Fraccin propia Fraccin impropia

Irracionales Imaginarios

Irracionales algebraicos Trascendentes