You are on page 1of 15

Inducción Completa Inducción Completa

Unidad III
Universidad de Carabobo – FaCyT – Departamento de Computación
Inducción
Inducción Completa
Factorial
Es el producto de todos los números naturales consecutivos
desde 1 hasta n, n e N. Se denota como: n!

Es una función discreta f: N ÷ N
f(n) = n! Para n e N

n! = 1 × 2 × 3 × 4 × … × (n - 1) × n
Usualmente se escribe como:
n! = n × (n - 1) × … × 4 × 3 × 2 × 1

n! = n × (n - 1)!

Por convención se define 0! = 1.
Repaso
11/03/2013 2 Elementos Discretos. 2007-2008
Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción
Inducción
Inducción Completa
Repaso
11/03/2013 3 Elementos Discretos. 2007-2008
Sumatoria
Si n es un entero positivo y a
1
, a
2
, ..., a
n
son n números a ser
sumados, entonces la suma de ellos se puede escribir como:



Y se lee: “Sumatoria de a
i
, desde i = 1 hasta i = n”.

La utilidad de la sumatoria surge cuando a
i
es una expresión
matemática en términos del índice i, de forma tal que cuando i
toma uno de sus valores (entre 1 y n), se obtiene el i-ésimo
término de la suma.
La notación de sumatoria permite simplificar la escritura de
suma de números.


¿
=
+ + + =
n
1 i
n 2 1 i
a ... a a a
Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción
Inducción
Inducción Completa
Repaso
11/03/2013 4 Elementos Discretos. 2007-2008
Sumatoria: Propiedades


Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción
( )
¿ ¿ ¿
= = =
÷ = ÷
n
1 i
i
n
1 i
i
n
1 i
i i
b a b a
¿
=
=
n
1 i
n 1 i
¿
=
=
n
1 i
cn c
ii
( )
¿ ¿ ¿
= = =
+ = +
n
1 i
i
n
1 i
i
n
1 i
i i
b a b a
iii
¿ ¿
= =
=
n
1 i
i
n
1 i
i
a c ca
iv
¿ ¿ ¿
= = =
+ =
n
n i
i
1 - n
1 i
i
n
1 i
i
a a a
v
¿ ¿
+
+ = =
=
k n
k 1 i
k - i
n
1 i
i
a a
vi
¿ ¿
=
+
=
=
k - n
k - 1 i
k i
n
1 i
i
a a
Inducción
Inducción Completa
Repaso
11/03/2013 5 Elementos Discretos. 2007-2008
Sumatoria: Identidades


Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción
( )
2
1 n n
i
n
1 i
+
=
¿
=
( )( )
6
n 1 n 1 2n
i
n
1 i
2
+ +
=
¿
=
Inducción
Inducción Completa
Repaso
11/03/2013 6 Elementos Discretos. 2007-2008
Productoria
Si n es un entero positivo y a
1
, a
2
, ..., a
n
son n números a ser
multiplicados, entonces el producto de ellos, se puede escribir
como:


Y se lee: “Productoria de a
i
, desde i = 1 hasta i = n”

La utilidad de la productoria surge cuando a
i
es una expresión
matemática en términos del índice i, de forma tal que cuando i
toma uno de sus valores (entre 1 y n), se obtiene el i-ésimo
término del producto.
La notación de productoria permite simplificar la escritura del
producto de números.

Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción
n 2 1
n
1 i
i
a ... a a a × × × =
[
=
Inducción
Inducción Completa
Repaso
11/03/2013 7 Elementos Discretos. 2007-2008
Productoria: Propiedades

Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción
[
[
[
=
=
=
=
n
1 i
i
n
1 i
i n
1 i
i
i
b
a
b
a
1 1
n
1 i
=
[
=
i
n
n
1 i
c c =
[
=
ii
( )
|
.
|

\
|
|
.
|

\
|
=
[ [ [
= = =
n
1 i
i
n
1 i
i
n
1 i
i i
b . a b . a
iii
[ [
= =
=
n
1 i
i
n
n
1 i
i
a c ca
iv
[ [ [
= = =
=
n
n i
i
1 - n
1 i
i
n
1 i
i
a . a a
v
[ [
+
+ = =
=
k n
k 1 i
k - i
n
1 i
i
a a
vi
[ [
=
+
=
=
k - n
k - 1 i
k i
n
1 i
i
a a
Inducción
Inducción Completa
Definiciones
11/03/2013 8 Elementos Discretos. 2007-2008
Axiomas o Postulados
Son enunciados, propiedades o relaciones entre conceptos
primitivos, puestas a priori (es decir no son deducidas de
otras), las cuales se admiten sin demostración.

Teoremas
Son enunciados demostrables dentro de la teoría que se
desarrolla.
• Se reserva la palabra Teorema para los resultados de gran
importancia, de demostración a veces difícil y larga.
• Lema y Corolario también son teoremas, pero ...

Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción
Inducción
Inducción Completa
Definiciones
11/03/2013 9 Elementos Discretos. 2007-2008
Lema
Es frecuentemente usado como un enunciado previo a la
demostración de un Teorema y cuya demostración no tiene
mucho interés en sí misma, sino servir de base para demostrar
el teorema que le seguirá.


Corolario
Es un enunciado fácil de demostrar, que surge como
consecuencia inmediata de un teorema.

Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción
Inducción
Inducción Completa
Teorema de Inducción Completa (Inducción Matemática)
11/03/2013 10 Elementos Discretos. 2007-2008
Si A _ N, tal que:
i) 1 e A
ii) k e A ¬ (k+1) e A
Entonces A = N
Ejemplo: El efecto dominó.
Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción
1
k
k+1
A
N
Inducción
Inducción Completa
Primer Principio de Inducción Completa
11/03/2013 11 Elementos Discretos. 2007-2008
Sea P(n) una función proposicional, con n eN, entonces:
P
1
: P(1) ÷ v (Base de la inducción)
P
2
: ¬k [ P(k) ÷ P(k+1) ] ÷ v (Paso Inductivo)
Q: ¬neN [ P(n) ] ÷ v

Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción
Para demostrar que una propiedad P(n) (depende de n e N),
es verdadera para cualquier valor de n, debemos hacer lo
siguiente:
(1) Probar P(n) para n = 1 (Caso Base)
(2) Asumiendo cierto que se cumple P(n) para n = k (Hipótesis
Inductiva), verificar que se cumpla para n = k+1 (Tesis Inductiva)
(3) Al cumplirse los dos pasos anteriores, concluimos que P(n) se
cumple ¬n e N

Inducción
Inducción Completa
Corolario del Teorema de Inducción
11/03/2013 12 Elementos Discretos. 2007-2008
Sea n
0
e Z
+
y M = {n / n e Z
+
. n > n
0
} Z
+
= N{0}
Sea A _ M, tal que:
i) n
0
eA
ii) k eA ¬ (k+1) eA
Entonces A = M

Ejemplo: El efecto dominó comenzando desde una pieza
distinta a la primera.

Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción
n
0
k
k+1
A
M
Inducción
Inducción Completa
Principio de Inducción Completa Resultante del Corolario
11/03/2013 13 Elementos Discretos. 2007-2008
Sea P(n) una función proposicional, con n eZ
+
, entonces:
P
1
: P(n
0
) ÷ v (Base de la inducción)
P
2
: ¬k > n
0
[ P(k) ÷ P(k+1) ] ÷ v (Paso Inductivo)
Q: ¬n > n
0
[ P(n) ] ÷ v
Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción
Esquemáticamente
P
1
: P(n
0
) ÷ v (Base de la inducción)
caso base
P
2
: ¬k > n
0
[ P(k) ÷ P(k+1) ] ÷ v (Paso Inductivo)
Hipótesis inductiva Tesis inductiva

Q: ¬n > n
0
[ P(n) ] ÷ v
Conclusión
Inducción
Inducción Completa
Forma Fuerte de la Inducción Completa
11/03/2013 14 Elementos Discretos. 2007-2008
Si A _ N, tal que:
i) 1 eA
ii) ( 1eA . 2eA . … . keA ) ¬ k+1 eA
Entonces A = N

Formalmente
Si A _ N, tal que:
i) 1 eA
ii) ¬r [ ( 1 s r s k . reA ) ¬ k+1 eA ] k > 1
Entonces A = N

Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción
Inducción
Inducción Completa
Segundo Principio de la Inducción Completa
11/03/2013 15 Elementos Discretos. 2007-2008
Sea P(n) una función proposicional, con n e N, entonces:
P
1
: P(1) ÷ v
P
2
: ¬k >1 [ ( P(1).P(2). ... .P(k) ) ÷ P(k+1) ] ÷ v
Q: ¬neN [ P(n) ] ÷ v
Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Inducción
1º Principio de
Inducción
Corolario del T.
de Inducción
Forma Fuerte
de Inducción
2º Principio de
Inducción