Unidad 2

A) Nmeros Naturales
Axioma de Peano. Los conjuntos N y N0. Principio de Induccin Completa. Sucesiones. Definiciones
por recurrencia. Ecuaciones de recurrencia Lineales Homogneas.
Definicin Axiomtica
Al construir una teora se deben establecer:
TERMINOS PRIMITIVOS: Conceptos de los cuales no se da una definicin formal. Por ejemplo, en la
Teora Intuitiva de Conjuntos, los trminos primitivos son conjunto, elemento y pertenencia.
AXIOMAS: Son proposiciones que se suponen verdaderas sin demostracin. Por ejemplo, al definir los
nmeros reales se consideran axiomas las propiedades referidas a la suma, al producto y al orden en R.
NUMEROS NATURALES
Para definir los NUMEROS NATURALES, se toma como trmino primitivo la relacin de SIGUIENTE
o SUCESOR.
Para ello, apelamos a la idea de siguiente o sucesor que todos tenemos es decir, el siguiente o
sucesor de un nmero natural es el que le sigue o sucede.
Ejemplo: 10 es el siguiente o sucesor de 9.
Axiomas de Peano
N es el conjunto de los nmeros naturales si, y slo si, se verifica:
AXIOMA 1: 1 es un nmero natural. Es decir:
1 N N .
AXIOMA 2: El sucesor de un nmero natural es un nmero natural. Si denotamos el sucesor de n, con n
+ 1, este axioma dice:
nNn+1N
AXIOMA 3: 1 no es sucesor de ningn nmero natural. Es decir:
n N: 1 n + 1.
AXIOMA 4: La funcin de N en N sucesor de es inyectiva. Es decir:
n, m N: n + 1 = m + 1 n = m
AXIOMA 5: Sea S N tal que cumple:
1S
nSn+1S
Entonces, S = N.
Este axioma recibe el nombre de AXIOMA DE INDUCCION.
PRINCIPIO DE INDUCCION
A continuacin veamos la adecuacin del Axioma de Induccin como instrumento de demostracin de
propiedades vlidas en N.
Para ello, enunciamos y demostramos el siguiente
TEOREMA
PRINCIPIO DE INDUCCION COMPLETA
Sea P(n) una funcin proposicional en N, tal que:
1. P(1) es verdadera.
2. Si P(h) es verdadera, P(h + 1) tambin lo es.
Entonces, n N: P(n) es verdadera.
DEMOSTRACION
Se considera el siguiente subconjunto de N:
S = {n N/ P(n) es verdadera}
Por 1 de la hiptesis, P(1) es verdadera, con lo cual se tiene que 1 S. (*)
Sea h S. Por la forma que construimos S, tenemos que P(h) es verdadera.

Entonces, por 2 de la hiptesis, P(h + 1) es verdadera, de donde resulta h + 1 S.

Hemos probado pues que
h S h + 1 S (**)
Por (*),(**) y Axioma de Induccin se tiene que S = N. Entonces, tenemos que:
n S = N: P(n) es verdadera.
DEMOSTRACIONES POR INDUCCION
1) Propiedades de la suma y el producto de nmeros naturales.
2) Potencia natural de un binomio.
3) Frmula de De Moivre (Potencia natural de un nmero complejo en forma trigonomtrica).
4) Nmero de arreglos simples y con repeticin.
5) nN: 2n 2
Debemos probar que:
1) P(1) es verdadera es decir, 21 2.
2) P(h) verdadera P(h + 1) verdadera.
Hiptesis Inductiva (HI): 2h 2 (V)
Tesis: 2h+1 2 (Lo que hay que probar)
Demostracin:
1) Si n = 1: 21= 2, por definicin de potenciacin.
2) 2h+1 = 2h.2, por definicin de potenciacin.
Por HI, 2h 2 , entonces: 2h+1 = 2h.2 2.2 >2, porque 4 = 2.2 > 2.
ENTEROS NO NEGATIVOS
Al definir el conjunto de nmeros naturales, por el Axioma 3 (que afirma que 1 no es el sucesor de
ningn nmero natural) se tiene que cero no es un nmero natural. Por ello, definimos el CONJUNTO DE
LOS ENTEROS NO NEGATIVOS, como sigue: No = N {0}. As pues, N No
SUCESIONES REALES
Se llama SUCESION REAL, a toda funcin de N en R, o de No en R.
La sucesin (an)nN es la siguiente funcin
a: N R/ a(n) = an R.
De la misma manera, la sucesin (bn)nNo es la funcin
b: No R/ b(n) = bn R.
SUCESIONES: EJEMPLOS
1) (1/n)nN, cuyos primeros trminos son: 1, , 1/3, , 1/5, 1/6, 1/7, 1/8, 1/9,
2) (n2) nNo, cuyos primeros trminos son: 0, 1, 4, 9,
3)

1
xn =

si n = 0 n = 1
xn-1 + xn-2 si n >1

SUCESION DE FIBONACCI

Cuyos 7 primeros trminos son:

n

Xn-1

Xn-2

Xn

----

----

----

1+0=1

1+1=2

2+1=3

3+2=5

Es decir, cada trmino es la suma de los dos anteriores.

ECUACIONES DE RECURRENCIA
Una sucesin definida por recurrencia, es de la forma:

an =

ao, a1,, ak
con k N
f(an-1,an-2,,an-k), si n > k

Los trminos ao, a1,, ak se llaman CONDICIONES INICIALES.

Para hallar una nica expresin de an, vlida n No, se plantea y resuelve una ECUACION DE
RECURRENCIA.
Dada la sucesin:
ao, a1,, a

k -1

f(a n-1,a n-2,,a

si 0 n < k, con k N
n-k),

si n k

Si existen c1,c k R, c k 0, tales que:

f(a n-1, a n-2,, a n-k) = c1 a n-1 + c2 a n-2 ++ ck a n-k
La ecuacin an - c1 a n-1 - c2 a n-2 - - ck a

n-k

= 0 es una ECUACION LINEAL HOMOGENEA.

ECUACIONES LINEALES HOMOGENEAS

Asociada a la ecuacin lineal homognea, a n - c1 a n-1 - c2 a n-2 - - ck a n-k = 0 , se puede definir el
POLINOMIO CARACTERISTICO:
p(x) = xk c1 x

k-1

c2 x

n-2

- - ck

cuyas races 1, 2, , k permiten hallar la solucin general de la ecuacin de recurrencia, como sigue:
an = A1(1)n+ A2(2)n+ + Ak(k )n
Reemplazando an por las condiciones iniciales se obtiene un sistema de k ecuaciones con k incgnitas :
a0 = A1(1)0+ A2(2)0+ + Ak(k )0
.
ak-1 = A1(1)k-1+ A2(2)k-1+ + Ak(k )k-1
an = A1(1)n+ A2(2)n+ + Ak(k)n
SUCESION DE FIBONACCI
La definimos como:
0 si n = 0 ;
1 si n = 1 ;
Ecuacin lineal homognea: xn - xn-1 - xn-2 = 0
Polinomio caracterstico: x2 x 1 = 0
Cuyas races son:1=

y 2=

Cuya solucin general ser: xn = A1 (

xn-1 + xn-2 si n >1

(N de Oro)

)n + A2 (

Y el sistema de dos ecuaciones con dos incgnitas:

)n

A1 (

)0 + A2 (

)0 = x0

A1 (

)1 + A2 (

)1 = x1

Equivalente a:

A1 +
(

De solucin A1 =

A2 = 0

+(

) A2 = 1

y A2 = -

El trmino general de la Fibonacci es: xn =

)n -

)n

ECUACIONES LINEALES NO HOMOGENEAS

Dada la sucesin:
ao, a1,, ak-1 si 0n< k, con k N
f(an-1,an-2,,an-k) si n k
Si f(an-1,an-2,,an-k) no es una combinacin lineal de an-1 ,an-2 ,, an-k entonces la ecuacin
an- f(an-1,an-2,,an-k) = 0 no es una ecuacin lineal homognea, y no puede utilizarse el procedimiento
antes dado.
CALCULO RECURSIVO
Cuando la ecuacin de recurrencia no es lineal homognea, se generan varios trminos de la
sucesin en funcin de su definicin de recurrencia, a fin de intuir la expresin de su trmino
general. Una vez que se tiene una idea de cul es el posible trmino general de la sucesin, se
demuestra por induccin que, en efecto, esa es su expresin.

Ejemplo:
xn =

4 si n = 1
xn-1 + 2 si n >1

La ecuacin es: xn xn-1 2 = 0

Entonces, los primeros trminos son: x1 = 4, es decir:
X1= 4 = 4 + 0 = 4 + (1 1)
X2 = x1 + 2 = 4 + 2 = 4 + 1.2 = 4 + (2 1). 2
X3 = x2 + 2 = 4 + 1.2 + 2 = 4 + 2.2 = 4 + (3 1).2
Generalizando: xn = x1 + (n 1).2, nN.
Debe probarse por induccin

CALCULO PARA ATRS

A veces, cuando no se intuye el trmino general hallando los primeros trminos de la sucesin,
se realiza un clculo para atrs. Una vez que se tiene una idea de cul es el posible trmino
general de la sucesin, se demuestra que, en efecto, esa es su expresin por induccin.

Ejemplo:

xn =

FUNCION FACTORIAL
1 si n = 0 n = 1
n.xn-1 si n > 0

Xn-1 = (n-1).xn-2 y xn-2 = (n -2).xn-3

Luego: xn = n.xn-1 = n.(n 1)xn-2=
= n.(n 1)(n -2). xn-3 = =
=n.(n 1).(n 2)..2.x1 = n.2.1.xo
xn = n.(n 1).(n 2)..2.