Beruflich Dokumente
Kultur Dokumente
Matemticas Discretas
Semestre 2
Matemticas discretas
Matemticas dicretas
Semestre 2
Matemticas discretas
Tabla de contenido
Introduccin Conceptos previos Mapa conceptual Fascculo 4 Logros Conjuntos y subconjuntos Operaciones fundamentales con conjuntos Leyes del Algebra de Conjuntos Cardinalidad Resumen Bibliografa recomendada Nexo Seguimiento al autoaprendizaje
Pgina
1 1 2 2 3 9 13 17 20 21 21 23
Semestre 2
Matemticas discretas
Copyright2008 FUNDICIN UNIVERSITARIA SAN MARTN Facultad de Universidad Abierta y a Distancia, Educacin a Travs de Escenarios Mltiples Bogot, D.C. Prohibida la reproduccin total o parcial sin autorizacin por escrito del Presidente de la Fundacin. La redaccin de este fascculo estuvo a cargo de NICOLAS GARCIA DONCEL Docente tutor Programa de Ingeniera de Sistemas a Distancia. Sede Bogot, D.C. Correccin de estilo EDIEGO ORTIZ MONCADA. Diseo grfico y diagramacin a cargo de SANTIAGO BECERRA SENZ ORLANDO DAZ CRDENAS Impreso en: GRFICAS SAN MARTN Calle 61A No. 14-18 - Tels.: 2350298 - 2359825 Bogot, D.C., Abril de 2010
Matemticas dicretas
Semestre 2
Conceptos previos
El estudiante debe tener claro los conceptos de operaciones bsicas de los conjuntos, como la unin, la interseccin, la diferencia, la diferencia simtrica, el complemento de un conjunto y el conjunto universal.
CMatemticas discretas
Logros
Al finalizar el estudio del presente fascculo, el estudiante estar en capacidad de: Conceptualizar las diferentes clases de conjuntos y sus operaciones bsicas. Utilizar las leyes para realizar demostraciones directas entre las operaciones bsicas de los conjuntos. Utilizar la cuantificacin para la solucin de problemas entre conjuntos.
Matemticas discretas
Denotando con lo anterior que x pertenece al conjunto A. Sin embargo, si x no perteneciera al conjunto A, esto se representara:
Conjuntos finitos e infinitos Un conjunto es finito, si resulta sencillo contar sus elementos al terminar. Si no fuese posible terminar el conteo se dira que se trata de un conjunto infinito.
Matemticas discretas
Matemticas discretas
Igualdad de conjuntos. Un conjunto es igual a otro, si ambos tienen los mismos elementos, es decir si cada elemento que pertenece al conjunto A pertenece tambin a B y si cada elemento que pertenece al conjunto B pertenece a A, y se denota: Conjunto vaco. Aquel conjunto que carece de elementos, se denomina un conjunto nulo, en este documento se utilizar un conjunto semejante llamado vaco y representado por el smbolo:
El conjunto vaco es un subconjunto de cualquier conjunto, es decir todo conjunto lo tiene como parte integral del mismo, siendo apropiado representarlo como: .
Subconjuntos. Cuando los elementos del conjunto A pertenecen tambin al conjunto B, se dice que el conjunto A, es subconjunto del conjunto B.
Cuando decimos que los conjuntos A y B son iguales, es porque , y tambin se puede simbolizar: . En caso contrario, donde no sean iguales se simbolizara: .
Subconjunto propio.
En el sistema matemtico antiguo se utilizaba el smbolo para referirse a cualquier subconjunto y cuando se trataba de un subconjunto propio. En el sistema moderno se emplea para lo cualquier subconjunto y para subconjuntos propios
En cuanto, B es un subconjunto propio de A s, B es un subconjunto de A y B no es igual a A, es decir, B es un subconjunto propio de A s: . Comparabilidad. Los conjuntos A y B son comparables, siempre y cuando se puede decir que;
Matemticas discretas
Matemticas discretas
4.1
Realice el siguiente pareo, ubicando en el espacio del centro la letra que corresponda a la definicin o concepto de la derecha.
1. 2. 3. 4. 5. Sea Z+ el conjunto de los nmeros enteros positivos. Sea D el conjunto de los das de la Semana. ( _) (_ ) (_) (_) (_) a. Los conjuntos son comparables. b. El conjunto est expresado por extensin. c. El conjunto A es un Subconjunto de B. d. El conjunto est expresado por comprensin. e. Un conjunto no pertenece a otro, son los elementos los que pertenecen a los conjuntos. f. Es un conjunto vaco. g. Es un conjunto finito. h. Son conjuntos iguales. i. Es un conjunto infinito.
6. 7. 8. 9.
Sea: Sea: S S
Conjunto universal. En la teora de conjuntos todos los conjuntos considerados son, probablemente, subconjuntos de un mismo conjunto dado, el cual se conoce con el nombre de Conjunto Universal o el Universo del Discurso y se denota por el smbolo: . Conjunto potencia. Algunas veces, se encuentra que los elementos de un conjunto son a su vez conjuntos, esto se conoce con el nombre de familia de conjuntos o clase de conjuntos, ste es el caso del conjunto potencia el cual rene todos los posibles subconjuntos de un conjunto finito dado y se denota por el smbolo:
Fascculo No. 4 Semestre 2
. Ejemplo:
Matemticas discretas
Matemticas discretas
Sea el conjunto finito
El nmero de elementos del conjunto potencia de A, est dado por la frmula 2n, en donde n es el nmero de elementos del conjunto A.
El nmero de elementos que puede contener el conjunto potencia de un conjunto finito A, est dado por la frmula de 2n, en donde n corresponde al nmero de elementos que tiene el conjunto finito A.
Conjuntos disyuntos. S dos conjuntos finitos no tienen los mismos elementos, es decir, que los conjuntos A y B no tienen ningn elemento comn, se dice entonces que los conjuntos A y B son disyuntos. Particiones. Dada una familia del conjunto A, cumple con: i. ii. Para cualesquiera otras palabras Ejemplo: Considere del conjunto A: 1. 2. 3. Como se puede apreciar los tres ejemplos anteriores, cumplen con ser particiones del conjunto A, puesto que en primera instancia todos los
Matemticas discretas
, y
, o bien
, en
Matemticas discretas
elementos del conjunto A, se encuentran en la particin y en segunda instancia, los subconjuntos que conforman la particin son disyuntos. Producto cartesiano. Sea los conjuntos y , al conjunto resultante entre
AxB se le conoce con el nombre de producto cartesiano y se caracteriza por ser un conjunto de parejas ordenadas, tal como se muestra a continuacin:
Representacin grfica de los conjuntos. La representacin de las relaciones entre conjuntos, utilizando los Diagramas de Venn-Euler, resulta ser muy sencilla, tal como se muestra a continuacin: 1. Sea la representacin de y , en el diagrama siguiente:
2. La representacin de la no comparabilidad de A y B:
B A
Matemticas discretas
Matemticas discretas
3. La representacin de dos conjuntos disyuntos:
Otra forma de representar las relaciones que se dan entre los conjuntos, son los conocidos Diagramas Lineales. A continuacin se puede ver su aplicacin: 1. Para representar la relacin sera: B , a travs de un diagrama lineal
A 2. Sean los conjuntos , se puede deducir que representando esta relacin se tiene: A B
4.2
, y que
y ,
1. El estudiante debe dibujar el diagrama lineal correspondiente a la figura siguiente, conforme a las propiedades de los conjuntos, all representados.:
Matemticas discretas
Matemticas discretas
B A D C
2. Sea
los
conjuntos
La representacin grfica, utilizando el Diagrama de Venn, corresponde a la seleccin de los dos conjuntos centro:
Matemticas discretas
Matemticas discretas
Interseccin La interseccin de dos conjuntos, est dada por los elementos que son comunes entre los conjuntos. Ejemplo: Sea y La interseccin de los conjuntos A y B, representada por , es:
La representacin grfica, utilizando el Diagrama de Venn, corresponde al rea que se encuentra rayada (centro):
B A
Diferencia La diferencia de dos conjuntos A y B se forma con los elementos que estn en A y que no se encuentren en B. Ejemplo: Sea y La diferencia de los conjuntos A y B, representada por , es:
Matemticas discretas
10
Matemticas discretas
La representacin grfica, utilizando el Diagrama de Venn, corresponde al rea que se encuentra rayada:
B A
Diferencia simtrica La diferencia simtrica de los conjuntos A y B, es el conjunto formado por los elementos que pertenecen a A B, pero no pertenecen a ambos conjuntos. Ejemplo: Sea y La diferencia simtrica de los conjuntos A y B, representada por es: ,
La representacin grfica, utilizando el Diagrama de Venn, corresponde al rea que se encuentra rayada:
B A
11
Matemticas discretas
Matemticas discretas
Complemento El complemento del conjunto A, es el conjunto de los elementos que no pertenecen al conjunto A.
La representacin grfica, utilizando el Diagrama de Venn, corresponde al rea que se encuentra rayada:
B A
Referente a las operaciones dadas entre los conjuntos se tiene las siguientes observaciones: La unin de dos conjuntos se puede expresar de las dos formas siguientes: La interseccin de dos conjuntos se puede expresar de las siguientes formas: El conjunto resultante de la Interseccin es subconjunto del conjunto A o B: El conjunto A contiene al conjunto : La unin entre el conjunto A y su complemento A, es el conjunto Universal.
Matemticas discretas
12
Matemticas discretas
4.3
el
2. Hacer un diagrama de Venn, con los conjuntos finitos A y B de modo que tengan las siguientes caractersticas: a. b. 3. En el siguiente diagrama de Venn, resalte el rea que corresponda a las siguientes operaciones: a. b. c. d. e. f.
B A
b.
2. Ley Asociativa
a.
b.
13
Matemticas discretas
Matemticas discretas
3. Ley Conmutativa a.
b. 4. Ley Distributiva
a.
b.
5. Ley de Identidad
a.
b.
c.
d. a.
b. c.
7. Ley de Morgan
d. a.
b.
8. Ley de Absorcin
a.
Matemticas discretas
14
Matemticas discretas
b.
Ejemplos: 1. Demuestre la siguiente igualdad: Proposicin = = = 2. Demostrar Proposicin = = = 3. Demostrar: S Proposicin = = = , entonces Razn Ley de Identidad Hiptesis del problema Se sustituye en por la . Razn Ley Distributiva Ley del Complemento Ley de Identidad Razn Ley Conmutativa Ley Distributiva Ley Conmutativa
hiptesis del problema = = = Ley Distributiva Ley del Complemento Ley de Identidad Definicin de Subconjunto Como en el ejemplo anterior, se puede hacer uso de las definiciones de subconjuntos y de las operaciones entre conjuntos para realizar ciertas demostraciones, como en el siguiente ejemplo:
Fascculo No. 4 Semestre 2
15
Matemticas discretas
Matemticas discretas
Demostrar: operaciones, expresadas anteriormente. = = = = = = = La anterior demostracin, permite establecer la relacin que existe entre la lgica y la teora de conjuntos. En la siguiente tabla, se muestran las relaciones entre sus trminos de enlace, vistos en el Fascculo 1 y los smbolos de las operaciones entre conjuntos: Teora de Conjuntos Proposiciones , las razones en esta
Conforme a la tabla anterior, podemos establecer las siguientes relaciones, teniendo en cuenta estas proposiciones: P= ser un elemento del conjunto A q= ser un elemento del conjunto B
4.4
Matemticas discretas
16
Matemticas discretas
El estudiante debe realizar las siguientes demostraciones, utilizando el lgebra de conjuntos o las definiciones de las operaciones entre conjuntos, segn sea el caso. Indique cual es la razn (ley utilizada) en cada uno de los pasos: 1. 2. 3. 4.
Cardinalidad.
Sea el conjunto A, conformado por tres elementos: . En la teora de conjuntos se involucra el concepto cardinal del conjunto, el cual se refiere a conocer el nmero de elementos que conforma un conjunto. Es por eso, que el cardinal del conjunto A se representa por: y equivale a 3, en este caso. En el presente documento, utilizaremos la simbologa Ejemplo: 1. Sean los conjuntos : a. n(A) = 5 b. n(B) = 6 c. n(C) = 7 d. e. f. g. h. i. j.
Fascculo No. 4 Semestre 2
17
Matemticas discretas
Matemticas discretas
Consideremos dos conjuntos finitos A y B, para calcular la cardinalidad de su unin estara dada por:
. Analizando
esta respuesta se tiene que la cardinalidad del conjunto A es 5 y la cardinalidad del conjunto B es 6, lo que supondra una cardinalidad total de 11 elementos, pero debemos considerar que los conjuntos A y B tienen elementos comunes, en este caso son dos (2) elementos, lo que podemos apreciar con la cardinalidad de ; es por esa razn, que se tiene
que restar la cardinalidad de su interseccin. Veamos la representacin del nmero de elementos en este anlisis, a travs de un diagrama de Venn.
A B
Observando el diagrama de Venn, inmediatamente anterior, se observa que se debe ubicar en primera instancia la cardinalidad de las intersecciones y luego la cardinalidad de cada conjunto. Si se suma la cardinalidad de la interseccin y la del conjunto, nos dar la cardinalidad total para cada conjunto, por separado. Qu tal si ahora, tuviramos que calcular la cardinalidad de: Para ello consideremos el ejemplo 1. del tema de cardinalidad: Sean los conjuntos: : , y .
Matemticas discretas
18
Matemticas discretas
Las cardinalidades respectivas son: n(A) = 5, n(B) = 6, n(C) = 7, , , , ya pudimos apreciar, que a la
suma de las cardinalidades individuales se les resta las cardinalidades de sus intersecciones, pero en este caso como se trata de tres conjuntos, los cuales probablemente tienen elementos en comn, al final de la frmula se debe sumar la cardinalidad de la interseccin de los tres conjuntos, puesto que este elemento nos har falta, veamos cmo sera:
Volviendo a los conjuntos, de ste ejemplo, se observa que el elemento 4. se encuentra en todos los conjuntos, significando que la ahora s reemplacemos estos valores en la frmula anterior: ,
Grficamente sera:
A B
1 1 1 3 2
Tal como se explic anteriormente, la forma de ubicar las cardinalidades, en el diagrama, se debe realizar de adentro hacia afuera, es decir primero se ubica la cardinalidad de la interseccin de los tres conjuntos, luego las cardinalidades de la interseccin de los dos conjuntos y finalmente, las cardinalidades individuales.
19
Matemticas discretas
Matemticas discretas
4.5
El estudiante debe resolver los siguientes problemas y realizar la representacin grfica de la solucin: 1. Una encuesta de 500 televidentes dio como resultado la siguiente informacin: 285 vean juegos de ftbol; 195, novelas; 115, pelculas; 45 seguan los juegos de ftbol y novelas; 70 preferan los juegos de ftbol y las pelculas; 50 observaban novelas y pelculas, y 50 no vean televisin. Cuntos televidentes observan los tres tipos de programas (ftbol, pelculas y novelas)? 2. En una encuesta de 60 personas, se encontr que 25 leen el Tiempo, 26 leen la Prensa y 26 leen el Espacio. Tambin 9 leen tanto el Tiempo como la Prensa, 11 leen tanto el Tiempo como el Espacio, 8 leen tanto la Prensa como el Espacio y 8 no leen ninguno de los tres peridicos. a. Cuntas personas leen los tres peridicos? b. Determine el nmero de personas, que exactamente leen un peridico.
En este fascculo se trabaj la teora de conjuntos, en los aspectos relacionados con su conceptualizacin, tipos de conjuntos, familias de conjuntos. Luego se realizaron las operaciones entre conjuntos, como la unin la interseccin, la diferencia, diferencia simtrica y complemento. El lgebra de conjuntos, jug un papel fundamental en la demostracin sobre operaciones con el apoyo de las leyes de la teora de conjuntos y las definiciones de las operaciones bsicas entre los conjuntos. La representacin grfica de las operaciones de los conjuntos, diagramas de Venn y diagramas lineales, son un elemento de ayuda visual, que contribuye al mejor entendimiento de las operaciones y la comparabilidad de los conjuntos.
Matemticas discretas
20
Matemticas discretas
Finalmente, se trabajaron elementos importantes que permiten resolver problemas que tienen que ver con conteo. La cardinalidad ayuda a la solucin de este tipo de problemas.
BARCO G. Carlos, Barco G. Germn. Matemtica Digital. Colombia Editorial McGraw Hill. 2001. GRASSMANN, Winfried Karl y Tremblay, Jean Paul, Matemtica discreta y lgica. Una perspectiva desde la Ciencia de la Computacin. Espaa: Editorial Prentice hall. 1998. ROSS, K. Wright, Ch. Matemticas Discretas 2a. edicin. Mxico: Editorial Prentice Hall. 1990. RALPH P. Gimaldi. Matemticas Discretas y combinatorias. 3 edicin. Mxico. Editorial Prentice Hall. 1998.
Se ha utilizado la teora de conjuntos para su aplicacin en problemas de conteo. En el prximo fascculo trataremos los principios fundamentales del conteo.
21
Matemticas discretas
Matemticas discretas
Matemticas discretas
22
Matemticas discretas
2. Hacer un diagrama de Venn, con los conjuntos A, B y C que tengan las siguientes caractersticas: a. b. c. d. 3. Dado los siguientes conjuntos , el estudiante debe decir:
a. Si son Iguales por qu?_________________________________ b. Y Diferentes por qu?_______________________________ c. Y si son mutuamente subconjuntos por qu? ______________ 4. Sea A={x | 2x = 6} y b=3, entonces b = A? Verdadero ____ Falso _____ Observaciones: ____________________________________________________ ____________________________________________________________________ ____________________________________________________________________ ______________________________________________________________ 5. Cules conjuntos son iguales? a. {x | x es una letra en la palabra tocata} b. Las letras de la palabra tacto c. {x | x es una letra de la palabra cota} d. Las letras a, c, o, t. 6. Dado A={1,2,3,4}, cuntos subconjuntos se podran conformar del conjunto A?
Fascculo No. 4 Semestre 2
23
Matemticas discretas
Matemticas discretas
7. Dado los siguientes conjuntos: , A={1}, B={1,3}, C={1, 5, 9}, U={1, 2, 3, ,4, 5, 6,7, 8, 9} Inserte el smbolo correcto a. __ A e. C __ D D={1, 2, 3, 4, 5}, E={1, 3, 5, 7, 9},
8. Dado A={1,2,3,}, B={a, b, c} y C={x, y}; Encuentre AxBxC 9. Dado X={1, 2, 3, 4, 5, 6, 7 , 8, 9}, determine cules de los siguientes son particiones de X: a. [{1, 3, 6}, {2, 8}, {5, 7, 9}] b. [{1, 5, 7}, {2, 4, 8, 9}, {3, 5, 6}] c. [{2, 4, 5, 8}, {1, 9}, {3, 6, 7}] d. [{1, 2, 7}, {4, 6, 8, 9}, {3,5}] 10. Demuestre: 11. En una encuesta realizada a 120 pasajeros, una lnea area descubri que a 48 les gustaba el vino (V) con sus alimentos, a 78 les gustaban las bebidas preparadas (P) y a 66 el t helado (T). Adems, a 36 les gustaba cualquier par de estas bebidas y a 24 pasajeros les gustaba todo. Cuntos pasajeros toman exactamente una sola bebida?
Matemticas discretas
24