TEORÍA AXIOMÁTICA DEL NÚMERO NATURAL

Consideraremos el concepto “número natural” como concepto primitivo.

Axioma I Existe un conjunto N, cuyos elementos llamaremos

números naturales. En ese conjunto están definidas las
operaciones llamadas adición (+) y multiplicación (.) que
cumplen las siguientes propiedades:

Adición 1) Propiedad conmutativa

a + b = b + a ; ∀ a,b ∈ N

2) Propiedad asociativa
(a + b) + c = a + (b + c) ; ∀ a,b,c ∈ N

3) Existencia de neutro
Existe un número natural llamado cero (0) que
cumple: a + 0 = 0 + a = a cualquiera sea el número
natural a.
En símbolos: ∃ 0 ∈ N / a + 0 = 0 + a = a ; ∀ a ∈ N

4) Propiedad cancelativa
i ) ∀ a , b , c ∈ N (a + b = a + c ⇒ b = c )
ii) ∀ a , b , c ∈ N ( a + b = c + b ⇒ a = c )

Multiplicación 5) Propiedad conmutativa

ab = ba ; ∀ a,b ∈ N

6) Propiedad asociativa
( ab ) c = a ( bc ) ; ∀ a, b, c ∈ N
7) Existencia de neutro
∃ 1∈ N , 1 ≠ 0 / a1 = 1a = a ; ∀ a ∈ N

8) Propiedad cancelativa
 ab = ac  
i) ∀ a , b , c ∈N  ⇒b=c 
 a≠0  
 ab = cb  
ii) ∀ a , b , c ∈ N  ⇒a=c 
 b≠0  
9) Propiedad distributiva respecto a la adición
i) a ( b + c ) = ab + ac ; ∀ a, b , c ∈ N
ii) ( a + b ) c = ac + bc ; ∀ a, b , c ∈ N
Teorema 1 a) Unicidad del neutro de la adición

b) Unicidad del neutro de la multiplicación

Demostraremos la parte a) y la parte b) queda como ejercicio.

Demostración “El neutro de la adición es único”.

Suponemos que existe un número natural 0 que cumple la
misma propiedad que el 0 y consideramos un número
natural a.
Entonces a+0 =0+a =a
Por el Axioma I, Parte 3: a + 0 = 0 + a = a
Entonces a + 0 = a + 0 ⇒ 0 = 0 ⇒ 0 es el único neutro de
la adición en N •

Teorema 2 Propiedad del absorbente

a 0 = 0 ; ∀a ∈N

Demostración a0 = a ( 0 + 0 ) = a0 + a0
a0 = a0 + 0
Entonces a0 + a0 = a0 + 0 ⇒ a0 = 0 •

Observación Se cumple también que: 0a = 0 ; ∀ a ∈ N

0 a = a 0 = 0 ; ∀ a ∈ N ⇒ 0a = 0 ; ∀ a ∈ N •

Teorema 3 Propiedad hankeliana

ab = 0 ⇒ a = 0 o b = 0

Demostración Caso 1: a = 0 •

Caso 2: a ≠ 0
Por hipótesis: ab = 0
Por teorema 2): a0 = 0
Entonces ab = a 0 y a ≠ 0 ⇒ b = 0 •

Ejercicios Demuestra las siguientes igualdades:

1) x + ( y + z) = z + ( y + x)
2) ( a + b )( c + d) = ac + ad + bc + bd
3) ( ab ) c = b ( ac ) = c ( ba )
Desigualdad en N
Definiciones

Sean a ∈ N y b ∈ N .
1) a > b ⇔ ∃ c ∈N , c ≠ 0 / a = b + c
2) a < b ⇔ b > a ⇔ ∃ d∈N , d ≠ 0 / b = a + d
3) a ≥ b ⇔ ∃ c ∈N / a = b + c (a ≥ b ⇔ a > b o a = b)
4) a ≤ b ⇔ b ≥ a ⇔ ∃ d∈N, / b = a + d (a ≤ b ⇔ a < b o a = b)

Axioma II Propiedad de tricotomía

Dados a ∈ N y b ∈ N , se cumple una y sólo una de estas
tres proposiciones: a < b o a = b o a > b .

Teorema 4 a ≥ 0 ; ∀a ∈ N

Teorema 5 a+b = 0 ⇔ a = 0 y b = 0

Teorema 6 Propiedad transitiva

 a > b 
∀ a, b, c ∈ N   ⇒ a > c
b > c 

Teorema 7 Monotonía de la adición

∀ a,b,c ∈ N ( a > b ⇔ a + c > b + c )

Teorema 8 Monotonías de la multiplicación

 a > b 
a) ∀ a , b , c ∈N   ⇒ ac > bc 
 c ≠ 0 
b) ∀ a , b , c ∈ N ( ab > ac ⇒ b > c )

Teorema 9 Monotonías generalizadas

 a > b 
a) ∀ a , b , c , d∈N   ⇒ a +c > b + d 
 c > d 
 a > b 
b) ∀ a , b , c , d∈N   ⇒ ac > bd 
 c > d 
 a ≥ b 
c) ∀ a , b , c , d∈N   ⇒ a + c ≥ b + d
 c ≥ d 
 a ≥ b 
d) ∀ a , b , c , d∈N   ⇒ ac ≥ bd 
 c ≥ d 
SUSTRACCIÓN

Definición Sean a ∈ N y b ∈ N tales que a ≥ b .

a−b = d ⇔ a = d+b

Observamos que d existe y es un número natural porque a ≥ b .

Teorema 10 a) a − 0 = a ; ∀ a ∈N
b) a − a = 0 ; ∀ a ∈N

Teorema 11 a) (a + b) − b = a ; ∀ a , b ∈ N
b) (a + b) − a = b ; ∀ a , b ∈ N
c) (a − b) + b = a ; ∀ a , b ∈ N / a ≥ b

Teorema 12 Propiedad distributiva de la multiplicación

respecto a la sustracción

a) a ( b − c ) = ab − ac ; ∀ a , b , c ∈ N
b) ( a − b ) c = ac − bc ; ∀ a , b , c ∈ N
Axioma III Axioma de Inducción Completa
Si A es un subconjunto de N que contiene al 0
y, si contiene a k , contiene a ( k + 1) ; entonces A = N .

0∈A 
A ⊂ N cumple: ⇒ A =N
k ∈ A ⇒ ( k + 1) ∈ A 

Teorema “No existen números naturales entre 0 y 1”

“ ∃ x ∈ N / 0 < x < 1”

Otra manera de enunciar el teorema sería: “ z ∈ N y z ≠ 0 ⇒ z ≥ 1”

Consecuencia “ y ∈ N ⇒ ∃ x ∈ N / y < x < y + 1”

Teorema Primer Principio de Inducción Completa

Si P ( n ) es una proposición dependiente de n, con n natural, que cumple que
P ( 0 ) es verdadera y, si P ( k ) es V entonces P ( k + 1) es V , ∀ k ∈ N ; entonces
P ( n ) es V ; ∀ n ∈ N .

P ( n ) es una proposición dependiente de n, con n ∈ N , que cumple:

P ( 0 ) es V 
 ⇒ P ( n ) es V ; ∀ n ∈ N
P ( k ) es V ⇒ P ( k + 1) es V ; ∀k ∈ N

Teorema Segundo Principio de Inducción Completa

n0 es un número natural y P ( n ) es una proposición dependiente de n, con n
natural, que cumple:
P ( n0 ) es V 
 ⇒ P ( n ) es V ; ∀ n ∈ N / n ≥ n0
P ( k ) es V ⇒ P ( k + 1) es V ; ∀k ∈ N / k ≥ n0 