Introduccion A La Matematica Discreta

Introduccin a la matemtica discreta
Grado en Ingeniera de Computadores
Departamento de Matemtica Aplicada I.
Versin 0.3. Noviembre de 2010
ndice
I.
Lgica, conjuntos, lgebras de Boole

1.
2.
3.
II.
Lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.
Componiendo proposiciones: y, o, no, implicacin, equivalencia
1.3.
Equivalencia lgica de proposiciones
1.4.
Clculo de proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . .
15
Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
. . . .
9
13
2.1.
Deniciones bsicas
2.2.
Subconjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
2.3.
Operaciones con conjuntos: unin, interseccin, diferencia
. . . . . . .
20
lgebras de Boole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
27
III.
1.
2.
30
1.1.
Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30
1.2.
Biyecciones
32
1.3.
Contar sucesiones nitas . . . . . . . . . . . . . . . . . . . . . . . . . .
34
1.4.
El principio de adicin . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
1.5.
El principio del producto
36
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
El principio de divisin, el recuento de los subconjuntos de
elementos, y
los nmeros binmicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.
18
Principios de base: principio de biyeccin, principio de adicin, principio de

producto. Recuento de palabras sin repeticin. . . . . . . . . . . . . . . . . .
2.
. . . . . . . . . . . . . . . . . . .
Combinatoria
1.
1.1.
40
2.1.
El principio de divisin
. . . . . . . . . . . . . . . . . . . . . . . . . .
40
2.2.
Permutaciones con repeticiones . . . . . . . . . . . . . . . . . . . . . .
42
2.3.
Nmeros binmicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
El principio del palomar y el principio de inclusinexclusin . . . . . . . . .
47
3.1.
Principio de comparacin
. . . . . . . . . . . . . . . . . . . . . . . . .
47
3.2.
El principio del palomar . . . . . . . . . . . . . . . . . . . . . . . . . .
49
3.3.
El principio de inclusin y exclusin
50
. . . . . . . . . . . . . . . . . . .
Recursin
Sucesiones
53
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
1.1.
Introduccin
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
1.2.
Terminologa
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
1.3.
Sucesiones denidas recursivamente
1.4.
Ecuaciones de recurrencia . . . . . . . . . . . . . . . . . . . . . . . . .
58
1.5.
Ecuaciones de recurrencia lineales
60
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
56
Resolucin de las ecuaciones de recurrencia lineales homogneas a coecientes

constantes
2.1.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
La ecuacin homognea de orden

1
. . . . . . . . . . . . . . . . . . . .
61
61
3.
2.2.
La ecuacin homognea de orden
. . . . . . . . . . . . . . . . . . . .
61
2.3.
La ecuacin homognea de orden cualquiera . . . . . . . . . . . . . . .
64
Resolucin de ecuaciones de recurrencia lineales no homogneas a coecientes

constantes
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
65
Licencia:
Esta obra est bajo una licencia Attribution, NonCommercial, ShareAlike
(Reconocimiento, No commercial, Compartir Igual) 3.0 Unported de Creative Commons.

Para ver una copia de esta licencia, visite:
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
foundation for computer science. AddisonWesley, 1994.

[3] Ralph P. Grimaldi. Matemticas discretas y combinatoria: una introduccin con aplica-
ciones. AddisonWesley Iberoamericana, 1998.
TEMA
Lgica, Teora de conjuntos, lgebras de Boole
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
Estas frases las llamamos proposiciones.

No son proposiciones frases como:
Ojal no llueva hoy !
La frase siguiente:
x
>0
x < 1.
tampoco es una proposicin, cuando
es una variable sin valor asignado, porque puede ser
verdadera o falsa, dependiendo del valor de
x.
Estas frases las llamamos predicados.
Ejemplo 1.1 Considerese:

Existe una innidad de nmeros primos
tal que
p+2
es primo.
No sabemos si esta frase es verdadera o falsa (es un problema sin resolver en matemticas).
Sin embargo, esta frase es bien una proposicin.
1.2. Componiendo proposiciones: y, o, no, implicacin, equivalencia

Una proposicin puede ser compuesta, como las siguientes:
Hoy es lunes y llueve
Si llueve, no salgo
5
5 6
Las proposiciones que no son compuestas, las llamamos proposiciones simples, como:
5
3.
Las proposiciones compuestas se forman a partir de proposiciones previas, por medio de

las palabras: y o, no, si . . . entonces . . . , y si
y solo si.
En vez de si . . . entonces . . . se puede decir . . . implica . . . , y en vez de si
y solo
si se puede decir es equivalente a.

Estas palabras tienen en matemticas un sentido muy preciso que puede diferir del
sentido que se les da de manera corriente, o en otras reas.
9
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
se forma una nueva proposicin: p
verdad es determinado a partir de los valores de
y de
verdadera si por lo menos una de las dos proposiciones

ambas son falsas.
Por ejemplo,
5
> 3 o 5 < 4
es verdadera, ya que 5
> 3
es verdadera.
Se puede resumir esta denicin utilizando una tabla de verdad:
p
V
V
F
F
q
V
F
V
F
poq
V
V
V
F
Explicacin: hay cuatro posibilidades para los valores de verdad de

den a las cuatro las de la tabla. La segunda la, por ejemplo,
(V ) y
es falsa (F ) entonces p
Observacin:
p y de q , que corresponindica que si p es verdadera
o q es verdadera (V ).
Este o no es el o exclusivo utilizado a veces en el lenguaje corriente,
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 o exclusivo se abrevia a veces en XOR (como exclusive
or) en ciertos lenguajes de
programacin. No forma parte de los conectores fundamentales de la lgica matemtica.
El conector y
Dadas dos proposiciones
una nueva proposicin p
pyq
(por ejemplo,
p es hoy es lunes
es llueve), denimos
y q . Le atribuimos un valor de verdad as: p y q es verdadera si
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 formamos una nueva proposicin: no p. La proposicin

es falsa, y falsa cuando p es verdadera.
La tabla de verdad de la negacin es:
p
V
F
no
F
V
Implicacin
formamos la nueva proposicin p
puede emplear con el mismo sentido: si
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
hay vida extraterrestre
entonces
1 + 1 = 2
La implicacin es correcta, aunque no sabemos si la hiptesis es cierta o no. La manera

de considerar esta implicacin en lgica matemtica es la siguiente: la proposicin no
dice nada sobre lo que pasa si no hay vida extraterrestre. En particular NO dice si
no hay vida extraterrestre
entonces
1 + 1 6= 2. Por lo tanto, la proposicin no es falsa.
Y como una proposicin tiene que ser o bien cierta o bien falsa, es cierta.
si
1 + 1 = 3 entonces
todos los estudiantes excepto uno aprobarn la
asignatura
La implicacin es cierta, porque la hiptesis es falsa. No es necesario comprobar el
valor de verdad de la conclusin.
Equivalencia
q .
p, q
formamos una nueva proposicin: p
Se puede emplear con el mismo sentido: p

11
si y solo si
q
es equivalente
(abreviacin: p
ssi
q ).
La proposicin p
es equivalente a q es verdadera cuando
tienen el mismo valor de
verdad, y falsa sino:
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.
En cambio, de las dos proposiciones siguientes:
x = 1 entonces x2 = 1.
2
x = 1 si y solo si x = 1.
si
solamente la primera es cierta. (la segunda es falsa porque para
x=1
es falsa pero
x =1
x = 1,
se tiene que
es verdadera).
Notaciones y terminologa:
En matemticas e informtica, se utilizan smbolos para
representar los conectores lgicos. Estn presentados en la siguiente tabla.
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)
Indicamos el sentido de unas palabras que los estudiantes encontrarn en
sus lecturas. La proposicin p

disyuncin, la proposicin no
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 ,
implica , es equivalente a se llaman conectores lgicos.

si y si y solo si en diferentes contextos
Observacin: en el lenguaje corriente se suele utilizar si para el
si y solo si de la
lgica, como en:

si
salgo
entonces te llamo
(se sobreentiende que si no salgo, no te llamo: es bien una equivalencia).

Para aumentar la confusin, en los textos de matemtica las deniciones son a menudo
redactas as:
Si
es distinto de
y no tiene otro divisor que
un nmero primo.
12
y el mismo, decimos que
es
Pues hay que entenderlo como un
si y solo si . En cambio, en los teoremas y en las
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.
La primera se leera hoy es lunes o si el cielo est
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.
Ejemplo 1.4 Aqu est el rbol que representa la formula (p q) (r).
1.3. Equivalencia lgica de proposiciones

Consideramos la expresin:
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
? Podemos contestar por un estudio exhaustivo de los casos,
resumido en una tabla de verdad:

13
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
y vemos que el valor de verdad de la expresin siempre coincide con el de p

dientemente de los valores de verdad de
p) y q )
y de
q.
o q , indepen-
Decimos que las expresiones (p)
o ((no
o q son lgicamente equivalentes.
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:
(x <=0 && y > 100) )
es el smbolo para
o y
&&
es el smbolo para
y ). Signica:
x > 0 o (x 0 y y > 100)
...
> 0 y q para y > 100. Observamos que x 0 es lgicamente

p. Por lo tanto, x > 0 o (x 0 y y > 100) es lgicamente equivalente
(p) o ((no p) y q ). Por el ejemplo anterior, es lgicamente equivalente a p o q . Por lo
Notamos
para x
equivalente a
a
no
tanto, podemos simplicar la instruccin as:
if (x >0 || y > 100 )

...
Una equivalencias lgicas importantes

Teorema 1.2 p si y solo si q es lgicamente equivalente a (p implica q ) y (q implica
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
se llama el recproco de la implicacin
p q.
Una proposicin y su reciproco no son lgicamente equivalentes, en general. Considerar por

ejemplo:
14
si
tengo hambre
si
estoy de mal humor
entonces estoy de mal humor.
Teorema 1.3 p implica

En breve: p
q
q
q
q .
p) o q .
(p) q .
es lgicamente equivalente a (no
es lgicamente equivalente a (q)
La proposicin (q)
rrecproco de p
es lgicamente equivalente a (no
es lgicamente equivalente a
Teorema 1.4 p implica

En breve: p
q
entonces tengo hambre.
(p),
q ) implica (no p).
(p).
lgicamente equivalente a p
q ,
es llamada el contra-
Por lo tanto, cualquiera proposicin es lgicamente equivalente a su
contrarrecproco.
Notacin y terminologa:
Sealamos la siguiente notacin por si a caso los estudiantes
la encuentran: la equivalencia lgica se denota a veces con
Por ejemplo:
p q (p q) (q p)
Damos tambin la signicacin de algunas palabras importantes:
Contradiccin: Una formula es una contradiccin si es falsa para toda asignacin de

los valores de verdad de sus variables. Por ejemplo,
falsa cuando
es verdadero, y falsa tambin cuando
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.
En los textos matemticos se destacan ciertas proposiciones lgicas de-
mostradas, dndoles el nombre de Teorema, Proposicin (en un sentido diferente del de
proposicin lgica visto hasta ahora), de lema o de corolario. Un teorema es un resultado

importante del texto; una proposicin tambin, pero de importancia algo menor. Un lema
es un resultado que ser utilizado en la demostracin de algn teorema o proposicin. Un
corolario es una consecuencia fcil de un teorema o proposicin.
1.4. Clculo de proposiciones

La expresin:
((((p q) r)) (q))

puede simplicarse en la expresin mucho ms sencilla q
r.
Se puede demostrar como
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
Asociatividad de
Conmutatividad de
Asociatividad de
Ley de absorcin de

Leyes de De Morgan
Conmutatividad de
Asociatividad de
Distributividad de cada una de las operaciones

con respecto a la otra
Leyes de didempotencia
son neutros para
y respectivamente.
Leyes de dominacin
Leyes de los inversos
Leyes de absorcin
Cuadro I.1: Las leyes de la lgica proposicional. Aqu
es una tautologa (cualquiera), y
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
2.1. Deniciones bsicas

En matemtica, un conjunto es una coleccin bien denida de objetos distintos.
Por ejemplo, podemos denir el conjunto de los nmeros 2,4,6 y 8, e identicarlo con la
letra
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:
Los objetos que forman un conjunto se llaman los elemen-
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}
(conjunto). Especialmente, no tiene sentido 2
1.
En cambio
es una proposicin bien formada (y falsa).
Otros ejemplos de conjuntos:
{(1, 2), (3, 2), (1, 1)}

{x, y, z}
{exp, cos}
{{1}, {1, 2}, {2, 5}}
{1, exp, {1}, {1, 2}}
un conjunto de pares de nmeros

un conjunto de variables
un conjunto de funciones
un conjunto de conjuntos
un conjunto de varios tipos de objetos.
Conjunto y orden o repeticin de los elementos

La denicin de un conjunto no toma en cuenta ningn orden de sus elementos. El
conjunto
del ejemplo anterior pude igualmente denirse como
{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)
(una sucesin con cuatro trminos), o
(2, 6, 4, 8)
(una
sucesin distinta de la anterior).

Observar que, por denicin, un conjunto tiene sus elementos distintos, por lo cual
es incorrecto escribir
(2, 4, 2)
{2, 4, 2}.
En cambio, una sucesin puede tener elementos repetidos:
es una sucesin bien denida.
Conjuntos nitos y conjuntos innitos

Un conjunto puede ser nito o innito. El nmero de elementos de un conjunto nito se
llama su cardinal, y se nota con doble barra
entonces
tambin
|A| = 4 ( A
#A = 4.
o con
#.
Por ejemplo, si
A = {2, 4, 6, 8}
tiene cuatro elementos o A tiene cardinal cuatro) . Se puede notar
Ciertos conjuntos innitos importantes se identican con smbolos reservados:

18
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
Denir un conjunto por una propiedad caracterstica de sus elementos

En vez de denir un conjunto dando la lista explicita de sus elementos, se puede denir
dando una propiedad caracterstica de sus elementos. Por ejemplo:
B
n < 9.
Sea
el conjunto de todos los nmeros enteros pares
que cumplen
n2
Esta denicin se escribe con smbolos de la manera siguiente:
B = {n | n
es un entero y
n2
n < 9}
Explicacin:
Las llaves { y } indican que se va a denir un conjunto.
{n
| . . .}
se lee el conjunto de los
n tal que . . .
y a continuacin se da la propiedad
caracterstica de los elementos del conjunto.
Mencionar que la letra
no juega ningn papel particular, y se puede igualmente denir
como, por ejemplo:
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
}, el conjunto vaco. Es el conjunto sin ningn

0. Tiene muchas descripciones: para una pro-
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
es un subconjunto de todos los conjuntos.
{1, 2}
Para decir que
son:
, {1}, {2}
{1, 2}.
es un subconjunto de
B,
esta contenido en
que
B,
se dice tambin que
esta incluido en
B,
o que
es una
contiene
A.
2.3. Operaciones con conjuntos: unin, interseccin, diferencia

Consideramos como ejemplo para las deniciones que siguen
X = {1, 2, 3}
Y =
{1, 3, 5, 7}.
La unin
AB
de dos conjuntos
es el conjunto de los objetos que pertenecen
a (por lo menos) uno de los dos conjuntos. Ejemplo:

La interseccin
AB
pertenecen a sendos conjuntos

La diferencia
pero no a
B.
A\B
B es el conjunto
B . Ejemplo: X Y = {1, 3}.
de dos conjuntos
de los objetos que
( A menos
Ejemplo:
B ) es el conjunto de los objetos que pertenecen a A

X \ Y = {2}, Y \ X = {5, 7}. Se nota tambin a veces A B
Representamos convenientemente los subconjuntos

gramas como los siguientes (los dos discos representan
Terminologa:
X Y = {1, 2, 3, 5, 7}.
A B, A B, B \ A
A y B ).
mediante dia-
B es un subconjunto de A, entonces la diferencia A \ B se llama

tambin complementario de A en B . A menudo, el conjunto A es jado sin ambigedad. En
este caso el complementario de B en A se nota B .
Cuando
Ms terminologa:
vaca (A
Se dice de dos conjuntos
son disjuntos si su interseccin es
B = ).
Es interesante observar que la unin y la interseccin son operaciones sobre conjuntos,

como la adicin es una operacin sobre nmeros.
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
Ley del doble complemento

Leyes de De Morgan
Conmutatividad de
Asociatividad de

es idempotente para ambas operaciones
son neutros
para
y respectivamente.
son absorbentes para
respectiva-
mente.
es inversa de
para
Leyes de absorcin
Cuadro I.2: Las leyes de la teora de conjuntos
Sabemos que la adicin y las multiplicacin de los nmeros son conmutativas (a + b
b + a, a b = b a),
asociativas ((a
+ b) + c = (a + (b + c))
y similarmente para
pero
al contrario de la divisin, por ejemplo), que la multiplicacin es distributiva con respecto a
(b + c) = (a b) + (a c)). Podemos, de manera similar, hacer una lista de

propiedades de las operaciones , y complementario sobre los subconjuntos de un conjunto
jo X : ver el cuadro I.2
la adicin (a
Todas estas reglas pueden ser utilizadas en un clculo de conjuntos, por ejemplo para
simplicar formulas.
Ejemplo 2.2 Consideramos un conjunto

simplicar la expresin
(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
utilizando las reglas del cuadro I.2.
Justicacin
Ley de De Morgan
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
Demostramos que para cualquieres subconjuntos
AB =AB
de un conjunto
X,
se tiene
(una de las leyes de De Morgan).
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
Demostramos que para cualquieres conjuntos
A (B C) = (A B) (A C)
Demostracin. Vamos a demostrar en primero que

y luego que
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),
O sea: que todo elemento del primer conjunto
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).
A (B C) (A B) (A C). Sea x A (B C). En particular x A,

x B o x C . En el primer caso (x B ), obtenemos x A B .
En el segundo caso (x C ), obtenemos x A C . En ambos casos podemos concluir
que x (A B) (A C). Esta as demostrada la inclusin anunciada. En efecto, hemos
comprobado que todo elemento x de A (B C) pertenece tambin a (A B) (A C).
Demostremos
x B C.
Por lo tanto
(A B) (A C) A (B C). Sea x (A B) (A C).

x (A B) o x (A C). En el primer
caso tenemos x A. Tenemos tambin x B y por lo tanto x (B C). Concluimos que
x A (B C). El segundo caso se trata de la misma manera, intercambiando los papeles
de B y C . En ambos casos, x A (B C). esto demuestra la inclusin anunciada, y acaba
la demostracin de la igualdad de los conjuntos.

Demostremos ahora que
Otra vez examinamos los dos casos posibles:
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.
Denicin 3.1 Un lgebra de Boole es un conjunto

llamar suma y producto y notar con
con dos operaciones, que se suelen
(o, a veces, por solamente un punto: ), y una
transformacin que asocia a cada elemento de
un elemento
x0
de
que se suele llamar
complementario, tal que los axiomas siguientes se verican:
Axioma 1. Las operaciones

a)
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)
(+)
()
son distributivas, cada una sobre la otra:
a)
x + (y z) = (x + y) (x + z)
b)
x (y + z) = x y + (x z)
Axioma 4. Existen elementos de B , notados 0 y 1, neutros para (+) y () respectivamente.

Signica:
a)
x+0=x
para todo
x B.
b)
x1=x
para todo
x B.
Axioma 5. Para todo elemento

a)
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.
un conjunto. Entonces el conjunto de todos los subconjuntos de
para las operaciones
{V, F }
(conjunto de los dos valores de verdad) es un lgebra de Boole,
como operaciones
p0 = p
para el complementario, es un lgebra
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
Ley del doble complementario
Leyes de De Morgan
conmutatividad de
asociatividad de

cada
x es idempotente para ambas operaciones
1 y 0 son neutros
para
y + respectivamente.
Leyes de dominacin
Leyes de los inversos
Leyes de absorcin
Cuadro I.3: Las leyes de las lgebra de yoole
Como ilustracin, enseamos la demostracin abstracta de la ley de dominacin
x+1 = x
directamente a partir de los aximas:
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.
Otro ejemplo: circuitos de conmutacin

En otra asignatura los estudiantes encontrarn un ejemplo ms de lgebras de Boole:
la lgebra de conmutacin del anlisis de circuitos electrnicos. Se consideran circuitos de
conmutacin como l de la gura I.1. Un circuito de conmutacin consiste en un conjunto
Figura I.1:
24
de entradas, un procesador y un conjunto de salidas. Las entradas y las salidas se suelen

representar grcamente como segmentos. Son variables que toman los posibles valores binarios, en funcin de si estn activas o no: cuando circula corriente a travs de ellas toman
el valor 1; en caso contrario toman el valor 0. Esto hace que los circuitos sean considerados
sistemas binarios. El procesador se compone de distintos componentes simples que se pueden combinar entre s y a los que se denomina puertas. Fundamentalmente se utilizan tres
puertas: AND, OR, NOT. Grcamente se representan mediante distintos smbolos, aunque
quiz los ms usuales son:
El lgebra de conmutacin es el lgebra de Boole cuyo conjunto es

ciones
+,
{0, 1}
y cuyas opera-
y complementario son denidas por las tablas:
+ 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 = .
Las operaciones son realizadas por las puertas:
La puerta AND acta sobre dos variables binarias

manera que las entradas son las dos variables
x, y
La puerta OR acta sobre dos variables binarias

las entradas las dos variables
x, y
mediante la operacin
x, y
y la salida es
de
xy .
+,
x + y.
mediante la operacin
y la salida el valor correspondiente a
La puerta NOT acta sobre una variable

entrada es la variable
x, y
y la salida es
siendo
mediante la operacin , de forma que la
x0 .
Ejemplo 3.1 El circuito de la gura I.1 representa la funcin de conmutacin
Ejemplo 3.2 Veamos qu circuito produce la funcin de conmutacin

25
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) ?
Ejemplo 0.3 Pregunta:
Si cinco nios comparten 12 canicas idnticas De cuantas
maneras pueden repartrselas ?

(Por ejemplo: 2 para el primer nio, 2 para el segundo, ninguna para el tercero, 5 para
el cuarto y 3 para el ltimo)
Pregunta: Cuntos nmeros de 16 bits tienen exactamente cuatro 1 ?

(Por ejemplo
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:
{1, 2}, {2}
. . . para el conjunto
, {1},
{1, 2, 3, . . . , 10}).
Los subconjuntos de 4 elementos de un conjunto de 16 elementos (como por ejemplo
{3, 6, 7, 13}
para el conjunto
{1, 2, 3, . . . , 16}).
Las soluciones enteras positivas o nulas de la ecuacin

(Por ejemplo
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.
Principios de base: principio de biyeccin, principio de

adicin, principio de producto. Recuento de palabras
sin repeticin.
En esta leccin presentamos tres principios bsicos de contar. Aunque son muy simples,
ya permiten resolver una gran cantidad de problemas.
1.1. Aplicaciones
Damos en primer lugar una denicin simple, pero algo incorrecta, de aplicacin : una
aplicacin (o funcin ) de un conjunto

elemento de
un elemento de
Ejemplo 1.1 Con
A=B=Z
es una regla para asociar a cada
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 un conjunto de pares ordenados, el conjunto de todos los
es elemento de
A.
(a, f (a))
donde
Es lo que vamos a formalizar a continuacin.
(x, x2 )
x 7 x de R en
Ejemplo 1.2 Quizs estamos acostumbrados a pensar que el conjunto de puntos

para x R (una parbola) es solamente un objeto asociado a la aplicacin
R (su grca ). Con la denicin abstracta, consideraremos que dicha grca es
la aplicacin.
Necesitamos unas deniciones preliminares.
Denicin 1.1 Dados dos conjuntos

donde
est en
en
A y B , el conjunto de todos los pares ordenados (a, b)

A por B , y se nota A B .
se denomina producto cartesiano de
Ejemplo 1.3 Si A = {1, 2, 3} y B = {a, e}, entonces el producto cartesiano A B =

{(1, a), (1, e), (2, a), (2, e), (3, a), (3, e)}. Podemos representarlo mediante una tabla:
1
(1,a)
(2,a)
(3,a)
(1,e)
(2,e)
(3,e)
Esto nos deja ver claramente que, si los conjuntos
|A| |B|
son nitos, entonces
(el cardinal del producto cartesiano es el producto de los cardinales).
30
|A B| =
R R (tambin notado R2 ) es el conjunto de todos los pares

reales: los (x, y), que podemos identicar a los puntos del plano.
Ejemplo 1.4 El conjunto

ordenados de nmeros
Denicin 1.2 Una correspondencia entre los conjuntos

del producto cartesiano
que al elemento origen
A B.
Si un par
(a, b)
es cualquier subconjunto
pertenece a una correspondencia, diremos
le corresponde el elemento destino
b.
Ejemplo 1.5 Consideramos para
conjunto de letras
palabras
Denimos la correspondencia
B.
A el
{boa, baobab, coco, calor, fro}.
{a, b, c}
para
el conjunto de
es letra de entre
Formalmente , es el conjunto siguiente:
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
cada vez que al elemento origen
le
y:
Denicin 1.3 Una aplicacin de

de
en
es una correspondencia tal que a cada elemento
le corresponde uno y slo un elemento de
Terminologa:
Si
es una aplicacin de
se llama el conjunto de partida de
se llama el conjunto de llegada de
f.
a A, el nico elemento b
f . Se nota b = f (a).
Para
por
de
B.
en
entonces:
(tambin su dominio ).
que le corresponde por
31
se llama imagen de
Para
b B , los elementos a A que le corresponden por f

b.
(es decir: tal que
f (a) = b)
se llaman los antecedentes de
Ejemplo 1.6
La correspondencia del ejemplo 1.5 no es una aplicacin, ya que, por ejemplo, al
elemento
del conjunto origen
corresponden varios elementos de
B.
El diagrama siguiente representa bien una aplicacin:
Notacin:
La notacin
f : A B
signica: f es una aplicacin de
en
B .
Si
es
denida por una regla se puede notar:
f: A
a
Por ejemplo para denir la funcin

n(n+1)
se puede notar:
2
B
descripcin de la regla
de los enteros en los enteros que cumple
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.
Denicin 1.4 Sea

de
una aplicacin de
en
es imagen de uno, y slo un elemento de
Ejemplo 1.7
32
B.
A.
Es una biyeccin cuando todo elemento
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}
representada por el diagrama si-
guiente no es una biyeccin. En efecto, hay elementos sin antecedentes (como

ejemplo). Tambin hay un elemento con ms de un antecedente (el elemento
En cambio la aplicacin de
X = {1, 2, 3, 4}
en
Y = {A, B, C, D}
por
d).
representada por el
diagrama siguiente es una biyeccin.
Regla 1 (Regla de la biyeccin) Sean

de
en
entonces
dos conjuntos nitos. Si existe una biyeccin
tienen mismo cardinal.
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.
Una reparticin esta caracterizada por los nmeros de canicas
x1 , x2 , x3 , x4 , x5
recibidas
por cada nio.

Sea
el conjunto de los nmeros de 16 bits con exactamente cuatro 1.
Denimos una aplicacin
f :AB
de la manera siguiente:
f (x1 , x2 , x3 , x4 , x5 )
es el
nmero que se escribe:
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.
Vemos que todo nmero de 16 bits con cuatro
(x1 , x2 , x3 , x4 , x5 ) de A: x1
es imagen de uno, y slo un elemento
es el nmero de ceros que preceden el primer 1,
de ceros entre el primero y el segundo 1, . . . Por lo tanto

Por el principio de la biyeccin,
x2
es el nmero
es una biyeccin de
tienen el mismo nmero de elementos.
en
B.
1.3. Contar sucesiones nitas

La estrategia para contar presentada en este curso es la siguiente:
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),
un ejemplo de sucesin de bits.
(12, 15, 3, 5, 7),
un ejemplo de sucesin de nmeros.
(C, A, S, C, A, R, A)
(R, O, M, A)
El orden importa: la sucesin
son ejemplos de sucesiones de caracteres.
(R, O, M, A)
es distinta de
(A, M, O, R).
Por esto marcamos
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
1: el primer elemento de (C, A, S, C, A, R, A) es C, el segundo es A,
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.
Observar que las sucesiones de longitud
son los pares ordenados mencionados en la
denicin 1.5. Extendemos esta denicin a ms de dos conjuntos:

34
Denicin 1.5 Dados los conjuntos

sucesiones de longitud
nesimo termino a An se
nota A1 A2 An .
Notacin:
vez de
A1 , A2 ,
...,
An ,
entonces el conjunto de todas las
cuyo primer termino pertenece a
A1 ,
segundo termino a
llama producto cartesiano de los conjuntos
El producto cartesiano de
veces el mismo conjunto
A1 , A2 ,
A2 , . . . ,
An . Se
...,
se puede notar
An
en
A A A.
Las sucesiones cuyos trminos pertenecen todos a un mismo conjunto
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:
Ejemplo y notaciones correspondentes con A = {a, c, r, s, t} y n = 7
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
1.4. El principio de adicin

Ejemplo 1.9 Si sabemos que en una clase hay
6 personas de no ms de 18 aos (conjunto

A de personas), y 7 personas de entre 19 y 22 aos (conjunto B ), entonces podemos concluir
que son 13 personas de no ms de 22 aos:
|A B| = |A| + |B|
En cambio, si slo sabemos que hay
personas de entre 17 y 22 aos (conjunto
personas de no ms de 18 aos (conjunto
B ),
A),
no somos capaces de dar el nmero exacto de
personas de no ms de 22 aos. En particular, en este caso,
|A B|
puede ser diferente de
|A| + |B|.
Este ejemplo ilustra el caso ms simple del principio de adicin : si dos conjuntos
son disjuntos (es decir su interseccin es vaca), se verica que
|A B| = |A| + |B|
Presentamos ahora la forma ms general de este principio. Decimos de conjuntos
An que son disjuntos dos a dos si cada par

A1 A2 = , A1 A3 = , A2 A3 = , . . .
...,
Regla 2 (Principio de adicin) Si los conjuntos
A1 , A2 ,
...,
An
son disjuntos dos a dos,
entonces
|A1 A2 An | = |A1 | + |A2 | + + |An |

35
A1 , A2 ,
de estos conjuntos tiene interseccin vaca:
1.5. El principio del producto

El principio
Ejemplo 1.10 Cuntas palabras de longitud
podemos formar con las letras
a, c, s
Solucin: Tenemos 3 posibilidades para cada una de las letras. Obtenemos 3333
34 = 81
palabras posibles.
Ejemplo 1.11 En una promocin de 50 estudiantes, se reparten un primer premio, un

segundo premio y un tercer premio. Cuales son las reparticiones posibles ?
Solucin: Hay
50 posibilidades para atribuir el primer premio. Para atribuir el segundo

premio solamente hay 49 posibilidades, ya que hay que excluir el laureado del primer premio.
Y para atribuir el tercer premio quedan solamente 48 posibilidades. Hay por lo tanto 50
49 48 reparticiones posibles.
Regla 3 (Principio del producto) Sea
un conjunto de sucesiones de longitud
tal
que haya:
k1
elecciones posibles para el primer termino.
Para cada eleccin de primer termino,
k2
elecciones posibles para el segundo termino.
Para cada eleccin de los dos primeros trminos,
k3
elecciones posibles para el tercer
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 el segundo 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.
El cardinal del producto cartesiano

Aplicando el principio del producto al recuento del producto cartesiano
A1 A2 An ,
obtenemos que el cardinal del producto cartesiano es el producto de los cardinales:
|A1 A2 An | = |A1 | |A2 | |An |

Un caso particular es cuando todos los conjuntos
Ai
son iguales a un mismo conjunto
Entonces obtenemos:
|An | = |A|n
Recordar que este conjunto
An
tiene las interpretaciones siguientes:

36
A.
El conjunto de las sucesiones de longitud

El conjunto de las palabras de longitud
El conjunto de todas las aplicaciones de
con trminos en
en el alfabeto
{1, 2, . . . , n}
Ejemplo 1.12 Pregunta: Cuntos subconjuntos tiene

Solucin: sea
A.
A.
en
A.
{1, 2, 3, . . . , 10}
{1, 2, 3, . . . , 10} y B el conjunto de

en B de la manera siguiente: a un
subconjunto T de {1, 2, 3, . . . , 10} asociamos la sucesin a1 a2 a10 donde ai = 1 si i T ,
sino ai = 0. Por ejemplo a T = {1, 5, 7, 10} se asocia: 1000101001.
S
el conjunto de los subconjuntos de
las sucesiones de 10 bits. Denimos una biyeccin de
|S| = |B|. Ahora B es simplemente {0, 1}10 . Por

= 1024. En conclusin, el conjunto {1, 2, 3, . . . , 10} tiene 1024 subconjuntos.
Por el principio de la biyeccin, tenemos

lo tanto
10
B=2
Razonando de manera similar para un conjunto con un nmero
n cualquiera de elementos,
obtenemos el resultado siguiente:
Teorema 1.6 Un conjunto de
elementos tiene exactamente
Ejemplo 1.13 Cuntas aplicaciones hay de
{1, 2, 3}
en
2n
subconjuntos.
{1, 2, 3, 4, 5, 6}
Solucin: Estas aplicaciones son simplemente las palabras de longitud
{1, 2, 3, 4, 5, 6},
por la interpretacin como aplicaciones de las sucesiones, dada en el par-
grafo 1.3. Por lo tanto hay
63
tales aplicaciones.
De manera general, vemos que el nmero de aplicaciones del conjunto nito

nito
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
caracteres alfabticos autorizados. Son:
A = {a, b, c, . . . , z, A, B, C, . . . , Z}
y
10
caracteres numricos autorizados:
N = {0, 1, 2, . . . , 9}
Pregunta: Cuntas contraseas vlidas hay ?
Solucin:
S = A N.
Sea
el nmero de contraseas vlidas, es el nmero que buscamos. Sea
El conjunto de las contraseas validas es:
(A S 5 ) (A S 6 ) (A S 7 )
A S 5 son
5
est en S ), las
Las contraseas en
en
y 34pp1
las de 6 caracteres (como por ejemplo Z34pp1; Z est

contraseas en
37
A S6
tienen longitud
y las contraseas
en
A S7
tienen longitud
8.
Como estos tres conjuntos son disjuntos dos a dos, podemos
aplicar la regla de la suma;
k = |A S 5 | + |A S 6 | + |A S 7 |
Luego aplicando la regla del producto obtenemos:
k = |A| |S 5 | + |A| |S 6 | + |A| |S 7 |

Aplicando la regla de la suma para
|S| = |A| + |N | = 52 + 10 = 62.
S = AN
(ya que
son disjuntos), obtenemos
Finalmente:
k = 52 625 + 52 626 + 52 627

= 1, 8 1014
contraseas posibles.
Palabras sin repeticin

Aplicamos ahora la regla del producto para contar las palabras sin repeticin, como
abd, cba,
. . . pero no
aba
(repeticin de
abc,
a).
Cuntas son las palabras sin repeticin de longitud
n sobre un alfabeto de k
elementos
? Tenemos:
elecciones posibles para la primera letra,
Para cada eleccin posible de primera letra,
k1
elecciones posibles para la segunda
letra.
Para cada eleccin de las dos primeras letras,
k 2 elecciones posibles de tercera letra.
...
Por lo tanto:
Regla 4 El nmero de palabras de longitud
n,
sin repeticin de letras, sobre un alfabeto de
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
posibles elecciones para el primer dgito,
10
para el segundo
Terminologa (por si lo encontrais en alguna lectura):

cin se llaman a veces variaciones.
38
Las palabras sin repeti-
Permutaciones
Una caso particular del recuento anterior es l de las palabras de longitud
sobre un alfabeto de
elementos (mismo
n).
n sin repeticin
Estas palabras se llaman permutaciones del
alfabeto.
Ejemplo 1.16 Cuntos nmeros de tres cifras distintas se pueden escribir con los dgitos
1, 3, 5?
Respuesta: son las
permutaciones de
{1, 3, 5},
a saber:
135, 153, 315,

351, 513, 531
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,
primeros enteros nonegativos (el factorial de
notada
n!).
Lo
enunciamos como una regla a recordar.
Regla 5 El nmero de permutaciones de un conjunto de
Observacin:
La factorial de
se denie como:
elementos es
n!.
0! = 1.
Ejemplo 1.17 Cuntas son las permutaciones (=anagramas) de la palabra CONTAR ?

Ya que CONTAR no tiene letra repetida, es un caso particular de recuento de palabras
sin repeticin: son las
6!
permutaciones del conjunto
permutaciones del conjunto
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.
Hemos visto (en el pargrafo 1.3) que las palabras de longitud
se identican con las aplicaciones de
permutaciones de
{1, 2, . . . , n}
en
se corresponden con las biyecciones
39
2.
El principio de divisin, el recuento de los subconjuntos de k elementos, y los nmeros binmicos
2.1. El principio de divisin

Ejemplo 2.1 Queremos montar una red local de 8 ordenadores en anillo doble, es decir
como en la gura II.1. Los ordenadores, con nmeros de 1 hasta 8, tienen caractersticas
diferentes. Cuntas redes diferentes se pueden montar ? Consideramos dos redes como
identicas si tienen la misma topologa (es decir: si cada ordenador tiene los mismos vecinos
en las dos redes). La topologa de una red es importante porque determina que ordenadores
se comunican ms rpidamente entre s, y el comportamiento de la red en caso de ruptura
de cables.
Figura II.1: Ejemplo 2.1.
Intentando reducir el problema a un problema de conteo de sucesiones, podemos introducir la aplicacin
que a una permutacin de
{1, 2, . . . , 8}
asocia la conguracin donde
el ordenador etiquetado con el primer nmero de la permutacin esta en la posicin ms

alta del anillo, el ordenador etiquetado con el segundo nmero inmediatamente a su derecha
. . . (por ejemplo la conguracin de la gura II.1viene de la permutacin
13276845) pero, por
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.
Denicin 2.1 Una aplicacin

conjunto de llegada
Observacin:
f :AB
k
tiene exactamente
es de grado combinatorio
si todo elemento del
antecedentes.
Las aplicaciones de grado combinatorio
biyectivas.
40
son exactamente las aplicaciones
Regla 6 (Principio de divisin) Si
f : A B
entonces
|A| = k |B|.
Ejemplo 2.2 Seguimos con el ejemplo 2.1.
{1, 2, . . . , 8}
Contamos las permutaciones de
que dan lugar a la misma topologa de la
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,
el conjunto de las topologas de red para
2.1, vemos que
B,
y la aplicacin
{1, 2, . . . , 8}
denida en el ejemplo
|B| = |A|/16 = 8!/16 = 2520.
Ejemplo 2.3 Cuntas manos de poker se pueden obtener de un juego de 52 cartas ?

Un mano de poker es cualquier conjunto de 5 cartas. Para contarlas, consideramos en
primer lugar las sucesiones de 5 cartas, que sabemos contar: son
el principio del producto. Sea
extradas del juego de 52 cartas, y

cartas extrados del juego. Sea
52 51 50 49 48
por
el conjunto de todas las sucesiones (con orden) de 5 cartas

el conjunto de todos los conjuntos (sin orden) de 5
la aplicacin de
en
que olvida el orden. Por ejemplo,
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:
las permutaciones del conjunto, son

principio de divisin, el cardinal de
|C| =
lo tanto
? Respuesta: son todas
|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
veces combinaciones de elementos de

de
elementos tomados de
en
elementos de un conjunto dado
tomados de
en
k.
se llaman a
Los nmeros de combinaciones
son omnipresentes en matemtica, al punto de tener un
nombre: nmeros binmicos, y un smbolo especial:
n
k .
Aplicando el principio de divisin como en el ejemplo 2.3, obtenemos la formula siguiente

para los nmeros binmicos:

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
2.2. Permutaciones con repeticiones

Consideramos otra aplicacin del principio de divisin.
Ejemplo 2.4
Cuntos anagramas tiene la palabras SOSOS ? Y CASCARA ?
Las mismas preguntas se formulan tambin as:
Cuntas palabras sobre el alfabeto
{S, O}
tienen 2 ocurrencias de O y tres de
S ?
Cuntas palabras sobre el alfabeto
{C, A, S, R}
tienen 2 ocurrencias de C, 3
ocurrencias de A, 1 ocurrencia de S y una ocurrencia de R ?
Ya sabemos contar los anagramas de SOSOS (Por que ?) Como contar los anagramas
de CASCARA ? Aplicamos el principio de divisin. Sea
el conjunto de los anagramas de
CASCARA, es el conjunto cuyo cardinal queremos determinar. Introducimos ahora un nuevo
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,
que consiste de copias distintas de sus letras:
los ndices. Por ejemplo:
f (A1 C1 RSA3 C2 A2 ) = ACRSACA

Entonces
tiene grado combinatorio:
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)
En efecto, dos permutaciones de
de la otra permutando las letras

necesariamente guardando la
Por el principio de divisin:
|B| =
Pero
|A| = 7!
|A|
3!2!1!1!
(permutaciones de un conjunto de 7 elementos). Por lo tanto:
|B| =
7!
= 420.
3!2!1!1!
El razonamiento se generaliza, proporcionando el resultado siguiente:
Regla 7 El nmero de palabras formadas con exactamente
k2
ocurrencias de otro elemento, . . . ,
anteriores es:
donde
n = k1 + k2 + + kr
kr
k1
ocurrencias de un elemento,
ocurrencias de un elemento distinto de todos los
n!
k1 !k2 ! kr !
(observsese que es la longitud de la palabra).
42
2.3. Nmeros binmicos

n
r cuenta los subconjuntos de k elementos de un conjunto de n
elementos. Damos a continuacin unas propiedades tiles e interesantes de estos nmeros.
El nmero binmico
Proposicin 2.2 Dados dos enteros nonegativos
nyk

n
n
=
k
nk
se tiene:
(II.1)
Damos dos demostraciones de este resultado.
Demostracin. Hemos establecido que:

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 .
La segunda demostracin es una demostracin biyectiva de la identidad (II.1): consiste

en hallar para cada uno de los dos miembros de (II.1) un conjunto que tiene este nmero de
elementos, y luego establecer que estos dos conjuntos estn en biyeccin.
Demostracin. Sean
X (respectivamente Y ) el conjunto de los subconjuntos

de car
n
n k ) de {1, 2, 3, . . . , n}. Entonces |X| = nk e |Y | = nk
. Para todo
subconjunto A de {1, 2, 3, . . . , n} a k elementos, notamos f (A) para A (el complementario
de A). Entonces f es una biyeccin de X en Y . Por lo tanto, |X| = |Y |. Esto establece la
identidad (II.1).

dinal
(resp.
Proposicin 2.3 Para todos enteros
n y k con n 0 y k 1

n
n
n+1
+
=
k1
k
k
se tiene:
(II.2)
Demostracin. Denimos los conjuntos siguientes:
el conjunto de todos los subconjuntos de
{1, 2, . . . , n + 1}.
{1, 2, . . . , n + 1}
simplemente,
{1, 2, . . . , n + 1}
que contienen
n + 1.
que no contienen
es el conjunto de todos los subconjuntos de
n + 1.
{1, 2, . . . , n}.
X = A B , y que esta unin es disjunta.

Por lo tanto (por el principio

n+1
n
de adicin), |X| = |A| + |B|. Tenemos |X| =
y |B| =
k
k . Para determinar |A|,
consideramos el conjunto C de todos los subconjuntos de {1, 2, 3, . . . , n} con k 1 elementos.
La aplicacin f : C A denida por f (S) = S {n + 1} es una biyeccin. Por lo tanto

n
|C| = |A|. Pero |C| = k1
. Obtenemos as la formula anunciada.

Observamos que
Calculemos los primeros coecientes binomiales y los colocamos en la tabla siguiente:

43
k=0 k=1 k=2 k=3 k=4 k=5

1
1
1
1
2
1
1
3
3
1
1
4
6
4
1
1
5
10
10
5
1
n=0
n=1
n=2
n=3
n=4
n=5
Esta tabla se llama triangulo de Pascal.
Observacin:
Para
n=0
n=k
se tiene siempre
n
k
= 1.
k=1
Para
se tiene
n
k
= n.
Los coecientes del binomio involucrados en la formula (II.2) estn en la conguracin

siguiente:
n
k1
n
k
n+1
k
La formula (II.2) se interpreta de la manera siguiente con respecto a esta tabla:
En la tabla anterior, un coeciente del binomio es la suma del coeciente que

esta en su norte y del que esta en su noroeste.
Nos permite por lo tanto calcular los coecientes binmicos sucesivamente.
Observese sin embargo que esta tabla esta a menudo representada con otras orientaciones,
por ejemplo:
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
Las las de las tablas anteriores suenan familiares . . .
(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
.
.
.
Proposicin 2.4 (Teorema del binomio de Newton) El nmero binmico

coeciente de
xk y nk
en el desarrollo de
(x + y)n .
Demostracin. Introducimos variables
x1 , x2
. . . xn e
y1 , y2 ,
el producto:
Pn = (x1 + y1 )(x2 + y2 ) (xn + yn )

44
...,
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
tenemos que elegir, en el primer parntesis, entre
. . . , en el ltimo entre
obtenemos todas las palabras de longitud
xn
yn .
en el alfabeto
cada una est obtenida solamente una vez. Llamamos
x1
y1 ,
en
Pn
{x1 , x2 , . . . , xn , y1 , y2 , . . . , yn }, y
Por lo tanto en el desarrollo de
a este conjunto de palabras.
x1 , x2 , . . . por x e y1 , y2 , . . . por y , cada palabra en A esta cambiada

xp y np . Fijamos k . Sea Ak el conjunto de las palabras en A
k nk
k nk
n
cambiadas en x y
. Entonces el coeciente de x y
en (x + y) es |Ak |. Sea Bk el
conjunto de los subconjuntos de {1, 2, . . . , n} de cardinal k . Entonces Ak esta en biyeccin
con Bk , por la aplicacin f que asocia a cada palabra el conjunto de los nmeros que aparecen

n
como ndices de los x (por ejemplo: f (x1 y2 x3 ) = {1,3}). Por denicin de
k , tenemos

|Bk | = nk . Por el principio de biyeccin, |Ak | = |Bk |. As la proposicin est demostrada.

Cuando sustituimos
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
Se obtiene de la versin anterior sustituyendo
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.
El principio del palomar y el principio de inclusin

exclusin
3.1. Principio de comparacin

La condicin que dene funcin biyectiva (todo elemento de
slo un, elemento de
A)
es imagen de uno, y
puede partirse en dos (uno por lo menos de un lado, no ms de
un por el otro lado), dando lugar a dos tipos de aplicaciones las aplicaciones inyectivas y
las aplicaciones sobreyectivas.
Denicin 3.1 Sea

Decimos que
una funcin de
en
B.
es inyectiva cuando cada elemento del conjunto de llegada
de, a lo ms, un elemento del conjunto de partida

Decimos que
es imagen
A.
es sobreyectiva cuando cada elemento del conjunto de llegada
imagen de al menos un elemento del conjunto de partida
es
A.
Obsrvese que una aplicacin es biyectiva si y slo si es inyectiva y sobreyectiva a la vez.
Observacin:
para entender las nociones de aplicacin inyectiva y aplicacin sobreyec-
tiva, puede ser til enunciar lo que es para una aplicacin
f :AB
no ser inyectiva o no
ser sobreyectiva:
La aplicacin
no es inyectiva si y slo si existen dos elementos del conjunto de partida
que tienen la misma imagen:
La aplicacin
llegada
f (a) = f (a0 )
con
a 6= a0 .
no es sobreyectiva si y slo si existe un elemento del conjunto de
que no sea la imagen de ningn elemento del conjunto de partida
A.
Ejemplo 3.1 Hemos visto (pargrafo 1.3) que las aplicaciones con conjunto de partida
{1, 2, . . . , n}
se identican con las palabras de longitud
n.
Vemos que en esta identicacin,
las aplicaciones inyectivas corresponden a las palabras sin repeticin.
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 inyectiva pero no sobreyectiva (C no tiene

antecedante):
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.
Regla 8 Principio de comparacin Sea
una aplicacin de
48
en
B.
|A| |B|.
Si
es inyectiva entonces
Si
es sobreyectiva entonces
|A| |B|.
3.2. El principio del palomar

Ejemplo 3.3 Si
100
palomas vuelan hacia los
99
nichos de un palomar, entonces por lo
menos en uno de los nichos habr dos o ms palomas.
No hace falta seguir la clase de IMD para saber esto . . . pero si la misma idea se aplica
al problema siguiente, Suena ms interesante ?
Ejemplo 3.4 Considerese los 60 nmeros de 15 cifras siguientes:
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 . . .
La idea del ejemplo 3.3 se formaliza de la manera siguiente:
Regla 9 (Principio del palomar) Si
|A| > |B| entonces ninguna funcin f : A B es

inyectiva. Es decir, para toda aplicacin f : A B , existen dos elementos distintos del
conjunto de partida A con la misma imagen por f .
Obsrvese que esta regla no es otra cosa que el contrarrecproco del principio de comparacin
para funciones inyectivas (pargrafo anterior).
Ejemplo 3.5 Demostramos ahora la armacin hecha en el ejemplo 3.4.
1015 ,
60 nmeros en la lista. Por lo tanto, la

15
suma de todos les elementos de la lista es inferior a 6010 . Este nmero es tambin, claro,
Cada nmero de la lista es inferior a
y hay
una cota superior para la suma de los elementos de cualquier subconjunto del conjunto de los
f que a cada uno de estos subconjuntos asocia

{1, 2, . . . , 601015 }. Tenemos 260 > 601015
260 = (210 )6 > (103 )6 = 1018 , y, por otra parte,
nmeros de la lista. Consideremos la aplicacin

la suma de sus elementos. Toma sus valores en
(en efecto,
210 = 1024 > 1000,
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.
El principio del palomar admite (entre otras) la siguiente generalizacin:
Regla 10 (Principio del palomar generalizado) Si

cacin
f : A B,
existen
k+1
elementos de
|A| > k|B| entonces para toda aplif.
que tienen la misma imagen por
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
A el conjunto de los sevillanos no calvos y B = {1, 2, . . . , 200000}.

|A| > 600000 > 3 |B|. Sea f : A B la aplicacin que a cada sevillano no calvo
pelos. Sea
Tenemos
asocia su
nmero de pelos. Se aplica el principio del palomar generalizado.
3.3. El principio de inclusin y exclusin

En el pargrafo 1.4 hemos contado los elementos de la unin de conjuntos, cuando son
disjuntos dos a dos. Aqu examinamos el caso general, quitando la restriccin disjuntos dos
a dos.
Ejemplo 3.7 En la plantilla de un equipo de ftbol, todos los jugadores son espaoles o
argentinos. Diez son espaoles (conjunto
E ),
cinco son argentinos (conjunto
A)
Cuntos
jugadores son en total ? 10+5=15 ?

Y que pasa ahora si hay 3 jugadores exactamente que tienen la doble nacionalidad
(conjunto
A E ) ? Estos jugadores se habrn contado dos veces en la suma 10 + 5. Para que
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.
Enunciamos este resultado en general:
Resultado: Sean A y B dos conjuntos. Entonces:
|A B| = |A| + |B| |A B|
Demostracin. Basta con descomponer
AB
como unin de subconjuntos disjuntos
dos a dos y luego aplicar el principio de la suma. Tenemos:
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
A = (A B) (A \ (A B)) con los conjuntos de la derecha disjuntos.

|A| = |AB|+|A\(AB)|. Por lo tanto: |A\(AB)| =
|A| |A B|. Similarmente, |B \ (A B)| = |B| |A B|. Obtenemos as:
Tenemos tambin:
Otra vez por el principio de adicin:
|A B| = |A| |A B| + |B| |A B| + |A B| = |A| + |B| |A B|

En el caso de tres conjuntos hay una formula similar.
Resultado: Sean A, B y C tres conjuntos. Entonces:
|A B C| = |A| + |B| + |C|

|A B| |A C| |B C|
+ |A B C|
Ejemplo 3.8 Cuntas permutaciones del conjunto
{0, 1, 2, . . . , 9} contienen, consecutiva-
mente y en este orden: 4 y luego 2, o 0 y luego 4, o 6 y luego 0 ?
9516243870
Por ejemplo,
Solucin: Sea
P42
9516042387
no conviene, pero
si.
el conjunto de las permutaciones que contienen "42". Sea
P04 el
P60 el conjunto de las permutaciones
|P42 P04 P60 |. Aplicamos la formula de inclusin
conjunto de las permutaciones que contienen "04", y

que contienen 60. Estamos buscando
y exclusin anterior:
|P42 P04 P60 | = |P42 | + |P04 | + |P60 |

|P42 P04 | |P42 P60 | |P04 P60 |
+ |P42 P04 P60 |
Contamos en primer lugar los elementos de
P42 , de la manera siguiente: en todas las per-
mutaciones que contienen "42"podemos agrupar el 4 y el 2 en un nuevo smbolo 42 . Esto dene una biyeccin
de
P42 en el conjunto de todas las permutaciones de {0, 1, 3,
42
, 5, 6, 7, 8, 9}.
Por ejemplo:
f ((9, 5, 1, 6, 0, 4, 2, 3, 8, 7)) = (9, 5, 1, 6, 0,

Por lo tanto,
P42
de
{1, 3,
42
, 5,
, 3, 8, 7)
tiene 9! elementos.
Se procede similarmente con los otros 6 conjuntos:

permutaciones de
42
60
, 1, 3, 5, 6, 7, 8, 9}, P42 P60

, 7, 8, 9}, . . .
042
P42 P04
esta en biyeccin con las
esta en biyeccin con las permutaciones
Finalmente:
|P42 P04 P60 | = 9! + 9! + 9!

8! 8! 8!
+ 7!
Enunciamos nalmente la formula en su versin ms general.

51
Regla 11 (Principio de inclusin y exclusin) Sean
A1 , A2 ,
...,
An
conjuntos. En-
tonces:
|A1 A2 An | =
la suma de los cardinales de los conjuntos
la suma de los cardinales de las intersecciones dos por dos

la suma de los cardinales de las intersecciones tres por tres
la suma de los cardinales de las intersecciones cuatro por cuatro
.
.
.
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, . . .)
la sucesin de los cuadrados (de los enteros positivos):

la sucesin de los nmeros positivos pares:
(1, 4, 9, 16, 25, . . .)
(2, 4, 6, 8, 10, . . .)
y la sucesin de los nmeros positivos impares:
(1, 4, 5, 7, 9, . . .)
2: (1, 2, 4, 8, 16, 32, . . .)
La sucesin de las potencias de
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, . . .)
tambin sucesiones de nmeros reales, como las potencias de
O como las mejores aproximaciones de
con
0, 1, 2, 3,
. . . cifras despus de la coma:
(3; 3, 1; 3, 14; 3, 142; 3, 1416; 3, 14159; 3, 141593; 3, 1415927; 3, 14159265; 3, 141592654; . . .)

Los valores sucesivos de una seal numrica idealizada: gura 1.1.
n bits que no tienen ningn par de

n podemos hacer la lista explicita de
estas cadenas de bits (cuadro III.1) y contarlas: a1 = 2 para n = 1, a2 = 3 para n = 2,
a3 = 5 para n = 3, a4 = 8 para n = 4, . . . Pero cmo calcular estos nmeros para
valores grandes de n ?
Para
n = 1, 2, 3,
. . . , el nmero
an
de cadenas de
0 consecutivos, Para los pequeos valores de
n
n=1
n=2
n=3
n=4
.
.
.
an
=2
=3
=5
=8
valor de
a1
a2
a3
a4
an =?
palabras de
bits sin ningn 00
0, 1
01, 10, 11
010, 011, 101, 110, 111
0101, 0110, 0111, 1010, 1011, 1101, 1110, 1111
Cuadro III.1: Cadenas de
bits sin ningn
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.
Por lo tanto, una sucesin numrica es simplemente una aplicacin (ver
Tema II) cuyo conjunto de salida es un intervalo de enteros y cuyo conjunto de llegada es un
55
Ejemplo de seal en tiempo discreto

2
1.5
x[n]
0.5
0.5
1.5
10
20
30
40
50
60
x[n] = sin(2f1 nTs ) + sin(2f2 nTs ), f1 = 1 Hz, f2 = 2 Hz, fs = 5 Hz.

Figura III.1: Representacin grca de una seal
numrica peridica (transparencia de una
3
clase de tratamiento de la seal).
conjunto de nmeros (N,
en general). Sin embargo, no se emplea para la sucesiones
la terminologa ni la notacin usual de las aplicaciones.
Terminologa y notaciones particulares para las sucesiones:
Introducimos esta
terminologa particular considerando la sucesin de los cuadrados. Podemos llamar esta

sucesin por ejemplo:
1, 2, 3, 4
c.
Entonces:
. . . son los ndices de la sucesin.
1, 4, 9, 16
. . . son los trminos de la sucesin. Se notan tambin
Como hay una formula general para los trminos

sucesin de trmino general
cn
(es:
c1 , c2 , c3 , c4
cn = n2 ),
...
se dice que c es la
.
c se puede notar (cn )n1 (las parntesis son importantes aqu; el

n 1 dene explcitamente el conjunto de los ndices). Se puede tambin escribir:
c = (n2 )n1 ( c es la sucesin de los ene cuadrado, para ene superior o igual a uno).
En vez de notar
1.3. Sucesiones denidas recursivamente

Hay varias maneras de denir una sucesin. Consideremos por ejemplo la sucesin de los
nmeros positivos pares. La llamamos u. Tenemos, por lo tanto,
u 1 = 2, u 2 = 4, u 3 = 6,
....
Podemos denirla mediante una formula:

56
un = 2 n
para todo
positivo.
= un + 2 para
n = 1 obtenemos:
n = 2: u3 = u2 + 2 = 4 + 2 = 6. etc
Pero tambin basta dar su primer valor:
n.
cualquier entero positivo
u2 = u1 + 2 = 2 + 2 = 4.
u 1 = 2,
y la regla: un+1
En efecto, aplicando la regla para
Luego para
Esta segunda descripcin de la sucesin se llama denicin recursiva de la sucesin.

Consta de:
una condicin inicial (u1
= 1).
una relacin de recurrencia que permite calcular cada trmino a partir de los anteriores (un+1
= un + 2).
Consideramos otra vez las sucesiones introducidas en 1.1:

La sucesin de los enteros positivos tambin es la sucesin
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
impares positivos tienen deniciones recursivas muy parecidas:
u1 = 2
un+1 = un + 2
para cualquier
n1
v1 = 1
vn+1 = vn + 2
para cualquier
n1
Solamente la condicin inicial varia.

La sucesin
(dn )n0
de las potencias de
d0 = 1
dn+1 = 2 dn
es denida por:
para cualquier
(similarmente para la sucesin de las potencias de

La sucesin de las mejores aproximaciones de
n0
2 1.)
no tiene ninguna descripcin de este
tipo.
Encontraremos una denicin recursiva para la sucesin de los nmeros de cadenas de
bits sin dos 0 consecutivos (ver ms abajo el ejemplo 1.2).
Aqu estn ms ejemplos de sucesiones denidas recursivamente:

sean
, ,
tres nmeros. Hay una (nica) sucesin
Por ejemplo, para
w0 =
wn+1 = wn +
= 1, = 2, = 3, la

w0 = 1
wn+1 = 2 wn + 3
y sus primeros trminos son:
para cualquier
denida por:
n0
denicin recursiva de la sucesin es:
para cualquier
1, 5, 13, 31, 67,

57
(wn )n0
...
n0
Una relacin de recurrencia puede involucrar varios trminos anteriores al trmino

denido. Por ejemplo:
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
Sus primeros trminos son:
para cualquier
2, 3, 6, 18, 108, 1944,
n0
...
Una denicin recursiva puede ser menos explicita. En el mtodo de resolucin de

ecuaciones por biseccin, se considera una funcin
un intervalo
[; ],
tal que hay una nica solucin de
estrictamente creciente sobre
f (x) = 0
en este intervalo. Se
hallan aproximaciones de esta solucin construyendo dos sucesiones

y
(b0 , b1 , b2 , b3 , . . .)
(a0 , a1 , a2 , a3 , . . .)
denidas de la manera siguiente:
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:
1.4. Ecuaciones de recurrencia

Consideramos un ejemplo sencillo pero fundamental.
Ejemplo 1.1 Sea
una sucesin que cumple:
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.
La demostracin formal, que no daremos aqu, se hace por induccin.
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)
determinando que sus soluciones son todas las sucesiones de la forma

nmero jo. Por ejemplo, para
t=1
tenemos la solucin
58
(2n )n0 ,
(t 2n )n0
para
cuyos primeros trminos
(1, 2, 4, 8, 16, . . .).
son
t = 3/2 tenemos
(3/2, 3, 6, 12, 24, . . .).
Para
primeros trminos son
otra solucin: la sucesin
(3 2n1 )n0 ,
cuyos
En dos palabras, hay una formula general para todas las soluciones de la ecuacin de
recurrencia (esta formula es:
(t 2n )n0 ). En este caso
decimos que (t
2n )n0
es la solucin
general de la ecuacin de recurrencia (III.1). Esta solucin general depende de un parmetro
t).
( el
Observacin:
La solucin general de una ecuacin, cuando depende de parmetros,
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
son dos de sus soluciones particulares.
Estamos acostumbrados a resolver sistemas de ecuaciones lineales
como por ejemplo:
x+y+z
xy
=0
=0
(III.2)
Su conjunto de soluciones es el conjunto de los puntos de la forma

Esta formula
valores para
(t, t, 2 t)
para
t R.
(t, t, 2 t) es la solucin general del sistema. Obtenemos las soluciones eligiendo

t (el punto (1, 1, 2) para t = 1, el punto (3/2, 3/2, 3) para t = 3/2 . . . ).
La situacin es similar para la ecuacin de recurrencia (III.1). Simplemente, en vez de

tener 3 variables (x,
ecuaciones
y , z ) tenemos una innidad (u0 , u1 , u2 . . . ), y en vez de tener dos

(x + y + z = 0, x y = 0) tenemos una innidad (u1 = 2u0 , u2 = 2u1 , u3 = 2u2 ,
. . . ).
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.
Ejemplo 1.2 Si sabemos resolver ecuaciones de recurrencia, nos da herramientas ms para

determinar formulas para sucesiones en general, aplicando el programa siguiente:
1. Dada una sucesin, buscar una ecuacin de recurrencia que satisface.
2. Resolver la ecuacin de recurrencia.
Realizamos la fase
de este programa para la sucesin
(an )n1
que cuenta las cadenas de
bits son ningn 00 (ltimo ejemplo en 1.1). La fase 2 (resolucin) ser realizada en el
ejemplo 2.1.
Para una cadena de
o bien termina por
bits,
n 3,
sin ningn 00, tenemos la alternativa siguiente:
0. En este caso el penltimo bit tiene que ser 1, y los bits anteriores
n 2 sin 00.
pueden formar cualquiera cadena de longitud

59
o bien termina por 1. En este caso, los bits anteriores pueden formar cualquiera
n1
cadena de longitud
Hay
an1
sin 00.
cadenas en el primer caso, y
de trmino general
an
an2
en el segundo. Hemos obtenido que la sucesin
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
cuando sabremos resolver este ecuacin de recurrencia.
1.5. Ecuaciones de recurrencia lineales

Denicion 1.1 Una ecuacin de recurrencia es lineal a coecientes constantes cuando es
de la forma:
un+k = a0 un + a1 un+1 + a2 un+2 + + ak1 un+k1 + g(n)

dnde
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
son enteros jos, con
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).
1, pero no homognea. Aqu g(n) = 2
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).
La ecuacin siguiente no es lineal:

sn+2
= sn sn+1
para cualquier
n 0.
La ecuacin siguiente es lineal, pero sus coecientes no son constantes:

un+1
de
= 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.
Resolucin de las ecuaciones de recurrencia lineales

homogneas a coecientes constantes
2.1. La ecuacin homognea de orden 1

Una ecuacin de recurrencia lineal homognea de orden
un+1 = aun
para cualquier
es de la forma:
np
(III.3)
up+1 = aup , up+2 = aup+1 = a(aup ) = a2 up , up+3 = aup+2 =

a(a up ) = a up , . . . . Su solucin general es (anp up )np , donde up puede ser elegido arbip
trariamente y, por lo tanto, tiene el papel de parmetro. Poner t = up /a permite dar una
n
presentacin ms simple a la solucin general: es (ta )np .
Es fcil resolverla: tenemos
Por lo tanto, el conjunto de las soluciones de (III.3) esta formado de la sucesin de las
potencias de
posibles de
y de todos sus mltiples (las sucesiones
en
(tan )n0 ,
para todas las elecciones
R).
2.2. La ecuacin homognea de orden 2

Una ecuacin de recurrencia lineal homognea de orden
un+2 = aun+1 + bun
para cualquier
En primer lugar, busquemos las sucesiones de potencias
es de la forma:
np
(n )np
(III.4)
que cumplen (III.4) (ya
que fue fructifero en el caso de las ecuaciones de recurrencia de orden

diferente de
0.
Entonces
(n )np
1).
Sea
un nmero
es solucin de (III.4) si y solo si:
n+2 = an+1 + bn
para cualquier
np
6= 0, podemos simplicar estas ecuaciones, dividiendo

n
nemos que ( )np es solucin de (III.4) si y solo si:
Como
2 = a + b
para cualquier
ambos lados por
n .
Obte-
np
Estas ecuaciones, en nmero innito, son todas iguales. No es necesario repetirlas. La condicin para que
(n )np
sea solucin de (III.4) es meramente:
2 = a + b
O sea, que
sea solucin de la ecuacin:
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).
Hay un caso excepcional: cuando el discriminante de la ecuacin es

solucin, necesariamente real.
61
0,
hay una nica
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
parmetros, cuando la ecuacin caracterstica de la
ecuacin de recurrencia tiene dos soluciones distintas,
siendo estas soluciones.
(P (n)n )np con P (n) = t0 + t1 n (un polinomio en n de grado a lo sumo 1 cuyos

coecientes t0 y t1 son parmetros), cuando la ecuacin caracterstica tiene una nica
solucin, siendo esta solucin.
Observacin:
Aqu estn dos descripciones de la ecuacin caracterstica:
Es la ecuacin que debe vericar
para que la sucesin de potencias
(n )np
sea
solucin de la ecuacin de recurrencia lineal homognea.

Es tambin la ecuacin obtenida de la ecuacin de recurrencia lineal homognea al
sustituir
un , un+1 , un+2
x0 (= 1), x1 , x2
por
respectivamente.
Ejemplo 2.1 Vamos a determinar la nica sucesin
a1 = 2
a2 = 3
an+2 = an+1 + an
(an )n0
para cualquier
que cumple:
n 0.
Resolvemos en primer lugar la ecuacin de recurrencia:
an+2 = an+1 + an
Es lineal homognea de orden
2.
para cualquier
n 0.
Su ecuacin caracterstica es:
x2 = x + 1
La resolvemos y obtenemos que tiene dos soluciones:
1 5
,
2
1+ 5
2
Aplicando el teorema 2.1 concluimos que la solucin general de la ecuacin de recurrencia

es:
(t1 n + t2 n )n0 .
Buscamos ahora la solucin particular que cumple
determinar los valores de
t1
t2
a1 = 2
tal que:
t1
2 t1
+t2
+ 2 t2
=2
=3
Resolviendo este sistema obtenemos como solucin nica:
2
2
t1 = , t 2 =
5
5
62
a2 = 3.
Esto consiste en
En consecuencia, la nica solucin del problema es la sucesin de trmino general:
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
Ejemplo 2.2 Hallamos la nica sucesin que cumple:
u0 = 0
u1 = 2
un+2 = 2 un+1 un
n 0.
para cualquier
un+2 = 2 un+1 un
2.
para cualquier
n 0.
Su ecuacin caracterstica es
x2 = 2 x 1,
equivalente a
x 2x + 1 = 0. Tiene una nica solucin, = 1. Aplicamos el teorema 2.1. Obtenemos que

la solucin general de la ecuacin de recurrencia es el polinomio de grado 1 cuyos coecientes
n
n
n
son parmetros: (t0 + n t1 )n0 (el factor ya que = 1 = 1).
u0 = 0, u1 = 2.
Buscamos ahora la solucin particular que cumple

valores de
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.
Ejemplo 2.3 Hallamos la nica sucesin que cumple:
v0 = 1
v1 = 1
vn+2 = 2 vn+1 2vn
para cualquier
n 0.
vn+2 = 2 vn+1 2vn

a
x 2x + 2 = 0.
2.
para cualquier
n 0.
x2 = 2 x 2, equivalente
conjugadas: = 1 + i y = 1 i.
Tiene dos soluciones imaginarias
Aplicamos el teorema 2.1. Obtenemos que la solucin general de la ecuacin de recurrencia

es la sucesin de trmino general
que cumple
v0 = 1, v1 = 1
t1 (1 + i)n + t2 (1 i)n .
Para determinar la nica solucin
resolvemos:
t1
(1 + i)t1
+t2
+(1 i)t2
63
=1
= 1
Resolviendo el sistema obtenemos como nica solucin:
t1 = 1/2 + i, t2 = 1/2 i. Por lo

(1/2 + i)(1 +
tanto la solucin del problema propuesto es la sucesin de trmino general:
i)n + (1/2 i)(1 i)n .
2.3. La ecuacin homognea de orden cualquiera

Sea una ecuacin de recurrencia lineal homognea de orden
un+k = a0 un + a1 un+1 + a2 un+2 + + ak1 un+k1
a coecientes constantes:
para cualquier
np
Formamos su ecuacin caracterstica:
xk = a0 + a1 x + a2 x2 + + ak1 xk1
Recordamos que esta ecuacin es:
la condicin que debe cumplir un nmero
(n )np
6= 0
para que la sucesin de potencias
sea solucin de la ecuacin de recurrencia homognea.
la expresin obtenida de la ecuacin de recurrencia homognea al sustituir
un+1 , un+2
. . . por
x1 , x0 (= 1), x1 , x2
Su grado es el orden de la ecuacin (cuando
un1 , un ,
. . . respectivamente.
a0 6= 0).
Tenemos el resultado siguiente:
Teorema 2.2 Si la ecuacin caracterstica de la ecuacin homognea considerada tiene
k es el
k , entonces la solucin general de
t1 1n + t2 2n + + tk kn .
soluciones distintas (dnde
orden de la ecuacin), que podemos llamar
r < k)
...,
la ecuacin homognea es la sucesin de trmino general
Si, al contrario, la ecuacin caracterstica tiene menos de

(con
1 , 2 ,
soluciones,
1 , 2 ,
...,
entonces la solucin general de la ecuacin de recurrencia es la sucesin de

P1 (n)1n + P2 (n)2n + + Pr (n)rn , donde:
trmino general
P1 , P 2 ,
...,
Pr
son polinomios cuyos coecientes son parmetros
y para cualquier i, el grado de
Pi
es la multiplicidad, menos uno, de
como solucin
de la ecuacin caracterstica.
Ejemplo 2.4 Resolvemos la ecuacin de recurrencia:
un+4 = 2un+3 + 2un+1 un
para cualquier
n 0.
x4 = 2x3 +2x1 = 0. Es equivalente a: x4 +2x3 2x+1 = 0.

4
3
determinamos, de alguna manera (quizs con la ayuda del ordenador) que x +2x 2x+1 =
(x + 1)3 (x 1) = (x (1))3 (x 1). Por lo tanto, la ecuacin caracterstica tiene solamente
dos soluciones: 1 (de multiplicidad 3) y 1 (de multiplicidad 1). Aplicando el teorema
2.2, obtenemos como solucin general de la ecuacin de recurrencia la solucin de trmino

general:
(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.
Resolucin de ecuaciones de recurrencia lineales no

homogneas a coecientes constantes
Si consideramos el sistema de ecuaciones lineales:
x+y+z
xy
=1
=2
sabemos que su conjunto de soluciones es una recta de
(III.5)
R3 ,
ya que cada una de las dos
ecuaciones describe un plano, y que el sistema describe su interseccin. Sabemos tambin

que para describir esta recta nos basta determinar un punto cualquiera de la recta (aqu por
ejemplo
(3/2, 1/2, 0)),
y un vector director (por ejemplo
(1, 1, 2)).
Este vector director y
todos sus mltiples forman el conjunto de las soluciones del sistema homogneo asociado al
sistema (III.5):
x+y+z
xy
La solucin general de (III.5) sistema es:
=0
=0
(3/2 + t, 1/2 + t, 2t) = (3/2, 1, 0) + t(1, 1, 2).
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.
El programa para resolver una ecuacin de recurrencia lineal a coecientes constantes

es, por lo tanto:
1. Hallar la solucin general de la ecuacin homognea asociada.

2. Hallar una solucin particular de la ecuacin (completa).
3. Aplicar el teorema 3.1 para concluir.
En consecuencia, para saber resolver las ecuaciones de recurrencia lineales a coecientes

constantes, nos queda solamente a saber como hallar una solucin particular de cada ecuacin. No hay receta general para esto, por la gran variedad de funciones
g(n) posibles para

g(n) de la forma
el trmino independiente. Damos un receta para el caso de los trminos
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:
un+k = a0 un + a1 un+1 + a2 un+2 + + ak1 un+k1 + Q(n)rn

donde
forma
Q es un polinomio de grado d y r es un nmero, siempre

T (n)rn con T polinomio de grado superior o igual a d.
Observacin:
El teorema incluye como casos particulares:

65
para cualquier
np
existe una solucin de la
El caso cuando
es un polinomio (corresponde a
El caso cuando
es una funcin exponencial (g(n)
Para hallar esta solucin ponemos

nados y grado
d.
un = T (n)rn ,
r = 1).
= rn ;
donde
corresponde a
Q = 1).
tiene coecientes indetermi-
Lo inyectamos en la ecuacin de recurrencia y nos da un sistema cuyas
incgnitas son los coecientes de
T.
Hay dos posibilidades: o bien el sistema admite una
solucin. Entonces hemos obtenido una solucin particular de la ecuacin de recurrencia. O

bien no admite ninguna solucin. Entonces intentamos de nuevo con
de grado
d+1
(o
superior si falla otra vez). El teorema nos asegura que esta estrategia pagar.
Ejemplo 3.1 Resolvemos la ecuacin de recurrencia:
un+1 = 2 un + 3
para cualquier
n 0.
Resolvemos en primer lugar la ecuacin de recurrencia homognea asociada. Es inmediato

obtener su solucin general: es la sucesin de trmino general
t 2n , donde t es un parmetro.
Buscamos ahora una solucin particular de la ecuacin completa. Como su trmino inde-
g(n) = 3 (un polinomio de grado 0), buscamos una solucin particular de la

un = b, con b un nmero jo (polinomio de grado 0). Sustituyendo un y un+1 por b
pendiente es
forma
en la ecuacin de recurrencia, obtenemos la condicin:
b = 2b + 3
Esta condicin se simplica en
general
b = 3.
para cualquier
n 0.
Concluimos que la sucesin constante de trmino
es una solucin particular de la ecuacin completa. Aplicando el teorema, obte-
nemos que la solucin general de la ecuacin de recurrencia es la sucesin de trmino general
2n 3.
Ejemplo 3.2 Vamos a obtener la solucin general de:
un+2 = 2 un+1 un + n2
para cualquier
n 0.
Hemos obtenido la solucin de la ecuacin homognea asociada en el ejemplo 2.2: es la

sucesin de trmino general t0 +nt1 . Como el trmino independiente de la ecuacin completa
es un polinomio de grado
(este trmino es
n2 ),
buscamos como solucin particular de la
ecuacin una sucesin dada por un polinomio de grado
2: un = an2 + bn + c.
Entonces:
un+1 = a(n + 1)2 + b(n + 1) + c = an2 + (2a + b)n + (a + b + c)

un+2 = a(n + 2)2 + b(n + 2) + c = an2 + (4a + b)n + (4a + 2b + c)
Por lo tanto, esta sucesin
(un )n0
es solucin de la ecuacin de recurrencia si y solo si:

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
de cada lado obtenemos como condicin:
a = 2a a + 1
(4a + b) = 2(2a + b) b
4a + 2b + c = 2(a + b + c) c
66
n0
Este sistema no tiene solucin, por culpa de su primera ecuacin:

a
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:
un+1 = d(n + 1)3 + a(n + 1)2 + b(n + 1) + c

= dn3 + (a + 3d)n2 + (2a + b + 3d)n + (a + b + c + d)
y
un+2 = d(n + 2)3 + a(n + 2)2 + b(n + 2) + c

= dn3 + (a + 6d)n2 + (4a + b + 12d)n + (4a + 2b + c + 8d)
Identicando los coecientes de
condicin:
n3 ,
de
n2 ,
de
y de
n0
de cada lado obtenemos como
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
Este sistema es equivalente a:
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:
un = en4 + dn3 + an2 + bn + c.
Ahora:
un+1 = e(n + 1)4 + d(n + 1)3 + a(n + 1)2 + b(n + 1) + c

= en4 + (d + 4e)n3 + (a + 3d + 6e)n2 + (2a + b + 3d + 4e)n + (a + b + c + d + e)
y
un+2 = e(n + 2)4 + d(n + 2)3 + a(n + 2)2 + b(n + 2) + c

= en4 + (d + 8e)n3 + (a + 6d + 24e)n2 + (4a + b + 12d + 32e)n + (4a + 2b + c + 8d + 16e)
Nos conduce esta vez al sistema:
e = 2e e
d + 8e = 2(d + 4e) d
a + 6d + 24e = 2(a + 3d + 6e) a + 1
4a + b + 12d + 32e = 2(2a + b + 3d + 4e) b
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
Una de sus soluciones es:
a = 5/12, b = 0, c = 0, d = 4/12, e = 1/12.

1
4
3
2
12 (n 4n + 5n ) de la ecuacin
solucin particular de trmino general
Corresponde a la
de recurrencia.
Por lo tanto, la solucin general de la ecuacin de recurrencia es la sucesin de trmino

general:
1 4
(n 4n3 + 5n2 ) + t1 n + t0
12
con
t0
t1
parmetros.
68

Introduccion A La Matematica Discreta

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Introduccion A La Matematica Discreta

Uploaded by

Copyright:

Available Formats

Introduccin a la matemtica discreta

Grado en Ingeniera de Computadores

Departamento de Matemtica Aplicada I.

Versin 0.3. Noviembre de 2010

Lgica, conjuntos, lgebras de Boole

Componiendo proposiciones: y, o, no, implicacin, equivalencia

Equivalencia lgica de proposiciones

Operaciones con conjuntos: unin, interseccin, diferencia

Contar sucesiones nitas . . . . . . . . . . . . . . . . . . . . . . . . . .

El principio del producto

El principio de divisin, el recuento de los subconjuntos de

los nmeros binmicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Principios de base: principio de biyeccin, principio de adicin, principio de

Permutaciones con repeticiones . . . . . . . . . . . . . . . . . . . . . .

El principio del palomar y el principio de inclusinexclusin . . . . . . . . .

El principio del palomar . . . . . . . . . . . . . . . . . . . . . . . . . .

El principio de inclusin y exclusin

Sucesiones denidas recursivamente

Ecuaciones de recurrencia lineales

Resolucin de las ecuaciones de recurrencia lineales homogneas a coecientes

La ecuacin homognea de orden

La ecuacin homognea de orden

La ecuacin homognea de orden cualquiera . . . . . . . . . . . . . . .

Resolucin de ecuaciones de recurrencia lineales no homogneas a coecientes

Esta obra est bajo una licencia Attribution, NonCommercial, ShareAlike

(Reconocimiento, No commercial, Compartir Igual) 3.0 Unported de Creative Commons.

foundation for computer science. AddisonWesley, 1994.

ciones. AddisonWesley Iberoamericana, 1998.

Lgica, Teora de conjuntos, lgebras de Boole

Estas frases las llamamos proposiciones.

tampoco es una proposicin, cuando

es una variable sin valor asignado, porque puede ser

verdadera o falsa, dependiendo del valor de

Estas frases las llamamos predicados.

Ejemplo 1.1 Considerese:

Sin embargo, esta frase es bien una proposicin.

1.2. Componiendo proposiciones: y, o, no, implicacin, equivalencia

Las proposiciones compuestas se forman a partir de proposiciones previas, por medio de

En vez de  si . . . entonces . . .  se puede decir  . . . implica . . . , y en vez de  si

si se puede decir  es equivalente a.

se forma una nueva proposicin:  p

verdad es determinado a partir de los valores de

verdadera si por lo menos una de las dos proposiciones

Se puede resumir esta denicin utilizando una tabla de verdad:

Explicacin: hay cuatro posibilidades para los valores de verdad de

p y de q , que corresponindica que si p es verdadera

Este  o no es el o exclusivo utilizado a veces en el lenguaje corriente,

El o exclusivo se abrevia a veces en XOR (como exclusive

or) en ciertos lenguajes de

programacin. No forma parte de los conectores fundamentales de la lgica matemtica.

y q . Le atribuimos un valor de verdad as:  p y q  es verdadera si

p formamos una nueva proposicin:  no p. La proposicin

La tabla de verdad de la negacin es:

formamos la nueva proposicin  p

puede emplear con el mismo sentido:  si

hay vida extraterrestre

La implicacin es correcta, aunque no sabemos si la hiptesis es cierta o no. La manera

1 + 1 6= 2. Por lo tanto, la proposicin no es falsa.

todos los estudiantes excepto uno aprobarn la

formamos una nueva proposicin:  p

Se puede emplear con el mismo sentido:  p

es equivalente a q  es verdadera cuando

tienen el mismo valor de

Contar sucesiones nitas . . . . . . . . . . . . . . . . . . . . . . . . . .

El principio del palomar y el principio de inclusinexclusin . . . . . . . . .

Sucesiones denidas recursivamente

Resolucin de las ecuaciones de recurrencia lineales homogneas a coecientes

Resolucin de ecuaciones de recurrencia lineales no homogneas a coecientes

Esta obra est bajo una licencia Attribution, NonCommercial, ShareAlike

(Reconocimiento, No commercial, Compartir Igual) 3.0 Unported de Creative Commons.

foundation for computer science. AddisonWesley, 1994.

ciones. AddisonWesley Iberoamericana, 1998.

En vez de si . . . entonces . . . se puede decir . . . implica . . . , y en vez de si

si se puede decir es equivalente a.

se forma una nueva proposicin: p

Se puede resumir esta denicin utilizando una tabla de verdad:

Este o no es el o exclusivo utilizado a veces en el lenguaje corriente,

El o exclusivo se abrevia a veces en XOR (como exclusive

or) en ciertos lenguajes de

y q . Le atribuimos un valor de verdad as: p y q es verdadera si

p formamos una nueva proposicin: no p. La proposicin

formamos la nueva proposicin p

puede emplear con el mismo sentido: si

formamos una nueva proposicin: p

Se puede emplear con el mismo sentido: p

es equivalente a q es verdadera cuando

sus lecturas. La proposicin p

implica , es equivalente a se llaman conectores lgicos.

Pues hay que entenderlo como un

si y solo si . En cambio, en los teoremas y en las

La primera se leera hoy es lunes o si el cielo est

Ejemplo 1.4 Aqu est el rbol que representa la formula (p q) (r).

y vemos que el valor de verdad de la expresin siempre coincide con el de p

Decimos que las expresiones (p)

o q son lgicamente equivalentes.

> 0 y q para y > 100. Observamos que x 0 es lgicamente

tanto, podemos simplicar la instruccin as:

entonces estoy de mal humor.

Teorema 1.3 p implica

es lgicamente equivalente a (no

es lgicamente equivalente a (q)

es lgicamente equivalente a (no

Teorema 1.4 p implica

entonces tengo hambre.

q ) implica (no p).

Contradiccin: Una formula es una contradiccin si es falsa para toda asignacin de

2.1. Deniciones bsicas

(conjunto). Especialmente, no tiene sentido 2

del ejemplo anterior pude igualmente denirse como

es una sucesin bien denida.