UNIVERSIDAD DE CARABOBO ELEMENTOS DISCRETOS

FACULTAD EXPERIMENTAL DE CIENCIAS Y TECNOLOGA marzo de 2007

DEPARTAMENTO DE COMPUTACIN
GRUPO DE MATEMTICAS DE LA COMPUTACIN

Gua de Induccin Completa

Definicin:
El factorial de un nmero natural n, es el producto de todos los naturales
consecutivos desde 1 hasta n.
Se designa o se denota por n!.
Factorial de un Es una funcin discreta f: N N
nmero n, nN f(n) = n!, para nN
n! = 1.2.3. ... .(n-1).n
Usualmente se escribe como: n! = n.(n-1). ... .3.2.1
n! = n.(n-1)!
Por convencin se define: 0! = 1
Definicin:
Si n es un entero positivo y a1, a2, ..., an son n nmeros a ser sumados,
entonces la suma de ellos, se puede escribir como:
n

a
i =1
i = a1 + a 2 + ... + a n

Y se lee: sumatoria de ai, desde i = 1 hasta i = n.

Propiedades:
n
[i] 1 = n
i =1
n

Sumatoria [ii] c = c.n

i =1
n n n n n n
[iii] (a
i =1
i + bi ) = a i + bi y
i =1 i =1
(a
i =1
i b i ) = a i bi
i =1 i =1
n n
[iv] c.a
i =1
i =c a i
i =1

Identidades:
n
n( n + 1)
i =
i =1 2
n
n( n + 1)(2n + 1)
i2 =
i =1 6
Definicin:
Si n es un entero positivo y a1, a2, ..., an son n nmeros a ser multiplicados,
entonces el producto de ellos, se puede escribir como:
Productoria n

a
i =1
i = a1 a 2 ... a n

Y se lee: productoria de ai, desde i = 1 hasta i = n.

Hecho Por: Kiara A. Ottogalli F.

UNIVERSIDAD DE CARABOBO ELEMENTOS DISCRETOS
FACULTAD EXPERIMENTAL DE CIENCIAS Y TECNOLOGA marzo de 2007
DEPARTAMENTO DE COMPUTACIN
GRUPO DE MATEMTICAS DE LA COMPUTACIN

La utilidad de la productoria surge cuando ai es una expresin matemtica

en trminos del ndice i, de forma tal que cuando i toma uno de sus valores
(entre 1 y n), se obtiene el i-simo trmino del producto.
La notacin de productoria permite simplificar la escritura del producto de
nmeros.

Propiedades:
n
[i] 1 = 1
i =1
n
[ii] c = c
i =1
n

ai
ai
n
n n n
[iii] (a i bi ) = i bi y
a = i =n1
i =1 i =1 i =1 bi
i =1
b
i =1
i

n n
[iv] cai = c n a i
i =1 i =1

Son enunciados, propiedades o relaciones entre conceptos primitivos,

Axiomas o
puestas a priori (es decir no son deducidas de otras), las cuales se admiten
postulados
sin demostracin.
Son enunciados demostrables dentro de la teora que se desarrolla.
Se reserva la palabra Teorema para los resultados de gran importancia, de
Teoremas
demostracin a veces difcil y larga. Los lemas y corolarios tambin son
teoremas.
Es frecuentemente usado como un enunciado previo a la demostracin de
Lema un Teorema y cuya demostracin no tiene mucho inters en s misma, sino
servir de base para demostrar el teorema que le seguir.
Es un enunciado fcil de demostrar, que surge como consecuencia
Corolario
inmediata de un teorema.
Si AN, tal que:
[i] 1A N
[ii] kA (k+1)A A 1
k
Entonces A = N. k+1
Teorema de
Induccin Principio de Induccin Completa:
Completa Sea P(n) una funcin proposicional, con nN, entonces:
(Induccin
Matemtica) P1: P(1) v (Base de la induccin)
P2: k [ P(k) P(k+1) ] v (Paso Inductivo)
Q: nN [ P(n) ] v

Hecho Por: Kiara A. Ottogalli F.

UNIVERSIDAD DE CARABOBO ELEMENTOS DISCRETOS
FACULTAD EXPERIMENTAL DE CIENCIAS Y TECNOLOGA marzo de 2007
DEPARTAMENTO DE COMPUTACIN
GRUPO DE MATEMTICAS DE LA COMPUTACIN

Para demostrar que una propiedad P(n) (depende de nN), es verdadera

para cualquier valor de n, debemos hacer lo siguiente:
Probar P(n) para n = 1 (Caso Base).
Asumiendo cierto que se cumple P(n) para n = k (Hiptesis Inductiva),
verificar que se cumpla para n = k+1 (Tesis Inductiva).
Al cumplirse los dos pasos anteriores, concluimos que P(n) se cumple
nN.

Sea n0Z+ y M = {n/ n Z+ nn0} M

Corolario del
Sea AM, tal que: A n0
Teorema de
Induccin [i] n0A k
k+1
Matemtica [ii] kA (k+1)A
Entonces A = M.

Principio de Sea P(n) una funcin proposicional, con nZ+, entonces:

Induccin
Completa P1: P(n0) v (Base de la induccin)
resultante del P2 k n0 [ P(k) P(k+1) ] v (Paso Inductivo)
corolario Q: n n0 [ P(n) ] v

Si AN, tal que:

[i] 1A
[ii] Si para b > 1, cada elemento A en [1, b-1] bA
Entonces A = N.
Forma Fuerte de
Induccin
Formalmente:
Matemtica:
Si AN, tal que:
[i] 1A
[ii] Si para b > 1, k [ ( kA 1 k b-1 ) bA ]
Entonces A = N.

Sea P(n) una funcin proposicional, con nN, entonces:

Principio de
Induccin P1: P(1) v
Completa P2: b>1 [ ( P(1) P(2) ... P(b-1) ) P(b) ] v
Q: nN [ P(n) ] v

Hecho Por: Kiara A. Ottogalli F.