UNIVERSIDAD TECNOLGICA NACIONAL FACULTAD REGIONAL DELTA MATEMTICA DISCRETA ING.

SISTEMAS DE INFORMACIN

INTRODUCCIN A LA TEORA DE CONJUNTOS

Prof.: Lic. Noem Susana Giachino Fecha: Mar-09

El concepto de conjunto es bsico en todas las matemticas y sus aplicaciones. Si bien es un trmino primitivo (es decir, que no se puede definir), podemos pensarlo como una coleccin de objetos. Si un conjunto es finito y no demasiado extenso se puede escribir nombrando cada uno de sus elementos, por ejemplo: A = {1; 2; 3; 4} Esta forma de definicin se llama por extensin. Un conjunto est determinado por sus elementos y no por el orden en que aparecen, as: A = {2; 1; 4; 3} es el mismo que el anterior. Adems, los elementos que forman un conjunto son todos distintos, y si por alguna razn uno o ms aparecen repetidos, slo se los tomar en cuenta una vez. Si un conjunto es infinito o tiene una gran cantidad de elementos es conveniente expresarlo mediante una lista de propiedades que caractericen sus elementos. Por ejemplo: B = {x Z / x es par y positivo} Esta forma de definicin se llama por comprensin. Se utilizan para representar grficamente conjuntos los diagramas de Venn. As el conjunto A anterior se puede representar: A
3 4 1 2

Dada una descripcin de un conjunto, puede determinarse si un elemento x pertenece o no al conjunto ya sea chequeando que si es uno de la lista o si verifica la/s propiedad/es que definen al conjunto. El conjunto que no tiene ningn elemento se llama conjunto vaco y se lo denota por . Dos conjuntos A y B son iguales si tienen los mismos elementos. En este caso se escribe A = B. Es decir que: A = B si se cumplen si x A, entonces x B y si x B, entonces x A.

Pgina 1

Matemtica Discreta

Teora de Conjuntos

Ejemplo: Si A = {x R / x2 + x 6 = 0} y B = {2; -3}, entonces A y B son iguales. Si A y B son dos conjuntos tales que todo elemento de A es un elemento de B, se dice que A es un subconjunto de B y se denota A B. Cualquier conjunto A es subconjunto de s mismo, pues cualquier elemento de A est en A. Si un conjunto A es subconjunto de otro B pero no es igual a B, se dice que es subconjunto propio de B y se denota A B. El conjunto vaco es subconjunto de cualquier conjunto. El conjunto formado por todos los subconjuntos de un conjunto dado se llama conjunto potencia o conjunto de partes y se denota P(A). Ejemplo: Si A = {a; b; c}, su conjunto potencia es: P(A) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}} Si un conjunto es finito se indica con el smbolo #A al nmero de elementos del conjunto A y se lo llama cardinal de A. Ejemplo: En el ejemplo anterior #A = 3 y # P(A) = 8. Dados dos conjuntos A y B, hay varias maneras de combinar sus elementos para obtener un nuevo conjunto. El conjunto A B = {x / x A o x B} se denomina la unin de A y B. La unin tiene por elementos los elementos de A, o de B o de ambos.

El conjunto A B = {x / x A y x B} se llama la interseccin de A y B. La interseccin consiste de todos los elementos que pertenecen tanto a A como a B.

Dos conjuntos A y B se dicen disjuntos si A B = .

Pgina 2

Matemtica Discreta

Teora de Conjuntos

El conjunto A B = {x / x A y x B} se llama diferencia. La diferencia A B tiene por elementos a todos los de A que no son elementos de B.

Algunas veces se estudian conjuntos que son todos subconjuntos de un conjunto U. A este conjunto U se lo llama universal o referencial. El conjunto U debe darse en forma explcita o inferirse del contexto. Dado un conjunto universal U y un subconjunto A de U, el conjunto U A se denomina complemento de A y se denota por A . A

Recordemos que un par ordenado es un par de elementos (a; b), tal que (a, b) = (c, d) si y solo si a = c y b = d. Dados dos conjuntos A y B, el conjunto de todos los pares ordenados (a, b) tales que a A y b B se llama producto cartesiano. Es decir: A X B = {(a, b) / a A y b B} Ejemplo: Sean A = {1, 2, 3} y B = {a, b}, entonces A X B = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b)} B X A = {(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3)} Observaciones: 1- En general resulta A X B B X A 2- #(A X B) = #A.#B 3- Se puede realizar el producto cartesiano de ms de dos conjuntos, el cul estar formado por n uplas, si la cantidad de conjuntos es n.

Pgina 3

Matemtica Discreta

Teora de Conjuntos

Ejercicios 1- Defina dos conjuntos por extensin y dos por comprensin. 2- Cundo dos conjuntos son iguales? Cundo un conjunto es subconjunto de otro? qu diferencia existe entre ser subconjunto y ser subconjunto propio? 3- Qu dos conjuntos son siempre subconjuntos de un conjunto dado? 4- Cules son los elementos del conjunto de partes de un conjunto? 5- Qu es la unin, la interseccin y la diferencia entre dos conjuntos? 6- Cundo un conjunto es universal? 7- Cmo se define el producto cartesiano de dos conjuntos? y de tres conjuntos? y de n conjuntos? 8- Si U = {x N / 1 x 10} es el conjunto universal y A = {1, 4, 7, 10} B = {1, 2, 3, 4, 5} C = {x U / x es par} escribir los elementos de cada uno de los siguientes conjuntos: a) A B b) B C c) A B d) B A e) A f) U C g) U h) A i) B j) A U k) B U l) A (B C) m) B (C A) n) A B C 9- Enumerar todos los elementos de P ({a, b, c}) 10- Indicar los elementos de P ({a, b, c, d}) 11- Si A tiene 10 elementos, cuntos elementos tiene P (A)? Cuntos subconjuntos propios?. Generalizar para n elementos. 12- En cada uno de los siguientes tem indicar si la proposicin es verdadera o falsa. Si es verdadera brindar una demostracin, si es falsa dar un contraejemplo. a) A B = B A, A B = B A, para todo par de conjuntos A y B. b) A (B C) = (A B) (A C), para toda terna de conjuntos A, B, C. c) (A B) (B A) = , para todo par de conjuntos A y B. d) A B = A B , para todo par de conjuntos A y B. e) A (B C) = (A B) (A C), para toda terna de conjuntos A, B, C. f) A = A , para todo conjunto A. g) A (B C) = (A B) C, para toda terna A, B, C. h) A = A y A = , para cualquier conjunto A. i) A B A , para todo par de conjuntos A y B. 13- Qu relacin debe existir entre los conjuntos A y B para que se verifiquen las siguientes proposiciones? a) A B = A b) A B = A c) A U = d) A B = B 14- La diferencia simtrica entre dos conjuntos A y B es el conjunto: A B = (A B) (A B). a) Hacer un diagrama de Venn mostrando la diferencia simtrica. b) Si A = {1, 2, 3} y B = {2, 3, 4, 5}, hallar A B

Pgina 4

Matemtica Discreta

Teora de Conjuntos

15- Sean A, B, C, D conjuntos arbitrarios, demostrar que a) (A B) X (C D) = (A X C) (B X D) b) (A B) X C = (A X C) (B X C) 16- Demostrar o refutar con un contraejemplo las siguientes igualdades: a) (A B) X (C D) = (A X C) (B X D) b) (A B) X (C D) = (A X C) (B X D)

Relaciones.
Una relacin (binaria) R de un conjunto A a un conjunto B es un subconjunto del producto cartesiano A X B. Si el par ordenado (a, b) R, entonces se escribe a R B y se dice que a est relacionado con b. En el caso que A = B, entonces R es una relacin (binaripa) sobre A. El conjunto {a A / (a, b) R para algn b B} se llama dominio de la relacin. El conjunto {b B / (a, b) R para algn a A} se llama imagen de la relacin. Ejemplo: Sean A = {2, 3, 4} y B = {3, 4, 5, 6, 7} El producto cartesiano A X B tiene 15 elementos. Definimos la relacin R como: (x, y) R si x divide a y. Entonces R = {(2, 4), (2, 6), (3, 6), (3, 3), (4, 4)}, que expresada por una tabla es: x y 2 4 2 6 3 3 3 6 4 4 El dominio de R es {2, 3, 4} y la imagen {3, 4, 6} Una manera til de representar una relacin definida sobre un mismo conjunto es trazar su dgrafo1; para ello se le asigna a cada elemento del conjunto un punto (vrtice) y si el par (x, y) est en la relacin se traza una flecha (arista) de x a y. Ejemplo:
1

este tema lo desarrollaremos en otra unidad, por ahora slo lo mencionamos.

Pgina 5

Matemtica Discreta

Teora de Conjuntos

Sea R la relacin en X = {1, 2, 3, 4} definida por (x, y) R si x < y. Entonces: R = {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4)} El dgrafo correspondiente es:

Dada una relacin R, se define la relacin inversa R-1 como: R-1 = {(y, x) / (x, y) R} Ejemplo: La relacin inversa del ejemplo anterior es y 4 6 3 6 4

x 2 2 3 3 4

Puesto que las relaciones binarias son conjuntos de pares ordenados, las nociones de interseccin de dos relaciones, unin de dos relaciones, diferencia simtrica de dos relaciones y diferencia de dos relaciones se obtienen directamente a partir de las correspondientes para conjuntos. Es decir, dadas dos relaciones binarias R1 y R2 de A en B entonces R1 R2, R1 R2, R1 R2, R1 - R2 tambin son relaciones binarias de A en B, las cuales se conocen como interseccin, unin, diferencia simtrica y diferencia de las relaciones R1 y R2. Ejemplo: Sea A = {a, b, c, d} un conjunto de estudiantes y B = {k12, k23, k34, k42, k15, k21} un conjunto de materias descriptas por un cdigo. Se pueden consideran las relaciones binarias de A en B: R1 describe las materias que los estudiantes cursan R2 describe las materias en que los estudiantes estn interesados Segn las siguientes figuras: R1 K12 K23 K34 K42 K15 K21 a 1 0 0 0 0 0 b 0 1 1 0 0 0 c 0 1 0 0 1 1 d 0 0 0 1 0 1

Pgina 6

Matemtica Discreta

Teora de Conjuntos

a b c d

K12 1 0 0 0

K23 0 1 0 0

R2 K34 0 0 0 0

K42 1 0 0 1

K15 0 1 0 1

K21 0 0 0 1

Donde los 1 indican que el par correspondiente est en la relacin y los 0 que no est. Resultara: K12 1 0 0 0 R1 R2 K23 K34 0 0 1 1 1 0 0 0 R1 R2 K34 0 0 0 0 R1 R2 K34 0 1 0 0 K42 1 0 0 1 K15 0 1 1 1 K21 0 0 1 1

a b c d

a b c d

K12 1 0 0 0

K23 0 1 0 0

K42 0 0 0 1

K15 0 0 0 0

K21 0 0 0 1

a b c d

K12 0 0 0 0

K23 0 0 1 0

K42 1 0 0 0

K15 0 1 1 1

K21 0 0 1 0

a b c d

K12 0 0 0 0

K23 0 0 1 0

R1 R2 K34 K42 0 0 1 0 0 0 0 0

K15 0 0 1 0

K21 0 0 1 0

Sea R1 una relacin de A en B y R2 una relacin de B en C, la composicin de R1 con R2, denotada por R2oR1, es la relacin de A en C definida por: R2oR1 = {(x, z) / (x, y) R1 y (y, z) R2, para algn y en B}

Pgina 7

Matemtica Discreta

Teora de Conjuntos

Ejemplo: Sea R1 = {(1, 2), (1, 6), (2, 4), (3, 4)} y R2 = {(2, u), (4, s), (4, t), (6, t)}, entonces R2 o R1 = {(1, u), (1, t), (2, s), (2, t), (3, s), (3, t)} Las relaciones binarias describen la relacin entre pares de objetos, de forma similar se puede definir relaciones entre ternas de objetos, entre cuatreas, etc. Una relacin ternaria entre tres conjuntos A, B y C est definida como un subconjunto del producto cartesiano A X B X C. En general, una relacin n aria entre los conjuntos A1, A2, ..., An est definida como un subconjunto del producto cartesiano A1 X A2 X ... X An, es decir es un conjunto de n uplas ordenadas, tal que la primer componente est en A1, la segunda componente en A2, ... y la n sima componente est en An. Ejercicios 17- Qu es una relacin binaria? A qu se llama dominio de una relacin? a qu se llama imagen de una relacin? 18- Qu relaciones se pueden definir a partir de dos relaciones binarias definidas de A en B? 19- Sea A = {6:00, 6:30, 7:00, ..., 9:30, 10:00} el conjunto de nueve perodos de media hora por la maana y B = {2, 9, 11, 13} el conjunto de los cuatro canales de aire de televisin y R1 y R2 dos relaciones binarias definidas de A en B. Qu posibles interpretaciones se pueden dar de R1, R2, R1 R2, R1 R2, R1 R2,y R1 - R2? 20- Sea A un conjunto de trabajadores y B un conjunto de trabajos. Se define R1 como la relacin binaria de A en B tal que (a, b) esta en R1 si el trabajador a est asignado al trabajo B ( se supone que un trabajador puede ser asignado a ms de un trabajo y que ms de un trabajador puede ser asignado al mismo trabajo). Se define R2 como la relacin binaria sobre A tal que (a1, a2) est en R2 si a1 y a2 pueden convivir uno con el otro en el mismo trabajo. Establecer una condicin en trminos de R1 y R2 y (posibles) relaciones binarias derivadas de R1 y R2 de tal manera que una asignacin de los trabajadores a los trabajos de acuerdo con R1 no coloque trabajadores que no pueden convivir uno con el otro para realizar el mismo trabajo.

Sucesiones.
Una sucesin es una lista de objetos dispuestos en orden: primer elemento, segundo elemento, tercer elemento, y as sucesivamente. La lista puede finalizar en n pasos, n N; o puede continuar indefinidamente. En el primer caso se dice que la sucesin es finita, y en el segundo caso, que la sucesin es infinita. Los elementos pueden ser todos diferentes o puede haber repetidos.

Pgina 8

Matemtica Discreta

Teora de Conjuntos

Ejemplos: 1- La sucesin 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, es una sucesin finita con elementos repetidos. 2- La lista 3, 8, 13, 18, 23, ... es una sucesin infinita. Los tres puntos que tiene la expresin significan y as sucesivamente; es decir que contina el patrn establecido por estos primeros trminos. 3- Otra sucesin es 1, 4, 9, 16, ..., la lista de los cuadrados de todos los nmeros naturales. Puede ocurrir que la forma en que contine una sucesin no quede muy clara dando los primeros trminos. Puede ser til en estos casos, como en otros, contar con una notacin compacta para describir una sucesin. Hay dos clases de frmula que se emplean comnmente para describir una sucesin, utilizando un subndice para indicar la posicin del elemento: Frmula recursiva o recurrente: cuando para definir un elemento se utiliza uno o ms elementos anteriores. En este caso siempre tiene que quedar claro el punto de partida. Ejemplo: La sucesin del ejemplo 2, se puede definir como: a1 = 3 an = an-1 + 5, para n 2 pues cada trmino se obtiene de sumarle 5 al anterior. Frmula explcita: cuando basta el nmero de posicin del trmino para definirlo. Ejemplo: En el ejemplo 3, un elemento de la sucesin queda definido indicando que: an = n2, para n 1. Ejemplos: 1- La frmula recursiva c1 = 5, cn = 2.cn-1, 2 n 6 define la sucesin finita 5, 10, 20, 40, 80, 160 2- La sucesin infinita 3, 7, 11, 15, 19, 23, ..., puede definirse por la frmula recursiva: d1 = 3, dn = dn-1 + 4, n 2 n 3- La frmula explcita sn = (-4) , n 1, describe la sucesin infinita 4, 16, -64, 256, ... 4- Una palabra castellana comn, como estudio puede considerarse como la sucesin finita: e, s, t, u, d, i, o formada por las letras del alfabeto castellano. En casos como este, es comn omitir las comas y escribir la palabra en la forma acostumbrada, si no se presta a confusin. De modo similar, hasta una palabra sin significado como abacabcd puede considerarse como una sucesin finita de longitud

Pgina 9

Matemtica Discreta

Teora de Conjuntos

8. Las sucesiones de letras o smbolos, escritas sin comas, son tambin llamadas cadenas. El concepto de sucesin es importante en la ciencia de la computacin, en donde a una sucesin se la llama arreglo lineal o lista. Se har una distincin simple pero til entre una sucesin y un arreglo, y se usar una notacin ligeramente diferente. Si se tiene una sucesin S = {s1, s2, s3, s4, ...} se piensa en todos los elementos de S completamente determinados; si se cambia el valor de un trmino de la sucesin, se obtiene otra sucesin distinta, a la que asignamos un nuevo nombre, por ejemplo S. Un arreglo, en cambio, puede considerarse como una sucesin de posiciones, como se presenta en la siguiente figura: Ordenacin de S: ...

S[1] S[2 1 2 3 formada por casillas o cajas. Las posiciones forman una lista finita o infinita, dependiendo del tamao deseado del arreglo. Los elementos de algn conjunto pueden ser asignados a las posiciones del arreglo S. El elemento asignado a la posicin n ser denotado por S[n], y la sucesin S[1], S[2], S[3], ..., se llama sucesin de valores del arreglo S. El punto a observar es que S se considera un objeto bien definido, an cuando a algunas posiciones no se les haya asignado valores o si se cambian algunos valores durante la discusin. Ejercicios: 1Qu es una sucesin? qu tipos de sucesin existen? 2De qu formas se pueden definir una sucesin? Dar ejemplos. 3- Qu es una cadena? 4- Escribir los 4 primeros trminos de las siguientes sucesiones (comenzar con n = 1). a) an = 5n b) c1 = 2,5, cn = cn-1 + 1,5 c) d1 = -3, dn = -2dn-1 +1 5- Dar una frmula para el trmino de orden n de la sucesin. Identificar si dicha frmula es recursiva o explcita. a) 1, 3, 5, 7, ... b) 0, 3, 8, 15, 24, 35, ... c) 1, -1, 1, -1, 1, ... 6- Qu es un arreglo? qu diferencia existe con una sucesin?

Si A es un conjunto de un conjunto universal U, la funcin caracterstica fA de A se define como: 1 si x A fA(x) = 0 si x A Se pueden sumar y multiplicar funciones caractersticas, en vista de que sus valores son nmeros; y estas operaciones ayudan en ocasiones a demostrar teoremas relativos a propiedades de subconjuntos.

Pgina 10

Matemtica Discreta

Teora de Conjuntos

Teorema: Las funciones caractersticas de dos subconjuntos satisfacen las propiedades siguientes: a) fAB = fA.fB; es decir fAB(x) = fA(x).fB(x), para todos los valores de x. b) fAB = fA + fB - fA.fB c) fAB = fA + fB 2.fA.fB Dem: a) fA(x).fB(x) es igual a 1 si y solo si ambas fA(x) y fB(x) son iguales a 1, y esto ocurre si y solo si x A y x B. Luego fA.fB es 1 si x AB y 0 en caso contrario entonces fAB(x) = fA(x).fB(x). b) Supongamos que fAB(x) = 1, esto es que x AB, luego: - x A y x B, entonces fA(x) = 1 y fB(x) = 0 con lo que resulta que fA(x) + fB(x) - fA.fB(x) = 1 + 0 -- 1.0 = 1 - x B y x A, entonces fA(x) = 0 y fB(x) = 1 con lo que resulta que fA(x) + fB(x) - fA.fB(x) = 0 + 1 - 0.1 = 1 - x A y x B, entonces fA(x) = 1 y fB(x) = 1 con lo que resulta que fA(x) + fB(x) - fA.fB(x) = 1 + 1 - 1.1 = 1 Luego si fAB(x) = 1 resulta que fA(x) + fB(x) - fA.fB(x) = 1 Supongamos ahora que fAB(x) = 0, entonces x AB luego x A y x B, con lo que fA(x) = 0 y fB(x) = 0 y resulta: fA(x) + fB(x) - fA.fB(x) = 0 + 0 0.0 = 0. Luego fAB(x) = fA(x) + fB(x) - fA.fB(x), para todo x// Cuando un conjunto universal U es finito, como por ejemplo, U = {x1, x2, ..., xn} y A es un subconjunto de U, entonces la funcin caracterstica fA asigna 1 a un elemento xi que pertenece a A y cero si el elemento no pertenece a A. As fA puede ser representada por una sucesin de ceros y unos de longitud n. Ejemplo: Sea U = {1, 2, 3, 4, 5, 6}, A = {1, 2}, B = {2, 4, 6} y C = {4, 5, 6}. Entonces fA tiene valor 1 cuando x es 1 o 2 y 0 en otro caso, por lo tanto fA se corresponde con la sucesin 1, 1, 0, 0, 0, 0. De modo semejante, la sucesin finita 0, 1, 0, 1, 0, 1 representa a fB y 0, 0, 0, 1, 1, 1 a fC. Cualquier conjunto con n elementos puede ordenarse en una sucesin de longitud n, de manera que cada uno de sus subconjuntos corresponda a una sucesin de ceros y unos de longitud n, para representar la funcin caracterstica de ese subconjunto. Este hecho permite representar un conjunto universal en una computadora como un arreglo A de longitud n. la asignacin de un cero o un uno a cada posicin A[k] del arreglo especifica un subconjunto nico de U. Ejemplo: Sea U = {a, b, e, g, h, r, s, w}, la ordenacin de longitud 8 de la siguiente figura:

Pgina 11

Matemtica Discreta

Teora de Conjuntos

1 1 1 1 1 1 1 1 representa a U, ya que A[k] = 1 para todo k. Si S = {a, e, r, w}, el arreglo de longitud 8 que le corresponde es: 1 0 1 0 0 1 0 1 Ejercicios 7- Cmo se define la funcin caracterstica de un conjunto A? 8- Demostrar el tem c del teorema de la pgina 22. 9- Sean U = {FORTRAN, PASCAL, ADA, COBOL, LISP, BASIC, C, FORTH} B = {C, BASIC, ADA} C = {PASCAL, ADA , LISP, C} D = {FORTRAN, PASCAL, ADA, BASIC, FORTH} E = {PASCAL, ADA, COBOL, LISP, C} En cada uno de los siguientes casos, representar cada conjunto por un arreglo de ceros y unos. a) B C b) C D c) B (D E) d) B E e) C (B E) 10Sea U = {b, d, e, g, h, k, m, n}, B = {b}, C = {d, g, m, n} y D = {d, k, n} a) Qu es fB(b)? b) Qu es fC(e)? c) Encontrar sucesiones de longitud 8 que correspondan a fB, fC y fD. d) Representar B C y C D por arreglos de ceros y unos.

Pgina 12