Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Números Naturales
Números Naturales
Carlos S. CHINEA
0 N
2) Existe la llamada aplicacin siguiente
: N N,
:N N:
n N , (n) N
n N , (n) 0
4) La aplicacin siguiente es inyectiva:
1) 0
A= N
2)n (n) A
Resumiendo lo que afirman estos postulados o axiomas, podemos entender que se
trata de un conjunto que tiene un elemento, el cero (Ax.1), que no es siguiente de
ningn otro (Ax. 3), es decir, se trata del primer elemento del conjunto, y todos los
dems elementos tienen cada uno un elemento siguiente (Ax. 2), de modo que dos
Carlos S. CHINEA
(n)
1) 0 , 2) n (n) = N , por Ax.5.
f o = o f
f (0) = g (0) f (n) = g (n), n N
g o = o g
donde hemos llamado Ap (N ) al conjunto de las aplicaciones de N en N.
f , g Ap( N ) /
Demostracin:
Sea = {n N / f ( n) = g ( n)} . Veamos que tal conjunto coincide con N.
Teorema 1.3:
Si dos aplicaciones de N en N, f , g Ap ( N ) , tienen la misma imagen para el cero y
existe alguna aplicacin
de
N en N tal que f o =
o f , g o = o g ,
entonces
f (n) = g (n), n N
Demostracin:
Sea = {n N / f ( n) = g ( n)} . Veamos que tal conjunto coincide con N.
Carlos S. CHINEA
2) S ( (n), m) = S ( n, m) .
Teorema 2.1:
La definicin de suma es nica, es decir, si S1 , S 2 son sumas, entonces S1 = S 2 .
Demostracin:
Definamos dos aplicaciones, f y g, mediante S1 y S2, y veamos a continuacin que
han de coincidir.
Sea f : N N definida para n N , f ( n) = S1 ( n, m), m N
Sea g : N N definida para n N , g ( n) = S 2 ( n, m), m N
Entonces:
f (0) = S1 (0, m) = m
f ( 0) = g ( 0)
g (0) = S 2 (0, m) = m
n N , ( f o )(n) = ( o f )(n) f o = o f
n N , ( g o )(n) = g [ (n)] = S 2 ( (n), m) = [S 2 (n, m)] = [g (n)] = ( o g )(n)
n N , ( g o )(n) = ( o g )(n) g o = o g
Es decir, las dos aplicaciones, f y g, son tales que tienen la misma imagen para el cero
y adems conmutan con la aplicacin siguiente, por lo que, aplicando el teorema 1.2,
f (n) = g (n), n N es decir, S1 (n, m) = S 2 (n, m), n, m N .
NOTACIN: Representaremos en adelante la suma de dos elementos de N, m y n,
en la manera habitual:
S (n, m) = n + m
y las dos condiciones de la definicin seran, con esta notacin:
1) 0 + m = m
2) ( n) + m = ( n + m) .
Teorema 2.2:
Se verifican las propiedades asociativa, conmutativa y cancelativa para la suma de
nmeros naturales:
Propiedad asociativa: a, b, c N , ( a + b) + c = a + (b + c)
Propiedad conmutativa: a, b N , a + b = b + a
Propiedad cancelativa: a, b, c N , a + c = b + c a = b (tambin llamada
propiedad simplificativa de la suma)
Demostracin:
1) Propiedad asociativa: a, b, c N , ( a + b) + c = a + (b + c)
Carlos S. CHINEA
a, b N , a + b = b + a
2.1) Veamos primero que b N , 0 + b = b + 0
= {b N / 0 + b = b + 0}
- 0 , pues 0 + 0 = 0 + 0
- b , (b) + 0 = (b + 0) = (0 + b) = (b) = 0 + (b) (b)
Luego, por Ax.5, es = N , y se verifica que b N , 0 + b = b + 0 .
2.2) Veamos ahora que b N , (0) + b = b + (0)
= {b N / (0) + b = b + (0)}
- 0 , pues (0) + 0 = (0 + 0) = (0) = 0 + (0)
- b , (b) + (0) = (b + (0)) = ( (0) + b) = [ (0 + b)] =
= ( (b)) = (0 + (b)) = (0) + (b) (b)
Luego, por Ax.5, es = N , y se verifica que b N , (0) + b = b + (0) .
2.3)
Veamos finalmente que a, b N , a + b = b + a
= {b N / a + b = b + a, a N }
- 0 , pues a + 0 = 0 + a, a N , por 2.1).
- b , a + (b) = a + (0 + b) = a + [ (0) + b ] = [a + (0)] + b =
= [ (0) + a ] + b = (0) + [a + b] = [0 + (a + b)] = (a + b) =
= (b + a) = (b) + a (b)
Luego, por Ax.5, es = N , y se verifica que a, b N , a + b = b + a .
2) Propiedad conmutativa:
a, b, c N , a + c = b + c a = b
= {c N / a + c = b + c a = b}
- 0 , pues a + 0 = b + 0 0 + a = 0 + b a = b por 2.1).
- c , a + (c) = b + (c ) (c ) + a = (c ) + b (c + a ) = (c + b)
c + a = c + b a + c = b + c a = b . Por tanto, (c)
Luego, por Ax.5, es = N , verificndose la propiedad.
3) Propiedad cancelativa:
P( (n), m) = P(n, m) + m .
Carlos S. CHINEA
Teorema 3.1:
La definicin de multiplicacin es nica, es decir, si P1 , P2 son multiplicaciones,
entonces P1 = P2 .
Demostracin:
Definamos dos aplicaciones, f y g, mediante P1 y P2, y veamos a continuacin que
han de coincidir.
Sea f : N N definida para n N , f ( n) = P1 ( n, m), m N
Sea g : N N definida para n N , g ( n) = P2 (n, m), m N
Definamos tambin
Entonces:
: N N : n N , (n) = n + m, m N
f (0) = P1 (0, m) = 0
f (0) = g (0)
g (0) = P2 (0, m) = 0
n N , ( f o )(n) = f [ (n)] = P1 ( (n), m) = P1 (n, m) + m = [P1 (n, m)] = [ f (n)] =
= ( o f )(n) f o = o f
n N , ( g o )(n) = g [ (n)] = P2 ( (n), m) = P2 (n, m) + m = [P2 (n, m)] = [g (n)] =
= ( o g )(n) g o = o g
Es decir, las dos aplicaciones, f y g, son tales que tienen la misma imagen para el cero
y adems existe una aplicacin de N en N tal que f o = o f , g o = o g , por
lo que, teniendo en cuenta el teorema 1.3, ambas aplicaciones coinciden,
m y n, en la manera habitual:
P(n, m) = n.m
y las dos condiciones de la definicin seran, con esta notacin:
1) 0.m = 0
2) ( n).m = n.m + m .
Teorema 3.2:
Se verifican las propiedades distributiva respecto de la suma, asociativa,
conmutativa y cancelativa para la multiplicacin de nmeros naturales:
Propiedad distributiva respecto de la suma: a, b, c N , a.(b + c ) = a.b + a.c
a, b N , a.b = b.a
Propiedad asociativa: a, b, c N , ( a.b).c = a.(b.c )
Propiedad cancelativa: a, b, c N , a.c = b.c a = b
Propiedad conmutativa:
Demostracin:
1) Propiedad distributiva respecto de la suma:
Carlos S. CHINEA
b N , 0.b = b.0
0 , pues 0.0=0.
- b , 0. (b) = 0, (b).0 = b.0 + 0 = 0.b + 0 = 0 + 0 = 0 (b).0 = 0. (b)
(b) = N , por Ax.5
2.2) Veamos ahora que tambin es b N , (0).b = b. (0)
Sea = {b N / b. (0) = (0).b}, y veamos que coincide con N.
- 0 , pues, por 2.1), es 0. (0) = (0).0 .
- b , (b). (0) = b. (0) + (0) = (0).b + (0) = (0).b + (0). (0) =
= (0)(b + (0) ) = (0)( (0) + b ) = (0) (0 + b ) = (0) (b )
(b). (0) = (0) (b ) (b) = N ,
2.3) Finalmente podemos ver ya que a, b N , a.b = b.a
Sea = {b N / b.a = a.b, a N }
- 0 , pues por 2.1) es 0.a = a.0
- b , (b).a = b.a + a = a.b + a = a.b + a. (0) = a.(b + (0)) = a.( (0) + b) =
= a. (0 + b) = a. (b) (b).a = a. (b) (b)
As, pues, por Ax.5 es = N , cumplindose que a, b N , a.b = b.a
a, b, c N , (a.b).c = a.(b.c)
Sea = {a N / a.(b.c) = (a.b).c, b, c N } y veamos su coincidencia con N.
- 0 , pues 0.(b.c) = 0, y (0.b).c = 0.c = 0 , luego (0.b).c = 0.(b.c)
- a , ( a ).(b.c ) = a.(b.c ) + b.c = ( a.b).c + b.c = c.( a.b) + c.b = c( a.b + b) =
= c.( (a ).b) = ( (a ).b).c (a).(b.c) = ( (a ).b).c (a)
Luego, por Ax.5, es = N , y se verifica que a, b, c N , ( a.b).c = a.(b.c)
3) Propiedad asociativa:
a, b, c N , a.b = a.c b = c a = 0
Consideremos = {a N / a.b = ac b = c a = 0}
- 0 , por definicin de .
- a , ( a ).b = ( a ).c a.b + b = a.c + c a.b + b = a.c + c a.b = a.c b = c , por
la propiedad cancelativa de la suma. Por tanto, a , ( a ).b = ( a ).c b = c , lo
que nos indica que (a ) , y por Ax.5, que = N . Por consiguiente, la
propiedad cancelativa es correcta: a, b, c N , a.b = a.c b = c a = 0 .
4) Propiedad cancelativa o simplificativa:
4. La ordenacin:
De los axiomas de Peano sabemos que todo nmero natural tiene un siguiente.
Veamos, que cualquier nmero natural, salvo el cero, es siguiente de otro nmero
natural, mediante una sencilla proposicin.
Teorema 4.1:
Todo nmero natural distinto del cero es el siguiente de otro nmero natural:
Carlos S. CHINEA
n N / n 0, m N / (m) = n
Demostracin:
Consideremos el conjunto = {n N / n = 0 m N / (m) = n} , y veamos que ha
de coincidir con N usando el axioma 5 de la induccin completa.
- 0 , por construccin de .
- n , m N / ( m) = n ( m) = ( n) ( m) / ( m) = ( n) ( n)
O sea, 1)
Definicin 4.1:
a) Se define la relacin menor o igual que ( ) del modo siguiente:
a, b N , a b q N / a + q = b
b) Se define la relacin mayor o igual que ( ) de la forma:
a, b N , a b b a
c) Se define la relacin menor estrictamente que (< ) :
a, b N , a < b a b a b
d) Se define la relacin mayor estrictamente que (> ) :
a, b N , a > b b < a
Teorema 4.2:
La relacin menor o igual que es relacin de orden, es decir, es reflexiva,
antisimtrica y transitiva.
Demostracin:
a) es reflexiva:
a N , 0 N / a + 0 = 0 + a = a a a
b) es antisimtrica:
a b p N / a + p = b
b = a + p = b + q + p = b + ( p + q) b = b + ( p + q)
q N / b + q = a
b a
p=q=0a=b
c) es transitiva:
a b p N / a + p = b
c = b + q = a + p + q = a + ( p + q) c = a + ( p + q)
b c
q N / b + q = c
( p + q) N / a + ( p + q) = c a c
Corolario 1:
a) La relacin mayor o igual que es tambin relacin de orden.
b) La relacin menor estrictamente que es relacin de orden estricto.
c) La relacin mayor estrictamente que es relacin de orden estricto.
Carlos S. CHINEA
Demostracin:
Es trivial, en los tres casos, a la vista del teorema.
Corolario 2:
Todo nmero natural es estrictamente menor que su siguiente:
Demostracin:
a N , a < (a)
Corolario 3:
El cero es menor estrictamente que cualquier otro nmero natural: 0 < n, n 0
Demostracin:
Por teorema 4.1, n N / n 0, m N / ( m) = n .
Si m = 0 m = 0 m < ( m) = n 0 < (0) 0 < n
Si m 0 p N / ( p ) = m
Demostracin:
Fijemos el elemento a y definamos los tres conjuntos que establecen la tricotoma:
1 = {a}, 2 = {b N / b < a}, 3 = {b N / b > a}. Como veremos, los tres conjuntos
U A siendo
i
i j = , i j . Vemoslo
i =1
N = {0} {b N / b 0} = 1 2 3 ,
1 2 = {0} = ,
1 3 = {0} {b N / b 0} = ,
2 3 = {b N / b < a} {b N / b > a} =
b) Si es a 0 , como es a>0, entonces 0 2
Consideremos el conjunto = 1 2 3 a fin de aplicar la induccin
completa:
- 0 , pues 0 2 .
- b b 1 b 2 b 3
- Si b 1 b = a (b) > b (b) > a (b) 3 (b)
- Si b 2 b < a p N / b + p = a, p 0.
Carlos S. CHINEA
1 2 = {a} {b N / b < a} = ,
1 3 = {a} {b N / b > a} = ,
2 3 = {b N / b < a} {b N / b > a} =
Es obvio que las dos primeras intersecciones son el vaco. Veamos que tambin se
verifica la tercera mediante una reduccin al absurdo. Supongamos que existe un
nmero q 2 3 :
a + p < b + p, p N
a, b N , a < b
a. p < b. p, p N , p 0
Demostracin:
1) a < b q N , q
0 / a + q = b b + p = a + q + p = (a + p) + q a + p < b + q
2) a < b q N , q 0 / a + q = b b. p = ( a + q ). p = a. p + q. p q. p 0
a. p < b. p
Teorema 4.5:
1) p N , a +
p <b+ p a <b
2) p N , p 0, a. p < b. p a < b
Demostracin:
1) a + p < b + p q N , q
0 / b + p = (a + p) + q b + p = (a + q) + p
b=a+qq 0a<b
2) Si a. p < b. p entonces puede darse solamente una de estas tres relaciones:
a = b, a > b, a < b . Vamos a ver que no pueden darse las dos primeras:
- Si a = b a. p = b. p , que no es el caso, luego a b .
- Si a > b a. p > b. p, que tampoco es el caso, luego no a > b
por tanto, por la propiedad de tricotoma, ha de ser a < b
Teorema 4.6:
a + p > b + p, p N
a, b N , a > b
a. p > b. p, p N , p 0
Demostracin:
Trivialmente anloga a la demostracin del teorema 4.4.
Teorema 4.7:
Carlos S. CHINEA
p N , a + p > b + p a > b
2) p N , p 0, a. p > b. p a > b
1)
Demostracin:
Trivialmente anloga a la demostracin del teorema 4.5.
Con estos cuatro ltimos teoremas comprobamos la estabilidad del orden total en N
con respecto a las dos leyes internas, operaciones, definidas antes.
En consecuencia, los cinco axiomas de Peano permiten construir el conjunto N de
los nmeros naturales y establecer su estructura algebraica como la de un
semianillo conmutativo con elemento unidad y totalmente ordenado, en donde es el
cero el elemento neutro de la suma o ley aditiva del semianillo y (0) el elemento
unidad, neutro para la multiplicacin o ley multiplicativa del semianillo.
a N , a + 0 = 0 + a = a
a N , a. (0) = (0).a = a
( N ,+,., ) es semianillo conmutativo con elemento unidad totalmente ordenado.
5. Bibliografa:
Birkhoff, G.-McLane, S.; lgebra Moderna, Vicens Vives, 1974.
Cohn, P.M.; Classic Algebra, John Wiley & Sons, 2001
Garca Merayo, F.; Matemtica discreta, Paraninfo, 2001.
Godement, R.-Melendez Rolla, M.; Algebra, Editorial Tecnos, 1974
Grimaldi, R. P.; Matemtica discreta y combinatoria. Addison-Wesley
Iberoamericana, 1989.
Johnsonbaugh, R.; Matemtica Discreta. Pearson Educacin, 2005.
Rosen, K. H.; Matemtica Discreta y sus aplicaciones. McGraw-Hill, 2004.
Vera Lpez, A. y otros; lgebra abstracta aplicada. 1992.
10