Mdulo 2

Unidades 2 y 3
Funciones y Conteo
Principios de Conteo

Matemtica Discreta
Lic. Alfredo H. Gonzalez
 Contenidos:
Lectura 2. Funciones y conteo 1

2.1 Funciones 1

2.2 Funciones Suryectivas, Inyectivas y Biyectivas 3

2.3 Conteo 5

2.4 El Principio de las Casillas 7

2.5 Finito o Infinito? 8

2.6 Ejercicios 11

Lectura 3. Principios de conteo 13

3.1 Los principios de adicin y multiplicacin 13

3.2 Funciones, palabras y selecciones 15

3.3 Inyecciones como selecciones ordenadas sin repeticin 18

3.4 Nmeros binomiales 19

3.5 Selecciones desordenadas con repeticin 23

3.6 El teorema del binomio 25

3.7 Ejercicios 28

Apndice 29

ndice alfabtico 51

Bibliografa 52

Matemtica Discreta Alfredo H. Gonzalez | II

2. Funciones y Conteo

Reflexin

Si el profesor llegara un da y nos dijera que quiere ensearnos a

contar, pensaramos que se equivoc de curso, y que debera ir a

ensear ese tema a nios de primer grado. Sin embargo, si insiste

y comenzamos a ver una buena gama de problemas diferentes, no

tardaremos en convencernos de que la tarea de contar excede

largamente el hecho de una simple y sencilla enumeracin como la

que podramos hacer si nos parsemos todos los compaeros en fila

y contsemos cuntos somos. Los invito a descubrir el fascinante

camino de aprender a contar.

Matemtica Discreta Alfredo H. Gonzalez | III

 LECTURA 2

Funciones y conteo

2.1. Funciones
Supongamos que X e Y son conjuntos. Decimos que f es una funcin
de X en Y , si por cada x en X podemos especificar un nico elemento f (x)
en Y . La notacin estndar f : X Y para una funcin f de X en Y . Es
til pensar a f como una regla que asigna a cada objeto x en Xun nico
f (x) en Y . f (x) es usualmente llamado el valor de f en x. Lo importante
es que f (x) este definida para todo x en X, y que hay un solo f (x) por cada
x.
Las funciones ms comunes en matemtica elemental son aquellas en las
cuales X e Y son los conjuntos N o Z o algunos otros conjuntos de nmeros.
En este caso el mtodo ms simple para especificar una funcin es por medio
de una frmula. Por ejemplo, la regla:
f (n) = 3n + 4 (n N)
define la funcin f de N en N cuyo valor en n es 3n + 4 . Algunas funciones
pueden requerir una definicin por partes, como la funcin g de Z en Z dada
por la regla:
si x 0
(
x
g(x) =
x si x 0
Esta funcin asigna a cada entero x su valor absoluto, usualmente escrito
|x|. Por ejemplo, |5| = | 5| = 5.
Cuando X = N, otra forma de especificar una funcin es el mtodo de
definicin recursiva, explicado en la seccin 1.3 . En esa seccin hablamos
(vagamente) de una expresin un definida para cada n en N. Sera ms
preciso decir que un es solo una notacin alternativa para u(n), donde u es
una funcin de N en un conjunto apropiado Y . Por ejemplo, las ecuaciones
u(1) = 1, u(2) = 2, u(n) = u(n 1) + u(n 2) (n 3)
nos dan una definicin recursiva de una funcin u de N a N. Generalmente
nos referimos a la lista de valores de esta funcin como una sucesin en este
caso la sucesin es
1, 2, 3, 5, 8, 13, 21, . . .
donde los tres puntos al final indican que la lista contina indefinidamente.
Por lo general una sucesin de miembros de un conjunto Y es solo otro
1
nombre para una funcin de N en Y . (A veces es conveniente reemplazar N
por N0 o algn otro conjunto de enteros.) Una sucesin puede ser definida
recursivamente, o por una frmula, o de alguna otra manera, pero en todos
los casos debemos tener un nico elemento de Y para cada entero relevante
n.
Una propiedad til de las funciones es que, en algunas circunstancias,
pueden ser combinadas. Especficamente, si nos dan funciones f de X a Y ,
y g de Y a Z, entonces hay una funcin de X a Z definida de la siguiente
manera. Para cada x en X el valor f (x) est en Y , y el valor de g en f (x) es
el elemento g(f (x)) de Z. Considerando esta operacin de dos pasos como
un paso nico, tenemos una funcin de X en Z que lleva x a g(f (x)); y que
es llamada la composicin de las funciones f : X Y y g : Y Z
escrita gf . As
(gf )(x) = g(f (x)).

Es aconsejable recordar que (en este libro) gf significa primero f, en-

tonces g. Aunque f g es una especie de producto de g y f , esta forma de
pensar nos puede conducir a conceptos errneos. Si X, Y, Z son conjuntos
diferentes, entonces gf se define como ya lo hicimos, pero f g no tiene sen-
tido. Ms an, si gf y f g estn ambas definidas, como cuando X = Z, no
hay razn por la cual deberan ser iguales.

2.1.1. Ejercicios.
1. Las funciones s y t de Z en Z estn definidas por

s(x) = x + 1, t(x) = 2x (x Z).

Muestre que st no es igual a ts.

2. Sea X = {1, 2, 3, 4, 5} y sea f : X X una funcin definida por

f (1) = 2, f (2) = 2, f (3) = 4, f (4) = 4, f (5) = 4.

Muestre que f f = f .Encuentre una funcin g distinta de f tal que

gf = f y f g = f .
3. Sea U el conjunto de ciudadanos de Utopa. Cul de las siguientes
expresiones define correctamente una funcin de U en U ?
(i) f (x) es la madre de x.
(ii) g(x) es la hija de x.
(iii) h(x) es la esposa de x.
4. Suponga que f , g y h son funciones tales que la composicin h(gf )
est definida. Muestre que (hg)f tambin est definida, y (hg)f =
h(gf ).
2
 2.2. Funciones Suryectivas, Inyectivas y Biyectivas
Hay ciertos tipos de funciones que tienen nombres especiales.
Definicin 2.2.1. La funcin f (x) de X en Y es una suryeccin si
cada y en Y es f (x) de al menos un x en X. Es una inyeccin si cada y en
Y es f (x) de a lo ms un x en X. Es una biyeccin si es a la vez suryeccin
e inyeccin, o sea, si cada y en Y es f (x) de exactamente un x en X.
Ejemplo 2.2.1. Las siguientes frmulas definen funciones de Z en Z.
Cules son suryectivas, cules inyectivas y cules biyectivas?
(i) f (x) = x2 ; (ii) g(x) = 2x; (iii) h(x) = x + 2.
Demostracin. (i) Como f (x) = x2 y x2 nunca es negativo, ningn
entero negativo como -1 puede ser valor de f . Por lo tanto, no existe un
entero x tal que f (x) = 1 y entonces f no es suryectiva. Adems, hay
algunos enteros y para los cuales hay dos soluciones a la ecuacin f (x) = y
por ejemplo, tomando y = 4 tenemos f (2) y f (2) ambos iguales a 4.
Entonces no es inyectiva.
(ii) Como g(x) = 2x y 2x es par, un entero impar como tres no puede
ser valor de g. Por lo tanto, g no es suryectiva.. Por otro lado g es inyectiva..
Para probarlo, supongamos que hay dos enteros x y x0 tal que g(x) y g(x0 )
toman el mismo valor y, o sea, 2x = 2x0 . Cancelando el factor 2 tenemos
x = x0 , lo que implica que hay como mximo una solucin a la ecuacin
g(x) = y, y luego g es inyectiva.
(iii) Si se nos dan un entero y, entonces tomando x = y 2 tenemos
h(x) = x + 2 = y.
Entonces hay por lo menos un entero x tal que h(x) = y y entonces h es
suryectiva. Si hubiera dos de tales enteros x y x0 deberamos tener x + 2 =
x0 + 2, lo que implica que x = x0 . Por lo tanto h es inyectiva. y, adems, una
biyeccin. 
Vale la pena remarcar que la tcnica usada antes para probar que g y h
son inyectivas es la ms conveniente en la prctica. En general, si queremos
probar que una funcin f es inyectiva asumimos f (x) = f (x0 ) y deducimos
que x = x0 .
Un tipo particular de funcin inyectiva tiene un nombre especial, si X
es un subconjunto de Y entonces la funcin inclusin i : X Y , definida
por i(x) = x es claramente una inyeccin. Cuando X = Y es una biyeccin
y en este caso a veces se la llama funcin identidad en X. El siguiente
teorema es muy til.
Teorema 2.2.1. Si f : X Y y g : Y Z son inyectivas entonces la
composicin gf : X Z tambin lo es. Si f y g son suryectivas, tambin
lo es gf y si f y g son biyectivas, tambin lo es gf .
3
 Demostracin. Supongamos que (gf )(x) = (gf )(x0 ) como g(f (x)) =
g(f (x0 )) y g es inyectiva obtenemos que f (x) = f (x0 ) y como f es inyectiva,
x = x0 por lo tanto gf es inyectiva.
Ahora si g es suryectiva, entonces para cualquier z en Z tenemos que
z = g(y) para algn y en Y , y si f es suryectiva hay algn x en X para el
cual f (x) = y as z = g(f (x)) = (gf )(x), y gf es una suryeccin.
La proposicin para biyecciones es una consecuencia directa de las dos
precedentes. 

El concepto de biyeccin es fundamental para el proceso de conteo, como

veremos en la prxima seccin. Puede tambin formularse de otra manera,
como se expone en lo siguiente.

Definicin 2.2.2. Una funcin f de X en Y tiene una funcin inversa

g de Y en X, si para todo x en X e y en Y ,

(gf )(x) = x, y (f g)(y) = y

En otras palabras, gf es la funcin identidad en X y f g es la funcin

identidad en Y .
Podra decirse que una funcin g revierte los efectos de f . Las ecuaciones
en la definicin pueden ser replanteadas en la forma equivalente:

f (x) = y g(y) = x,

que es ms cercana a la nocin intuitiva de una funcin inversa. Por ejemplo

dada una funcin f de Z en Z definida por f (x) = x + 3, una funcin inversa
g puede ser encontrada sealando que

x+3=y y 3 = x,

Entonces g(y) = y 3.
Por supuesto, no toda funcin tiene inversa. Pero si la hay, entonces es
nica. Porque si f : X Y , y g y g 0 ambas satisfacen las condiciones para
ser una inversa de f , entonces (en particular) g 0 f es identidad en X y f g es
la identidad en Y . Entonces tenemos

g = (g 0 f )g = g 0 (f g) = g 0 .

Luego g = g 0 y la inversa es nica.

Este argumento justifica que hablemos de la inversa de f , (si existe) y
el uso de notacin f 1 para la nica funcin inversa. Adems, la inversa de
f 1 es f , entonces (f 1 )1 = f .

Teorema 2.2.2. Una funcin tiene inversa si y slo si es biyectiva.

4
 Demostracin. Supongamos. que f es una biyeccin de X en Y . Para
cada y en Y hay precisamente un x en X tal que f (x) = y. La regla g(y) = x
define una funcin de Y a X que es una inversa de f .
Por otro lado, supongamos que f tiene una inversa f 1 . Dado y en
Y sabemos que f (f 1 (y)) = y , luego poniendo x = f 1 (y) da f (x) =
y. Entonces f es suryeccin. Para demostrar que f tambin es inyectiva
supongamos que f (x) = f (x0 ). Aplicando f 1 a ambos lados de la ecuacin
obtenemos x = x0 como se requiere. 
Por supuesto una consecuencia inmediata de este teorema es que la in-
versa de una biyeccin es una biyeccin.

2.2.1. Ejercicios.
1. Cules de las siguientes funciones de Z en Z son suryecciones, cules
son inyecciones y cules son biyecciones?
(i) f (x) = x3 , (ii) g(x) = x 3,
(iii) h(x) = 3x + 1, (iv) i(x) = x2 + 1.
2. La funcin u de N en N es definida recursivamente por la siguiente
regla:
(1/2)u(n) si u(n) es par;
(
u(1) = 1, u(n + 1) =
5u(n) + 1 en otro caso.
Demuestre que u no es ni inyectiva ni suryectiva.
3. Pruebe que si f y g son biyectivas, y gf esta definida, entonces la
inversa de gf es f 1 g 1 .
4. Se dice que una funcin f : X Y tiene una inversa a izquierda
l : Y X si lf es la funcin identidad en X. Demuestre que:
i)Si f tiene inversa a izquierda entonces es inyectiva ;
ii)Si f es inyectiva entonces tiene una inversa a izquierda.
5. Formule y pruebe resultados sobre una inversa a derecha de f : X
Y que sean similares a los del ejercicio previo.

2.3. Conteo
Cul es significado de decir que un conjunto tiene n miembros? Una
manera de contestar esto es recordar cmo contamos conjuntos simples.
Decimos las palabras uno, dos, tres, etc. y sealamos los objetos de a uno.
Cuando cada objeto recibe un nmero, paramos, y el ltimo nmero pro-
nunciado es el nmero de elementos del conjunto. Para trasladar esta tcnica
de decir y sealar a lenguaje matemtico debemos primero definir, para
cada entero positivo n, el conjunto
Nn = {1, 2, 3, . . . , n}.
5
La tcnica de decir y sealar asigna a cada miembro de Nn un miembro
del conjunto X (el conjunto que est siendo contado) en otras palabras,
determina una funcin f de Nn en X. Adems est claro que la funcin
f es una biyeccin porque si hemos contado correctamente, cada miembro
de X recibe solo un nmero. Entonces, si X es un conjunto y n un entero
positivo, y si hay una biyeccin de Nn en X, entonces podemos decir que el
conjunto X tiene n elementos.
Debe sealarse que la definicin no excluye explcitamente la posibilidad
de que un conjunto tenga al mismo tiempo n elementos y m elementos, con
m distinto de n. Es ms, todos tenemos la experiencia de haber contado y
recontado algunos conjuntos grandes de objetos como por ejemplo ovejas de
un campo, obteniendo respuestas diferentes cada vez. El prximo teorema
es la clave para demostrar que esto slo se debe a ineptitud prctica, y que
hay una respuesta correcta. En otras palabras, un conjunto de n elementos
no puede ser de m elementos, para m 6= n.

Teorema 2.3.1. Si n y m son enteros positivos tales que m < n, en-

tonces no existe una funcin inyectiva de Nn a Nm .

Demostracin. Sea S el conjunto de enteros positivos n para los

cuales existe una inyeccin de Nn en Nm para algn m < n. Si S no es
vaco, entonces tiene un elemento mnimo k, y como k pertenece a S hay
una inyeccin de Nk en Nl para algn l < k. No podemos tener l = 1, pues
ninguna funcin de Nk en N1 puede tomar slo el valor 1, y por lo tanto no
puede haber una inyeccin definida sobre Nk para k > 1. Luego l 1 es un
entero positivo.
Si ninguno de los valores i(1), i(2), . . . , i(k 1) es igual a l, entonces
restringiendo i al conjunto Nk1 , tenemos una inyeccin de Nk1 en Nl1 .
Por otro lado, si i(b) = l para algn b en el rango 1 b k 1, entonces
debemos tener i(k) = c distinto de l, pues i es inyectiva. En este caso
podemos construir una inyeccin i de Nk1 en Nl1 ; esto es

i (b) = c, i (r) = i(r) (r 6= b).

En ambos casos la existencia de una inyeccin de Nk1 en Nl1 contradice

la definicin de k como el mnimo de S. Por lo tanto S debe ser vaco, y el
teorema est probado. 

Supongamos que hay un conjunto X que tiene n elementos, y adems

m elementos para algn n < m. Se sigue que hay biyecciones

: Nn X, : Nm X,

y por los resultados establecidos en la seccin anterior, ambas 1 y 1

son tambin biyectivas. En particular, 1 es una inyeccin de Nn en Nm ,
6
lo cual contradice al Teorema 2.3. De esta manera la proposicin: X tiene
n elementos vale para, como mximo, un entero positivo n.
Cuando X tiene n elementos, escribimos |X| = n, y decimos que el
cardinal de X es n. Para el conjunto vaco hacemos una definicin especial
pero razonable,
|| = 0.
Cuando |X| = n usualmente es conveniente poner
X = x 1 , x2 , . . . , x n ,
que en realidad es otra manera de decir que existe una biyeccin de
Nn X, tal que (i) = xi (1 i n).
Finalmente, una advertencia: hay conjuntos que no tienen un cardinal
acorde con la definicin. El conjunto N es un ejemplo. Volveremos sobre este
tema en la seccin 2.5.

2.4. El Principio de las Casillas

El Teorema 2.3.1, que fue probado para justificar la definicin de car-
dinal, puede ser tambin usado en forma ms prctica. Supongamos que
tenemos un conjunto X, cuyos elementos llamaremos objetos, y un con-
junto Y cuyos elementos sern casillas, o cajas. Una distribucin de los
objetos en casillas es simplemente una funcin f de X en Y : si el objeto x
va en la casilla y, entonces f (x) = y.
En este modelo la funcin es una suryeccin si cada casilla recibe por
lo menos un objeto, y una inyeccin si cada casilla recibe como mximo un
objeto. Ahora es claro que si hay ms objetos que casillas entonces alguna
casilla recibir por lo menos dos elementos; en otras palabras, la funcin no
puede ser inyectiva. Formalmente esto es consecuencia del Teorema 2.3.1
Supongamos |X| = m y |Y | = n , donde m > n; entonces una inyeccin
de X a Y producira una inyeccin de Nm en Nn , lo cual es imposible de
acuerdo con el teorema. Esta observacin se conoce usualmente como el
principio de las casillas:
Si m objetos son distribuidos en n casillas, y m > n,
entonces por lo menos una casilla recibe al menos dos objetos.
Hay muchas aplicaciones obvias de este principio, como por ejemplo:
(i) En un conjunto de 13 personas o ms, hay por lo menos dos que
cumplen aos en el mismo mes.
(ii) En cualquier conjunto de un milln de personas, hay por lo menos
dos con la misma cantidad de pelos en la cabeza.
(iii) En cualquier conjunto de 51 personas o ms nacidos en Estados
Unidos, hay al menos dos que han nacido en el mismo estado.
7
 Ejemplo 2.4.1. Demuestre que si X es cualquier conjunto de gente, hay
dos miembros de X que tienen el mismo nmero de amigos. (Se asume que
si x es amigo de x0 , entonces x0 es amigo de x).

Demostracin. Consideremos que la funcin f definida sobre X por

la regla que, para cada elemento x de X,
f (x) = nmero de amigos de x en X.
Si |X| = m, los posibles valores de f (x) son 0, 1, . . . , m 1, porque los
amigos de x pueden ser todos los miembros de X menos x. Entonces f es
una funcin de X al conjunto Y = {0, 1, . . . , m 1}.
En este punto no podemos aplicar inmediatamente el principio de las
casillas, porque Y tiene el mismo cardinal m que X. Sin embargo, si existe
una persona x que tiene m 1 amigos, entonces x es amigo de todos los
dems y consecuentemente no hay nadie sin amigos. En otras palabras, los
nmeros m 1 y 0 no pueden ser ambos valores de f . Por lo tanto f es una
funcin de un conjunto de m elementos a un conjunto de m 1 (o menos)
elementos, y el principio de las casillas nos dice que existen por lo menos 2
personas x1 y x2 tal que f (x1 ) = f (x2 ), como queramos ver. 

2.5. Finito o Infinito?

Hemos evitado hasta ahora el uso de las palabras finito e infinito,
pero ahora estamos en condiciones de dar una definicin formal.

Definicin 2.5.1. Un conjunto X es finito si es vaco o si |X| = n para

algn entero positivo n. Un conjunto no finito es llamado infinito.

De acuerdo con la definicin X es infinito si es no vaco y si no existe

biyeccin de Nn en X para ningn n N. Por supuesto el candidato ms
obvio de conjunto infinito es N mismo, y comenzaremos por convencernos
de que N es realmente infinito.
Ciertamente N no es vaco, porque contiene, por ejemplo, al 1. Supon-
gamos que existe una biyeccin de Nn en N para algn entero positivo
n. Como Nn+1 es un subconjunto de N, la inclusin i : Nn+1 N es una
inyeccin y la composicin
i : Nn+1 N Nn
es tambin una inyeccin. Pero esto contradice el Teorema 2.3.1, entonces
N es infinito como habamos afirmado.
Un ejemplo ms interesante de un conjunto infinito es el siguiente ejem-
plo. La demostracin (que se atribuye a Euclides) es considerada una de las
ms elegantes piezas del razonamiento matemtico.

Ejemplo 2.5.1. El conjunto P de nmeros primos es infinito.

8
 Demostracin. P no es vaco, puesto que 2 es primo. Supongamos que
P es finito, luego existe una biyeccin entre P y un conjunto {1, 2, . . . , n} y
los primos pueden ser listados como p1 , p2 , . . . , pn . Debemos mostrar que esa
lista no puede contener todos los primos. Consideramos el entero positivo
m = p1 p2 . . . pn + 1.
Ninguno de los primos p1 , p2 , . . . , pn divide a m, pero por otro lado, sabemos
que m tiene una factorizacin en primos. Por lo tanto esta factorizacin debe
contener primos que no son estn en p1 , p2 , . . . , pn y nuestra propuesta de
lista resulta incompleta. 

Teorema 2.5.1. El conjunto no vaco X es infinito si y slo si existe

una inyeccin de N en X

Demostracin. Si X es infinito podemos definir una funcin de N

en X recursivamente, de la siguiente manera. Tomemos f (1) un elemento
cualquiera de X, y si f (1), . . . , f (n) ya han sido definidos, tomamos f (k +1)
un elemento cualquiera de X que no est entre los f (1), . . . , f (k). Esto
significa que no hay dos valores de f iguales, entonces f es inyectiva. Ms
an, la definicin de f (k + 1) es siempre posible, puesto que si no hubiera
ningn valor disponible para f (k + 1) tendramos que X = {f (1), . . . , f (k)}
y f sera una biyeccin entre Nk y X, lo que contradice la hiptesis que dice
que X es infinito.
Recprocamente, supongamos que hay una inyeccin f de N en X. Si X
fuera finito deberamos tener una biyeccin : Nn X para algn entero
positivo n, y en consecuencia tendramos una cadena de inyecciones
i f 1
Nn+1 N X Nn
donde i es la inclusin. Entonces la composicin de estas funciones es una
inyeccin de Nn+1 en Nn , en contradiccin con el Teorema 2.3.1. Por con-
siguiente X es infinito. 
De acuerdo con el Teorema 2.5.1, si se nos da un conjunto infinito X
siempre podemos tratar de contar el conjunto construyendo una inyeccin
f de N a X. En algunos casos seremos capaces de construir f de tal manera
que todo elemento de X reciba un nmero. Si esto puede hacerse, entonces
f es tambin sobreyectiva (y consecuentemente biyectiva), y en este caso
diremos que X es contable. Por otro lado, si es imposible construir una
biyeccin entre N y X diremos que X es incontable.
Reiteremos brevemente la distincin entre los trminos finito e infini-
to, contable e incontable. Si existe un proceso de conteo que se termina, el
conjunto es finito. Si existe un proceso de conteo que no termina pero que
alcanza a cualquier elemento del conjunto, entonces el conjunto es infini-
to, pero contable. Si cualquier proceso de conteo nunca alcanza a todos los
9
elementos, entonces el conjunto es infinito e incontable. Hablando sin pre-
cisin, en matemtica discreta se trabaja con conjuntos finitos o contables,
mientras que en clculo y anlisis se trabaja con conjuntos incontables tales
como el conjunto R de los nmeros reales.
Finalizamos este captulo con unas palabras de advertencia. Las
propiedades de los conjuntos finitos nos son muy familiares, y por esa razn
nuestra intuicin es una gua confiable para trabajar con ellos. Por ejemplo,
nosotros aceptamos sin dudas la afirmacin de que si A es un subconjunto
de un conjunto finito B, entonces A es finito y |A| |B|. (En realidad,
la prueba de esto puede ser complicada, pero puede hacerse sobre la base
de nuestro axiomas y definiciones usando, una vez ms, el ubicuo Teorema
2.3.1) Por otro lado, la intuicin puede ser una gua muy pobre cuando tra-
bajamos con conjuntos infinitos. Esto es debido a que las definiciones que
los matemticos han hecho para mantener la consistencia lgica no siempre
corresponden a nuestra ideas intuitivas.
Un ejemplo del extrao comportamiento de los conjuntos infinitos ser
suficiente. Sea E el subconjunto de N que consta de todos los enteros pares,
E = {2, 4, 6, . . .}. Es obvio que la funcin h de N a E definida por la regla
h(n) = 2n es una biyeccin, y que E es un subconjunto propio de N, esto es,
es un subconjunto que no es todo N. Por consiguiente un conjunto infinito
puede tener un subconjunto propio que est en biyeccin con el conjunto
original.

2.5.1. Ejercicios.
1. Construyendo una inyeccin de N a X muestre que cada uno de los
siguientes conjuntos es infinito:

(i) Z, i(i) {x Z|x < 0}, (iii) {n N|n 106 }.

2. Probar que la funcin f : N Z definida por

n/2 si n es par,
(
f (n) =
(n 1)/2 si n es impar,

es una biyeccin. Use este resultado para exhibir otro ejemplo de

comportamiento extrao referido en la parte final del pargrafo de
arriba.
3. Todo primo, excepto 2 y 3, es de la forma 6m+1 o 6m+5 para algn
entero m. Usar el mtodo del ejemplo para probar que el nmero de
primos de la forma 6m + 5 es infinito. [Ayuda: reemplace el +1 del
mtodo de Euclides por 1.]
4. Usar el Teorema 2.5.1 para probar que si X es un subconjunto de Y
y X es infinito, entonces Y es infinito.
10
 5. Sea X un subconjunto no vaco de Z que no tiene mnimo. Probar
que se puede elegir una sucesin x1 , x2 , . . . de elementos de X tal
que xn < xn1 (n N). Deducir que X es infinito.
6. Debido al ejercicio (5) un subconjunto S finito y no vaco de Z debe
tener un mnimo. Probar que si S y T son subconjuntos finitos y no
vacos de Z, entonces
min(S T ) min S,
min(S T ) min S.

2.6. Ejercicios
1. Cules de las siguientes funciones son inyectivas, cules son suryec-
tivas y cules son biyectivas?
(i) f (x) = 1 + x2 , (ii) g(x) = 1 + x3 , (i) h(x) = 1 + x2 + x3 .
2. Sea X un conjunto con |X| = 3. Cuntas biyecciones diferentes f
hay de X a X, y cuntas satisfacen f = f 1 ?
3. Probar que si X es un conjunto finito y g : X X es una inyeccin,
entonces g es una biyeccin.
4. Probar que si X es un conjunto finito y f : X X es una suryeccin,
entonces f es una biyeccin.
5. Sea X un conjunto finito y g : X X es una funcin tal que
g 2 (x) = x para todo x X. Probar que g es una biyeccin.
6. Nos referiremos a los siguientes subconjuntos de Z como bloques:
{1, 2, 4}, {2, 3, 5}, {3, 4, 6}, {4, 5, 7}, {1, 5, 6}, {2, 6, 7}, {1, 3, 7}.
Definamos
si x 6= y y {x, y, z} es un bloque,
(
z
f (x, y) =
x si x = y.
Es f funcin? Es una inyeccin?
7. Probar que si elegimos 5 puntos arbitrarios dentro de un cuadrado
de lados de longitud
2, entonces hay dos puntos cuya distancia es
menor o igual a 2.
8. Probar que si elegimos 10 puntos arbitrarios dentro de un tringulo
equiltero de lados de longitud 1, entonces hay dos puntos cuya
distancia es menor o igual a 1/3.
9. Cuntos puntos deben ser elegidos dentro de un cuadrado de lados
de longitud 2 para
asegurar que hay dos puntos cuya distancia es
menor o igual a 2/n?
10. Probar que en cualquier conjunto de 172 nmeros enteros debe haber
un par de ellos cuya diferencia es divisible por 171. Es esto cierto
si cambiamos la palabra diferencia por suma?
11
11. Probar que el conjunto de enteros positivos cuyos dgitos (en la rep-
resentacin en base 10) son todos diferentes es finito. Cuntos de
ellos hay?
12. Un punto reticulado (lattice point en ingls) en el espacio usual de
dimensin 3, es un punto con coordenadas enteras. Probar que si
elegimos 9 puntos reticulados, entonces hay al menos un par de ellos
en que el punto medio del segmento que los une es tambin un punto
reticulado.
13. Sea x1 , x2 , . . . , xr una sucesin de enteros distintos. Por cada i
(1 i r) denotemos mi la longitud de la subsucesin ms larga
que comienza con xi y es creciente. Denotemos ni la longitud de la
subsucesin ms larga que comienza con xi y es decreciente. Probar
que la funcin f que asigna a cada i el par (mi , ni ) es una inyeccin.
14. Probar que un subconjunto de un conjunto contable es contable.
15. Probar que la unin de dos conjuntos contables es contable.
16. Probar que la unin de una coleccin contable de conjuntos contables
es contable.
17. Sea X un conjunto y sea Y el conjunto de todos los subconjuntos
de X. Probar que no existe una biyeccin de X a Y .
18. Probar que el conjunto formado por todos los subconjuntos de N es
un conjunto incontable.
19. Probar que si A es un subconjunto de un conjunto finito B, entonces
A es finito y |A| |B|.

12
 LECTURA 3

Principios de conteo

3.1. Los principios de adicin y multiplicacin

Un objetivo importante de este curso es el desarrollo de tcnicas efecti-
vas de conteo de un conjunto finito X. Cuando X aparece a partir de un
problema complejo, podemos necesitar tcnicas de conteo complicadas. En
este captulo comenzaremos a desarrollar estos mtodos.
Nuestra primer regla es tan simple que ha sido usada desde los comienzos
de la civilizacin. Solo recientemente, y en el contexto del desarrollo estricto
del tema, se le ha dado un status formal.

Teorema 3.1.1. Si A y B son conjuntos finitos, no vacos, y A y B

son disjuntos (esto es A B = , el conjunto vaco), entonces
|A B| = |A| + |B|.

Demostracin. Puesto que A y B son conjuntos finitos y no vacos,

podemos listar a A y B en la forma estndar:
A = {a1 , . . . , ar }, B = {b1 , . . . , bs }.
Debido a que A y B son disjuntos, A B puede ser listado de una manera
similar:
A B = {c1 , c2 , . . . , cr , cr+1 , . . . , cr+s }
donde
ci = ai (1 i r) y cr+i = bi (1 i s).
Luego |A B| = r + s = |A| + |B|, que es lo que se quera a probar.


Es claro que esta regla an es vlida si A, o B, o ambos A y B, son vacos.

Ms an, la regla puede extenderse a la unin de un nmero cualquiera de
conjuntos disjuntos A1 , A2 , . . . , An de la manera obvia:
|A1 A2 An | = |A1 | + |A2 | + + |An |.
La prueba es un ejercicio fcil usando el principio de induccin. Las sencilla
regla expuesta ms arriba es llamada el principio de adicin.
Por otro lado si A y B no son disjuntos, cuando sumamos |A| y |B|
estamos contando A B dos veces. Entonces, para obtener la respuesta
13
correcta debemos restar |A B|:

|A B| = |A| + |B| |A B|.

Una generalizacin de este principio (llamado principio del tamiz) se puede

ver en el Apndice.
Una simple aplicacin del principio de adicin nos da una forma ms
general del principio de las casillas que aquella que fue dada en la seccin
2.4. Supongamos que cierta cantidad de objetos se introduce en n cajas, y Ai
denota los objetos que hay en la caja i (1 i n). Puesto que los conjuntos
Ai son disjuntos, entonces el nmero total de objetos es |A1 |+|A2 |+ +|An |,
y si ninguna caja contiene ms que r objetos entonces este nmero es como
mucho
r + r + + r = nr.
Revirtiendo este argumento, obtenemos el principio de las casillas general-
izado:

si m objetos son distribuidos en n cajas y m > nr,

entonces una caja contiene como mnimo r + 1 objetos.

Ejemplo 3.1.1. Probar que en cualquier grupo de seis personas hay tres
que se conocen mutuamente o tres que se desconocen mutuamente.

Demostracin. Sea cualquiera de las personas, y distribuya el resto

de las personas en dos cajas, la caja 1 contiene las personas conocidas por
y la caja 2 las personas desconocidas. Puesto que 5 > 2 2, una de las
cajas contiene al menos tres personas.
Supongamos que la caja 1 contiene , , y (y posiblemente otras
personas). Si dos personas de {, , } se conocen, digamos y , entonces
{, , } son conocidos mutuamente. Por otro lado si ningn par de {, , }
se conoce, entonces {, , } es un conjunto de tres personas que se descono-
cen mutuamente.
Si lo que ocurre es que la caja 2 contiene tres o ms personas, un argu-
mento paralelo con conocidos y desconocidos intercambiados nos conduce a
la misma conclusin.


La segunda regla general que daremos en esta seccin es el principio de

multiplicacin:

Teorema 3.1.2. Sea X e Y conjuntos finitos entonces el cardinal de

X Y es dado por
|X Y | = |X| |Y |.
14
 Demostracin. X Y = {(x, y)|x X, y Y }, luego si fijamos
x en X y denotamos Ax = {(x, y)|y Y }, es claro que |Ax | = |Y | y
X Y = xX Ax una unin disjunta. Por el principio de adicin obtenemos
|X Y | = |Y | + + |Y |, una suma con |X| sumandos, luego se deduce el
resultado.


La generalizacin de este resultado a n conjuntos se expone en el ejercicio

(5).

3.1.1. Ejercicios.
1. Las reglas de la competicin de ftbol 5 de la Universidad de Folornia
especifican que los miembros de cada equipo deben cumplir los aos
el mismo mes. Cuntos alumnos de matemtica son necesarios para
garantizar la formacin de un equipo?
2. Qu es errneo del siguiente argumento? Puesto que la mitad de
los nmeros n en el rango 1 n 60 son mltiplos de 2, 30 de
ellos no pueden ser primos. Puesto que un tercio de los nmeros son
mltiplos de 3, 20 no pueden ser primos. Por lo tanto a lo sumo 10
de ellos son nmeros primos.
3. Escribir la prueba (usando induccin en n) del hecho que si
A1 , A2 , . . . , An son conjuntos disjuntos, entonces

|A1 A2 . . . An | = |A1 | + |A2 | + + |An |.

4. Probar en cualquier conjunto de 10 personas hay cuatro que se cono-

cen mutuamente o bien hay tres que se desconocen entre ellas.
5. Si X1 , X2 , . . . , Xn son conjuntos, el conjunto producto X1 X2
Xn es definido como el conjunto de todas las n-uplas orde-
nadas (x1 , x2 , . . . , xn ), con xi Xi (1 i n). Use el principio de
induccin para probar que

|X1 X2 Xn | = |X1 | |X2 | |Xn |.

3.2. Funciones, palabras y selecciones

Consideraremos funciones (no necesariamente biyectivas) definidas sobre
un conjunto de enteros positivos Nm , y con valores en un conjunto Y dado.
Los valores de funcin f determinan una m-upla.

(f (1), f (2), . . . , f (m))

de elementos de Y . De acuerdo a la definicin de producto de conjuntos

(ejercicio 3.1.1 (5)) esta m-upla pertenece al conjunto Y Y Y
(m factores), que denotaremos Y m . Cada elemento de Y m es una m-upla
15
(y1 , y2 , . . . , ym ) y corresponde a una funcin f de Nm en Y definida por las
siguientes ecuaciones

f (1) = y1 , f (2) = y2 , ..., f (m) = ym .

Estas observaciones nos llevan a la conclusin de que una funcin es lgica-

mente la misma cosa que un elemento del conjunto producto Y m .
Existe otra manera de ver esta relacin, que es til y prctica. Si pen-
samos los elementos de Y como letras de un alfabeto, entonces la secuencia
f (1), f (2), . . . , f (m) puede ser vista como las m letras de una palabra. Por
ejemplo, si Y es el alfabeto {a, b, c, d} las palabra cab y dad corresponden a
las funciones f y g definidas por

f (1) = c, f (2) = a, f (3) = b,

g(1) = d, g(2) = a, g(3) = d.

La funcin f , la 3-upla (c, a, b) y la palabra cab, son formalmente iguales.

Entonces definimos una palabra de longitud m en el alfabeto Y como
una funcin de Nm en Y .
Antes de usar esta idea debemos probar el resultado ms general sobre
conteo de conjuntos de funciones.

Teorema 3.2.1. Sean X e Y conjuntos finitos no vacos, y denotemos

F el conjunto de funciones de X en Y . Si |X| = m y |Y | = n, entonces

|F | = nm .

Demostracin. Sea X = {x1 , x2 , . . . , xm }. Cada miembro f del con-

junto F es una funcin de X en Y , y est determinada de forma nica por
la m-upla de sus valores (f (x1 ), f (x2 ), . . . , f (xm )). Esta m-upla pertenece a
Y m , luego
|F | = |Y m | = nm .


Del mismo modo podemos decir que el nmero de palabra de longitud

m en un alfabeto Y de n smbolos es nm . Por ejemplo, hay 263 palabras de
tres letras en el alfabeto romano usual (asumiendo por supuesto que no hay
restricciones de deletreo).
Existe otra manera importante de interpretar una funcin de Nm en Y , o
equivalentemente, una palabra de longitud m en el alfabeto Y . Consideremos
el trabajo de un linotipista en un trabajo de imprenta a la antigua. Para
formar la palabra cab, selecciona una letra c de sus existencias, luego una a,
luego una b. Suponemos que tiene que tiene existencias ilimitadas de letras,
as que para formar la palabra dad, por ejemplo, l selecciona la d, luego la a,
luego otra d. Cada palabra representa una seleccin ordenada de letras del
16
alfabeto Y = {a, b, . . . , z}, con repeticiones permitidas tantas veces como
sea necesario.
En general podemos decir que una funcin desde Nm a Y es un modelo
matemtico de una seleccin ordenada con repeticin de m cosas del con-
junto Y . Por el Teorema 3.2.1, el nmero de tales selecciones es nm , donde
|Y | = n. (En secciones subsiguientes descubriremos como calcular selec-
ciones que pueden ser ordenadas o desordenadas, y con o sin repeticin.)
Esta simple regla para contar funciones (o palabras, o selecciones orde-
nadas con repeticin) puede ser aplicada para obtener algunos resultados
generales, como el siguiente ejemplo lo muestra.

Ejemplo 3.2.1. Si X es un conjunto de n elementos, probar que el

nmero total de subconjuntos es 2n .

Demostracin. Supongamos X = {x1 , x2 , . . . , xn }, y sea Y el alfabeto

{0, 1}. Cualquier subconjunto S de X corresponde a una palabra de longitud
n en Y , definida por la funcin
si xi 6 S,
(
0
S(i) =
1 si xi S.
Por ejemplo, si n = 7 y S = {x2 , x4 , x5 }, la palabra es 0101100. Usual-
mente pensamos al 0 representando falso, y 1 representando verdadero,
entonces la palabra es construida controlando por turno cada elemento de
X y colocando falso si no est en S, o verdadero si s lo est.
En consecuencia el nmero de subconjuntos de X es el mismo que el
nmero de palabras distintas de longitud n en el alfabeto {0, 1}, y esto es
2n . 

3.2.1. Ejercicios.
1. Cuntas banderas nacionales pueden ser construidas de tres franjas
verticales, usando los colores rojo, blanco, azul, y verde? (Se asume
que los colores pueden repetirse y que un borde vertical de la bandera
es tomado como el borde junto al asta.)
2. Escriba todos los subconjuntos del conjunto {a, b, c, d} y use la cor-
respondencia dada en el ejemplo 3.2.1 para controlar que su lista es
completa.
3. Las llaves son confeccionadas haciendo cortes de diferentes profun-
didades en una llave lisa. Si hay solo ocho profundidades posibles,
cuntas posiciones se requieren para hacer un milln de llaves difer-
entes? [Ayuda: para facilitar los clculos use el hecho de que 210 es
un poco ms grande que 103 .]
4. Probar que hay ms de 1076 subconjuntos del conjunto de subcon-
juntos de un conjunto de 8 elementos.
17
 3.3. Inyecciones como selecciones ordenadas sin repeticin
En muchas ocasiones tenemos que hacer selecciones ordenadas sin repeti-
cin. Aunque un compositor supuestamente debe tener una cantidad ilimi-
tada de letras a su disposicin, puede pasar que haya un solo objeto de cada
tipo. Por ejemplo, si estn seleccionando en un equipo de bisbol el orden
para batear, ningn jugador puede ser seleccionado ms de una vez.
El lenguaje de las funciones provee un modelo de esta situacin. Hemos
visto que una seleccin ordenada de m cosas de un conjunto Y corresponde a
una funcin f de Nm en Y , donde f (1) es el primer miembro de y selecciona-
do, y as siguiendo. Cuando permitimos repeticiones, es posible seleccionar
el mismo objeto dos veces, esto es f (r) = f (s) para r 6= s en Nm . Si esto
est prohibido, o sea, si f es una inyeccin, entonces tenemos un modelo de
una seleccin ordenada sin repeticin.

Teorema 3.3.1. El nmero de selecciones ordenadas sin repeticin de

m cosas del conjunto Y de tamao n es el mismo que el nmero de funciones
inyectivas de Nm en Y , y ste es

n(n 1)(n 2) (n m + 1).

Demostracin. Cada inyeccin i de Nm en Y sta determina-

da de manera nica por la seleccin ordenada de valores distintos
i(1), i(2), . . . , i(m). La primera seleccin i(1) puede ser de cualquiera de los
n objetos; la segunda seleccin i(2) debe recaer en uno de los n 1 objetos
restantes. De manera similar, hay n 2 posibilidades para i(3), y as sucesi-
vamente. Cuando vamos a seleccionar i(m), m 1 objetos ya han sido selec-
cionados, y entonces i(m) debe ser uno de los n (m 1) objetos restantes.
Por consiguiente el nmero total de selecciones es el propuesto. 

Por ejemplo, si tenemos un conjunto de 16 jugadores el nmero de formas

de seleccionar un orden para batear para un equipo de bisbol de 9 es

16 15 14 13 12 11 10 9 8 = 4,151,347,200 .

3.3.1. Ejercicios.
1. De cuntas maneras se puede seleccionar el orden para batear de
11 jugadores entre un conjunto de 14?
2. Cuntas palabras de cuatro letras se pueden formar con un alfabeto
de 10 smbolos si no hay restricciones en el deletreado excepto que
una letra no puede ser usada ms de una vez?
3. Explique brevemente como hara usted una lista sistemtica de todas
las selecciones ordenadas y sin repeticin, de tres cosas del conjunto
{a, b, c, d, e, f }.
18
 4. Sea (n)m = n(n 1) (n m + 1). Interpretando este nmero en
trminos de selecciones ordenadas sin repeticin, probar que

(n)m (n m)rm = (n)r

para cualesquiera enteros positivos tales que n > r > m.

3.4. Nmeros binomiales

Muchas cuestiones prcticas de la Matemtica Discreta toman la sigu-
iente forma estndar. De cuntas maneras puede seleccionarse cierto
nmero de objetos de un conjunto dado? La respuesta a esta pregunta de-
pender de si puede haber repeticiones de objetos o no, o de si importa o
no el orden de la seleccin. Si el orden es importante, entonces debemos
usar los modelos para selecciones ordenadas discutidos en las secciones 3.2
y 3.3; pero si no lo es, entonces es apropiado usar modelos diferentes, como
ahora explicaremos. El modelo matemtico de una seleccin desordenada
sin repeticin es muy simple. Cuando nos dan un conjunto X con n elemen-
tos y seleccionamos r de ellos, el resultado es un subconjunto Y de X con
|Y | = r. Debe observarse que en este modelo lo importante es el resultado
de la seleccin (el conjunto Y ), y no el proceso de seleccin. Adems, no
hay posibilidad de repeticin, porque cada elemento de X est o no en Y ,
y ningn elemento puede seleccionarse dos veces.
Ser conveniente referirnos a un conjunto X con n miembros como un
n-conjunto, y un subconjunto Y de r elementos como un r-subconjunto
de X. De este modo el nmero de selecciones desordenadas y sin repeti-
cin, de r elementos de un conjunto X de tamao n es solo el nmero
de r-subconjuntos del n-conjunto X. Por ejemplo, existen seis selecciones
desordenadas, sin repeticin, de dos elementos del conjunto {a, b, c, d}; que
corresponden a los subconjuntos

{a, b}, {a, c}, {a, d}, {b, c}, {b, d}, {c, d}.

Por lo general, el nmero de r-subconjuntos de un n-conjunto se denota

con el smbolo  
n
.
r
Esto generalmente se lee como n en r, y nos referiremos a l como un
nmero binomial. Por ejemplo, acabamos de ver que existen seis 2-
subconjuntos de un 4-subconjunto, y por lo tanto
 
4
= 6.
2
Los siguientes ejercicios deben ser resueltos usando solo la definicin de
nmero binomial.
19
 3.4.1. Ejercicios.
1. Probar que
 
n
=0 si r > n.
r
2. Encontrar los valores de
     
n n n
, , para todo n 1.
0 1 n

3. Probar que
   
n n
= para 0 r n.
r nr
Teorema 3.4.1. Si n y r son enteros positivos que satisfacen 1 r n
entonces
     
n n1 n1
= + .
r r1 r
Demostracin. Sea X un n-conjunto, y supongamos que x es un el-
emento seleccionado de X. El conjunto de todos los r-subconjuntos de X
puede ser separado en dos partes disjuntas U y V de la siguiente manera:

U = aquellos r-subconjuntos que contienen x;

V = aquellos r-subconjuntos que no contienen x.

Un r-subconjunto pertenece a U si (y solo si) cuando sacamos a x de l,

obtenemos un (r 1)-subconjunto del (n 1)-conjunto X {x}. Por lo
tanto
 
n1
|U | = .
r1
Por otro lado, un r-subconjunto est en V si (y solo si) es un r-subconjunto
del (n 1)-conjunto X {x}. Por lo tanto
 
n1
|V | = .
r

Se sigue por el principio de adicin que el nmero

!n
total de r-subconjuntos
es igual a |U | + |V |, y como este nmero es r obtenemos el resultado. 

El Teorema 3.4.1 nos da un mtodo! recursivo para calcular los nmeros

n1
binomiales puesto que !si
los nmeros k son conocidos para 0 r n,

entonces los nmeros nk pueden ser calculados. Este clculo a veces es

representado en forma de tringulo, de esta manera:
20
 1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
1 7 21 35 35 21 7 1

Esto es a veces llamado el tringulo de Pascal, debido a Blaise Pascal (1623-

1662), aunque se lo conoca desde haca ya mucho!tiempo. Los nmeros en
la (n + 1)-sima fila son los nmeros binomiales nr para r = 0, 1, . . . , n.

Los resultados del ejercicio 3.4.1 (2) implican que el borde est formado
eternamente por unos, y el Teorema 3.4.1 nos dice que cada nmero es la
suma de los nmeros que estn inmediatamente sobre l. Por lo tanto la
tabla puede construirse fila por fila. Por ejemplo el cuarto nmero de la
siguiente fila es

     
8 7 7
= + = 21 + 35 = 56.
3 2 3

En algunas circunstancias es conveniente tener una frmula explcita

para los nmeros binomiales

Teorema 3.4.2. Si n y r son enteros positivos que satisfacen 1 r n,

entonces
 
n n(n 1) (n r + 1) n!
= = .
r r! r!(n r)!

Demostracin. Usemos el principio de induccin.

!1
Para n = 1 observe-
mos que el resultado es verdadero, puesto que 1 = 1 y la frmula se reduce
a 1/1! = 1 tambin.
21
 Para la hiptesis inductiva supongamos que el resultado es verdadero
cuando n = k. Entonces por el Teorema 3.4.1 y por hiptesis inductiva,
     
k+1 k k
= +
r r1 r
k(k 1) (k r + 2) k(k 1) (k r + 1)
= +
(r 1)! r!
 
k(k 1) (k r + 2) kr+1
= 1+
(r 1)! r
k(k 1) (k r + 2)
= .
r!
(Si r = 1 o r = k + 1 tenemos que usar los valores k0 = 1 y k+1
! k

= 0, en
!

vez de la frmula). Se sigue que el resultado es verdadero cuando n = k + 1,

entonces, por el principio de induccin es verdadero para todos los enteros
positivos n. 
Hay muchas interesantes y tiles identidades de los nmeros binomiales
y a pesar de que a veces pueden probarse usando la frmula, generalmente es
mejor basarse en la definicin misma, o en la tcnica recursiva del Teorema
3.4.1 Daremos ejemplos de ambos mtodos.
Ejemplo 3.4.1. Demuestre que
         
n n n n n
+ + + + + = 2n .
0 1 2 n1 n
Demostracin. La expresin del miembro izquierdo de la igualdad es
la suma del nmero de r-subconjuntos de un n-conjunto, y de acuerdo al
Ejemplo dado en las seccin 3.2, el nmero es 2n . 
Ejemplo 3.4.2. Demuestre que
         
n n n n1 n n n
+ + (1) + (1) = 0.
0 1 2 n1 n
Demostracin. En un ejercicio vimos que n0 = 1 y nn = 1, con-
!
!

siderando el Teorema 3.4.2, el lado izquierdo de la ecuacin de arriba es

igual a
       
n1 n1 n1 n1
1 + + +
0 1 1 2
   
n1 n1 n1
+ (1) + + (1)n .
n2 n1
Cada trmino n1 con k en el rango 1 k n 2 ocurre con un signo
!

k
positivo y un signo negativo, y por lo tanto estos trminos se cancelan. Los
trminos restantes son
   
n1 n1 n 1
1 + (1) + (1)n = 1 1 + (1)n1 + (1)n ,
0 n1
22
lo cual es 0, como se requera. 

3.4.2. Ejercicios. (continuacin)

1. Calcular las siguientes tres filas del tringulo de Pascal, respecto al
ya hecho!antes.
2. Evaluar 16

!17

4
y 5 .
3. Probar que el nmero de palabras de longitud
!n
n en el alfabeto {0, 1}
que contienen exactamente r ceros, es r .
4. Probar la identidad
         
s1 s s+n2 s+n1 s+n
+ + + + = ,
0 1 n1 n n
donde s y n son enteros positivos. [Ayuda: si X es un (s+n)-conjunto
e Y = {y1 , y2 , . . . , yn } es un subconjunto especfico de X, cul es
el nmero de n-subconjuntos de X para los cuales yr es el primer
miembro de Y que no est en el subconjunto?]
5. Dar una prueba alternativa del ejercicio anterior, comenzando con
la frmula
     
s+n s+n1 s+n1
= + ,
n n n1
y usando repetidamente el Teorema 3.4.1 para descomponer el lti-
mo trmino.

3.5. Selecciones desordenadas con repeticin

El nmero binomial nr se refiere al nmero de r-subconjuntos de un n-
!

conjunto, o al nmero de selecciones sin repeticin de r cosas de un conjunto

de n cosas. Veamos ahora las selecciones desordenadas con repeticin. Cuan-
do los nmeros en juego son chicos, es fcil listar todas las posibilidades.
Por ejemplo existen 15 selecciones de cuatro cosas del conjunto {a, b, c} con
repeticin permitidas, y son:
aaaa aaab aaac aabb aacc
aacc abbb abbc abcc accc
bbbb bbbc bbcc bccc cccc
Podemos demostrar que es posible dar una frmula general para el nmero
de selecciones con repeticin, usando los nmeros binomiales. La prueba de
este hecho utiliza la representacin de dichas selecciones como palabras en
el alfabeto {0, 1}; por ejemplo, la seleccin abcc ser representada por la
palabra 101011. Los ceros son marcas que separan los tipos de objetos, y los
unos nos dicen cuntos hay de cada objeto. De acuerdo al esquema tenemos
a b c c
1 0 1 0 1 1
23
Como hay dos marcas, que pueden ubicarse en cualquiera! de
las seis posi-
6
ciones, el nmero total de selecciones en este caso es 2 = 15, como
habamos visto al listarlos. Debemos ahora probar la forma general de este
resultado.

Teorema 3.5.1. El nmero de selecciones con repeticin de r objetos

de un conjunto de n objetos es
 
n+r1
.
r
Demostracin. Como la seleccin es desordenada, podemos acomodar
las cosas de manera que, dentro de cada seleccin, todos los objetos de
un tipo dado estn primeros, seguidos por los objetos de otro tipo, y as
sucesivamente. Cuando se ha hecho esto, podemos asignar a cada seleccin
una palabra de longitud n + (r 1) en el alfabeto {0, 1}, con el mtodo
antes explicado. Esto es, si hay ki objetos de el i-simo tipo (1 i n),
entonces las primeras k1 letras de la palabra son 1s seguidos por un nico
0, seguido por k2 1s, otro 0, y as sucesivamente. La funcin definida por
esta regla es una biyeccin del conjunto de selecciones en el conjunto de
palabras de longitud n + r 1 que contienen exactamente n 1 ceros. Los
ceros pueden ocupar cualesquiera de las n + r 1 posiciones, o sea que el
nmero de palabras es
   
n+r1 n+r1
= ,
n1 r
que es lo que queramos demostrar. 

En la Tabla 1 podemos resumir nuestros resultados acerca de los difer-

entes tipos de seleccin ordenadas y desordenadas, con y sin repeticin
de r elementos de un n-conjunto.

Ordenadas Desordenadas
!n

Sin repeticin n(n 1) (n r + 1) r

!n+r1
Con repeticin nr r

Cuadro 1

3.5.1. Ejercicios.
1. Escriba los valores de la tabla de arriba cuando r = 2 y n = 3, y
en cada uno de los cuatro casos hacer una lista de las selecciones
relevantes, tomando {a, b, c} como el 3-conjunto.
24
 2. Probar que cuando tres dados indistinguibles (entre si) son arrojados
hay 56 posibles resultados Cul es el numero de resultados cuando
son arrojados n dados indistinguibles?
3. Suponga que desarrollamos la expresin (x + y + z)n y que los tr-
minos son reunidos de acuerdo a las reglas elementales del lgebra:
por ejemplo,
(x + y + z)2 = x2 + y 2 + z 2 + 2xy + 2xz + 2yz.
Cul es el nmero de trminos resultantes en la frmula?
4. Probar que el nmero de n-uplas (x1 , . . . , xn ) de enteros no negativos
que satisfacen la ecuacin
x1 + x2 + + xn = r
!n+r1

es r
. [Ayuda: suponga que una seleccin desordenada, con
repeticin, de r objetos de un conjunto de n objetos contiene xi
copias del objeto i (1 i n).]

3.6. El teorema del binomio

En lgebra elemental aprendemos las formulas
(a + b)2 = a2 + 2ab + b2 , (a + b)3 = a3 + 3a2 b + 3ab2 + b3 ,
y a veces nos piden desarrollar la formula para (a + b)4 y potencias mayores
de a + b. El resultado general que da una formula para (a + b)n es conocido
como el teorema del binomio.
Teorema 3.6.1. Sea n un entero positivo. El coeficiente
!n
del termino
nr r n
a b en el desarrollo de (a+b) es el nmero binomial r . Explcitamente,
tenemos
       
n n n n n1 n n2 2 n n
(a + b) = a + a b+ a b + + b .
0 1 2 n
Demostracin. (Primera) Considerar que ocurre cuando multipli-
camos n factores
(a + b)(a + b) (a + b).
Un trmino en el producto se obtiene seleccionando o bien a o bien b de
cada factor. El nmero de trminos anr br es slo el nmero de formas de
seleccionar r bs (y! consecuentemente n r as), y por definicin ste es el
n
nmero binomial r .



Demostracin. (Segunda) Se hace por induccin en n. Si n = 1, el
resultado es trivial. Supongamos que el resultado es cierto para n 1, es
decir
n1  
n1
X n 1 n1i i
(a + b) = a b.
i=0
i
25
Luego

(a + b)n = (a + b)(a + b)n1

n1  
X n 1 n1i i
= (a + b){ a b} por hip. inductiva
i=0
i
n1   n1  
X n 1 ni i X n 1 n1i i+1
= a b + a b
i=0
i i=0
i
n1   n  
X n 1 ni i X n 1 ni i
= a b + a b
i=0
i i=1
i 1
n1    
n
X n1 n1
=a + { + }ani bi + bn
i=1
i i 1
n1
X n 
n
=a + ani bi + bn por Teorema 3.4.1
i=1
i
n
X n
= ani bi .
i=0
i

Los coeficientes en el desarrollo pueden por lo tanto ser calculados con el

mtodo recursivo usado para los nmeros binomiales (tringulo de Pascal)
o usando la formula. Por ejemplo,
       
6 6 6 6 5 6 4 2 6 3 3
(a + b) = a + a b+ ab + ab
0 1 2 3
     
6 2 4 6 6 6
+ ab + ab5 b
4 5 6
= a6 + 6a5 b + 15a4 b2 + 20a3 b3 + 15a2 b4 + 6ab5 + b6 .

Por supuesto, podemos obtener otras formulas tiles si reemplazamos a y b

por otras expresiones. Algunos ejemplos tpicos son:

(1 + x)4 = 1 + 4x + 6x2 + 4x3 + x4 ;

(1 x)7 = 1 7x + 21x2 35x3 + 35x4 21x5 + 7x6 x7 ;
(x + 2y)5 = x5 + 10x4 y + 40x3 y 2 + 80x2 y 3 + 80xy 4 + 32y 5 ;
(x2 + y)4 = x8 + 4x3 y + 6x4 y 2 + 4x2 y 3 + y 4 .

La expresin a + b es conocida como

!n
un expresin binmica porque tiene
dos trminos. Como los nmeros r aparecen como los coeficientes en el
desarrollo de (a + b)n , generalmente se los llama coeficientes binomiales. De
todos modos esta claro por la prueba del Teorema 3.6.1 que estos nmeros
26
aparecen en este contexto porque representan el nmero de formas de hac-
er ciertas selecciones. Por esta razn continuaremos usando el nombre de
nmeros binomiales, que se aproxima ms al concepto que simbolizan.
Adems de ser extremadamente til en manipulaciones algebraicas, el
teorema del binomio puede usarse para deducir identidades en que estn
involucrados los nmeros binomiales.

Ejemplo 3.6.1. Probar que

  2   2  2  2  
n n n n 2n
+ + + + = .
0 1 3 n n
Demostracin. Usamos la igualdad
(1 + x)n (1 + x)n = (1 + x)2n .
De acuerdo con el teorema del binomio el miembro izquierdo es el producto
de dos factores, ambos iguales a
   
n n r
1+ x + + x + + xn .
1 r
Cuando los dos factores se multiplican, un termino en xn se obtiene tomando
un termino del primer factor y un termino del segundo factor. Por lo tanto
los coeficientes de xn en el producto son
           
n n n n n n n n
+ + + + .
0 n 1 n1 2 n2 n 0
! n
!n

Como nr = r , vemos que ste es el lado izquierdo de la igualdad requeri-
da. Pero el lado derecho es 2n que es tambin el coeficiente de xn en el de-
!

n
2n
sarrollo de (1+x) , y entonces obtenemos la igualdad que buscbamos. 

3.6.1. Ejercicios.
1. Desarrollar las frmulas de (1 + x)8 y (1 x)8 .
2. Calcular los coeficientes de
(i) x5 en (1 + x)11 ;
(ii) a2 b8 en (a + b)10 ;
(iii) a6 b6 en (a2 + b3 )5 ;
(iv) x3 en (3 + 4x)6 .
3. Usar la identidad (1 + x)m (1 + x)n = (1 + x)m+n para probar que
          
m+n m n m n m n
= + +
r 0 r 1 r1 r 0
donde m, n y r son enteros positivos y, m r, y n r.
4. Haciendo las sustituciones apropiadas en las frmulas de (1 + x)n y
(1 x)n dar pruebas alternativas de los resultados establecidos en
los Ejemplos 1 y 2 de la seccin 3.4.
27
5. Probar que si r y s son enteros tal que s|r y p es un primo tal que
p|r pero p 6 |s, entonces p|(r/s)
!p
[Ayuda: Escribir r = st.] Deducir que
(i) El nmero binomial i es divisible por p para todos los valores
de i en el rango 1 i p 1;
(ii) (a + b)p ap bp es divisible por p para cualesquiera enteros
a yb.

3.7. Ejercicios
1. Una ficha del juego de domin puede ser representada con el smbolo
[x|y], donde x e y son miembros del conjunto {0, 1, 2, 3, 4, 5, 6}. Los
nmeros x e y pueden ser iguales. Explique por que el nmero total
de fichas de domin es 28 y no 49.
2. De cuntas formas se pueden elegir un casillero negro y uno blanco
en un tablero de ajedrez de tal forma que los dos casilleros no estn
ni en la misma fila ni en la misma columna?
3. Supongamos que en clase hay m mujeres y n varones. De cuntas
formas puedo ordenar a todos los alumnos en una hilera de manera
que todas las mujeres queden juntas?
4. Supongamos que tenemos un domin generalizado en que las fichas
toman su par de valores entre 0 y n. Sea k un entero en el rango
0 k n. Probar que el nmero de fichas [x|y] en que x + y = n k
es igual al nmero de fichas en que x + y = n + k.
5. Denotemos un la cantidad de palabras de longitud n en el alfabeto
{0, 1} que tienen la propiedad de no tener dos ceros consecutivos.
Probar que

u1 = 2, u2 = 3, un = un1 + un2 (n 3).

6. Desarrollar (x + y)9 y (x y)9 .

7. Calcular el coeficiente de
(i) x6 en (1 + x)12 ,
(ii) a3 b7 en (a + b)10 ,
(iii) a4 b6 en (a2 + b)8 .

8. Probar que
     
n r n nk
= .
r k k rk
9. Se dibujan todas las posibles diagonales que conectan a un conjunto
de n puntos en el crculo y se observa que no hay tres rectas que se
cruzan en un mismo punto Cuntos puntos internos de interseccin
hay?
28
10. Probar que el nmero de formas de distribuir n bolas idnticas en
m cajas con etiquetas, algunas de las cuales puede quedar vaca es
 
n+m1
.
n
11. Probar que si n m, entonces
       
m m+1 n n+1
+ + + = .
m m m m+1
12. Sea X un n-conjunto. Probar !que

(i) existe un conjunto de n1 k1
k-subconjuntos de X tales que
cada par de ellos tiene interseccin! nno

vaca.
(ii) existe un conjunto de n subconjuntos de X con la
propiedad que ninguno contiene a otro. Aqu n es igual a n/2 si
n es par y a 12 (n 1) si n es impar.

29
 Apndice
Ms principios de conteo
Contando conjuntos de pares. Frecuentemente nosotros debemos
contar cosas que pueden ser descritas ms naturalmente como pares de ob-
jetos, que como objetos simples. Suponga, por ejemplo, que el Departamento
de Matemtica de la Universidad de Folornia est calculando la carga do-
cente para el corriente ao. Para hacer esto el profesor McBrain hace una
tabla como la Tabla 2

Clculo Matemtica Discreta lgebra

Angus
Benjamn
Clara

Zoot
Cuadro 2

En la tabla, cada fila corresponde a un estudiante, cada columna corre-

sponde a un curso, y si el estudiante x toma el curso y entonces un asterisco
es colocado en la posicin (x, y) de la tabla. El nmero total de asteriscos es
la carga docente del departamento. En otras palabras, el problema es contar
el conjunto S de pares (x, y) tales que el alumno x est tomando el curso
y. En general, dados dos conjuntos X e Y podemos definir el conjunto
producto X Y como el conjunto de todos los pares ordenados (x, y), as
que el problema general es contar un subconjunto S de X Y .
Por la tabla del profesor McBrain es claro que hay dos formas de hacer
el clculo. Podemos contar el nmero de cursos tomados por cada alumno y
sumar los resultados, o podemos contar el nmero de estudiantes que toman
cada curso y sumar los resultados. Naturalmente, recibiremos la misma res-
puesta por cualquier mtodo.
Podemos precisar ms an estas ideas de la siguiente manera: supong-
amos que un subconjunto S de X Y es especificado por los asteriscos en
una tabla como la del profesor McBrain, como en la Tabla 3.
El primer mtodo es contar los asteriscos en la fila x y encontrar el total
de la fila rx (S), para cada x en X. El total entonces se obtiene sumando los
totales de las filas, que es
X
|S| = rx (S).
xX

El segundo mtodo es contar las marcas en la columna y encontrar el total

de la columna cy (S), para cada y en Y . En este caso el total es obtenido
30
 y Total fila



x rx (S)



Total columna cr (S) |S|
Cuadro 3

sumando todos los totales de la columnas:

X
|S| = cy (S).
yY

El hecho de que tengamos dos expresiones distintas para |S| es comnmente

usado en la prctica para controlar la aritmtica. El mismo hecho puede
tambin ser til en la teora, porque a veces podemos derivar resultados
bastantes inesperados igualando ambas expresiones. Pero, antes de ir a las
aplicaciones, debemos formular el principio y algunas de sus consecuencias
inmediatas como un teorema.
Teorema 1. Sea X e Y conjuntos finitos no vacos, y sea S un sub-
conjunto de X Y . Entonces valen los siguientes resultados.
(i) El cardinal de S es dado por
X X
|S| = rx (S) = cy (S),
xX yY

donde rx (S) y cy (S) son los totales de las filas y columnas descritos antes.
(ii) Si rx (S) es una constante r, independiente de x, y cy (S) es una
constante c, independiente de y, entonces
r|X| = c|Y |.
(iii) (El principio de multiplicacin) El cardinal de X Y es dado por
|X Y | = |X| |Y |.
Demostracin. (i) El conjunto de asteriscos en la fila x puede ser
definido formalmente como el conjunto de pares en S cuyo primer com-
ponente es x, entonces rx (S) es el cardinal de ese conjunto. Como estos
conjuntos (los rx (S)) son disjuntos, el hecho de que |S| es igual a la suma
de los nmeros rx (S) se sigue del principio de adicin. El resultado para el
total de las columnas se prueba del mismo modo.
31
 (ii) Si rx (S) = r para todo x que pertenece a S, entonces hay |X|
trminos en la primera expresin para |S| y cada uno de ellos es igual a r.
Por lo tanto,
|S| = r|X|.
Del mismo modo, |S| = c|Y |, y se deduce el resultado.
(iii) En el caso especial S = X Y , el total de la fila es rx (S) = |Y |,
para cada x en X. Por lo tanto, por (ii), |X Y | = |X| |Y |. 
Ejemplo 1. Supongamos que el profesor McBrain ha decretado que, por
conveniencias administrativas, cada estudiante deber asistir a exactamente
cuatro de los siete cursos disponibles. Los reportes de asistencia indican que
el nmero de personas que asistieron a los cursos fueron 52, 30, 30, 20, 25,
12, 18. Qu conclusin podemos sacar?
Demostracin. Sea n el nmero total de estudiantes. Como se supone
que cada alumno debe asistir a cuatro cursos, la carga docente total calcu-
lada por el mtodo totales de filas es 4n. Por otro lado, los reportes de
asistencia dan totales de columnas, deberamos entonces tener
4n = 52 + 30 + 30 + 20 + 25 + 12 + 18 = 187.
Pero esto es imposible, pues 187 no es divisible por 4. Debemos descartar la
posibilidad de que los reportes sean errneos, entonces la nica conclusin
vlida es que algunos estudiantes estn salteando clases. Por supuesto, as
fue. 

Ejercicios.
1. En la clase de clculo de la Dra. Cynthia Agnes, 32 de los estudiantes
son muchachos. Cada muchacho conoce cinco de las chicas de la clase
y cada chica conoce ocho de los muchachos. Cuntas chicas hay en
la clase?
2. Supongamos que tenemos algunos subconjuntos de N8 , con la
propiedad que cada uno tiene cuatro elementos, y que cada elemento
de N8 pertenece a exactamente tres de estos subconjuntos. Cuntos
subconjuntos hay? Encontrar una coleccin de subconjuntos de N8
que satisfaga lo anterior.
3. Es posible encontrar una coleccin de subconjuntos de N8 tales que
cada uno tenga tres elementos y cada elemento pertenezca exacta-
mente a cinco de ellos?
4. Si X1 , X2 , . . . , Xn son conjuntos, el conjunto producto X1 X2
Xn es definido como el conjunto de todas las n-uplas orde-
nadas (x1 , x2 , . . . , xn ), con xi Xi (1 i n). Use el principio de
induccin para probar que
|X1 X2 Xn | = |X1 | |X2 | |Xn |.
32
 5. En un lenguaje simple hay 26 letras y cada palabra tiene cuatro
letras. Cualquier disposicin de las letras, incluyendo repeticiones,
es permitido. Cuntas palabras hay? Cuntas palabras hay que no
contengan la letra b?

El principio del tamiz. El principio ms bsico del conteo (Teorema

3.1) dice que |A B| es la suma de |A| y |B|, cuando A y B son conjuntos
disjuntos. Si A y B no son disjuntos, cuando sumamos |A| y |B| estamos
contando A B dos veces. Entonces, para obtener la respuesta correcta
debemos restar |A B|:
|A B| = |A| + |B| |A B|.
Un mtodo similar puede aplicarse a tres conjuntos. Cuando sumamos
|A|, |B| y |C|, los elementos de A B, B C, y C A son contados dos ve-
ces (si no estn en los tres conjuntos). Para corregir esto, restamos |A B|,
|B C| y |C A|. Pero ahora los elementos de A B C, contados origi-
nalmente tres veces, han sido descontados tres veces. Luego, para conseguir
la respuesta correcta, debemos sumar |A B C|. As
|A B C| = 1 2 + 3 ,
donde
1 = |A| + |B| + |C|, 2 = |A B| + |B C| + |C A|,
3 = |A B C|.
Este resultado es un caso simple de lo que suele ser llamado, por razones
obvias, el principio de inclusin y exclusin. Tambin se lo llama el principio
del tamiz.

Teorema 2. Si A1 , A2 , . . . , An son conjuntos finitos, entonces

|A1 A2 . . . An | = 1 2 + 3 + + (1)n n ,
donde i es la suma de los cardinales de las intersecciones de los conjuntos
tomados de a i por vez (1 i n).

Demostracin. Debemos demostrar que cada elemento x de la unin

hace una contribucin neta de 1 al miembro de la derecha. Supongamos
que x pertenece a k de los conjuntos A1 , Az , . . . , An . Entonces x contribuye
con k en la suma 1 = |A1 | + + |An |. En la suma 2 , x contribuye 1
en |Ai !A
j | cuando Ai y Aj estn entre! los

k conjuntos que contienen a x.
k k
Existen 2 de esos pares, por lo tanto 2 es la contribucin de x a 2 . En
general la contribucin de x a i (1 i n) es ki . Por lo tanto el total
!

con que contribuye x al lado derecho de la igualdad es

     
k k k1 k
+ + (1) ,
1 2 k
33
porque los trminos con i > k dan cero.
Por el teorema del binomio !k
aplicado a (1 1) = 0, se deduce que la
k

expresin de arriba es igual a 0 , que vale 1. 

Un corolario simple del Teorema 2 es a menudo ms til en la prctica.

Supongamos que A1 , A2 , . . . , An son subconjuntos de un conjunto dado X
con |X| = N . Entonces el nmero de elementos de X que no estn en
ninguno de esos subconjuntos es
|X (A1 A2 . . . An )| = |X| |A1 A2 . . . An |
= N 1 + 2 + (1)n n .

Ejemplo 2. Hay 73 estudiantes en el primer ao de la Escuela de Artes

de la Universidad de Folornia. De ellos, 52 saben tocar el piano, 25 el violn
y 20 la flauta; 17 pueden tocar tanto el piano como el violn, 12 el piano y la
flauta; pero solo Osbert Smugg puede tocar los tres instrumentos Cuntos
alumnos no saben tocar ninguno de esos instrumentos?

Demostracin. Con V , P y F denotaremos los conjuntos de estudi-

antes que saben tocar el violn, el piano y la flauta respectivamente. Usando
la informacin dada tenemos que
1 = |P | + |V | + |F | = 52 + 25 + 20 = 97
2 = |P V | + |V F | + |P F | = 17 + 7 + 12 = 36
3 = |P V F | = 1.
Por consiguiente, el nmero de estudiantes que no pertenecen a ninguno de
los tres conjuntos P , V y F es

73 97 + 36 1 = 11.

Ejemplo 3. Ejemplo Una secretaria ineficiente tiene n cartas distintas y

n sobres con direcciones De cuntas maneras puede ella arreglrselas para
meter cada carta en un sobre equivocado? (Esto es comnmente llamado el
problema del desarreglo del cual hay varias formulaciones pintorescas.)

Demostracin. Podemos considerar cada carta y su correspondiente

sobre como si estuvieran etiquetadas con un entero i en el rango 1 i
n. El acto de poner las cartas en los sobres puede describirse como una
permutacin de Nn : (i) = j si la carta i va en el sobre j. Necesitamos
saber el nmero de desarreglos, esto es, las permutaciones tales que
(i) 6= i para todo i en Nn .
Denotemos Ai (1 i n) el subconjunto de Sn (el conjunto de per-
mutaciones de Nn ) que contiene aquellos tales que (i) = i. Diremos
34
que los elementos de Ai fijan i. Por el principio del tamiz, el nmero de
desarreglos es
dn = n! 1 + 2 + (1)n n ,
donde r es la suma de los cardinales de las intersecciones de los Ai tomando
r por vez. En otras palabras, r es el nmero de permutaciones que fijan r
smbolos
!
dados, tomando todas las maneras de elegir los r smbolos. Ahora
hay nr maneras de elegir r smbolos, y el nmero de permutaciones que los
fijan es solo el nmero de permutaciones de los restantes n r smbolos,
que es (n r)! Por lo tanto
   
n n! 1 1 n 1
r = (n r)! = , dn = n! 1 + + (1) .
r r! 1! 2! n!


Ejercicios.
1. En una clase de 67 estudiantes de matemtica, 47 leen francs, 35
leen alemn y 23 leen ambos lenguajes Cuntos estudiantes no lee
ninguno de los dos lenguajes? Si adems 20 leen ruso, de los cuales
12 tambin leen francs, 11 leen alemn y 5 leen los tres lenguajes,
cuntos estudiantes no leen ninguno de los tres lenguajes?
2. Encuentre el nmero de formas de ordenar las letras A,E,M,O,U,Y en
una secuencia de tal forma que las palabras ME e YOU no aparezcan.
3. Calcule el nmero d4 de desarreglos de {1, 2, 3, 4} y escriba, en la
notacin cclica, las permutaciones relevantes.
4. Use el principio de induccin para probar que la frmula para dn
satisface la recursin

d1 = 0, d2 = 1, dn = (n 1)(dn1 + dn2 ) (n 3).

5. Probar que el nmero de desarreglos de {1, 2, . . . , n} en el cual un

objeto dado (digamos el 1) est en un 2-ciclo es (n1)dn2 . Utilizan-
do esto dar una prueba directa de la frmula recursiva del ejercicio
anterior.

La funcin de Euler. En esta seccin probaremos un til e importante

teorema, usando slo los conceptos de conteo ms bsicos.
El teorema se refiere a las propiedades de divisibilidad de los enteros.
Recordemos que dos enteros x e y son coprimos si el mcd(x, y) = 1. Por
cada n 1 sea (n) el nmero de enteros x en el rango 1 x n tal que x
y n son coprimos. Podemos calcular los primeros valores de (n) haciendo
una tabla: 4
La funcin es llamada funcin de Euler, debido a Leonhard Euler
(1707-1783). Cuando n es primo, digamos n = p, cada uno de los enteros
35
 n Coprimos a n (n)

1 1 1
2 1 1
3 1, 2 2
4 1, 3 2
5 1, 2, 3, 4 4
6 1, 5 2
7 1, 2, 3, 4, 5, 6 6
8 1, 3, 5, 7 4

Cuadro 4

1, 2, . . . , p 1 es coprimo con p, entonces tenemos

(p) = p 1 (p primo).

Nuestra tarea ahora es probar un resultado respecto a la suma de los valores

(d), donde los d son todos los divisores de un nmero positivo n dado. Por
ejemplo, cuando n = 12, lo divisores d son 1, 2, 3, 4, 5, 6 y 12, podemos ver
que

(1) + (2) + (3) + (4) + (6) + (12)

=1+1+2+2+2+4
= 12.

Debemos demostrar que la suma es siempre igual al entero n dado.

Teorema 3. Para cualquier n entero positivo,

X
(d) = n.
d|n

Demostracin. Sea S el conjunto de pares de enteros (d, f ) que sat-

isfacen
d|n, 1 f d, mcd(f, d) = 1.
La Tabla 5 muestra S cuando n = 12; la marca que indica que (d, f )
pertenece a S es un nmero cuya importancia explicaremos en seguida. Por
lo general, el nmero de marcas en la fila d es el nmero de f s en el rango
1 f d que satisfacen que el mcd(d, f ) = 1; esto es (d). Por lo tanto,
36
 f 1 2 3 4 5 6 7 8 9 10 11 12 (d)
d
1 12 1
2 6 1
3 4 8 2
4 3 9 2
6 2 10 2
12 1 5 7 11 4
12

Cuadro 5

contando S por el mtodo de las filas obtenemos

X
|S| = (d).
d|n

Para demostrar que |S| = n debemos construir una biyeccin de S en Nn .

Dado un par (d, f ) en S, definimos

(d, f ) = f n/d.

En la tabla, (d, f ) es la marca en la fila d y la columna f . Como d|n, el

valor de , es un entero y como 1 f d, entonces (d, f ) pertenece a Nn .
Para probar que es una inyeccin observemos que

(d, f ) = (d0 , f 0 ) f n/d = f 0 n/d0 f d0 = f 0 d.

Pero f y d son coprimos, as como tambin lo son f 0 y d0 , as que podemos

concluir (como en el ejemplo de la seccin 1.7) que d = d0 y f = f 0 .
Para demostrar que es una suryeccin, supongamos que nos dan un x
que pertenece a Nn . Sea gx el mcd de x y n, y sea

dx = n/gx , fx = x/gx .

Puesto que gx es un divisor de x y n, entonces dx y fx son enteros, y como

gx es el mcd, dx y fx son coprimos. Ahora

(dx , fx ) = fx n/dx = x,

y por lo tanto es suryectiva.

Luego es biyectiva y |S| = n, como queramos demostrar. 
37
 Ejercicios.
1. Encontrar los valores de (19), (20), (21).
2. Probar que si x y n son coprimos, entonces lo son n x y n. Deducir
que (n) es par para todo n 3.
3. Probar que, si p es un primo y m es un entero positivo, entonces un
entero x en el rango 1 x pm no es coprimo a pm si y solo si es
un mltiplo de p. Deducir que (pm ) = pm pm1 .
4. Encontrar un contraejemplo que confirme que es falsa la conjetura
(ab) = (a)(b), para enteros cualesquiera a y b. Trate de modificar
la conjetura de tal forma que no pueda encontrar un contraejemplo.
5. Probar que para cualesquiera enteros positivos n y m se cumple:
(nm ) = nm1 (n).
6. Calcular (1000) y (1001).

Una aplicacin aritmtica del principio del tamiz. Por cientos de

aos los matemticos han estudiado problemas sobre nmeros primos y la
factorizacin de los enteros. Nuestra breve discusin sobre estos temas en
los primeros captulos debera haber convencido al lector de que estos prob-
lemas son difciles, porque los primos mismos se encuentran irregularmente
distribuidos, y porque no hay una forma directa de encontrar la factorizacin
en primos de un entero dado. De todos modos, si se nos da la factorizacin
en primos de un entero, es relativamente fcil responder ciertas preguntas
sobre sus propiedades aritmticas. Supongamos, por ejemplo que queremos
listar todos los divisores de un entero n y sabemos que la factorizacin de
n es
n = pe11 pe22 perr .
Entonces un entero d es divisor de n si y solo si no tiene divisores primos
distintos de los de n, y ningn primo divide ms veces a d que a n. Visto
as, los divisores son precisamente los enteros que pueden escribirse de la
forma
d = pf11 pf22 pfrr ,
donde cada fi (1 i r) satisface 0 fi ei . Por ejemplo dado que
60 = 22 3 5 podemos listar rpidamente todos los divisores de 60.
Un problema similar es encontrar el nmero de enteros x en el rango
1 x n que son coprimos con n. En la seccin 3.7 denotamos este nmero
con (n), el valor de la funcin de Euler en n. Ahora demostraremos que
si la factorizacin en primos de n es conocida, entonces (n) puede ser
calculado por el principio del tamiz.

Ejemplo 4. Cul es el valor de (60)? En otras palabras, cuntos

enteros x en el rango 1 x 60 satisfacen mcd(x, 60) = 1?
38
 Demostracin. Sabemos que 60 = 22 3 5, as que podemos contar
el nmeros de enteros x en el rango 1 x 60 que no son divisibles por 2,
3 o 5. Con A(2) denotemos el subconjunto de N60 que contiene los enteros
que son divisibles por 2, con A(2, 3) aquellos que son divisibles por 2 y 3, y
as sucesivamente, entonces tenemos
(60) = 60 |A(2) A(3) A(5)|
= 60 |A(2) + A(3) + A(5)|
+ (|A(2, 3) + |A(2, 5)| + |A(3, 5)|) |A(2, 3, 5)|,

por el principio del tamiz. Ahora |A(2)| es el nmero de mltiplos de 2 en

N60 que es 60/2 = 30. Del mismo modo |A(2, 3)| es el nmero de mltiplos
de 2 3, que es 60/(2 3) = 10, y as siguiendo, por lo tanto

(60) = 60 (30 + 20 + 10) + (10 + 6 + 4) 2 = 16.

El mismo mtodo puede ser usado para dar una frmula explcita para
(n) en el caso general.

Teorema 4. Sea n 2 un entero cuya factorizacin es n =

pe11 pe22 . . . perr . Entonces
    
1 1 1
(n) = n 1 1 1 .
p1 p2 pr
Demostracin. Denotemos Aj el subconjunto de Nn que contiene los
mltiplos de pj (1 j r). Entonces

(n) = n |A1 A2 Ar |
= n 1 + 2 + (1)r r

donde i es la suma de los cardinales de las intersecciones de los conjuntos

tomados de a i. Una interseccin tpica como

Aj1 Aj2 Aji

contiene los mltiplos de P = pj1 pj2 pji en Nn , y estos son los

nmeros  
n
P, 2P, 3P, . . . , P.
p
Luego la cardinalidad de una interseccin tpica es n/P , y i es la suma de
trminos como     
n 1 1 1
=n .
P pj1 pj2 pji
39
Se sigue que
   
1 1 1 1 1
(n) = n n + + + +n + + +
p1 p2 pr p 1 p2 p1 p3
 
1
r
+ (1)
p1 p2 pr
    
1 1 1
=n 1 1 1 .
p1 p2 pr


Permutaciones. Una permutacin de un conjunto finito no vaco X

es una biyeccin de X en X. (Frecuentemente tomamos X como Nn =
{1, 2, . . . , n}.) Por ejemplo una permutacin tpica de N5 es la funcin
definida por las ecuacin

(1) = 2, (2) = 4, (3) = 5, (4) = 1, (5) = 3.

Una biyeccin de un conjunto finito en s mismo es necesariamente una

inyeccin, y al mismo tiempo cualquiera de estas inyecciones va a ser una
biyeccin (ejercicio 2.6 (3)). De esta forma, el nmero de permutaciones de
un n-conjunto es el mismo que el nmero de inyecciones de Nn en s mismo,
y por el Teorema 3.5.1 este nmero es

n(n 1)(n 2) 1 = n!.

Denotemos el conjunto de todas las permutaciones de Nn con Sn . Por ejem-

plo, S3 contiene las 3! = 6 permutaciones siguientes:

1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3

1 2 3 1 3 2 2 1 3 2 3 1 3 1 2 3 2 1
En la prctica, usualmente asignamos alguna interpretacin concreta
a un elemento de Sn . Como en el seccin previa, podemos usar la inter-
pretacin selecciones ordenadas sin repeticin donde, en este caso selec-
cionamos los elementos de {1, 2, 3, . . . , n} en algn orden hasta que no que-
da ninguno. Una interpretacin relacionada es que una permutacin efecta
un reacomodamiento de {1, 2, 3, . . . , n}; por ejemplo, la permutacin vista
ms arriba efecta el reacomodamiento de 12345, en 24513, as:

1 2 3 4 5

2 4 5 1 3
En algunas circunstancias es conveniente mirar una permutacin y el co-
rrespondiente reacomodamiento como la misma cosa, pero esto puede traer
40
dificultades si debemos considerar sucesivos reacomodamientos. Es impor-
tante tener en cuenta que
una permutacin es una funcin con ciertas caractersticas.
Cuando las permutaciones son tratadas como funciones es claro cmo
deben combinarse. Consideremos la permutacin de N5 antes mencionada,
y sea la permutacin de N5 dada por
(1) = 3, (2) = 5, (3) = 1, (4) = 4, (5) = 2.
La funcin compuesta es la permutacin definida por (i) = ((i))
(1 i 5), esto es
(1) = 5, (2) = 4, (3) = 2, (4) = 3, (5) = 1.
(Recordemos que, como siempre, significa primero , entonces .) En
trminos de reacomodamientos tenemos
1 2 3 4 5

2 4 5 1 3
1 2 3 4 5
.
5 4 2 3 1
Existen cuatro caractersticas de la composicin de permutaciones de
gran importancia, y estn listadas en el prximo teorema.
Teorema 5. Las siguientes propiedades valen en el conjunto Sn de todas
las permutaciones de {1, 2, 3, ..., n}.
(i) Si y pertenecen a Sn , entonces tambin.
(ii) Para cualesquiera permutaciones , , en Sn ,
() = ( ).
(iii) La funcin identidad, denotada por id y definida por id(r) = r para
todo r en Nn , es una permutacin y para cualquier en Sn , tenemos
id = id = .
(iv) Para toda permutacin en Sn hay una permutacin inversa 1
en Sn tal que
1 = 1 = id .
Demostracin. La afirmacin (i) se sigue inmediatamente del hecho
de que la composicin de dos biyecciones es una biyeccin (Teorema 2.2.1),
y la afirmacin (ii) una propiedad estndar de la composicin (ejercicio 2.1.1
(4)). La afirmacin (iii) es obvia, y la afirmacin (iv) se sigue del hecho de
que toda biyeccin tiene una inversa (Teorema 2.2.2).
41
 
Es conveniente tener una notacin ms compacta para las permuta-
ciones. Consideremos otra vez la permutacin de {1, 2, 3, 4, 5}, y notemos
en particular que
(1) = 2, (2) = 4, (4) = 1.
As lleva 1 a 2, 2 a 4 y 4 a 1, y por esta razn decimos que los smbolos
1,2,4 forma un ciclo (de longitud 3). Del mismo modo, los smbolos 3 y 5
forman un ciclo de longitud 2, y escribimos:
= (1 2 4)(3 5).
Esta es la notacin cclica para . Cualquier permutacin puede ser escrita
cclicamente de la siguiente manera:
comencemos con algn smbolo (digamos el 1) y veamos el efecto de
sobre l y sus sucesores hasta que alcancemos el 1 nuevamente;
elijamos un smbolo que todava no haya aparecido y construyamos
el ciclo que se deriva de l;
repitamos el procedimiento hasta que se terminen los smbolos.
Por ejemplo, la permutacin definida antes tiene la notacin cclica
= (1 3)(2 5)(4),
donde observamos que el smbolo 4 forma un ciclo degenerado por s solo,
puesto que (4) = 4. En algunas ocasiones podemos omitir estos ciclos de
longitud 1 cuando escribimos una permutacin en notacin cclica, puesto
que corresponden a smbolos que no son afectados por la permutacin. Sin
embargo, usualmente es til no adoptar esta convencin hasta que uno se
familiariza con la notacin.
Aunque la representacin de una permutacin en notacin cclica es es-
encialmente nica, hay dos manera obvias en las que podemos cambiar la
notacin sin alterar la permutacin. Primero, cada ciclo puede empezar en
cualquiera de sus smbolos; por ejemplo (7 8 2 1 3) y (1 3 7 8 2) describen el
mismo ciclo. Segundo, el orden de los ciclos no es importante; por ejemplo
(1 2 4)(3 5) y (3 5)(1 2 4) denotan la misma permutacin. Pero las carac-
tersticas importantes son el nmero de ciclos, la longitud del ciclo, y la
disposicin de los smbolos dentro de los ciclos, y stas estn determinadas
de manera nica. Por eso, la rotacin cclica nos dice bastantes cosas tiles
sobre una permutacin.

Ejemplo 5. Cartas numeradas del 1 al 12 son distribuidas en una mesa

en la manera en que se muestra en la parte izquierda de la tabla que sigue.
Luego las cartas son levantadas por filas (de izquierda a derecha y de arriba
hacia abajo) y se redistribuyen con el mismo arreglo, pero por columnas,
42
no por filas (de arriba hacia abajo y de izquierda a derecha), apareciendo
como se muestra en la parte derecha de la tabla.
1 2 3 1 5 9
4 5 6 2 6 10
7 8 9 3 7 11
10 11 12 4 8 12
Cuntas veces debe repetirse este procedimiento hasta que las cartas
aparezcan dispuestas como estaban inicialmente?

Demostracin. Sea la permutacin que efecta el reordenamiento;

esto es (i) = j si la carta j aparece en la posicin previamente ocupada
por la carta i. Trabajando con la notacin cclica para encontramos que
= (1)(2 5 6 10 4)(3 9 11 8 7)(12).
Los ciclos degenerados (1) y (12) indican que las cartas 1 y 12 nunca cambian
de posicin. Los otros ciclos tienen longitud 5, as que cuando el proceso se
haya realizado 5 veces las cartas reaparecern en sus posiciones originales.
Otra forma de expresar el resultado es decir que 5 = id, donde 5 representa
las cinco repeticiones de la permutacin . 

Ejercicios.
1. Escribir en notacin cclica la permutacin que realiza el siguiente
reordenamiento:
1 2 3 4 5 6 7 8 9
.
3 5 7 8 4 6 1 2 9
2. Sean y las permutaciones de {1, 2, . . . , 8} cuyas representaciones
en la notacin cclica son
= (1 2 3)(4 5 6)(7 8), = (1 3 5 7)(2 6)(4)(8).
Escribir en notacin cclica , , 2 , 1 , 1 .
3. Resolver el problema presentado en el Ejemplo cuando hay 20 cartas
acomodadas en 5 filas de 4.
4. Probar que hay exactamente tres elementos de S4 que tienen dos
ciclos de longitud 2, escritos en la notacin cclica.
5. Sea K el subconjunto de S4 que contiene la identidad y las tres per-
mutaciones descritas en el ejercicio previo. Escribir la tabla de mul-
tiplicacin para K, interpretando la multiplicacin como la com-
posicin de permutaciones.
6. Calcular en nmero total de permutaciones de N6 que satisfacen
2 = id y 6= id.
43
 7. Sean y permutaciones de N9 cuyas representaciones en la no-
tacin cclica son:
= (1237)(49)(58)(6), = (135)(246)(789).
Escribir en notacin cclica , , 2 , 2 , 1 , 1 .
8. Sea X1 = {0, 1}, y para i 2 definamos Xi como el conjunto de
subconjuntos de Xi1 . Encontrar el valor ms pequeo para el cual
|Xi | > 10100 .
9. Por cada entero i en el rango 1 i n 1 definimos i como la
permutacin de Nn que intercambia i e i + 1 y no afecta los otros
elementos. Explcitamente
i = (1)(2) (i 1)(i i + 1)(i + 2) (n).
Probar que toda permutacin de Nn puede ser expresada en trminos
de 1 , 2 , . . . , n1 .
10. Una permutacin de Nn que tenga slo un ciclo (necesariamente de
longitud n) es llamada cclica . Probar que hay (n1)! permutaciones
cclicas de Nn .
11. Un mazo de 52 cartas es dividido en dos partes iguales y luego se
alternan las cartas de una y otra parte. Es decir, si la numeracin
original era 1, 2, 3, . . . , 54, el nuevo orden es 1, 27, 2, 28, . . .Cuntas
veces se debe repetir este procedimiento para obtener de nuevo el
mazo original?
Relaciones de Equivalencia y Particiones

Pares Ordenados y Relaciones. En el principio de este Mdulo

hablamos sobre un tipo especial de relaciones: las funciones. Ahora necesita-
mos hilar un poco ms fino para poder hablar de otro tipo de relaciones, en
este caso definidas sobre un mismo conjunto: las relaciones de equivalencia.
Este concepto tiene importancia fundamental, y se retomar ms adelante.

Par Ordenado

Sabemos que, dados dos elementos a y b, si formamos los conjuntos

{a, b} y {b, a}, stos son indistinguibles (iguales), es decir, no importa en
qu orden coloquemos nuestros elementos. Quisiramos disponer de alguna
estructura a la que s le importe el orden.
Definimos entonces, el par ordenado (a, b) del siguiente modo:
(a, b) = {{a}, {a, b}}.
Ahora puede uno hacer la prueba y comprobar que (a, b) 6= (b, a). No es tan
importante que recuerde la definicin, como el hecho de que s importa el
orden. Dado el par ordenado (a, b), se dice que a es la primera componente,
44
y b la segunda componente.

Producto Cartesiano

Dados dos conjuntos A y B, se denomina producto cartesiano de A

por B (y se lo nota A B al conjunto de pares ordenados cuya primera
componente pertenece a A y cuya segunda componente pertenece a B. Es
decir:
A B = {(a, b)/a A , b B}.
Un caso particular de lo anterior sera considerar A = B. Al producto
cartesiano A A tambin lo notamos A2 :
A B = {(a, b)/a A , b A}.
Ejemplo 6. Sean A = {1, 2, 3}, B = {a, b}, entonces
A B = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b)}.
Supongamos que tenemos A y B dos subconjuntos de nmeros enteros,
donde A = {1, 2, 3, 4}, B = {1, 2, 4, 8}, y nos dan el siguiente conjunto:
R = {(1, 2), (2, 4), (4, 8)}
Como vemos, R A B, y si miramos con atencin, nos daremos cuenta
que cada segunda componente en los pares ordenados de R vale exactamente
el doble de su primera componente.
Justamente R relaciona los elementos de A (o parte de ellos) con los
elementos de B (aunque no sea a todos).
Definicin 1. Se denomina relacin de A y B a todo subconjunto de
A B, es decir,
R es una relacin de A en B R A B
Si el par (a, b) pertenece a la relacin, decimos que a se relaciona con b,
y tambin se suele notar a R b en lugar de (a, b) R.
Ya hemos visto en la escuela media cmo representar relaciones, ya sea
a travs de diagramas de Venn como a travs de sistemas de ejes coorde-
nados. No nos detendremos ahora a repasar estos temas, puesto que nos
interesan otras propiedades de las relaciones que pueden prescindir de estas
representaciones.
Propiedades de las Relaciones definidas en un Conjunto. Con-
sideraremos relaciones de A en B, donde ahora B = A, es decir, ser R A2 .

Observacin: Vimos en el Teorema 3.1.2 que si A y B son conjuntos

finitos, |A B| = |A| |B|. Luego, si nuestro conjunto A tiene cardinal n,
el cardinal de A2 ser n2 .
45
 Pero dijimos que una relacin (en este caso de A en A) es todo subcon-
junto de A2 . Luego, contar la cantidad de relaciones que pueden definirse
de A en s mismo, es equivalente a contar la cantidad de subconjuntos que
2
posee A2 . Y ese nmero es, por el Ejemplo 3.2.1, 2(n ) .
Ejercicio 1. Dado el conjunto A = {a, b}, enumere todas las relaciones
que se pueden definir de A en A.
Sea R A2 una relacin, sta puede tener las siguientes propiedades:
(i) Reflexividad: Decimos que R es reflexiva si (x, x) R para todo
x A.
x A : xRx .
(ii) Simetra: Se dice que R es simtrica si se cumple que, para
cualquier par de elementos x, y A, si (x, y) R entonces tam-
bin (y, x) tiene que pertenecer a R.
x A, y A : xRy yRx .
(iii) Transitividad: Se dice que R es transitiva si cualesquiera sean
x, y, z A, cada vez que (x, y) e (y, z) pertenezcan a R, (x, z) tam-
bin pertenezca a R. Es decir:
x A, y A, z A : xRy yRz xRz .
Existen ms propiedades que puede cumplir (o no) una relacin, pero
stas son las que nos interesan
Definicin 2. Una relacin definida en un conjunto A es una relacin
de equivalencia si es reflexiva, simtrica y transitiva.
Observacin: Si es una relacin de equivalencia en A, y a b,
decimos que a es equivalente a b.
Clases de Equivalencia y conjunto cociente.
Definicin 3. Sea una relacin de equivalencia definida en un con-
junto A no vaco, y sea a un elemento cualquiera de A. Se denomina clase
de equivalencia de a al conjunto formado por todos los elementos de A
que estn relacionados con a a travs de .
Ms sintticamente: La clase de equivalencia de a es el conjunto de elemen-
tos de A equivalentes a a.
A la clase de a la notamos [a]. Luego,
[a] = {b A/b a}.
Ejemplo 7. Consideremos el conjunto A{a, b, c}, y
R = {(a, a), (a, b), (b, a), (b, b), (c, c)}. Es claro que R es reflexiva, pues A
tiene slo tres elementos: a, b y c, y los pares (a, a), (b, b y (c, c) estn en R.
R es simtrica, pues cada vez que un par (x, y) est en R, el par simtrico
46
(y, x) est en R. (chequee todos los casos posibles: recuerde que si el an-
tecedente de una implicacin es falso, la implicacin es verdadera)
Tambin se prueba rpidamente que R es transitiva (hgalo!).
Luego R es una relacin de equivalencia. Tiene dos clases de equivalencia:

[a] ={a, b} = [b] ,

[c] ={c} .

Dado que una relacin de equivalencia dentifica.a los elementos que es-
tn relacionados con uno dado (es decir, dado a A, la clase [a] contiene
todos los elementos equivalentes a a), podemos considerar el conjunto cuyos
elementos son directamente las clases de equivalencia de los elementos de
A. Al conjunto de las clases de equivalencia obtenidas por la relacin se
lo llama conjunto cociente y se lo nota A/ .

En el ejemplo anterior, tendramos:

A/ = {[a], [c]}

Ejercicio 2. Definamos la relacin en Z del siguiente modo:

a b a b es divisible por 7.

(i) Demostrar que es relacin de equivalencia en Z.

(ii) Puede decir cul es el conjunto de todos los enteros que estn rela-
cionados con el nmero 2? En otras palabras: dar la clase del 2.
(iii) Cuntas clases de equivalencia diferentes hall? Escrbalas.

Particiones. Comencemos con una cuestin de notacin: Consideremos

un conjunto I no vaco, ya sea finito o infinito, y supongamos que tenemos
un conjunto Xi por cada i en I. Entonces, decimos que

U = {Xi /i I} ,

es una familia de conjuntos, y que I es el conjunto de ndices. . Notemos

que no tiene por qu ser Xi 6= Xj para i 6= j, aunque en nuestro caso,
adems de ser distintos, sern disjuntos.

Definicin 4. Se denomina particin de un conjunto X a una familia

{Xi i I} de subconjuntos de X que cumplen:
(i) Cada Xi es no vaco: Xi 6= , i I.
(ii) Los Xi son disjuntos dos a dos: Xi Xj = , i 6= j.
(iii) X es la unin de todos los Xi (i I).
A los Xi s se los denomina partes de la particin.
47
 Hemos visto en el Ejemplo 7 que el conjunto A qued partido en dos
subconjuntos, donde cada uno es una clase de equivalencia, a saber:

[a] ={a, b} = [b] ,

[c] ={c} .

En realidad ese es un caso de un hecho general:

Teorema 6. Toda relacin de equivalencia definida en un conjunto

A 6= determina en l una particin, donde las partes son precisamente
las clases de equivalencia. Recprocamente, cada particin que tomemos en
el conjunto A da lugar a una relacin de equivalencia.

Demostracin. ) Supngase que es una relacin de equivlaen-

cia en A. Debemos probar entonces que el conjunto cociente A/ es una
particin de A, por ende tendremos que mostrar que:
(i) Cada clase [a] es no vaca.
(ii) Las clases o bien son disjuntas o son la misma: Si c [a] [b]
[a] = [b].
(iii) A es la unin de todas sus clases, o dicho de otro modo: cada ele-
mento de A tiene que pertenecer a alguna de sus clases.
(i) y (iii) Por hiptesis, A 6= entonces, existe a A. Como es
reflexiva, a a, luego a [a], y as, [a] 6= .
Adems, como todo elemento a en A pertenece a su clase, esto dice que todo
elemento pertenece a alguna clase , equivalentemente, que A es unin de
todas sus clases.
(ii) Supngase que c [a] [b], esto dice:
c a y c b, pero entonces por simetra:
a c y c b, de donde se deduce, por transitividad que a b, y por ende
[a] = [b].

) Dado el conjunto no vaco A, supngase que la familia {Xi } es una

particin de A. Definamos entonces en A la relacin dada por: a b si y
slo si a y b pertenecen al mismo Xi .
Dejamos como ejercicio al lector probar que esta relacin definida en A es
de equivalencia. Con eso se concluye el teorema.


Ejemplo 8. Damos aqu un ejemplo fundamental, tmese su tiempo

para analizarlo pues ser la "vedette"del prximo mdulo:
Consideremos en el conjunto de enteros Z la siguiente relacin denominada
congruencia mdulo n:

a es conguruente a b mdulo n n|a b .

48
Denotemos por n nuestra relacin, es decir: a n b n|a b.
Veamos que esta relacin es de equivalencia:
(i) n es reflexiva, es decir, a n a, pues a a = 0 y, cualquiera sea
n Z se cumple que n|0.
(Vea el Ejercicio 1 de Divisibilidad).
(ii) n es simtrica, pues si a n b, sabemos que n|a b, es decir que
existe un k Z tal que nk = ab, pero entonces n(k) = (ab) =
b a, lo cual dice que n|b a, con lo cual b n a.
(iii) n es transitiva, pues si a n b y b n c, esto dice que n|a b y
que n|b c respectivamente, pero si n divide a estos dos enteros, n
divide a la suma de ellos (ver Ejercicio 2 de Divisibilidad), es decir,
n|(a b) + (b c) = a c, y como n|a c tenemos que a n c como
queramos.
Dado que probamos que n es una relacin de equivalencia, veamos cmo
particiona mi conjunto original Z.
Dado un entero a, veamos cmo queda la clase de equivalencia a la cual
pertenece:

[a] = {x Z/n|a x}
Queremos entonces caracterizar a los x que pertenecen a [a], esto es, decir
cmo son todos.
x [a] x n a n|x a
k Z / kn = x a x = a + kn , k Z .
Pero entonces esto dice que los x que estn en [a] son de la forma x = a+kn,
con k Z. Luego:
[a] = {x Z/x = a + kn , k Z},
o ms concisamente:
[a] ={a + kn , k Z}
={. . . , a 2n, a n, a, a + n, a + 2n, . . .}
Listemos nuestras clases distintas:

[0] ={. . . , 2n, n, 0, n, 2n, . . .} ,

[1] ={. . . , 1 2n, 1 n, 1, 1 + n, 1 + 2n, . . .} ,
[2] ={. . . , 2 2n, 2 n, 2, 2 + n, 2 + 2n, . . .} ,
..
.
[n 1] ={. . . , 1 2n, 1 n, 1, 1 + n, 1 + 2n, . . .} .
49
 Y esas son todas nuestras clases distintas. En efecto, si tratamos de
calcular por ejemplo, la clase de n, [n] obtenemos:
[n] = {. . . , n, 0, n, 2n, 3n, . . .} = [0] .
De forma anloga se puede ver que [n+1] = [1], [n+2] = [2], etc., y tambin
que [1] = [n 1], [2] = [n 2], etc.

Por lo tanto, la congruencia mdulo n parte a Z en n clases disjuntas.

Al conjunto cociente Z/ n que se obtiene se lo nota comunmente Zn .

As,
Zn = {[0], [1], [2], . . . , [n 1]}.

50
 ndice alfabtico

n-conjunto, 19 nmeros binomiales, 27

r-subconjunto, 19 notacin cclica, 42

alfabeto, 16 par ordenado, 44

permutacin, 40
biyeccin, 3 permutacin cclica, 44
Blaise Pascal, 21 principio de adicin, 13
principio de inclusion y exclusion, 33
cardinal, 7 principio de las casillas, 7
coeficientes binomiales, 26 principio de multiplicacin, 14, 31
composicin de funciones, 2 principio del tamiz, 14, 33
conjunto cociente, 47
conjunto de ndices, 47 reflexiva, 46
conjunto finito, 8 relacin de equivalencia, 46
conjunto infinito, 8
conjunto producto, 15 seleccin desordenada sin repeticin, 19
contable, 9 seleccin ordenada con repeticin, 17
seleccin ordenada sin repeticin, 40
distribucin, 7 selecciones desordenadas con repeticin,
23
Euler, Leonhard, 35 selecciones ordenadas sin repeticin, 18
expresin binmica, 26 simtrica, 46
sucesin, 1
familia, 47 suryeccin, 3
funcin biyectiva, 3
funcin identidad, 3 Teorema del binomio, 25
funcin inclusin, 3 transitiva, 46
funcin inversa, 4 tringulo de Pascal, 21
funcin inversa a izquierda, 5
funcin inyectiva, 3 valor absoluto, 1
funcin suryectiva, 3 valor de una funcin, 1

incontable, 9
inyeccin, 3

longitud de una palabra, 16

nmero binomial, 19
51
Bibliografa

Biggs, Norman L. (1993). Discrete Mathematics. Oxford

University Press.

Grimaldi, Ralph P. (1998). Matemticas discreta y combinatoria:

Una Introduccin con aplicaciones. Pearson Educacin.

Jimenez Murillo, Jos A. (2009). Matemticas para la

computacin. Alfaomega.

Rojo, Armando O. (1996). lgebra I. El Ateneo

52