Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
ndice
I.
2.
3.
II.
Lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.
1.3.
1.4.
Clculo de proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . .
15
Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
. . . .
9
13
2.1.
Deniciones bsicas
2.2.
Subconjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
2.3.
. . . . . . .
20
lgebras de Boole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
27
III.
1.
2.
30
1.1.
Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30
1.2.
Biyecciones
32
1.3.
34
1.4.
El principio de adicin . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
1.5.
36
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
elementos, y
3.
18
2.
. . . . . . . . . . . . . . . . . . .
Combinatoria
1.
1.1.
40
2.1.
El principio de divisin
. . . . . . . . . . . . . . . . . . . . . . . . . .
40
2.2.
42
2.3.
Nmeros binmicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
47
3.1.
Principio de comparacin
. . . . . . . . . . . . . . . . . . . . . . . . .
47
3.2.
49
3.3.
50
. . . . . . . . . . . . . . . . . . .
Recursin
Sucesiones
53
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
1.1.
Introduccin
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
1.2.
Terminologa
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
1.3.
1.4.
Ecuaciones de recurrencia . . . . . . . . . . . . . . . . . . . . . . . . .
58
1.5.
60
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
56
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
61
61
3.
2.2.
. . . . . . . . . . . . . . . . . . . .
61
2.3.
64
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
65
Licencia:
http://creativecommons.org/licenses/by-nc-sa/3.0/deed.es
o envie una carta a Creative Commons, 171 Second Street, Suite 300, San Francisco, California 94105, USA.
Creditos:
Este texto est en parte derivado de los apuntes de Eric Lehman y Srinivas
Devadas [1] para la asignatura Mathematics for Computer Science impartida en el M.I.T.
Dichos apuntes estan integrados en el MIT OpenCourseWare.
Bibliografa
[1] Srinivas Devadas and Eric Lehman. 6.042J/18.062J Mathematics for Computer Science,
Massachussets Institute of Technology: MIT OpenCourseWare. http:
//ocw.mit.edu (consultado el 1ero de septiembre de 2010). Licencia: Creative Commons
Spring 2005.
BY-NC-SA.
[2] Ronald L. Graham, Donald E. Knuth, and Oren Patashnik. Concrete Mathematics: a
TEMA
Esta parte del curso est dedicada al lenguaje de la matemtica: la lgica proposicional
y la teora de conjuntos.
1.
Lgica
1.1. Proposiciones
En matemticas, consideramos frases que son o bien verdaderas (=ciertas), o bien falsas,
como las siguientes:
2
+ 3 = 4
Hoy es lunes
Si
x=2
entonces
x2 = 4
>0
x < 1.
x.
tal que
p+2
es primo.
No sabemos si esta frase es verdadera o falsa (es un problema sin resolver en matemticas).
5 6
Las proposiciones que no son compuestas, las llamamos proposiciones simples, como:
5
3.
y solo si.
y solo
El conector o
A partir de dos proposiciones
p, q
o q . Su valor de
q de la manera siguiente: p o q es
p, q es verdadera, y es falsa cuando
y de
> 3 o 5 < 4
es verdadera, ya que 5
> 3
es verdadera.
p
V
V
F
F
q
V
F
V
F
poq
V
V
V
F
es falsa (F ) entonces p
Observacin:
o q es verdadera (V ).
como en:
Nuestro restaurante te regala una bebida o un helado.
Este o exclusivo (que corresponde ms explcitamente a o bien . . . o bien . . . ) tiene
una tabla de verdad diferente de la del o:
p
V
V
F
F
q
V
F
V
F
po(exclusivo)q
F
V
V
F
El conector y
Dadas dos proposiciones
una nueva proposicin p
pyq
(por ejemplo,
p es hoy es lunes
es llueve), denimos
ambas proposiciones son verdaderas, y es falsa sino. O sea, es el y del lenguaje cotidiano.
La tabla de verdad de y es:
p
V
V
F
F
q
V
F
V
F
10
pyq
V
F
F
F
El conector no
A partir de una proposicin
no
p
es verdadera cuando
p
V
F
no
F
V
Implicacin
A partir de dos proposiciones
implica
q .
Se
p entonces q .
Con el valor de verdad de esta nueva proposicin hace falta ser cauteloso. Esta denido
por la tabla:
p
V
V
F
F
q
V
F
V
F
p implica q
V
F
V
V
En resumen:
Para que una implicacin sea verdadera, basta que la parte si (hiptesis ) sea falsa,
o que la parte entonces (conclusin ) sea verdadera.
La implicacin es falsa si, y solo si, la hiptesis es verdadera y la conclusin es falsa.
Ejemplo 1.2
si
entonces
1 + 1 = 2
entonces
Y como una proposicin tiene que ser o bien cierta o bien falsa, es cierta.
si
1 + 1 = 3 entonces
asignatura
La implicacin es cierta, porque la hiptesis es falsa. No es necesario comprobar el
valor de verdad de la conclusin.
Equivalencia
A partir de dos proposiciones
q .
p, q
si y solo si
q
es equivalente
(abreviacin: p
ssi
q ).
La proposicin p
p
V
V
F
F
q
V
F
V
F
p es equivalente a q
V
F
F
V
Ejemplo 1.3
Las proposiciones siguientes son verdaderas:
si
x
x = 1 entonces x + 1 = 2.
= 1 si y solo si x + 1 = 2.
x = 1 entonces x2 = 1.
2
x = 1 si y solo si x = 1.
si
x=1
es falsa pero
x =1
x = 1,
se tiene que
es verdadera).
Notaciones y terminologa:
o q
y q
no p
p implica q
es equivalente a q
p
p
p
Terminologa:
p q , p || q (programacin)
p q , p && q (programacin)
p, p, !p
p q , p q (lgica)
p q , p q (lgica)
q es la conjuncin de p y q , la proposicin p o q es su
p es la negacin de p. Las palabras o , y , no ,
si y solo si de la
salgo
entonces te llamo
es distinto de
un nmero primo.
12
es
demostraciones, los autores son ms cautelosos y sus si son siempre los si de la lgica.
Y las parntesis
Otro elemento que puede aparecer en una proposicin son los parntesis. Estos elementos
pueden ser cruciales a la hora de expresar algo. Por ejemplo, no es lo mismo la proposicin
p
(q r)
que (p
q) r.
despejado entonces hoy hay luna llena, mientras que la segunda sera si hoy es lunes o el
cielo est despejado, entonces hoy hay luna llena.
Sealamos por n que podemos representar una proposicin compuesta, o una formula
obtenida a partir de proposiciones indeterminadas (representadas por variables
p, q
. . . ),
conectores lgicos y parntesis, por un rbol (rbol sintico), en l que partiendo de las
proposiciones simples, que se sitan en la parte inferior del rbol, se van construyendo
expresiones ms complejas hacia arriba.
p
o ((no
p) y q )
(o sea, en smbolos: p
donde
(p q)).
son proposiciones sin determinar Cuales son sus posibles valores de verdad
en funcin de los de
y de
p
V
V
F
F
q
V
F
V
F
p
F
F
V
V
p q
F
F
V
F
p (p q)
V
V
V
F
p) y q )
y de
q.
o q , indepen-
o ((no
y p
Denicin 1.1 Dos expresiones construidas a partir de variables p, q , . . . (es decir letras que
representan proposiciones sin determinar), conectores lgicos y parntesis son lgicamente
equivalentes cuando toman los mismos valores de verdad, para todos los valores de verdad
posibles de
y de
q.
Ejemplo 1.5 Aqu esta una aplicacin del ejemplo anterior en programacin. Consideramos
la instruccin
if (x >0 ||
...
Java ||
(en
Si
Java
siguiente:
es el smbolo para
o y
&&
es el smbolo para
y ). Signica:
...
Notamos
para x
equivalente a
a
no
p).
En breve: p
q
es lgicamente equivalente a (p
q) (q p).
Las demostraciones de este teorema y de los dos siguientes pueden hacerse mediante
tablas de verdad.
Sealamos que la proposicin
q p
p q.
si
tengo hambre
si
q
q
q
q .
p) o q .
(p) q .
La proposicin (q)
rrecproco de p
es lgicamente equivalente a
q
(p),
(p).
lgicamente equivalente a p
q ,
es llamada el contra-
contrarrecproco.
Notacin y terminologa:
Por ejemplo:
p q (p q) (q p)
Damos tambin la signicacin de algunas palabras importantes:
p p es
p es falso.
una contradiccin: es
Tautologa: Una formula es una tautologa si es verdadera para toda asignacin de los
valores de verdad de sus variables. Por ejemplo,
Terminologa:
(p (p q)) q
es una tautologa.
r.
anteriormente utilizando tablas de verdad. Otra manera de hacer esta simplicacin consiste
en aplicar ciertas reglas de simplicacin. Damos en el cuadro I.1 una serie de reglas de
simplicacin (no se pide al estudiante aprenderlas de memoria).
Veamos como simplicar la expresin ((((p q) r)) (q)) utilizando estas reglas:
15
(((p q) r) q)
= (((p q) r)) (q)
= ((p q) r) (q)
= ((p q) r) q
= (p q) (r q)
= (p q) (q r)
= ((p q) q) r
=qr
p = p
pq pq
pq pq
pq qp
pq qp
(p q) r p (q r)
(p q) r p (q r)
p (q r) (p q) (p r)
p (q r) (p q) (p r)
ppp
ppp
pf p
pv p
pv v
pf f
ppv
ppf
p (p q) p
p (p q) p
Justicacin
Ley de De Morgan
Ley de la doble negacin
Ley de la doble negacin
Asociatividad de
Conmutatividad de
Asociatividad de
Ley de absorcin de
y respectivamente.
Leyes de dominacin
Leyes de absorcin
es una contradiccion (cualquiera). Esta tabla esta dada a ttulo indicativo. Si es cierto que
el estudiante tiene que ser capaz de demostrar cada una de estas leyes, no se pide memorizar
la lista, ni los nombres.
16
2.
Conjuntos
A.
En smbolos, se escribe:
A = {2, 4, 6, 8}
Las llaves ( { y }) son los smbolos reservados para la denicin de un conjunto.
Terminologa y notaciones:
tos del conjunto. Se dice de ellos que pertenecen al conjunto. Que un objeto
(=sea elemento de) un conjunto
En el ejemplo anterior,
pertenece a
se nota
2 A (2
x C,
y que no pertenezca a
es un elemento de
A,
pertenece a
A)
pertenezca a
se nota
pero
x 6 C .
3 6 A (3
no
A).
Hay que hacer bien la distincin entre un conjunto y sus elementos. Por ejemplo,
(nmero) es distinto de
2
{1}
{1}
1.
En cambio
{2, 6, 4, 8},
{8, 6, 4, 2},
o . . . Las collecciones ordenadas de objetos se llaman sucesiones y se suelen notar con parntesis, como por ejemplo
(2, 4, 6, 8)
(2, 6, 4, 8)
(una
(2, 4, 2)
{2, 4, 2}.
|A| = 4 ( A
#A = 4.
o con
#.
Por ejemplo, si
A = {2, 4, 6, 8}
smbolo
conjunto
elementos
N
Z
Q
R
C
enteros naturales
{0, 1, 2, 3, . . .}
{. . . , 2, 1, 0, 1, 2, . . .}
10
1
2 , 3 1, 1 . . .
2,
, 2 , 1 . . .
2, 12 , 1, . . .
i, 1+i
,
2
enteros
nmeros racionales
nmeros reales
nmeros complejos
B
n < 9.
Sea
que cumplen
n2
B = {n | n
es un entero y
n2
n < 9}
Explicacin:
Las llaves { y } indican que se va a denir un conjunto.
{n
| . . .}
n tal que . . .
y a continuacin se da la propiedad
B = {w | w
es un entero y
w2
w < 9}
El conjunto vaco
El conjunto ms pequeo de todos es
elemento. Se suele notar con
Su cardinal es
piedadad dada que nunca se da, es el conjunto de los elementos que cumplen esta propiedad.
Por ejemplo:
= {x | x N
x + 1 = x},
= {x | 0 = 1}.
2.2. Subconjuntos
Dados dos conjuntos A y B , se dice que A es un subconjunto de B si todo
A es tambin elemento de B . Se nota A B cuando A es un subconjunto de B
debe evocar A es ms pequeo que B ), y A 6 B cuando no lo es.
Ejemplos:
{1, 2} {1, 2, 3}
pero
{1, 4} 6 {1, 2, 3}
ya que
N Z Q R C.
19
4 6 {1, 2, 3}.
elemento de
(la notacin
{1, 2}.
De hecho,
Los subconjuntos de
Terminologa:
parte de
B,
que
{1, 2}
son:
, {1}, {2}
{1, 2}.
es un subconjunto de
B,
esta contenido en
que
B,
esta incluido en
B,
o que
es una
contiene
A.
X = {1, 2, 3}
Y =
{1, 3, 5, 7}.
La unin
AB
de dos conjuntos
AB
B.
A\B
B es el conjunto
B . Ejemplo: X Y = {1, 3}.
de dos conjuntos
( A menos
Ejemplo:
Terminologa:
X Y = {1, 2, 3, 5, 7}.
A B, A B, B \ A
A y B ).
mediante dia-
Ms terminologa:
vaca (A
B = ).
Ejemplo 2.1 Podemos construir las tablas de unin y de interseccin para los subconjuntos
de
{1, 2}:
{1}
{2}
{1, 2}
{1}
{2}
{1, 2}
{1}
{1}
{1}
{1, 2}
{1, 2}
{2}
{2}
{1, 2}
{2}
{1, 2}
{1, 2}
{1, 2}
{1, 2}
{1, 2}
{1, 2}
{1}
{2}
{1, 2}
{1}
{1}
{1}
{2}
{2}
{2}
{1, 2}
{1}
{2}
{1, 2}
20
A = A
AB =AB
AB =AB
AB =BA
AB =BA
(A B) C = A (B C)
(A B) C = A (B C)
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
AA=A
AA=A
A=A
AX =A
AX =A
A=
AA=X
AA=
A (A B) = A
A (A B) = A
Conmutatividad de
Asociatividad de
son neutros
para
y respectivamente.
respectiva-
mente.
es inversa de
para
Leyes de absorcin
b + a, a b = b a),
asociativas ((a
+ b) + c = (a + (b + c))
y similarmente para
pero
Todas estas reglas pueden ser utilizadas en un clculo de conjuntos, por ejemplo para
simplicar formulas.
(A B) C B ,
(A B) C B
= (A B) C B
= ((A B) C) B
= ((A B) C) B
= (A B) (C B)
= (A B) (B C)
= ((A B) B) C
=BC
y los subconjuntos
A, B
de
X.
Vamos a
Justicacin
Ley de De Morgan
Ley del doble complemento
Ley del doble complemento
Asociatividad de
Conmutatividad de
Asociatividad de
Ley de absorcin de
Finalmente, vamos a dar una demostracin de unas de estas reglas, dejando la demostracin de las otras como ejercicio.
21
AB =AB
de un conjunto
X,
se tiene
Demostracin. Sea
x X . Por denicin del complementario, x A B es equiva6 A B . Es la negacin de: x pertenece a A o a B . Por lo tanto, es equivalente
a x no pertenece ni a A ni a B , que es equivalente a x A B . Esto establece que
x A B si y solo si x A B . Los dos conjuntos tienen los mismos elementos, por lo
tanto son iguales.
lente a x
A (B C) = (A B) (A C)
A, B y C , se tiene
con respecto a ).
(distributividad de
(A B) (A C) A (B C).
A (B C) (A B) (A C),
es elemento del segunda, y viceversa. Esto demostrar bien que los dos conjuntos tienen
los mismos elementos, o sea: que son iguales. (Este tipo de demostracin de la igualdad de
dos conjuntos de llama demostracin de la dobleinclusin).
x B C.
Por lo tanto
22
3.
lgebras de Boole
El lgebra de conjuntos y el lgebra de proposiciones presentan grandes paralelismos.
Hay un concepto matemtico que generaliza ambas teoras, y otras: el concepto de lgebra
de Boole.
un elemento
x0
de
x+y =y+x
b)
xy =yx
(+)
()
son conmutativas:
(+)
()
son asociativas:
a)
(x + y) + z = x + (y + z)
b)
(x y) z = x (y z)
(+)
()
a)
x + (y z) = (x + y) (x + z)
b)
x (y + z) = x y + (x z)
x+0=x
para todo
x B.
b)
x1=x
para todo
x B.
x + x0 = 1
b)
x x0 = 0
de
B,
se cumple:
Ejemplos fundamentales:
Sea
El conjunto
con
X , con y
+ y , y A0 = A para el complementario, es un lgebra de Boole.
{V, F }
como operaciones
p0 = p
de Boole.
Para demostrar que estas lgebras son efectivamente lgebras de Boole habra que probar
que verican los cinco axiomas que denen un lgebra de Boole.
Sin sorpresa, la lista de propiedades que hemos enunciado para subconjuntos de un
conjunto y para proposiciones vale en toda generalidad para las lgebras de Boole:
23
(x0 )0 = x
(x + y) = x0 y 0
(x y)0 = x0 + y 0
x+y =y+x
xy =yx
(x + y) + z = x + (y + z)
(x y) z = x (y z)
x (y + z) = (x y) + (x z)
x + (y z) = (x + y) (x + z)
x+x=x
xx=x
x+0=x
x1=x
x+1=x
x0=0
x + x0 = 1
x x0 = 0
x + (x y) = x
x (x + y) = x
Leyes de De Morgan
conmutatividad de
asociatividad de
1 y 0 son neutros
para
y + respectivamente.
Leyes de dominacin
Leyes de los inversos
Leyes de absorcin
x+1 = x
x+1
= 1 (x + 1)
= (x + x0 ) (x + 1)
= x + (x0 1)
= x + x0
=1
por Axioma
por Axioma
por Axioma
por Axioma
por Axioma
4b
5a
3a
4b
5a.
Figura I.1:
24
+,
{0, 1}
y cuyas opera-
+ 0
0 0
1 1
0
0 0
1 0
1
1
1
x x0
0 1
1 0
1
0
1
Es fcil comprobar que se trata de una reescritura de lgebra de Booles de la lgica proposicional, tomando
F = 0, V = 1, + = , = , 0 = .
x, y
x, y
mediante la operacin
x, y
y la salida es
de
xy .
+,
x + y.
mediante la operacin
x, y
y la salida es
siendo
x0 .
x0 y + xy 0 .
xy + z 0 :
26
TEMA
II
Combinatoria
27
28
Introduccin
En esta parte del curso presentamos una variedad de reglas y principios para contar: dado
un conjunto nito, Podemos contar sus elementos (sin hacer la lista de dichos elementos,
claro est) ?
0010011000001000.)
Sorprendentemente, las dos preguntas tienen la misma respuesta. Vamos a ver el porque.
De momento slo daremos una indicacin:
| | | |
Qu vamos a contar ?
Puede ya contestar a algunas de estas preguntas ?
Todos los subconjuntos de un conjunto de 10 elementos (como por ejemplo:
. . . para el conjunto
, {1},
{1, 2, 3, . . . , 10}).
{3, 6, 7, 13}
para el conjunto
{1, 2, 3, . . . , 16}).
x1 + x2 + x3 + x4 + x5 = 12.
x1 = 2, x2 = 2, x3 = 0, x4 = 5, x5 = 3.)
Los nmeros de 16 bits, exactamente cuatro de ellos siendo 1 (como por ejemplo
0010011000001000).
Los anagramas de la palabra CONTAR (son CORNAT, RNTCAO, . . . )
Los anagramas de la palabra CASCARA (son AAARCCS, CARACAS, . . . ).
Piensa que en Sevilla (capital) hay por lo menos cuatro personas que tienen el mismo
nmero de cabellos ?
Por qu contar ?
Contar es til en informtica por varias razones. Entre otras:
Determinar el tiempo y la memoria necesarios para la resolucin de un problema de
clculo se reduce a menudo a un problema de contar.
Contar es la base de las probabilidades.
29
1.
1.1. Aplicaciones
Damos en primer lugar una denicin simple, pero algo incorrecta, de aplicacin : una
un elemento de
A=B=Z
B.
denimos la funcin
f (n) =
Pero podramos denir igualmente
los que cumplen
en un conjunto
siguiente de
en
B:
n/2 si n es par
(n 1)/2 si n es impar
de la manera siguiente:
f (n)
es el mayor entero
de
2 k n.
Este ejemplo nos hace ver una limitacin de la denicin anterior: una aplicacin no es
una regla, ya que una aplicacin dada puede ser denida por varias reglas. Esto nos conduce
a una denicin ms abstracta, pero ms general, de aplicacin: consiste en decir que una
aplicacin
es elemento de
A.
(a, f (a))
donde
(x, x2 )
x 7 x de R en
la aplicacin.
est en
en
(1,a)
(2,a)
(3,a)
(1,e)
(2,e)
(3,e)
|A| |B|
30
|A B| =
A B.
Si un par
(a, b)
es cualquier subconjunto
b.
conjunto de letras
palabras
Denimos la correspondencia
B.
A el
{boa, baobab, coco, calor, fro}.
{a, b, c}
para
el conjunto de
C = {(a, boa), (a, baobab), (a, calor), (b, boa), (b, baobab), (c, coco), (c, calor)}
aunque en general no nos conviene pensarlo as. Preferimos presentarlo por medio de una
tabla :
C
boa
baobab
coco
fro
c
o de un diagrama, trazando una echa desde
corresponde el elemento destino
calor
hasta
le
y:
en
Terminologa:
Si
es una aplicacin de
f.
a A, el nico elemento b
f . Se nota b = f (a).
Para
por
de
B.
en
entonces:
(tambin su dominio ).
31
se llama imagen de
Para
f (a) = b)
Ejemplo 1.6
La correspondencia del ejemplo 1.5 no es una aplicacin, ya que, por ejemplo, al
elemento
B.
Notacin:
La notacin
f : A B
en
B .
Si
es
f: A
a
B
descripcin de la regla
f: Z
n 7
f (n) =
Z
n(n+1)
2
1.2. Biyecciones
A en B es algo asimtrica: a cada elemento
de A debe corresponder uno y slo un elemento de B , mientras que a un elemento de B le
puede corresponder uno, varios o ningn elemento de A.
Observar que la denicin de una aplicacin de
Las biyecciones son las aplicaciones para las cuales la simetra se restablece.
una aplicacin de
en
Ejemplo 1.7
32
B.
A.
Contar los elementos de un conjunto nito es establecer una biyeccin del conjunto de
un conjunto de la forma
{1, 2, 3, . . . , n}.
Las herramientas de medida fsicas utilizan biyecciones entre magnitudes fsicas (por
ejemplo entre temperatura y altura de una columna de alcohol para un termmetro).
La aplicacin de
X = {1, 2, 3}
en
Y = {a, b, c, d}
En cambio la aplicacin de
X = {1, 2, 3, 4}
en
Y = {A, B, C, D}
por
d).
representada por el
en
entonces
Ejemplo 1.8 continuacin del ejemplo 0.3 Conisideramos otra vez los dos problemas:
Contar las maneras de repartir 12 canicas idnticas entre 5 nios.
Contar los nmeros de 16 bits con exactemente cuatro 1.
33
Sea
el conjunto de todas las maneras posibles de repartir las 12 canicas entre los 5 nios.
x1 , x2 , x3 , x4 , x5
recibidas
f :AB
de la manera siguiente:
f (x1 , x2 , x3 , x4 , x5 )
es el
x2
x1
x3
x4
x5
z }| { z }| { z }| { z }| { z }| {
00 0 1 00 0 1 00 0 1 00 0 1 00 0
Por ejemplo:
f (2, 2, 0, 5, 3) = 0010011000001000.
(x1 , x2 , x3 , x4 , x5 ) de A: x1
x2
es el nmero
es una biyeccin de
en
B.
1. Vamos a desarrollar tcnicas para contar un tipo muy especial de objetos matemticos:
las sucesiones nitas.
2. Cada vez que encontremos un problema de recuento, reduciremos el problema a un
recuento de sucesiones. Ms precisamente, buscaremos una biyeccin entre el conjunto
a contar y un conjunto de sucesiones.
Llamamos sucesiones a las colecciones ordenadas de objetos como las siguientes:
(0, 0, 1, 0, 1, 1, 0),
(C, A, S, C, A, R, A)
(R, O, M, A)
(R, O, M, A)
es distinta de
(A, M, O, R).
00
la sucesin con parntesis (. . .) en vez de llaves {. . .} . Tambin una sucesin no tiene
por que tener trminos distintos.
Los ejemplos anteriores son ejemplos de sucesiones nitas. Las sucesiones innitas existen
tambin, pero no las encontraremos en el estudio de este tema.
Terminologa:
Los objetos que aparecen en una sucesin se llaman sus trminos. Son
numerados a partir de
el tercero es S, el cuarto es C tambin . . . El nmero de trminos de una sucesin nita
se llama su longitud. La sucesin
tiene solamente
(C, A, S, C, A, R, A)
tiene longitud
7,
aunque la sucesin
trminos distintos.
nesimo termino a An se
nota A1 A2 An .
Notacin:
vez de
A1 , A2 ,
...,
An ,
A1 ,
segundo termino a
El producto cartesiano de
A1 , A2 ,
A2 , . . . ,
An . Se
...,
se puede notar
An
en
A A A.
se presentan de
otras dos maneras: como palabras y como aplicaciones. Nos da tres presentaciones diferentes
de los mismos objetos, cada una con una terminologa propia.
Terminologa:
Sucesiones de longitud
en
con trminos
(c,a,s,c,a,r,a)
A
Palabras de longitud
en el alfabeto
cascara
A
Aplicaciones de
{1, 2, . . . , n}
en
f de {1, 2, 3, 4, 5, 6, 7} en A
f (1) = c, f (2) = a, f (3) = s,
f (4) = c, f (5) = a, f (6) = r y f (7) = a.
A
La funcin
con
B ),
A),
|A B|
|A| + |B|.
Este ejemplo ilustra el caso ms simple del principio de adicin : si dos conjuntos
|A B| = |A| + |B|
Presentamos ahora la forma ms general de este principio. Decimos de conjuntos
A1 , A2 ,
...,
An
entonces
A1 , A2 ,
a, c, s
Solucin: Tenemos 3 posibilidades para cada una de las letras. Obtenemos 3333
34 = 81
palabras posibles.
Solucin: Hay
tal
que haya:
k1
k2
k3
termino.
...
Entonces
tiene
k1 k2 k2 kn
elementos.
Este principio tiene dos aplicaciones particularmente interesantes, que detallamos a continuacin:
A1 , las elecciones
A2 , . . . y las elecciones de los diferentes
trminos son independientes entre si. Entonces S es exactamente el producto cartesiano
A1 A2 An . Es el caso del ejemplo 1.10, con A1 = A2 = A3 = A4 = {a, c, s}.
Cuando las elecciones para el primer termino forman un conjunto
Para contar las palabras de longitud dada sin repeticin sobre un alfabeto
A.
Es el
caso del ejemplo 1.11, con el conjunto de los estudiantes como alfabeto.
A1 A2 An ,
Ai
Entonces obtenemos:
|An | = |A|n
Recordar que este conjunto
An
A.
con trminos en
en el alfabeto
{1, 2, . . . , n}
A.
A.
en
A.
{1, 2, 3, . . . , 10}
10
B=2
n cualquiera de elementos,
{1, 2, 3}
en
2n
subconjuntos.
{1, 2, 3, 4, 5, 6}
{1, 2, 3, 4, 5, 6},
63
tales aplicaciones.
es
en el alfabeto
al conjunto
|X||Y | .
Ejemplo 1.14 En este ejemplo se aplica tanto el principio de adicin como el principio del
producto.
En cierto sistema informtico, una contrasea vlida tiene entre
6 y 8 caracteres vlidos.
El primero tiene que ser un carcter alfabtico, los siguientes son alfabticos o numricos.
Hay
52
A = {a, b, c, . . . , z, A, B, C, . . . , Z}
y
10
N = {0, 1, 2, . . . , 9}
Pregunta: Cuntas contraseas vlidas hay ?
Solucin:
S = A N.
Sea
(A S 5 ) (A S 6 ) (A S 7 )
A S 5 son
5
est en S ), las
Las contraseas en
en
y 34pp1
A S6
tienen longitud
y las contraseas
en
A S7
tienen longitud
8.
k = |A S 5 | + |A S 6 | + |A S 7 |
Luego aplicando la regla del producto obtenemos:
S = AN
(ya que
Finalmente:
contraseas posibles.
abd, cba,
. . . pero no
aba
(repeticin de
abc,
a).
n sobre un alfabeto de k
elementos
? Tenemos:
k1
letra.
Para cada eleccin de las dos primeras letras,
...
Por lo tanto:
n,
elementos es:
k(k 1)(k 2) (k n + 1)
(Observad que es un producto de
trminos).
Ejemplo 1.15 Cuntos nmeros de 3 cifras existen sin cifras repetidas? Respuesta:
9 8 = 720, puesto
8 para el tercero.
que hay
10
10
para el segundo
Permutaciones
Una caso particular del recuento anterior es l de las palabras de longitud
sobre un alfabeto de
elementos (mismo
n).
n sin repeticin
alfabeto.
Ejemplo 1.16 Cuntos nmeros de tres cifras distintas se pueden escribir con los dgitos
1, 3, 5?
permutaciones de
{1, 3, 5},
a saber:
Como caso particular de la formula para contar las palabras sin repeticin de longitud
dada sobre un alfabeto dado, vemos que el nmero de permutaciones de un conjunto de
elementos es:
n(n 1)(n 2) 2 1
Es el producto de los
n,
notada
n!).
Lo
Observacin:
La factorial de
se denie como:
elementos es
n!.
0! = 1.
6!
Observacin:
{C, O, N, T, A, R}.
Se llaman tambin
{C, O, N, T, A, R}.
n sobre
A. Bajo esta identicacin, las
de {1, 2, . . . , n} en A.
permutaciones de
{1, 2, . . . , n}
en
39
2.
{1, 2, . . . , 8}
cierto, no es una biyeccin (la conguracin de la gura II.1 es la misma que la conguracin
obtenida de la permutacin
23768451
por ejemplo) . . .
Vamos a introducir una regla ms, para renar el principio de biyeccin y resolver problemas como el anterior.
Observacin:
f :AB
k
tiene exactamente
es de grado combinatorio
antecedentes.
biyectivas.
40
f : A B
es de grado combinatorio
entonces
|A| = k |B|.
Ejemplo 2.2 Seguimos con el ejemplo 2.1.
{1, 2, . . . , 8}
red. Son todas las sucesiones de ordenadores que encontramos recorriendo el anillo de una
manera u otra. Para una topologa de red dada podemos:
Elegir arbitrariamente un primer ordenador en el anillo (8 posibilidades).
Para cada primer ordenador, podemos elegir uno o el otro sentido para recorrer el
anillo (2 posibilidades).
Por el principio del producto, hay 16 permutaciones que corresponden a una topologa de
red dada.
Aplicando ahora el principio de divisin, con el conjunto de las permutaciones de
para
A,
B,
y la aplicacin
{1, 2, . . . , 8}
denida en el ejemplo
52 51 50 49 48
por
la aplicacin de
en
f ((5, 1, K, Q, 10)) =
f ((1, 5, K, Q, 10)) = . . . =
{5, 1, K, Q, 10}
Dado un conjunto de 5 cartas, Cuntos antecedentes tiene por
5!. Por
C es:
|C| =
lo tanto
es de grado combinatorio
|S|
52 51 50 49 48
=
= 2, 6
5!
5!
5!.
Por el
milliones
Lo que hemos hecho en este ejemplo es contar todos los subconjuntos de 5 elementos de
un conjunto de 52 elementos.
Terminologa:
Los subconjuntos de
elementos tomados de
en
tomados de
en
k.
se llaman a
n
k .
n
n(n 1)(n 2) (n k + 2)(n k + 1)
=
k
k!
Desarrollaremos el estudio de los nmeros binmicos ms en detalle en la seccin 2.3.
41
Ejemplo 2.4
Cuntos anagramas tiene la palabras SOSOS ? Y CASCARA ?
{S, O}
S ?
Cuntas palabras sobre el alfabeto
{C, A, S, R}
tienen 2 ocurrencias de C, 3
Ya sabemos contar los anagramas de SOSOS (Por que ?) Como contar los anagramas
de CASCARA ? Aplicamos el principio de divisin. Sea
X = {C1 , A1 , S, C2 , A2 , R, A3 }.
Sea B el conjunto de todas las permutaciones de X . Sea f : A B la aplicacin que olvida
alfabeto
X,
3! 2! 1! 1!
X tienen la misma imagen si y slo si se obtienen cada una
A1 , A2 , A3 entre ellas y las letras C1 y C2 entre ellas (y
R y la S jas)
|B| =
Pero
|A| = 7!
|A|
3!2!1!1!
|B| =
7!
= 420.
3!2!1!1!
k2
anteriores es:
donde
n = k1 + k2 + + kr
kr
k1
ocurrencias de un elemento,
n!
k1 !k2 ! kr !
(observsese que es la longitud de la palabra).
42
El nmero binmico
nyk
n
n
=
k
nk
se tiene:
(II.1)
n
n!
=
k
k!(n k!)
Sustituyendo
por
nk
(y, en consecuencia,
formula obtenemos:
Esto es igual a
n
nk
=
nk
por
n (n k),
que vale
k)
en esta
n!
(n k)!k!
n
k .
Demostracin. Sean
(resp.
n y k con n 0 y k 1
n
n
n+1
+
=
k1
k
k
se tiene:
(II.2)
{1, 2, . . . , n + 1}.
{1, 2, . . . , n + 1}
simplemente,
{1, 2, . . . , n + 1}
que contienen
n + 1.
que no contienen
n + 1.
{1, 2, . . . , n}.
n=0
n=1
n=2
n=3
n=4
n=5
Observacin:
Para
n=0
n=k
se tiene siempre
n
k
= 1.
k=1
Para
se tiene
n
k
= n.
n
k1
n
k
n+1
k
1
1
1
1
1
1
2
3
4
1
3
1
1
1
1
1
1
2
3
4
5
.
.
.
1
3
6
10
1
4
10
1
5
1
6
(x + y)2 = x2 + 2 xy + y 2
(x + y)3 = x3 + 3 x2 y + 3 xy 2 + y 3
(x + y)4 = x4 + 4 x3 y + 6 x2 y 2 + 4 xy 3 + y 4
.
.
.
xk y nk
en el desarrollo de
(x + y)n .
x1 , x2
. . . xn e
y1 , y2 ,
el producto:
...,
yn
n
k
es el
y consideramos
Se obtendr
(x + y)n
sustituyendo
Desarrollamos el producto
Pn ,
x1 , x2 ,
. . . por
y1 , y2 ,
. . . por
en
Pn .
por ejemplo:
P3 = x1 x2 x3 + x1 x2 y3 + x1 y2 x3 + y1 x2 x3 + x1 y2 y3 + y1 x2 y3 + y1 y2 x3 + y1 y2 y3
Cuando desarrollamos
el segundo entre
x2
y2 ,
Pn
. . . , en el ltimo entre
xn
yn .
en el alfabeto
x1
y1 ,
en
Pn
{x1 , x2 , . . . , xn , y1 , y2 , . . . , yn }, y
en un monomio de la forma
Una forma quizs ms simple del teorema del binomio de Newton es la siguiente:
n
k
El nmero binmico
es el coeciente de
xk
por
en el desarrollo de
(1 + x)n .
1.
Se puede utilizar esta propiedad como denicin de los nmeros binmicos. En este caso,
tiene sentido considerar
n
k
con
negativo (vale
45
0).
46
3.
A)
es imagen de uno, y
un por el otro lado), dando lugar a dos tipos de aplicaciones las aplicaciones inyectivas y
las aplicaciones sobreyectivas.
una funcin de
en
B.
es imagen
A.
es
A.
Observacin:
f :AB
no ser inyectiva o no
ser sobreyectiva:
La aplicacin
La aplicacin
llegada
f (a) = f (a0 )
con
a 6= a0 .
A.
Ejemplo 3.1 Hemos visto (pargrafo 1.3) que las aplicaciones con conjunto de partida
{1, 2, . . . , n}
n.
Ejemplo 3.2 El diagrama siguiente representa una funcin ni inyectiva (d tiene dos antecedantes), ni sobreyectiva (b no tiene antecedante).
47
El diagrama siguiente representa una funcin sobreyectiva pero no inyectiva (C tiene dos
antecedantes):
Este diagrama representa una funcin a la vez inyectiva y sobreyectiva, es decir: biyectiva.
una aplicacin de
48
en
B.
|A| |B|.
Si
es inyectiva entonces
Si
es sobreyectiva entonces
|A| |B|.
100
99
No hace falta seguir la clase de IMD para saber esto . . . pero si la misma idea se aplica
al problema siguiente, Suena ms interesante ?
887964719632934
558079829715801
287229227755456
185696359139546
704043291794585
129996517563239
918930703766236
203255531597317
196140160830560
117050842616421
471598056079794
895397921831942
793443436342175
812999090787980
809176361839847
853595052833373
307576632323256
614322636818484
574393100402120
164943283221929
241354310206714
933789763806865
965760785214437
598577947802257
737669914029536
701491105472926
748605058193416
627143070588176
815653706272151
279183905034511
353509619982551
959631796100512
477470770159150
358758104182863
932251176700079
107264753201775
262826621816025
247116472139512
800411246266011
740543467620656
921393733200788
372197002112284
191487778595898
807868444440746
580827257466009
830081730551540
280379210953414
964060126349588
843847375041982
842476365687260
430048151603065
764046725256856
155568031850258
246457748356885
271869513523706
668448572075951
926502765039260
172981291280290
959818069149332
237622287732636
Armamos que existen dos subconjuntos de este conjunto de nmeros, disjuntos y con la
misma suma . . .
1015 ,
y hay
una cota superior para la suma de los elementos de cualquier subconjunto del conjunto de los
por lo tanto
49
1018 > 601015 ). Por el principio del palomar, existen dos subconjuntos A y B del conjunto
de los 60 nmeros con la misma suma. Los conjuntos A y B no son necesariamente disjuntos.
Pero los conjuntos A \ B y B \ A lo son, y tambin tienen la misma suma.
f : A B,
existen
k+1
elementos de
Ejemplo 3.6 En Sevilla capital hay poco ms de 700 000 personas, y ciertamente ms de
600 000 personas que no son calvas. Entre ellas, hay por lo menos cuatro personas que
tienen exactamente el mismo nmero de cabellos. En efecto, nadie tiene ms de 200 000
pelos. Sea
Tenemos
asocia su
Ejemplo 3.7 En la plantilla de un equipo de ftbol, todos los jugadores son espaoles o
argentinos. Diez son espaoles (conjunto
E ),
A)
Cuntos
sean contados solamente una vez, tenemos que quitar 3 de la suma. Por lo tanto, el nmero
total de jugadores es 10+5-3. O sea, ms generalmente:
|A E| = |A| + |E| |A E|
Esta formula se llama formula de inclusin y exclusin para el cardinal de la unin de dos
conjuntos.
|A B| = |A| + |B| |A B|
AB
A B = (A \ (A B)) (B \ (A B)) (A B)
y los conjuntos a la derecha son disjuntos dos a dos. Por lo tanto:
|A B| = |A \ (A B)| + |B \ (A B)| + |A B|
50
9516243870
Por ejemplo,
Solucin: Sea
P42
9516042387
no conviene, pero
si.
P04 el
P60 el conjunto de las permutaciones
|P42 P04 P60 |. Aplicamos la formula de inclusin
mutaciones que contienen "42"podemos agrupar el 4 y el 2 en un nuevo smbolo 42 . Esto dene una biyeccin
de
42
, 5, 6, 7, 8, 9}.
Por ejemplo:
P42
de
{1, 3,
42
, 5,
, 3, 8, 7)
tiene 9! elementos.
42
60
P42 P04
Finalmente:
A1 , A2 ,
...,
An
conjuntos. En-
tonces:
|A1 A2 An | =
la suma de los cardinales de los conjuntos
52
TEMA
III
Recursin
54
1.
Sucesiones
1.1. Introduccin
En este tema nos interesamos a sucesiones de nmeros innitas, como las de los ejemplos
siguientes:
la sucesin de los enteros positivos:
(1, 2, 3, 4, 5, 6, . . .)
(2, 4, 6, 8, 10, . . .)
(1, 4, 5, 7, 9, . . .)
Los ejemplos anteriores son ejemplos de sucesiones de enteros pero podemos considerar
2 1:
(1, 2 1, 3 2 2, 7 + 5 2, 18 12 2, 42 + 30 2, . . .)
con
0, 1, 2, 3,
n = 1, 2, 3,
. . . , el nmero
an
de cadenas de
n
n=1
n=2
n=3
n=4
.
.
.
an
=2
=3
=5
=8
valor de
a1
a2
a3
a4
an =?
palabras de
0, 1
01, 10, 11
010, 011, 101, 110, 111
0101, 0110, 0111, 1010, 1011, 1101, 1110, 1111
00.
1.2. Terminologa
Denir una sucesin numrica consiste en elegir un intervalo de enteros y asociar un
nmero a cada entero de este intervalo. Por ejemplo, la sucesin de los cuadrados se dene
asociando a cada entero de
Observacin:
[1, ; +)
su cuadrado.
Tema II) cuyo conjunto de salida es un intervalo de enteros y cuyo conjunto de llegada es un
55
1.5
x[n]
0.5
0.5
1.5
10
20
30
40
50
60
Introducimos esta
1, 2, 3, 4
c.
Entonces:
1, 4, 9, 16
cn
(es:
c1 , c2 , c3 , c4
cn = n2 ),
...
se dice que c es la
.
En vez de notar
u 1 = 2, u 2 = 4, u 3 = 6,
....
un = 2 n
para todo
positivo.
= un + 2 para
n = 1 obtenemos:
n = 2: u3 = u2 + 2 = 4 + 2 = 6. etc
n.
u2 = u1 + 2 = 2 + 2 = 4.
u 1 = 2,
y la regla: un+1
Luego para
= 1).
una relacin de recurrencia que permite calcular cada trmino a partir de los anteriores (un+1
= un + 2).
p1 = 1
pn+1 = pn + 1
La sucesin
(pn )n1
denida por:
(condicin inicial)
para cualquier
n1
(relacin de recurrencia)
(un )n1 de los nmeros pares positivos y la sucesin (vn )n1 de los nmeros
u1 = 2
un+1 = un + 2
para cualquier
n1
v1 = 1
vn+1 = vn + 2
para cualquier
n1
(dn )n0
de las potencias de
d0 = 1
dn+1 = 2 dn
es denida por:
para cualquier
n0
2 1.)
tipo.
Encontraremos una denicin recursiva para la sucesin de los nmeros de cadenas de
, ,
w0 =
wn+1 = wn +
= 1, = 2, = 3, la
w0 = 1
wn+1 = 2 wn + 3
para cualquier
denida por:
n0
para cualquier
(wn )n0
...
n0
sn+2 = sn+1 sn
En este caso hace falta varias condiciones iniciales para denir bien la sucesin. Por
ejemplo, hay una nica sucesin denida por:
s0 = 2, s1 = 3
sn+2 = sn+1 sn
para cualquier
n0
...
[; ],
f (x) = 0
en este intervalo. Se
(b0 , b1 , b2 , b3 , . . .)
(a0 , a1 , a2 , a3 , . . .)
a0 = ; b0 = ;
si
n 0:
n
an+1 = an +b
2
b
=
b
n
n+1
an+1 = an
n
bn+1 = an +b
2
y para cualquier
n
f ( an +b
) < 0:
2
sino:
un+1 = 2 un
para cualquier
n 0.
Entonces calculamos:
u1 = 2 u0
u2 = 2 u1 = 2 (2 u0 ) = 4 u0
u3 = 2 u2 = 2 (4 u0 ) = 8 u0
.
.
.
No resulta difcil adivinar la formula:
un = 2n u0
para cualquier
n 0.
Una relacin de recurrencia, como la del ejemplo 1.1, dnde la sucesin permanece indeterminada, se llama una ecuacin de recurrencia. Resolver esta ecuacin, es encontrar todas
las sucesiones que la satisfacen. Cada solucin es, por lo tanto, una sucesin. En el ejemplo
1.1, hemos resuelto la ecuacin de recurrencia:
un+1 = 2 un
para cualquier
n 0,
(III.1)
t=1
tenemos la solucin
58
(2n )n0 ,
(t 2n )n0
para
son
t = 3/2 tenemos
(3/2, 3, 6, 12, 24, . . .).
Para
(3 2n1 )n0 ,
cuyos
En dos palabras, hay una formula general para todas las soluciones de la ecuacin de
recurrencia (esta formula es:
decimos que (t
2n )n0
es la solucin
t).
( el
Observacin:
representa una innidad de soluciones de la ecuacin. Para enfatizar la diferencia entre una
solucin (una sucesin particular que verica la ecuacin) y la solucin general (una formula
general que describe todas las soluciones) llamamos a veces solucin particular lo que es
simplemente una solucin. Por ejemplo, la solucin general de (III.1) es
que
(2n )n0
(3 2n1 )n0
Analoga importante:
(t 2n )n0 ,
mientras
x+y+z
xy
=0
=0
(III.2)
(t, t, 2 t)
para
t R.
. . . ).
La pregunta considerada en este tema es la siguiente:
Dada una ecuacin de recurrencia, Podemos hallar una formula explicita para
sus soluciones ?
La respuesta es no, en general. Vamos a restringir nuestro estudio a una clase importante de ecuaciones de recurrencia, las ecuaciones de recurrencia lineales a coecientes
constantes. Para estas sucesiones daremos una receta para hallar formulas explicitas.
(an )n1
bits son ningn 00 (ltimo ejemplo en 1.1). La fase 2 (resolucin) ser realizada en el
ejemplo 2.1.
Para una cadena de
bits,
n 3,
0. En este caso el penltimo bit tiene que ser 1, y los bits anteriores
n 2 sin 00.
o bien termina por 1. En este caso, los bits anteriores pueden formar cualquiera
n1
cadena de longitud
Hay
an1
sin 00.
de trmino general
an
an2
verica:
an = an1 + an2
o, equivalentemente (poniendo
n3
para cualquier
k1
n = k + 2):
ak+2 = ak+1 + ak
Tendremos una formula para
para cualquier
an
g(n)
es el orden de la ecuacin. Si
k > 0,
np
a0 , a1 , . . . , ak1 son nmeros jos (los coen (el trmino independiente). El entero k
g(n) = 0 para cualquier n, entonces se dice que la ecuacin
cientes de la ecuacin), y
para cualquier
es una funcin de
de recurrencia es homognea.
Ejemplo 1.3 Las ecuaciones siguientes son ecuaciones de recurrencia lineales a coecientes
constantes:
un+1
= 2 un
un+2
= un + 2
para cualquier
para cualquier
n 0
para cualquier
(de orden
n 1
1,
(de orden
homognea).
n).
fn+2
= fn+1 + fn
un+1
= un + n
para cualquier
para cualquier
n 0
n 0
(de orden
(de orden
2,
2,
homognea).
no homognea. Aqu
g(n) = n).
= sn sn+1
para cualquier
n 0.
= nun
para cualquier
n 0.
En efecto, el coeciente de
un
es
n,
y depende
n.
A continuacin examinamos varios ejemplos de ecuaciones de recurrencia lineales a coecientes constantes y damos, a veces sin demostracin ni justicacin, su solucin general.
60
2.
un+1 = aun
para cualquier
es de la forma:
np
(III.3)
Por lo tanto, el conjunto de las soluciones de (III.3) esta formado de la sucesin de las
potencias de
posibles de
en
(tan )n0 ,
R).
para cualquier
es de la forma:
np
(n )np
(III.4)
0.
Entonces
(n )np
1).
Sea
un nmero
n+2 = an+1 + bn
para cualquier
np
2 = a + b
para cualquier
n .
Obte-
np
Estas ecuaciones, en nmero innito, son todas iguales. No es necesario repetirlas. La condicin para que
(n )np
2 = a + b
O sea, que
x2 = ax + b
Esta ecuacin se llama ecuacin caracterstica de la ecuacin de recurrencia (III.4). Al
resolver esta ecuacin encontramos dos casos:
En el caso general hay dos races distintas. Pueden ser reales, o imaginarias conjugadas
(x
+ iy
x iy
con
reales).
0,
Por lo tanto, en el caso general, la ecuacin de recurrencia (III.4) admite dos sucesiones
de potencias como soluciones. En el caso excepcional admite solamente una.
A partir de estas observaciones pasamos a describir la solucin general de (III.4). Lo
hacemos sin justicacin.
Teorema 2.1 La solucin general de una ecuacin de recurrencia lineal homognea de orden
es:
(t1 n + t2 n )np ,
con
t1
t2
(n )np
sea
un , un+1 , un+2
x0 (= 1), x1 , x2
por
respectivamente.
a1 = 2
a2 = 3
an+2 = an+1 + an
(an )n0
para cualquier
que cumple:
n 0.
an+2 = an+1 + an
Es lineal homognea de orden
2.
para cualquier
n 0.
x2 = x + 1
La resolvemos y obtenemos que tiene dos soluciones:
1 5
,
2
1+ 5
2
(t1 n + t2 n )n0 .
Buscamos ahora la solucin particular que cumple
t1
t2
a1 = 2
tal que:
t1
2 t1
+t2
+ 2 t2
=2
=3
2
2
t1 = , t 2 =
5
5
62
a2 = 3.
Esto consiste en
1
((2 ) n (2 )n )
5
an (es mejor calcular a3 , a4 , a5
sucesivamente utilizando la ecuacin de recurrencia an+2 = an+1 +an ). Es til, sin embargo,
para estimar asintticamente an . En efecto, || > 1 y || < 1. Por lo tanto, para n grande,
n es despreciable con respecto a n y tenemos la estimacin:
Esta formula no sirve para calcular un trmino particular
2
an n
5
u0 = 0
u1 = 2
un+2 = 2 un+1 un
n 0.
para cualquier
un+2 = 2 un+1 un
Es lineal homognea de orden
2.
para cualquier
n 0.
Su ecuacin caracterstica es
x2 = 2 x 1,
equivalente a
t0
t1
Corresponde a los
que verican:
t0 = 0, t0 + t1 = 2.
La resolucin es inmediata: la nica solucin del sistema es
t0 = 0, t1 = 2.
Por lo tanto la
nica sucesin que verica las condiciones presentadas es la sucesin de trmino general
2n.
v0 = 1
v1 = 1
para cualquier
n 0.
x 2x + 2 = 0.
2.
para cualquier
n 0.
x2 = 2 x 2, equivalente
conjugadas: = 1 + i y = 1 i.
Su ecuacin caracterstica es
v0 = 1, v1 = 1
t1 (1 + i)n + t2 (1 i)n .
resolvemos:
t1
(1 + i)t1
+t2
+(1 i)t2
63
=1
= 1
a coecientes constantes:
para cualquier
np
xk = a0 + a1 x + a2 x2 + + ak1 xk1
Recordamos que esta ecuacin es:
la condicin que debe cumplir un nmero
(n )np
6= 0
un+1 , un+2
. . . por
x1 , x0 (= 1), x1 , x2
un1 , un ,
. . . respectivamente.
a0 6= 0).
k es el
k , entonces la solucin general de
t1 1n + t2 2n + + tk kn .
r < k)
...,
1 , 2 ,
soluciones,
1 , 2 ,
...,
trmino general
P1 , P 2 ,
...,
Pr
Pi
como solucin
de la ecuacin caracterstica.
para cualquier
n 0.
(t0 + t1 n + t2 n2 )(1)n + t3
donde t0 , t1 , t2 , t3 son parmetros (aqu t0 +t1 n+t2 n
asociado a la solucin
solucin
de multiplicidad
de multiplicidad
3,
1).
64
t0
2 del teorema,
0 asociado a la
es el polinomio de grado
es el polinomio de grado
3.
x+y+z
xy
=1
=2
(III.5)
R3 ,
(1, 1, 2)).
todos sus mltiples forman el conjunto de las soluciones del sistema homogneo asociado al
sistema (III.5):
x+y+z
xy
=0
=0
Observamos, por lo tanto, que es la suma de una solucin particular de (III.5) y de la solucin
general del sistema homogneo asociado. Esta observacin se generaliza a las ecuaciones de
recurrencia lineales a coecientes constantes.
Teorema 3.1 La solucin general de una ecuacin de recurrencia lineal a coecientes constantes es la suma de una solucin particular (cualquiera) de la ecuacin, y de la solucin
general de la ecuacin homognea asociada.
Q(n)rn ,
donde
es un nmero y
es un polinomio.
Teorema 3.2 Para una ecuacin de recurrencia lineal a coecientes constantes de la forma:
Observacin:
para cualquier
np
El caso cuando
es un polinomio (corresponde a
El caso cuando
d.
un = T (n)rn ,
r = 1).
= rn ;
donde
corresponde a
Q = 1).
T.
de grado
d+1
(o
superior si falla otra vez). El teorema nos asegura que esta estrategia pagar.
un+1 = 2 un + 3
para cualquier
n 0.
t 2n , donde t es un parmetro.
Buscamos ahora una solucin particular de la ecuacin completa. Como su trmino inde-
pendiente es
forma
b = 2b + 3
Esta condicin se simplica en
general
b = 3.
para cualquier
n 0.
2n 3.
un+2 = 2 un+1 un + n2
para cualquier
n 0.
(este trmino es
n2 ),
2: un = an2 + bn + c.
Entonces:
(un )n0
an2 + (4a + b)n + (4a + 2b + c) = 2 an2 + (2a + b)n + (a + b + c) an2 + bn + c + n2
para cualquier
Identicando los coecientes de
n2 ,
de
y de
n0
a = 2a a + 1
(4a + b) = 2(2a + b) b
4a + 2b + c = 2(a + b + c) c
66
n0
a = 2a a + 1, equivalente
a = a + 1.
Buscamos, por lo tanto, una solucin de la forma
un = dn3 + an2 + bn + c.
En este caso:
n3 ,
de
n2 ,
de
y de
n0
d = 2d d
a + 6d = 2(a + 3d) a + 1
(4a + b + 12d) = 2(2a + b + 3d) b
4a + 2b + c + 8d = 2(a + b + c + d) c
0=0
0=1
(4a + b + 12d) = 2(2a + b + 3d) b
4a + 2b + c + 8d = 2(a + b + c + d) c
Otra vez es incompatible.
Buscamos por lo tanto una solucin de la forma:
Ahora:
e = 2e e
d + 8e = 2(d + 4e) d
a + 6d + 24e = 2(a + 3d + 6e) a + 1
4a + 2b + c + 8d + 16e = 2(a + b + c + d + e) c
Es equivalente a:
0=0
0=0
12e = 1
d + 4e = 0
a + 3d + 7e = 0
67
Corresponde a la
de recurrencia.
1 4
(n 4n3 + 5n2 ) + t1 n + t0
12
con
t0
t1
parmetros.
68