Nmero natural

Nmero natural
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. Dependiendo del autor y la tradicin, el conjunto de los nmeros naturales puede definirse entonces de dos maneras distintas:

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

Definicin sin el cero:

Definicin con el cero:

donde la N de natural se suele escribir en "negrita de pizarra". Ambas definiciones son utilizadas en distintas reas de las matemticas. Histricamente, el uso del cero como numeral fue introducido en Europa en el siglo XII,[1] pero no se consideraba un nmero natural.[citarequerida] La no inclusin del cero es habitual por ejemplo en teora de nmeros.[citarequerida] 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] 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 ,.[4]

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.000a.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,

Nmero natural 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: 1. 2. 3. 4. 5. 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 1. Para cada , es un orden total estricto en tiene elementos mnimo y mximo en el orden se dice que es un nmero natural si cumple

2. La relacin 3. Todo subconjunto no vaco de

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 entonces que el conjunto vaco es un nmero natural que se denota por tiene un sucesor denotado como y que cada nmero natural . Estas ideas quedan formalizadas mediante las siguientes expresiones:

Nmero natural De esta manera, cada elemento de algn nmero natural es un nmero natural; a saber, un antecesor de l. Por ejemplo: Por definicin (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

es menor o igual que

si y slo si

contiene a todos los elementos de

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 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. es la siguiente: Sea la clase de todos los conjuntos y definiremos una relacin se dice que A R B Existe una aplicacin biyectiva. Claramente se puede demostrar que esta relacin

Otra forma de construccin de

binaria R "ser equipotente" de la siguiente manera Dados A y B biyectiva de A sobre B,es decir,existe

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.

Nmero natural

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:

Nmero natural

Propiedades de los nmeros naturales

Los nmeros naturales estn totalmente ordenados. La relacin de orden si existe otro nmero natural aritmticas puesto que si , y que cumple son nmeros naturales y se puede redefinir as: si y slo . Este orden es compatible con todas las operaciones , 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, denominados cociente 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.

Nmero natural

Vase tambin
Complejos Reales Racionales Enteros Naturales Uno Primos Compuestos

Cero Negativos

Fraccionarios Fraccin propia Fraccin impropia

Irracionales Algebraicos irracionales Trascendentes

Imaginarios

Referencias
[1] [2] [3] [4] Nils-Bertil Wallin. The history of zero (http:/ / yaleglobal. yale. edu/ about/ zero. jsp). Consultado el 07-07-2011 Vanse textos como Jech (2006). ISBN 978-3-540-44085-7, Devlin (1993). ISBN 0-387-94094-4 o Kunen (1992). ISBN 0-444-86839-9. Vase Welschenbach, 2005, p.4. Cominos (2006). ISBN 9781852339029., p. 27.

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

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Nmero natural Fuente: http://es.wikipedia.org/w/index.php?oldid=48328486 Contribuyentes: -jem-, 217-127-165-236.uc.nombres.ttd.es, 2fast4all, Airunp, Akhram, Akma72, Alephcero, Alexander-Venezuela, Alvaro qc, Amads, Andreasmperu, Angelsaracho, Antur, Antn Francho, Arrt-932, Arturo Reina, Ascnder, AstroNomo, Ayleen, BL, Banfield, Barteik, Belb, Beto29, BetoCG, BlackBeast, Blitox, Carloszelayeta, Cgb, Chanchicto, Charly Toluca, Cinabrium, Cobalttempest, Criscam.11, Ctrl Z, DJ Nietzsche, Damin del Valle, Dangelin5, Daniel JG, Dark, David0811, DayL6, Diegusjaimes, Dnu72, Dodo, Domaniom, Dorieo, Drappy Dan, Dreitmen, Eduardo 09fut, Eduardosalg, Eferro, Eloy, Elsenyor, Emiduronte, Ernessaul, Ernesto Trento, Erudicin, Faustito, Feministo, Fmariluis, Foundling, Fran89, Fsd141, GermanX, Ggenellina, Gizmo II, Grillitus, Gusgus, Gustronico, Gngora, HUB, House, Hugoses, Humberto, JMCC1, Jkbw, Jndvdrm, Jorge c2010, JorgeGG, Joseaperez, Jtico, Juan Marquez, Julio grillo, Kn, Komputisto, Lahi, Laura Fiorucci, Leonpolanco, Locos epraix, Lourdes Cardenal, Luienrike, Lulu123, Macheledesma, Mafores, Magister Mathematicae, Manw, Matdrodes, Matiasasb, Maveric149, Mel 23, MiguelMTN, Montgomery, Moriel, Mortadelo, Mortadelo2005, Msdus, Muro de Aguas, Nachosan, Netito777, Nihilo, Ornitododo, Oscarthebig, Pan con queso, Platonides, PoLuX124, Poco a poco, Queninosta, Raulshc, RoyFocker, Rumpelstiltskin, Sabbut, Saloca, Sigmanexus6, Super braulio, Superzerocool, Taichi, Technopat, Tguardia, Toad32767, Tonatihu, Tuncket, Valentin vendetta, Vatelys, Vitamine, Vivero, Vubo, WILLIAM ARANGO RESTREPO, Wesisnay, Wikipedico wikipedico, Xatufan, Yeza, Ysidoro, Zorosandro, conversion script, dup-200-65-89-249.prodigy.net.mx, 548 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:Three apples.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Three_apples.svg Licencia: Public Domain Contribuyentes: Oleg Alexandrov

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/