coordinación de ciencias computacionales -...
TRANSCRIPT
![Page 1: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/1.jpg)
Coordinación de Ciencias Computacionales - INAOE
Matemáticas DiscretasCursos Propedéuticos 2007Ciencias Computacionales
INAOE
Dr. Luis Villaseñor [email protected]
http://ccc.inaoep.mx/~villasenMayo-Julio 2007
Material del curso recopilado por:Dr. César Torres Huitzil y Dr. Francisco Martínez Trinidad
![Page 2: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/2.jpg)
2© 2007
Contenido
1. Conjuntos2. Relaciones y funciones3. Lógica4. Series
![Page 3: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/3.jpg)
3© 2007
Introducción
! Definición: la matemática discreta, también llamada matemática finita, comprende el estudio de las estructuras matemáticas fundamentalmente discretas en el sentido de no soportar o requerir la noción de continuidad
![Page 4: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/4.jpg)
4© 2007
Importancia! Matemáticas necesarias para hacer ciencia
de la computación en una forma confiable y eficiente:" Confiable: Lógica, teoría de conjuntos,
funciones y relaciones, estructuras discretas! Cómo argumentar y probar
" Eficiente: Combinatoria, teoría de probabilidad! Cómo contar cosas
![Page 5: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/5.jpg)
5© 2007
PRIMERA PARTE
1. Conjuntos" Nociones generales" Operaciones de conjuntos
![Page 6: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/6.jpg)
6© 2007
ConjuntosSe tiene un “sentimiento íntimo” de que un conjunto debe ser una colección bien definida de elementos. A estos elementos se les suele llamar objetos y se dice que son miembros del conjunto.
El adjetivo “bien definido” implica que cualquiera que sea el objeto considerado, se pueda determinar si está o no en el conjunto que se analiza.
![Page 7: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/7.jpg)
7© 2007
ConjuntosSe utilizan letras mayúsculas, como A, B, C,..., para representar conjuntos, y minúsculas para los elementos.
Dado un conjunto ASe escribe x ∈ A si x es un elemento de A;y ∉ A indica que y no pertenece a A.
Para denotar un conjunto se utiliza un par de llaves {} alrededor de los elementos del conjunto
![Page 8: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/8.jpg)
8© 2007
ConjuntosUn conjunto se puede determinar enlistando sus elementos entre llaves como
A = {1, 2, 3, 4, 5}, (determinación extensional).
Este conjunto también se puede determinar mediante una propiedad que indica cómo deben ser los elementos (determinación intencional). Entonces A también se puede escribir como
A = {x | x es un entero, 1 ≤ x ≤ 5 }.
![Page 9: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/9.jpg)
9© 2007
ConjuntosCuando se trata un problema particular, hay un universo o conjunto universal, formulado o implicado, del cual se seleccionan los elementos para formar los conjuntos.
EJEMPLO. Para el universo U = {1, 2, 3, 4, 5}, considérese un conjunto A = {1, 2}. Si B = {x | x2 ∈ U} los elementos de B son 1, 2. Como A y B tienen los mismos elementos se considera que son el mismo conjunto.
![Page 10: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/10.jpg)
10© 2007
ConjuntosDefinición Para un universo U se dice que los conjuntos A y B (tomados de U) son iguales y se escribe A = B, si A y B contienen los mismos elementos.
De esta definición se deduce que ni el orden ni la repetición tienen importancia para un conjunto, de modo que {1, 2, 3} = {3, 1, 2} = {2, 2, 1, 3} = {1, 2, 1, 3, 1}.
![Page 11: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/11.jpg)
11© 2007
ConjuntosEJEMPLO
Para U = {1, 2, 3,... }, el conjunto de enteros positivos, sea:
a) A = {1, 4, 9,...,64, 81} = {x2 | x ∈ U, x2 < 100}.
b) B = {1, 4, 9, 16} = {y2 | y∈ U, y2 < 20}
c) C = {2, 4, 6, 8,...} = {2k | k∈ U }
A y B son ejemplos de conjuntos finitos, mientras que Cse denomina conjunto infinito.
![Page 12: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/12.jpg)
12© 2007
ConjuntosDefinición Si C, D son conjuntos de un universo U, se dice que C es un subconjunto de D, y se escribe C ⊆ D o D ⊇ C si todo elemento de C es también un elemento de D.
Si existe algún elemento de D que no está en C, C se denomina subconjunto propio de D y se denota por C ⊂ D o D ⊃ C.
"A⊆B si y solo si ∀x [x∈A → x∈B]
![Page 13: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/13.jpg)
13© 2007
Conjuntos
EJEMPLO
Sea U = {1, 2, 3, 4, 5} con A = {1, 2, 3}, B = {3,4}, C = {1, 2, 3, 4}. Entonces se cumplen las siguientes relaciones de subconjuntos:
a) A ⊆ C b) A ⊂ C c) B ⊂ C d) A ⊆ A
e) B A (es decir, B no es un subconjunto de A)
f) A ⊄ A
⊆
![Page 14: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/14.jpg)
14© 2007
Conjuntos
Teorema Sea A, B, C ⊆ U.
a) Si A ⊆ B y B ⊆ C, entonces A ⊆ C.
b) Si A ⊂ B y B ⊆ C, entonces A ⊂ C
c) Si A ⊆ B y B ⊂ C, entonces A ⊂ C
d) Si A ⊂ B y B ⊂ C, entonces A ⊂ C
![Page 15: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/15.jpg)
15© 2007
Conjuntos
Definición El conjunto nulo o vacío es aquél que no contiene elementos y se denota por ∅ o {}.
Se observa que |∅| = 0, pero {0} ≠ ∅. Además,∅ ≠ {∅}, pues {∅} es un conjunto con un
elemento: el conjunto vacío.
![Page 16: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/16.jpg)
16© 2007
ConjuntosDefinición Si A es un conjunto del universo U, el conjunto potencia de A, denotado por P(A), es la colección de todos los subconjuntos de A.
Para cualquier conjunto finito A con |A| = n ≥ 0, Atiene 2n subconjuntos, de modo que |P(A)| = 2n .
![Page 17: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/17.jpg)
17© 2007
ConjuntosEJEMPLO
" sea A={x, y, z}
Su conjunto potencia, " P(A)={{},{x},{y},{z},{x, y},{x, z},{y, z},{x, y, z}}
![Page 18: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/18.jpg)
18© 2007
Operaciones de Conjuntos
Definición Dados A, B ⊆ U, se definen las propiedades siguientes:
a) A ∪ B (la unión de A y B) = {x | x ∈ A o x ∈ B}
b) A ∩ B (la intersección de A y B) = { x | x ∈ A y x ∈ B}
c) A ! B (la diferencia simétrica de A y B) =
A ! B = {x | x ∈ A o x ∈ B, pero x ∉A ∩ B}
![Page 19: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/19.jpg)
19© 2007
Operaciones de ConjuntosEJEMPLO
Con U={1,2,3, ... ,9,10}, A={1,2,3,4,5}, B ={3,4,5,6,7}, C={7,8,9} tenemos
a) A∩B = b) A∪B =
c) B∩C = d) A∩C =
e) A!B = f) A∪C =
g) A!C =
![Page 20: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/20.jpg)
20© 2007
Operaciones de ConjuntosEJEMPLO
Con U={1,2,3, ... ,9,10}, A={1,2,3,4,5}, B ={3,4,5,6,7}, C={7,8,9} tenemos
a) A∩B = {3, 4, 5} b) A∪B = {1, 2, 3, 4, 5, 6, 7}
c) B∩C = {7} d) A∩C = ∅
e) A!B = {1, 2, 6, 7} f) A∪C = {1, 2, 3, 4, 5, 6, 7, 8, 9}
g) A!C = {1, 2, 3, 4, 5, 7, 8, 9}
![Page 21: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/21.jpg)
21© 2007
Operaciones de Conjuntos
Definición Si S, T ⊆ U, cuando S ∩ T = ∅, entonces S y T se denominan disjuntos o mutuamente disjuntos.
Teorema Si S, T ⊆ U, S ∪ T = S ! T si y sólo si S y T son disjuntos.
![Page 22: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/22.jpg)
22© 2007
Operaciones de Conjuntos
Definición Para un conjunto A ⊆ U, el complemento de A, denotado por U – A o , estádado por {x | x∈U, x∉A }.
A
Para U={1,2,3, ... ,9,10}
A={1,2,3,4,5}, B={3,4,5,6,7}, y C={7,8,9}
={6, 7, 8, 9, 10},
={1, 2, 8, 9, 10}, ={1, 2, 3, 4, 5, 6, 10}
A
B C
![Page 23: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/23.jpg)
23© 2007
Operaciones de Conjuntos
Definición Para A, B ⊆ U, el complemento (relativo) de A en B, denotado por B – A , estádado por {x | x ∈ B, x ∉ A}.
Para U={1,2,3, ... ,9,10} A={1,2,3,4,5}, B={3,4,5,6,7}, y C={7,8,9} se tiene:
a) B – A = {6,7} b) A – B = {1, 2} c) A – C = A
d) C – A = C e) A – A = ∅ f) U – A = A
![Page 24: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/24.jpg)
24© 2007
Proposiciones equivalentesTeorema Las siguientes proposiciones son equivalentes para los conjuntos A, B ⊆ U
a) A ⊆ B b) A ∪ B = B c) A ∩ B = A d) ⊆B A1) a)⇒b) Si A, B son conjuntos cualesquiera, entonces B⊆A∪B. Para la inclusión opuesta, si x∈A∪B, entonces x∈A o x∈B, pero como A⊆B, en ambos casos se tiene x∈B; de modo que A∪B⊆B y resulta la igualdad.
2) b)⇒c) Dados los conjuntos A, B, siempre se tiene que A⊇A∩B. Para la inclusión opuesta, sea y∈A. Si se tiene A∪B=B, y∈A⇒y∈A∪B⇒ y∈B⇒ y∈A∩B, entonces A⊆A∩B y se concluye que A=A∩B.
![Page 25: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/25.jpg)
25© 2007
Leyes de la teoría de conjuntosPara conjuntos cualesquiera A, B, C de un universo U:
1. = A Doble complemento
2. DeMorgan
3. A ∪ B = B ∪ A Conmutativas
A ∩ B = B ∩ A
4. Asociativas
5. Distributivas
__A
BABA ∩=∪_______
BABA ∪=∩_______
( ) ( ) CBACBA ∪∪=∪∪
( ) ( ) CBACBA ∩∩=∩∩
( ) ( ) ( )CABACBA ∪∩∪=∩∪
( ) ( ) ( )CABACBA ∩∪∩=∪∩
![Page 26: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/26.jpg)
26© 2007
Leyes de la teoría de conjuntos
6. A ∪ A = A Idempotentes
A ∩ A = A
7. A ∪ ∅ = A Identidad
A ∩ U = A
8. A ∪ = U Inversas
A ∩ = ∅
9. A ∪ U = U Dominación
A ∩ ∅ = ∅
10. Absorción( ) ABAA =∩∪
( ) ABAA =∪∩
AA
![Page 27: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/27.jpg)
27© 2007
Leyes de la teoría de conjuntos
Debe tener alguna importancia que las leyes 2 a 10 se presenten por pares. Estos pares se llaman duales.
Una proposición se puede obtener a partir de la otra intercambiando en todos los casos en que se presente ∪ por ∩, y viceversa, y donde aparezca U por ∅, y viceversa.
![Page 28: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/28.jpg)
28© 2007
Leyes de la teoría de conjuntos
Teorema (El principio de dualidad) Si s es un teorema que trata de conjuntos e incluye sólo –, ∩, ∪, e =, entonces el dual de s también es un teorema de la teoría de conjuntos.
Este principio reduce el trabajo de forma considerable. Para cada par de las leyes 2 a 10 sólo se necesita demostrar una de las proposiciones y recurrir a este principio para obtener la otra proposición del par.
![Page 29: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/29.jpg)
29© 2007
Diagramas de VennUn diagrama de Venn, se construye como sigue: U se representa por el interior de un rectángulo, mientras que sus subconjuntos se representan por círculos interiores y otras curvas cerradas.
![Page 30: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/30.jpg)
30© 2007
Diagramas de VennEn la figura se usan diagramas de Venn para establecer una de las leyes de DeMorgan.
BABA ∪=∩________
![Page 31: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/31.jpg)
31© 2007
Diagramas de Venn
Diagrama de Venn
numerando regiones
La región 3 es y la región 7 es . Cada región es un conjunto de la forma donde S1 se sustituye por A o , S2 por B o , y S3 por C o .
CBA ∩∩ CBA ∩∩321 SSS ∩∩
A B C
![Page 32: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/32.jpg)
32© 2007
Diagramas de VennA ∪ B está formado por las regiones 2, 3, 5, 6, 7, 8, de modo que comprende las regiones 1 y 4. Al desarrollar está formado por las regiones 1, 4, 6, 7, 8.
( )_________
BA∪( ) CBA ∪∪__________
![Page 33: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/33.jpg)
33© 2007
Diagramas de VennEl conjunto consta de las regiones 1, 3, 4, 6, mientras que las regiones 1, 2, 4, 7 forman , de modo que las regiones 1 y 4 comprenden . Si se toma la unión de Ccon , se concluye con las regiones 1, 4, 6, 7, 8.
AB
BA ∩BA ∩
![Page 34: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/34.jpg)
34© 2007
Tabla de pertenenciaOtra técnica para probar igualdades entre conjuntos es la tabla de pertenencia. Se observa que para los conjuntos A, B ⊆ U , un elemento x ∈U cumple exactamente una de las cuatro situaciones siguientes:
a) x∉A, x∉B; b) x∉A, x∈B; c) x∈A, x∉B; c) x∈A, x∈B.
![Page 35: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/35.jpg)
35© 2007
Tabla de pertenenciaSe puede establecer la igualdad de dos conjuntos ocupando sus columnas respectivas en las tablas de pertenencia. En la tabla se muestra esto para la ley distributiva de la unión sobre la intersección.
![Page 36: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/36.jpg)
36© 2007
Simplificación y deducción de expresiones
EJEMPLO Simplifique la expresión ( )________________________________________BCBA ∪∩∪
= DeMorgan
= doble complemento
= asociativa
= conmutativa de intersección
= asociativa de la intersección
= absorción
( )__ _________________________________BCBA ∩∩∪
( )( ) BCBA ∩∩∪
( ) ( )BCBA ∩∩∪
( ) ( )CBBA ∩∩∪
( )[ ] CBBA ∩∩∪
CB∩
![Page 37: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/37.jpg)
37© 2007
Leyes de la teoría de conjuntosPara conjuntos cualesquiera A, B, C de un universo U:
1. = A Doble complemento
2. DeMorgan
3. A ∪ B = B ∪ A Conmutativas
A ∩ B = B ∩ A
4. Asociativas
5. Distributivas
__A
BABA ∩=∪_______
BABA ∪=∩_______
( ) ( ) CBACBA ∪∪=∪∪
( ) ( ) CBACBA ∩∩=∩∩
( ) ( ) ( )CABACBA ∪∩∪=∩∪
( ) ( ) ( )CABACBA ∩∪∩=∪∩
![Page 38: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/38.jpg)
38© 2007
Leyes de la teoría de conjuntos
6. A ∪ A = A Idempotentes
A ∩ A = A
7. A ∪ ∅ = A Identidad
A ∩ U = A
8. A ∪ = U Inversas
A ∩ = ∅
9. A ∪ U = U Dominación
A ∩ ∅ = ∅
10. Absorción( ) ABAA =∩∪
( ) ABAA =∪∩
AA
![Page 39: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/39.jpg)
39© 2007
Simplificación y deducción de expresiones
EJEMPLO Exprésese en función de ∪ y .
Por la definición de complemento relativo tenemos que
. Por tanto,
_______BA−
__
{ } BABxAxxBA ∩=∉∈=− ,________________
BABA ∩=−
= DeMorgan
= doble complemento
__BA∪BA∪
![Page 40: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/40.jpg)
40© 2007
Generalización operaciones de conjuntos
Definición Denótese por I un conjunto de índices. Si para cada índice i∈I hay un conjunto Ai ⊆ U , entonces
y
.
Obsérvese que si x∉ Ai, para todo índice i∈I .
Si x∉ Ai para al menos un índice i ∈ I, entonces .
{ }IiAxxA iIi
i ∈∈=∈
una menos al para U
{ }IiAxxA iIi
i ∈∈=∈
todopara I
UIi
iAx∈
∉
IIi
iAx∈
∉
![Page 41: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/41.jpg)
41© 2007
Generalización operaciones de conjuntos
Si el conjunto de índices I es el conjunto Z+, se puede escribir:
UU L∞
=∈
=∪∪=+ 1
21i
iZi
i AAAA
II L∞
=∈
=∩∩=+ 1
21
Z ii
ii AAAA
![Page 42: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/42.jpg)
42© 2007
Generalización operaciones de conjuntos
Teorema (Leyes de DeMorgan generalizadas) Sea I un conjunto de índices, donde para cada i∈I, Ai⊆U. Entonces,
a) b)IU ii AA = IIiIi ∈∈
______
UIi
iIi
i AA∈∈
=______
![Page 43: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/43.jpg)
43© 2007
Conteo y diagramas de VennPara A, B ⊆ U, los siguientes diagramas de Venn ayudarán a obtener fórmulas de conteo para , en función de , y .
A BA∪A B BA∩
Como se muestra en la figura, U y ∅, de modo que, por la regla de la suma, o
=∪ AA =∩ AAU=+ AA
AA −= U
![Page 44: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/44.jpg)
44© 2007
Conteo y diagramas de VennLos conjuntos A, B de la figura no tienen intersección, asíque aquí la regla de la suma da lugar a , y es necesario que A, B sean finitos, pero no requiere condición alguna sobre la cardinalidad de U.
BABA +=∪
![Page 45: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/45.jpg)
45© 2007
Conteo y Diagramas de VennEJEMPLO En una clase de 50 alumnos de primero de universidad, 30 estudian BASIC, 25 Pascal, y 10 los dos lenguajes. ¿Cuántos alumnos estudian uno de los lenguajes de programación?.
![Page 46: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/46.jpg)
46© 2007
Conteo y Diagramas de VennSea U la clase de 50 alumnos, A el subconjunto de los que estudian BASIC y B el de los que estudian Pascal. Para responder a la pregunta, se necesita . En la figura, los números de las regiones se obtienen de la información: =30, =25, =10. Por tanto, = 45 ≠ + , pues + cuenta dos veces a los alumnos de . Para evitar esta sobre cuenta se resta de
+ y se obtiene la fórmula correcta:
= + – .
BA∪
A B BA∩ BA∪A B A B
BA∩ BA∩A B
BA∪ A B BA∩
![Page 47: Coordinación de Ciencias Computacionales - INAOEvillasen/index_archivos/cursoMateDiscretas07/... · Se tiene un “sentimiento íntimo”de que un conjunto debe ser una colección](https://reader030.vdocuments.pub/reader030/viewer/2022040101/5e1f55c3fa0f421aaa4aca84/html5/thumbnails/47.jpg)
47© 2007
El empleo de conjuntos! Los conjuntos son las estructuras más simples
pero no triviales de las matemáticas! Otros objetos y propiedades de la matemáticas
se definen en base a ellos! Fueron usados en un principio para estudiar la
noción de infinito ! Útiles en problemas de conteo y teoría de
probabilidad