Sie sind auf Seite 1von 28

Fascculo

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

Crditos: 3 Tipo de asignatura: Terica Prctico

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

Matemticas discretas Introduccin


El concepto de conjunto, es un tema fundamental en la matemtica. Se puede considerar al conjunto como una lista, coleccin o clase de objetos bien definidos, como por ejemplo el conjunto de los nmeros primos, el conjunto de las vocales, los empleados de un departamento, los estudiantes de matemticas discretas, etc. Este tema se divide en cuatro partes, comenzamos con la conceptualizacin de los conjuntos, su representacin y clases de conjuntos; posteriormente revisaremos de manera muy general las operaciones dadas entre los conjuntos; luego nos ocuparemos de realizar algunas demostraciones haciendo uso de las leyes de la teora de conjuntos y, finalizaremos con el tema de cardinalidad, como estrategia para conocer el nmero de elementos que integra un conjunto.

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.

Fascculo No. 4 Semestre 2

CMatemticas discretas

Matemticas discretas Mapa conceptual del Fascculo 4

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

Fascculo No. 4 Semestre 2

Matemticas discretas Conjuntos y subconjuntos.


Un conjunto es una coleccin de datos bien definidos, ejemplo: 1. El conjunto de los nmeros 2, 4, 6, 8, 10. 2. Las soluciones de la ecuacin: . 3. El conjunto de las vocales del nuestro abecedario. 4. El conjunto de todas las x, tales que x es un impar, en donde 1<= x < 50. 5. El conjunto de las capitales de Colombia. Se puede observar, en los ejemplos anteriores, que existen dos formas de expresar un conjunto: cuando se enumeran sus elementos, como en el caso del ejemplo 1. y cuando se manifiestan las propiedades que tienen sus elementos, como en el caso del ejemplo 4. El primer ejemplo se conoce con el nombre de forma tabular o extensin y el segundo caso, por comprensin o constructiva de un conjunto, respectivamente. En este captulo, representaremos los conjuntos con letras maysculas y los elementos con letras minsculas, por ejemplo, si un objeto x es un elemento del conjunto A esto se puede expresar, de la siguiente manera:

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.

Fascculo No. 4 Semestre 2

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

Fascculo No. 4 Semestre 2

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 conjunto potencia del conjunto A es:

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

no vaca de subconjuntos es una particin de A s se

, y

, o bien son disyuntos.

, o bien

, en

, las siguientes pueden ser particiones

Fascculo No. 4 Semestre 2

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

Fascculo No. 4 Semestre 2

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

Fascculo No. 4 Semestre 2

Matemticas discretas

B A D C

2. Sea

los

conjuntos

, , , . 3. El estudiante debe realizar el diagrama lineal correspondiente.

Operaciones fundamentales de conjuntos.


Las operaciones que se pueden dar entre los conjuntos son la unin, interseccin y diferencia. Unin La unin de dos conjuntos, consiste en la agrupacin de los elementos que pertenecen a ambos conjuntos.

Ejemplo: Sea y La unin de los conjuntos A y B, representada por , es:

La representacin grfica, utilizando el Diagrama de Venn, corresponde a la seleccin de los dos conjuntos centro:

Fascculo No. 4 Semestre 2

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

Fascculo No. 4 Semestre 2

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

Fascculo No. 4 Semestre 2

11

Matemticas discretas

Matemticas discretas
Complemento El complemento del conjunto A, es el conjunto de los elementos que no pertenecen al conjunto A.

Ejemplo: Sea el conjunto , si consideramos el conjunto universal , es:

como el abecedario, el complemento de A, representado:

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

Fascculo No. 4 Semestre 2

Matemticas discretas
4.3

1. Utilizando diagramas de Venn, represente estudiante debe:

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

Leyes del lgebra de conjuntos


Con base en la relacin de orden conjuntos, y en las operaciones de conjuntos.
Descripcin 1. Ley de Idempotencia Leyes a. Diagrama de Venn

, la comparabilidad entre se puede formar un lgebra

b.

2. Ley Asociativa

a.

b.

Fascculo No. 4 Semestre 2

13

Matemticas discretas

Matemticas discretas
3. Ley Conmutativa a.

b. 4. Ley Distributiva

a.

b.

5. Ley de Identidad

a.

b.

c.

6. Ley del Complemento

d. a.

b. c.

7. Ley de Morgan

d. a.

b.

8. Ley de Absorcin

a.

Matemticas discretas

14

Fascculo No. 4 Semestre 2

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

demostracin se apoyan en las definiciones conceptuales de las

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

Fascculo No. 4 Semestre 2

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

, para hacer referencia a la cardinalidad de un conjunto.

17

Matemticas discretas

Matemticas discretas
Consideremos dos conjuntos finitos A y B, para calcular la cardinalidad de su unin estara dada por:

De ah, que en el ejemplo 1. la cardinalidad de

. 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

Fascculo No. 4 Semestre 2

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.

Fascculo No. 4 Semestre 2

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

Fascculo No. 4 Semestre 2

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.

Fascculo No. 4 Semestre 2

21

Matemticas discretas

Matemticas discretas

Matemticas discretas

22

Fascculo No. 4 Semestre 2

Matemticas discretas

Seguim ientoal autoap rend izaje


Matemticas discretas - Fascculo No. 4
Nombre_______________________________________________________ Apellidos ________________________________ Fecha: _________________ Ciudad___________________________________Semestre: _______________
1. Dados los conjuntos A y B no comparables, construir el diagrama lineal de los conjuntos A, B, (A B), (B A), y el .

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},

, , entre cada pareja de conjuntos:


b. A__ B f. C__ E c. B__ C g. D__ E d. B__E h. D__U

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

Fascculo No. 4 Semestre 2

Das könnte Ihnen auch gefallen