Una estructura axiomática para números naturales ( )

Axioma I. Existe un conjunto , cuyos elementos llamamos naturales tales que:

i) 0 y 1 son dos elementos distintos que pertenecen a .
ii) En están definidas dos operaciones binarias: Adición
( + :  → ) y la multiplicación ( :  → ) que cumplen las
siguientes propiedades:
P1 ) Conmutativa. Sean a y b dos números naturales cualesquiera
a + b = b + a

a b = b a

P2 ) Asociativa. Sean a, b y c números naturales cualesquiera

( a + b ) + c = a + ( b + c )

( a b ) c = a ( b c )

P3 ) Existencia de Neutro

 a ( a + 0) = a "0" es el neutro aditivo

a  ( a 1) = a "1"es el neutro del producto

P4 ) Cancelativa. Sean a y b dos números naturales cualesquiera

c  a+c =b+c  a =b

c  a c=b ca=b
*

P5 ) Distributiva de la multiplicación respecto de la adición

Sean a, b y c números naturales cualesquiera
a (b + c ) = a b + a c

Teorema: Absorción: “Todo numero natural multiplicado por cero da producto cero”

H) a   T) a 0 = 0

Demo.: 0 + x = x  a (0 + x) = a x  a 0 + a x = a x  a 0 + a x = 0 + a x  a 0 = 0
P4 P5 P3 P4

Teorema: Propiedad Hankeliana: “Si un par de números naturales tiene como producto
el cero entonces uno de ellos es cero”

H) a, b  ; a b = 0
T) a = 0 o b = 0

Demo:
i) Si a = 0  0 b = 0 lo cual es cierto por el teorema anterior.
por H
 ii) Si a  o  a b = 0  a b = a 0  b = 0
por H por teo ant P4

Axioma II. Sean a y b números naturales cualesquiera, se cumple una y sólo una de las
siguientes proposiciones
a=b ó x  , x  0 / a + x = b ó y  , y  0 / b + y = a

Relación de Orden en

Definición: a  b  x  *
/a+ x =b
Definición: a  b  b  a

Propiedades:
1) Transitiva. Sean a, b y c números naturales cualesquiera
ab  bcac

2) Tricotomía. Cualesquiera sean a y b se cumple una y sólo una de las

siguientes proposiciones.
a=b ó ab ó ab

3) Monotonía.
Suma: a  b  a + c  b + c a, b, c 
Producto: a  b  a c  b c a, b, c  yc0

4) x  *
0 x

Algunas consideraciones:
i) Del axioma I es inmediato que la suma de dos números naturales es otro
natural, puesto que se asume que adición es una operación binaria en .
Esto implica que como 0,1  ( 0 + 1)  además 0 + 1 = 1 es decir 1 .
1,1  (1 + 1)  sí anotamos por 2 a ( 1 + 1 )  2  . Así sucesivamente
incluiríamos los símbolos 3, 4, …
En particular si n   ( n + 1)  y llamamos siguiente de n al natural n+1
ii) Asumamos que 1>0 (cosa que se demostrará como ejercicio del práctico
Nº2). Entonces se tendría 1  0  1 + 1  0 + 1  2  1 así 3>2, ….
monotonia 1+1= 2
de la suma S3

Además n  ;1  0  1 + n  0 + n  1 + n  n . Es decir, todo número

monotonia S3
de la suma

natural es menor que su siguiente.

Definiciones:
i) Sustracción
Para todo par de números naturales a, b tales que a  b se define
sustracción de b con a, al número natural r tal que b − a = r  sí
b=a+r.
ii) División entera entre naturales.
 Llamaremos división entera de a (dividendo) entre b (divisor)
( b  0 y a  b ) al procedimiento con el cual se determinan dos
números naturales q (cociente) y r (resto) tal que:
i) a = b.q + r
ii) r  b

Axioma III. (Axioma de Inducción Completa)

Sea A  tal que:
1) 0  A 
 A=
2) x  A  ( x + 1)  A
Obs. El conjunto A recibe el nombre de conjunto inductivo, entonces el axioma III
asegura que no existe un conjunto inductivo “menor” que

Teorema: “Principio de Inducción Completa”

H) P( n ) es una proposición relativa a un natural de la que se sabe:

i) P(0) es verdadera.
ii) P(t ) es verdadera  P(t +1) es verdadera t , t 

T) P( n ) es verdadera n, n 

Demo:

Consideremos el conjuntoA = n : n  / P( n ) es verdadera 


De i) P(0) es verdadera  0  A.  
  A= 
De ii) P(t ) es verdadera  P(t +1) es verdadera → t  A  (t + 1)  A  [Link] 

 P( n ) es verdadera n, n 

Ejemplo: Sea P ( n ) la proposición: 3 + 5 + 7 + + (2n + 3) = (3 + n)( n + 1)

P( n )

Probaremos que P ( n ) es verdadera para todo número natural

i) Base inductiva
Verificamos que P ( 0 ) es verdadera.

Si n = 0 tenemos que:
P(0) = (3 + 0)(0 + 1)
(2 0 + 3) = 3 1
3=3

ii) Paso inductivo.

 Probaremos que P ( h + 1) es verdadera, partiendo de que P ( h ) es verdadera siendo h

un natural cualquiera.

H) 3 + 5 + 7 + + (2h + 3) = (3 + h)(h + 1) = 3 + 4h + h 2
P( h )

T) 3 + + (2h + 3) + (2(h + 1) + 3) = (3 + (h + 1))((h + 1) + 1) = (4 + h)(h + 2) = 8 + 6h + h 2

P ( h +1)

Demo.:
P ( h + 1) = P ( h ) + (2(h + 1) + 3) = (3 + h)(h + 1) + (2(h + 1) + 3) =
por H

= 3 + 4h + h + 2h + 2 + 3 = 8 + 6h + h 2
2

Teorema: Inducción Completa generalizado

H) P( n ) es una proposición relativa a un natural de la que se sabe:

i) P( n0 ) es verdadera.
ii) P(t ) es verdadera  P(t +1) es verdadera t , t  con t  n0

T) P( n ) es verdadera n, n  siempre que n  n0

Ejemplo: Demostraremos a continuación que n puntos coplanares (nunca tres alineados)

n(n − 1)
determinan rectas.
2
Previo a la demostración analicemos la situación:
• Por un punto del plano pasan infinitas rectas, por lo cual, consideraremos que el
menor número de puntos que podemos tomar, son dos. Puesto que, dos puntos
distintos, determinan una única recta que los contiene.
• Llamaremos ai al número de rectas que pasan por i puntos no alineados tres a
tres.
• Observemos entonces que:
a2 = 1
a3 = 1 + 2 = 3 = a2 + 2
a4 = 3 + 3 = 6 = a3 + 3

an = a( n −1) + (n − 1)
n(n − 1)
• Por otra parte, queremos demostrar que an = , que haremos a
2
continuación.

i) Base inductiva
2(2 − 1)
Si n = 2 se tiene que a2 =  a2 = 1 es verdadera.
2
 ii) Paso inductivo

h(h − 1)
H) Si n = h entonces ah = es verdadera.
2
(h + 1)((h + 1) − 1) (h + 1)h
T) Si n = h + 1 entonces a( h +1) = = es verdadera.
2 2

h(h − 1) h(h − 1) + 2h (h − 1 + 2)h (h + 1)h

Demo.: a( h+1) = ah + h = +h= = =
por
recurrencia
por
H
2 2 2 2

Definiciones: Sea A un subconjunto de .

• Se dice que A es acotado superiormente, si existe un número natural k tal que
para todo elemento a del conjunto A se cumpla que a  k .
• M es un máximo del conjunto A (que anotamos M = max A ) si:
i) M  A
ii) M es cota superior de A.
• Se dice que A es acotado inferiormente, si existe un número natural h tal que
para todo elemento a del conjunto A se cumpla que a  h .
• m es un máximo del conjunto A (que anotamos m = min A ) si:
i) m  A
ii) m es cota inferior de A.

Teorema: Principio de buena ordenación

“todo subconjunto no vacío de números naturales tiene mínimo”

ENTEROS

Si nos planteamos 5-8, vemos que no existe un natural que sumado a 8 de 5. Se necesita
crear otro conjunto numérico que nos permita calcular la diferencia entre dos naturales
cualesquiera, este conjunto es el de los números enteros ( ) .

= x / x  o x = −n y n  
+
Observación: Podemos distinguir una partición de en tres conjuntos (enteros
positivos); 0 (el cero) y −
(enteros negativos).

Propiedad:
( a + b ) 

➢ Si a, b   ( a − b ) 
a b 

 RACIONALES

Si en se quiere calcular el cociente 17:5, ningún entero multiplicado por 5 nos da 17.
Surge así el conjunto de los números racionales ( ) .

 a 
= x / x = con a  y b *

 b 

Propiedad:
( a + b ) 

( a − b ) 
➢ Si a, b   a b 

 a  con b  0
 b

Este conjunto numérico cumple una propiedad que ninguno de los conjuntos anteriores
la cumple, la misma queda enunciada por el siguiente teorema.

Teorema: “Entre dos racionales cualesquiera existen infinitos racionales”

H) a, b   T) c, c  /a cb
ab

Demo.:
ab ab 
a+a  a+b a + b  b + b 
 a+b a+b a+b
2a  a + b a + b  2b   a  b luego   =c
 2 2 2
a+b a+b
a b 
2 2 

Representación decimal

Los números racionales se los puede representar en forma decimal.

Por ejemplo:

−3 5 2
= −0, 75 = 1, 66666 = 1, 6 = 0,153846153846 = 0,153846
4 3 13

17
= 1, 41666 = 1, 416
12
Estos números se llaman decimales periódicos, puesto que existe una cifra o una
secuencia de cifras que se repite infinitas veces. En el caso de “ −0, 75 ” la cifra que se
repite infinitamente es el cero (algunos autores llaman a estos últimos decimales
exactos).

• “Todo número racional tiene escritura decimal periódica”

Mostraremos esto mediante algunos ejemplos:

25 1
i) a = 0, 25  100a = 25  a = a=
100 4

ii) Cuando el periodo no es cero, se procede:

a = 21,345345  1000a = 21345,345 

 21324 7108
a= 21,345   a = a=
 999 333
999a = 21324 

IRACIONALES

¿Qué ocurriría si la representación decimal de un número no es periódica? ¿Será un

racional?
La respuesta es no. Aquellos números cuya representación decimal no sea periódica
forman un nuevo conjunto numérico llamado de los números irracionales (II).

Observación: La intersección del conjunto de racionales con el conjunto de irracionales

es vacía. En otro término  II = 

Teorema: “Existen números no racionales” 2 +

(  x, x  +
/ x2 = 2 )
Demo.:
+ p
Supongamos que x, x  ;x = irreducible tal que x2 = 2
q
2
 p p2
  = 2  2
= 2  p 2 = 2q 2  p 2 es par  p es par  p = 2t
 
q q
( 2t )
2
= 2q 2  4t 2 = 2q 2  2t 2 = q 2  q 2 es par  q es par
Resumiendo:
 p 
es irreducible 
q
 p +  p
2

p es par  Absurdo    (irreducible) tal que   = 2 

q es par  q q


 2 +

• Aceptaremos que 2  II.

• Representación geométrica de los irracionales

0 1 2 3 2 3 4

Recordemos que 2 = 4 , además realizando una simetría central de centro el punto que
le corresponde al número “cero”, obtenemos: − 2; − 3; − 4;etc .

REALES
Llamaremos números reales ( ) al conjunto formado por la unión de los conjuntos
y II.

=  II entonces II = − .

Mediante un diagrama de Venn, ilustramos las inclusiones entre los conjuntos

numéricos trabajados.

II