INTRODUCCIN DE LOS NMEROS NATURALES MEDIANTE LOS AXIOMAS DE PEANO

Carlos S. CHINEA

INTRODUCCIN DE LOS NMEROS NATURALES MEDIANTE LOS AXIOMAS DE PEANO

El conjunto N de los nmeros naturales puede ser introducido de forma natural como el conjunto de los cardinales de los conjuntos entre s coordinables, en el sentido de Dedekind:

0 = card ( ), 1 = card ({ }), 2 = card ({ , { }}), ...

sin embargo, resulta equivalente introducirlos desde el punto de vista de un lenguaje formalizado, desde la lgica matemtica, mediante un conjunto de axiomas o condiciones postuladas. En 1989 Giusepe Peano propuso un conjunto de nueve axiomas (que despus de algunas correcciones quedaran en solo cinco) con los cuales es posible deducir en N tanto las propiedades de las operaciones internas de suma y multiplicacin como su orden total. En la presentacin que sigue exponemos los cinco postulados de Peano y la derivacin de las propiedades bsicas para la suma y la multiplicacin en N, as como su ordenacin. 1. Los axiomas de Peano: Se define el conjunto N de los nmeros naturales como un conjunto que verifica las cinco condiciones siguientes: 1) Existe un elemento de N al que llamaremos cero (0), esto es,

0 N
2) Existe la llamada aplicacin siguiente

:N N:

: N N,

n N , (n) N

3) El cero no es imagen por la aplicacin siguiente:

n N , (n) 0
4) La aplicacin siguiente es inyectiva:

n, m NxN , (n) = (m) n = m

5) Se verifica la induccin completa:

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

INTRODUCCIN DE LOS NMEROS NATURALES MEDIANTE LOS AXIOMAS DE PEANO

Carlos S. CHINEA

elementos distintos tienen siguientes distintos (Ax.4). El quinto postulado es de suma importancia por dotarnos de un mtodo de demostracin de propiedades, ya que nos indica que todo conjunto A al que pertenezca el cero, y tal que todo elemento de A tiene siguiente en A, necesariamente ha de coincidir con el conjunto N de los nmeros naturales. Es lo que se acostumbra a denominar mtodo simple de induccin completa. A partir de estas cinco condiciones, y usando sistemticamente el quinto axioma, de la induccin completa, podemos probar todas las propiedades del conjunto N. Teorema 1.1: Ningn nmero natural coincide con su siguiente, n N , n ( n). Demostracin: Sea = {n N / n ( n)}. Veamos que tal conjunto coincide con N.

1) 0 , pues, por Ax. 3, 0 (0)

2) n , n (n) (n) ( ( n)) , por Ax. 4. Luego

En definitiva, vemos que Luego, en todo N se verifica que ningn nmero natural coincide con su siguiente. Teorema 1.2: Si dos aplicaciones de N en N conmutan con la aplicacin siguiente y tienen la misma imagen para el cero, entonces ambas coinciden. Es decir:

(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.

0 , pues por hiptesis del teorema, f (0) = g (0). 2) n , f ( n) = g ( n) [ f (n)] = [g ( n)] ( o f )(n) = ( o g )(n) ( f o )(n) = ( g o )(n) f [ (n)] = g [ (n)] (n) En definitiva, vemos que 1) 0 , 2) n ( n) = N , por Ax.5. Luego, se verifica que f ( n) = g (n), n N .
1) 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

ambas aplicaciones coinciden, esto es,

N en N tal que f o =

f (n) = g (n), n N

o f , g o = o g ,

entonces

Demostracin: Sea = {n N / f ( n) = g ( n)} . Veamos que tal conjunto coincide con N.

0 , pues por hiptesis del teorema, f (0) = g (0). 2) n , ( f o )(n) = ( o f )(n) f [ ( n)] = [ f ( n)] = [g ( n)] = ( o g )(n) = = ( g o )(n) = g [ (n)] n , f [ (n)] = g [ (n)] (n) En definitiva, vemos que 1) 0 , 2) n ( n) = N , por Ax.5. Luego, se verifica que f ( n) = g (n), n N .
1)

INTRODUCCIN DE LOS NMEROS NATURALES MEDIANTE LOS AXIOMAS DE PEANO

Carlos S. CHINEA

2. La suma o adicin de nmeros naturales: Definicin 2.1: Definimos la suma de nmeros naturales como una aplicacin S : NxN N , de modo que para n, m NxN , S ( n, m) N se cumple que: 1) S (0, m) = m 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:

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:

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 , ( f o )(n) = f [ (n)] = S1 ( (n), m) = [S1 (n, m)] = [ f (n)] = ( o f )(n)

f (0) = S1 (0, m) = m f ( 0) = g ( 0) g (0) = S 2 (0, m) = m

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)

INTRODUCCIN DE LOS NMEROS NATURALES MEDIANTE LOS AXIOMAS DE PEANO

Carlos S. CHINEA

Sea = {a N /( a + b) + c = a + (b + c )), b, c N } . Veamos que tal conjunto coincide con N. 0 , pues aplicando la primera condicin de definicin de la suma, es -

(0 + b) + c = b + c y tambin: 0 + (b + c) = b + c , por ello es (0 + b) + c = 0 + (b + c) . a , a + (b + c) = (a + b) + c (a + (b + c) ) = ((a + b) + c ) (a ) + (b + c) = = (a + b) + c (a) + (b + c) = ( (a) + b) + c (a) En definitiva, vemos que 1) 0 , 2) a ( a ) = N , por Ax.5. Luego, se verifica que a + (b + c ) = (a + b) + c, a, b, c N .

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: 3) Propiedad cancelativa:

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. La multiplicacin o producto de nmeros naturales: Definicin 3.1: Definimos la multiplicacin de nmeros naturales como una aplicacin P : NxN N , de modo que para n, m NxN , P(n, m) N se cumple que: 1) P (0, m) = 0 2)

P( (n), m) = P(n, m) + m .

INTRODUCCIN DE LOS NMEROS NATURALES MEDIANTE LOS AXIOMAS DE PEANO

Carlos S. CHINEA

Teorema 3.1: La definicin de multiplicacin es nica, es decir, si P , P2 son multiplicaciones, 1 entonces P = P2 . 1 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) = P ( n, m), m N 1 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) = P (0, m) = 0 1 f (0) = g (0) g (0) = P2 (0, m) = 0 n N , ( f o )(n) = f [ (n)] = P ( (n), m) = P (n, m) + m = [P (n, m)] = [ f (n)] = 1 1 1

= ( 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,

f (n) = g (n), n N es decir, P (n, m) = P2 (n, m), n, m N . 1

NOTACIN: Representaremos en adelante la multiplicacin de dos elementos de N,

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:

a, b, c N , a.(b + c) = a.b + a.c Consideremos = {a N / a.(b + c) = a.b + a.c, b, c N } , y veamos que tal conjunto
coincide con N. - 0 , pues 0.(b + c ) = 0 , y 0.b + 0.c = 0 + 0 = 0 , luego 0 .(b + c ) = 0.b + 0.c -

Demostracin: 1) Propiedad distributiva respecto de la suma:

a , (a ).(b + c) = a.(b + c) + (b + c) = a.b + a.c + b + c = (ab + b) + (a.c + c) = = (a).b + (a).c (a).(b + c) = (a ).b + (a).c (a) En definitiva, vemos que 1) 0 , 2) a ( a ) = N , por Ax.5.

INTRODUCCIN DE LOS NMEROS NATURALES MEDIANTE LOS AXIOMAS DE PEANO

Carlos S. CHINEA

Luego, se verifica que

a.(b + c) = a.b + a.c, a, b, c N . b N , 0.b = b.0

2) Propiedad conmutativa: a, b N , a.b = b.a Sea = {b N / b.0 = 0.b}, y veamos que coincide con N. 2.1) veamos primero que

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
3) Propiedad asociativa:

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) 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:

INTRODUCCIN DE LOS NMEROS NATURALES MEDIANTE LOS AXIOMAS DE PEANO

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)

0 , n (n) , lo que implica que = N , y, por consiguiente, todo nmero natural n distinto del cero es el siguiente de otro nmero natural m, que, adems, es nico, pues por el axioma 4, ( a ) = (b) a = b .

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.

INTRODUCCIN DE LOS NMEROS NATURALES MEDIANTE LOS AXIOMAS DE PEANO

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)

(a) = (0 + a) = (0) + a (0) N / a + (0) = (a ) a (a) por teorema 1.1 sabemos que a (a ) , por tanto: a (a) a (a) 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

p = 0 p = 0 p < ( p) = m 0 < (0) 0 < m < n Si p 0 q N / ( q ) = p

Si Y as, podramos continuar el proceso, con lo que aplicando la propiedad transitiva, encontramos que 0 < n, n 0 . Teorema 4.3: Se verifica la alternativa siguiente:

a, b N , a < b a = b a > b (propiedad de tricotoma). (esto es lo mismo que afirmar que a, b N , a b b a , es decir, que la relacin de rden " es un orden total)

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

son disjuntos dos a dos. El teorema quedar probado si N =

U A siendo
i i =1

i j = , i j . Vemoslo

suponiendo en primer lugar que es a=0 y luego para a 0. en este caso se verifica que verificandose tambin que

a) Si es a=0: 1 = {0}, 2 = , 3 = {b N / b > 0} = {b N / b 0}. Obviamente,

N = {0} {b N / b 0} = 1 2 3 ,

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.

1 2 = {0} = ,

INTRODUCCIN DE LOS NMEROS NATURALES MEDIANTE LOS AXIOMAS DE PEANO

Carlos S. CHINEA

Si p (0) r N / p = r + (0) b + p = b + r + (0)

Si p = (0) b + (0) = a (b) = a (b) 1 (b)

(b + (0)) + r = a (b) + r = a (b) < a (b) 2 (b) - Si b 3 b > a (b) > b > a (b) > a (b) 3 (b) En definitiva, b (b) . En consecuencia es = N por el axioma 5.
Verificndose que

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 :

1 2 = {a} {b N / b < a} = ,

q 2 3 q 2 q 3 q < a q > a q > q lo que es absurdo.

Teorema 4.4:

a + p < b + p, p N a, b N , a < b a. p < b. p, p N , p 0

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 +

Demostracin: 1) a < b q N , q

p <b+ p a <b 2) p N , p 0, a. p < b. p a < b

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:

Demostracin: 1) a + p < b + p q N , q

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:

INTRODUCCIN DE LOS NMEROS NATURALES MEDIANTE LOS AXIOMAS DE PEANO

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