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 .

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 ) ⇒
Ax .4
x = y Absurdo (contradice
Hipótesis)

∴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
 ⇒ ∀ x ∈ ¥ , sg ( x ) ≠ x
Ax .3 .5

x ∈ C ⇒ sg ( x ) ≠ x ⇒ sg ( sg ( x ) ) ≠ sg ( x ) ⇒ sg ( x ) ∈ C  
Teo .1  
C = { x / x ∈ ¥ ∧ sg ( x ) ≠ x} 
Teorema 3:

∀ x ∈ ¥ , x ≠ 0, ∃ y ∈ ¥ / x = sg ( y )

Dem: Sean C = { x / x verifica el teorema} y C´= C ∪ { 0}

• 0 ∈ C´ ( trivial )  
 
  ⇒ C´= ¥ 
• Sea x ∈ C´; sg ( x ) = sg  {x  ⇒ sg ( x ) ∈ C ⇒ sg ( x ) ∈ C´ Ax.5 
123  y  ∀ x ∈ ¥ , x ≠ 0 se

 ⇒ 
x

C´= C ∪ { 0}  verifica el teorema


0∉C 
C = { x / x verifica el teorema} 

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 osg −1 ) ( x ) = Id ( x ) = x

(La composición de funciones inversas es la identidad)

 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:

a) Existencia:

Sea
 x ∈ ¥ / ∃ f x : { x} × ¥ → ¥ que cumple : ( i ) fx ( ( x, 0) ) = x 
H = 
 ( ii ) f x ( ( x, sg ( y) ) ) = sg ( fx ( ( x, y) ) ) ∀y ∈ ¥ 

*H ⊂ ¥ ( 1)

* 0 ∈ H pues basta definir f 0 : { 0} × ¥ → ¥ tal que f 0 ( (0, y ) ) = y ∀ y ∈ ¥

( i ) f 0 ( ( 0, 0 ) ) = 0
( ii ) f 0 ( ( 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 ( fx ( ( x, y ) ) ) .

Entonces:
( i) f sg ( x ) ( ( sg ( x ), 0 ) ) = sg ( fx ( ( x, o) ) ) = sg ( x)
H .I

( ii ) ( ) ( ) (
f sg ( x ) ( ( sg ( x), sg ( y ) ) ) = sg fx ( ( x, sg ( y ) ) ) = sg sg ( fx ( ( x, y ) ) ) = sg fsg ( x )
H .I
( ( sg ( x), y ) ) )
⇒ sg ( x) ∈ H ( 3)

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 ∈ ¥ .

b) Unicidad:

Consideremos que existen dos aplicaciones

f : ¥ × ¥ → ¥ y g : ¥ × ¥ → ¥ que satisfacen las condiciones ( 1) y ( 2 ) .

Para cada x ∈ ¥ definimos:

H x = { 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:

( 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 ) neutro
= sg ( x + 0 ) = x + sg ( 0 ) = x + 1 ⇒ sg ( x ) = x + 1
+

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)
*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}

*H ⊂ ¥ ( 1)

* 0 ∈ H pues 0 + y Obs
= y = y+0
.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 = ¥