Un nmero natural

es cualquiera de los nmeros que se usan para contar los elementos de un conjunto. Reciben ese nombre porque fueron los primeros que utiliz el ser humano para contar objetos. Convenios de notacin Puesto que los nmeros naturales se utilizan para contar objetos, el cero puede considerarse el nmero que corresponde a la ausencia de los mismos. donde la N de natural se suele escribir en "negrita de pizarra". Ambas presentaciones son utilizadas en distintas reas de las matemticas. Histricamente, el uso del cero como numeral fue introducido en Europa en el siglo XII con la invasin musulmana de la Pennsula Ibrica,1 pero no se consideraba un nmero natural.[cita requerida] 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,2 y otras, como la teora de la computacin.3 En particular, el estndar DIN 5473 adopta esta definicin.3 Sin embargo, en la actualidad ambos convenios conviven.4 Para distinguir ambas definiciones a veces se introducn smbolos distintos. Por ejemplo, incluyendo el cero en los naturales, a los nmeros naturales sin el cero, o enteros positivos se les denota como 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 de madera, nudos de cuerdas, o simplemente los dedos. 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. 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 Los axiomas de Peano rigen la estructura nmeros naturales sin necesidad de otra teora (por ejemplo, la de conjuntos) ni de las nociones aritmticas de suma o equivalencia. Requiere, eso s, de la nocin previa de sucesor. Los cinco axiomas de Peano son: El 1 es un nmero natural. 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 es precisamente el conjunto de todos los nmeros naturales. ste es el axioma de induccin, que captura la idea de induccin matemtica. 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 Para cada , La relacin es un orden total estricto en x Todo subconjunto no vaco de x tiene elementos mnimo y mximo en el orden 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: 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 2 es el sucesor de 1, pero 1 es {0}, entonces y en general

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 es decir que un nmero a es menor o igual que b si y slo 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 si y slo si . sa 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 . Esto significa que, en efecto, es el mnimo conjunto inductivo. Se define la suma por induccin mediante: 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 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 biyectiva. Claramente se puede demostrar que esta relacin verifica las propiedades reflexiva,simtrica y transitiva luego es una relacin de equivalencia al conjunto cociente 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 son acciones de relacin que permiten a los seres humanos acordar procesos culturales de lectura simblica de agrupacin o construccin, de disgregacin o deconstruccin, as como del nmero de races u origen de un determinado objeto geomtrico o de propiedades dimensionales, que se pueden realizar con un determinado conjunto numrico. Los conjuntos numricos son espacios en los cuales las operaciones pueden hacerse con elementos de dichos conjuntos y dar como resultado de la accin elementos que pueden estar dentro o fuera de ellos. Si el resultado de la operacin siempre da elementos del conjunto numrico, se dice que el espacio es cerrado para dicha operacin (cumple con la propiedad de cierre o clausura), si el resultado algunas veces da elementos del conjunto y otras veces no, se dice que el espacio es abierto para dicha operacin (no es cerrado, no cumple con la propiedad de cierre o de clausura). De all que se puede decir que las operaciones en los nmeros naturales son: la adicin cuyo resultado es la suma (operacin cerrada, constructora de linealidad), la sustraccin cuyo resultado es diferencia o

resta (operacin abierta deconstructora de la linealidad), la multiplicacin cuyo resultado recibe el nombre de producto (operacin cerrada, constructora de ortogonalidad (ngulo recto)), la divisin cuyo resultado es el cociente (operacin abierta de doble naturaleza deconstructora de la ortogonalidad (desarma al ngulo recto), o como razn de cambio), la potenciacin cuyo resultado es potencia (operacin cerrada en los naturales, constructora de objetos geomtricos "perfectos"), radicacin cuyo resultado es raz (operacin abierta, deconstructora de objetos geomtricamente perfectos) y la logaritmacin (operacin abierta, que establece el posible nmero de races de un objeto potencialmente perfecto, o de posibles propiedades dimensionales de los objetos geomtricos). Es as como las operaciones quedan establecidas para su reconocimiento geomtrico como constructoras, deconstructoras y de propiedades dimensionales de los objetos geomtricos. A partir de esta concepcin se puede decir que: La sustraccin es la operacin inversa a la adicin de la misma manera que la divisin es la inversa de la multiplicaciones, es decir, si a+b = c, entonces b = c - a; se observa como la adicin o suma construye segmentos de rectas y la sustraccin o resta deconstruye el segmento de recta. No siempre se puede realizar una resta entre nmeros naturales, debido a que no siempre se cumple que el nmero 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 razn es que el resultado, -15, no est dentro del conjunto de los nmeros naturales. La suma y la multiplicacin de nmeros naturales son operaciones conmutativas y asociativas. Es decir: El orden de los nmeros no altera el resultado, a+b = b+a, pues la construccin de dicho segmento conserva su longitud sin importar que cantidad coloque primero, y ab = ba siempre construir la misma rea rectangular, sin importar el orden en el cual se coloquen los factores(propiedad conmutativa). 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 multiplicacin de nmeros naturales reas rectangulares, 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 esta compatibilidad se puede desarrollar la propiedad distributiva, ya que: 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 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 , entonces se cumple: Una propiedad importante del conjunto de los nmeros naturales es que es un conjunto bien ordenado 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

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.

Nmero entero:
Resta con negativos. La resta de dos nmeros naturales no es un nmero natural cuando el sustraendo es mayor que el minuendo, sino que su valor es negativo: en la imagen, slo pueden sustraerse 3 pltanos, por lo que se apunta un pltano "debido" o "negativo" (en rojo). Los nmeros enteros son un conjunto de nmeros que incluye a los nmeros naturales distintos de cero (1, 2, 3, ...), los negativos de los nmeros naturales (..., 3, 2, 1) y al cero, 0. Los enteros negativos, como 1 3 (se leen "menos uno", "menos tres", etc.), son menores que todos los enteros positivos (1, 2, ...) y que el cero. Para resaltar la diferencia entre positivos y negativos, a veces tambin se escribe un signo "ms" delante de los positivos: +1, +5, etc. Cuando no se le escribe signo al nmero se asume que es positivo. El conjunto de todos los nmeros enteros se representa por la letra = {..., 3, 2, 1, 0, +1, +2, +3, ...}, que proviene del alemn Zahlen ("nmeros", pronunciado Los nmeros enteros no tienen parte decimal. Por ejemplo: 783 y 154 son nmeros enteros 45,23 y 34/95 no son nmeros enteros Al igual que los nmeros naturales, los nmeros enteros pueden sumarse, restarse, multiplicarse y dividirse, de forma similar a los primeros. Sin embargo, en el caso de los enteros es necesario calcular tambin el signo del resultado. Los nmeros enteros extienden la utilidad de los nmeros naturales para contar cosas. Pueden utilizarse para contabilizar prdidas: si en un colegio entran 80 alumnos nuevos de primer curso un cierto ao, pero hay 100 alumnos de ltimo curso que pasaron a educacin secundaria, en total habr 100 80 = 20 alumnos menos; pero tambin puede decirse que dicho nmero ha aumentado en 80 100 = 20 alumnos. Tambin hay ciertas magnitudes, como la temperatura o la altura toman valores por debajo del cero. La altura del Everest es 8848 metros por encima del nivel del mar, y por el contrario, la orilla del Mar Muerto est 423 metros por debajo del nivel del mar; es decir, su altura se puede expresar como 423 m.