Peano

MATEMATICA BASICA
TEORIA DE LOS NUMEROS

NATURALES
Los axiomas de Peano
GUSTAVO MARCA CASTROMONTE
TEORIA DE LOS NUMEROS

NATURALES
1ra. edicion
Febrero del 2011
AUTOR/EDITOR: Gustavo Marca Castromonte
Realizado en LATEX 2
e mail: marcagustavo@yahoo.com
Este material puede ser compartido, reproducido en cualquiera de sus formas, con total
libertad, para fines academicos, de manera muy especial por los estudiantes de la Facultad
de Ciencias de la Universidad Nacional de Ingeniera.
Hecho el Dep
osito Legal en la Biblioteca Nacional del Per
u N: 2011-02357
Lima Per
u
Indice general
1. Sistema de los n
umeros naturales
1.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. El conjunto de los naturales . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Operacion de Adicion en los n

umeros naturales . . . . . . . . . . . . .
1.4. Relacion de orden en los n

umeros naturales . . . . . . . . . . . . . . . .
14
1.5. Operacion de multiplicacion en los naturales . . . . . . . . . . . . . . .
17
1.6. El Principio del Buen Orden . . . . . . . . . . . . . . . . . . . . . . . .
23
1.7. Problemas Propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . .
77
Bibliografa
81
INDICE GENERAL
Captulo 1
Sistema de los n
umeros naturales
1.1.
Introducci
on
A diferencia de Dedekind, Peano no estaba interesado en una construccion de los

n
umeros naturales a partir de la teora de conjuntos sino de la Axiomatizacion para su
definicion dando bases solidas para nuevas construcciones a partir de ella, utilizando
para ello la logica matematica.
Originalmente (1889) eran 9 los axiomas que Peano presento en su obra Arithmetices
principia nova methodo exposita. Luego de un estudio, muchos matematicos lograron
prescindir de aquellos axiomas que se podan generar de los otros, es decir trataron de
obtener su mnima condiciones necesarias y suficientes para su definicion, as llegaron a
obtener cinco axiomas que ahora conocemos, dos de ellos esta implcito en la definicion
de la funcion sucesor, restando tres axiomas que son conocidos como los axiomas de
Peano.

CAPITULO 1. SISTEMA DE LOS NUMEROS
NATURALES
1.2.
El conjunto de los naturales
Dada un conjunto que denotaremos por N y una funcion s : N N que satisface

los axiomas siguientes:
P1: La funcion s es inyectiva.
P2: N \ s(N) es un conjunto unitario y a dicho elemento le llamaremos uno y lo
denotaremos por 1.
P3: (Principio de Induccion) Si X N es un conjunto de tal forma que cumpla con
(i) 1 X
(ii)Si n X = s(n) X, entonces X = N
Al sistema (N, s, 1) le llamaremos Sistema de los n
umeros naturales.
A continuacion mencionaremos algunas observaciones
1. A cada elemento de N le llamaremos n
umero natural.
2. A la funcion s : N N sera llamada funcion sucesor.
3. Sea n N luego la imagen via s la cual es s(n) le llamaremos el sucesor de n.
4. Las tres condiciones anteriormente mencionadas P 1, P 2 y P 3 recibiran el nombre
de axiomas de Peano.
Problema 1.1 Sea n N un n
umero natural arbitrario. Probar que s(n) 6= n
Demostraci
on:
Consideremos X = {n N : s(n) 6= n }
Es claro que X N
1.2. EL CONJUNTO DE LOS NATURALES
1 X: como N\s(N) = {1} entonces 1 6 s(N)

luego para todo n N se tiene s(n) 6= 1 en particular para n = 1, luego se tiene
s(1) 6= 1
Considerando n X entonces s(n) 6= n, ahora por ser s una funcion inyectiva se
tiene
s(s(n)) 6= s(n)
luego por definicion de X, se tiene s(n) X

NATURALES
1.3.
Operaci
on de Adici
on en los n
umeros naturales
Es claro que la nueva estructura solamente considerandola como conjunto no es

valiosa, para ello construyamos sobre ella una operacion que por tradicion le llamaremos
la adicion en los naturales, y lo definimos del modo siguiente:
Definici
on 1.1 (Adici
on en N) Dados m y n dos n
umeros naturales, la suma denotada por m + n esta dada por
m + n = sn (m)
La cual se puede interpretar del modo siguiente
m + 1
= s(m)
m + s(n)
= s(m + n)
Problema 1.2 Sean m, n N entonces se tiene m + n N

Prueba: Considere m N arbitrariamente tomado es decir cualquiera, sobre n tenemos
dos casos:
Caso 1: si n = 1 entonces se tiene
m + n = m + 1 = s(m) N
Caso 2: si n 6= 1 entonces existe x N tal que n = s(x) la existencia de x esta
garantizada por el segundo axioma de Peano, ahora
m + n = m + s(x) = s(m + x) N
2
Problema 1.3 Demostrar que para todo m, n N se cumple:
m + (n + 1) = (m + n) + 1
DE ADICION
EN LOS NUMEROS
1.3. OPERACION
NATURALES
En efecto:
m + (n + 1) = m + s(n)
= s(m + n)
= (m + n) + 1
2
Problema 1.4 Sean m, n, p tres n
umeros naturales arbitrarios. Entonces
m + (n + p) = (m + n) + p
Demostraci
on:
Considere m y n dos numeros naturales arbitrarios pero fijos (Que significa esto? )
Sea ahora el conjunto de induccion
X = {p N : m + (n + p) = (m + n) + p}
- 1 X: Esto es cierto por problema 1.3
- Consideremos ahora p X y veamos que se cumple s(p) X
m + (n + s(p)) = m + s(n + p)
= s(m + (n + p))
= s((m + n) + p)
= (m + n) + s(p)
Basta con ello para indicar por definicion de los axiomas de Peano que X = N, con
2
ello se tiene lo pedido.

Problema 1.5 Para todo n
umero natural n se tiene que
1+n=n+1

NATURALES
10
Demostraci
on: Considerando X = {n N : 1 + n = n + 1}
- 1 X: esto es cierto ya que 1 + 1 = 1 + 1 por propiedad reflexiva de la igualdad en
N.
- Supongamos1 que n X operando:
1 + s(n) = s(1 + n)
= s(n + 1)
= (n + 1) + 1
= s(n) + 1
2
Problema 1.6 Para todo par de n
umeros naturales m y n se cumple:
m+n=n+m
Demostraci
on:
Sea X = {n N : m + n = n + m}
Es claro que se tiene 1 X esto es por Teorema 1.5.
Ahora sea n X, operando:
m + s(n) = s(m + n)
= s(n + m)
= (n + m) + 1
= n + (m + 1)
= n + (1 + m)
= (n + 1) + m
= s(n) + m
2
1
Esta expresi
on supongamos no es para iniciar una demostracion por contradiccion sino equivale a
considerar que dicha afirmaci

on es verdadera.
DE ADICION
EN LOS NUMEROS
1.3. OPERACION
NATURALES
11
Problema 1.7 [La regla de la cancelacion] Sabiendo que se cumple m + n = m + p en

N entonces se tiene
n=p
Demostraci
on: Consideremos en el conjunto de referencia
X = {m N : m + n = m + p n = p}
Veamos las hipotesis para concluir que X = N.
- 1 X: Sea 1 + n = 1 + p entonces se tiene
n+1=p+1
luego por definicion
s(n) = s(p)
ahora por ser la funcion sucesor inyectivo
n=p
- Consideremos como hipotesis inductiva que m X, se desea probar que s(m) X,
veamos
supongamos que se tiene
s(m) + n = s(m) + p
luego por Teorema 1.6
n + s(m) = p + s(m)
por definicion
s(n + m) = s(p + m)
entonces
n+m=p+m
Porque esto es asi?
12

NATURALES
luego
m+n=m+p
por hipotesis inductiva se concluye
n=p
2
Problema 1.8 Sea n = p entonces n + m = p + m para todo m N
Demostraci
on: Considere
X = {m N : n = p n + m = p + m}
- 1 X : como n = p entonces s(n) = s(p) entonces n + 1 = p + 1
- Considerando m X entonces
n+m=p+m
entonces
s(n + m) = s(p + m)
luego
(n + m) + 1 = (p + m) + 1
entonces por asociatividad
n + (m + 1) = p + (m + 1)
n + s(m) = p + s(m)
entonces podemos concluir que
s(m) X
2
DE ADICION
EN LOS NUMEROS
1.3. OPERACION
NATURALES
13
Problema 1.9 Dados dos naturales m, n N, luego exactamente una y solo una de
las tres proposiciones siguientes se cumple:
1. m = n
2. existe p N de tal manera que m = n + p
3. existe q N tal que se tenga n = m + q
Demostraci
on:Revisar su solucion en este material paginas mas adelante.

NATURALES
14
1.4.
Relaci
on de orden en los n
umeros naturales
Hasta ahora al conjunto N se le ha dotado de una operacion que por tradicion le

hemos llamado adicion, teniendo este concepto daremos a N una relacion de orden la
cual lo vuelve mas agradable dicha estructura, veamos ahora ello.
Definici
on 1.2 [orden en los naturales] Sean dos naturales cualesquiera es decir
m, n N
m < n existe p N tal que n = m + p
Observaci
on:
1. Se considerara tambien lo siguiente: Sean m, n N
m n [m < n m = n]
2. Se demostrara que esta relacion no es total, esto es existen dos naturales a, b de

modo que
ab
Problema 1.10 Si m < n n < p = m < p
Demostremos: Segun las hipotesis se tiene
n = m + q p = n + r, para algunos q, r N
luego
p = (m + q) + r
entonces p = m + (q + r)
finalmente
m<p
2
Esta u
ltima expresion me indica que la relacion menor que es transitiva.
DE ORDEN EN LOS NUMEROS
1.4. RELACION
NATURALES
15
Problema 1.11 Sean m, n N entonces se cumplen una y solo una de las siguientes
afirmaciones:
m=nm<nn<m
En efecto: Esta conclusion deriva del teorema (1.9).
Problema 1.12 Considere m < n en los naturales, entonces se cumple

pN: m+p<n+p
Demostraci
on: Como se tiene m < n entonces existe q N de tal manera que
n=m+q
luego
n + p = (m + q) + p
entonces por asociatividad y conmutatividad
n + p = (m + p) + q
luego por definicion
m+p<n+p
2
observacion: El teorema anterior indica que a ambos lados de la desigualdad podemos adicionarlos y la desigualdad permanece.
Problema 1.13 Si se tiene que m + p < n + p entonces podemos concluir
m<n
Prueba: Debido a que
m+p<n+p
16

NATURALES
entonces
(m + p) + r = n + p
luego
(m + r) + p = n + p
pero por el problema (1.7)se tiene
m+r =n
entonces por definicion (1.2) se tiene
m<n
2
Problema 1.14 Sean m, n N entonces se cumple

s(m + s(n)) = s(m) + s(n)
Veamos:
s(m + s(n)) = (m + s(n)) + 1
= (m + 1) + s(n)
= s(m) + s(n)
2
DE MULTIPLICACION
EN LOS NATURALES
1.5. OPERACION
1.5.
17
Operaci
on de multiplicaci
on en los naturales
Definiremos la multiplicacion de n
umeros naturales en forma inductiva. Considerando m, n N
m1 = m
m.(n + 1) = m.n + m
Problema 1.15 (Distributiva) Considere m, n, p N entonces probar que se

cumple
m.(n + p) = m.n + m.p
Prueba:
Considere m, n N n
umeros naturales fijo y el conjunto X definido por
X = {p N : m.(n + p) = m.n + m.p}
1X:
m.(n + 1) = m.n + m
= m.n + m.1
basta con ello para observar que 1 X.

Hipotesis inductiva: p X
Veamos que s(p) = p + 1 X

NATURALES
18
Calculemos para ello
m.(n + s(p)) = m.(n + (p + 1))

= m.((n + p) + 1)
= m.(n + p) + m
= (m.n + m.p) + m
= m.n + (m.p + m)
= m.n + m.(p + 1)
= m.n + m.s(p)
considerando los extremos( gracias a que = es una relacion de equivalencia) se obtiene

que s(p) X, con lo cual por el tercer axioma de Peano P 3 es decir por el PIM se
2
obtiene X = N
Problema 1.16 Si m, n, p N elementos naturales arbitrarios.

Probar que
(m + n).p = m.p + n.p
Demostraci
on:
Considere X = {p N : (m + n).p = m.p + n.p}
1X:
calculemos
(m + n).1 = m + n = m.1 + n.1
lo anterior nos asegura que 1 X
Si consideramos que p X veamos que el sucesor de p este tambien en el conjunto X
DE MULTIPLICACION
EN LOS NATURALES
1.5. OPERACION
19
es decir s(p) X. Para ello calculemos
(m + n).s(p) = (m + n).(p + 1)
= (m + n).p + (m + n)
= m.p + n.p + m + n
= (m.p + m) + (n.p + n)
= m.s(p) + n.s(p)
cada linea expuesta anteriormente tiene una justificacion para obtener la siguiente
expresion es necesario que el estudiante justifique ello.
Basta con ello para probar lo pedido, es decir la distributiva se puede realizar tambien
2
por la derecha.
Problema 1.17 (Asociativa de la multiplicaci

on) Si m, n, p N entonces probar
que
m.(n.p) = (m.n).p
Veamos:
Considere m, n N fijos y el conjunto siguiente
X = {p N : m(np) = (mn)p}
1X:
Basta para ello considerar
m(n.1) = m.n = (m.n).1

NATURALES
20
HI:p X :
calculemos
m.(n.s(p)) = m.(n.(p + 1))
= m.(np + n)
= m.(n.p) + m.n
= (m.n).p + (m.n)
= (m.n)(p + 1)
= (m.n)s(p)
2
de lo anterior se tiene s(p) X.

Problema 1.18 Sea m, n N. Probar que m.n = n.m
Prueba:
Sea m fijo y considerando

X = {n N : m.n = n.m}
1 N:
Considerando en este caso
Y = {p N : p.1 = 1.p}
1 Y : en efecto, como 1.1 = 1.1
Sea p Y entonces
s(p).1 = (p + 1).1
= p.1 + 1.1
= 1.p + 1
= 1.(p + 1)
= 1.s(p)
DE MULTIPLICACION
EN LOS NATURALES
1.5. OPERACION
21
con todo lo anterior se tiene que s(p) Y , luego se tiene Y = N

con lo cual se tiene que 1 X
Consideremos n X y veamos que n + 1 X.

Calculemos
m.(n + 1) = m.n + m
= n.m + m
= n.m + 1.m
= (n + 1).m
Nuevamente es necesario que se tenga presente la justificacion de cada paso en las
lineas anteriores.
2
Con todo ello se prueba lo pedido.

Problema 1.19 Considere m, n N luego se cumple:
s(m.s(n)) = m.n + s(m)
Demostraci
on:
s(m.s(n)) = s(m.n + m)
= (m.n + m) + 1
= m.n + (m + 1)
= m.n + s(m)
2
Problema 1.20 Considerando m, n dos n
umeros naturales arbitrarios, entonces se
cumple
s(s(m).s(n)) = s(m) + m.n + s(n)

NATURALES
22
Probando:
s(s(m).s(n)) = s(s(m).n + s(m))
= s(n.s(m) + s(m))
= s(n.m + n + s(m))
= (n.m + n + s(m)) + 1
= n.m + (n + 1) + s(m)
= n.m + s(n) + s(m)
= s(m) + m.n + s(n)
2
Problema 1.21 Si m.p = n.p entonces se prueba que m = n
Prueba Supongamos que existen m, n, p N de tal forma que
m.p = n.p m 6= n
luego por (1.11) se tiene
m<n m>n
caso 1: si m < n entonces existe x N tal que n = m + x, ahora bien como m.p = n.p
entonces m.p = (m + x).p entonces m.p = m.p + x.p luego como x.p N entonces
m.p < m.p lo cual contradice (1.11)
Observacion: Note que se ha realizado la demostracion utilizando los argumentos

siguientes
p q p q
y la negacion de ella
( p q) p q
1.6. EL PRINCIPIO DEL BUEN ORDEN
1.6.
23
El Principio del Buen Orden
Problema 1.22 Considerando el tercer axioma de Peano como el Principio de Induccion Matematica(PIM) y tambien El Principio del Buen Orden (PBO)a la afirmaci
on
siguiente:
Todo conjunto no vaco en N tiene un elemento mnimo
Probar que
P IM = P BO
Demostraci
on: Veamos sea B N no vaco totalmente arbitrario, debemos probar
que existe un elemento mnimo en B esto es
m B/ b B, m b
ahora como lo hallamos?
Consideremos 1 B como n N, 1 n podemos considerar en particular n
B, 1 n luego 1 es el elemento mnimo de B la cual es el elemento buscado.
Considerando ahora que 1 6 N:
creamos un conjunto X
X = {n N : In N\B}
como 1 6 B entonces 1 N\B luego I1 N\B por lo tanto 1 X.
Ahora debido a que B 6= entonces existe b0 B luego b0 6 N\B entonces
Ib0 * N\B
luego por definicion b0 6 X luego
X 6= N
por lo tanto no verifica el PBO, con lo cual se deduce que existe n0 X de modo que
s(n0 ) = n0 + 1 6 X

NATURALES
24
ahora como n0 X entonces

In0 = {1, 2, . . . , n0 } N\B
entonces 1, 2, . . . , n0 6 B
(4)
ahora considerando m = n0 + 1 se tiene que m 6 X luego Im 6 N\B
(44)
de 4 y 44 obliga a que
mB
Afirmamos:
m es el elemento mnimo de B.
En efecto: Consideramos b B tomado arbitrariamente de 4 se deduce que

n0 < b
luego se tiene
n0 + 1 b
entonces
mb

Problema 1.23 Probar que P BO = P IM
Prueba: Sea X N de tal manera que verifique con
(i) 1 X
(ii) si n X entonces se cumple s(n) = n + 1 X
Por demostrar que X = N:
Supongamos lo contrario es decir
X&N
consideremos el conjunto I = N \ X, por lo anterior se tiene que I 6=
luego por el PBO, existe m I elemento mnimo de I, como 1 X entonces 1 6 I
luego
1<m
25
entonces existe x0 N de tal forma que m = 1 + x0 y como x0 < m = min(I) se

cumple que x0 6 I = N \X
luego
x0 X
por (ii) se tiene s(x0 ) = x0 + 1 X entonces m X luego
m 6 N \ X = I
lo cual es incorrecto es decir es una afirmacion contradictoria, entonces negando lo
supuesto se tiene
X=N
2
Problema 1.24 Si m > n entonces se cumple
s(m) > s(n)
prueba: Supongamos lo contrario es decir
s(m) s(n)2
ahora podemos naturalmente dividir en dos casos y se espera que al entrar en cada
uno de ellos se obtenga un hecho contradictorio
Caso 1: Si s(m) = s(n) como s es una funcion inyectiva por el primer axioma de Peano
se tiene
m=n
pero esto no va de acuerdo con la hipotesis.
Caso 2: Si s(m) < s(n) entonces s(m) + p = s(n) para alg
un p N luego
p + s(m) = s(n)
2
La justificaci
on de ser lo contrario se basa en el problema (1.11)
26

NATURALES
con lo cual se obtiene

s(p + m) = s(n)
entonces
p+m=n
es decir m < n que tampoco es correcto.
Finalmente la suposicion tomada inicialmente es un proposicion falsa, con lo cual al
negarla se obtiene lo pedido
s(m) > s(n)
2
Problema 1.25 Sabiendo que m > n entonces probar que
p N : m.p > n.p
Demostremos: debido a que se cumple m > n entonces existe x N tal que m = n+p
s(s(m).s(n)) = s(s(m).n + s(m))
m.p = (n + x).p
m.p = n.p + x.p
ahora como x.p N entonces se cumple
m.p > n.p
2
Problema 1.26 Considerando m > n p > q.
Demuestre que
m+p>n+q
27
Prueba: Como
m>np>q
entonces existen x, w N de tal manera que
m=n+xp=q+w
luego tenemos
m + p = (n + x) + (q + w)
por propiedades se tiene
m + p = (n + q) + (x + w)
como x + w N tenemos luego
m+p>n+q
2
Problema 1.27 Probar que para todo n N, no existe x N tal que
n<x<n+1
Prueba: Supongamos que existen n, x N de modo que
n<x<n+1
pero como n < x entonces n + 1 x luego tenemos
n+1x<n+1
Si n + 1 = x entonces n + 1 < n + 1 esto es imposible por (1.11)
Si n + 1 < x entonces como x < n + 1 entonces n + 1 < n + 1 esto u
ltimo no puede
2
ser.
Problema 1.28 Probar que
n N, 13 + 33 + 53 + + (2n 1)3 = n2 (2n2 1)

NATURALES
28
Demostremos: Consideremos el conjunto

X = {n N : 13 + 33 + 53 + + (2n 1)3 = n2 (2n2 1)}
1 X : basta comprobar reemplazando !verifique
Supongase que n X
veamos que s(n) = n + 1 X
Calculemos
13 + 33 + 53 + + (2n 1)3 + (2(n + 1) 1)3 = [13 + 33 + 53 + + (2n 1)3 ] + (2n + 1)3
= n2 (2n2 1) + (2n + 1)3
= 2n4 n2 + 8n3 + 12n2 + 6n + 1
= 2n4 + 8n3 + 11n2 + 6n + 1
= (n2 + 2n + 1)(2n2 + 4n + 1)
= (n + 1)2 (2(n + 1)2 1)
Luego haciendo uso del PIM, concluimos que
X=N
2
Problema 1.29 Mostrar que para todo n
umero natural n con n 4 se cumple
n! > 2n
Veamos:
Para n = 4 basta observar que se verifica.
Si cumple para n es decir n! > 2n , veamos para el sucesor de n: s(n) = n + 1
Calculemos
(n + 1)! = n!(n + 1) > (n + 1)2n > 2 2n = 2n+1
29
luego tenemos finalmente

(n + 1)! > 2n+1
2
Problema 1.30 Probar n N, 4n + 5 es m
ultiplo de 3.
La prueba se dejara para el estudiante.
Problema 1.31 Demostrar que la suma de los primeros n n
umeros naturales esta
dado por
n(n + 1)
2
Utilizando para su demostracion
(i)PIM
(ii) PBO
Veamos ello:
(i)Utilizando el PIM
Sea X el conjunto inductivo
X = {n N : 1 + 2 + + n =
n(n + 1)
}
2
1X:
Ello es evidente ya que
1=
1(1 + 1)
2
Hipotesis inductiva(HI): n X
Tesis: s(n) = n + 1 X
veamos ello
1 + 2 + + n + (n + 1) = (1 + 2 + + n) + (n + 1)
n(n + 1)
=
+n+1
2
n(n + 1) 2(n + 1)
=
+
2
2
(n + 1)(n + 2)
=
2

NATURALES
30
(ii)Utilizando el PBO:
Considere para ello el conjunto
X = {n N : 1 + 2 + + n =
n(n + 1)
}
2
Definamos
Y := N\X
Es claro que basta verificar que Y = , luego supongamos que
Y 6=
esto quiere decir que existe al menos un elemento en el conjunto Y , luego Y 6=
entonces por el PBO existe un elemento mnimo en Y, es decir
m = min(Y )
es claro que m Y entonces
m 6 X
(1.1)
como 1 X entonces 1 6 Y luego 1 < m entonces existe n0 N de tal manera que

m = n0 + 1
ahora debido a que n0 6 Y entonces n0 X luego debe cumplir con
1 + 2 + + n0 =
n0 (n0 + 1)
2
calculando por otro lado

n0 (n0 + 1)
+ (n0 + 1)
2
(n0 + 1)(n0 + 2)
=
2
1 + 2 + + n0 + (n0 + 1) =
31
entonces n0 + 1 X es decir
mX
(1.2)
pero por [1.1] y [1.2] se obtiene un hecho contradictorio o imposible, con lo cual negando
la suposicion obtenemos Y = entonces
X=N
2
Problema 1.32 Probar que no existe una funcion f : N N de tal manera que
f (n) = f (f (n + 1)) + f (f (n 1)), n 2
Prueba:
Veamos ello, comencemos de una manera muy natural suponiendo que si existe tal
funcion f .
Ahora consideremos
B := N \ {1}
como f (B) N es no vaco, entonces es aplicable el PBO generando as la existencia
de un elemento mnimo en f (B)
m = min(f (B))
luego existe tambien con ello b B de tal manera que se cumpla
m = f (b), con b 2
Considere ahora un nuevo conjunto A definido as
A = {n N : n 2 m = f (n)}
es decir es el conjunto de todos los naturales que mediante f lleguen a m.
Debido a que b A entonces A 6= , luego por el PBO existe b0 A tal que
b0 = min(A)

NATURALES
32
luego hasta ahora tenemos m = f (b0 ), b0 2.

Notece que m y b0 son mnimos en sus definiciones.
Ahora observemos la ecuacion y es notorio que
f (f (n + 1)) + f (f (n 1)) > f (f (n + 1))
f (n) > f (f (n + 1)), n 2
en particular para n = b0 2
entonces f (b0 ) > f (q), q = f (b0 + 1)
entonces m > f (q) con q 2, en este punto apliquemos la minimalidad de m y b0
entraremos en una contradiccion luego esto obliga a que q = 1 es decir
f (b0 + 1) = 1
esto es imposible por el segundo axioma de Peano.
Como conclucion tenemos que tal funcion es imposible que exista.
Problema 1.33 Se define

h(n) = 1 +
1 1
1
+ + + , n N
2 3
n
Probar
n + h(1) + h(2) + + h(n 1) = nh(n) , n N, n 2
Demostraci
on:
Veamos que se cumpla para n = 2
Calculemos
2 + h(1) = 2 +
1
=3
1
(1.3)
Por otro lado

1
2
2h(2) = 2(1 + ) = 2 + = 2 + 1 = 3
2
2
Luego comparando [1.3] y [1.4], se obtiene que se cumple para n = 2.
Hipotesis inductiva: Se cumple para n
(1.4)
33
Tesis: veamos que se verifique para el sucesor de n es decir para n + 1

Calculemos
(n + 1) + h(1) + + h(n 1) + h(n) = [n + h(1) + + h(n 1)] + h(n) + 1
= nh(n) + h(n) + 1
= (n + 1)h(n) + 1
n+1
= (n + 1)h(n) +
n+1
1
)
= (n + 1)(h(n) +
n+1
= (n + 1) + (1 + 2 + +
1
1
+
)
n n+1
= (n + 1)h(n + 1)
2
Problema 1.34 Probar que toda funcion monotona no creciente
f :NN
es constante a partir de cierto punto ( es decir existe n0 N tal que n n0 , f (n) =
f (n0 ))
veamos ello:
Considerando
B = f (N) N
es claro que B 6= para ello basta tomar f (1) B
ahora por el PBO existe un elemento de B, m B de tal modo que
m = min(B)
tambien existe n0 N tal que
m = f (n0 )
34

NATURALES
intumos que n0 N es el natural buscado , es decir hace que la funcion sea constante
a partir de dicho valor
en efecto, considerando n n0 arbitrariamente tomado
como f es monotona no creciente se tiene
f (n) f (n0 )
(1.5)
ahora como n N entonces f (n) B, luego por minimalidad de m se tiene f (n)

f (n0 )
es decir
f (n0 ) f (n)
(1.6)
luego observando [1.5] y [1.6] se obtiene lo pedido

f (n0 ) = f (n), n n0
2
Problema 1.35 Pruebe que A N no vaco, se tiene que
A\S(A) 6=
Prueba:
como A es un conjunto no vaco entonces existe n0 N elemento mnimo de A esto se
da por el PBO, en este punto podemos dividir en dos casos:
Si se cumple que n0 = 1 entonces por el segundo axioma de Peano
1 6 S(A)
luego se tendra
1 A\S(A)
luego se cumple lo pedido en este caso, es decir
A\S(A) 6=
35
Ahora consideraremos el caso complementario es decir si n0 6= 1 es decir n0 > 1

queremos demostrar que n0 6 S(A), ahora es natural suponer lo contrario es decir
n0 S(A)
luego existe a A tal que n0 = s(a), por minimalidad de n0 en A, se tiene
n0 a
ahora bien supongamos que
n0 = a
si esto fuese as n0 = s(a) = s(n0 ) es decir
n0 = s(n0 )
esto es imposible por el problema 1.1
luego debe ser que
n0 < a
luego a = n0 + x para alg
un x N entonces
s(a) = s(n0 + x) = n0 + s(x)
entonces s(a) > n0 es decir
s(a) > s(a)
lo cual es imposible.
Finalmente necesariamente hay que considerar
n0 6 S(A)
luego
A\S(A) es no vaco
2
36

NATURALES
Problema 1.36 Probar que para cada n

umero natural p(p 3) existen p n
umeros
naturales distintos dos a dos
n1 , n2 , , np
de tal manera que
1
1
1
+
+ +
=1
n1 n2
np
Probando:
Para p = 3 buscando dichos n
umeros encontramos a
n1 = 2, n2 = 3, n3 = 6
como se nota son diferentes y tambien se tiene
1
1
1
1 1 1
+
+
= + + =1
n1 n2 n3
2 3 6
Ahora bien, supongamos que se tiene p n
umeros naturales que verifican lo pedido(como
en la hipotesis del problema)
ahora tenemos
1
1
1
1
+
+ +
=
2n1 2n2
2np
2
luego tenemos
1
1
1
1
+
+
+ +
=1
2 2n1 2n2
2np
parece ser que hemos logrado encontrar los p + 1 n
umeros naturales, las cuales seran
2, 2n1 , 2n2 , , 2np
utilizando el metodo de contradiccion logramos probar que son n
umeros diferentes
2
entre s.
Problema 1.37 Dados dos n
umeros naturales a y b.
Demostrar que existe un natural m de tal forma que se cumpla con
ma > b
37
Prueba
basta considerar
m := b + 1
en efecto:
Calculemos
m.a = (b + 1)a = ba + a > ba b
luego tenemos
m.a > b
2
observacion:
En esta u
ltima parte se ha tenido que utilizar los resultados siguientes
a) Sean a, b N entonces se cumple a.b b
b) considere a, b, c N y
a>bc
entonces se tiene que
a>c
2
Problema 1.38 Dada m, n N con n > m.
Probar que n es m
ultiplo de m o existen q, r N de tal manera que
n = m.q + r, con r < m
Prueba:
Supongase que n no es m
ultiplo de m.
Consideremos el conjunto siguiente
H = {q N : mq < n}
38

NATURALES
es claro que
H 6=
debido a que m 1 = m < n entonces 1 H.
afirmamos que H es un conjunto finito:
En efecto sea q H arbitrario, entonces mq < n y como n m.n
entonces se cumple
mq < mn
luego por propiedad q < n, con lo cual se tiene
H In
y como cualquier subconjunto de un conjunto finito es finito se tiene que H es finito.
Ahora como todo conjunto finito no vaco posee un elemento maximo, considere
q0 = max(H)
como q0 H entonces m.q0 < n luego
existe r0 N/ n = mq0 + r0
veamos que si n = mq0 + r donde q0 = max(H) entonces r0 < m
en efecto: Supongamos lo contrario, es decir
r0 m
ahora si r0 = m entonces se tendra
n = mq0 + r0 = mq0 + m
luego
n = m(q0 + 1)
luego de lo anterior n es m
ultiplo de m, lo cual no se puede dar por la suposicion inicial.
Con lo cual debe darse que r0 > m entonces existe p en los n
umeros naturales de modo
que m + p = r0 , luego operando
39
n = mq0 + r0
= mq0 + m + p
= m(q0 + 1) + p
luego se tendra m(q0 + 1) < n, entonces (q0 + 1) H esto no se puede dar, ya que
q0 = max(H)
con lo cual tendramos que necesariamente r0 < m. Hasta aqu se ha probado la
existencia del cociente y resto en N, corresponde en esta segunda parte a la Unicidad
de tales elementos.
consideremos n = mq0 + r0 ya encontrados pero tambien sean
n = mq1 + r1
con q1 , r1 N de modo que
r1 < m
(1.7)
de lo anterior se tiene que mq1 < n entonces q1 H por la maximalidad

q 1 q0
Supongamos que se cumpla q1 < q0 entonces existira k N tal que
q1 + k = q0
luego como
n = mq0 + r0 = mq1 + r1
se tiene
m(q1 + k) + r0 = mq1 + r1
operando tenemos
mk + r0 = r1
(1.8)

NATURALES
40
por lo tanto mk < r1 entonces m < r1 pero esto u

ltimo no es compatible con la ecuacion
(1.7)
por lo tanto es necesario que q1 = q0 de esto reemplazamos en la ecuacion 1.8 se obtiene
r0 = r1
2
Problema 1.39 Sea X N un subconjunto no vaco de tal manera que
m, n X m, m + n X
Probar que existe k N tal que X es el conjunto de todos los m
ultiplos de k, esto quiere
decir que
X = {k.q : q X}
Prueba
La clave de este problema es descubrir quien es o podra ser este k N.
Como X N es no vaco luego por el PBO nos garantiza la existencia de un k X de
tal manera que es el mnimo es decir
k = min(X)
Consideremos el conjunto H de referencia, definido por
H = {k.q : q N}
Afirmamos que X = H
en efecto:
()
Sea x X un elemento arbitrario.
Entonces por la minimalidad x k
41
Si x es m
ultiplo de k entonces x H
En caso contrario es decir si x no es m
ultiplo de k, debera existir q, r N tal que
x = kq + r, donde se cumpla con r < k
(1.9)
se prueba por induccion matematica que si k X entonces

q N, kq X
Ahora como se verifica que
kq X x = kq + r X
por hipotesis del problema se deduce que r X(importante ver esta situacion)
pero esto u
ltimo no se puede dar por la minimalidad de k en X.
Finalmente este caso es imposible dejando luego obligatoriamente que se cumpla X H
()
sea w H entonces existe q N tal que w = kq, pero por lo demostrado anteriormente
kq X
entonces w X.
Problema 1.40 Considere valido los axiomas de Peano P 1 y P 2.
Pruebe que son equivalentes
(i) Para todo subconjunto no vaco A N se tiene A\S(A) 6=
(ii) Se cumple el tercer axioma de Peano es decir el P 3
demostraci
on
(i) = (ii)
Por demostrar que se cumple el PIM
Sea X N tal que
42

NATURALES
(i) 1 X
(ii) n X = s(n) = n + 1 X
Por demostrar X = N
Es com
un es esta parte suponer que no se verifique la igualdad es decir, supongamos
que
X$N
luego consideremos
Y := N\X
es claro que es no vaco, luego por hipotesis se tendra
Y \S(Y ) 6=
con lo cual resulta la existencia de a Y de manera que a 6 S(Y )
(4)
ahora como 1 X entonces 1 6 Y con lo cual 1 6= a, por lo tanto por el segundo

axioma de Peano(P 2) existe
b N / s(b) = a
ahora si fuese que b Y entonces s(b) S(Y ) luego
a S(Y )
esto no se puede dar por (4)
Por lo tanto es obligatorio que b 6 Y entonces b X pero por (ii) se tiene s(b) X
luego a X
por lo tanto a 6 Y lo cual es imposible por (4).
Finalmente es necesario que Y = N\X es el conjunto vaco, por lo tanto
X=N
(i) = (ii)
Ya fue demostrada en (1.35), teniendo en cuanta que P IM = P BO
43
Problema 1.41 Sea B N y a N de modo que x B, x a.

Pruebe que existe b B de modo que x B, x b
Veamos
Consideremos
A = {w N : x B, x w}
es decir A es el conjunto de todas las cotas superiores de A en N.
Como hipotesis a A entonces A 6= , luego por el PBO existe m A elemento
mnimo en A.
Afirmacion: m B
supongamos que m 6 B, ahora como x B, x m entonces
x B, x < B
luego como m > x 1 entonces m > 1 luego existe un antecesor b B de modo que
m=b+1
entonces como x < m luego x + 1 m
por lo tanto m + 1 b + 1 entonces
x b, x B
luego b B es decir b < m pero esto es imposible por la minimalidad de m en A
entonces m B
Ahora como m A se tiene x B, x m el cual es justamente lo pedido.
Problema 1.42 Sea a un n

umero natural. Sea X un sub conjunto de n
umeros naturales de modo que
(i) a X
(ii) n X = n + 1 X

NATURALES
44
Demostrar que X contiene todos los n

umeros naturales que sean mayores iguales que
a.
Prueba:
Considerando m a. Por demostrar que m X
Creemos que es suficiente probarlo siguiente:
n N, a + n X
para ello definamos el conjunto X
H = {n X : a + n X}
Veamos que H = N
1 X: como a X luego por (ii)a + 1 X luego 1 H
Hipotesis inductiva: n H
Veamos que se cumpla para n + 1 H
Como n H entonces a + n X luego por hipotesis (a + n) + 1 X por lo tanto
a + (n + 1) X
2
luego por definicion se tiene n + 1 H
Problema 1.43 Un elemento a N es llamado antecesor de b N cuando a < b y

no existe c N tal que
a < cb
Probar que todo n
umero natural excepto 1 posee un antecesor.
Demostremos:
Como para todo n
umero natural n se tiene n 1 luego no existe a N tal que
a < 1 esto quiere decir que 1 no tiene antecesor por definicion.
Ahora consideremos n N de modo que n > 1, por segundo axioma de Peano(P 2)
existe a N tal que n = a + 1
45
entonces a < n ahora consideremos a < a + 1 por el problema 1.27 no existe o es

imposible la existencia de un c N tal que a < c < a + 1 esto con lleva a afirmar que
a es el antecesor de n.
Problema 1.44 Probar que si un n
umero natural tiene antecesor entonces este es
u
nico.
Problema 1.45 Probar que si x, y N entonces y 6= x + y
En efecto:
Fijemos el valor de x N arbitrario.
Consideremos el conjunto siguiente
X = {y N : y 6= x + y}
Por demostrar que X = N
1 X : supongamos lo contrario es decir que 1 6 X esto quiere decir que
1=x+1
entonces 1 = s(x) pero esto no es correcto por P 2.
Considerando cierto que n X entonces n 6= x + n
veamos que s(n) = n + 1 X
por P 1 se tiene que la funcion sucesor es inyectiva, entonces
s(n) 6= s(x + n)
luego s(n) 6= x + s(n) entonces s(n) X.
Problema 1.46 Dados dos n

umeros naturales x e y, luego se verifica uno y solo uno
de las afirmaciones siguientes:
(a) x = y

NATURALES
46
(b) Existe u N tal que x = y + u

(c) Existe v N de tal manera que y = x + v
Prueba:
Primero veamos que dos de ellos entre (a), (b) y (c) no se puede dar
Caso 1: Si se cumple (a) y (b)
entonces
x=yx=y+u
entonces
y =y+u
pero por el problema 1.45 esto es imposible.
caso 2: Si se cumple (a) y (c) entonces
x=yy =x+v
por lo tanto y = y + v lo cual no se puede dar.
Caso 3: Si se verifica (b) y (c) entonces se tendra
x=y+uy =x+v
con lo cual se tendra
x = (x + v) + u
x = x + (v + u)
lo cual es un hecho contradictorio por el problema 1.45.
Hasta ahora se ha probado la imposibilidad de que se cumpla dos de las tres afirmaciones dadas.
Concentremonos ahora en probar que se tiene que verificar una de ellas necesariamente.
Mantengamos fijo x y consideremos M el conjunto de todos los y N para los cuales
47
se cumple (a) (b) (c)

Probaremos que M = N
1 M : consideremos y = 1
Caso 1: Si se tiene que x = 1 entonces x = y luego se cumple (a)
Caso 2: Si x 6= 1 luego existe u N de tal manera que
x=u+1
entonces x = u + y cumpliendose as (b).
De lo anterior se concluye que necesariamente 1 M .
Consideremos que se cumpla que y M , veamos que el sucesor de y este tambien

en M, es decir
s(y) = y + 1 M
Bien, como y N se da una de las posibilidades (a) o (b) o sino (c)
En el caso que se cumpla (a) es decir x = y luego s(x) = s(y), entonces
s(y) = y + 1 = x + 1
esto quiere decir que s(y) = x + 1 luego s(y) cumple con (b).
El caso en que y cumpla con (b) se tiene la existencia de u N tal que y = x + u
entonces
s(y) = s(x + u) = x + s(u)
con lo cual s(y) esta cumpliendo con (b).
Por u
ltimo si y cumple con (c) me origina la existencia de v N de tal manera que
x = y + v, entonces se tendra
s(x) = s(y + v)
x + 1 = s(y) + v
(1.10)

NATURALES
48
En la ecuacion 1.10 es necesario subdividir en dos subcasos:

Si se cumple que v = 1 luego tendramos
x + 1 = s(y) + 1
x = s(y)
esto quiere decir que s(y) cumple con (a)
Finalmente si v 6= 1 luego v = h + 1 para alg
un h N luego
x + 1 = s(y) + v
x + 1 = s(y) + h + 1
x = s(y) + h
esto u
ltimo nos hace ver que s(y) cumple con el caso (c).
Por todo lo visto y en todos los casos se tiene que obligatoriamente
s(y) M
luego por el tercer axioma de Peano P 3 se cumple que M = N, con lo cual unido a la
primera parte obtenemos lo pedido.
Problema 1.47 Sean x, y, z N de modo que x y y z
Probar que x z
Veamos:
Como se tiene x y y z entonces
(x < y x = y) (y < z y = z)
aplicando propiedades de logica proposicional se tendra
(x < y y < z) (x < y y = z) (x = y y < z) (xy y = z)
49
simplificando, se obtiene
(x < y) (x < z) (x = z) (x = z)
luego como p p p
x<zx=z
2
con lo cual x z.
Problema 1.48 Probar
x y y < z z w = x < w
Probando:
Este problema nos hace ver la necesidad de probar dos afirmaciones previamente que
le categorizaremos como lemas
lema 1: Sabiendo que x y y < z entonces x < z
lema 2: Si x < y y z entonces x < z
una vez probado estos lemas ya tenemos la metodologa visto en el problema anterior
para solucionarlo.
En efecto
xyy <zz w
entonces
(x y y < z) z w
por el lema 1 se tiene
x<zz w
ahora aplicando el lema 2
x<w
2

NATURALES
50
Problema 1.49 Siendo ai N, i = 1, 2, , n.

Si
a1 a2 ak1 < ak ak an
Probar que a1 < an
Prueba:Se sugiere utilizar induccion matematica.
Problema 1.50 Probar que x + y > x, en N

Demostraci
on:
Considerando w = x + y
entonces por defincion w > x esto es
x+y >x
2
Problema 1.51 Probar que x N, x 1
Demostraci
on:
Considerando x N arbitrario
por P 2 es decir el segundo axioma de Peano se tiene
x N \ S(N) x 6 N \ S(N)
luego tenemos
x = 1 x S(N)
por lo tanto
x = 1 n N/ x = s(n) = n + 1
con lo cual por definicion de < se tiene
x=1x>1
51
es decir se cumple con lo pedido que

x1
2
Problema 1.52 Sea (N, s) un sistema de Peano.
Dada N0 = N {0} y s0 : N0 N0 definida por
1
,n = 0
0
s (n) =
s(n) , Si n 6= 0( es decir n N)
Probar (N0 , s0 ) cumple los axiomas de Peano es decir es un sistema de n
umeros naturales.
Demostraci
on:
Veamos, debemos probar los tres axiomas
(i) s es una funcion inyectiva:

Sea n, m N0 de tal manera que
s0 (n) = s0 (m)
Caso 1: Si n = 0 m = 0 entonces n = m
Caso 2: Si n = 0 m 6= 0 entonces
s0 (0) = s0 (m)
entonces 1 = s(m) esto es incompatible por ser (N, s) un sistema de Peano.
Caso 3: Si n 6= 0 m = 0 el proceso es igual al caso 2.
Caso 4: Si n 6= 0 m 6= 0
entonces
s0 (n) = s0 (m)

NATURALES
52
luego por definicon

s(n) = s(m)
ahora como s es una funcion inyectiva por P 1 se tiene
n=m
con lo cual se tiene s0 es inyectiva
(ii) Por demostrar que N0 \ s0 (N0 ) = {0}
en efecto:
() Sea x N0 \ s0 (N0 )
Supongamos que x 6= 0 en N0 entonces x N
luego podemos considerar que
Si x = 1 entonces
x = 1 = s0 (0)
esto quiere decir que
x s0 (N0 )
es decir
x 6 N0 \ s0 (N0 )
pero esto u
ltimo no se puede dar.
Luego veamos el otro caso
Si x N con x 6= 1, entonces existe u N de tal modo que x = s(u)
entonces
x = s(u) = s0 (u)
tampoco se puede dar, no queda mas caso que ser
x=0
53
() De la definicion de s0 se tiene
0 6 s0 (N0 )
es decir a nivel de conjuntos
0 N0 \ s0 (N0 )
2
(iii) Sea X N0
si
(i) 0 X
(ii) n X entonces s0 (n) X
Por demostrar que X = N0
Veamos:
Como 0 X luego podemos considerar
X = A {0}
donde 0 6 A, es claro que A 6= (Justificar)
Luego tendramos que A N un conjunto no vaco, esto significa que hemos
logrado trasladar el problema al sistema de Peano (N, s).
Luego
(a) 1 A : esto es cierto ya que 0 X entonces s0 (0) X luego por
definicion se tendra que
1X
entonces 1 A
(b) Si n A entonces n X ahora por (ii) se tiene
s0 (n) X

NATURALES
54
como n 6= 0 por definicion se tendra

s(n) X = S {0}
como s(n) 6= 0 entonces s(n) A.
Como conclucion a lo anterior se deduce por el tercer axioma de Peano
que
A=N
Por lo tanto finalmente
X = A {0} = N {0} = N0
Problema 1.53 Probar que N no tiene elemento maximo.
Demostraci
on:
Supongamos lo contrario es decir existe n0 N de tal modo que
n0 = max(N)
como s(n0 ) = n0 + 1 N entonces debe cumplir con
n0 + 1 n0
entonces
n0 + 1 < n0 n0 + 1 = n0
en este punto podemos dividir en dos casos
Caso 1: Si n0 + 1 < n0 ahora como n0 < n0 + 1 es imposible que se cumplan estas dos
afirmaciones al mismo tiempo.
Caso 2: Si n0 + 1 = n0 entonces s(n0 ) = n0 esto u
ltimo no se pude dar.
Problema 1.54 Sea f : N N una funcion tal que
f (n + 1) > f (n), n N
Pruebe que
55
a) Si m < n entonces f (m) < f (n)

b) f es una funcion inyectiva.
Prueba:
Considere a) m N fijo y X el conjunto
X = {n N : m < n = f (m) < f (n)}
Por demostrar que X = N
1X:
Esto es verdadero, por un proceso de vacuidad esto quiere decir como m < 1 es una
proposicion falsa, entonces la implicacion es verdadera es decir 1 X.
HI: n X
Veamos, sea m < s(n) = n + 1
Caso 1: si m = n luego por hipotesis del problema se tiene
f (n + 1) > f (n)
luego
f (s(n)) > f (m)
Caso 2: Si m < n en este punto podemos utilizar la HI, f (m) < f (n) pero por hipotesis
del problema se tiene f (n) < f (n + 1) luego se tiene
f (m) < f (n) < f (n + 1)
con lo cual
f (m) < f (n + 1) = f (s(n))
2
por lo tanto se verifica o cumple.

b) Veamos que f es inyectiva.
Sea m 6= n en N entonces se cumple
m<nn<m
56

NATURALES
luego por la parte a) se deduce que

f (m) < f (n) f (n) < f (m)
luego en cualquier caso se tiene f (n) 6= f (m) esto hace que f sea inyectiva.
Nota: Como lo demostraras, pero partiendo de que si f (m) = f (n) = m = n
Problema 1.55 Sea (N, s, 1), (N0 , s0 , 10 ) dos pares formando cada uno de ellos estructuras que cumplen con los axiomas de Peano.
Probar que existe una biyeccion
f : N N0
de tal modo que
f (1) = 10 , f (s(n)) = s0 (f (n))
Luego concluya que:
(a) m < n f (m) < f (n)
(b) f (m + n) = f (m) + f (n)
(c) f (mn) = f (m)f (n)
Prueba:
La primera situacion a enfrentar es definir la funcion f : N N0 Y como lo haremos?
Una forma de definirlo es recursivamente, del modo siguiente
f (1) = 10
f (s(n)) = s0 (f (n))
Lo primero que se debera ver es que si esta definicion esta adecuadamente establecida
debe notarse que
Primero: Sea m N solo existe dos posibilidades
m = 1 m 6= 1
57
Si m = 1 luego ya se tiene su imagen la cual es 10 N0

Si m 6= 1 entonces existe n N de tal forma que
s(n) = m
luego su imagen esta dado por s0 (f (n)), en este punto f (n) por la recursividad ya se
encuentra definida luego es correcta dicho proceso.
1. f es inyectiva:
Sea n, m N / f (n) = f (m)
Si n = 1 m = 1 entonces es directo que m = n
Si n = 1 m 6= 1 entonces como f (n) = f (m) luego como m 6= 1 existe
p N/ m = s(p)
entonces
f (1) = f (s(p))
luego
10 = s0 (f (p))
lo cual es imposible por ser (N0 , s0 , 10 ) un sistema de Peano.
Si n 6= 1 m = 1 es simetrico al caso anterior.
Si n 6= 1 m 6= 1
entonces n = s(p), m = s(q) para p, q N
entonces como f (n) = f (m) luego tenemos
f (s(p)) = f (s(q))
luego por la definicion recursiva dada se tiene
s0 (f (p)) = s0 (s(q))
pero s0 es una funcion inyectiva, entonces f (p) = f (q) luego n = m
Por lo tanto f es inyectiva.

NATURALES
58
2. f es una funcion sobreyectiva:

Sea
X = {n0 N0 : existe n N, f (n) = n0 }
10 X: basta notar por la defincion dada f (1) = 10 entonces 10 X
Hipotesis inductiva: n0 X esto significa que existe n N tal que
f (n) = n0
ojo: Debido a la inyectividad de f este n N es u
nico.
Tesis: s0 (n) = n0 + 10 X
Como
hip
def
n0 + 1 = s0 (n0 ) = s0 (f (n)) = f (s(n))

Por todo lo anterior f es sobre.
Luego f es una biyeccion.
2
Ahora consideremos para la segunda parte, comencemos por la parte (b)
(b) PD f (m + n) = f (m) + f (n)
Sea m N fijo y
X = {n N : f (m + n) = f (m) + f (n)}
1X:
En efecto basta considerar
f (m + 1) = f (s(m))
= s0 (f (m))
= f (m) + 10
= f (m) + f (1)
59
HI:n X es decir f (m + n) = f (m) + f (n)

Tesis: s(n) X : Veamos
f (m + s(n))
f (s(m + n))
s0 (f (m + n))
f (m + n) + 10
HI
(f (m) + f (n)) + 10
f (m) + (f (n) + 10 )
f (m) + s0 (f (n))
def
f (m) + f (s(n))
(a) PD m < n f (m) < f (n)
(=) como m < n en N

entonces existe p N tal que
m+p=n
entonces
f (m + p) = f (n)
luego por la parte (b) se tiene
f (m) + f (p) = f (n)
entonces estamos en esta linea trabajando en N0 se deduce que f (m) < f (n)
(=) Si f (m) < f (n)
entonces existe w N0 de tal modo que
f (m) + w = f (n)

NATURALES
60
Caso 1: Si w = 10 entonces
f (n) = f (m) + 10
= f (m) + f (1)
= f (m + 1)
Luego por ser f una funcion inyectiva
n=m+1
entonces m < n
Caso 2: Si w 6= 10 luego por ser f sobre, existe p N tal que
f (p) = w
luego
f (n) = f (m) + w = f (m) + f (p) = f (m + n)
ahora por ser f inyectiva se tiene
n=m+p
para finalmente deducir que
m<n
(c) PD f (mn) = f (m)f (n)
Consideremos m N fijo pero arbitrario y definamos en conjunto de induccion
X = {n N : f (mn) = f (m)f (n)}
1X:
Calculemos
f (m.1) = f (m) = f (m).10 = f (m).f (1)
HI n X es decir f (mn) = f (m)f (n)
61
Tesis: s(n) X
Calculemos
f (m.s(n)
=
por(b)
f (mn + m)
f (mn) + f (m)
HI
f (m)f (n) + f (m).10
f (m) (f (n) + 10 )
f (m)(f (n) + f (1)
f (m)f (n + 1)
f (m)f (s(n))
2
Problema 1.56 Sea P un conjunto y s0 : P P una funcion.

Diga si (P, s0 ) satisface los axiomas de Peano. Justifique su respuesta
P = {1, 2, 3, . . .}, s0 (x) = 2x = x + x
Prueba:
Sospechamos que no es cierto, veamos que
1
P 21 \? S 0 (P )
2
no es un conjunto unitario.
Nota: cabe interpretar que la adicion en s0 (x) = x + x proviene de que se sobre entiende
que se esta utilizando el hecho que (P, s) es un sistema de Peano donde s(x) = x + 1.
Supongamos que 1 s0 (P ) entonces existe x P de tal forma que
s0 (x) = 1
esto quiere decir que 2x = 1 es decir x + x = 1
Si x = 1 entonces 1 = 1 + 1 = s(1) pero esto es imposible.

NATURALES
62
Si x 6= 1 luego existe w P tal que s(w) = x entonces

1 = x + x = x + s(w) = s(x + w)
pero esto es imposible por ser (P, s) un sistema de Peano.
Esto quiere decir que 1 6 s0 (P ) entonces

1 P \ S 0 (P )
prueba tambien que
3 P \ S 0 (P )
2
pero no se puede dar .

Problema 1.57 Sea f : N N una funcion de tal forma que
x, y N, f (x + y) = f (x)f (y)
Si consideramos f (1) = a
Probar que f (n) = an , n N
Demostrando:
Antes debemos tener en cuanta que
a1
as(n)
=a
= an .a, N
Veamos
X = {n N/ f (n) = an }
1X:
dato
esto es cierto debido a que f (1) = a = a1

HI: n X es decir f (n) = an
63
Tesis: s(n) X
veamos ello calculemos
f (s(n)) = f (n + 1)
= f (n)f (1)
HI
= an .a
= as(n)
2
Problema 1.58 Sea (N, s) un sistema de Peano. Probar que x, y N

(i) x < s(y) x y
(ii) x < y s(x) y
Prueba:
(i) Como es una bicondicional lo demostraremos por doble implicacion
(=) Como x < s(y) entonces x + 1 s(y) luego x + 1 y + 1 por lo tanto
xy
(=) Como x y entonces x + 1 y + 1 luego x + 1 s(y)
entonces existe a N tal que
(x + 1) + a = s(y)
luego
(x + a) + 1 = s(y)
por lo tanto
s(x + a) = s(y)
como s es inyectiva x + a = s(y) esto significa que
x < s(y)

NATURALES
64
(ii) Se sugiere al estudiante descubrir su justificacion.

2
Problema 1.59 Sea (P, s, <, 1) un sistema de Peano y g : P P una funcion de tal
manera que
x < y g(x) < g(y)
Probar que u P , g(u) u
Prueba:
Consideramos el conjunto inductivo
X = {u P/ g(u) u}
Bastara probar que X = P
1 X : como g(1) P luego por propiedad g(1) 1 entonces 1 X
HI: u X es decir g(u) u
Tesis: s(u) X
Supongamos que
g(u) 6 X
entonces
g(s(u)) < s(u)
luego
g(s(u)) + 1 u + 1
por lo tanto
g(s(u)) u
pero por HI u g(u) luego
g(s(u)) g(u)
65
esto nos indica que se desdobla en dos posibilidades

g(s(u)) = g(u) g(s(u)) < g(u)
caso 1: si g(s(u)) = g(u) en este punto es casi necesario probar que g es en verdad
una funcion inyectiva (ver)
luego se tiene que
g(u) = u
Caso 2: Si g(s(u)) < s(u) luego g(s(u)) s(u) por lo tanto

g(s(u)) + 1 u + 1
con lo cualse obtiene
g(s(u)) u
pero por HI u < g(u) entonces g(s(u)) < g(u)
pero por la defincion del problema x < y g(x) < g(y) se tiene
s(u) < u
pero esto es imposible ya que es un sistema de Peano y es necesario que se cumpla
u < s(u)
2
Problema 1.60 Sea (N, s) un sistema de Peano. Demostrar que
s1 ({n}) = {m}
donde m + 1 = n

NATURALES
66
Prueba:
Lo demostraremos por doble inclucion
() Sea x s1 ({n})
entonces por defincion de imagen inversa
s(x) {n}
esto nos indica que
s(x) = n
pero por dato del problema s(m) = n, esto nos impulsa a deducir que
s(x) = s(m)
pero debemos recordar que la funcion sucesor s es inyectiva, entonces
x=m
por lo tanto x {m}
() Como m + 1 = n entonces s(m) = n luego por definicion
m s1 ({n})
2
Problema 1.61 Considere la funcion f : N N tal que
f (n) < f (n + 1), n N
Probar que f es una funcion inyectiva.
Prueba:
Antes de justificar mostremos el resultado esperado o sospechado siguiente.
Sea n N fijo.
67
Probar que: f (n) < f (n + k), k N

Para ello utilizaremos induccion matematica sobre k. Sea
X = {k N/ f (n) < f (n + k)}
1 X : como n < n + 1 por el dato del problema
f (n) < f (n + 1)
esto significa que 1 X
HI: k X : es decir f (n) < f (n + k)
Tesis: s(k) X
Veamos como n + k < n + k + 1 entonces
f (n + k) < f (n + k + 1)
pero por HI f (n) < f (n + k) entonces
f (n) < f (n + k) < f (n + s(k))
por lo tanto
f (n) < f (n + s(k))
para finalmente s(k) X
2
Ahora si para el problema, sea n, m N tal f (n) = f (m)
como n, m N luego se cumple
n=mn<mm<n
Si n < m entonces por lo demostrado
f (n) < f (m)

NATURALES
68
pero esto es imposible ya que f (n) = f (m).

Si m < n igualmente se obtiene un resultado contradictorio.
Por lo tanto nos obliga a tomar un solo caso restante, esto es n = m.
Basta con ello para justificar que f es inyectiva.
Problema 1.62 Usando los axiomas de Peano demostrar que N es un conjunto necesariamente infinito.
Prueba:
Antes de ver este resultado, notemos que: Afirmacion: Todo conjunto finito en N no
vaco tiene un elemento maximo.
Veamos:
Para ello consideremos o usaremos induccion matematica
X = {n N/ A es un subconjunto finito de N donde card(A) = n =
A tiene un elemento maximo}
1 X : Consideramos A N donde card(A) = 1 entonces A = {a} luego basta
tomar a como el elemento maximo.
HI:n X, es decir cualquier subconjunto finito de N que encontremos la cual
posee n elementos, tiene necesariamente un elemento maximo.
Consideremos A un conjunto de s(n) = n + 1 elementos, luego podemos tener
A = B {a}
donde a 6 B es decir se trata de una union disjunta. Se deduce que card(B) = n
luego podemos aplicar la HI(hipotesis inductiva) es decir existe b B que act
ua
como elemento maximo esto quiere decir que
x B, x b
69
Ahora consideremos
c := max{b, a}
Afirmamos que c es el elemento maximo del conjunto A
en efecto: Sea a A arbitrario entonces
xBx=a
luego
xbx=a
luego por maximalidad se tiene
xc
2
Ahora s para terminar con el problema, supongamos que N no sea infinito es decir
consideremos que sea un conjunto finito, luego por lo anterior
m = maxN
como tambien s(m) = m + 1 N luego se tiene que cumplir
s(m) m
pero sabemos que
m < s(m)
de las dos expresiones anteriores se deduce que
s(m) < s(m)
Por lo tanto N es un conjunto infinito.

NATURALES
70
Problema 1.63 Se considera la funcion f (n) definida por

f (0) = 1
f (n + 1) = 2f (n) + 1
Tambien la funcion g(n)
g(0) = 1
g(n + 1) = g(n) + 2n+1
Probar que n N, f (n) = g(n)
Demostraci
on:
Antes notemos que
f (0) = 1
g(0) = 1
f (1) = 3
g(1) = 3
f (2) = 7
g(2) = 7
f (3) = 15 g(3) = 15
..
..
.
.
Despues de dar muchos intentos de dar forma a dichas funciones se obtiene lo
siguiente
g(n) = 2n+1 1
Que extrano? sospechamos que de repente f tambien tiene la misma forma, es decir
f (n) = 2n+1 1
probaremos esta sospecha por medio de induccion matematica sobre n.
Es esta parte consideraremos que N0 = {0, 1, 2, } y consideremos
X = {n N/ f (n) = 2n+1 1}
En efecto:
71
0 X : en efecto 20+1 1 = 1 y tambien se tiene por defincion f (0) = 1 entonces

f (0) = 20+1 1
HI: f (n) = 2n+1 1
Tesis: f (s(n)) = 2s(n)+1 1
veamos: calculemos
f (s(n)) = 2f (n) + 1
= 2(2n+1 1) + 1
= 2n+1+1 1
= 2s(n)+1 1
Por lo tanto f podemos redefinirlo simplemente por
n N, f (n) = 2n+1 1
Realizando lo mismo para la funcion g podemos obtener que
n N, g(n) = 2n+1 1
Es necesario que el estudiante compruebe esta situacion.
2
Problema 1.64 Considere la siguiente afirmacion: 7n2 + 3n + 5 es par.
a) Pruebe que si la afirmacion anterior es verdadera para n N entonces tambien
es verdadera para n + 1
b) Verificar que para n = 2 no se cumple, es decir es una proposicion falsa.
hay contradiccion con el resultado en la parte (a)?

NATURALES
72
c) Probar que
7n2 + 3n + 5 es impar n N
Prueba:
a) Suponiendo que se verifique para n N es decir

7n2 + 3n + 5 es par
Veamos ahora que se cumpla para n + 1:
Calculemos
7(n + 1)2 + 3(n + 1) + 5 = 7(n2 + 2n + 1) + 3n + 3 + 5
= 7n2 + 14n + 7 + 3n + 3 + 5
= (7n2 + 3n + 5) + (14n + 10)
= (7n2 + 3n + 5) + 2(7n + 5)
como 7n2 + 3n + 5 es par por hipotesis y 2(7n + 5) tambien lo es, luego se verifica
lo pedido.
b) Basta evaluar
7.22 + 3.2 + 5 = 39
no es par.
c) Aplicaremos induccion matematica, para ello consideremos
X = {n N / 7n2 + 3n + 5 es impar}
1 X : esto es cierto ya que 7.12 + 3.1 + 5 = 15 la cual es impar.
HI:n X es decir que 7n2 + 3n + 5 es impar
73
Tesis: n + 1 X
Por la parte (a) se tiene
7(n + 1)2 + 3(n + 1) + 5 = (7n2 + 3n + 5) + 2(7n + 5)
pero sabemos que la suma de un impar con un par es impar, luego verifica
lo pedido.
2
Problema 1.65 Probar n2 > n + 3, n N , n 3
Demostraci
on:
Considerando el conjunto de referencia
X = {n N / n2 > n + 3}
. 3 X : basta notar que 32 > 3 + 3
. HI:n X es decir n2 > n + 3
. Tesis n + 1 X
(n + 1)2 = n2 + 2n + 1
> (n + 3) + 2n + 1
= n + 2n + 4
> n+4
= (n + 1) + 3
esto quiere decir que
(n + 1)2 > (n + 1) + 3
luego
n+1X
luego se tiene lo pedido.

NATURALES
74
Problema 1.66 Demuestre que n N, 4n 1 =3
donde 3 significa que el n

umero es m
ultiplo de tres.
Prueba:
Consideremos
X = {n N / 4n 1 =3}
1 X : esto es cierto ya que 41 1 = 3 =3
Hipotesis inductiva: n X es decir 4n 1 =3

Tesis n + 1 X
Calculemos
4n+1 1 = 4(4n ) 1
= 4(4n ) 4 + 3
= 4(4n 1) + 3
= 4. 3 + 3
= 3
2
Problema 1.67 Probar que la cifra de las unidades de cualquier potencia natural de
6 es 6, es decir
6n = 10a + 6, n N, a N0
Demostraci
on:
Quedando sobreentendido el conjunto de induccion tendramos
n = 1 cumple ya que
61 = 10(0) + 6
75
HI:suponiendo que se tenga

6n = 10a + 6
para alg
un a N0
en esta parte calculemos
6n+1 = 6n 6
HI
= (10a + 6)6
= 60a + 36
= 10(6a) + 30 + 6
= 10(6a + 3) + 6
como 6a + 3 N0 esto comprueba que que se verifica tambien para su sucesor de

n.
2
Problema 1.68 Probar que
n3 + (n + 1)3 + (n + 2)3
es divisible por 9
Prueba:
Considerando
X = {n N / n3 + (n + 1)3 + (n + 2)3 es divisible por 9}
1 X : en efecto
13 + (1 + 1)3 + (1 + 2)3 = 36
la cual es divisible o m
ultiplo de 9
HI n X

NATURALES
76
Tesis s(n) = n + 1 X
Calculemos
(n + 1)3 + (n + 2)3 + (n + 3)3 = (n3 + (n + 1)3 + (n + 2)3 ) + 9(n2 + 3n + 3)
basta utilizar la HI y criterios de m
ultiplos para verificar que
n+1X
2
1.7. PROBLEMAS PROPUESTOS
1.7.
77
Problemas Propuestos
1. Considerando n N con n impar.

Probar que n(n2 1) es divisible por 24
2. Probar que n N, 2n1 n!
3. Probar que
3n 3n , n N
4. Demostrar que 4n3 + 5n es divisible por 3 .
5. Probar que n3 n es m
ultiplo de 6.
6. Demostrar que si n N entonces
5n3 + 7n
es divisible por 6.
7. Demostrar que para todo n n
umero natural se descubre que
52n + (1)n+1
es divisible por 13.
8. Sabiendo que n es un n
umero natural impar entonces probar que 7n + 1 =8
9. Probar que para todo n N se cumple
n
X
k=1
1
n(n + 3)
=
k(k + 1)(k + 2)
4(n + 1)(n + 2)
10. Sean f, g : N N dos funciones y S : N N la funcion sucesor de tal manera

que se tenga
f S = S f, g S = S g

NATURALES
78
tambien f (1) = g(1)

Probar que n N, f (n) = g(n) es decir
f =g
11. Considere f, g : N N dos funciones de tal modo que f (1) = g(1) y existe una
funcion
:NN
de tal forma que
f S =f gS =g
Probar que f = g
12. Probar que a2n 1 es divisible por a + 1 para todo n N.
13. Considere un conjunto A y a A tambien H : A A una funcion.
Probar que existe una u
nica funcion g : N A de modo que
g(1) = a
g(n + 1) = H(g(n)))
14. Considerando f : N N una funcion tal que
f (1) = 1
f (i + 1) = f (i) + 2i + 1, i N
Demostrar que f (n) = n2 , n N
15. Sea P = { 21n / n = 0, 1, 2, } y S : P P una funcion tal que
1
S(u) = u, u P
2
Probar que (P, S) verifican los axiomas de Peano.
1.7. PROBLEMAS PROPUESTOS
79
16. Sea X un subconjunto de N de modo que tenga 20 elementos.

Probar que existen al menos un para de elementos de X, cuya diferencia es un
m
ultiplo de 19.
17. (Principio del Palomar) Se tiene m objetos repartidos en n casilleros. Probar que
si m > n entonces existe al menos un casillero donde hay mas de un objeto.
18. Sea S un subconjunto de los n
umeros naturales. Mostrar que hay un subconjunto
T S de modo que la suma de los elementos de T es un m
ultiplo de |S|.
19. Comprobar que en una reunion de 6 personas, o bien tres de ellas se conocen o
tres o se conocen.
20. Dados n n
umeros naturales x1 , x2 , . . . , xn tales que su suma vale S, mostrar que
alguno de ellos ha de ser mayor o igual que S/n.
21. Considerando N = {0, 1, 2, . . .} probar que para todo n 8 puede escribirse como
n = 3a + 5b
para a, b N
22. Probar que para todo n N se tiene
1
1
1
1
n
+
+
+ +
=
12 23 34
n(n + 1)
n+1
80

NATURALES
Bibliografa
[1] Elon lages lima: Curso de an
alisis vol. 1
Rio de Janeiro,Instituto de matematica Pura y aplicada,1989
tegui: Introduci
[2] Antonio tineo ; Carlos Uzca
on al an
alisis real
Departamento de Matematicas Universidad de los Andes 2006
[3] Lina Mara Bedoya Meja: Tres axiomatizaciones de los n
umeros naturales: Peano, Lawvere, Peice
Universidad de Tolima, Ibague 2003
[4] Serge Lang: Introduci
on al an
alisis matem
atico
81

Peano

Cargado por

Copyright:

Formatos disponibles

Peano

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Peano

Cargado por

Copyright:

Formatos disponibles

MATEMATICA BASICA

TEORIA DE LOS NUMEROS

GUSTAVO MARCA CASTROMONTE

TEORIA DE LOS NUMEROS

1.2. El conjunto de los naturales . . . . . . . . . . . . . . . . . . . . . . . .

1.3. Operacion de Adicion en los n

1.4. Relacion de orden en los n

1.5. Operacion de multiplicacion en los naturales . . . . . . . . . . . . . . .

1.6. El Principio del Buen Orden . . . . . . . . . . . . . . . . . . . . . . . .

1.7. Problemas Propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . .

A diferencia de Dedekind, Peano no estaba interesado en una construccion de los

El conjunto de los naturales

Dada un conjunto que denotaremos por N y una funcion s : N N que satisface

1.2. EL CONJUNTO DE LOS NATURALES

1 X: como N\s(N) = {1} entonces 1 6 s(N)

Es claro que la nueva estructura solamente considerandola como conjunto no es

Problema 1.2 Sean m, n N entonces se tiene m + n N

ello se tiene lo pedido.

considerar que dicha afirmaci

Problema 1.7 [La regla de la cancelacion] Sabiendo que se cumple m + n = m + p en

Porque esto es asi?

CAPITULO 1. SISTEMA DE LOS NUMEROS

Hasta ahora al conjunto N se le ha dotado de una operacion que por tradicion le

2. Se demostrara que esta relacion no es total, esto es existen dos naturales a, b de

DE ORDEN EN LOS NUMEROS

Problema 1.12 Considere m < n en los naturales, entonces se cumple

CAPITULO 1. SISTEMA DE LOS NUMEROS

Problema 1.14 Sean m, n N entonces se cumple

Problema 1.15 (Distributiva) Considere m, n, p N entonces probar que se

X = {p N : m.(n + p) = m.n + m.p}

basta con ello para observar que 1 X.

Calculemos para ello

m.(n + s(p)) = m.(n + (p + 1))

considerando los extremos( gracias a que = es una relacion de equivalencia) se obtiene

Problema 1.16 Si m, n, p N elementos naturales arbitrarios.

es decir s(p) X. Para ello calculemos

Problema 1.17 (Asociativa de la multiplicaci

m(n.1) = m.n = (m.n).1

de lo anterior se tiene s(p) X.

Sea m fijo y considerando

con todo lo anterior se tiene que s(p) Y , luego se tiene Y = N

Consideremos n X y veamos que n + 1 X.

Con todo ello se prueba lo pedido.

Observacion: Note que se ha realizado la demostracion utilizando los argumentos

1.6. EL PRINCIPIO DEL BUEN ORDEN

El Principio del Buen Orden

ahora como n0 X entonces

ahora considerando m = n0 + 1 se tiene que m 6 X luego Im 6 N\B

En efecto: Consideramos b B tomado arbitrariamente de 4 se deduce que

1.6. EL PRINCIPIO DEL BUEN ORDEN

entonces existe x0 N de tal forma que m = 1 + x0 y como x0 < m = min(I) se

CAPITULO 1. SISTEMA DE LOS NUMEROS

con lo cual se obtiene

1.6. EL PRINCIPIO DEL BUEN ORDEN

Demostremos: Consideremos el conjunto

1.6. EL PRINCIPIO DEL BUEN ORDEN

luego tenemos finalmente

como 1 X entonces 1 6 Y luego 1 < m entonces existe n0 N de tal manera que

calculando por otro lado