Cap tulo 1 Preliminares

En esta parte repasaremos brevemente algunas nociones y notaciones que sern necesarias a para comprender adecuadamente el resto del material de este libro. Debe, sin embargo, quedar claro que este repaso queda fuera del rea de autmatas y lenguajes formales. Por otra a o parte, no es nuestra intencin hacer una introduccin para un lector que no tenga ninguna o o base en matemtica, especialmente en teor de conjuntos, sino que unicamente haremos a a un repaso, ayudando al lector a detectar sus puntos dbiles, adems de recordar nociones e a que pueden no estar frescas. Un objetivo adicional del presente cap tulo es uniformizar la notacin, que var bastante de libro a libro. Para los lectores que requieran una introduccin o a o ms exhaustiva a la teor de conjuntos y temas anes, recomendamos textos como [19]. a a

1.1.

Conjuntos

El fundamento ms importante para el estudio de los lenguajes y autmatas es la Teora a o de Conjuntos. En efecto, siempre que hablemos de formalizar una nocin, estaremos dio ciendo en realidad expresar en trminos de la Teor de Conjuntos. Es por esto que en este e a cap tulo presentamos los conceptos ms bsicos de dicha Teor de Conjuntos. a a a La idea de un conjunto como una coleccin de individuos u objetos no es, para un o verdadero matemtico, sucientemente precisa, y se parece a la nocin de clase; sin embargo, a o para nuestros propsitos es suciente. o Un conjunto que vamos a utilizar con frecuencia es el de los nmeros naturales, {1, 2, 3, . . .}, u denotado por N. Los conjuntos pueden expresarse de dos maneras bsicamente: a

En extensin, lo cual quiere decir que citamos expl o citamente cada uno de sus elementos, 3

CAP ITULO 1. PRELIMINARES como en el conjunto {1, 3, 5} que contiene exactamente los nmeros 1, 3 y 5. u En intencin, dando una descripcin precisa de los elementos que forman parte del o o conjunto, en vez de citarlos expl citamente. Por ejemplo, el conjunto del punto anterior u puede ser visto como {i N|impar(i), i < 6}, donde se supone que los nmeros impares cumplen la condicin impar(i). o

Representamos a los conjuntos con letras maysculas, como en A = {2, 4}. Los conjuntos u pueden contener conjuntos como elementos, como en B = {{a}, {b, c}}. El conjunto sin elementos (vac se representa por o bien por {}. o) La notacin a B signica que a es elemento o est contenido en el conjunto B; por o a ejemplo, {2, 3} {1, {2, 3}, 4}. Para indicar que a no est en B se escribe a B. a El tamao de un conjunto es el nmero de elementos que contiene, y se representa como n u |A| para un conjunto A. Por ejemplo, el tamao de {a, b, c} es 3, y el tamao de es cero. Por n n ejemplo, el tamao de {{a}, {b, c}} es 2 y no 3, pues tiene 2 elementos, siendo el primero {a} n y el segundo {b, c}. La denicin de tamao parece muy clara, pero hay conjuntos que no o n tienen un nmero determinado de elementos; estos se llaman innitos y sern discutidos u a ms adelante. a Dos conjuntos A y B son iguales, A = B, si y slo si tienen los mismos elementos, esto o es, x A ssi x B. 1 Por ejemplo, {1, {2, 3}} = {{3, 2}, 1}; vemos que en los conjuntos el orden de los elementos es irrelevante. Se supone que en los conjuntos no hay repeticiones de elementos, y que cada elemento del conjunto es distinto de todos los otros elementos. Sin embargo, si decimos, por ejemplo, i A, j A, no estamos suponiendo que i sea distinto de j, pues tanto i como j son elementos cualquiera de A. Si necesitamos que sean distintos, hay que indicarlo expl citamente, como en la expresin i, j A, i = j. o La notacin A B signica que el conjunto A est contenido en el conjunto B, o ms o a a tcnicamente, que A es subconjunto de B. Por ejemplo, el conjunto {a, c} es subconjunto e de {a, b, c}, indicado como {a, c} {a, b, c}. En otras palabras, A B cuando siempre que x A, tenemos tambin x B. Obsrvese que de acuerdo con esta denicin, A A para e e o cualquier conjunto A: todo conjunto es subconjunto de s mismo. Un caso extremo es el conjunto vac que es subconjunto de cualquier conjunto. o, Para indicar que un subconjunto contiene menos elementos que otro, es decir, que es un subconjunto propio de ste, se escribe A B. Por ejemplo, {a, c} {a, b, c}. Claramente, e A = B ssi A B y B A. Obsrverse tambin que si A B, entonces |A| |B|, y si e e A B, entonces |A| < |B|. Las relaciones de inclusin entre conjuntos se acostumbran representar grcamente meo a diante los llamados diagramas de Venn, que denotan mediante reas cerradas (por ejemplo a
1

A ssi B se lee A si y slo siB, y signica que A implica B y tambin B implica A. o e

1.1. CONJUNTOS

Figura 1.1: Diagrama de Venn elipses) los conjuntos. Por ejemplo, en la gura 1.1 se ilustra la situacin donde un conjunto o A es subconjunto de B, y B es subconjunto de C. En los diagramas de Venn es fcil visualizar relaciones que de otra forma pueden parecer a complejas; por ejemplo, si un conjunto A es subconjunto de B y ste es subconjunto de C, e se espera que A C, como se aprecia intuitivamente en la gura 1.1, pues el rea de A a est obviamente contenida dentro de la de C. a

1.1.1.

Operaciones

Llamamos operaciones a formas estndar de combinar o transformar objetos matemticos. a a Por ejemplo, una operacin habitual es la suma, que en la expresin 3 + 7 combina los o o objetos 3 y 7 dando como resultado el objeto 10. El 3 y el 7, que son los objetos que se combinan, son los operandos, el + es la operacin, y el 10 es el resultado. Una operacin o o es binaria cuando tiene dos operandos. Es unaria si tiene un slo operando, como en la o operacin de la ra cuadrada. o z Una operacin es conmutativa si x y = y x, como es el caso de la suma o la o multiplicacin de nmeros. Se dice que es asociativa si x (y z) = (x y) z; por ejemplo, o u la suma es asociativa, pero no la resta, pues podemos ver que 8 (4 3) = (8 4) 3.

1.1.2.

Operaciones con conjuntos

Sean A y B conjuntos. Se denen las siguientes operaciones con los conjuntos: Unin de conjuntos, denotada por A B, que contiene los elementos del conjunto A y o tambin los del conjunto B, es decir, A B = {x|x A o x B}. Por ejemplo, e {1, 2, 3} {3, 4} = {1, 2, 3, 4}. La unin de conjuntos es conmutativa, lo cual se como prende fcilmente visualizando las reas correspondientes en el diagrama de Venn de a a la gura 1.2. 2 Tambin es asociativa. e
2

En seguida se presenta una prueba matemtica de esta propiedad. a

CAP ITULO 1. PRELIMINARES

Interseccin de conjuntos, escrita A B, que contiene los elementos que pertenecen sio multneamente al conjunto A y al conjunto B, es decir, A B = {x|x A y x B}. a Por ejemplo, {1, 2, 3} {3, 4} = {3}. En un diagrama de Venn la interseccin de dos o elipses se ilustra por el rea que ambas comparten, como es el rea sombreada de la a a gura 1.2. La interseccin es conmutativa y asociativa. o Diferencia de conjuntos, A B, que contiene los elementos de A que no estn en B, esto a es, A B = {x|x A y x B}. Por ejemplo, {1, 2, 3} {3, 4} = {1, 2}. La resta o diferencia de conjuntos no siempre le quita elementos al primer conjunto; por ejemplo {1, 2, 3} {4, 5} = {1, 2, 3}. La diferencia de conjuntos no es ni asociativa ni conmutativa, lo cual se puede probar fcilmente con un ejemplo (ver seccin de a o ejercicios). Complemento de un conjunto, es un caso particular de la diferencia, cuando el primer conjunto es considerado como el universo que contiene todos los elementos posibles. Sea U un universo, entonces el complemento del conjunto A, denotada por Ac contiene los elementos del universo que no estn en A. Por ejemplo, si el universo son los a nmeros naturales {1, 2, 3, . . .}, complemento de los nmeros pares son los nmeros u u u c c nones: {2, 4, 6, . . .} = {1, 3, 5, . . .}. Claramente A A = U , para todo conjunto A; adems, A Ac = . a Potencia de un conjunto A, denotada como 2A , contiene como elementos a todos los subconjuntos de A, esto es, 2A = {x|x A}. En otras palabras, 2A es un conjunto de conjuntos. Por ejemplo, 2{1,2,3} = {, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}. Recurdese que el conjunto vac siempre forma parte de todo conjunto potencia. La e o A notacin 2 recuerda que el tamao del conjunto potencia de A es 2 elevado a la o n potencia del tamao de A, esto es, |2A | = 2|A| . n Producto Cartesiano de dos conjuntos, A B, es el conjunto de pares ordenados (a, b) tales que a A y b B. Por ejemplo, {1, 2} {3, 4, 5} = {(1, 3), (1, 4), (1, 5), (2, 3), (2, 4), (2, 5)} El tamao de un producto cartesiano A B es |A| multiplicado por |B|, como se puede n vericar en el ejemplo anterior. El producto cartesiano no es conmutativo, pues no es lo mismo un par (a, b) que uno (b, a), ni asociativo, pues no es lo mismo (a, (b, c)) que ((a, b), c). Con ayuda de diagramas de Venn es fcil comprender las operaciones de conjuntos. Por a ejemplo, usando la gura 1.2 es fcil vericar una relacin tan compleja como A B = a o c c c (A B ) , identicando las dos maneras de obtener el rea sombreada de la gura, siguiendo a ya sea el lado izquierdo o derecho de la ecuacin. o A un elemento (a, b, c) de un producto cartesiano A B C se le llama tripleta, y similarmente a un elemento (a, b, c, d) de un producto cartesiano A B C D se le llama cudruplo, a un elemento (a, b, c, d, e) de un producto cartesiano A B C D E se le a llama qu ntuplo, etc.

1.1. CONJUNTOS

Figura 1.2: Interseccin de dos conjuntos o Ahora probaremos la conmutatividad de la unin de conjuntos. Esto es, queremos probar o que A B = B A para conjuntos cualesquiera A y B. La igualdad A B = B A puede descomponerse en A B B A y B A A B, por deniciones que hemos visto antes. Entonces vamos a probar una de ellas, por ejemplo A B B A, siendo la otra parte enteramente similar. Hemos visto que A B B A es equivalente a decir que si un elemento x es parte de A B, entonces x tambin debe e ser parte de B A. En consecuencia, lo que tenemos que probar es lo siguiente: suponiendo que x (A B), debemos llegar a concluir que x (B A). Vamos a hacer esta prueba enseguida. Como x (A B), entonces, de acuerdo con la denicin de unin, x A o bien x B o o (o ambos a la vez). Si x A, entonces seguramente x A B, pues A B contiene todos los elementos de A. Similarmente, si x B tendremos x A B. Es decir, en los dos casos podemos concluir que x A B, que era lo que necesitbamos para nuestra prueba. a

1.1.3.

Equivalencias de conjuntos

La igualdad A B = B A es una de las llamadas equivalencias de conjuntos, que son muy utiles para reemplazar una expresin con operaciones de conjuntos por otra equivalente o pero ms conveniente por ejemplo ms simple. En la lista siguiente presentamos algunas de a a las equivalencias de ms frecuente uso: a Leyes conmutativas A B = B A, A B = B A, para los conjuntos A y B. Leyes distributivas A (B C) = (A B) (A C), A (B C) = (A B) (A C). Leyes de De Morgan (A B)C = AC B C , (A B)C = AC B C . Doble complemento (AC )C = A. Ejemplo.- La interseccin de conjuntos puede expresarse usando la unin y el compleo o C C C C C mento, de la manera siguiente: A B = ((A B) ) = (A B ) .

CAP ITULO 1. PRELIMINARES

Las equivalencias de conjuntos pueden vericarse fcilmente usando los diagramas de a Venn, de la forma que hemos comentado antes, esto es, compaginando el rea asociada a a cada uno de los lados de la ecuacin. o

1.1.4.

Relaciones y funciones

Las nociones de relaciones y funciones pueden derivarse directamente del producto cartesiano de conjuntos. En efecto, se llama relacin a todo subconjunto de un producto carteo siano; por ejemplo la relacin contiene los pares de nmeros naturales tales que el primer o u componente es menor o igual al segundo, esto es, = {(1, 1), (1, 2), (1, 3), (2, 3), . . .}. Esta denicin matemtica de relacin no parece tener mucho que ver con la idea intuo a o itiva de que una cosa tiene relacin con otra, pero en realidad ambas nociones s correo sponden. Por ejemplo, estamos familiarizados con la familia vista como una relacin entre o personas. Consideremos ms espec a camente la relacin x es padre de y. Dado un cono junto de personas, por ejemplo P = {Leonor, El Arturo, Marta}, el producto cartesiano as, P P es {(Leonor, Leonor), (Leonor, El as), (Leonor, Arturo), (Leonor, Marta), (Elias, Leonor), (Elas, Elas), (Elas, Arturo), (El as, Marta), (Arturo, Leonor), (Arturo, Elas), (Arturo, Arturo), (Arturo, Marta), (Marta, Leonor), (Marta, El as), (Marta, Arturo), (Marta, Marta)}. Un subconjunto de este producto cartesiano es, por ejemplo, {(Leonor, Arturo), (Leonor, Marta), (Elas, Arturo), (El Marta)}, cuyos pares (x, y) corresponden, en la fa as, milia del autor, a relaciones x es padre de y, pues Leonor y El son padres de Arturo y as Marta. Desde luego, en el ejemplo anterior de las relaciones familiares no cualquier subconjunto del producto cartesiano podr ser candidato a corresponder a la relacin x es padre de y. a o Por ejemplo, el par (Elas, Elas) ser inaceptable, pues nadie puede ser padre de s mismo, ni a siquiera en las liberales familias modernas. Cabr preguntarnos qu caracter a e sticas deber a tener una relacin para ser aceptable como x es padre de y. A continuacin discutimos o o algunas caracter sticas que las relaciones pueden tener o no, y que nos permitir contestar an a esta pregunta (ver seccin de ejercicios). o Se llama inverso de una relacin R, denotado por R1 , a aquella en donde se invierte el o orden de los pares ordenados, esto es: R1 = {(y, x) | (x, y) R} Por ejemplo, el inverso de la relacin {(1, 2), (2, 3), (1, 3)} es {(2, 1), (3, 2), (3, 1)}. o Se dice que una relacin binaria en D D es reexiva cuando contiene todos los pares de o la forma (x, x), para x D. Por ejemplo, si D = {1, 2, 3}, la relacin en {1, 2, 3} {1, 2, 3} o con los elementos {(2, 2), (2, 3), (3, 3), (1, 2), (1, 1), (1, 3)} es reexiva, pero {(2, 2), (2, 3), (1, 2), (1, 1), (1, 3)} no lo es.

1.1. CONJUNTOS

Una relacin es simtrica si y solo si siempre que contiene un par (x, y) tambin contiene o e e (y, x). Por ejemplo, {(2, 2), (1, 2), (1, 1), (2, 1)} es simtrica, pero {(2, 2), (2, 3), (3, 3), (1, 2), e (1, 1)} no lo es. Una relacin es transitiva cuando siempre que contiene los pares (x, y) y (y, z) tamo bin contiene (x, z). Por ejemplo, la relacin {(2, 3), (1, 2), (1, 1), (1, 3)} es transitiva, pero e o {(2, 3), (1, 2), (1, 1)} no lo es. Llamamos cerradura reexiva de una relacin R, la menor extensin de R, es decir, R, o o tal que R es reexiva, aunque inicialmente R no lo haya sido. En otras palabras, a R se le agregan los pares ordenados que sean necesarios hasta que se vuelva reexiva. Por ejemplo, la cerradura reexiva de R1 = {(2, 3), (1, 2), (1, 1), (1, 3)} es {(2, 3), (1, 2), (1, 1), (1, 3), (2, 2), (3, 3)}. Decimos que la cerradura reexiva es la menor extensin de la relacin o o original porque no deben aadirse ms pares ordenados que los estrictamente necesarios para n a volverla reexiva. Por ejemplo, la relacion {(2, 3), (1, 2), (1, 1), (1, 3), (2, 2), (3, 3), (3,1)}, aunque cumple con ser una extensin de R1 y tambien con ser reexiva, no es la cerradura o reexiva de R1 , porque tiene el par (3, 1) que no era indispensable agregar. Similarmente denimos la cerradura simtrica de una relacin, aadiendo los pares ese o n trictamente necesarios para que se vuelva simtrica. Por ejemplo, la cerradura simtrica de e e {(2, 3), (1, 2), (1, 1), (1, 3)} es {(2, 3), (1, 2), (1, 1), (1, 3), (3, 2), (2, 1), (3, 1)}. La cerradura transitiva tambin se dene de una manera enteramente similar. Por ejeme plo, la cerradura transitiva de la relacin {(1, 2), (3, 1), (2, 1)} es {(1, 2), (3, 1), (2, 1), (1, 1), o (2, 2), (3, 2)}. Se pueden tener tambin combinaciones de varias cerraduras, como la cerradura reexiva e y transitiva, que en el caso de {(2, 3), (1, 2), (1, 1), (1, 3)} ser {(2, 3), (1, 2), (1, 1), (1, 3), a (2, 2), (3, 3)}. Un caso particular de las relaciones son las funciones, que son relaciones en que no hay dos pares ordenados que tengan el mismo primer componente. Es decir, los pares ordenados asocian a cada primer componente un unico segundo componente. Por ejemplo, la relacin o {(1, 2), (2, 3), (1, 3)} no es una funcin, pero {(1, 2), (2, 3), (3, 3)} s lo es. o Tomando como ejemplo las familias, la relacin de hermanos no es una funcin, pero la o o relacin de cada quien con su padre s lo es (cada quien tiene a lo ms un padre). o a La notacin habitual para las funciones es f (a) = b, en vez de (a, b) f , para una funcin o o f , pero en realidad ambas notaciones son equivalentes. Muchas veces consideramos que las funciones obtienen una salida a partir de una entrada. As si f (1) = 2, se considera que a partir de la entrada 1 se obtiene la salida 2. , Esta manera de conceptualizar las funciones no se contrapone a la idea de funciones como relaciones especiales (esto es, conjuntos de pares ordenados), sino que ms bien en ciertas a situaciones es ms util tomar uno u otro punto de vista. a

10

CAP ITULO 1. PRELIMINARES

Escribimos f : A B para indicar que si (a, b) f entonces a A y b B; decimos que A es el dominio de la funcin y B es el codominio. Una funcin f : A B puede verse como o o un mapeo que relaciona cada elemento del dominio A con un elemento del codominio B. Por ejemplo, la funcin cuadrado : N N relaciona cada nmero natural con su cuadrado, es o u decir, cuadrado = {(1, 1), (2, 4), (3, 9), . . .}. Se dice que una funcin es total cuando est denida para todos los elementos del dominio, o a como en el ejemplo de la funcin cuadrado, mientras que una funcin es parcial cuando no o o est denida para todos los elementos del dominio, como ser el caso de la funcin de resta a a o en los naturales: resta : N N N, pues por ejemplo, resta(3, 5) no tiene un resultado en los naturales, y por lo tanto el par (3, 5) no forma parte del dominio de la funcin. o Una funcin es inyectiva, tambin llamada uno a uno, cuando para cada elemento del o e codominio hay un unico elemento del dominio. Esto es, no se presenta el caso de que dos pares como (x, z) y (y, z) tengan el mismo segundo elemento. Por ejemplo, la funcin o {(1, 2), (2, 3), (3, 3)} no es inyectiva, pero {(1, 2), (2, 3), (3, 1)} s lo es. Siguiendo el ejemplo de las familias, la funcin que asocia a cada persona con su padre o no es inyectiva, pues varios hermanos comparten un mismo padre. Una funcin es sobreyectiva si cada elemento del codominio aparece en algn par ordeo u nado. Por ejemplo, la funcin cuadrado que presentamos antes no es sobreyectiva, pues hay o muchos nmeros, como el 7, que no son el cuadrado de ningn otro. u u Si una funcin f es a la vez sobreyectiva e inyectiva, entonces su inverso f 1 es tamo bin una funcin (total). A las funciones que cumplen con ambas propiedades se les llama e o biyectivas. Una secuencia es una sucesin ordenada de elementos, como 1, 3, 5, 7, 9, que es la seo cuencia de nmeros naturales impares menores que 10, ordenados de menor a mayor. La u diferencia entre un conjunto y una secuencia es que en una secuencia el orden s importa y en un conjunto no. As 1, 2, 3 = 2, 3, 1. Adems, en una secuencia s es relevante la repeticin , a o de los elementos, por lo que 1, 2, 3 = 1, 2, 2, 3.

1.1.5.

Conjuntos innitos

Adems de los conjuntos nitos esto es, con un nmero de elementos determinado a u tambin puede haber conjuntos innitos, cuyo tamao no puede expresarse con un nmero; e n u u un ejemplo es el conjunto de los nmeros naturales N = {1, 2, 3, . . .}. An a estos conjuntos u pueden aplicarse todas las operaciones antes descritas. Sin embargo, la comparacin de tamaos de conjuntos innitos no es tan simple como o n en el caso de los conjuntos nitos, pues no se puede expresar su tamao como un nmero. n u En estos casos se aplica lo que se conoce como el principio del palomar, que sirve para

1.1. CONJUNTOS

11

comprobar si dos conjuntos tienen o no el mismo tamao. Supngase que se quiere comprobar n o si en un palomar la cantidad de palomas con que se cuenta es mayor, menor o igual a la cantidad de lugares disponibles en el palomar. Una manera simple de vericarlo es asignar a cada una de las palomas un sitio disponible, y si es posible hacerlo para todas las palomas, se sabe que no hay ms palomas que lugares. Similarmente se puede ver si no hay ms lugares a a que palomas. As vericamos que el conjunto de palomas tiene el mismo tamao que el de n lugares disponibles. Esta idea tan sencilla puede aplicarse para comparar el tamao de conjuntos innitos. n As se puede vericar, por ejemplo, que el conjunto de los pares tiene el mismo tamao n que el de los naturales, un resultado dif de aceptar intuitivamente. En efecto, sean N cil y P los naturales y los pares, respectivamente. Es fcil ver que |P| |N|, pero es mucho a menos evidente que |N| |P|, cosa que vamos a mostrar usando el principio del palomar. A cada nmero natural le debemos poder asignar un nmero par distinto; esto se puede hacer u u de muchas maneras, pero una muy simple consiste en asignar a cada nmero el doble de u s mismo; por ejemplo, al 7 le asignamos el par 14, etc. Como esto se puede hacer para todos los nmeros, y no va a haber dos nmeros que compartan el mismo par, concluimos que no u u hay ms nmeros naturales que pares. a u Denicin.- Un conjunto innito es contable, tambin llamado enumerable, cuando sus o e elementos pueden ponerse en una la, o dicho de una manera ms tcnica, cuando sus a e elementos pueden ponerse en correspondencia uno a uno con los nmeros naturales. En u otras palabras, los conjuntos contables innitos tienen el mismo tamao que el conjunto de n los nmeros naturales. Adicionalmente los conjuntos nitos tambin son contables. u e Otro ejemplo de conjunto innito contable es el conjunto de pares de nmeros, esto es, u N N = {(1, 1), (2, 1), (1, 2), (1, 3), (2, 2), (3, 1), (4, 1), . . .} (La prueba de que es contable se deja como ejercicio, ver seccin de ejercicios). o Aunque resulte sorprendente, hay conjuntos innitos ms grandes que los conjuntos a innitos contables, en el sentido de que no van a alcanzar los elementos del conjunto contable para asignar uno a cada elemento del conjunto grande. A estos conjuntos se les llama incontables. Un ejemplo de conjunto incontable es 2N , esto es, el conjunto potencia de los naturales; el llamado Teorema de Kantor establece este hecho. La prueba del Teorema de Kantor es muy simple y se basa en empezar suponiendo que o 2 s es contable, y se llega a una contradiccin, concluyendo entonces que 2N en realidad es incontable.
N

En efecto, si 2N es contable, sus elementos pueden ser puestos en una sucesin como sigue: o 2N = {S1 , S2 , S3 , . . .} Supngase ahora el conjunto D = {n N|n Sn }, que est formado por aquellos nmeros o / a u

12

CAP ITULO 1. PRELIMINARES

n que no aparecen en el conjunto Sn que les corresponde. Como por hiptesis todos los subo conjuntos de los naturales fueron puestos en la sucesin S1 , S2 , . . ., tenemos que el conjunto o D, que est formado de naturales debe hallarse en dicha sucesin, es decir, debe ser igual a o a Sk para una cierta k. Ahora nos preguntamos si k aparece o no en el conjunto D: Si la respuesta es armativa, entonces, por la denicin de D, tenemos que k Sk , lo o / que es una contradiccin; o Si la respuesta es negativa, entonces, por la denicin de D, k Sk , lo que tambin es o e una contradiccin. o Concluimos que 2N es incontable. An dentro de los conjuntos incontables hay unos conjuntos ms grandes que otros. u a En efecto, se sabe que para todo conjunto innito A, se tiene que |A| < |2A |, por lo que hay toda una jerarqu de innitos: a |N| < |2N | < |22 | < . . .
N

1.2.

Manejo lgico de enunciados o

En el proceso de solucin de problemas, un aspecto clave es comprender cabalmente el o enunciado, lo cual en ocasiones no es sencillo, ya sea por la complejidad de aquel, o bien porque la forma poco rigurosa en que manejamos el lenguaje cotidiano puede provocar errores de interpretacin. Ms an, en muchas situaciones es necesario transformar el enunciado en o a u otro equivalente, de forma que la solucin al problema planteado sea ms sencilla. o a Por ejemplo, consideremos el conjunto de nmeros naturales tales que, si son pares o u terminan en 7, entonces contienen algn cero (0). Algunos de estos nmeros son el 2307, el u u 400, as como el 1023 y el 175. Hay que comprender, por ejemplo, porqu el 175 corresponde e al enunciado. La idea es que un nmero cumple la condicin cuando, ya sea contiene algn u o u cero, como el 1023, el 2307 o el 400, o bien ni es par ni termina en 7, como en el caso del 175. Razonamientos lgicos como el anterior pueden sistematizarse haciendo uso de s o mbolos que representan armaciones, que se llaman proposiciones en el llamado Clculo proposia cional, que es una rama de las matemticas. 3 a En el ejemplo presentado arriba es crucial comprender el signicado lgico de la llamada o implicacin: Si A es cierto, entonces tambin B es cierto. Esto se representa matemticamente o e a
No estudiaremos aqu el clculo proposicional, limitndonos a revisar los aspectos realmente indispens a a ables para manejar el material de este texto. El lector interesado en estudiar el clculo proposicional puede a consultar textos como [19].
3

 1.2. MANEJO LOGICO DE ENUNCIADOS

13

usando el s mbolo , como en A B. La implicacin A B es cierta siempre que B o es cierto independientemente de si A es cierto o no, y tambin cuando A es falso, como e era el caso del nmero 175 en el ejemplo presentado. u La implicacin no es manejada rigurosamente en el lenguaje cotidiano. Por ejemplo, si un o pap dice a su nio: Irs al cine si haces tu tarea, en realidad no est dando informacin a n a a o sobre qu pasar en caso de que el nio no haga la tarea, an cuando ambos interlocutores e a n u sobreentienden que en ese caso el nio no ir al cine. Representando ir al cine con el n a s mbolo C y hacer la tarea con T , la frase se representar con la frmula T C. Si quisiera a o el pap dar informacin para atender el caso en que no se hace la tarea, tendr que decir a o a algo como Slo si haces tu tarea irs al cine, representado por la implicacin C T , o a o aunque en este caso se deja abierta la posibilidad de que el nio no vaya al cine aunque haya n hecho su tarea. . . Si el pap quisiera considerar todos los casos posibles, tendr que decir a a algo como irs al cine si y slo si haces tu tarea. a o Resumiendo, algunas formas en que se expresa frecuentemente la implicacin A B o son las siguientes:

Si A entonces B B si A B cuando A B siempre y cuando A A slo si B o

Otras frases tales como Vamos a Yucatn o a Oaxaca o El clima es clido y seco a a tambin se pueden representar con s e mbolos matemticos, mediante la llamada disyuncin a o (), para las frases unidas con o, o bien con la conjuncin (), para las frases unidas con o y. Por ejemplo, si ir a Yucatn se representa con Y e ir a Oaxaca con O, la primera frase se a representar como Y O. Similarmente se pueden representar frases ms complejas, como a a Si vamos a Yucatn el clima ser clido pero no seco, mientras que si vamos a Oaxaca a a a ser clido y seco, con la frmula (Y (C S)) (O (C S)), donde el s a a o mbolo representa la negacin de lo que sigue a su derecha. o Otro s mbolo lgico de utilidad es la llamada doble implicacin, denotado por , o o que signica que sus dos argumentos son equivalentes lgicamente. As A B quiere decir o , que A es cierto exactamente en los mismos casos en que B es cierto. La implicacin, la negacin, la conjuncin, etc., son llamados genricamente conectivos o o o e lgicos. o

14

CAP ITULO 1. PRELIMINARES

1.2.1.

Tablas de verdad

Una herramiente util para comprender y utilizar los conectivos lgicos son las llamadas o tablas de verdad, que tienen en los renglones cada caso posible de valores cierto o falso de las proposiciones elementales, y en las columnas a la derecha aparece el valor correspondiente de la proposicin compuesta. Por ejemplo, en la siguiente tabla de verdad se dene el o comportamiento de los conectivos lgicos de conjuncin, disyuncin, negacin e implicacin: o o o o o A 0 0 1 1 B 0 1 0 1 AB 0 0 0 1 AB 0 1 1 1 A 1 1 0 0 AB 1 1 0 1

En esta tabla de verdad el valor cierto se representa con 1 y el falso con 0. Podemos ver ahi que, por ejemplo, el conectivo de disyuncin da cierto en todos los casos menos o cuando los dos argumentos son falsos. Por cierto, esto contradice la manera en que a veces se maneja la disyuncin en el lenguaje cotidiano; por ejemplo, cuando se dice O pagas lo o que debes o no te vuelvo a prestar, se sobreentiende que ambas cosas no pueden ser ciertas a la vez. Sin embargo, viendo la tabla de verdad en la columna del A B, vemos que tiene el valor cierto cuando tanto A como B son ciertos. Es importante entender que los valores que aparecen en la tabla de verdad presentada arriba son deniciones, que por lo mismo no tienen que probarse. Desde luego que no son valores arbitrarios, sino que pretenden precisar el signicado que tienen intuitivamente la disyuncin, la conjuncin, la negacin y la implicacin. En esa tabla de verdad tambin o o o o e podemos ver que la implicacin es simplemente un conectivo que tiene valor cierto en todos o los casos menos cuando A es cierto y B falso. Esto es congruente con la interpretacin que o dimos de la implicacin prrafos antes. o a Como en el caso de los conjuntos, en las frmulas con proposiciones tambin hay equio e valencias muy utiles, que nos permiten modicar enunciados, pero teniendo la garant de a que el enunciado modicado es equivalente al original. Vamos a considerar las siguientes equivalencias: Conmutatividad A B = B A, A B = B A. Distributividad A (B C) = (A B) (A C), A (B C) = (A B) (A C). Implicacin A B = (A) B. o Leyes de De Morgan (A B) = A B, (A B) = A B. Doble negacin (A) = A. o

 1.3. PRUEBAS POR INDUCCION Doble implicacin A B = (A B) (B A) o

15

Ejemplo.- El conjunto de nmeros naturales tales que, si son pares o terminan en 7, u entonces contienen algn cero (0), que presentamos antes, puede ser expresado de una forma u ms simple usando las equivalencias. Sea P que el nmero es par, T que termina en 7, C a u que contiene algn cero. Entonces el enunciado original es: u (P T ) C Usando la equivalencia de la implicacin, esta frmula es equivalente a: o o ((P T )) C Aplicando una equivalencia de De Morgan, queda como: (P T ) C Esto es, ya sea que el nmero contiene algn cero (proposicin C), o bien ni es par (P ) ni u u o termina en 7 (T ). Las equivalencias de conectivos lgicos se pueden probar haciendo las tablas de verdad o para las dos frmulas que se supone que son equivalentes. Por ejemplo, probamos la equivo alencia de la implicacin con la siguiente tabla de verdad, en la que se puede observar que o los valores de A B y de (A) B son los mismos:

A 0 0 1 1

B 0 1 0 1

A 1 1 0 0

(A) B 1 1 0 1

AB 1 1 0 1

1.3.

Pruebas por induccin o

Una forma de prueba que utilizaremos repetidamente en este texto es la prueba por induccin. Sirve para probar que una cierta propiedad es vlida para todos los elementos de un o a conjunto innito contable. Hacemos notar que el material indicado como nivel profesional no incluye pruebas por induccin a lo largo del libro. Esto es debido al enfoque predominano temente ingenieril que se da al material de profesional, dejando las pruebas por induccin o para los estudiantes de posgrado. Supongamos que se quiere probar que una propiedad P es cierta para todos los elementos de un conjunto innito contable (C).

16

CAP ITULO 1. PRELIMINARES

Inicialmente se prueba que es cierta para el primer elemento de (C), sea c0 , esto es, se verica P(c0 ). Este paso se llama base de la induccin. o Despus se supone que la propiedad P es cierta para algn elemento ci de (C), y con e u base en esta suposicin, llamada hiptesis de induccin, se prueba que P tambin es cierta o o o e para el siguiente elemento, ci+1 . Con base en los dos pasos anteriores se concluye que la propiedad P es cierta para todos los elementos del conjunto (C). Esta conclusin no es gratuita. En efecto, supongamos un o elemento de (C), por ejemplo c45 . Para probar que satisface la propiedad, ya sabemos que se cumple para c0 , y como tenemos que se cumple para el siguiente elemento, entonces tambin e se cumple para c1 , y como tambin se cumple para el siguiente elemento, se cumplir para c2 , e a y as sucesivamente, hasta llegar a c45 . Lo mismo se puede hacer con cualquier otro elemento de (C). Como un ejemplo simple de la aplicacin de la induccin matemtica, supongamos que o o a queremos probar que todo nmero natural es menor que el doble de s mismo, esto es, u n < 2n, n N. Lo hacemos en dos pasos:

(base) Primero comprobamos que para el caso del 1 se cumple, pues 1 < 2.

(induccin) Ahora, suponiendo que para un nmero i la propiedad se cumple, esto es, o u i < 2i, debemos comprobar que tambin se cumple para el siguiente nmero, esto es, e u i+1 < 2(i+1). En efecto, si i < 2i, entonces i+1 < 2i+1, pero 2i+1 < 2i+2 = 2(i+1), por lo que i + 1 < 2(i + 1), como deb amos probar.

Las pruebas por induccin no siempre son, como en los ejemplos que vimos en esta o seccin, para probar propiedades de los nmeros naturales. En nuestro caso, utilizaremos o u pruebas por induccin para probar, por ejemplo, la correccin de gramticas. Por otra parte, o o a existen muchas variantes de la induccin, como tener varias bases. No entraremos aqu en o detalles de esto, postergando su estudio para las secciones donde se le utiliza directamente.

1.4.

Lenguajes

Uno de los conceptos ms importantes de este texto es el de Lenguaje. Para llegar a este a concepto es necesario denir antes otras nociones ms elementales. Para todas las deniciones a utilizaremos extensivamente la teor elemental de conjuntos. a

1.4. LENGUAJES

17

1.4.1.

Alfabeto, cadena de caracteres

La nocin ms primitiva es la de s o a mbolo, que es simplemente una representacin distino guible de cualquier informacin. Los s o mbolos pueden ser cualesquiera, como w, 9, #, etc., pero nosotros vamos a utilizar las letras a,b,c, etc. Un s mbolo es una entidad indivisible. Un alfabeto es un conjunto no vac de s o mbolos. As el alfabeto del idioma espaol, , n E = {a, b, c, . . . , z}, es slo uno de tantos alfabetos posibles. En general utilizaremos la o notacin para representar un alfabeto. o Con los s mbolos de un alfabeto es posible formar secuencias o cadenas de caracteres, tales como mxzxptlk, balks, r, etc. 4 Las cadenas de caracteres son llamadas tambin palabras. e Un caso particular de cadena es la palabra vac , la cual no tiene ninguna letra. a, La longitud de una palabra es la cantidad de letras que contiene, contando las repeticiones; se denota por |w| para una palabra w. Por ejemplo, |perro| es 5. Cuando escribimos varias palabras o caracteres uno a continuacin de otro, se supone que o forman una sola palabra (se concatenan). La notacin usada para denotar la concatenacin o o de dos cadenas y es . Por ejemplo, si w = abra y v = cada, entonces wvbra es la palabra abracadabra. La concatenacin de palabras es asociativa, esto es, (xy)z = x(yz), pero no conmutativa o en el caso general. La longitud de una concatenacin cumple la propiedad: |uv| = |u| + |v|. 5 o Una palabra v es subcadena de otra w cuando existen cadenas x, y - posiblemente vac astales que xvy = w. Por ejemplo, bora es subcadena de v bora, y es subcadena de toda palabra. El conjunto de todas las palabras que se pueden formar con un alfabeto es denotado convencionalmente por . 6 Por ejemplo, si = {a, b}, = {, a, aa, aaa, aaaa, . . . , b, bb, . . . , ab, aba, abb, . . .}. El conjunto es innito, pero enumerable. 7

1.4.2.

Lenguajes, operaciones con lenguajes

Un lenguaje es simplemente un conjunto de palabras. As {abracadabra} es un lenguaje , (de una sola palabra), {ali, baba, y, sus, cuarenta, ladrones} es otro, es otro, etc. Puesto
Las secuencias fueron denidas en la seccin de preliminares. Formalmente, la palabra casa es la o secuencia de letras c, a, s, a. 5 La prueba de estas propiedades requiere de una denicin formal de las secuencias de caracteres, lo que o nos desviar demasiado de nuestros temas. a 6 Luego veremos una operacin llamada Cerradura de Kleene, que se parece a la notacin , aunque hay o o pequeas diferencias tcnicas. n e 7 Ver seccin de ejercicios. o
4

18

CAP ITULO 1. PRELIMINARES

que los lenguajes son conjuntos, podemos efectuar con ellos todas las operaciones de los conjuntos (unin, interseccin, diferencia). Deniremos adems la operacin de concatenacin o o a o o de lenguajes, escrita como L1 L2 , como una extensin de la concatenacin de palabras: o o L1 L2 = {w|w = xy, x L1 , y L2 }. Por ejemplo, dados los lenguajes L1 = {ca, ma} y L2 = {nta, sa}, la concatenacin L1 L2 o ser {canta, casa, manta, masa}. Como se ve en este ejemplo, para calcular la concatenacin a o de dos lenguajes hay que concatenar cada palabra del primero de ellos con cada una del segundo. Una operacin ms complicada es la llamada estrella de Kleene o cerradura de Kleene, o a en honor al matemtico norteamericano S. C. Kleene, quien la propuso. a Denicin.- Si L es un lenguaje, L , llamado cerradura de Kleene de L, es el ms o a pequeo conjunto que contiene: n

La palabra vac a,

El conjunto L

Todas las palabras formadas por la concatenacin de miembros de L o

Por ejemplo, si L = {abra, cadabra}, L = {, abra, abraabra, abracadabra, cadabraabra, . . .} 8 Obsrvese que la denicin de la estrella de Kleene es recursiva, pues en la tercera regla e o estamos suponiendo que ya hay palabras en L , las cuales concatenamos para producir una nueva palabra. Esta nocin se puede conceptualizar fcilmente de la siguiente forma: Supongo a amos que inicialmente L contiene slo la palabra vac y los elementos de L. Entonces de o a ah tomamos dos elementos cualesquiera, que no necesitan ser distintos, y los concatenamos, para producir una palabra, la cual aadimos a L si no estaba ya. Continuando indenidan mente con esta accin, se ir obteniendo todos los elementos de L . 9 o an Esta denicin es congruente con la notacin que se utiliz para denir el conjunto de o o o todas las palabras sobre un alfabeto, pues de hecho es la cerradura de Kleene del alfabeto, tomando los s mbolos de ste como palabras de una letra. e

1.5. LA JERARQU DE CHOMSKY IA

19

LENGUAJES REGULARES LENGUAJES RECURSIVAMENTE ENUMERABLES

LENGUAJES LIBRES DE CONTEXTO

LENGUAJES

Figura 1.3: Los LR en la jerarqu de Chomsky a

1.5.

La jerarqu de Chomsky a

Llamamos clase de lenguajes a conjuntos de lenguajes que comparten una cierta propiedad dada. Esta nocin es muy abstracta, pues ya los lenguajes son en s mismos conjuntos de o secuencias de s mbolos, y las clases de lenguajes son entonces conjuntos de conjuntos de secuencias de s mbolos. La clasicacin de lenguajes en clases de lenguajes es debida a N. Chomsky [4], quien o propuso una jerarqua de lenguajes, donde las clases ms complejas incluyen a las ms sim a a ples. De las clases de lenguajes propuestas en la jerarqu de Chomsky, nosotros estudiaremos a las que aparecen en la gura 1.3, que son: Los Lenguajes Regulares, que es la clase ms pequea, e incluye a los lenguajes ms a n a simples. 10 Un ejemplo de lenguaje regular es el conjunto de todos los nmero binarios. u Los Lenguajes Libres de Contexto, que incluyen a los Lenguajes Regulares. Por ejemplo, la mayor de los lenguajes de programacin son Lenguajes Libres de Contexto. a o Los Lenguajes Recursivamente Enumerables, que incluyen a los Libres de Contexto (y por lo tanto a los Lenguajes Regulares). Todas estas clases de lenguajes son representables de manera nita (mediante cadenas de caracteres que sirven como representacin). Ahora bien, como veremos ms adelante, o a
Debe quedar claro que la descripcin de L en este ejemplo no es formal, pues los . . . dejan abierta la o puerta a muchas imprecisiones. 9 Claro que este proceso no terminar nunca, pues L es innito para cualquier L que tenga al menos un a elemento. 10 Luego veremos en qu sentido son ms simples que las otras clases de lenguajes. e a
8

20

CAP ITULO 1. PRELIMINARES

hay ms lenguajes que posibles representaciones nitas, por lo que podemos saber que hay a lenguajes ms all de los Recursivamente Enumerables. Sin embargo, desde un punto de a a vista prctico, los lenguajes ms utiles son aquellos que tienen una representacin nita, por a a o lo que los dems lenguajes son slo de inters terico. a o e o En cap tulos posteriores veremos que cada una de estas clases de lenguajes est asociada a a un tipo de autmata capaz de procesar estos lenguajes. Esto ha hecho pensar que las o categor de lenguajes de Chomsky no son completamente arbitrarias. as

1.6.

Ejercicios

1. Expresar en extensin el conjunto {x|x N, x < 10}. o 2. Expresar en intencin el conjunto {4, 6, 8, 12, 14, 16}. o 3. Cul es el tamao del conjunto {} (esto es, cuntos elementos contiene)? a n a 4. Sean los conjuntos A = {a, b}, B = {1, 2, 3}. Calcular las siguientes operaciones: a) (A B) A b) A (B A) c) 2AB d ) A (A B) 5. Calcular los conjuntos potencia de los siguientes conjuntos: a) {a, b, c} b) {a, {b, c}} c) {} d ) {, {}} 6. Sea el conjunto A = {a, b, c}. Proponer: a) Una relacin en A A o b) Una funcin en A A o c) Una relacin en A A que no sea funcin. o o 7. Proponer las caracter sticas, en trminos de reexividad, simetr y transitividad, que e a debe tener la relacin x es padre de y (se entiende que padre incluye tambin a o e madre). 8. Un juego infantil consiste en proponer simultneamente ya sea piedra, tijeras o a papel. Se supone que tijera gana sobre papel, piedra sobre tijera, y papel sobre piedra. Determinar si la relacin gana sobre, que es un subconjunto de {piedra, o tijeras, papel} {piedra, tijeras, papel} es:

1.6. EJERCICIOS a) Reexiva b) Simtrica e c) Transitiva 9. Considrese la relacin {(a, d), (b, d), (c, a), (d, d), (c, b)}. Calcular su cerradura: e o a) Reexiva b) Simtrica e c) Transitiva d ) Reexiva y transitiva e) Transitiva y simtrica e

21

f ) Reexiva, transitiva y simtrica (estas son llamadas relaciones de equivalencia. e 10. Considrese la relacin {(a, d), (b, d), (d, d), (c, b)}, siendo el dominio y el codominio el e o conjunto {a, b, c, d}. Indicar si esta relacin es: o a) Una funcin o b) Funcin total o c) Funcin inyectiva o d ) Funcin sobreyectiva o 11. Considrese la funcin madre(x), que obtiene la madre (biolgica) de cada persona. e o o Indica para esta funcin: o a) Cules son el dominio y el codominio a b) Si es una funcin total o c) Si es una funcin inyectiva, sobreyectiva o biyectiva o 12. Considera el conjunto de nmeros naturales tales que si son mayores que 5 o bien u terminan en 5, entonces contienen algn 1 o 2. u a) Propon 3 nmeros que cumplan la condicin y 3 que no la cumplan. u o b) Expresa el enunciado como una frmula proposicional, donde M signica mayores o que 5, T es terminan en 5, U es contienen algn 1 y D es contienen algn u u 2. c) Transforma la frmula del inciso anterior de manera que no tenga una implicacin, o o y aplica una ley de De Morgan al resultado. 13. Dar tres ejemplos de lenguajes basados en el alfabeto {a, b, c}. 14. Explicar la diferencia -si la hay- entre un lenguaje vac y uno que contiene slo la o o palabra vac (tomar en cuenta que dos lenguajes son distintos slamente cuando uno a o de ellos contiene una palabra que el otro no contiene).

22

CAP ITULO 1. PRELIMINARES

15. La palabra vac es elemento de cualquier alfabeto? Puede la palabra vac formar a a parte de un alfabeto? Puede un alfabeto contener palabras? 16. Calcular la concatenacin del lenguaje {, aba} con {a, bb, }. o 17. Obtener {a, bb} (dar los primeros 10 elementos). 18. Mostrar 3 elementos de 2{a,b} . 19. Probar que la resta de conjuntos no es conmutativa ni asociativa. 20. Probar que la interseccin de conjuntos es asociativa y tambin conmutativa. o e 21. Probar que la concatenacin de lenguajes es asociativa pero no conmutativa. o 22. Probar que el conjunto N N = {(1, 1), (2, 1), (1, 2), (1, 3), (2, 2), (3, 1), (4, 1), . . .} es contable. 23. Probar que el conjunto es innito contable. 24. Probar por induccin la propiedad de los naturales 1 + 2 + 3 + . . . + n = o todo n N
n(n+1) , 2

para