Está en la página 1de 15

Induccin Completa Induccin Completa

Unidad III
Universidad de Carabobo FaCyT Departamento de Computacin
Induccin
Induccin Completa
Factorial
Es el producto de todos los nmeros naturales consecutivos
desde 1 hasta n, n e N. Se denota como: n!

Es una funcin 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 convencin se define 0! = 1.
Repaso
11/03/2013 2 Elementos Discretos. 2007-2008
Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Induccin
1 Principio de
Induccin
Corolario del T.
de Induccin
Forma Fuerte
de Induccin
2 Principio de
Induccin
Induccin
Induccin 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 nmeros 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 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 de la suma.
La notacin de sumatoria permite simplificar la escritura de
suma de nmeros.

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


Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Induccin
1 Principio de
Induccin
Corolario del T.
de Induccin
Forma Fuerte
de Induccin
2 Principio de
Induccin
( )

= = =
=
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
Induccin
Induccin Completa
Repaso
11/03/2013 5 Elementos Discretos. 2007-2008
Sumatoria: Identidades


Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Induccin
1 Principio de
Induccin
Corolario del T.
de Induccin
Forma Fuerte
de Induccin
2 Principio de
Induccin
( )
2
1 n n
i
n
1 i
+
=

=
( )( )
6
n 1 n 1 2n
i
n
1 i
2
+ +
=

=
Induccin
Induccin 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 nmeros 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 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.

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

Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Induccin
1 Principio de
Induccin
Corolario del T.
de Induccin
Forma Fuerte
de Induccin
2 Principio de
Induccin
[
[
[
=
=
=
=
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
Induccin
Induccin 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 demostracin.

Teoremas
Son enunciados demostrables dentro de la teora que se
desarrolla.
Se reserva la palabra Teorema para los resultados de gran
importancia, de demostracin a veces difcil y larga.
Lema y Corolario tambin son teoremas, pero ...

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


Corolario
Es un enunciado fcil de demostrar, que surge como
consecuencia inmediata de un teorema.

Repaso
Factorial
Sumatoria
Productoria
Definiciones
Teorema
Lema
Corolario
Teorema de
Induccin
1 Principio de
Induccin
Corolario del T.
de Induccin
Forma Fuerte
de Induccin
2 Principio de
Induccin
Induccin
Induccin Completa
Teorema de Induccin Completa (Induccin Matemtica)
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
Induccin
1 Principio de
Induccin
Corolario del T.
de Induccin
Forma Fuerte
de Induccin
2 Principio de
Induccin
1
k
k+1
A
N
Induccin
Induccin Completa
Primer Principio de Induccin Completa
11/03/2013 11 Elementos Discretos. 2007-2008
Sea P(n) una funcin proposicional, con n eN, entonces:
P
1
: P(1) v (Base de la induccin)
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
Induccin
1 Principio de
Induccin
Corolario del T.
de Induccin
Forma Fuerte
de Induccin
2 Principio de
Induccin
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 (Hiptesis
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

Induccin
Induccin Completa
Corolario del Teorema de Induccin
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
Induccin
1 Principio de
Induccin
Corolario del T.
de Induccin
Forma Fuerte
de Induccin
2 Principio de
Induccin
n
0
k
k+1
A
M
Induccin
Induccin Completa
Principio de Induccin Completa Resultante del Corolario
11/03/2013 13 Elementos Discretos. 2007-2008
Sea P(n) una funcin proposicional, con n eZ
+
, entonces:
P
1
: P(n
0
) v (Base de la induccin)
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
Induccin
1 Principio de
Induccin
Corolario del T.
de Induccin
Forma Fuerte
de Induccin
2 Principio de
Induccin
Esquemticamente
P
1
: P(n
0
) v (Base de la induccin)
caso base
P
2
: k > n
0
[ P(k) P(k+1) ] v (Paso Inductivo)
Hiptesis inductiva Tesis inductiva

Q: n > n
0
[ P(n) ] v
Conclusin
Induccin
Induccin Completa
Forma Fuerte de la Induccin 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
Induccin
1 Principio de
Induccin
Corolario del T.
de Induccin
Forma Fuerte
de Induccin
2 Principio de
Induccin
Induccin
Induccin Completa
Segundo Principio de la Induccin Completa
11/03/2013 15 Elementos Discretos. 2007-2008
Sea P(n) una funcin 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
Induccin
1 Principio de
Induccin
Corolario del T.
de Induccin
Forma Fuerte
de Induccin
2 Principio de
Induccin

También podría gustarte