Capi2 Combinatoria 0910

Cap tulo 2
Las t ecnicas b asicas de la Combinatoria

Contar es una t ecnica . . . y un arte. Averiguar cu antos objetos existen que se ajustan a on f sica, concreta, determinadas caracter sticas puede no ser f acil1 . En el caso de una colecci de objetos se trata simplemente de enumerarlos, es decir, de decir qui en es el primero, qui en el segundo, etc. Pero si, como es habitual, lo que tenemos es una colecci on denida abstractamente (como por ejemplo, los pasos de un algoritmo cuando los datos de entrada son de un determinado tama no), el procedimiento tiene que ser otro. Con frecuencia, la u nica alternativa es indirecta y consiste en comparar la colecci on dada con otra colecci on de objetos (cuyo n umero conocemos) y comprobar, si fuera el caso, que tienen el mismo n umero de objetos. En este cap tulo discutiremos t ecnicas u tiles para llevar a cabo ese tipo de comprobaciones; pero c omo seleccionar la colecci on adecuada con la que se compara es m as una cuesti on de experiencia, y de prueba y error; todo un arte. Las colecciones de objetos que nos interesar an vienen a veces ordenadas de forma natural y otras veces el orden resulta irrelevante. En ocasiones las colecciones se forman atendiendo a ciertos principios de exclusi on que impiden repeticiones, y en otras no. Estos dos condicionantes, orden y repetici on, aparecen siempre en cualesquiera cuestiones de Combinatoria. Y siempre, en cada caso particular, habr a que precisarlos. Un conjunto es una colecci on (no ordenada ) de objetos, que llamaremos sus elementos. Un conjunto muy especial es el conjunto vac o, , aqu el que no tiene elemento alguno. Generalmente, representaremos un conjunto escribiendo sus elementos entre llaves. Si permitimos que el conjunto contenga elementos repetidos, utilizaremos un nombre especial, multiconjuntos. Nos interesar a, fundamentalmente, contar el n umero de elementos de que consta un conjunto, lo que llamaremos su tama no o cardinal. En un momento precisaremos esta idea. En muchas ocasiones convendr a considerar listas, colecciones ordenadas de objetos, en las que deberemos distinguir si se permite o no la aparici on repetida de elementos (hablaremos de listas con y sin repetici on permitida). Las representaremos generalmente escribiendo sus elementos entre par entesis. El n umero de elementos de que consta una lista ser a su longitud. A una lista de longitud k nos referiremos en ocasiones, por abreviar, como una k-lista.
1
Es bien sabido que hay tres tipos de matem aticos: los que saben contar y los que no.
51
52
sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba
Todas estas ideas ser an convenientemente desarrolladas en las p aginas siguientes, donde nos entrenaremos en la tarea de decidir qu e tipo de objetos son los adecuados para describir cada problema particular. A veces tendremos que mezclarlos y considerar, por ejemplo, conjuntos cuyos elementos son listas, o listas cuyos t erminos son conjuntos. Supongamos, por ejemplo, que tenemos los objetos a, b y c. Podemos, por ejemplo, considerar los conjuntos de tama no 2 que podemos formar con estos objetos, {a, b}, {a, c}, {b, c} , o quiz as las listas sin repetici on de longitud 2, (a, b), (b, a), (a, c), (c, a), (b, c), (c, b) . Si permiti eramos repetici on de elementos, deber amos a nadir, en el primer caso, los conjuntos {a, a}, {b, b} y {c, c}; y, en el segundo, las listas (a, a), (b, b) y (c, c). Obs ervese el uso que hemos hecho de la notaci on de las llaves y los par entesis en esta enumeraci on. Por ejemplo, el conjunto {a, b} es el mismo que {b, a}, mientras que la lista (a, b) es distinta de la lista (b, a).
2.1.
Aprendiendo a contar
Se dice que un conjunto A tiene cardinal n si existe una funci on biyectiva f del conjunto {1, . . . , n} en el conjunto A. Por convenio se asigna cardinal cero al conjunto vac o. Un momento de reexi on lleva a concluir que el cardinal no es m as que el n umero de elementos de un conjunto. A este cardinal lo llamaremos tambi en, al menos cuando sea nito, tama no del conjunto. Para un conjunto A escribiremos, indistintamente, tama no de A = |A| = #A As que, aunque pudiera sonar pedante, contar consiste en establecer una biyecci on entre los elementos del conjunto y un conjunto de n umeros naturales. Algo que en realidad hacemos continuamente, aunque no seamos conscientes del aparato formal que subyace en el procedimiento: si quisi eramos contar el n umero de alumnos que hay en el aula, empezar amos por uno de ellos y le asignar amos el 1 (quiz as se nal andolo y diciendo uno en alto), luego ir amos al siguiente y le asignar amos el 2, etc. El resultado nal, por supuesto, no depende del orden en que hayamos hecho la asignaci on (es decir, de la biyecci on elegida), sino s olo de la cantidad de n umeros naturales 1, 2, . . . que hayamos utilizado. Podemos ir un poco m as all a con esta idea. Una consecuencia directa de nuestra denici on de cardinal es la siguiente: si A y B son dos conjuntos y existe una aplicaci on biyectiva de A sobre B , entonces |A| = |B |. Es decir, dos conjuntos tienen el mismo cardinal si existe una biyecci on entre ellos. Diremos que un conjunto es innito si no se puede establecer una biyecci on con {1, . . . , n}, para ning un n. En la subsecci on 2.1.3 nos ocuparemos de la delicada cuesti on de ampliar la noci on de cardinal a conjuntos innitos. (versi on preliminar 28 de septiembre de 2009)
2.1. Aprendiendo a contar
53
La observaci on anterior, como constatar a el lector en las siguientes p aginas, ser a una herramienta b asica para contar el n umero de elementos de un conjunto A: buscaremos un diccionario (una biyecci on) que transforme el problema de evaluar el tama no de A en el de contar el n umero de elementos de otro conjunto B , un conjunto del que ya conozcamos su tama no, o que se preste a alg un otro tipo de an alisis. Obs ervese que, en principio, los elementos de B no tienen por qu e ser del mismo tipo que los del original. Ejemplo 2.1.1 Cu al es el tama no del conjunto A = {n N : n es divisor de 60000}? Podr amos, desde luego, ir enumerando todos los n umeros menores o iguales que 60000 e ir comprobando, uno a uno, si dividen o no a 60000. Pero un procedimiento m as astuto y ecaz pasa por escribir el desarrollo en factores primos de 60000: 60000 = 25 31 54 . Ahora observamos que si n es divisor de 60000, entonces n ha de ser de la siguiente forma: n = 2 3 5 con 0 5, 0 1, 0 4 B= 0 5, 0 1, 0 4.
As que podemos establecer la biyecci on A = {n N : n es divisor de 60000}
3-listas (, , )
La comprobaci on de que esta asignaci on es una biyecci on entre los dos conjuntos exige recordar que la descomposici on de un entero en factores primos es u nica (v ease, por ejemplo, el lema 4.13). Y la conclusi on inmediata es que |A| = |B |. Aprenderemos pronto, en el ejemplo 2.2.1, a evaluar el tama no del conjunto B . Ejemplo 2.1.2 Sean X = {1, 2, . . . , n} y A = {subconjuntos de X }. Queremos conocer el tama no de A, es decir, saber cu antos posibles subconjuntos tiene un conjunto con n elementos. Para identicar un subconjunto de X basta decidir, para cada elemento de X , si est a o no en el subconjunto. Para ello podemos asociar un 0 a los elementos de X que no est an en el subconjunto y un 1 a los que s lo est an. Por ejemplo, si tomamos X = {1, 2, 3, 4}, la codicaci on 1 0 2 1 3 1 4 0
esto es, la lista (0, 1, 1, 0), representa al subconjunto {2, 3} de X = {1, 2, 3, 4}. Volviendo a X = {1, 2, . . . , n}, algunos otros ejemplos de esta identicaci on ser an: (0, 1, 1, . . . , 1, 1) {2, 3, . . . , n 1, n} (0, 0, 0, . . . , 0, 0) (1, 1, 1, . . . , 1, 1) X Con esta regla hemos construido una biyecci on entre nuestro conjunto original A y el conjunto B formado por todas las n-listas con repetici on permitida que podemos formar con los s mbolos {0, 1}, que pronto aprenderemos a contar (ejemplo 2.2.2). (versi on preliminar 28 de septiembre de 2009)
54
2.1.1.
El doble conteo
La t ecnica de contar usando biyecciones se puede entender como un caso particular de una t ecnica m as general. Empecemos considerando el siguiente ejemplo: Ejemplo 2.1.3 Divisores positivos y negativos. Vamos a considerar los conjuntos A = {n N : n es divisor de 60000} y C = {n Z : n es divisor de 60000}. A cada divisor n positivo de 60000 le corresponden dos divisores en Z, n y n. As que podemos construir una aplicaci on f : C A de manera que a cada elemento n C se le asocia un elemento de A mediante la receta f (n) = |n|. Es una aplicaci on sobreyectiva, pues cada elemento de A tiene al menos una preimagen, un elemento de C con el que est a relacionado a trav es de la aplicaci on f . Sin embargo, no es biyectiva, porque hay elementos de C cuyas im agenes coinciden (n y n van ambos a |n|). De hecho, cada elemento de A tiene exactamente dos preim agenes. As que C tiene el doble de elementos que A. ervese que para obtener la conclusi on del ejemplo anterior ha sido necesario que la Obs aplicaci on fuera sobreyectiva (que no se saltara ning un elemento de A). Consideremos entonces dos conjuntos X e Y , entre los que se ha establecido una aplicaci on sobreyectiva X Y . si cada elemento de Y tiene una u nica preimagen, esto es, si la aplicaci on es adem as inyectiva (y por tanto biyectiva), entonces, como bien sabemos, |X | = |Y|. Pero si cada elemento de Y tiene exactamente dos preim agenes, lo que escribiremos 1 generalmente como #{f (y )} = 2 para todo y Y , entonces |X | = 2 |Y|. A este tipo de aplicaciones se les llama muchas veces, por razones evidentes, aplicaciones 2 a 1. O m as generalmente: si la aplicaci on f cumple que #{f 1 (y )} = k para todo y Y , esto es, si es una aplicaci on k a 1, entonces |X | = k |Y|. Hay una manera muy gr aca de entender estos resultados (y algunos m as generales que veremos a continuaci on). Se trata de una t ecnica simple, pero ecaz, que se recoge en el lema del doble conteo2 . Consiste en la siguiente idea: dada una matriz, si sumamos los valores de todas sus entradas, el resultado no depender a de si primero sumamos cada la y luego los resultados obtenidos, lo que llamaremos sumar por las; o de si primero sumamos cada columna y luego los resultados (sumar por columnas). Es algo sobre lo que ya reexionamos en la p agina 38, cuando explic abamos las manipulaciones con sumas dobles.
Lamentar amos que nuestro entusiasmo por el doble conteo pudiera inducir al lector a amalgamar dentro de este t ermino a la doble contabilidad. El doble conteo es un truco, la doble contabilidad es una trampa. Nota de Nota : No debe confundirse tampoco la doble contabilidad con la contabilidad de doble entrada. En 1494, Fray Luca Pacioli, del que hablaremos en la secci on 4.4, quien es considerado el padre de la Contabilidad moderna, public o su libro Summa de Arithmetica, 36 de cuyos cap tulos estaban dedicados a explicar la partida doble, o Contabilidad de doble entrada, como mecanismo contable. Johann Wolfgang von Goethe, quiz a el escritor m as inuyente de nales del siglo XVIII, describir a el sistema de Pacioli como algo de perenne belleza y simplicidad y uno de los mayores logros del intelecto humano.
2
(versi on preliminar 28 de septiembre de 2009)
2.1. Aprendiendo a contar Apliquemos esta idea a nuestro caso. Tenemos una aplicaci on sobreyectiva X Y
f
55
y1 1 0 0 . . . 1 y2 0 0 0 . . . 0 y3 0 1 0 . . . 0 .. . ym 0 0 1 . . . 0
y construimos la siguiente matriz: en verticales colocamos los elementos de X = {x1 , . . . , xn } y en horizontales, los de erminos, etiquetamos las las Y = {y1 , . . . , ym }. En otros t con los elementos de X y las columnas con los de Y . Las entradas de la matriz ser an ceros o unos. Colocaremos un 1 en la posici on (i, j ) si f (xi ) = yj , y un 0 en caso contrario. Obtenemos as matrices como la que aparece a la derecha. El que sea una aplicaci on nos garantiza que en cada la aparece exactamente un 1, pues cada elemento de X tiene una u nica imagen. As que la suma en cada la da 1, y en total habr a |X | unos en la matriz. La sobreyectividad garantiza, por su parte, que no haya columnas s olo con ceros. Si, adem as, la aplicaci on f es biyectiva, (sobreyectiva e inyectiva, o 1 a 1), entonces en cada columna s olo aparece un 1. Sumando en todas las columnas, obtenemos |Y| unos. Y como el resultado no ha de depender de si sumamos por las o por columnas, deducimos que |X | = |Y|, como ya sab amos. Si la aplicaci on es 2 a 1, entonces en cada columna hay dos unos, y en total obtenemos 2 |Y| unos, de manera que tendr amos |X | = 2 |Y|. En general, si la aplicaci on es k a 1, tendremos que |X | = k |Y|. Observe el lector que, en estos argumentos y resultados, es fundamental la hip otesis de sobreyectividad. Intentemos ahora escribir una relaci on general, v alida para aplicaciones f cualesquiera de X a Y . En la matriz correspondiente la suma por las sigue dando |X |, por ser f una agenes aplicaci on. Y en la columna etiquetada con yi obtenemos tantos unos como preim 1 tenga yi , es decir, #{f (yi )} unos. En total, |X | =
y Y
x1 x2 x3 . . . xn
#{f 1 (y )} .
Ahora ya no es necesario que la aplicaci on sea sobreyectiva, porque si f se salta un cierto elemento yi Y , entonces #{f 1 (yi )} = 0, y el valor de la suma de arriba no cambia. Una expresi on alternativa, que resulta u til en diversas circunstancias, es la que se obtiene agrupando en la suma anterior los elementos de Y en funci on del n umero de preim agenes que tengan. Llamemos ak = # y Y : #{f 1 (y )} = k . umero de elementos de Y que tienen exactamente k preim agenes. Entonces Esto es, ak es el n |X | =
k
k ak .
Quiz as el lector encuentre excesivo, a estas alturas, introducir toda esta maquinaria del doble conteo. Conamos en que se convenza de su utilidad m as adelante, cuando descubra c omo su aplicaci on permite codicar de manera transparente resultados dif ciles de probar por otros m etodos (en el principio de inclusi on/exclusi on, en grafos, en el lema de Hall, etc.). El siguiente ejemplo es simp atico, y nos lo volveremos a encontrar en diversos contextos. (versi on preliminar 28 de septiembre de 2009)
56
Ejemplo 2.1.4 (Lema de los saludos). Consideremos una reuni on de n personas que pueden conocerse o no entre s . Si un par de personas se conocen, se saludar an (con un fuerte apret on de manos, por ejemplo). Comprobemos que el n umero de saludos, sea cual sea n o el n umero de personas que se conozcan entre s , es siempre un n umero par. Ah!, pero no es obvio? Si la persona a conoce a b, entonces a saluda a b y b saluda a a, con lo que tendremos dos saludos. Y, en total, un n umero par de saludos. La comprobaci on formal, v a el lema del doble conteo, pasa por considerar una matriz que tiene a las n personas de la reuni on, digamos a1 , . . . , an , etiquetando sus las. Y, etiquetando sus columnas, a todos . Colocamos un 1 los subconjuntos {aj , ak } de personas que realmente se conozcan entre s en la posici on correspondiente a la la ai y la columna {aj , ak } si, o bien i = j , o bien i = k (esto es, si la persona ai es una de las del par {aj , ak }). Al sumar en la la de ai , obtenemos el n umero de saludos en que interviene la persona ai , y al sumar todos los resultados, el n umero total de saludos que se producen. Y como cada columna s olo contiene s olo dos unos, sumando en todas ellas obtendremos un n umero par. M as adelante reinterpretaremos este resultado con el lenguaje de los grafos, en el que el argumento de doble conteo resultar a m as transparente (v ease el lema 9.1). De esta sencilla observaci on se deduce tambi en que el n umero de personas que efect uan un n umero impar de saludos debe ser, necesariamente, par. Dejamos que el lector se entretenga con la comprobaci on correspondiente. Aunque en realidad quiz as le convenga esperar a disponer del lenguaje de los grafos para abordar la cuesti on (v ease el ejercicio 9.1.8). Para completar el an alisis de esta (despu es de todo, entretenida) reuni on, digamos tambi en que, aplicando el principio del palomar, se puede comprobar tambi en que necesariamente habr a (al menos) dos personas que efect uan el mismo n umero de saludos (v ease el ejemplo 5.1.3).
2.1.2.
El paso al complementario
Tenemos un conjunto X y queremos contar cu antos de sus elementos cumX plen una cierta propiedad; llamemos A al subconjunto de X formado por estos elementos. Sea X \ A el conjunto de los elementos de X que no est an X \A A en A (esto es, que no cumplen la propiedad que caracteriza a los elementos de A), lo que llamaremos el conjunto complementario3 de A en X . El esquem atico dibujo que aparece a la derecha aclara la idea. Como tendr a ocasi on de comprobar el lector, es a veces m as sencillo evaluar el n umero de elementos de X que no est an en A, es decir, |X \ A|, que el propio tama no de A. Y como4 |X | = |A| + |X \ A| , esto es, |A| = |X | |X \ A| ,
si conocemos el tama no de los conjuntos X y X \ A, podremos calcular el de A. A la espera de aplicaciones m as excitantes de este argumento de paso al complementario, lo ilustramos con un sencillo ejemplo.
En ocasiones utilizaremos un s mbolo como Ac para designar a este conjunto complementario. Pero s olo ser a cuando, por el contexto, quede claro cu al es conjunto grande que incluye a A y dentro del que se est a deniendo el complementario de A. De lo contrario, utilizaremos la notaci on X \ A, que muestra expl citamente a todos los conjuntos involucrados. 4 Esta regla es un caso particular de la regla de la suma, que estudiaremos en la secci on 2.3.
3
2.1. Aprendiendo a contar Ejemplo 2.1.5 Cu antos n umeros entre 1 y 60000 no dividen al propio 60000?
57
El conjunto de inter es es C = {n N , 1 n 60000 : n no divide a 60000}, que est a incluido en X = {1, 2, . . . , 6000}. Obs ervese que |X | = 60000. Ya consideramos, en el ejemplo 2.1.1, el conjunto A = {n N : n divide a 60000}. Observe el lector que A tambi en est a incluido en X (pues los divisores de 60000 deber an ser 60000). Pero m as a un, A resulta ser, justa y afortunadamente, X \ C . As que |C | = |X | |X \ C | = 6000 |A| . Tenga a un un poco de paciencia el lector, hasta que lleguemos al ejemplo 2.2.1, con el que podremos completar todos estos c alculos.
2.1.3.
El innito
Qu e es un conjunto innito? Siguiendo la denici on dada unas p aginas atr as, cualquier conjunto que no pueda ser puesto en biyecci on con {1, . . . , n}, sea cual sea n. Desde luego, el propio conjunto de los n umeros naturales, N, es un conjunto innito. Tambi en son innitos el conjunto de los n umeros enteros Z, el de los racionales Q, el de los reales R, etc. Ahora bien, casi cualquier pregunta que nos hagamos al respecto, como por ejemplo: hay innitos m as grandes que otros?; hay alguna manera de compararlos?, requiere un an alisis cuidadoso y delicado, que es el que pretendemos hacer en a esta subsecci on. Porque el concepto del innito5 es elusivo y desaf 6 en muchas ocasiones nuestra intuici on. En palabras de Hilbert ,
El innito! Ninguna otra cuesti on ha conmovido nunca tan profundamente el esp ritu humano; ninguna otra idea ha estimulado tan fruct feramente su intelecto; y ning un otro concepto tiene tanta necesidad de ser claricado.
Figura 2.1: Hilbert
Dej emonos guiar por el caso nito. Recordemos que si A y B son dos conjuntos nitos y existe una funci on biyectiva entre ellos, entonces decimos que A y B tienen el mismo tama no o cardinal. Decidimos entonces ampliar el rango de aplicaci on de esta denici on: dos conjuntos cualesquiera A y B tienen el mismo cardinal si existe una biyecci on entre ambos.
5 Aqu convendr a se nalar que el concepto de innito al que nos estamos reriendo es al de un innito actual, una entidad, un objeto dado. Desde Arist oteles (que lo prohib a expresamente en el Libro III de su F sica ) hasta Gauss s olo se manejaba un concepto de innito potencial, como la posibilidad de considerar procesos ad innitum. 6 David Hilbert (1862-1943) fue uno de los matem aticos m as inuyentes de nales del siglo XIX y principios del XX. Realiz o important simas aportaciones a diversas ramas de las matem aticas, como la Teor a Algebraica de N umeros, la Geometr a, los Fundamentos de las Matem aticas, el An alisis Funcional, la F sica matem atica. . . Los ahora llamados espacios de Hilbert son la base de la formulaci on de la Mec anica cu antica, que ha conseguido describir satisfactoriamente los fen omenos subat omicos. En 1900, en el segundo Congreso Internacional de Matem aticos celebrado en Par s, propuso una lista de 23 problemas que el consider o como los m as relevantes en las Matem aticas de aquel momento; algunos de ellos todav a no se han resuelto completamente, como es el caso de la hip otesis de Riemann. Quiz as sirva como ilustraci on de su esp ritu una de sus frases favoritas: Wir m ussen wissen, wir werden wissen. Esto es, Debemos saber, sabremos.
58
Esta denici on depara inmediatamente sorpresas. Consideremos, por ejemplo, dos conjuntos innitos, como el de los n umeros naturales N y el conjunto P de todos los n umeros naturales pares. A un siendo ambos innitos, la intuici on nos dice que hay m as n umeros naturales que n umeros naturales pares. Al n y al cabo, P N. Pero consideremos la funci on f : N P dada por f (n) = 2 n para cada n N. Es f acil comprobar que esta funci on es una biyecci on entre los dos conjuntos, as que, seg un nuestra denici on, tienen el mismo cardinal. Lo mismo ocurre con N y los n umeros naturales impares (tomando, por ejemplo, la funci on f (n) = 2n 1). Sorpr endase el lector: los naturales pares (o los impares) son un subconjunto de N (y no son todo N), y sin embargo ambos conjuntos tienen el mismo cardinal. Oigamos a Antonio Machado con el siguiente Ejercicio de Sof stica de Juan de Mairena:
La serie de los n umeros pares es justamente la mitad de la serie total de n umeros. La serie de los n umeros impares es justamente la otra mitad. La serie de los pares y la serie de los impares son ambas innitas. La serie total de los n umeros es tambi en innita. Ser a entonces doblemente innita que la serie de los n umeros pares y que la serie de los impares? Ser a absurdo pensarlo, porque el concepto de innito no admite ni m as ni menos. Entonces, las partes la serie par y la impar, ser an iguales al todo? Atenme esta mosca por el rabo y d ganme en qu e consiste lo sof stico de este argumento. Juan de Mairena gustaba de hacer razonar en prosa a sus alumnos, para que no razonasen en verso.
Tambi en el conjunto Q = {1, 4, 9, 16, 25, . . . } de los n umeros naturales que son cuadrados es un conjunto innito que puede ser puesto en biyecci on con N. Sobre esto reexionaba, algo atribulado, Galileo7 :
No veo otra decisi on sino admitir que el conjunto de los n umeros [naturales] es innito; los cuadrados son innitos, y ni la cantidad de cuadrados es menor que la cantidad de naturales, ni al rev es. Los atributos de igualdad, de mayor o menor no tienen cabida al tratar cantidades innitas, sino s olo en cantidades nitas.
Figura 2.2: Galileo
Como veremos pronto, Machado y Galileo s olo ten an raz on en parte: en realidad, el concepto de innito s admite m as y menos. El que una parte tenga igual cardinal que el todo no puede ocurrir, por supuesto, para conjuntos nitos. Un buen ejemplo de esta paradoja
7 Galileo Galilei (1564-1642), astr onomo, l osofo, matem atico, es bien conocido por sus trabajos sobre la ca da de los cuerpos, su uso del telescopio o su desarrollo del m etodo experimental (o cient co), as como por los problemas que tuvo con la Inquisici on por apoyar la teor a helioc entrica de Cop ernico. Es legendaria la frase (quiz as ap ocrifa) de eppur si muove (y, sin embargo, se mueve) que pronunci o cuando fue obligado a abjurar de sus planteamientos helioc entricos. En el siguiente extracto de su obra de 1623 El ensayador (Aguilar, Buenos Aires, 1981), Galileo deende con pasi on la necesidad de manejar el lenguaje de las Matem aticas para entender el libro de la Naturaleza:
La Filosof a est a escrita en ese grand simo libro que tenemos abierto ante los ojos, quiero decir, el Universo, pero no se puede entender si antes no se aprende a entender la lengua, a conocer los caracteres en los que est a escrito. Est a escrito en lengua matem atica y sus caracteres son tri angulos, c rculos y otras guras geom etricas, sin las cuales es imposible entender ni una palabra; sin ellos es como girar vanamente en un oscuro laberinto.
59
es el conocido como hotel de Hilbert : si un hotel tiene un n umero nito de habitaciones8 y todas ellas est an ocupadas, no podremos alojar a ning un hu esped nuevo. Sin embargo, imaginemos un curioso hotel que tuviera un n umero innito de habitaciones, la 1, la 2, la 3, etc., todas ocupadas. Llega un nuevo hu esped que desea habitaci on, pero el recepcionista no se arredra ante las dicultades, y encuentra una soluci on: pide al hu esped que ocupa la habitaci on 1 que se mude a la 2, al de la 2, que pase a la 3, y as , sucesivamente. De manera que el viajero puede ser acomodado en la primera habitaci on. Piense el lector c omo podr a encontrarse alojamiento si llegaran, por ejemplo, 25 personas nuevas al hotel. Pero el d a se presenta complicado: los hu espedes de otro hotel de la misma cadena, tambi en innito, y tambi en lleno, deben ser acomodados en el primer hotel, por razones que ahora no vienen al caso. El intr epido recepcionista encuentra la soluci on: pide al hu esped de la habitaci on 1 que se mude a la 2, el de la 2 a la 4, el de la 3 a la 6, y, en general, el de la n a la 2n. Libera as las habitaciones impares, en las que encuentran acomodo los nuevos hu espedes9 . A. Ordenando el innito Puedo ordenar el innito!, les dijo Cantor a Machado y a Galileo. Quienes, seguramente, le contestaron: que la Fuerza te acompa ne! Pensemos en conjuntos nitos primero, y en aplicaciones entre ellos. Cu ando tenemos que |A| |B |? Bien sencillo, cuando se puede establecer una aplicaci on inyectiva de A en B . Es decir, cuando cada elemento de A se puede emparejar con un elemento distinto de B (aunque queden, quiz as, elementos de B sin emparejar). O, equivalentemente, cuando haya una aplicaci on sobreyectiva de B en A. Pues bien, usamos esa misma propiedad de los conjuntos nitos para denir el orden entre cardinales de conjuntos innitos: |A| |B | si existe una aplicaci on inyectiva de A en B . O, equivalentemente, |A| |B | si existe una aplicaci on sobreyectiva de B en A. La equivalencia de estas dos deniciones queda como ejercicio 2.1.3 para el lector interesado. Quien seguramente se estar a ya preguntando, inquieto ante las veleidades del innito, ser a cierto (n otese el agrio sabor de la duda en la voz del lector) que |A| |B | y |B | |A| = |A| = |B | ? Algo obvio si se tratara de conjuntos nitos, pues |A| y |B | son n umeros naturales. Pero al traducir a conjuntos innitos, nos estamos preguntando si de la existencia de sendas aplicaon ciones inyectivas f : A B y g : B A podemos deducir la existencia de una aplicaci biyectiva de A en B . La respuesta es s : es el llamado teorema de Bernstein-Schr oder, cuya demostraci on, con las sugerencias oportunas, pedimos hacer al lector en el ejercicio 2.1.4.
Que es lo habitual!, pese a que en alg un hotel de nuestras costas pueda parecer lo contrario. M as conclusiones sorprendentes: del hotel se marcha un hu esped y sigue habiendo el mismo n umero de ocupantes. Si se marchan todos los de las habitaciones pares, ocurre lo mismo; pero no as si se marchan los hu espedes que ocupan las habitaciones, digamos, de la quinta en adelante (v ease tambi en el ejercicio 2.1.2).
9 8
60
B. Conjuntos numerables y no numerables Provistos de esta nueva tecnolog a, nos disponemos a analizar otros conjuntos innitos. Para nombrar el cardinal de N, nuestro conjunto innito preferido (por ahora), utilizamos la ease alef sub cero). La biyecci on f que construimos primera letra del alfabeto hebreo, 0 (l un par de p aginas atr as entre N y el conjunto P de los naturales pares nos conrma que ambos conjuntos tienen el mismo cardinal. Y adem as nos permite listar los elementos de P ; as , 2 es el primer elemento (pues es la imagen de 1), 4 es el segundo (imagen de 2), etc. Esto es algo general: sea A un conjunto para el que existe una biyecci on f : N A. Para cada n N, llamemos an al elemento de A que es imagen de n mediante f , f (n) = an . Entonces podemos listar los elementos del conjunto A: (a1 , a2 , a3 , . . . ). Cualquier conjunto a el que pueda ser puesto en biyecci on con N se dice que es numerable10 , y su cardinal ser en lo son, como mismo que el de N, esto es, 0 . El propio N es, claro, numerable, y tambi hemos visto, los conjuntos de los naturales pares, impares o cuadrados. De hecho, cualquier subconjunto innito de N es numerable (v ease el ejercicio 2.1.5). Resulta natural preguntarse si hay conjuntos numerables de los que N sea una parte. Por ejemplo, es acaso numerable el conjunto de los enteros, Z? S , lo es, pues la aplicaci on 1n si n es par y f ( n ) = si n es impar, es una biyecci o n, que f : N Z dada por f (n) = n 2 2 se corresponde con la siguiente enumeraci on ordenada de los enteros: (0, 1, 1, 2, 2, . . . ). Seguimos adelante y, ambiciosos, nos preguntamos si el conjunto Q de los n umeros racionales es numerable o no. La respuesta ya no es tan obvia: c omo los enumeramos?, no podemos ordenarlos en forma creciente, pues, para empezar, no hay un racional m as peque no. Pero s , Q tambi en es numerable. El siguiente argumento nos muestra la numerabilidad de Q+ , esto es, de los racionales positivos (la extensi on a todo Q ser a inmediata). Todo lo que tenemos que hacer es listarlos adecuadamente, con la ayuda de la tabla (innita) que aparece an en a la izquierda. Los racionales de denominador 1 est la primera la, los de denominador 2 en la segunda, etc., 3 1 2 4 2 2 2 2 as que la tabla incluye a todos los racionales positivos. Ahora los recorremos siguiendo el itinerario zigzagueanc 1 2 4 3 te que marcan las echas del dibujo. Observe el lector 3 3 3 3 que en el recorrido visitamos todos los elementos de Q+ . Y aunque se repiten (por ejemplo, pasamos por 1/1, 2/2, 3 4 1 2 3/3, etc., que son el 1), el procedimiento da lugar a una 4 4 4 4 aplicaci on sobreyectiva f : N Q+ que permite deduc ease el ejercicio 2.1.6). Una cir la numerabilidad de Q+ (v 2 3 1 4 5 5 5 5 vez enumerados los racionales positivos, hacer lo mismo . . . . .. . . . . . . . . . con todos los racionales es tarea sencilla (ejercicio 2.1.8). El mismo argumento permite comprobar que el conjunto N N, los pares de n umeros naturales, es numerable. De hecho, cualquier producto cartesiano de un n umero nito de copias de N es numerable (v ease el ejercicio 2.1.9).
1 1
E 2
1
3 1
E 4
1
10 Hay quien entiende que numerable incluye tambi en el caso en que el conjunto es nito. A veces se utiliza la palabra contable, como aqu el que se puede contar o enumerar.
2.1. Aprendiendo a contar Pero es que todos los conjuntos innitos son numerables?, se preguntar a el lector, algo decepcionado por la posibilidad de que, despu es de todo, el concepto de innito no sea tan rico como empezaba a suponer. Por ejemplo, qu e ocurre con R, es numerable o no? Teorema 2.1 (Cantor) El conjunto de los n umeros reales R no es numerable.
61
n. El argumento que sigue, conocido como el argumenDemostracio to diagonal de Cantor11 es de una belleza e ingenio desbordantes. Antes de entrar a describirlo, observemos que queremos probar un reFigura 2.3: Cantor sultado de imposibilidad: a saber, que no es posible poner en biyecci on N y R. En realidad, haremos s olo el argumento que demuestra que el intervalo (0, 1) no puede ser puesto en biyecci on con N (el que (0, 1) y R s que pueden ser relacionados mediante una biyecci on es sencillo de comprobar, v ease el ejercicio 2.1.11). Procederemos por reducci on al absurdo: supongamos que (0, 1) es numerable. Sabemos que entonces podremos listar en orden todos sus elementos; llam emosles emoslos exhibiendo sus expresiones decimales. (x1 , x2 , x3 , . . . ) y enumer 1 1 1 En la lista de la izquierda, aj x1 = 0, a1 i signica el entero (entre 0 1 a2 a3 a4 . . . y 9) que ocupa la posici on i- esima del desarrollo decimal del 2 2 2 x2 = 0, a2 1 a2 a3 a4 . . . , que ocupa la posici on j en esta ordenaci on. n u mero real x j 3 3 3 x3 = 0, a3 1 a2 a3 a4 . . . Ahora construimos un n umero real (en el intervalo (0, 1)) 4 4 4 x4 = 0, a4 1 a2 a3 a4 . . . . y = 0, b1 b2 b3 b4 . . . . . 1 de la siguiente manera: si a1 1 = 1, entonces b1 = 2, y si a1 = 1, entonces b1 = 1. La segunda 2 2 a 1 si a2 = 1 y ser a 2 si a2 = 1. En general, cifra decimal, b2 , ser bn = 1 , si an n = 1, 2 , si an n = 1.
La expresi on decimal del n umero y as construido consta de una lista de unos y doses tras la cifra decimal; como es un n umero de nuestro intervalo, ha de aparecer en nuestra lista, en alguna posici on, digamos en la posici on k. As que y = xk . Pero esto no puede ocurrir, esima cifra del desarrollo decimal de y es, por construcci on, diferente de ak porque bk , la k- k , la k- esima del desarrollo de xk (y el desarrollo decimal de y no termina en una lista innita de ceros o nueves, lo que podr a dar lugar a ambig uedad, v ease la p agina 210). Hemos llegado as a una contradicci on. El cardinal de R (y el de los conjuntos que se pueden poner en biyecci on con el12 ) se nombra con la letra c; se dice que tiene el cardinal del continuo.
Georg Cantor (1845-1918) es considerado como el padre de la moderna Teor a de Conjuntos. Sus trabajos en este campo, sus estudios sobre el innito, hicieron que Hilbert llegara a decir que nadie nos expulsar a del para so que Cantor ha creado para nosotros. Tambi en contribuy o a denir conceptos como la dimensi on o la medida. Su biograf a est a salpicada de relaciones tempestuosas con matem aticos de la epoca, como Kronecker o Mittag-Leer. Sufri o numerosas crisis depresivas y, de hecho, muri o internado en un sanatorio psiqui atrico. 12 Como un intervalo de la recta real, o algunos otros tan extra nos como el conjunto ternario de Cantor de todos los n umeros reales entre 0 y 1 cuyo desarrollo en base 3 no contiene ning un uno.
11
62
Como Q es numerable y R no, el conjunto de los irracionales no puede ser numerable (v ease el ejercicio 2.1.8). As que irracionales hay muchos m as que racionales. Uno se pregunta qu e le habr a ocurrido a Cantor tras este descubrimiento si hubiera vivido entre los pitag oricos (recordando el nal de Hipaso, que se limit o a mostrar que 2 era irracional). Observemos que un n umero racional a/b (y en particular, un entero) es soluci on de la ecuaci on b x a = 0, es decir, es una ra z de un polinomio de grado 1 con coecientes enteros. o 5 son tambi en ra ces de polinomios con coecientes enteros; N umeros irracionales como 2 2 2 = 0 y x2 5 = 0, respectivamente. Tambi en la raz on a urea, en este caso, de grado 2: x 2 z de un polinomio de este tipo, x x 1 = 0. En general, diremos que (1 + 5)/2, es ra un n umero es algebraico si es ra z de alguna ecuaci on polin omica con coecientes enteros. Los n umeros reales que no son algebraicos, los dem as, se denominan trascendentes13 . Pues bien, se puede demostrar (v ease el ejercicio 2.1.10) que el conjunto de los n umeros algebraicos es numerable, as que el de los trascendentes no lo es. Algo parad ojico: hay muchos m as n umeros trascendentes que algebraicos, pero probar la trascendencia de un n umero concreto es, en general, un problema dicil simo (v ease la subseccion 5.2.3). C. Una escala para el innito Ya tenemos dos innitos (distintos, eh!): por un lado, el cardinal as peque no innito posible (v ease el de N, 0 , que es, por cierto, el m ejercicio 2.1.7). Y, por otro, el cardinal del continuo, c. Nos planteamos entonces dos cuestiones: habr a, por ventura, alg un cardinal innito estrictamente mayor que el de N pero menor que el de R? Y existen m as cardinales innitos, adem as de estos dos? Para la primera pregunta, la famosa hip otesis del continuo aro que si uno toma la ma que tal cardinal no existe. G odel14 ya prob hip otesis del continuo como un axioma m as que a nadir a los habituales de la teor a de conjuntos no se llegaba a contradicci on alguna. El deotesis senlace de la historia es sorprendente15 , pues resulta que esta hip es independiente del resto de los axiomas, as que no puede ser probada o refutada partiendo de ellos.
13
Figura 2.4: G odel
La existencia de estos n umeros trascendentes fue demostrada por Liouville en 1844 (ve ase el ejemplo 5.2.4). Ya comentamos, en la nota al pie de la p agina 15 que Hermite prob o en 1873 que el n umero e es trascendente (que e es irracional se prueba en el ejemplo 5.2.3), y que, poco despu es, en 1882, Lindeman demostr o que tambi en es transcendente (dando n, as , al famoso problema de la cuadratura del c rculo). 14 Kurt G odel (1906-1978) revolucion o los Fundamentos de las Matem aticas cuando, en 1931, public o su famoso Teorema de Incompletitud, que respond a, negativamente, al Entscheidungsproblem de Hilbert, el problema de encontrar un m etodo mec anico para decidir si una proposici on matem atica arbitraria puede ser probada dentro de una teor a o no. Nacido bajo el Imperio austro-h ungaro, G odel emigrar a denitivamente a los Estados Unidos en 1940. En Princeton coincidir a con personajes de la talla de Einstein, von Neumann o Morgenstern, con quienes estableci o una s olida amistad. En un curioso paralelismo con Cantor, G odel sufr a de frecuentes depresiones y necesit o en varias ocasiones tratamiento psiqui atrico. En los u ltimos meses de su vida, crey o estar siendo envenenado, por lo que se neg o a comer, lo que aceler o su muerte. 15 Probar la hip otesis del continuo fue uno de los problemas propuestos por Hilbert en 1900. En 1963, Paul Cohen logr o demostrar que se llegaba a la misma no contradicci on con los axiomas de la teor a de conjuntos si se tomaba la negaci on de la hip otesis del continuo como un axioma m as.
63
Algo descolocados por la casi incre ble conclusi on anterior, nos centramos en la segunda cuesti on, para la que, como veremos, s que tenemos una respuesta (armativa): hay m as innitos, adem as de los dos que hemos hallado hasta ahora. De hecho, toda una jerarqu a de innitos distintos. Para verlo, consideremos un conjunto cualquiera X , y llamemos P (X ) a la colecci on de todos los subconjuntos de X (este conjunto se nombra como partes de X ). Ya hemos visto, en el caso nito (v ease el ejemplo 2.1.2), una biyecci on de P (X ) en el conjunto de las listas de ceros y unos de longitud n que nos permitir a deducir m as adelante (ejemplo 2.2.2) que, nos interesa es el si |X | = n, entonces P (X ) tiene tama no 2n . Pero el resultado que aqu siguiente: Teorema 2.2 (Cantor) Dado un conjunto X , no puede existir una biyecci on de X sobre P (X ). n. Supongamos, por el contrario, que hubiera una biyecci Demostracio on f : X P (X ). Esta aplicaci on asocia a cada elemento x X una imagen f (x) que es un cierto subconjunto de X , esto es, un elemento de P (X ). En el otro sentido, cualquier subconjunto de X (cualquier elemento de P (X )) es la imagen, f (y ), de un cierto y X . Ahora consideremos el conjunto A = {x X : x / f (x)} , que, en palabras, es el conjunto de los elementos de x X que no est an incluidos en el subconjunto f (x) que les asocia la biyecci on. Por supuesto, A es un subconjunto de X , es decir, A P (X ), as que existir a cierto y X para el que A = f (y ). Concluimos la demostraci on analizando las dos posibilidades que existen, dependiendo de si ese elemento y est a o no en A. La conclusi on en ambos casos es expeditiva, y har a bien el lector en meditar detenidamente sobre ellas: Si y A, entonces, por la denici on de A, y / f (y ). Pero esto es una contradicci on, porque A = f (y ). Si y / A, entonces y f (y ). Pero entonces y deber a estar en A = f (y ), de nuevo una contradicci on. En ambos casos llegamos a una contradicci on, as que la supuesta biyecci on f : X P (X ) no puede existir en realidad. Obs ervese que, sin embargo, es sencillo establecer una aplicaci on inyectiva de X en P (X ), asignando, por ejemplo, a cada x X , el conjunto formado u nicamente por el mismo, esto es, {x}. As que cardinal(X ) cardinal(P (X )). Pero como el Teorema 2.2 nos dice que los conjuntos no tienen el mismo cardinal, deducimos nalmente que el cardinal de X es, con seguridad, menor que el de P (X ). En particular, el cardinal de N es menor que el cardinal de P (N) (que es, por cierto, el del continuo, v ease el ejercicio 2.1.13). Repitiendo el argumento, primero para P (N) y P (P (N)), luego para. . . llegamos a descubrir toda una cadena de cardinales innitos: cardinal(N) < cardinal(P (N)) < cardinal(P (P (N))) < (versi on preliminar 28 de septiembre de 2009)
64
2.1 EJERCICIOS DE LA SECCION 2.1.1 Se forman todas las listas de longitud n con los n umeros {1, . . . , 6} y con repetici on permitida. Una tal lista se dice impar si la suma de los n umeros que la forman es impar, y par en caso contrario. (a) Demu estrese que la mitad de las listas son pares. (b) Ocurrir a lo mismos si las listas estuvieran formadas con los n umeros {1, 2, . . . , 7}? 2.1.2 Sobre el hotel de Hilbert. Durante una hora ocurre lo siguiente: al empezar, el hotel est a vac o; a lo largo de la primera media hora llegan dos hu espedes, y se va uno; a lo largo del siguiente cuarto de hora llegan otros dos hu espedes y se va uno (de los tres que habr a en ese instante); a lo largo del siguiente octavo de hora llegan otros dos, y se va uno (de los cuatro que habr a entonces); y as sucesivamente. Obs ervese que al nal del n- esimo per odo de tiempo tenemos siempre n habitaciones ocupadas. (a) Compru ebese, sin embargo, que si en cada per odo de tiempo el hu esped que se marcha es el m as antiguo en ese momento, al nal de la hora el hotel queda vac o. (b) Por el contrario, si quien se marcha es el hu esped m as reciente, el hotel tendr a innitas habitaciones ocupadas al nal de la hora. (c) Cu antos hu espedes quedan en el hotel si, en cada periodo, quien se marcha es el segundo hu esped m as antiguo? 2.1.3 Sean A y B dos conjuntos. Compru ebese que si tenemos una aplicaci on inyectiva A B , entonces hay tambi en una aplicaci on sobreyectiva B A (y viceversa). 2.1.4 En este ejercicio detallamos los pasos de una demostraci on del teorema de BernsteinSchr oder, que arma que si existen sendas aplicaciones inyectivas f : A B y g : B A, entonces existe una aplicaci on biyectiva h : A B (y, por tanto, A y B tienen el mismo cardinal). Observemos primero que si g (B ) = A, entonces g es sobreyectiva y, por tanto, biyectiva. Supongamos entonces que g (B ) = A y llamemos C0 = A \ g (B ). ebese que C1 A y que C1 C0 = . (a) Consideremos ahora el conjunto C1 = (g f )(C0 ). Compru (b) Denimos, de manera recursiva, los siguientes conjuntos: Cn = (g f )n (C0 ) para cada n 1.
Pru ebese por inducci on que todos ellos son subconjuntos de A y que Cn Cm = si n = m. (c) Finalmente, consideramos el conjunto
C=
n=0
Cn .
Ya estamos en disposici on de denir la aplicaci on h : A B dada por h(x) = f (x) g 1 (x) si x C ; si x / C.
Compru ebese que h est a bien denida. (d) Compru ebese que h es una biyecci on de A en B . 2.1.5 Pru ebese que cualquier subconjunto innito de N es numerable. 2.1.6 Sea S un conjunto innito.
65
(a) Compru ebese que si hay una aplicaci on sobreyectiva g : N S , entonces S es numerable. Ded uzcase, del argumento de la p agina 60, que Q+ es numerable. (b) Compru ebese que si existe una aplicaci on inyectiva f : S N, entonces S tambi en es numerable. 2.1.7 Pru ebese que si A es un conjunto innito, entonces A contiene a un conjunto B numerable. Es decir, que hay una aplicaci on inyectiva de N en A. 2.1.8 (a) Pru ebese que si A y B son dos conjuntos numerables, entonces A B es numerable. Y que, en general, si A1 , . . . , An son conjuntos numerables, entonces n j =1 Aj es numerable. (b) Ya sabemos que Q+ es numerable. Ded uzcase, del apartado anterior, que Q es numerable. (c) Tambi en sabemos que R no es numerable. Ded uzcase que el conjunto de los n umeros irracionales no es numerable. 2.1.9 (a) Pru ebese que N N es numerable. (b) Ded uzcase (utilizando inducci on) que, en general, el conjunto N cartesiano de un n umero nito de copias de N, es numerable.
n veces
N, esto es, el producto
2.1.10 (a) Demu estrese que, dada una colecci on numerable {Aj } j =1 de conjuntos nitos, entonces A = j =1 Aj es un conjunto numerable (o nito). (b) Pru ebese que si {Aj } on numerable de conjuntos numerables, entonces el conjunto j =1 es una colecci A = j =1 Aj es numerable. (c) Ded uzcase del apartado anterior que el conjunto de los n umeros (reales) algebraicos es numerable. 2.1.11 (a) Constr uyase expl citamente una funci on biyectiva f : R (0, 1). (b) Constr uyase expl citamente una funci on biyectiva f : R (a, b). 2.1.12 (a) Pru ebese que el conjunto de todas las listas innitas de ceros y unos no es numerable. (b) Compru ebese que, sin embargo, el conjunto de todas las listas nitas (de longitud arbitraria) formadas con ceros y unos s es numerable. 2.1.13 (a) Compru ebese que el cardinal de P (N) coincide con el cardinal del intervalo (0, 1) (y, por tanto, con el de R). (b) Demu estrese que, sin embargo, el conjunto de las partes nitas de N s es numerable. 2.1.14 (a) Pru ebese que R R tiene la cardinalidad del continuo. (b) Cu al ser a el cardinal del conjunto de los n umeros complejos C? (c) Cu al es el cardinal del producto cartesiano de un n umero nito de copias de R? 2.1.15 Demu estrese que si card(A) = card(B ), entonces card(P (A)) = card(P (B )). onese sobre el siguiente argumentum ornithologicum (Jorge Luis Borges, El Hace2.1.16 Reexi dor, 1960): Cierro los ojos y veo una bandada de p ajaros. La visi on dura un segundo o acaso menos, no s e cuantos p ajaros vi. Era denido o indenido su n umero? El problema involucra el de la existencia de Dios. Si Dios existe, el n umero es denido, porque Dios sabe cu antos p ajaros vi. Si Dios no existe, el n umero es indenido, porque nadie pudo llevar la cuenta. En tal caso, vi menos de nueve, ocho, siete, seis, cinco, cuatro, tres, o dos p ajaros. Vi un n umero entre diez y uno, que no es nueve, ocho, siete, seis, cinco, etc etera. Ese n umero entero es inconcebible; ergo, Dios existe.
66
2.2.
La regla del producto
Empecemos con un ejemplo sencillo, como es el de contar el n umero de palabras que podemos formar con una letra y un n umero (en este orden), suponiendo que tenemos a nuestra disposici on 23 letras {a, . . . , z } y 10 n umeros, {0, 1, . . . , 9}. Las palabras a las que nos referimos son listas de dos posiciones, en las que situamos dos s mbolos, una letra seguida de un n umero, como por ejemplo (b3) o (c9). Para formar una de estas palabras, seguramente el lector escoger a, sucesivamente y en este orden, primero la letra y luego el n umero. Las posibilidades que tenemos y z a c b d en este procedimiento de construcci on de izquierda a derecha se exhiben, gr aca0 1 9 0 1 9 mente, en el esquema de la derecha. En el primer piso del arbol situamos las 23 posibles elecciones de letra. Y luego, para cada posible elecci on de letra, tenemos 10 posibilidades para el n umero. Cada una de las ramas del arbol dibujado nos conduce a un resultado distinto. No le resultar a sorprendente al lector la conclusi on de que hay 23 10 palabras distintas, pues por cada elecci on de letra hay 10 elecciones posibles de n umeros; y hay 23 elecciones iniciales de letra distintas. La generalizaci on de este argumento nos lleva a enunciar una primera versi on de la regla del producto: supongamos que un cierto proceso se puede separar en una primera y una segunda etapas y que tenemos m y n posibles resultados para las etapas, respectivamente. Entonces, el proceso total se puede realizar, en el orden designado, de m n maneras. M as generalmente, supongamos que nos dan n conjuntos A1 , . . . , An y que formamos n-listas en las que el primer elemento pertenece al conjunto A1 , el segundo a A2 , etc.:
Aqu , un elemento de A1
Aqu , un elemento de Aj
c
1 2
c
j
n1 n
Cu antas listas de este tipo distintas habr a? Habr a |A1 | posibles elecciones para la primera posici on, |A2 | para la segunda, etc.:
|A1 | posibilidades |A2 | |A3 |
|An1 ||An |
As que el n umero total es |A1 | |A2 | |An |. No siempre es posible aplicar de manera directa esta regla. Imagine el lector que queremos contar el n umero de 2-listas con ceros y unos que no tienen dos ceros. Hay dos posibilidades para la primera posici on, pero, para la segunda, el n umero de posibilidades depende del s mbolo utilizado en la primera (habr a una si hemos colocado un 0, y dos si hemos ubicado un 1). Veremos pronto otras reglas y procedimientos que nos permiten abordar casos como este. (versi on preliminar 28 de septiembre de 2009)
2.2. La regla del producto
67
Con la regla del producto podemos completar algunos ejemplos que ten amos pendientes. Ejemplo 2.2.1 El n umero de divisores positivos de 6000, segunda parte. Recordando los argumentos del ejemplo 2.1.1, nos bastar a con contar el n umero de 3-listas (, , ) donde 0 5, 0 1 y 0 4. Ser an listas del tipo:
6 posibilidades {0, 1, 2, 3, 4, 5}
2 posibilidades {0, 1}
5 posibilidades {0, 1, 2, 3, 4}
As que en total tendremos 6 2 5 = 60 listas. Por tanto, 60 es el n umero de divisores positivos de 60000. Ejemplo 2.2.2 El n umero de subconjuntos distintos que podemos extraer de un conjunto con n elementos, segunda parte. Sea el conjunto X = {1, 2, . . . , n}; ya establecimos, en el ejemplo 2.1.2, la biyecci on n-listas con repetici on permitida formadas con los . A = {subconjuntos de X } B = elementos del conjunto {0, 1} Para determinar el tama no del conjunto B (y con ello, tambi en el de A) basta aplicar la regla del producto: para la primera posici on tendremos dos posibilidades, para la segunda otras dos, etc. As que |B | = 2n = #{subconjuntos de un conjunto de tama no n} = 2n .
Ejemplo 2.2.3 El sistema de matriculaci on de veh culos en Espa na. En el sistema antiguo, una matr cula, digamos en la provincia de Madrid, era de la forma M 1397 TF es decir, una lista de siete posiciones: la letra que identica la provincia, cuatro n umeros y otras dos letras (entre las que no se cuentan ni la N ni la Q). Dado que la primera letra es siempre una M, podemos olvidarnos de ella y limitarnos a contar el resto. Aplicando la regla del producto, obtenemos que el n umero de matr culas madrile nas distintas posibles es 104 252 = 6250000 . A nales del a no 2000, este sistema estaba a punto de agotarse. Tras numerosas discusiones, se decidi o adoptar un nuevo tipo de matr culas (sin distintivos provinciales): una lista de y Q): cuatro n umeros, seguida de tres letras (se excluyen las vocales y las consonantes N 0000 BBB culas distintas para Tenemos as un total de 104 203 posibilidades, esto es, 80 millones matr toda Espa na16 .
El ritmo anual de matriculaciones en Espa na es, en estos albores del siglo XXI, de aproximadamente dos millones de veh culos. Eval ue el lector el periodo de vigencia de este nuevo sistema si se mantuviera este ritmo. Y si creciera un 10 % anual?
16
68
2.2.1.
Listas con y sin repetici on
Un problema frecuente de la Combinatoria consiste en evaluar el n umero de listas de cierta longitud, digamos k, en cuyas posiciones podemos situar s mbolos de un cierto conjunto (o ciertos conjuntos), pero en las que, adem as, exigimos que se cumplan ciertas restricciones. Esencialmente, podemos encontrarnos con dos casos distintos: si las restricciones son sobre los s mbolos que pueden aparecer en cada posici on, la regla del producto nos ayuda en el empe no. Como ya hemos visto, el n umero de listas de longitud k en las que en la primera posici on podemos situar s mbolos de un conjunto A1 , en la segunda s mbolos de A2 , etc., es, simplemente, |A1 | |A2 | |Ak | . Sin embargo, si las restricciones son sobre posiciones, el problema puede ser m as complicado. Las restricciones a las que nos referimos son del tipo, por ejemplo, en la segunda posici on no puede aparecer el mismo s mbolo que en la cuarta. La Teor a de grafos y, en concreto, los polinomios crom aticos, que estudiaremos en el cap tulo 10, nos dar an una respuesta general. Si la cuesti on exige mezclar ambos tipos de restricciones, el recuento puede volverse extremadamente complicado, y no existe un procedimiento general que nos proporcione la respuesta adecuada (aunque en la secci on 11.6 veremos una t ecnica que se aplica a un caso particular). Hay un par de casos que merecen una especial atenci on, pues, como el lector podr a comprobar, aparecen continuamente en los an alisis combinatorios. Partimos de un conjunto A con n s mbolos que, para jar ideas, supondremos que es el conjunto {1, . . . , n}. Queremos formar listas de longitud k con los elementos de A.
n n n n n Primer caso. Permitimos la repetici on de s mbolos. Con esto queremos decir que en las posiciones de la k-lista podr a haber s mbolos repetidos (aunque no es obligatorio). k1 k 1 2 3 Obs ervese que no tenemos restricciones de las que llam abamos sobre posiciones, y que en cada posici on podemos situar cualquier s mbolo de {1, . . . , n}. La regla del producto nos da la respuesta: para la posici on primera de la lista tenemos n posibilidades, para la segunda otras n, y as sucesivamente. Por tanto,
k-listas con repetici on permitida formadas con elementos de {1, . . . , n}
= nk
Segundo caso. No permitimos repetici on de s mbolos. Ahora s que tenemos restricciones sobre las posiciones: por ejemplo, no podemos situar en la posici on segunda el s mbolo que hayamos utilizado en la primera. Aunque en general este tipo de problemas exige unas on directa herramientas especiales17 , podemos resolver este caso particular con una aplicaci
Herramientas de la Teor a de Grafos, con las que podemos analizar tambi en los dos casos que aqu estamos tratando. Para el lector ya familiarizado con estos conceptos, el n umero de k-listas con repetici on permitida con s mbolos {1, . . . , n} coincide con el valor en n del polinomio crom atico de un grafo nulo con k v ertices. La cuesti on an aloga, cuando no permitimos repetici on, tiene que ver con el grafo completo con k v ertices.
17
69
de la regla del producto: obs ervese que el problema es contar el n umero de listas de longitud k en los que en cada posici on situamos s mbolos de unos ciertos conjuntos A1 , A2 , . . . , Ak . Po ya no conocemos el resto de los Aj : por demos suponer que A1 = A, pero a partir de ah ejemplo, si en la primera posici on situamos el s mbolo 3, este s mbolo ya no puede estar en ninguno de los restantes conjuntos. Mientras que si empez aramos por el s mbolo 5, ser a este el que no pertenecer a a ninguno de los restantes Aj . Pero la observaci on que nos permite obtener una n n1 n2 n k +2 n k +1 respuesta es que, aunque no conozcamos los conjuntos conocemos sus tama nos. Porque para la primera Aj , s k1 k 1 2 3 posici on tenemos n posibilidades, mientras que para la segunda ya s olo tenemos n 1 posibilidades (el s mbolo utilizado en la primera posici on ya no est a a nuestra disposici on). Esto se cumple sea cual sea la elecci on de primer s mbolo: basta con saber que hay n 1 s mbolos disponibles, no importa cu ales. Para la tercera tendr amos n 2 posibilidades, y as sucesivamente, de manera que18 # k-listas sin repetici on formadas con {1, . . . , n} = n(n 1) (n k + 1) = n! (n k)!
Por supuesto, este resultado es v alido cuando k n, porque si k > n, no tendremos ninguna k-lista con esos n s mbolos. Recordemos que la notaci on n! (el factorial de n, o n factorial) resume el producto n(n 1) 3 2 1 (por convenio, se asigna el valor 0! = 1). Un caso especial, que merece atenci on y nombre propio, es aqu el en el que formamos nlistas sin repetici on con n s mbolos. Estas listas se denominan permutaciones, y de ellas hay #{permutaciones de n elementos} = n! Si el conjunto de s mbolos que consideramos es el {1, . . . , n}, una lista sin repetici on de n posiciones formada con ellos es simplemente una reordenaci on de estos s mbolos. Veremos en la secci on 3.2 que estas permutaciones tienen una estructura muy rica. Analicemos ahora un ejemplo sorprendente: Ejemplo 2.2.4 Cu al es la probabilidad p de que, de entre 50 personas escogidas al azar, al menos dos de ellas tengan la misma fecha de cumplea nos19 ? Antes de entrar en los detalles, atr evase el lector a adelantar una respuesta aproximada: una probabilidad alta, baja? Hay 365 posibles fechas de cumplea nos, y s olo 50 personas en la muestra. Parece dif cil que haya coincidencias. . . Pero, como veremos, y como ocurre en muchas otras cuestiones probabil sticas, esta intuici on inicial falla estrepitosamente. Y es que. . . la intuici on se educa! En nuestro an alisis s olo haremos uso del habitual concepto de probabilidad como cociente entre los casos favorables y los casos posibles, de manera que se trata de una cuesti on puramente combinatoria.
k En algunos textos se llaman variaciones con repetici on, VRn , a las primeras y variaciones sin repetici on, k esta terminolog a. en s mbolo, Vn , a las segundas. No usaremos aqu 19 Es este un problema de corte probabil stico muy conocido, el llamado problema de los cumplea nos , que a su vez es el caso m as sencillo de toda una serie de cuestiones a las que nos referiremos gen ericamente como el problema de las coincidencias cuando lo analicemos en detalle en el cap tulo 19. 18
70
El paso esencial consiste en identicar los objetos d a de nacimiento de la persona j ) ervese que una que manejaremos en nuestro an alisis. Obs j 1 50 muestra de fechas de cumplea nos no es m as que una lista de 50 posiciones (cada una de las cuales corresponde a una persona de la muestra), en cuyas posiciones colocamos el d a del a no que corresponde a cada persona (supondremos que hay 366 posibles, para incluir los a nos bisiestos20 ). Contemos primero los casos posibles: # casos posibles = # {50-listas con repetici on permitida extra das de {1, . . . , 366}} = 36650 . Ahora, en lugar de contar los casos favorables, y haciendo uso del paso al complementario, contaremos los desfavorables, lo que resulta mucho m as sencillo. Nos interesamos, pues, por las listas de 50 posiciones en las que no hay dos s mbolos iguales; esto es, sin repetici on: # casos desfavorables =# 50-listas sin repetici on extra das de {1, . . . , 366} = 366 365 317.
Por lo tanto, # casos posibles # casos desfavorables # casos favorables = # casos posibles # casos posibles 50 366 366 365 317 1 0,02992 0,97008 . = 36650 As que con una probabilidad en torno al 97 % ocurrir a lo que se recoge en el enunciado! Esto es, con una alt sima certeza el experimento que describimos en la nota al pie de la p agina anterior funcionar a, y descubriremos a dos personas con la misma fecha de cumplea nos. En un grupo de n personas, cu al es la probabilidad de que haya al menos dos cuya fecha de cumplea nos coincida? Como hay 366 posibles fechas de cumplea nos, si n 367 habr a con seguridad dos personas con igual fecha de cumplea nos (como ya vimos, aplicando el principio del palomar, en el ejemplo 1.2.7), as que la probabilidad ser a 1. Pero mientras que n sea menor que 367, cabe la posibilidad de que no se repitan. Con la ayuda del ordenador hemos obtenido la gr aca de la izquierda. En ella, el valor de n va en abcisas, y el ordenadas representamos la probabilidad de que haya al menos dos personas con la misma fecha de cumplea nos. Obs ervese c omo esta probabilidad se acerca muy r apidamente a uno; para una muestra de 23 personas es un poco mayor que 0,5, mientras que para 60 personas ya es pr acticamente 1.
1 0.8 0.6 0.4 0.2 0 20 40 60 80 100 120 140 160 180 200 220 240 260 280 300 320 340 360 n
20 Esto supone una cierta inexactitud, porque el 29 de febrero aparece, m as o menos, la cuarta parte de veces que las dem as fechas. En realidad, como bien se sabe, no es realista considerar que todas las fechas son igualmente probables. As que, en un modelo m as ajustado, no todas las listas de 50 posiciones habr an de ser igualmente probables, de manera que el an alisis del problema ha de ir m as all a de la simple enumeraci on de casos favorables y posibles. Pero, como veremos en el cap tulo 19, el caso de la equiprobabilidad es en el que con m as dicultad tendremos coincidencias.
71
Ejemplo 2.2.5 Sean los conjuntos X = {1, . . . , n} e Y = {1, . . . , k}. Queremos contar cu antas aplicaciones podemos establecer entre X e Y . Una aplicaci on f : X Y se construye decidiendo cu al es la imagen de cada elemento de X . Esto es, una tal aplicaci on es lo mismo que una lista de n posiciones en la que, en cada posici on, situamos un s mbolo de {1, . . . , k}: en la posici on primera est a la imagen del 1, en la segunda la del 2, etc. Como no hay restricci on alguna sobre qu e s mbolos situamos (qu e im agenes elegimos), estamos en el caso de listas con repetici on permitida, as que #{aplicaciones f : {1, . . . , n} {1, . . . , k}} = kn (obs ervese que hemos cambiado los papeles de n y k, ahora hay n posiciones y k s mbolos). Si s olo queremos contar las aplicaciones inyectivas , esto es, aqu ellas en las que no hay elementos de X con la misma imagen, entonces formamos listas con las mismas caracter sticas que antes, pero en las que no permitimos repetici on. La respuesta es #{aplicaciones inyectivas f : {1, . . . , n} {1, . . . , k}} = k! , (k n)! siempre que k n,
y 0 si k n (pues, en este caso, no hay listas con esas caracter sticas). Por u ltimo, si lo que queremos son aplicaciones biyectivas, ser a necesario que n = k, y en ese caso habr a tantas aplicaciones biyectivas como permutaciones de {1, . . . , n}, a saber, #{aplicaciones biyectivas f : {1, . . . , n} {1, . . . , n}} = n! Contaremos el n umero de aplicaciones sobreyectivas en el ejemplo 3.1.7. Ejemplo 2.2.6 Queremos contar el n umero de k-listas (k 2) con repetici on permitida con s mbolos de {1, . . . , n} en las que cada elemento es distinto de los dos anteriores. Pese a que las del enunciado son restricciones sobre posiciones, podemos resolver la cuesti on aplicando directamente la regla del producto. Tenemos n posibilidades para la primera posici on y n 1 para la segunda. Ahora, ya s olo tenemos n 2 posibilidades para la tercera (los s mbolos de la primera y segunda, que son necesariamente distintos, ya no est an a nuestra disposici on). Y para la cuarta y la quinta siempre tenemos dos s mbolos prohibidos. En total, el n umero de listas buscado es n(n 1)(n 2)(n 2) . . . (n 2) = n(n 1)(n 2)k2 .
Ejemplo 2.2.7 Ahora exigimos que posiciones consecutivas lleven s mbolos distintos y, adem as, que la primera y u ltima posiciones lleven tambi en s mbolos distintos. un Los casos k = 1 y k = 2 son triviales21 . Si consideramos listas de 3 posiciones, a podemos aplicar la regla del producto: hay n posibilidades para la primera posici on, n 1 para la segunda y n 2 para la tercera.
Trivial es uno de los adjetivos que usan los matem aticos para describir un argumento (supuestamente) sencillo; tanto, que generalmente no se exhibe. A veces, sobre todo en art culos de investigaci on, el esforzado lector descubre que un argumento trivial requiere, al nal, un par de hojas de duros c alculos, que debe ser capaz de suministrar por s mismo. Recordemos que la palabra trivial hace referencia al Trivium que, junto
21
72
n n1 n1 ?? El lector, sin duda animado por la r apida y sencilla resoluci on de los ejemplos de esta subsecci on, se estar a ya esforzando c c c c en el an alisis del caso k = 4, quiz as con ayuda de una representaci on gr aca como la que mostramos a la derecha. Todo marcha bien al principio: para la primera posici on tenemos n posibilidades y para la segunda y tercera, n 1 (pues est a prohibido el s mbolo de la posici on anterior). Pero, ay!, para la cuarta posici on nos encontramos con que el n umero de s mbolos prohibidos depende de la lista construida hasta el momento. Si, por ejemplo, hemos elegido el mismo s mbolo en las posiciones 1 y 3, s olo habr a uno prohibido. Pero si hemos situado s mbolos distintos, entonces no podremos utilizar ninguno de ellos para la cuarta posici on. No desesperemos! S olo necesitamos alguna herramienta m as para resolver la cuesti on. Volvemos con el asunto al comienzo de la secci on 2.3
2.2.2.
Listas circulares
Posici on 1 Posici on 2 Posici on 3
Posici on k Posici on k 1
Consideremos ahora otro tipo de objetos: las listas circulares de longitud k. Marcamos k puntos (espaciados regularmente) sobre una circunferencia, en cada uno de los cuales . . . . situamos un s mbolo de un conjunto con n elementos. Aten. . ci on!, consideraremos que dos listas circulares son iguales si se obtienen una de otra por alguna rotaci on (sobre el plano del papel). Vamos a tratar de contarlas a partir del n umero de listas lineales (es decir, las usuales) que genera cada una, para despu es aplicar los resultados de la subsecci on 2.2.1. Empecemos considerando listas circulares sin repetici on y un primer ejemplo sencillo: Ejemplo 2.2.8 Listas circulares con A = {a, b, c, d, e} y k = 3.
Tomemos, por ejemplo, la lista circular de la derecha. Procedamos como sigue a b para transformar listas circulares en lineales: imaginamos que se trata de un collar con cuentas, que cortamos por la parte superior, para luego desplegar el resultado. d Aplicado a la lista dibujada, da lugar a la lista lineal (a, d, b), como se aprecia en el dibujo de la izquierda bajo estas l neas. Pero las dos posibles listas circulares que se obtienen de esta por rotaci on (y que hemos declarado como iguales) dan lugar a listas lineales distintas, (b, a, d) y (d, b, a), respectivamente, como tambi en se aprecia en el esquema.
corte a b d corte corte d a
d b
al Quadrivium , reun an las siete artes liberales en el sistema medieval de ense nanza. Los tres caminos del primero eran la Gram atica, la Ret orica y la Dial ectica, mientras que los cuatro del segundo eran la Aritm etica, la M usica, la Geometr a y la Astronom a. Se supon a que las tres primeras eran las disciplinas elementales, y de ese uso proviene el signicado actual de la palabra trivial. Lo de artes liberales alude a que serv an para entrenar al hombre libre en la Ciencia propiamente dicha, en contraste con las artes serviles, que ten an nes econ omicos (aparentemente, los hombres libres no ten an necesidad de ganarse la vida). Ya en esta vena etimol ogica, el lector podr a reexionar sobre otro de los adjetivos favoritos de los matem aticos: obvio.
73
Conv enzase el lector de que esto es algo general: cada lista circular da lugar a tres listas lineales distintas. De manera que podemos establecer una aplicaci on 3 a 1 entre el conjunto de 3-listas con los s mbolos {a, b, c, d, e} y el de 3-listas circulares con los mismos s mbolos. Como la aplicaci on es sobreyectiva (toda lista circular que podamos imaginar se relaciona con las correspondientes listas lineales), podemos concluir que 3 #{3-listas circulares} = #{3-listas lineales} = 5 4 3 = 60. Consideremos, con m as generalidad, un conjunto de n s mbolos, digamos {1, . . . , n} y los respectivos conjuntos de k-listas lineales (sin repetici on) y k-listas circulares (sin repetici on) con esos s mbolos. Construyendo la respectiva aplicaci on (sobreyectiva y k a 1) del primer conjunto al segundo, deducimos que # k-listas circulares sin repetici on con s mbolos de {1, . . . , n} = 1 k-listas lineales sin repetici on # con s mbolos de {1, . . . , n} k = 1 n! . k (n k)!
El an alisis de este tipo de listas circulares no ha sido dif cil. Ahora intentemos contar las listas circulares con repetici on permitida. Podremos efectuar un an alisis an alogo? Veamos en un ejemplo sencillo las nuevas dicultades que aparecen. Ejemplo 2.2.9 Las 4-listas circulares con repetici on permitida con los s mbolos {a, b} Empecemos con una de estas listas circulares:
a b b
E da lugar a las listas lineales

a
(a, b, a, b) (b, a, b, a)
Obtenemos solamente dos listas lineales (las otras dos posibles rotaciones no dan lugar a listas nuevas). Observemos, sin embargo, lo que ocurre para las dos siguientes listas circulares:
a b b
E
b
(a, b, b, b) (b, a, b, b) (b, b, a, b) (b, b, b, a)
a a
E
a
(a, a, a, a)
Si completamos la enumeraci on de los distintos casos, descubriremos que hay seis listas circulares distintas. Dos de ellas (las formadas por un u nico s mbolo) tienen una u nica lista lineal asociada a cada una. La primera lista circular dibujada tiene asociadas dos listas lineales, mientras que las otras tres tienen 4 listas lineales asociadas (para dar el total de las 16 listas lineales posibles). Este ejemplo sugiere que no va a resultar sencillo contar el n umero de listas circulares en funci on del n umero de listas lineales, porque el n umero de listas lineales a que da lugar una circular depende, no s olo de la longitud de la lista, sino tambi en de la disposici on de los s mbolos en sus posiciones. Sin embargo, y aunque este ejemplo todav a no lo haga evidente, hay toda una estructura tras el an alisis de estas listas circulares, que iremos descubriendo, ya con el lenguaje de las congruencias, en la secci on 4.3. M as adelante, en los cap tulos 16 y 17, retomaremos la cuesti on desde otro punto de vista m as general (con el lenguaje de la teor a de grupos y las funciones generatrices). (versi on preliminar 28 de septiembre de 2009)
74
2.2.3.
Composiciones de un n umero natural
He aqu otro ejemplo del uso de la regla del producto: dado un n umero natural n, n 1, diremos que tenemos una composici on de n si lo escribimos como suma de otros n umeros naturales mayores o iguales que 1 (el orden de presentaci on de estos sumandos ser a relevante). La longitud de la composici on ser a el n umero de sumandos. Algunos ejemplos son:
n=1 (1 comp.) n=2 (2 comps) n=3 (4 comps) 1+1+1 1+2 2+1 3 n=4 (8 comps) 1+1+1+1 2+1+1 1+2+1 1+1+2 2+2 3+1 1+3 4
1+1 2
(obs ervese que, por ejemplo, 4 = 2 + 1 + 1, 4 = 1 + 2 + 1 y 4 = 1 + 1 + 2 son composiciones diferentes, porque, como coment abamos, el orden de los sumandos es relevante). Estos primeros casos nos sugieren una regla general: se cumplir a realmente que # {composiciones distintas del n umero natural n} = 2n1 ?
n Establezcamos una biyecci on entre los objetos que pretendemos 1 1 1...1 1 contar con otro tipo de objetos. Para ello, empezamos escribiendo n omo se agrupan los unos para formar una composici on, colocaremos unos. Para indicar c entre ellos (hay n 1 posibles posiciones) cuadrados 2 y estrellas . Un s mbolo 2 va a signicar siga adelante, mientras que el s mbolo nos obligar a a sumar todo lo que llevemos acumulado desde la anterior. As , por ejemplo, si n = 7
1 2 1 2 1 2 1 1 2 1 1 4+2+1 1 2 1 1 2 1 2 1 1 2 1 2+3+2 1 1 1 1 2 1 1 1 1 + 1 + 1 + 2 + 1 + 1 Si comprobamos que esta correspondencia es una biyecci on, tendremos que: # {composiciones del n umero n } = # (n 1)-listas formadas con los s mbolos {2, } = 2n1 .
La comprobaci on es sencilla. En un sentido, dada una composici on del n umero n, del tipo n = n1 + n2 + + nm , donde 1 ni n, la representamos de la siguiente forma:
n unos
12121 1 . . . 121 . . . 121

colocamos una tras los n1 primeros unos y as sucesivamente
Si ahora olvidamos los unos, obtenemos una lista de cuadrados y estrellas de longitud n 1: (2, 2, , . . . ) (versi on preliminar 28 de septiembre de 2009)
2.3. La regla de la suma y el principio de inclusi on/exclusi on En el otro, dada una lista de longitud n 1 de cuadrados y estrellas, (2, 2, 2, , 2, , , , , , 2)
colocamos unos entre los s mbolos 2 y
75
(1212121 121 1 1 121)

agrupamos los unos seg un la posici on de las estrellas
4 + 2 + + 1 + 1 + 2 y obtenemos as una sola composici on del n umero n. Observe el lector que el argumento anterior no ser a v alido si el orden de presentaci on de los sumandos no fuera relevante. A la derecha mostramos un ejemplo ilustrativo. En ese caso, cuando el orden de los sumandos no es relevante, el problema es mucho m as complicado, y requiere una serie de t ecnicas que introduciremos en la secci on 3.3.3 dedicada a las particiones de volveremos a tratar las composiciones de n, pero all nos tienen una cierta longitud, digamos k.
2+1 ser a igual a 1+2 121 1 1 121 (2, ) distintas! ( , 2)
un entero. En la subsecci on 3.1.2 interesar a contar cu antas de ellas
2.3.
La regla de la suma y el principio de inclusi on/exclusi on
Retomamos ahora, del ejemplo 2.2.7, la cuesti on de contar el n umero de 4-listas con repetici on formadas con los s mbolos {1, . . . , n} con s mbolos consecutivos distintos y tales que en la primera y cuarta posiciones tambi en tuvi eramos s mbolos distintos. A la izquierda representamos gr acamente el tipo de listas que nos interesan. Nuestros intentos de aplicaci on de la regla del producto encallaban al llegar al u ltimo s mbolo, para el que nos encontr abamos con dos posibilidades, en funci on de si en la primera y tercera posiciones hab amos escogido el mismo s mbolo o no. Es razonable, pues, analizar los dos casos por separado: Si en la primera y tercera posiciones situamos el mismo s mbolo, entonces tenemos n posibilidades para la posici on 1 (y la tercera queda jada). Para la segunda tenemos n 1 (el s mbolo anterior est a prohibido), mientras que para la cuarta hay un s mbolo prohibido (el utilizado en 1 y 3). En total, n(n 1)2 . Si, por el contrario, utilizamos s mbolos distintos en las posiciones 1 y 3, entonces tenemos n para la primera, n 1 para la segunda, n 2 para la tercera (el de la segunda no se puede usar, y por construcci on, el de la primera tampoco) y n 2 para la cuarta (prohibidos los s mbolos, distintos, de 1 y 3). En total, n(n 1)(n 2)2 . Y ahora, nuestra intuici on nos dice que debemos sumar los resultados, para obtener nalmente que el n umero de listas con las caracter sticas exigidas es n(n 1)2 + n(n 1)(n 2)2 = n(n 1)(n2 3n + 3) . (versi on preliminar 28 de septiembre de 2009)
76
Porque en realidad son dos casos completamente distintos, que no intereren el uno con el otro. La formalizaci on de esta intuici on es lo que se conoce como regla de la suma. Ya en un lenguaje m as conjuntista, tenemos dos conjuntos distintos de listas: las del caso primero y las del segundo. Estos dos conjuntos de listas son disjuntos (claro, no?) y, adem as, entre las listas de uno y otro tenemos todas las posibles. En lugar de limitarnos al caso particular de dos conjuntos, enunciamos esta regla ya para el caso general. A. La regla de la suma Sean un conjunto A y una colecci on de subconjuntos suyos A1 , A2 , . . . , Ak que cumple que
k
Ai = A y, adem as, que Ai Aj = , si i = j .

i=1
on nos referiremos Es decir, cada elemento de A est a en uno y s olo uno de los Ak . A esta situaci on del conjunto A. En en lo sucesivo con que los subconjuntos A1 , . . . , Ak son una partici estas condiciones,
k
|A| =
i=1
|Ai |
a1 a2 . . . am
Aj
Aunque esta identidad es casi obvia, podemos comprobar su validez de una manera m as formal con un argumento de doble conteo. Construyamos una matriz con los subconjuntos A1 , . . . , Ak para etiquetar las columnas y los elementos de A para etiquetar las las. Sumando los unos de una columna obtenemos el tama no del subconjunto Aj que etiquete esa columna. Y sumando en cada la, obtenemos el n umero de subconjuntos a los que pertenece el elemento ai que etiqueta la la. En total,
A1 1 1 . . . 0 A2 0 0 . . . 1 .. . Ak 0 1 . . . 1
k
|Aj | =
j =1 aA
#{ subconjuntos A1 . . . , Ak a los que pertenece a}
En el caso que nos incumbe, en el que tenemos una partici on, cada elemento de A estar a en que lo de la derecha vale exactamente, y como quer amos, uno y s olo uno de los Aj ; as 1 = |A| .
aA
Ejemplo 2.3.1 Contemos el n umero de 3-listas (con repetici on permitida) formadas con los s mbolos {0, 1, . . . , 9} en las que en la primera y segunda posiciones de la lista ha de aparecer un cero o en la segunda y tercera, un nueve. Algunos ejemplos de estas listas son (0, 0, 3), (1, 9, 9), (0, 0, 0) . . . Llamemos A al conjunto de listas con estas caracter sticas. Para contarlas, construyamos los subconjuntos A1 = {3-listas con {0, . . . , 9} con ceros en las dos primeras posiciones} , ltimas posiciones} , A2 = {3-listas con {0, . . . , 9} con nueves en las dos u (versi on preliminar 28 de septiembre de 2009)
2.3. La regla de la suma y el principio de inclusi on/exclusi on que, como es f acil comprobar, forman una partici on de A. As que |A| = |A1 | + |A2 | = # listas de la forma (0, 0, n) con 0 n 9 +# listas de la forma (n, 9, 9) con 0 n 9
77
Y es sencillo evaluar el tama no de estos dos u ltimos conjuntos, porque en ambos casos basta con decidir un s mbolo. Tendremos entonces 10 + 10 = 20 listas en total. Ejemplo 2.3.2 Disponemos de n s mbolos, con n muy grande. Nos ponemos a escribir en cuartillas distintas cada una de las posibles listas sin repetici on con esos s mbolos, de cualquier longitud posible (obs ervese que las longitudes oscilar an entre 1 y n). Doblamos las cuartillas, las metemos en una urna, revolvemos (con la proverbial mano inocente) y sacamos una de ellas. Y nos preguntamos: cu al es la probabilidad de que la escogida tenga longitud k, donde 1 k n es un cierto n umero dado? A esa probabilidad la llamaremos q (n, k). El n umero de casos favorables coincide con el de listas sin repetici on de longitud k con los n s mbolos, que es n!/(n k)!. Para contar el n umero de casos posibles, es decir, el total de las listas sin repetici on que podemos formar, podemos hacer la partici on siguiente: listas sin repetici on formadas con {1, . . . , n}
n
=
j =1
j -listas sin repetici on formadas con {1, . . . , n}
Para asegurarse de que esto es una partici on, observamos primero que los conjuntos de la derecha son disjuntos dos a dos (una lista, que tendr a una cierta longitud j , no puede estar en dos conjuntos de esos a la vez). Adem as, no hay listas de longitud mayor que n ni menor que 1. Por tanto, la regla de la suma nos permite concluir que # listas sin repetici on con {1, . . . , n}
n
=
j =1
j -listas sin repetici on con {1, . . . , n}
=
j =1
n! = n! (n j )!
n1 t=0
1 ; t!
(en el u ltimo paso hemos cambiado de j a t = n j como ndice de sumaci on). Por tanto, la probabilidad que busc abamos, el cociente de los casos favorables por los posibles, es q (n, k) = Pero cuando n es grande,
n! (nk )! 1 1 n! n t=0 t!
1 (n k)!
1
n1 1 t=0 t!
n1 t=0
1 e t!
(v eanse los comentarios sobre la funci on exponencial en la subsecci on 2.4.2), as que q (n, k) (v ease tambi en el ejercicio 2.3.6). (versi on preliminar 28 de septiembre de 2009) 1 e (n k)! si n es grande
78
olo Ejemplo 2.3.3 Queremos multiplicar una lista de n + 1 n umeros, (a0 , a1 , . . . , an ). S podemos hacer productos dos a dos, as que tenemos que poner un cierto n umero de par entesis (esto es, un ( y el correspondiente )). Los n umeros siempre se escriben en el orden indicado. Por ejemplo, para n = 3 podr amos multiplicar (a0 a1 ) (a2 a3 ) , o quiz as (a0 a1 ) a2 a3 ,
u otras varias. Pues esa es la pregunta: de cu antas maneras se puede hacer? umero de maneras de multiplicar esos n + 1 n umeros; por comodidad, Llamemos Cn al n ervese que para especicar el orden en que se multiplican los pongamos que C0 = 1. Obs n umeros deberemos situar n 1 par entesis en la lista (luego consideraremos un par entesis m as, para describir la multiplicaci on nal). Veamos los primeros casos: n=1 n=2 (a0 , a1 ) (a0 , a1 , a2 ) a0 a1 (a0 a1 ) a2 a0 (a1 a2 ) (1 manera) (2 maneras)
n=3
a0 ((a1 a2 ) a3 ) a0 (a1 (a2 a3 )) (a0 , a1 , a2 , a3 ) (a0 a1 ) (a2 a3 ) (a0 (a1 a2 )) a3 ((a0 a1 ) a2 ) a3
(5 maneras)
Si el lector se entretiene analizando los siguientes casos, obtendr a las respuestas: 14, 42, 132. . . maneras. El objetivo es calcular el valor de Cn para un n general. Para ello, observemos que la u ltima operaci on estar a en cierto lugar de la lista, digamos entre ak y ak+1 : (a0 . . . ak ) (ak+1 . . . an )
k +1 nk
Esto quiere decir que los elementos a la izquierda ya se han multiplicado entre s ; es decir, que se han situado los par entesis de cierta manera (y hay tantas como nos diga Ck ). Por su parte, los de la derecha tambi en se han multiplicado entre s , y habr a Cnk1 formas de hacerlo. Aplicando la regla del producto, para un k jo, tendremos Ck Cnk1 posibilidades. Pero k puede valer entre 0 y n 1, y el ndice describe una partici on de los casos totales, as que, con la regla de la suma, concluimos que, si n 1,
n1
Cn =
k =0
Ck Cnk1 = C0 Cn1 + C1 Cn2 + + Cn1 C0 .
Una regla de recurrencia algo aparatosa, pero que permite conocer el valor de Cn si es que conocemos los de todos los de ndice menor. Pese a su ero aspecto, seremos capaces de abordarla cuando dispongamos de las herramientas generales de las funciones generatrices que veremos en el cap tulo 11 (v eanse en particular los ejemplos 11.3.3 y 11.4.5). (versi on preliminar 28 de septiembre de 2009)
2.3. La regla de la suma y el principio de inclusi on/exclusi on
79
umeros de Catalan22 . Sus primeros valores son Estos n umeros Cn son los llamados n (1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, . . . ) En el ejemplo 3.1.3 obtendremos, mediante argumentos combinatorios, una f ormula expl cita para ellos (con la que nos reencontraremos en los citados ejemplos del cap tulo 11). La sucesi on de n umeros de Catalan aparece como respuesta a multitud de cuestiones combinatorias, como las dos que siguen. Pongamos, como suger amos antes, un par entesis extra para describir la multiplicaci on nal: as tenemos que el problema consiste en situar n par entesis a lo largo de la secuencia; y hay tambi en n multiplicaciones , Si ahora sustituimos cada s mbolo por un +1 y cada cierre de par entesis ) por un 1, obtenemos una lista de 2n n umeros (x1 , x2 , . . . , x2n ), donde los xj son 1. Por ejemplo, ((2 5) 3) 6) (+1, 1, +1, 1, +1, 1) ; ((2 5) (3 6)) (+1, 1, +1, +1, 1, 1) .
Obs ervese que, en cada lista (x1 , x2 , . . . , x2n ), los xj suman, entre todos ellos, 0 (pues hay tantos +1 como 1); y que, adem as, las sucesivas sumas parciales x1 , x1 + x2 , x1 + x2 + x3 , as cierres de par entesis que x1 + x2 + x3 + x4 , etc., son todas no negativas (nunca hay m multiplicaciones). Con esta traducci on, tenemos una interpretaci on a4 a1 ( a2 a3 ) gr aca simp atica: hagamos que cada +1 represente una subida y cada 1, una bajada. Y as tenemos que c c cc c cada lista se corresponde con un perl monta noso +1 +1 1 1 +1 o sierra que empieza y acaba a la misma altura (y nunca baja de esa altura inicial). Por ejemplo, una de las formas de situar tres par entesis que exhib amos antes se corresponden con las listas y monta nas que dibujamos a la derecha. Para n = 3, los cinco perles monta nosos que se obtienen son:
El ejercicio 2.3.7 contiene otras interpretaciones de estos n umeros de Catalan.
Ejemplo 2.3.4 Calcular el tama no del conjunto A de las 4-listas con los s mbolos {0, . . . , 9} tales que en la primera y segunda posiciones aparece un 0 o bien en la tercera y cuarta un 9. Conados en nuestros reci en adquiridos conocimientos, construimos los subconjuntos: mbolos {0, . . . , 9} con 0 en la 1a y 2a posiciones} A1 = {4-listas con s A2 = {4-listas con {0, . . . , 9} con 9 en la 3a y 4a posiciones}
22
En honor de Eug` ene Catalan (1814-1894), matem atico belga que public o trabajos sobre ellos.
80
mbolos en cada caso). Y Cada uno de estos conjuntos tiene tama no 102 (hay que elegir dos s es f acil comprobar que A = A1 A2 . Pero, ay!, resulta que A1 A2 = 4-listas con {0, . . . , 9} tales que hay ceros en la 1a y 2a posiciones y nueves en la 3a y 4a = {(0, 0, 9, 9)} = .
As que no se trata de una partici on. En la suma |A1 | + |A2 | estamos contando dos veces que, adelant andonos al el elemento (0,0,9,9), que est a en la intersecci on de A1 y A2 . As resultado que veremos en un momento, ya podemos decir que la respuesta correcta es |A1 A2 | = 102 + 102 1 = 199 .
Como la regla de la suma no permite tratar este tipo de problemas, vamos a establecer un principio m as general, en el que, simplemente, llevaremos con cuidado la contabilidad de las veces que contamos de m as o de menos los elementos que est an en las intersecciones. B. Principio de inclusi on/exclusi on (primera versi on) Si A1 y A2 son dos conjuntos, entonces, |A1 A2 | = |A1 | + |A2 | |A1 A2 | Un vistazo al diagrama de Venn que exhibimos a la derecha nos permite convencernos de que los elementos de |A1 A2 | los contamos dos veces en la suma |A1 | + |A2 |. A1 A2 A1 A2 1 1 1 0 1 0 . . . . . . . . . 1 0 0
A1 A2
A1 A2
x1 x2 . . . xm
Un argumento de doble conteo tambi en nos permite llegar a la misma conclusi on: llamemos {x1 , . . . , xm } a los elementos de A1 A2 . Construimos la matriz donde colocamos un 1 si el a en el conjunto correspondiente (A1 o A2 ), un elemento xi est 1 si est a en A1 A2 y un cero en el resto de los casos. Al sumar por columnas obtenemos |A1 | + |A2 | |A1 A2 | ,
mientras que cada la (compru ebese!) aporta un uno, as que entre todas ellas tendremos un total de |A1 A2 | unos. Ejemplo 2.3.5 Calculemos el tama no del conjunto A formado por las 3-listas con los mbolo o bien en las s mbolos {0, . . . , 9} tales que en las posiciones 1a y 2a aparece el mismo s mbolo. posiciones 2a y 3a aparece el mismo s Formamos los subconjuntos: mbolo en 1a y 2a }, A1 = {3-listas con {0, . . . , 9} con igual s mbolo en 2a y 3a }, A2 = {3-listas con {0, . . . , 9} con igual s mbolo en 1a , 2a y 3a }, A1 A2 = {3-listas con {0, . . . , 9} con igual s (versi on preliminar 28 de septiembre de 2009)
2.3. La regla de la suma y el principio de inclusi on/exclusi on y calculamos: |A1 | = #{3-listas con {0, . . . , 9} de la forma (n, n, m)} = 102 , |A2 | = #{3-listas con {0, . . . , 9} de la forma (n, m, m)} = 102 , |A1 A2 | = #{3-listas con {0, . . . , 9} de la forma (m, m, m)} = 10 .
81
en Por tanto, |A| = |A1 A2 | = |A1 | + |A2 | |A1 A2 | = 100 + 100 10 = 190. Aunque tambi podr amos haber resuelto el problema, de manera m as directa, calculando el tama no del complementario de A dentro del conjunto X de todas las 3-listas, Ac = {3-listas tales que 1a = 2a y 2a = 3a } que |A| = |X | |Ac | = 10 10 La regla del producto nos dice que |Ac | = 10 9 9, as 10 10 9 9 = 190. Por supuesto, nos encontraremos muchas veces con el problema de evaluar el tama no de la uni on de tres conjuntos, o quiz as de cuatro, cinco, etc. Para el caso de tres con juntos, con la ayuda del diagrama de Venn correspondiente, que mostramos a la izquierda, o con el correspondiente argumento de doble conteo, es f acil convencerse de que la respuesta es
A1
A2
A3
|A1 A2 A3 | = |A1 | + |A2 | + |A3 | |A1 A2 | |A1 A3 | |A2 A3 | + |A1 A2 A3 | . Escribamos la expresi on general. B. Principio de inclusi on/exclusi on (versi on general) Consideremos una colecci on A1 , A2 , . . . , An de subconjuntos de un conjunto X . Entonces,
n
|A1 A2 An | =
j =1
(1)j +1 j
donde los j son las sumas de los tama nos de todas las posibles intersecciones de j conjuntos: 1 = |A1 | + |A2 | + + |An | 2 = |A1 A2 | + |A1 A3 | + + |An1 An | 3 = |A1 A2 A3 | + + |An2 An1 An | . . . n = |A1 A2 An | En los usos habituales del principio de inclusi on/exclusi on, estaremos interesados en calcular el n umero de elementos de un conjunto X que respetan ciertas prohibiciones. Si llamamos Pj a una cierta propiedad que los elementos de X pueden cumplir o no, querremos contar (versi on preliminar 28 de septiembre de 2009)
82
cu antos elementos X no cumplen ninguna de estas propiedades (consideraremos las Pj como propiedades no deseadas, como prohibiciones). Consideraremos entonces los subconjuntos Aj = {elementos de X que satisfacen la propiedad Pj } y buscaremos X
j
Aj = |X |
j
|Aj | +
i<j
|Ai Aj |
an el mismo tama no, Ocurrir a en ocasiones que todos los conjuntos Aj involucrados tendr y lo mismo para las intersecciones dos a dos, tres a tres, etc., lo que nos permitir a obtener f ormulas manejables. El lector especialmente impaciente de ver este principio en acci on en diversos ejemplos puede consultar la subsecci on 3.1.6, en la que tambi en encontrar a una prueba formal del resultado.
2.3 EJERCICIOS DE LA SECCION 2.3.1 (a) Cu antos n umeros distintos de tres d gitos diferentes se pueden formar con las cifras {1, 2, . . . , 9}? (b) Cu antos de estos son n umeros pares? 2.3.2 (a) Queremos ordenar las 27 letras del alfabeto de forma que a y b no aparezcan consecutivamente. De cu antas maneras distintas se podr a hacer? (b) Y si adem as a y c no pueden aparecer consecutivamente? 2.3.3 Cu antos enteros entre 1 y 10000 tienen exactamente un 8 y un 9 en su expresi on decimal? 2.3.4 Tenemos eslabones de n colores. Cu antos collares distintos de longitud en principio arbitraria se pueden fabricar de forma que los eslabones sean de colores distintos? 2.3.5 Cu antos n umeros naturales tienen en su expresi on en base 10 todos sus d gitos distintos? 2.3.6 Siguiendo con el ejemplo 2.3.2, compru ebese que la probabilidad de que una lista sin repetici on con los s mbolos {1, 2, . . . , n} tenga longitud al menos n/2 tiende a 1 cuando n . 2.3.7 Compru ebese que Cn , el n- esimo n umero de Catalan, es el n umero de de formas de triangular (con n tri angulos) un pol gono con n + 2 lados. (Nota: este fue el problema que trat o originalmente Eug` ene Catalan.) 2.3.8 Tenemos un conjunto X y unos subconjuntos suyos A1 , . . . , Ak . Pru ebese que
k
(a)
|A1 A2 Ak |
j =1,...,k
m n |Aj |;
(b)
|A1 A2 Ak |
j =1
|Aj | (k 1)|X | .
2.3.9 En una batalla entre 100 combatientes, 80 perdieron un brazo, 85 una pierna, 70 un ojo, y 75 una oreja. Un n umero indeterminado x perdi o las cuatro cosas. Demu estrese23 que 10 x 70.
23 Este es un simp atico ejercicio perge nado por Lewis Carroll para estimular la ingenua, sana y dulce imaginaci on de sus lectores infantiles.

Capi2 Combinatoria 0910

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Capi2 Combinatoria 0910

Cargado por

Copyright:

Formatos disponibles

Cap tulo 2

Las t ecnicas b asicas de la Combinatoria

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

2.1. Aprendiendo a contar

As que podemos establecer la biyecci on A = {n N : n es divisor de 60000}

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

(versi on preliminar 28 de septiembre de 2009)

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

(versi on preliminar 28 de septiembre de 2009)

(versi on preliminar 28 de septiembre de 2009)

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

Figura 2.2: Galileo

(versi on preliminar 28 de septiembre de 2009)

2.1. Aprendiendo a contar

(versi on preliminar 28 de septiembre de 2009)

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

(versi on preliminar 28 de septiembre de 2009)

(versi on preliminar 28 de septiembre de 2009)

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

Figura 2.4: G odel

(versi on preliminar 28 de septiembre de 2009)

2.1. Aprendiendo a contar

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

Ya estamos en disposici on de denir la aplicaci on h : A B dada por h(x) = f (x) g 1 (x) si x C ; si x / C.

(versi on preliminar 28 de septiembre de 2009)

2.1. Aprendiendo a contar

N, esto es, el producto

(versi on preliminar 28 de septiembre de 2009)

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

La regla del producto

2.2. La regla del producto

(versi on preliminar 28 de septiembre de 2009)

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

Listas con y sin repetici on

k-listas con repetici on permitida formadas con elementos de {1, . . . , n}

(versi on preliminar 28 de septiembre de 2009)

2.2. La regla del producto

(versi on preliminar 28 de septiembre de 2009)

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

(versi on preliminar 28 de septiembre de 2009)

2.2. La regla del producto

(versi on preliminar 28 de septiembre de 2009)

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

(versi on preliminar 28 de septiembre de 2009)

2.2. La regla del producto

E da lugar a las listas lineales

(a, b, b, b) (b, a, b, b) (b, b, a, b) (b, b, b, a)

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

Composiciones de un n umero natural

12121 1 . . . 121 . . . 121

(1212121 121 1 1 121)

un entero. En la subsecci on 3.1.2 interesar a contar cu antas de ellas

La regla de la suma y el principio de inclusi on/exclusi on

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

Ai = A y, adem as, que Ai Aj = , si i = j .

#{ subconjuntos A1 . . . , Ak a los que pertenece a}

j -listas sin repetici on formadas con {1, . . . , n}

j -listas sin repetici on con {1, . . . , n}

sicas de la Combinatoria Cap tulo 2. Las t ecnicas ba

a0 ((a1 a2 ) a3 ) a0 (a1 (a2 a3 )) (a0 , a1 , a2 , a3 ) (a0 a1 ) (a2 a3 ) (a0 (a1 a2 )) a3 ((a0 a1 ) a2 ) a3

Ck Cnk1 = C0 Cn1 + C1 Cn2 + + Cn1 C0 .

2.3. La regla de la suma y el principio de inclusi on/exclusi on

El ejercicio 2.3.7 contiene otras interpretaciones de estos n umeros de Catalan.