TEMA 1: EL NMERO NATURAL.

SISTEMAS DE
NUMERACIN.









INDICE ESQUEMTICO

1. INTRODUCCIN.
2. EL CONJUNTO DE NMEROS NATURALES.
2.1. CONSTRUCCIN AXIOMTICA DE N.
2.2. CONSTRUCCION DE N, A PARTIR DE LA TEORA DE CONJUNTOS.
A. OPERACINES EN N CON LA TEORA DE CONJUNTOS.
3. OPERACIONES CON NMEROS NATURALES.
3.1. SUMA.
A. DEFINICIN.
B. PROPIEDAD ASOCIATIVA.
C. EXISTENCIA DE ELEMENTO NEUTRO.
D. PROPIEDAD CONMUTATIVA.
3.2. PRODUCTO.
A. DEFINICIN.
B. EXISTENCIA DE ELEMENTO ABSORBENTE.
C. EXISTENCIA DE ELEMENTO NEUTRO.
D. PROPIEDAD DISTRIBUTIVA (PRODUCTO RESPECTO SUMA).
E. PROPIEDAD CONMUTATIVA.
F. PROPIEDAD ASOCIATIVA.
3.3. OTRAS PROPIEDADES DE LAS OPERACIONES.
4. ORDEN DE LOS NMEROS NATURALES.
4.1. RELACIN DE ORDEN ESTRICTO EN N.
4.2. RELACION DE ORDEN TOTAL EN N.
5. SEMIANILLO DE LOS NMEROS NATURALES.
6. SISTEMAS DE NUMERACIN.
6.1. TEOREMA FUNDAMENTAL DE LOS SISTEMAS DE NUMERACIN.
7. CONCLUSIONES.
8. BIBLIOGRAFA.
ESQUEMA

1. INTRODUCCIN.
Utilizado desde la prehistoria, cumpliendo funciones de contar y ordenar
objetos, a lo largo de la historia diversos sistemas de numeracin. Detallar la
construccin del tema.

2. EL CONJUNTO DE NMEROS NATURALES.
Denotaremos por al conjunto de nmeros naturales, utilizando el 0, aunque
tardo y sin sentido para contar objetos: } {
0,1, 2,...n =


2.1. CONSTRUCCIN AXIOMTICA DE N.
es conjunto infinito y ordenado representados por cifras. Se establece
propiedades explicitadas en los Postulados de Peano, Axiomas:
1. 0e
2. Sea ( ) s a una aplicacin, siguiente nmero natural ( ) 1 s a a = + o * a
a) , ( ) a s a e - e
b) , , a b e ( ) ( ) * * siendoa b s a s b o a b = = =
3. Cero no es el siguiente de un nmero natural: / ( ) 0 a s a - e =
4. , , ( ) ( ) a b si s a s b a b e = = [reciproco axioma 2]
5. PRINCIPIO DE INDUCCIN: Si establecemos algo cierto para K c y K tiene un
elemento a a y ( ) s a existe para K esto se extiende a : Sea / 0 K K c e
( ) y a K s a K e e entonces K

2.2. CONSTRUCCION DE N, A PARTIR DE LA TEORA DE CONJUNTOS.
Sean dos conjuntos A y B, biyectivos, son equipolentes [poseen mismo n de
elementos y a cada uno de A le corresponde uno de B] A B y cumplen propiedad
reflexiva, simtrica y transitiva. La relacin de equipolencia genera clases de
equivalencia y asigna una caracterstica comn a cada conjunto, su cardinal: ( ) Card A .
El conjunto cociente de las clases de equivalencias son los cardinales y corresponden a
.

A. OPERACINES EN N CON LA TEORA DE CONJUNTOS.
Definimos suma y producto para Ay B siendo conjuntos disjuntos:
| | ( ) A B = C con ( ) card A a = y ( ) card B b =
a) SUMA: ( ) a b card A B + =
b) PRODUCTO: * ( ) a b card Ax B =

3. OPERACIONES CON NMEROS NATURALES.
Las propiedades se demuestran con un subconjunto de : } {
/ ...
x
M x = e
[sustituyendo en la propiedad la * x y x ]

3.1. SUMA.
A. DEFINICIN: Sea una aplicacin: : / ( , ) f x a b e se cumple
( , ) f a b e
1) ( , 0) f a a = 0 a a + = a e
2) ( , ( )) [ ( , )] f a s b s f a b = * ( )* , a b a b a b + = + e
EXISTE (aplicar definiciones a * x y x ; subconjunto { } } {
/ :
x x
M x f x = e - )
NICA (aplicar a f y g ,y a * x y x ; } {
/ ( , ) ( , ),
x
M y f x y g x y x = e - = e

B. PROPIEDAD ASOCIATIVA: Extiende la suma a ms de 2 operandos, no modifica el
resultado por agruparlo de diferentes formas:
, , ( ) ( ) a b c a b c a b c e + + = + + [extender a 0, a cierto a, a * x y x ; aplicar PPO.
DE INDUCCIN]

C. EXISTENCIA DE ELEMENTO NEUTRO: En cualquier operacin es aquel que al operar
con el da el mismo resultado. En la suma de es el 0; definicin de la suma:
0 0 x x x x e + = = + [extender a 0, a 1, a cierto * a y a ; aplicar PPO. DE
INDUCCIN]

D. PROPIEDAD CONMUTATIVA: No se modifica el resultado por cambiar el orden de
los sumandos: , x y x y y x e + = + [extender a 0, a 1, a cierto * a y a y a
* x y x ; aplicar PPO. DE INDUCCIN]

3.2. PRODUCTO.
A. DEFINICIN: Sea una aplicacin: : / ( , ) f x x y e se cumple
( , ) f x y e
4) ( , 0) 0 f a = 0 0 a a = e
5) ( , *) ( , ) f a b f a b a = + ( 1) , a b a b b a b + = + e

B. EXISTENCIA DE ELEMENTO ABSORBENTE: Se incluye en la definicin del producto y
se trata del cero: , 0 0 0 a a a e = = [extender a 1, a * x y x ; aplicar PPO. DE
INDUCCIN]

C. EXISTENCIA DE ELEMENTO NEUTRO: En la operacin de producto de es el 1, se
verifica que: , 1 1 a a a a e = = [extender a 0 y 1 (evidente), a cierto * a y a ; PPO.
DE INDUCCIN]

D. PROPIEDAD DISTRIBUTIVA (PRODUCTO RESPECTO SUMA): se demuestra por la
derecha e izquierda.: ( ) ( ) a b c a c b c c a c b c a b + = + = + = + [ext. a 1, a * x y x ;
PPO. DE INDUCCIN]

E. PROPIEDAD CONMUTATIVA. Se demuestra para cualquier :
, , a b a b b a e = [Se extiende a 1, a * x y x ; PPO. DE INDUCCIN; demuestra la
distributiva por la izquierda]

F. PROPIEDAD ASOCIATIVA: Se demuestra para todo :
, , ,( ) ( ) a b c a b c a b c e = [se extiende a 0 y a 1, a * x y x ; PPO. DE INDUCCIN]


3.3. OTRAS PROPIEDADES DE LAS OPERACIONES.
Existen otras propiedades extensibles a todos los conjuntos numricos:
1) No existencia divisores de cero: , , 0 0 0 a b a yb a b e = = = reciproco cierto.
2) Ley simplificacin de la suma: , , , a b c si a b a c b c e + = + = reciproco cierto.
3) Ley simplificacin del producto: , , , a b c si a b a c b c e = = reciproco cierto.

4. ORDEN DE LOS NMEROS NATURALES.

4.1. RELACIN DE ORDEN ESTRICTO EN N: [ ] < relacin de orden estricto.
Dados { } , , 0 / a b a b x a x b e < - e + = , tiene estas propiedades:
1) ANTIREFLEXIVA: Dado { } , 0 / , 0 a No c a c a c e - e + = = a no es menor a a
2) ANTISIMTRICA: Sean , , , ; , a b a b b a b a a b e < < No simultneo
3) TRANSITIVA: Dados , , , a b c a b y b c a c e < < < . De estas propiedades
obtenemos: 4) { } 0 , 0 a a e <
5) , , , a b y a b b a e = < a b <
Demostrable con mayor que [ ] > y compatible con la simplificacin de suma y
producto.

4.2. RELACION DE ORDEN TOTAL EN N. [ ] s menor o igual que;
Relacin de orden total. Dados , , / a b a b x a x b e s - e + = , no
condicin 0 = , tiene estas propiedades:
1) UNICIDAD: Sean , , , ` / ` ` a b con x x a x b ya x b x x e e + = + = =
2) REFLEXIVA: Dado , / 0 a a a a a e s + = a es al menos igual a a .
3) ANTISIMTRICA: Sean , , a b a b y b a a b e s s = Si es simultnea, son iguales.
4) TRANSITIVA: Dados , , , a b c a b yb c a c e s s s . De estas propiedades
obtenemos:
Demostrable con mayor o igual queque [ ] > y demostrar que es de orden total,
es un conjunto totalmente ordenado, con elemento mnimo:
5) Sea , m A y m x x A e s e / , / , A A m A m x x A c = C - e s e
- Es trivial para 0: 0 0 , A y x x A e s e ahora para cualquier subconjunto B
distinto de A: { } / , B z z x x A = e s e subconjunto de elementos menores que los
elementos de A: 0 , 0 A B B A =C e e
*
0 0
/ x B x B - e e
y ese
*
0
x A e
* *
0 0
/ , x A x x x A - e < e y es el mnimo del conjunto A

5. SEMIANILLO DE LOS NMEROS NATURALES.
[ , ] + : Con la operacin interna de la suma y sus propiedades- conmutativa,
asociativa y elemento neutro - forma estructura de semigrupo abeliano (o
conmutativo) con elemento neutro.
[ , ] Con el producto y sus propiedades tiene estructura de semigrupo abeliano de
elemento neutro.
[ , , ] + Uniendo a la suma y producto por la propiedad distributiva; tiene estructura
de semianillo abeliano y unitario.
[ , , , ] + s La relacin [ ] s hace a Estructura de semianillo abeliano, unitario y
totalmente ordenado

6. SISTEMAS DE NUMERACIN.
Los sistemas de numeracin son conjuntos de reglas y smbolos que forman los
nmeros naturales; ya que los otros conjuntos numricos se generan a partir de los
naturales. Tienen su origen en Mesopotamia y Egipto (3.200 A.C.) en tablillas o arcilla.
Se han desarrollado distintos sistemas, destacando los posicionales. Diversos tipos;
Jeroglfico de Egipto: con tres smbolos para cada potencia de 10, no posicional.
-Jnico: con 24 letras del alfabeto griego y 3 smbolos, de base decimal.
-Romano: ms simple con 6 smbolos (memorizacin) importancia histrica y
cultural (sigue en uso)

Desarrollo polinmico del nmero (sistemas de base a, 1 a estricto > ) basado
en potencias de a:
2
xyz xa ya z = + + En general
1 1 0
1 1 0 1 1 0
... ...
n n
n n n n
x x x x x a x a x a x a

= + + + +
El sistema decimal es el ms usado (ventajas para clculo de algoritmos),
destacan los de base 5, 12, 60 y mixtos. Para la informtica: los de base 2 por facilidad
de conversin para las bases 8 y 16. Una base ms pequea permite manejar menor n
de smbolos pero aumenta longitud de escritura.

6.1. TEOREMA FUNDAMENTAL DE LOS SISTEMAS DE NUMERACIN.
Sea la base { } 0 ae para cualquier nmero natural { } 0 xe existe 1
sola forma polinmica:
1 1 0
1 1 0
... 0 1,0
n n
n n n i i n
x x a x a x a x a x a x n y x o

= + + + + s s s s = ,

Demostracin [Necesitamos divisin eucldea de Euler: , , , D d c r e se verifica
que D d c r = + siendo r menor que d]

EXISTENCIA: Si x a <
0
0
x x a = [n menos que la base, es la solucin buscada]
1) Si x a > aplicamos divisin
1 0
x ac x = +
0
, x a <
1
c x <
Si
1 1 0
c a x ac x < = + es la expresin buscada
Si
1
c a > aplicamos divisin a
1
c
2)
2
2 1 0
Si x a c ac x = + +
0
, x a <
2
c x <
Si
2
2 2 1 0
c a x a c ac x < = + + es la expresin buscada
Si
2
c a > aplicamos divisin a
2
c
Deberemos iterar hasta que el ltimo cociente sea menor que la base y obtener
la expresin correcta. Usamos esto para el cambio de base siento las cifras del nmero
los restos de las divisiones y la primera cifra del nmero es el ltimo cociente.
UNICIDAD: Sean dos expresiones para x :
1 1 0
1 1 0
1 1 0
1 1 0
...
` ` ` ... ` `
n n
n n
p p
p p
x x a x a x a x a
x x a x a x a x a

= + + + +

= + + + +

^
Donde p no es igual a n, y las x cumplen las condiciones, aplicando divisin
eucldea, obtenemos:
1 2 0
1 1 1
1 2 0
1 1 1
...
` ` ... `
n n
n n
p p
p p
c x a x a x a
donde
c x a x a x a

= + + +

= + + +

1 0 1 0
` ` r x yr x = = los
restos son iguales y aplicando sucesivas divisiones obtenemos que para cada `
i i
x x =


7. CONCLUSIONES.
Hemos definido a junto a la suma y producto, con sus propiedades,
tomando los Postulados de Peano como partida y llegando con la relacin de orden
total [ ] s a conformarlo como estructura de semianillo abeliano, unitario y totalmente
ordenado. Adems los hemos definido por la relacin de Coordinabilidad de conjuntos
con sus operaciones.
Hemos tratado los sistemas de numeracin de forma general analizando la
existencia y unicidad de los mismo, viendo como obtener la base de cualquier n
natural y como realizar los cambios de base.

8. BIBLIOGRAFA.
- APOSTOL, T. M. Introduccin a la T analtica de nmeros. ED. REVERT
- SPIVAK, M. Calculus. ED. REVERT
- BOYER, C. B. Historia de las Matemticas. ED ALIANZA
- FERNNDEZ NOVOA, J. Anlisis Matemtico. UNED