Invitación a la matemática discreta Departamento de Matemática Aplicada Universidad Charles, Praga
8WhY[bedWÈ8e]ej|È8k[dei7_h[iÈ9WhWYWiÈCn_Ye
Registro bibliográfico (ISBD) Matoušek, JiĜí [Invitation to Discrete Mathematics. Español] Invitación a la matemática discreta / JiĜí Matoušek, Jaroslav NešetĜil ; [versión española traducida por Anna Lladó Sánchez]. – Barcelona : Reverté, [2008] XVII, 442 p. : il. col. ; 24 cm.– Traducción de: Invitation to Discrete Mathematics. –. Índice DL B-24070-08. – ISBN 978-84-291-5180-0 1. Matemáticas. 2. Informática. I. Matoušek, JiĜí. II. NešetĜil, Jaroslav L. III. Lladó Sánchez, Anna, trad. III. Título. 519.1 : 004
Título de la obra original: Invitation to Discrete Mathematics
Versión original publicada en lengua inglesa en 1998 por: Oxford University Press Copyright © JiĜí Matoušek and Jaroslav NešetĜil. All Rights Reserved
Versión española traducida por: Anna Lladó Profesora Titular de Matemática Aplicada Universidad Politécnica de Cataluña, Barcelona, España EL DIBUJO QUE APARECE EN LA CUBIERTA ES DE JIěÍ NAýERADSKÝ Y JAROSLAV NEŠETěIL.
Propiedad de: EDITORIAL REVERTÉ, S. A. Loreto, 13-15. Local B 08029 Barcelona. ESPAÑA Tel: (34) 93 419 33 36 Fax: (34) 93 419 51 89
[email protected] Reservados todos los derechos. Cualquier forma de reproducción, distribución, comunicación pública o transformación de esta obra sólo está permitida con la autorización de sus titulares, salvo excepción prevista en la ley. Diríjase al editor si necesita fotocopiar o escanear algún fragmento de esta obra. Edición en español: © Editorial Reverté, S. A., 2008 ISBN: 978-84-291-5180-0 Impreso en España - Printed in Spain Depósito Legal: B-24070-08 Impreso por Liberdúplex, S.LU.
Pr´ologo a la edici´ on espa˜ nola La presente traducci´on est´a basada en la edici´ on inglesa de nuestro libro publicada por Oxford University Press. Sin embargo, hemos incluido algunas mejoras: hemos cambiado el texto en diversas partes (confiamos que mejorando lo anterior), hemos orregido diversos errores y hemos llenado algunas lagunas. El cap´ıtulo sobre la f´ ormula de Cayley para el n´ umero de ´arboles generadores se ha complementado con una nueva demostraci´ on, relativamente reciente y quiz´as una de las m´as simples. El Ap´endice que contiene nociones algebraicas ha sido complementado con material sobre ´algebra universal. Creemos que nuestra traductora, Prof. Anna Llad´ o, ha hecho un gran trabajo y queremos expresarle nuestro agradecimiento por su excelente cooperaci´on. En el primer cap´ıtulo de Introducci´ on discutimos ampliamente los prop´ ositos y objetivos que nos animaron a escribir este texto. Ahora s´olo nos gustar´ıa a˜ nadir que el libro fue escrito en el marco y en la tradici´ on de la educaci´ on universitaria europea. Por ello nos sentimos muy satisfechos por la publicaci´on de esta traducci´on en espa˜ nol.
Praga Marzo 2008
J. M. J. N.
Prefacio ¿Por qu´e un libro de texto sobre matem´ atica discreta debe tener un prefacio tan largo? ¿Y qu´e queremos decir en ´el? Hay muchas maneras de presentar la matem´atica discreta, y para empezar mencionamos algunas de las l´ıneas generales que intentamos seguir en nuestro texto; el lector podr´ a juzgar despu´es hasta qu´e punto hemos conseguido nuestro prop´ osito. Para un posible curso basado en este libro, a˜ nadimos tambi´en algunas observaciones t´ecnicas, ejercicios, literatura existente y otras cuestiones de inter´es. A continuaci´ on destacamos algunas caracter´ısticas que quiz´as distingan este libro de otros textos con t´ıtulo y temas similares: Desarrollo del pensamiento matem´ atico. Mas all´a de presentar conocimientos nuevos, nuestro primer prop´ osito, y quiz´ as el m´as importante, es guiar al estudiante para que entienda y aprecie ciertas nociones, definiciones y demostraciones matem´aticas con el fin de que aprenda a resolver problemas que requieran algo m´as que las recetas habituales, y que pueda adem´as aprender a expresar pensamientos matem´aticos con precisi´on y rigor. Los h´ abitos matem´aticos pueden proporcionar grandes ventajas en muchas actividades humanas, por ejemplo en programaci´ on o en 1 el dise˜ no de sistemas complejos . Parece que muchas empresas privadas (que ofrecen buenos sueldos) son sensibles a este hecho. No est´an realmente interesadas en si uno sabe de memoria la inducci´ on matem´atica, sino m´as bien en la habilidad para pensar y absorber r´ apidamente conceptos complejos, y al parecer los teoremas matem´aticos proporcionan un buen entrenamiento para desarrollar esa habilidad. La elecci´ on de un tema espec´ıfico para esta formaci´ on no es probablemente esencial: si el lector est´a entusiasmado con el ´algebra, ciertamente no trataremos de convertirle a la combinatoria. Sin embargo, creemos que la matem´atica discreta es particularmente adecuada para una 1
Por otra parte, es preciso tambi´en tener presente que en muchas otras actividades humanas los h´ abitos matem´ aticos m´ as bien deber´ıan evitarse.
viii
Prefacio
primera inmersi´ on en las matem´aticas, puesto que los problemas y nociones iniciales son m´as elementales que en otras ramas, como por ejemplo en an´ alisis, donde se empieza con ideas bastante profundas desde el principio. M´etodos, t´ecnicas, principios. En los planes de estudio universitarios contempor´aneos, la matem´atica discreta normalmente significa matem´atica de conjuntos finitos, y a menudo incluye temas tan diversos como la l´ogica, aut´omatas finitos, programaci´on lineal o arquitectura de ordenadores. Nuestro texto tiene un marco m´ as limitado; el libro es esencialmente una introducci´on a la combinatoria y a la teor´ıa de grafos, e incluso alguien familiarizado con estas ´areas podr´ıa echar en falta algunos de sus temas favoritos (como emparejamientos y flujos en redes, la teor´ıa de Ramsey o la NP-completitud, por mencionar s´ olo algunos). Nos centraremos en relativamente pocos m´etodos y principios b´ asicos, con el prop´osito de mostrar la gran variedad de t´ecnicas matem´aticas que existen incluso a este nivel b´asico, y la elecci´on del material est´a subordinada a ello. El placer. Este libro est´ a escrito para aquellos lectores que disfrutan con las matem´ aticas, aunque s´olo sea de vez en cuando, y nuestro m´aximo deseo es que pueda ayudarles a desarrollar algunos sentimientos positivos hacia las matem´aticas que pudieran estar latentes hasta el momento. En nuestra opini´ on, este es un prerrequisito clave: un placer est´etico hacia una idea matem´atica elegante, a veces mezclada con un sentimiento de triunfo cuando la idea es dif´ıcil de entender o de descubrir. No todo el mundo parece tener este don, al igual que no todo el mundo disfruta con la m´ usica, pero nos imaginamos que estudiar matem´aticas sin ´el puede ser una cosa m´as que aburrida. Todas las cartas sobre la mesa. Intentamos presentar argumentos completos para ser matem´aticamente honestos con el lector. Cuando decimos que algo es f´ acil de ver, realmente creemos que es as´ı, pero si el lector no puede verlo, esto probablemente significa que algo est´a mal; quiz´ as hemos juzgado mal la situaci´on, pero tambi´en puede indicar un problema del lector en el seguimiento y comprensi´on del texto precedente. Siempre que sea posible, haremos que el texto sea autocontenido (a veces indicaremos las demostraciones de resultados auxiliares con ejercicios guiados), y si la demostraci´on de alg´ un resultado no puede presentarse
Prefacio
ix
rigurosamente y por completo (como es el caso de algunos resultados sobre grafos planares, por ejemplo), pondremos ´enfasis en ello e indicaremos los pasos que no est´an completamente justificados. Inform´ atica. Hoy en d´ıa un gran n´ umero de estudiantes de matem´atica discreta son inform´aticos. A pesar de ello, creemos que incluso la gente que no sabe nada de ordenadores ni de inform´ atica, o incluso la que considera que estas materias son repulsivas, debe tener libre acceso al conocimiento de la matem´atica discreta, de forma que hemos evitado intencionadamente sobrecargar el texto con terminolog´ıa y ejemplos de inform´ atica. Sin embargo, no hemos olvidado a los inform´ aticos y hemos incluido varios pasajes sobre algoritmos eficientes junto con su an´ alisis, adem´as de un cierto n´ umero de ejercicios concernientes a algoritmos (v´ease m´as adelante). Otras voces, otros lugares. Al exponer los temas de este libro se presentan varias oportunidades para mostrar algunos conceptos de otras ramas actualmente activas de las matem´aticas, y aunque de forma intencionada restringimos el marco conceptual del libro, queremos resaltar estas conexiones. Nuestra experiencia nos dice que los estudiantes aprecian este tipo de aplicaciones, siempre que se hayan tratado suficientemente y no s´olo de modo superficial. Prerrequisitos y lectores. En la mayor parte del libro suponemos que no hay un conocimiento matem´ atico previo superior al que se atribuye a un curso est´ andar de secundaria. En el primer cap´ıtulo se explican varias nociones abstractas muy comunes en todas las matem´aticas y que est´an m´as all´a del nivel usual de secundaria. En varias ocasiones, necesitamos algunos conceptos de ´algebra elemental, y estos est´an resumidos en un ap´endice. Tambi´en hacemos algunas incursiones en el c´alculo (nociones tales como l´ımite, derivada, continuidad, y dem´ as), pero creemos que la mayor´ıa de los estu diantes que quieran seguir un curso relacionado con este libro tienen ya un conocimiento b´ asico de c´alculo. Los lectores de este libro pueden ser estudiantes universitarios no graduados de matem´ aticas o inform´ atica con una preparaci´ on matem´atica b´asica de la escuela secundaria (como es habitual en la mayor parte de Europa), y tambi´en para estudiantes m´as avanzados o reci´en graduados (en los Estados Unidos, por ejemplo). Tam-
x
Prefacio
bi´en algunos graduados no especializados, como bi´ ologos o qu´ımicos, pueden encontrar en el texto una fuente de recursos. Para lectores matem´aticos m´as avanzados, el libro puede servir como una introducci´ on r´apida a la combinatoria. En clase. Este libro est´ a basado en un curso para no graduados que hemos estado impartiendo durante mucho tiempo a estudiantes de matem´aticas e inform´atica en la Universidad Karlova de Praga. El segundo autor tambi´en imparti´ o parte del mismo en la Universidad de Chicago, en la Universidad de Bonn y en la Universidad Simon Fraser en Vancouver. Nuestro curso semestral en Praga (13 semanas, con clases de 90 minutos y unos 90 minutos de tutor´ıa por semana) inclu´ıan t´ıpicamente el material de los Cap´ıtulos 1 a 8, con muchas secciones cubiertas s´olo parcialmente y algunas otras sin cubrir (como por ejemplo 2.6, 3.5, 3.6, 4.5, 7.3–7.5, 8.2). Mientras que en el libro a veces se prueba un resultado de varias maneras, nosotros present´abamos s´olo una demostraci´ on en clase, y las demostraciones alternativas fueron ocasionalmente explicadas en las tutor´ıas. A veces insert´abamos dos clases para funciones generadoras (10.1 a 10.3) o una clase sobre el espacio de ciclos de un grafo (11.4). Hemos a˜ nadido material para nuestro curso b´ asico (y a veces no tan b´ asico), confiando que as´ı el lector podr´ a tambi´en leer algunas otras cosas que vayan m´as all´a de las partes que son necesarias para un examen. Algunos cap´ıtulos, muchos, pueden servir como introducciones para cursos especializados (sobre el m´etodo probabil´ıstico o sobre los m´etodos del ´algebra lineal). Los u ´ltimos tres cap´ıtulos y la u ´ltima secci´on del cap´ıtulo sobre el n´ umero de ´arboles generadores son de este tipo. Este tipo de letra peque˜ na se usa como material de “segundo nivel”, es decir, cosas que consideramos suficientemente interesantes para ser incluidas, pero menos esenciales. Son aclaraciones, comentarios y ejemplos adicionales, a veces a un nivel m´as avanzado que en un texto b´ asico. El texto principal debe, en general, tener sentido incluso si se omite el texto en letra peque˜ na. Intentamos tambi´en incluir alguna informaci´ on avanzada dentro de los ejercicios. As´ı, incluso personas que no intenten resolver los ejercicios pueden leerlos si as´ı lo desean.
Sobre los ejercicios. Al final de la mayor parte de las secciones, el lector encontrar´ a una peque˜ na o gran colecci´on de ejercicios. Algunos de ellos s´olo est´an relacionados vagamente con el tema correspon-
Prefacio
xi
diente y se incluyen como diversi´ on o como educaci´on matem´atica general. Resolver como m´ınimo algunos ejercicios es una parte esencial del estudio de este libro, aunque sabemos que el ritmo de la vida moderna y la naturaleza humana dif´ıcilmente permiten al lector invertir tiempo y esfuerzo para resolver la mayor parte de los 451 ejercicios propuestos (aunque ´esta pueda ser a la larga la manera m´as r´apida de conocer el material cubierto). En general no hemos incluido ejercicios rutinarios que solamente requieran la aplicaci´ on directa de alguna “receta” dada, como puede ser: “Aplica este algoritmo para este grafo concreto”. Creemos que la mayor´ıa de los lectores pueden comprobar por s´ı mismos su nivel de comprensi´on. Clasificamos los ejercicios en tres grupos de dificultad (sin asterisco, un asterisco y dos asteriscos). Suponemos que un buen estudiante que haya entendido el contenido de una secci´ on debe ser capaz de resolver la mayor´ıa de los ejercicios sin asterisco, aunque no necesariamente sin esfuerzo. Los ejercicios con un asterisco normalmente necesitan alguna idea o un conocimiento matem´atico algo m´as avanzado (de c´alculo, por mencionar alguno) y finalmente, los ejercicios con dos asteriscos requieran probablemente alguna idea brillante. La mayor parte de los ejercicios tienen soluciones cortas; pensamos que los c´alculos largos y tediosos siempre pueden evitarse. Nuestra clasificaci´on sobre la dificultad es subjetiva, y un ejercicio que parece f´acil para alguien puede ser inabordable para otros. Por tanto, si el lector no puede resolver un ejercicio sin asterisco, no debe desesperarse. Algunos de los ejercicios est´an tambi´en indicados con CS , una abreviaci´ on para indicar ciencias de la computaci´ on. Estos son normalmente problemas sobre el dise˜ no de algoritmos eficientes, que a veces requieren un conocimiento elemental sobre estructuras de datos. Los algoritmos dise˜ nados pueden tambi´en ser programados y comprobados, y de esta forma proveemos material para un curso avanzado de programaci´ on. Algunos de los ejercicios CS con asteriscos pueden servir (y han servido) como sugerencias para posibles proyectos, ya que normalmente requieren una combinaci´ on de un cierto ingenio matem´ atico, trucos algor´ıtmicos y cierta habilidad para programar. En un cap´ıtulo aparte se proporcionan indicaciones para muchos de los ejercicios. Son realmente indicaciones, no soluciones completas, y aunque aceptar una ayuda puede deslucir el placer de resolver un
xii
Prefacio
problema, escribir la soluci´ on completa y detallada puede ser tambi´en un objetivo para muchos estudiantes. Sobre la literatura. En las referencias no mencionamos el origen de todas las ideas y resultados utilizados en este libro. Aqu´ı nos gustar´ıa resaltar, y recomendar, una de estas fuentes, una larga colecci´ on de problemas combinatorios resueltos por Lov´ asz [7]. Este libro es excelente para un estudio avanzado de combinatoria, y tambi´en como enciclopedia para muchos resultados y m´etodos conocidos. Parece imposible ignorarlo al escribir un nuevo libro de combinatoria, y un n´ umero significativo de los ejercicios dif´ıciles propuestos aqu´ı est´an seleccionados de, o inspirados por, los problemas (menos avanzados) de Lov´ asz. El libro de Biggs [1] es una bonita introducci´ on como libro de texto con un punto de vista diferente del nuestro. Ligeramente m´ as avanzados (adecuados como continuaci´ on de nuestro texto, digamos) son los libros de Van Lint y Wilson [6] y de Cameron [3]. El excelente texto introductorio de teor´ıa de grafos de Bollob´ as [2] est´a probablemente escrito con objetivos similares a los nuestros, pero con un ritmo m´as r´apido y cubriendo mucho m´ as la parte correspondiente a teor´ıa de grafos. Un libro de texto sobre teor´ıa de grafos, relativamente reciente, a nivel de licenciatura es el de Diestel [4]. El arte de la combinatoria computacional y an´ alisis asint´ otico est´a perfectamente explicado en un libro bien conocido de Graham, Knuth y Patashnik [5] (y tambi´en en la monograf´ıa de Knuth [38]). Si se busca algo espec´ıfico en combinatoria y no se sabe por d´ onde empezar, sugerimos el Handbook of Combinatorics [35]. Otras recomendaciones para la literatura est´an mencionadas a lo largo de todo el texto. El n´ umero de libros de texto en matem´atica discreta es vasto, y aqu´ı s´olo mencionamos algunos de los m´as estimados por nosotros. Sobre el ´ındice. Para la mayor´ıa de los t´erminos matem´aticos, especialmente los de significado general (como relaci´on, grafo), el ´ındice de t´erminos s´olo hace referencia a su significado. Los s´ımbolos matem´aticos formados por letras latinas (como Cn ) est´an colocados al principio de la secci´ on de s´ımbolos correspondiente. La notaci´ on que incluye s´ımbolos especiales (como X \ Y , G ∼ = H) y las letras griegas se encuentran tambi´en al principio del ´ındice. Agradecimientos. Una versi´ on preliminar checa de este libro fue desarrollada gradualmente en nuestras clases de Praga. Agradecemos a nuestros colegas del Departamento de Matem´atica Aplicada de la
Prefacio
xiii
Universidad Karlova y a nuestros estudiantes su est´ımulo, sus comentarios y sugerencias sobre el texto y los ejercicios. En particular, Pavel Socha, Eva Matouˇskov´ a, Tom´aˇs Holan y Robert Babilon descubrieron cierto n´ umero de errores en la versi´on checa. Martin Klazar y Jiˇr´ı Otta proporcionaron una lista de una docena de problemas y ejercicios; esta lista fue el n´ ucleo inicial de nuestra colecci´on de ejercicios. Nuestro colega Jan Kratochv´ıl nos proporcion´ o inestimables observaciones basadas en su experiencia como profesor del curso. Agradecemos a Tom´aˇs Kaiser su sustancial ayuda en la traducci´ on de un cap´ıtulo al ingl´es. Adam Dingle y Tim Childers nos ayudaron con algunos comentarios en ingl´es en las primeras etapas de la traducci´ on. Jan Nekov´ aˇr fue muy amable al abandonar brevemente las cimas de la teor´ıa de n´ umeros y ofrecernos indicaciones para una adecuada demostraci´on del Hecho 10.7.1. Varias personas leyeron la versi´on inglesa en varias ocasiones y nos proporcionaron una claridad que probablemente nunca se nos hubiera ocurrido a nosotros. Un agradecimiento especial para Jeff Stopple por visitarnos en Praga, leer cuidadosamente todo el manuscrito y compartir con nosotros parte de su sabidur´ıa en cuanto a la ense˜ nanza. Estamos realmente en deuda con Mari Inaba y Helena Neˇsetˇrilov´ a ´tiles y diferentes de casi todos por sus comentarios, que fueron muy u los dem´as lectores. Fueron tambi´en importantes algunos informes obtenidos por Oxford University Press de algunos revisores an´ onimos. La mayor parte del trabajo de pulir y completar el libro se debe al primer autor durante su estancia en el Eidgen¨ ossische Technische Hochschule (ETH) de Zurich. Emo Welzl y los miembros de su equipo proporcionaron un entorno muy agradable y amistoso, incluso despu´es de que se les pidiera a cada uno de ellos la lectura de un cap´ıtulo, y as´ı la ayuda de Hans-Martin Will, Beat Trachsler, Bernhard von Stengel, Lutz Kettner, Joachim Giesen, Bernd G¨ artner, Johannes Bl¨omer y Artur Andrzejak se agradece realmente. Tambi´en agradecemos a Hee-Kap Ahn la lectura de un cap´ıtulo. A continuaci´ on nos gustar´ıa agradecer a Karel Hor´ ak, cuyas sugerencias de experto ayudaron al primer autor en sus dificultades para la presentaci´on final del libro (desafortunadamente, los tiempos en los que los libros eran mecanografiados por tip´ ografos profesionales parecen haberse terminado), y a Jana Chleb´ıkov´ a por una larga lista de correcciones tipogr´aficas menores.
xiv
Prefacio
Casi todas las figuras fueron dibujadas por el primer autor usando el editor gr´ afico Ipe 5.0. En nombre de la humanidad, agradecemos a Otfried Cheong (anteriormente Schwarzkopf) su creaci´ on. Finalmente, no debemos olvidar que S¨ onke Adlung fue extremadamente amable con nosotros y muy u ´ til durante el proceso de edici´ on, y tambi´en fue un placer trabajar con Julia Tompson en las etapas finales de la preparaci´ on del libro. Un ruego final. Un texto largo de matem´aticas normalmente contiene un n´ umero sustancial de errores. Comparado con varias versiones preliminares del libro, hemos corregido un gran n´ umero de ellos, pero seguramente a´ un quedan algunos. Por consiguiente agradeceremos a los lectores que descubran errores, malas formulaciones, falsas ayudas en los ejercicios, etc., que nos lo comuniquen.2 Praga Febrero 1998
2
J. M. J. N.
Se pueden enviar los correos electr´ onicos sobre este libro a
[email protected]. Actualmente se puede acceder a la p´ agina de Internet correspondiente al libro con la lista de errores. http://kam.mff.cuni.cz/~matousek/IDM/.
´Indice 1. Introducci´ on y conceptos b´ asicos 1.1. Un surtido de problemas 1.2. N´ umeros y conjuntos: notaci´ on 1.3. Inducci´ on matem´atica y otras demostraciones 1.4. Funciones 1.5. Relaciones 1.6. Equivalencias 1.7. Conjuntos ordenados
1 2 8 17 27 35 40 43
2. Enumeraci´ on combinatoria 2.1. Aplicaciones y subconjuntos 2.2. Permutaciones y factoriales 2.3. Coeficientes binomiales 2.4. Estimaci´on: una introducci´ on 2.5. Estimaci´on: la funci´ on factorial 2.6. Estimaciones: coeficientes binomiales 2.7. Principio de inclusi´ on–exclusi´ on 2.8. La dama del guardarropa
51 51 57 60 71 80 88 93 99
3. Grafos: una introducci´ on 3.1. La noci´ on de grafo; isomorfismo 3.2. Subgrafos, componentes, adyacencias 3.3. Secuencia de grados de un grafo 3.4. Grafos eulerianos 3.5. Un algoritmo para un recorrido euleriano 3.6. Grafos dirigidos eulerianos 3.7. 2-conectividad
105 105 114 121 127 133 137 142
´ 4. Arboles 4.1. Definici´ on y caracterizaciones de los ´arboles 4.2. Isomorfismo de ´arboles ´ 4.3. Arboles generadores de un grafo 4.4. El problema del a´rbol generador minimal 4.5. Los algoritmos de Jarn´ık y de Bor˚ uvka
150 150 157 164 169 175
xvi ´Indice 5. Dibujar grafos en el plano 5.1. Dibujar en el plano y en otras superficies 5.2. Ciclos en grafos planares 5.3. La f´ ormula de Euler 5.4. Coloraci´on de mapas: el problema de los cuatro colores
181 181 189 196
6. Doble conteo 6.1. Argumentos de paridad 6.2. Teorema de Sperner para anticadenas 6.3. Un resultado de la teor´ıa extremal de grafos
218 218 228 235
7. N´ umero de ´ arboles generadores 7.1. El resultado 7.2. Una demostraci´ on v´ıa secuencia de grados 7.3. Una demostraci´ on con vertebrados 7.4. Una demostraci´ on usando el c´ odigo de Pr¨ ufer 7.5. Una demostraci´ on con determinantes
240 240 241 244 246 249
8. Planos proyectivos finitos 8.1. Definici´ on y propiedades b´ asicas 8.2. Existencia de planos proyectivos finitos 8.3. Cuadrados latinos ortogonales 8.4. Aplicaciones combinatorias
258 258 268 274 278
9. Probabilidad y demostraciones probabil´ısticas 9.1. Demostraciones por conteo 9.2. Espacios de probabilidad finitos 9.3. Variables aleatorias y su esperanza 9.4. Varias aplicaciones
281 281 288 299 306
10. Funciones generadoras 10.1. Aplicaciones combinatorias de polinomios 10.2. C´alculo con series de potencias 10.3. N´ umeros de Fibonacci y la raz´ on ´aurea ´ 10.4. Arboles binarios 10.5. Sobre tirar el dado 10.6. Paseo aleatorio 10.7. Particiones de enteros
316 316 320 332 340 345 347 350
11. Aplicaciones del ´ algebra lineal 11.1. Dise˜ nos de bloques
358 358
206
´Indice
11.2. Desigualdad de Fisher 11.3. Recubrir con grafos completos bipartitos 11.4. Espacio de ciclos de un grafo 11.5. Circulaciones y cortes: espacio de ciclos 11.6. Verificaci´ on probabil´ıstica
xvii 364 367 370 375 380
Ap´ endice: Prerrequisitos de ´ algebra
391
Bibliograf´ıa
399
Indicaciones para los ejercicios seleccionados
405
´ Indice de t´ erminos
429
1 Introducci´ on y conceptos b´asicos En este cap´ıtulo de introducci´ on veremos primero algunos ejemplos de los problemas y cuestiones que trataremos en este libro. Despu´es explicaremos algunas nociones y t´ecnicas b´asicas que se aplican en casi todas las ramas de las matem´aticas; la mayor´ıa de ellas fundamentales y sencillas. Supondremos que el lector est´a familiarizado o que, al menos, ha o´ıdo hablar de algunas de ellas. As´ı, nos limitaremos a revisar estas nociones, daremos las definiciones formales y descubriremos varias maneras de captar el significado de estos conceptos mediante diagramas y dibujos. El lector que prefiera una introducci´on m´as detallada de estas cuestiones b´asicas puede consultar, por ejemplo, el texto de Stewart y Tall [8]. En la Secci´ on 1.1 presentamos varios problemas que estudiaremos m´as adelante en este libro, junto con algunas reflexiones sobre la importancia de los problemas matem´aticos y otras cosas por el estilo. En la Secci´ on 1.2, que es un un repaso de la notaci´ on, introduciremos algunos s´ımbolos comunes de operaciones entre conjuntos o n´ umeros, como, por ejemplo, ∪ para la uni´ on de conjuntos o para la suma de una sucesi´on de n´ umeros. La mayor´ıa de estos s´ımbolos son est´andar, y el lector debe ser capaz de pasar r´ apidamente esta secci´on y mirar el ´ındice de vez en cuando para refrescar la memoria. En la Secci´ on 1.3 hablaremos de la inducci´ on matem´atica como m´etodo importante que se utilizan para demostrar afirmaciones en el contexto de la matem´atica discreta. Aqu´ı ser´a suficiente entender este principio b´ asico; en cap´ıtulos posteriores ya habr´ a muchas oportunidades para ver y practicar varias aplicaciones en las que se usa inducci´ on. En esta secci´on tambi´en comentaremos algo sobre las demostraciones matem´aticas en general.
2
Introducci´ on y conceptos b´asicos
En la Secci´ on 1.4 recordaremos la noci´ on de funci´ on y definiremos algunos tipos especiales de funciones: las inyectivas, las suprayectivas y las biyectivas, t´erminos que se usar´an frecuentemente a lo largo de este libro. En las Secciones 1.5 a 1.7 hablaremos de relaciones y de algunos tipos especiales de relaciones, como las de equivalencia y las de orden. Estos u ´ ltimos t´erminos tambi´en pertenecen al conjunto de palabras realmente esenciales en el vocabulario matem´atico. Sin embargo, como son conceptos generales simples que a´ un no hemos revisado con ejemplos particulares interesantes, algunos lectores pueden encontrarlos, en una primera lectura,“demasiado abstractos”, una forma elegante de decir “aburridos”. Estos lectores pueden leer por encima estas secciones y volver a ellas m´as adelante. Por ejemplo, los conjuntos ordenados (Secci´ on 1.7) s´olo son necesarios para una comprensi´ on completa de la Secci´on 6.2 y tambi´en para algunos de los ejercicios de este libro, aunque ciertamente deben formar parte de una educaci´ on matem´atica m´as profunda. (Cuando se aprende una nueva lengua, memorizar las formas gramaticales del verbo “ser”no es precisamente demasiado apasionante, pero despu´es de un cierto tiempo puede llegar a ser realmente dif´ıcil hablar con fluidez sabie n do s´olo el “yo soy” o bien el “´el es”. Bien, esto es lo que tenemos que hacer en este cap´ıtulo: repasar el lenguaje matem´atico.)
1.1 Un surtido de problemas Veamos algunos de los problemas que trataremos en este libro. Aqu´ı presentaremos algunos problemas populares de las matem´aticas recreativas, por lo que es posible que el lector ya conozca algunos de estos rompecabezas”. Un problema bien conocido es el de las tres casas y los tres pozos. Hace ya tiempo, en una pradera de un reino lejano hab´ıa tres hermosas casas blancas, con agua limpia y fresca. Todo iba bien, hasta que un d´ıa los due˜ nos de las casas comenzaron a pelearse entre s´ı y no hab´ıa forma de resolver la disputa. Los habitantes de cada casa quer´ıan tener tres caminos que les llevaran de su puerta a cada uno de los tres pozos, tres caminos que no se cruzaran con ninguno de los caminos de sus vecinos. ¿Es posible encontrar alguna soluci´ on satisfactoria para todos ellos y devolver as´ı la paz al lugar?
1.1 Un surtido de problemas
3
Con s´olo dos pozos habr´ıa una posible soluci´ on:
Pero con tres pozos, no hay esperanza (a no ser que aquellos hombres y mujeres tan orgullosos quisieran usar t´ uneles o puentes, lo que parec´ıa m´as bien improbable). ¿Sabr´ıas expresar este problema en lenguaje matem´atico y demostrar que no tiene soluci´ on? Esencialmente, ´este es un problema que implica dibujar en el plano. Muchos otros problemas que veremos en este libro pueden formularse tambi´en con dibujos. Si trazamos cada l´ınea una sola vez, ¿puede dibujarse la figura siguiente sin separar el l´ apiz del papel?
¿Y esta otra?
En caso negativo, ¿por qu´e no? ¿Existe alguna manera f´ acil de distinguir las figuras que pueden dibujarse de esta forma de aquellas que no lo permiten? (¿Podr´ıas encontrar historias bonitas que acompa˜ nen a este problema y tambi´en a los siguientes?) Para los problemas que siguen, dibuja 8 puntos en el plano de manera que ning´ un subconjunto de 3 puntos est´e sobre una misma recta (el n´ umero 8 es bastante arbitrario; en general podr´ıamos considerar n de estos puntos). Uniendo mediante segmentos algunos pares de puntos, obtenemos un dibujo como el que sigue:
4
Introducci´ on y conceptos b´asicos
¿Cu´al es el n´ umero m´aximo de segmentos que pueden dibujarse de manera que no aparezca ning´ un tri´ angulo con v´ertices en los puntos? El dibujo siguiente tiene 13 segmentos:
Con estos 8 puntos, ¿se puede trazar alg´ un segmento m´as sin que exista ning´ un tri´ angulo? Seguramente lo conseguir´ as, pero ¿puedes demostrar que tu resultado es el mejor posible? Supongamos ahora que queremos dibujar algunos segmentos de manera que dos puntos cualesquiera puedan unirse mediante el camino formado por los segmentos dibujados. En este camino s´olo est´a permitido cambiar de segmento en los puntos y no en los cruces. En el dibujo de abajo situado a la izquierda tenemos una soluci´ on v´ alida, mientras que en el de la derecha tenemos otra que no lo es:
¿Cu´al es el n´ umero m´ınimo de segmentos que podemos trazar? ¿Y cu´antas soluciones diferentes existen con este n´ umero m´ınimo de segmentos? ¿C´omo podemos encontrar una soluci´ on para que la longitud total de todos los segmentos dibujados sea la menor posible? Todos estos problemas son versiones populares de algunas cuestiones b´asicas y sencillas de la teor´ıa de grafos, que es uno de los principales temas de este libro (tratado en los Cap´ıtulos 3, 4 y 5).
1.1 Un surtido de problemas
5
En los problemas anteriores con los 8 puntos del plano, es f´ acil ver que la posici´ on en que se dibujan los puntos es irrelevante; lo importante es cu´ales son los pares de puntos que se unen mediante un segmento y cu´ales no. La mayor´ıa de las ramas en teor´ıa de grafos tratan con problemas que pueden expresarse en forma geom´etrica pero en los que la geometr´ıa no juega ning´ un papel esencial. Sin embargo, el problema de las casas y los pozos pertenece a una parte “realmente” geom´etrica de la teor´ıa de grafos. All´ı era esencial que los caminos pudieran construirse en el plano. Si las casas y los pozos estuvieran en un planeta con forma de neum´ atico, entonces el problema tendr´ıa soluci´on:
La enumeraci´ on combinatoria, tratada en los Cap´ıtulos 2 y 10, es otro tema importante de este libro. En este caso los problemas normalmente empiezan as´ı “¿Cu´antas maneras hay de . . . ”, o algo similar. Ya se mencion´o una pregunta de este tipo en nuestra serie de problemas de los “8 puntos” (y la totalidad del Cap´ıtulo 7 est´a dedicada a ello). Probablemente ya habr´ as visto montones de problemas de este tipo; pero perm´ıtenos a˜ nadir uno m´ as. ¿De cu´antas maneras se pueden repartir n monedas en grupos? Por ejemplo, 4 monedas se pueden repartir de 5 maneras: 1 + 1 + 1 + 1 (4 grupos de 1 moneda cada uno), 1 + 1 + 2, 1 + 3, 2 + 2 y 4 (todas en un grupo, que no es realmente un “reparto” en el sentido que lo entiende la mayor´ıa de la gente, ¡pero qu´e se puede esperar de los matem´aticos!). Aunque existe una f´ ormula exacta para resolver este problema, nosotros no seremos capaces de darla aqu´ı porque su deducci´ on va m´as all´a del alcance de este libro. No obstante, obtendremos al menos una estimaci´on para este n´ umero, una funci´ on de n, y esta estimaci´on nos
1.2 N´ umeros y conjuntos: notaci´ on
11
elemento es ignorada: ¡el mismo elemento no puede estar contenido dos veces en el mismo conjunto! Con esta notaci´on, {2, 4, 6, 8, . . .} significa el conjunto de todos los n´ umeros naturales pares. El patr´ on apropiado que describe los elementos del conjunto deber´ıa ser evidente a primera vista. En el ejemplo, se entiende f´ acilmente que 1 2 3 {2 , 2 , 2 , . . .} denota el conjunto de todas las potencias de 2, mientras que {2, 4, 8, . . .} es menos claro. Pares ordenados y no ordenados. Como ya sabemos, el s´ımbolo {x, y} denota al conjunto que contiene exactamente los elementos x e y. En este caso particular, al conjunto {x, y} se le llama a veces el par no ordenado de x e y. Recordemos que {x, y} es lo mismo que {y, x}, y si x = y, entonces {x, y} es un conjunto con un u ´nico elemento. Tambi´en introducimos la notaci´ on (x, y) para el par ordenado de x e y. En este caso el orden de los elementos x e y es importante. Tenemos por tanto lo siguiente: (x, y) = (z, t) si y s´olo si x = z e y = t.
(1.1)
Curiosamente, el par ordenado se puede definir usando la noci´ on de par no ordenado, como sigue: (x, y) = {{x}, {x, y}} . Puedes verificar que los pares ordenados definidos de esta manera satisfacen la condici´ on (1.1). Sin embargo, en este texto ser´ a m´as f´acil para nosotros considerar (x, y) como otra noci´on primitiva.
De forma similar, escribimos (x1 , x2 , . . . , xn ) para la n-tupla ordenada formada por los elementos x1 , x2 , . . . , xn . Un caso particular de este convenio es la manera de escribir un punto del plano con coordenadas x e y como (x, y), y de forma an´ aloga para puntos o vectores en espacios de dimensiones superiores. Definir conjuntos. Habitualmente los conjuntos m´ as complicados e interesantes se crean a partir de conjuntos conocidos usando alguna regla. El conjunto de todos los cuadrados de los n´ umeros naturales se puede escribir {i2 : i ∈ N} o tambi´en {n ∈ N: existe k ∈ N tal que k 2 = n} o, usando el s´ımbolo ∃ para “existe”:
12
Introducci´ on y conceptos b´asicos
{n ∈ N: ∃k ∈ N (k 2 = n)}. Otro ejemplo es una definici´ on formal del intervalo abierto (a, b) introducido anteriormente: (a, b) = {x ∈ R: a < x < b}. Observa que el s´ımbolo (a, b) tanto puede denotar el intervalo abierto como el par ordenado formado por a y b. Estos dos significados deben distinguirse por el contexto (normalmente se puede). Esto es com´ un en todas las matem´aticas: muchos s´ımbolos, como los par´entesis en este caso, se usan de varias maneras distintas. Por ejemplo, (a, b) puede tambi´en denotar el m´aximo com´ un divisor de los n´ umeros naturales a y b (significado que evitaremos en este libro). Con los modernos sistemas de tipograf´ıa, no hay problema en usar cualquier clase de alfabetos y s´ımbolos, incluidos los jerogl´ıficos y por tanto alguien podr´ıa pensar en cambiar la notaci´ on en tales casos. Pero los matem´aticos tienden m´as bien a ser conservadores y la literatura existente es muy vasta, por lo que las nuevas notaciones tienen en general una vida corta.
El conjunto vac´ıo. Un conjunto importante es el que no contiene ning´ un elemento en absoluto. Solamente existe uno de estos conjuntos y normalmente se denota por ∅ y se llama conjunto vac´ıo. Cabe destacar que el conjunto vac´ıo puede ser un elemento de otro conjunto. Por ejemplo, {∅} es el conjunto que contiene el conjunto vac´ıo como un elemento, y por tanto no es el mismo conjunto que ∅. Sistemas de conjuntos. En matem´aticas tratamos a menudo con conjuntos cuyos elementos son otros conjuntos. Por ejemplo, podemos definir el conjunto M = {{1, 2}, {1, 2, 3}, {2, 3, 4}, {4}}, cuyos elementos son cuatro conjuntos de n´ umeros naturales, m´as precisamente cuatro subconjuntos del conjunto {1, 2, 3, 4}. En la matem´atica discreta se encuentran este tipo de conjuntos muy a menudo. Para evitar decir “conjunto de conjuntos”, usamos el concepto de sistema de conjuntos o de familia de conjuntos. Podr´ıamos as´ı decir que M es una familia de conjuntos del conjunto {1, 2, 3, 4}. Estas familias de conjuntos se suelen denotar con letras caligr´ aficas may´ usculas, como M. Sin embargo, est´ a claro que una distinci´ on as´ı, usando varios tipos de letras, no puede ser siempre coherente; ¿qu´e hacemos si nos encontramos con un conjunto de conjuntos de conjuntos?
1.2 N´ umeros y conjuntos: notaci´ on
13
La familia formada por todos los posibles subconjuntos de alg´ un 3 X conjunto X se denota con el s´ımbolo 2 y a veces se llama potencia del conjunto X. Otra notaci´ on que aparece frecuentemente en la literatura para este conjunto es P(X), llamado partes de un conjunto. Tama˜ no de un conjunto. Una gran parte de este libro se dedica a contar varias clases de objetos. Por lo tanto es muy importante la notaci´ on que usemos para considerar el n´ umero de elementos de un conjunto finito X. Lo escribimos usando el mismo s´ımbolo que para el valor absoluto de un n´ umero: |X|. Una notaci´ on m´ as general para sumas y productos. A veces resulta ventajoso utilizar una forma m´ as general para escribir una n suma que usar el patr´ on i=1 ai . Por ejemplo,
i2
i∈{1,3,5,7}
significa la suma 12 + 32 + 52 + 72 . Bajo el signo de sumatorio, escribimos primero la variable y a continuaci´ on el conjunto de valores sobre los que se extiende la suma. Tenemos mucha libertad para denotar este conjunto de valores. A veces puede ser descrito en parte con palabras, como en el ejemplo siguiente:
i = 2 + 3 + 5 + 7.
i: 1≤i≤10 i es primo
Si el conjunto de valores para la suma es vac´ıo, el valor de la suma se define como 0, independientemente de lo que aparezca despu´es del signo sumatorio. Por ejemplo : 0 (i + 10) = 0, i=1
i4 = 0.
i∈{2,4,6,8} i impar
Una notaci´ on similar a la del sumatorio tambi´ emplear en se puede j para los productos. Un producto vac´ıo, como j: 2≤j
