Beruflich Dokumente
Kultur Dokumente
Los nmeros naturales pueden usarse para contar (una manzana, dos manzanas, tres manzanas, ).
1 Convenios de notacin
2 Historia
3 Construcciones axiomticas
o
se
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:
= {0, 1, 2, 3, 4, ...}
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
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
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.
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
(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.