Ce.R.P.

del Centro Área Matemática

NÚMERO NATURAL

TEORÍA AXIOMÁTICA DE PEANO

Los Elementos de Euclides (siglo III A.C.) constituyen un remoto y magnífico intento
de desarrollar la Geometría como sistema deductivo. Tales intentos no se dan en la aritmética
sino hasta épocas relativamente recientes. Aún desarrolladas de modo más o menos informal las
ampliaciones del concepto de número para obtener a partir de los números naturales (0, 1, 2,
3,…..) clases cada vez más amplias de números (enteros, racionales, reales, complejos,…),
durante gran parte del siglo XIX el concepto de número natural aparecía como algo tan simple
y transparente a la mente, que parecía difícil analizarlo o referirlo a otros conceptos más
simples. En este sentido afirma L. Kronecker: “el número natural fue creado por dios; todo lo
demás es obra del hombre”

G. Peano (1858 – 1932) y R. Dedekind (1831 – 1916) fundamentaron el número natural

en cinco axiomas, a partir de los cuales desarrollan el estudio de propiedades, operaciones, etc.

Conceptos primitivos

1) Un conjunto cuyos elementos se llaman “números naturales”.

2) Un objeto matemático llamado “cero” e indicado por el símbolo 0.

3) Una relación binaria en (o sea de en ) denotada por “es siguiente de” o por el
símbolo “ sg ”. Dado un elemento x  , un elemento de que estén esa relación con
él se llamará “siguiente de x ” y se indicará “ sg  x  ”.

Los conceptos primitivos anteriores se caracterizan implícitamente por las siguientes

proposiciones llamadas

Axiomas de Peano:

Axioma 1: 0

Axioma 2: Si x  , existe y es único sg  x  

Axioma 3:  x  , sg  x   0

Axioma 4: Si sg  x   sg  y  , entonces x  y .

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

Axioma 5: (Axioma de I.C.)

H 

0 H  H 
x  H  sg  x   H 

Observaciones:

 El axioma 2 expresa que la relación sg es una función de en ; el axioma 4

expresa que esta función es inyectiva; de los axiomas 1 y 3 se deduce que no es
sobreyectiva, pues un elemento de , indicado por 0, queda fuera de su recorrido.

 Un conjunto H  se llama inductivo si verifica: x  H  sg  x   H . Con esta

definición el axioma 5 puede enunciarse: “Un subconjunto inductivo de que
contenga a 0 es todo ”.

Teorema 1:

x y  sg  x   sg  y 

Dem

Supongamos que: sg  x   sg  y   x  y Absurdo (contradice Hipótesis)

Ax.4

x y  sg  x   sg  y 

Teorema 2:

sg  x   x  x 

Dem
 
Sea C   x / x   sg  x   x  C   
 
por Ax.1: 0   sg  0   0  0  C  C 
Ax.3

Ax .5
   x  , sg  x   x
x  C  sg  x   x  sg  sg  x    sg  x   sg  x   C  
Teo.1  
C   x / x   sg  x   x 


Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

Teorema 3:

 x  , x  0,  y  / x  sg  y 

Dem

Sean C   x / x verifica el teorema y C '  C  0

*C '  1
*0  C '  2
*B.I : sg (0)  , sg (0)  0   0  / sg (0)  sg (0)  3
*H.I : x  C ', x  , x  0   y / x  sg ( y )
T.I : sg ( x)  , sg ( x)  0   y / sg ( x)  sg ( y )

Dem

Por H .I : x  sg ( y)  sg ( x)  sg (sg ( y))  sg ( x)  C '  4

De 1 ,  2  ,  3 y  4  por el Axioma 5: C ' 

y por el Axioma 5: C ' 

C '  C  0

  x  , x  0 se verifica el teorema.
0C 


Notación: 
  0

Corolario 1:

El “ y ” del Teorema 3 es único.

Dem

Por Ax. 4 y Teo. 3:

sg  x  :  
es biyectiva   sg 1 : 
 biyectiva  llamada precedencia 
diremos que x  pr  y  (“ x precede a y ” o “ x es precedente de y ”)

x  pr  y   sg  x   y

Corolario 2:

 x *
: sg  pr  x    x

Dem sg  pr  x    sg  sg 1  x     sg sg 1   x   Id  x   x (La composición de

funciones inversas es la identidad)

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

SUMA Y PRODUCTO

Teorema 4:

Sea la aplicación f :   tal que para todo par ( x, y)    f ( x, y)  , se

verifica:

1 f  x, 0   x  x 
 2  f  x, sg ( y)   sg  f ( x, y )   x, y 

Veamos que esta aplicación existe y es única.

Dem

Existencia

 x /  f x :  x   que cumple :  i  f x   x, 0    x 
Sea H   


  ii  f x   x, sg ( y)    sg  f x  ( x, y)   y  


*H  1
* 0  H pues basta definir f 0 : 0   tal que f 0  (0, y)   y  y 

 i  f0   0, 0    0
 ii  f0   0, sg ( y)    sg ( y)  sg  f 0  (0, y)    y  2
*H.I: Supongamos ahora que x  H , esto es, existe f x :  x   que verifica:

 i  f x   x, 0    x
 ii  f x   x, sg ( y)    sg  f x  ( x, y)  
T.I: sg  x   H

Dem
Definimos la aplicación:

f sg ( x ) : sg ( x)   tal que f sg ( x )  sg ( x), y   sg  f  ( x, y)  .

x

Entonces:

i  f sg ( x )   sg ( x), 0    sg  f x  ( x, o)    sg ( x)
H .I

 ii  f sg ( x )   sg ( x), sg ( y)    sg  f x   x, sg ( y )    H.I sg  sg  f x  ( x, y )     sg  f sg ( x )   sg ( x), y   

 sg ( x)  H  3

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

De 1 ,  2  y  3 y por el Axioma 5: H 

Como esto se verifica para cada x  , siempre existe f x :  x   para todo x 

entonces podemos garantizar que existe f :   tal que:

f  ( x, y)   f x  ( x, y)  x, y  .

Unicidad

Consideremos que existen dos aplicaciones f:   y g:   que

satisfacen las condiciones 1 y  2  .

Para cada x  definimos:

Hx  y  / f ( x, y)  g ( x, y) con x  fijo

* Hx  1
* 0  H x , puesto que f  x, 0   x  g  x, 0   2 
1 1

*H.I: y  H x

T.I: sg ( y)  H x

Dem

f  x, sg ( y)   sg  f  x, y   x  sg  g  x, y   g  x, sg ( y) 
H .I

 sg ( y)  H x  3

De 1 ,  2  y  3 y por el Axioma 5: H x 

Como este razonamiento es válido para cada x  podemos concluir que

f ( x, y)  g ( x, y)  x, y  , esto es f  g .

Definición:

A la aplicación anterior se la conoce con el nombre de adición o suma de números naturales

y se simboliza con el signo de “  ”.

Así puede definirse la adición de números naturales como una operación  :   tal
que para cada par de números naturales  x, y  existe un único número natural x  y tal
que:

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

1 x  0  x
 2  x  sg ( y)  sg ( x  y)
Teorema 5: Propiedad Asociativa de la Suma

 x, y, z  : x  y   z  x   y  z 

Dem: Haremos inducción sobre z .


Sea H  z  /  x  y   z  x   y  z  , con x, y  fijos

*H  1
* 0  H , pues  x  y   0  x  y  x   y  0   2
*H.I: z  H

T.I: sg ( z )  H

Dem

 x  y   sg ( z )  sg  ( x  y)  z  H.I sg  x   y  z   definición
 x  sg  y  z   x   y  sg ( z ) 
definición
suma suma

 sg ( z )  H  3

De 1 ,  2  y  3 y por el Axioma 5: H 

Definición 4:

El número sg  0  se llama uno y se indica “1”.

Observaciones:

1) sg  x   sg  x  0   x  sg  0   x  1  sg  x   x  1
neutro 

2) Teorema:

 x  : 1  x  sg ( x)

Dem

Sea H   x  / 1  x  sg ( x)

*H  1
* 0  H , pues 1  0  1  sg (0)  2
6

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

*H.I: x  H

T.I: sg ( x)  H

Dem

1  sg ( x)  sg (1  x)  sg  sg (1  x) 
definición H .I
suma

 sg ( x)  H  3
De 1 ,  2  y  3 y por el Axioma 5: H 

3) Teorema:

x : 0 x  x

Dem

Sea H   x  / 0  x  x

*H  1
* 0  H , pues 0  0  0  2
*H.I: x  H

T.I: sg ( x)  H

Dem

0  sg ( x)  sg (0  x)  sg ( x)
definición H .I
suma

 sg ( x)  H  3
De 1 ,  2  y  3 y por el Axioma 5: H 

Teorema 6: Conmutativa de la Suma

 x, y  : x  y  y  x

Dem: Haremos inducción en x .

Sea H   x  / x  y  y  x, con y  fijo

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

*H  1
* 0  H pues 0  y  y  y  0
Obs .3
 2

*H.I: x  H

T.I: sg ( x)  H

Dem

y  sg ( x)  y  ( x  1)  ( y  x)  1  ( x  y )  1  x  ( y  1)  x  (1  y ) 
asociativa H .I asociativa Obs.2 asociativa
suma suma suma

( x  1)  y  sg ( x)  y

 sg ( x)  H  3
De 1 ,  2  y  3 y por el Axioma 5: H 

Teorema 7:

y  z  x  y  x  z x

Dem

Sea H  x  / x  y  x  z con y, z  fijos  y  z

 H por def de H

 Si x  0 0  y  y 

0 z  z   0  y  0  z  0 H
por def. y  z 

 Si x  H  sg ( x)  H

Dem

Si x  H  x  y  x  z  sg ( x  y )  sg ( x  z )  sg ( y  x)  sg ( z  x) 
por teo 1 conmutativa por teo 4

 y  sg ( x)  z  sg ( x)  sg ( x)  y  sg ( x)  z  sg ( x)  H  H 
conmutativa

Corolario: Propiedad cancelativa de la suma.

x y  xz  y  z

Dem

Sup. yz  x  y  x  z (contradice Hip.)

Teo.7

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

Teorema 8:

Sea la aplicación f :   que cumple:

1 f ( x, 0 )  0

 2 f ( x, sg ( y) )  f ( x, y )  x

Existencia


x  /  f x :  x   que cumple (1) f x   x, 0    0 

Sea H   

 (2) f x   x, sg ( y)    f x   x, y    x  y  


 H por def de H

 Si x  0 me defino f 0 : 0   / f0   0, y    0 veamos que esta función cumple

*1

(1) f 0  0, 0   0
*1

(2) f
0   0, sg ( y)    0 *1
 f 0   0, y    0
neutro

0  H

 Si x  H  sg ( x)  H

Dem

Sea f sg ( x ) : sg ( x)   / f sg ( x )   sg ( x), y    f x   x, y    y veamos que esta función

cumple:

(1) f sg ( x )  sg ( x), 0  por def

 f x   x, 0    0  0
por def
de f sg ( x ) de f x

(2)
f sg ( x )   sg ( x), sg ( y )    f x   x, sg ( y )    sg ( y )  f x   x, y    x  sg ( y ) 
por def por def
de f sg ( x ) de f x

 f x   x, y      x  sg ( y )    f x   x, y    sg  x  y   f x   x, y    sg  y  x  
asociativa por def conmutativa
de suma

 f x   x, y    y  sg  x   f sg ( x )   sg ( x), y    sg  x   sg ( x)  H  H 
por def por def
de suma de f sg ( x )

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

Como esto se verifica para cada x  ; siempre existe f x :  x   para cada

x entonces podemos garantizar que existe f :   definida como

f  ( x, y)   f x   x, y    x, y  .

Unicidad

Sean f y g ambas de   que satisfacen 1 y  2  .

Sea H x  y   /f  x, y   g  x, y  , con x  fijo.

 Hx  por def de H x

 Si y  0

f   x, 0    0
  f   x, 0    g   x , 0    0  H
g   x, 0    0 


 Si y  H x  sg ( y)  H x

Dem

f  ( x, sg ( y))   f  ( x, y)   x  g   x, y    x  g   x, sg ( y)    sg ( y )  H  H   f g
por (2) por hip. por (2)

Como este razonamiento es válido para cada x podemos concluir que

f  x, y   g  x, y    x, y  , esto es f  g .

Definición 3:

A la aplicación anterior se la conoce como la multiplicación de números naturales y se

la simboliza con “.”.

Así pues puede definirse el producto de números naturales como una operación
  tal que para cada par de números naturales  x, y  existe un único número natural
x. y tal que:

1 x.0  0

 2 x.sg ( y)  x. y  x

10

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

Teorema 10:

0. y  0  y 

Dem

Sea H   y  / 0. y  0

 H por def de H

 Si y  0 0.0  0  0 H
por def
de producto

 Si y  H  sg ( y)  H

Dem

0.sg ( y)  0. y  0  0  0  0  sg ( y)  H  H 
por def por hip.
de producto

Teorema 11:

x. y  y  sg ( x). y  x, y 

Dem

Sea H   y  / x. y  y  sg ( x). y, x  fijo

 H por def de H

 Si y  0 x.0  0  0  0  0 
  x.0  0  sg ( x).0  0  H
sg ( x).0  0 

 Si y  H  sg ( y)  H

Dem

x.sg ( y )  sg ( y )  ( x. y  x)  sg ( y )  sg (( x. y  x)  y )  sg ( xy  ( x  y ) 
por def por def asociativa
de producto de suma

 sg (( x. y  y )  x)  xy  y  sg ( x)  sg ( x). y  sg ( x)  sg ( x).sg ( y )  sg ( y )  H 
conmutativa por def por hip.
asociativa de suma

H 

11

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

Teorema 12:

x. y  y.x  x, y 

Dem

Sea H   x  / x. y  y.x, y  fijo

 H por def de H

0. y  0

por teo ante
Si x  0

y.0  0  0. y  y.0  0  H
por def 
de producto 

 Si x  H  sg ( x)  H

Dem

y.sg ( x)  y.x  y  x. y  y  sg ( x). y  sg ( x)  H  H 

por def por hip. por teo ante
de producto

Observaciones:

x . sg  0   x .0  x  
por def  
de producto
  x .1  x .0  x  x .1  0  x  x .1  x 
sg  0   1 
por def
de producto
neutro


x .1  1. x 

x .1  1. x  x  1 es el neutro de la multiplicación.

Teorema 13: Distributividad de la multiplicación a la izquierda respecto de la suma.

x  y  z   x y  x z x, y, z 

Dem

Sea H   z  / x.( y  z )  x. y  x.z, x, y  fijos

 H por def de H

 Si z  0 x.( y  0)  x. y 
  x.( y  0)  x. y  x.0  0  H
x. y  x.0  x. y  0  x. y 

 Si z  H  sg ( z )  H

12

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

Dem

sg ( z )  z  1

x. y  x.( z  1)  x. y  x.z  x  x.( y  z )  x  x.(( y  z )  1)  x.( y  ( z  1)) 

por def por hip. por hip. asociativa
de producto

 sg ( z )  H  H 

Corolario: Distributividad de la multiplicación a la derecha respecto de la suma.

 y  z x  y x  z x  x, y, z 

Dem

( y  z ).x  x.( y  z )  x. y  x.z  y.x  z.x

conmutativa por teo anterior comnutativa

Teorema 14: Asociatividad de la multiplicación

 x y z  x  y z x, y, z 

Dem

Sea H   z  / ( x. y ).z  x.( y.z ), x, y  fijos

 H por def de H

 Si z  0 ( x. y ).0  0 
  ( x. y ).0  x.( y.0)  0  H
x.( y.0)  0

 Si z  H  sg ( z )  H

Dem

( x. y).( z  1)  x. y.z  x. y  x.( y.z  y)  x( y.( z  1))  sg ( z )  H  H 

por def
de producto

13

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

ORDEN
Definición 5:

Dados x, y  , diremos que “ x es menor o igual que y ”:

x  y  u / xu  y

Si además x  y (o sea u  0 ), diremos que “ x es menor que y ” ( nt : x  y ).

Definición 6:

Si x, y  , definimos:

 yx  x y (mayor o igual)

 yx  x y (mayor)

Teorema 13: Tricotomía

 x, y  , se verifica una y sólo una de las siguientes proposiciones:

x  y, x  y, y  x

Dem
Sea x fijo, definimos W del siguiente modo:
W   y tal que y  yx  yx  x y 

Demostraremos por inducción completa en y, es decir tengo que probar que existe h  tal que:
x  y  h o y  x  h. Si h  0 es x  y

1) W  por definición de W .

2) Para y  0. Como x  0  h por Existencia del neutro a la izquierda es x  h.

Tomo x  h y encontré un natural x que sumado a 0 nos da x, entonces y  0  W .

3)
H)Inducción
y  W . Es decir:  h  tal que x  y  h o y  x  h

T)Inducción
sg  y   W . Es decir:  k  tal que x  sg  y   k o sg  y   x  k

14

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

Demostración: Distinguiremos aprovechando la hipótesis los dos casos siguientes:

a) x  y  h, h  0 x  y
Tomo h  sg  k  porque todo natural distinto de cero es el siguiente de un natural.
 x  y  sg  k  = y   k  1 =  y  1  k def.4
= sg  y   k
def.4 Asociativa y
Conmutativa de la
suma.

 sg  y   W

b) y  x  h  y  x
Aplicamos la función siguiente en ambos miembros de la igualdad:
sg  y   sg  x  h  = x  sg  h  con sg  h    sg  y   W
Def.suma

 W=

Teorema 14

La relación  es de orden amplio; es decir, verifica las siguientes propiedades:

i. Reflexiva: x  x  x 

Dem

 x : x  0  x  def .2  

  x
 def : xx
0 
 .5

ii. Antisimétrica: x  y  y  x  x y

Dem Sup. x  y

por H ) : x  y  
  x y
x  y  def .5 
 x y  y  x  contradice Teo.13
por H ) : y  x 
 y  x
 def
x  y  .5 


 x  y es falso  x  y

iii. Transitiva: x  y  y  z  xz

15

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

Dem

x  y   u  / x  u  y
 
por H  :      x  u   v  z Teo
 x  u  v   z
def .5

def .5
 y  z  v / y v  z  .5
 def .5  

 xz
def .5

Corolario: La relación  es de orden amplio.

Observación: También se demuestra que las relaciones < y > son de orden estricto, es decir
que cumple las propiedades: Areflexiva, Asimétrica, Transitiva.

Teorema 15: Monotonía de la suma

i. x  y  xz  yz

ii. x  y  xz  yz

Dem

i. por H  x  y  u  0 / x u  y  x  u  z  y  z 
def .5
cancelativa
 LCI 


 x  u  z   y  z  x  z  u  y  z   x  z   u  y  z 
asociat . conmut . asociat .

u 0 

 x z  y z

ii. Dem. análoga.

Teorema 16:  x , x  0

Dem


x  0 1

x  ó
x  0  u / x  sg  u   u  1  x  1
 Obs
Def . 4 
Teo.3 .2


x 1 

1  sg  0   0  1  1  0  1   x0  2
  1  0 transit .
1  0  

1   2  x  0 ó x  0  x  0  x
16

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

Corolario 1: x  x  0  x 1

Corolario 2: x, y  ; y  x  y  x  1

Dem

y  x  u , u  0 / y  x u 

 y  x 1
u  0  u  1  x  u  x  1 
Cor .1 monot . 

Corolario: Si x, y  , se verifica: x y  yx  x y

Dem Sup. x  y

por H ) : x  y  
  x y
x  y  def .5 
 x y  y  x  contradice Teo.13
por H ) : y  x 
 y  x
 def
x  y  .5 


 x  y es falso  x  y

Teorema 14: (Transitiva)

x, y  ; x  y 
  xz
y  z

Dem

x  y   u  / x  u  y
 
por H  :      x  u   v  z Teo
 x  u  v   z
def .5

def .5
 y  z  v / y v  z  .5
 def .5  

 xz
def .5

17

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

Teorema 15:

La relación  es de orden amplio; es decir, verifica las siguientes propiedades:

iv. Reflexiva: x  x  x 

v. Antisimétrica: x  y  y  x  x y

vi. Transitiva: x  y  y  z  xz

Dem

 x : x  0  x  def .2  

i.   x
 def : xx
0 
 .5

ii. Demostrada en el corolario del Teo. 13

iii. Teorema 14.

Corolario: La relación  es de orden amplio.

Observación: También se demuestra que las relaciones < y > son de orden estricto.

Teorema 16: (Monotonía de la suma)

iii. x  y  xz  yz

iv. x  y  xz  yz

Dem

iii. por H  x  y  u  0 / x u  y  x  u  z  y  z 
def .5
cancelativa
 LCI 


 x  u  z   y  z  x  z  u  y  z   x  z   u  y  z 
asociat . conmut . asociat .

u 0 

 x z  y z

iv. Dem. análoga.

18

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

Teorema 17:  x , x  0

Dem


x  0 1

x  ó
x  0  u / x  sg  u   u  1  x  1
 Obs
Def . 4 
Teo.3 .2


x 1 

1  sg  0   0  1  1  0  1   x0  2
  1  0 transit .
1  0  

1   2  x  0 ó x  0  x  0  x

Corolario 1: x  x  0  x 1

Corolario 2: x, y  ; y  x  y  x  1

Dem

y  x  u , u  0 / y  x u 

 y  x 1
u  0  u  1  x  u  x  1 
Cor .1 monot . 

Teorema de Buena Ordenación

Todo conjunto de naturales no vacio tiene mínimo.

A 
  m  / m  min( A)
A  

Dem

Si 0  A : Como A   
  a  0 a  A
n  , n  0   0  min( A)
Como 0  A 

Si 0  A : Consideraremos H  x  ; x  a a  A

19

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

0 1 ...

H A

Tengo que probar que H tiene un “último” elemento x 0 y su siguiente x0+1 es el mínimo de A.

0 H  
 
Supongo que x  A, x  1  H  Ax. H   A H  A 
 Completa
Ind.
Ademas por definición de H: H   

Por definición de H: H  A   
Por Hipótesis: A   A   A




 A   (Absurdo) Contradice hipótesis.

Lo que supuse es falso (x  H , x  1 H )

 x0  H , x0  1 H

Tengo que probar ahora que x0  1  min( A)

Como x0  H  x0  a a  A  x0  1  a a  A

(1) 
Por otro lado x0  1  H  x0  1  a a  A 

 a0  A, x0  1  a0  x0  1 A
(2)

De (1) y (2): x0  1  min( A)

Observaciones:

 m se llama mínimo del conjunto A .

 En otras palabras, hemos demostrado que es un conjunto bien ordenado. (Decimos

que un conjunto es bien ordenado si todo subconjunto no vacío del mismo tiene
mínimo).

20

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

Teorema 17: Sean x, y  ; x  0  y  0  x. y  0

Dem

y0  y0  u  / y  sg  u   x . y  x . sg  u  
Teo.3 Teo.9

 x . y  x .u  x  x  0  x. y  0
def .5  H) transit.


Corolario : (Inexistencia de divisores de cero)

Sean x, y  ; x  0  y  0  x. y  0

Dem

Por Teo. 15, en decir   0 equivale a decir   0 , lo cual lo reduce al Teorema 17.

Teorema 18:

Sean x, y  ; x  y 
  x. z  y. z
Sea z  ; z  0 

Dem:

x y  x y  x y

 x  y   u  , u  0 / x  y  u  z x  z  y  u 
Teo.10



 z x  z y  zu 

  zxzy  zx zy
 H ) z  0 
  z u  0
u  0 Cor .Teo.17 

 x y (dem. análoga)

Corolario : (Prop. Cancelativa de la multiplicación)

Sean x, y, z  ; z . x  z . y 
  x y
z0 

Dem:

Supongo x  y 
  z x  z y (Contradice hipótesis)
Por hipótesis: z  0 Teo.18

21

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.
Ce.R.P. del Centro Área Matemática

INDEPENDENCIA

Para probar que cada uno de los axiomas de Peano es independiente de los demás,
construiremos modelos consistentes en los que valgan los demás axiomas y el opuesto del que
se estudia:

Axioma 1.

Reemplazado el conjunto por  0 se cumplen todos los axiomas excepto el 1. Queda
probada así la independencia del axioma 1 con respecto a los demás.

Axioma 2.

Sea  0,1, 2 con sg  0   1, sg 1  2 . Satisface los axiomas 1, 3, 4 y 5 pero no el 2,

pues no existe el siguiente de 2.

Axioma 3.

 0,1, 2 con sg  0  1, sg 1  2 , sg  2   0 satisface los axiomas 1, 2, 4 y 5 pero no

el 3.

Axioma 4.

El conjunto  0,1 con sg  0   sg 1  1 verifica los axiomas 1, 2, 3 y 5 pero no el 4

Axioma 5.

Sean  x / x es racional no negativo y sg  x   x  1 .

Consideremos el conjunto H   x / x es entero no negativo

H 

0 H  sin embargo H 
x  H  sg  x   H 

22

Álgebra 4° año Prof. Cecilia Mir

Modificaciones de: Lucía Andrade, Pierina Costa, Nadia Irureta, Ana Laura Machado.