Diferencies ente revisiones de «Númberu natural»

Contenido eliminado Contenido añadido
m Bot: Orotografía habitual na wiki
Llinia 1:
[[Archivu:Three apples.svg|thumb|Los [[númberu]]s naturales pueden usase pa cuntar (una mazana, dos manzanes, tres manzanes, …).]]
En [[matemátiques]], un '''númberu natural''' ye cualesquier de los númberos que s'usen para [[numerable|cuntar]] los elementos de ciertos [[conxuntu|conxuntos]],<ref>Por casu, los elementos del intervalu abiertu <0; 1> non pueden cuntase</ref><ref name=nn>{{Citacita llibrollibru |apellíu=Aries Cabeces |apellido2=Maza Sáez |nombre=José María |nome2=Ildefonso |añu=2008 |títulu=Matemátiques 1 |fechaacceso=30 d'abril de 2017 |páxina=13|capítulu=Aritmética y Álxebra |allugamientu=Madrid |editorial=Grupu Editorial Cirgüeyu, Sociedá Llindada |apellíu-editor=Carmona Rodríguez |apellíu-editor2=Díaz Fernández |nome-editor=Manuel |nome-editor2=Francisco Javier |isbn=9788421659854 |número-autor=2}}</ref> como tamién n'operaciones elementales de cálculu.
Son aquellos númberos naturales que sirven pa cuntar elementos polo que son enteros por casu: 1,2,3,4,5,6,7,8,9...∞
Por definición convencional va dicise que cualquier miembru del siguiente conxuntu, ℕ = {1, 2, 3, 4, …}, ye un númberu natural.<ref name=nn/> De dos númberos vecinos cualesquier, el que s'atopa a la derecha llámase '''siguiente''' o '''socesivu''',<ref name=tsipkin>Tsipkin, A. G. ''Manual de Matemátiques'', Edirorial Mir, Moscú (1985), traducción de T. I. Shopovalova</ref> polo que'l conxuntu de los númberos naturales ye ordenáu ya infinitu.
Llinia 18:
Históricamente l'usu del cero como numberal foi introducíu n'Europa nel [[sieglu XII]]. Esto nun quier dicir qu'antes non s'utilizara'l númberu cero como numberal, yá que cola invención d'el&nbsp;[[Numberación india|sistema de numberación Hindi]] (na India) incluyóse'l númberu cero como numberal. Col tiempu, esti sistema de numberación tamién foi usáu polos árabes; d'esti fechu vien que pasara de llamase sistema de numberación Hindi a denominase&nbsp;[[Númberos arábigos|sistema de numberación arábigu-índicu]]. Cola conquista musulmana de la península ibérica nel sieglu XII, el sistema de numberación arábigu-índicu empezó a usase n'Europa y pasó a llamase sistema de numberación arábigu-índicu occidental o&nbsp;[[sistema de numberación decimal]], que inclúi'l cero como numberal, pero aun así nun se consideraba a esti como un númberu natural.
 
Sicasí, col desenvolvimientu de la [[teoría de conxuntos]] nel [[sieglu XIX]], el cero incluyir nes definiciones conjuntistas de los númberos naturales. Esta convención prevalez en dicha disciplina,<ref>Veanse testos como {{Citacita llibrollibru|apellíos=Jech |añu=2006 |isbn=978-3-540-44085-7|puntofinal=,}} {{Citacita llibrollibru|apellíos=Devlin |añu=1993 |isbn=0-387-94094-4}} o {{Citacita llibrollibru|apellíos=Kunen |añu=1992 |isbn=0-444-86839-9}}</ref> y otres, como la [[teoría de la computación]].<ref name="Wels" /> En particular, l'estándar [[DIN]] 5473 adopta esta definición.<ref name="Wels">Vease {{Harvsp|Welschenbach|2005|p=4}}.</ref> Sicasí, na actualidá dambos convenios conviven.<ref name=""mathworld>Vease {{Cita web |url=http://mathworld.wolfram.com/NaturalNumber.html |autor=Weisstein, Eric W. |títulu=Natural Numbers |obra=[[MathWorld]] |fechaacceso=14 d'agostu de 2011 |idioma=inglés}}</ref>
 
Pa estremar dambes definiciones dacuando introdúcense símbolos distintos. Por casu, si nun s'inclúi'l cero nos naturales, al conxuntu de los númberos naturales ensin el cero llamar [[númberos enteros|conxuntu de los enteros positivos]] y se lo denota como {{math|{{unicode|ℕ}}*}}. Alternativamente tamién s'utiliza {{math|{{unicode|ℕ}} \ {0}}}.<ref>{{Citacita llibrollibru|apellíos=Cominos |añu=2006 |isbn=9781852339029}}, p. 27.</ref>
 
Otra manera, cuando'l 0 considérase un númberu natural (cosa que ye conveniente, por casu, en [[divisibilidad]] y [[teoría de númberos]]), al conxuntu de los naturales col cero llamar [[númberos cardinales|conxuntu de los númberos cardinales]] y se lo denota {{math|{{unicode|ℕ}}<sub>0</sub>}}.
 
== HestoriaHistoria ==
Primero que surdieren los [[númberos]] naturales pa la representación de cantidaes, l'home usó otros métodos pa [[Cuenta (matemátiques)|cuntar]], utilizando pa ello oxetos como [[piedra]]s, palitos de [[madera]], [[Nuedu (llazu)|nuedos]] de cuerdes, o a cencielles los [[deos]] (ver [[sistema de numberación unario]]). Más palantre empezaron a apaecer los símbolos gráficos como señales pa [[cuntar]], por casu marques nuna vara o a cencielles trazos específicos sobre'l sable (vease [[güesu de Ishango]]). Pero foi en [[Mesopotamia]] alredor del añu 4000&nbsp;a.&nbsp;C. onde apaecen les primeres muertes de los númberos que consistieron en grabaos de señales en forma de cuñas sobre pequenos tableros de [[magre]] emplegando pa ello un palito aguyáu. D'equí'l nome de [[escritura cuneiforme]]. Esti sistema de numberación foi adoptáu más tarde, anque con símbolos gráficos distintos, na [[Grecia Antigua]] y na [[Antigua Roma]]. Na Grecia antigua emplegábense a cencielles les [[lletra]]s de la so [[alfabetu]], ente que na antigua Roma, amás de les lletres, utilizáronse dellos símbolos.
 
Llinia 34:
# Ente dos númberos naturales siempres hai un númberu finito de naturales (interpretación de conxuntu non trupu).
# Dáu un númberu natural cualesquier, siempres esiste otru natural mayor qu'esti (interpretación de conxuntu infinitu).
# Ente'l númberu natural <math>a</math> y el so sucesorsocesor <math>a+1</math> nun esiste nengún númberu natural.
 
== Construcciones axomátiques ==
Llinia 44:
{{AP|Axomes de Peano}}
* Si ''n'' ye un númberu natural, entós el [[sucesor]] de ''n'' tamién ye un númberu natural.
* El 1 nun ye'l sucesorsocesor de nengún númberu natural.
* Si hai dos númberos naturales ''n'' y ''m'' col mesmu sucesorsocesor, entós ''n'' y ''m'' son el mesmu númberu natural.
* Si'l 1 pertenez a un conxuntu de númberos ''A'', y amás siempres se verifica que: dáu un númberu natural cualesquier que tea en ''A'', el so sucesorsocesor tamién pertenez a ''A''; entós ''A'' contien al conxuntu de tolos númberos naturales. Este ye l'axoma d'inducción, que prinda la idea de [[inducción matemática]].
 
== Versión de Bush-Obreanu ==
Llinia 61:
# Tou subconxuntu non vacíu de {{math|''x''}} tien elementos mínimu y máximu nel orde {{math|∈<sub>''x''</sub>}}
 
Inténtase pos, definir un conxuntu de númberos naturales onde cada elementu respete les convenciones anteriores. Primero búscase un conxuntu que sía'l representante del {{math|0}}, lo cual ye fácil yá que sabemos que {{math|∅}} nun contien elementos. Depués defínense los siguientes elementos d'una manera atélite col usu del conceutu de ''sucesorsocesor''.
 
Definir según [[Paul Halmos|Halmos]]- entós que'l conxuntu vacíu ye un númberu natural que se denota por {{math|0}} y que cada númberu natural {{math|''n''}} tien un ''sucesorsocesor'' denotado como {{math|''n''<sup>+</sup>}}. Estes idees queden formalizaes por aciu les siguientes espresiones:
:{{math|0 {{=}} ∅}}
:{{math|''n''<sup>+</sup> {{=}} ''n'' ∪ {''n''}}}
Llinia 69:
D'esta manera, cada elementu de dalgún númberu natural ye un númberu natural; esto ye, un antecesor d'él. Por casu:
* Por definición {{math|0 {{=}} {} }} (lo cual refuerza'l fechu de que {{math|0}} nun tien antecesores)
* 1 ye'l sucesorsocesor de 0, entós {{math|1 {{=}} 0<sup>+</sup> {{=}} ∅ ∪ {0} {{=}} {0} }}
* 2 ye'l sucesorsocesor de 1, pero 1 ye {0}, entós {{math|2 {{=}} 1<sup>+</sup> {{=}} {0} ∪ {1} {{=}} {0, 1} }}.
* y polo xeneral
:{{math|3 {{=}} {0, 1, 2} }}
Llinia 142:
Otres propiedaes más complexes de los númberos naturales, como la distribución de los [[númberu primu|númberos primos]] por casu, son estudiaes pola [[teoría de númberos]].
;Relación d'orde La relación
''sucesorsocesor'' da-y una estructura d'orde.<ref>Consultar en discutiniu d'artículu</ref>
 
=== Conceutos globales y d'estructura ===
Llinia 180:
* (ab)<sup>5</sup> = a<sup>5</sup>b<sup>5</sup> ⇒ (ab)<sup>2/3</sup> = a<sup>2/3</sup> b<sup>2/3</sup> ente otres lleis de la potenciación.<ref>Diccionarios RIODUERO. Matemática. ISBN 84-220-0832-7</ref>
 
== VeaseVer tamién ==
* [[Númberos pares]]
* [[Númberos primos]]
Llinia 199:
 
== Bibliografía ==
* {{Citacita llibrollibru |autor=Hernández Hernández, Fernando |título=Teoría de conxuntos |añu=1998 |editorial=México D.F.: Sociedá Matemática Mexicana |id=ISBN 970-32-1392-8}}
* {{Citacita llibrollibru |apellíu=Furtiáu |nome=F. |títulu=Atles de matemátiques|edición=1 |fecha = 2 de 1997|editorial=Escurre Books, S.A. |isbn=978-84-8236-049-2 |páxina=12}}
* {{Citacita llibrollibru |títulu=Cryptography in C and C++ |nome=Michael|apellíos=Welschenbach |editorial=Apress |añu=2005 |isbn=9781590595022|idioma=inglés}}
 
== Enllaces esternos ==