Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf ·...
Transcript of Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf ·...
![Page 1: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/1.jpg)
Teoría de Conjuntos: PropiedadesDepartamento de Matematicas
Teorıa de Conjuntos: Propiedades– p.1/35
![Page 2: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/2.jpg)
El Argumento del Elemento
Sean X y Y conjuntos dados. Para probar que X ⊆ Y :
Teorıa de Conjuntos: Propiedades– p.2/35
![Page 3: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/3.jpg)
El Argumento del Elemento
Sean X y Y conjuntos dados. Para probar que X ⊆ Y :
suponga un elemento particular pero arbitrario xelegido de X,
Teorıa de Conjuntos: Propiedades– p.2/35
![Page 4: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/4.jpg)
El Argumento del Elemento
Sean X y Y conjuntos dados. Para probar que X ⊆ Y :
suponga un elemento particular pero arbitrario xelegido de X,
muestre que x es un elemento de Y .
Teorıa de Conjuntos: Propiedades– p.2/35
![Page 5: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/5.jpg)
Ejemplo
Pruebe que Z ⊆ Q.
Teorıa de Conjuntos: Propiedades– p.3/35
![Page 6: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/6.jpg)
Ejemplo
Pruebe que Z ⊆ Q.
Demostraci on
Teorıa de Conjuntos: Propiedades– p.3/35
![Page 7: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/7.jpg)
Ejemplo
Pruebe que Z ⊆ Q.
Demostraci onSea z un elemento cualquiera de Z.
Teorıa de Conjuntos: Propiedades– p.3/35
![Page 8: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/8.jpg)
Ejemplo
Pruebe que Z ⊆ Q.
Demostraci onSea z un elemento cualquiera de Z. Así
z =z
1
Teorıa de Conjuntos: Propiedades– p.3/35
![Page 9: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/9.jpg)
Ejemplo
Pruebe que Z ⊆ Q.
Demostraci onSea z un elemento cualquiera de Z. Así
z =z
1
Por lo tanto, z puede ser visto como la división entre dos
enteros (el mismo z y el 1).
Teorıa de Conjuntos: Propiedades– p.3/35
![Page 10: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/10.jpg)
Ejemplo
Pruebe que Z ⊆ Q.
Demostraci onSea z un elemento cualquiera de Z. Así
z =z
1
Por lo tanto, z puede ser visto como la división entre dos
enteros (el mismo z y el 1). Por tanto, z es un racional.
Teorıa de Conjuntos: Propiedades– p.3/35
![Page 11: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/11.jpg)
Ejemplo
Pruebe que Z ⊆ Q.
Demostraci onSea z un elemento cualquiera de Z. Así
z =z
1
Por lo tanto, z puede ser visto como la división entre dos
enteros (el mismo z y el 1). Por tanto, z es un racional. Por
tanto z está en Q.
Teorıa de Conjuntos: Propiedades– p.3/35
![Page 12: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/12.jpg)
Ejemplo
Pruebe que Z ⊆ Q.
Demostraci onSea z un elemento cualquiera de Z. Así
z =z
1
Por lo tanto, z puede ser visto como la división entre dos
enteros (el mismo z y el 1). Por tanto, z es un racional. Por
tanto z está en Q. Por el argumento del elemento arbitrario
Z ⊆ Q.Teorıa de Conjuntos: Propiedades– p.3/35
![Page 13: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/13.jpg)
Versiones Operativas de las Operaciones
Sean X y Y subconjuntos de un conjunto universal U , ysuponga que x y y con dos elementos de U :
Teorıa de Conjuntos: Propiedades– p.4/35
![Page 14: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/14.jpg)
Versiones Operativas de las Operaciones
Sean X y Y subconjuntos de un conjunto universal U , ysuponga que x y y con dos elementos de U :
x ∈ X ∪ Y ⇔ x ∈ X ∨ x ∈ Y
Teorıa de Conjuntos: Propiedades– p.4/35
![Page 15: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/15.jpg)
Versiones Operativas de las Operaciones
Sean X y Y subconjuntos de un conjunto universal U , ysuponga que x y y con dos elementos de U :
x ∈ X ∪ Y ⇔ x ∈ X ∨ x ∈ Y
x ∈ X ∩ Y ⇔ x ∈ X ∧ x ∈ Y
Teorıa de Conjuntos: Propiedades– p.4/35
![Page 16: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/16.jpg)
Versiones Operativas de las Operaciones
Sean X y Y subconjuntos de un conjunto universal U , ysuponga que x y y con dos elementos de U :
x ∈ X ∪ Y ⇔ x ∈ X ∨ x ∈ Y
x ∈ X ∩ Y ⇔ x ∈ X ∧ x ∈ Y
x ∈ X − Y ⇔ x ∈ X ∧ x /∈ Y
Teorıa de Conjuntos: Propiedades– p.4/35
![Page 17: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/17.jpg)
Versiones Operativas de las Operaciones
Sean X y Y subconjuntos de un conjunto universal U , ysuponga que x y y con dos elementos de U :
x ∈ X ∪ Y ⇔ x ∈ X ∨ x ∈ Y
x ∈ X ∩ Y ⇔ x ∈ X ∧ x ∈ Y
x ∈ X − Y ⇔ x ∈ X ∧ x /∈ Y
x ∈ Xc ⇔ x /∈ X
Teorıa de Conjuntos: Propiedades– p.4/35
![Page 18: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/18.jpg)
Versiones Operativas de las Operaciones
Sean X y Y subconjuntos de un conjunto universal U , ysuponga que x y y con dos elementos de U :
x ∈ X ∪ Y ⇔ x ∈ X ∨ x ∈ Y
x ∈ X ∩ Y ⇔ x ∈ X ∧ x ∈ Y
x ∈ X − Y ⇔ x ∈ X ∧ x /∈ Y
x ∈ Xc ⇔ x /∈ X
(x, y) ∈ X × Y ⇔ x ∈ X ∧ y ∈ Y
Teorıa de Conjuntos: Propiedades– p.4/35
![Page 19: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/19.jpg)
Versiones Operativas de las Operaciones
Sean X y Y subconjuntos de un conjunto universal U , ysuponga que x y y con dos elementos de U :
x ∈ X ∪ Y ⇔ x ∈ X ∨ x ∈ Y
x ∈ X ∩ Y ⇔ x ∈ X ∧ x ∈ Y
x ∈ X − Y ⇔ x ∈ X ∧ x /∈ Y
x ∈ Xc ⇔ x /∈ X
(x, y) ∈ X × Y ⇔ x ∈ X ∧ y ∈ Y
x ∈ P(X) ⇔ x ⊆ X
Teorıa de Conjuntos: Propiedades– p.4/35
![Page 20: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/20.jpg)
Indique en orden los conjuntos que completan lasafirmaciones:
Decir que un elemento x pertenece a B ∩ (A ∪ C)significa que x pertenece a B y que x pertenece a (a).
Decir que un elemento x pertence a (B − C) ∪ Asignifica que x pertenece a A o que x pertenece a (b).
Decir que un elemento x pertenece a C − (B ∪ A)significa que x pertenece a (c) pero que x no pertenecea (d).
Dentro de la opciones:1. C − B 2. B − C
3. A ∪ C 4. B ∪ A
5. C 6. C − A
Teorıa de Conjuntos: Propiedades– p.5/35
![Page 21: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/21.jpg)
Prueba de Igualdad entre Conjuntos
Sean X y Y conjuntos dados. Para probar que X = Y :
Teorıa de Conjuntos: Propiedades– p.6/35
![Page 22: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/22.jpg)
Prueba de Igualdad entre Conjuntos
Sean X y Y conjuntos dados. Para probar que X = Y :
pruebe que X ⊆ Y ,
Teorıa de Conjuntos: Propiedades– p.6/35
![Page 23: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/23.jpg)
Prueba de Igualdad entre Conjuntos
Sean X y Y conjuntos dados. Para probar que X = Y :
pruebe que X ⊆ Y ,
pruebe que Y ⊆ X.
Teorıa de Conjuntos: Propiedades– p.6/35
![Page 24: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/24.jpg)
Leyes Conmutativas
Sean A y B dos conjuntos cualquiera, entonces:
Teorıa de Conjuntos: Propiedades– p.7/35
![Page 25: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/25.jpg)
Leyes Conmutativas
Sean A y B dos conjuntos cualquiera, entonces:
A ∪ B = B ∪ A
Teorıa de Conjuntos: Propiedades– p.7/35
![Page 26: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/26.jpg)
Leyes Conmutativas
Sean A y B dos conjuntos cualquiera, entonces:
A ∪ B = B ∪ A
A ∩ B = B ∩ A
Teorıa de Conjuntos: Propiedades– p.7/35
![Page 27: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/27.jpg)
Leyes Asociativas
Sean A, B y C conjuntos cualquiera, entonces:
Teorıa de Conjuntos: Propiedades– p.8/35
![Page 28: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/28.jpg)
Leyes Asociativas
Sean A, B y C conjuntos cualquiera, entonces:
A ∪ (B ∪ C) = (A ∪ B) ∪ C
Teorıa de Conjuntos: Propiedades– p.8/35
![Page 29: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/29.jpg)
Leyes Asociativas
Sean A, B y C conjuntos cualquiera, entonces:
A ∪ (B ∪ C) = (A ∪ B) ∪ C
A ∩ (B ∩ C) = (A ∩ B) ∩ C
Teorıa de Conjuntos: Propiedades– p.8/35
![Page 30: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/30.jpg)
Leyes Distributivas
Sean A, B y C conjuntos cualquiera, entonces:
Teorıa de Conjuntos: Propiedades– p.9/35
![Page 31: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/31.jpg)
Leyes Distributivas
Sean A, B y C conjuntos cualquiera, entonces:
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
Teorıa de Conjuntos: Propiedades– p.9/35
![Page 32: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/32.jpg)
Leyes Distributivas
Sean A, B y C conjuntos cualquiera, entonces:
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
Teorıa de Conjuntos: Propiedades– p.9/35
![Page 33: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/33.jpg)
Leyes de Identidad
Sean A un conjunto cualquiera, entonces:
Teorıa de Conjuntos: Propiedades– p.10/35
![Page 34: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/34.jpg)
Leyes de Identidad
Sean A un conjunto cualquiera, entonces:
A ∪ ∅ = A
Teorıa de Conjuntos: Propiedades– p.10/35
![Page 35: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/35.jpg)
Leyes de Identidad
Sean A un conjunto cualquiera, entonces:
A ∪ ∅ = A
A ∩ U = A
Teorıa de Conjuntos: Propiedades– p.10/35
![Page 36: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/36.jpg)
Leyes de Complemento (Negación)
Sean A un conjunto cualquiera, entonces:
Teorıa de Conjuntos: Propiedades– p.11/35
![Page 37: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/37.jpg)
Leyes de Complemento (Negación)
Sean A un conjunto cualquiera, entonces:
A ∪ Ac = U
Teorıa de Conjuntos: Propiedades– p.11/35
![Page 38: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/38.jpg)
Leyes de Complemento (Negación)
Sean A un conjunto cualquiera, entonces:
A ∪ Ac = U
A ∩ Ac = ∅
Teorıa de Conjuntos: Propiedades– p.11/35
![Page 39: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/39.jpg)
Leyes de Idempotencia
Sean A un conjunto cualquiera, entonces:
Teorıa de Conjuntos: Propiedades– p.12/35
![Page 40: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/40.jpg)
Leyes de Idempotencia
Sean A un conjunto cualquiera, entonces:
A ∪ A = A
Teorıa de Conjuntos: Propiedades– p.12/35
![Page 41: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/41.jpg)
Leyes de Idempotencia
Sean A un conjunto cualquiera, entonces:
A ∪ A = A
A ∩ A = A
Teorıa de Conjuntos: Propiedades– p.12/35
![Page 42: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/42.jpg)
Leyes de Dominación
Sean A un conjunto cualquiera, entonces:
Teorıa de Conjuntos: Propiedades– p.13/35
![Page 43: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/43.jpg)
Leyes de Dominación
Sean A un conjunto cualquiera, entonces:
A ∪ U = U
Teorıa de Conjuntos: Propiedades– p.13/35
![Page 44: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/44.jpg)
Leyes de Dominación
Sean A un conjunto cualquiera, entonces:
A ∪ U = U
A ∩ ∅ = ∅
Teorıa de Conjuntos: Propiedades– p.13/35
![Page 45: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/45.jpg)
Leyes de De Morgan
Sean A y B dos conjuntos cualquiera, entonces:
Teorıa de Conjuntos: Propiedades– p.14/35
![Page 46: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/46.jpg)
Leyes de De Morgan
Sean A y B dos conjuntos cualquiera, entonces:
(A ∪ B)c = Ac ∩ Bc
Teorıa de Conjuntos: Propiedades– p.14/35
![Page 47: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/47.jpg)
Leyes de De Morgan
Sean A y B dos conjuntos cualquiera, entonces:
(A ∪ B)c = Ac ∩ Bc
(A ∩ B)c = Ac ∪ Bc
Teorıa de Conjuntos: Propiedades– p.14/35
![Page 48: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/48.jpg)
Leyes de Absorción
Sean A y B dos conjuntos cualquiera, entonces:
Teorıa de Conjuntos: Propiedades– p.15/35
![Page 49: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/49.jpg)
Leyes de Absorción
Sean A y B dos conjuntos cualquiera, entonces:
A ∪ (A ∩ B) = A
Teorıa de Conjuntos: Propiedades– p.15/35
![Page 50: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/50.jpg)
Leyes de Absorción
Sean A y B dos conjuntos cualquiera, entonces:
A ∪ (A ∩ B) = A
A ∩ (A ∪ B) = A
Teorıa de Conjuntos: Propiedades– p.15/35
![Page 51: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/51.jpg)
Complemento Base
Teorıa de Conjuntos: Propiedades– p.16/35
![Page 52: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/52.jpg)
Complemento Base
U c = ∅
Teorıa de Conjuntos: Propiedades– p.16/35
![Page 53: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/53.jpg)
Complemento Base
U c = ∅
∅c = U
Teorıa de Conjuntos: Propiedades– p.16/35
![Page 54: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/54.jpg)
Ley de Diferencia
Sean A y B dos conjuntos cualquiera, entonces:
Teorıa de Conjuntos: Propiedades– p.17/35
![Page 55: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/55.jpg)
Ley de Diferencia
Sean A y B dos conjuntos cualquiera, entonces:
(A − B) = A ∩ Bc
Teorıa de Conjuntos: Propiedades– p.17/35
![Page 56: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/56.jpg)
Indique en orden la opción que contiene la ley cuyo uso selleva a cabo en:
a)((
(D − E)c)
c)c
= (D − E)c
b) (B ∩ C) ∩ (B ∩ C)c = ∅
c) Ec ∩ (D ∩ B) = (Ec ∩ D) ∩ B
d) Ec ∪ Ec = Ec
e) B ∩ (B ∪ (C ∪ D)) = B
dentro de la lista:1. Ley de Complemento 2. Ley de Idempotencia3. Ley Asociativa 4. Ley del Doble Complemento5. Propiedad Distributiva 6. Ley de Absorción
Teorıa de Conjuntos: Propiedades– p.18/35
![Page 57: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/57.jpg)
Indique en orden la opción que contiene la ley cuyo uso selleva a cabo en:
a)((
(D − E)c)
c)c
= (D − E)c :Doble Complemento
b) (B ∩ C) ∩ (B ∩ C)c = ∅
c) Ec ∩ (D ∩ B) = (Ec ∩ D) ∩ B
d) Ec ∪ Ec = Ec
e) B ∩ (B ∪ (C ∪ D)) = B
dentro de la lista:1. Ley de Complemento 2. Ley de Idempotencia3. Ley Asociativa 4. Ley del Doble Complemento5. Propiedad Distributiva 6. Ley de Absorción
Teorıa de Conjuntos: Propiedades– p.18/35
![Page 58: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/58.jpg)
Indique en orden la opción que contiene la ley cuyo uso selleva a cabo en:
a)((
(D − E)c)
c)c
= (D − E)c :Doble Complemento
b) (B ∩ C) ∩ (B ∩ C)c = ∅ :Ley Complemento
c) Ec ∩ (D ∩ B) = (Ec ∩ D) ∩ B
d) Ec ∪ Ec = Ec
e) B ∩ (B ∪ (C ∪ D)) = B
dentro de la lista:1. Ley de Complemento 2. Ley de Idempotencia3. Ley Asociativa 4. Ley del Doble Complemento5. Propiedad Distributiva 6. Ley de Absorción
Teorıa de Conjuntos: Propiedades– p.18/35
![Page 59: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/59.jpg)
Indique en orden la opción que contiene la ley cuyo uso selleva a cabo en:
a)((
(D − E)c)
c)c
= (D − E)c :Doble Complemento
b) (B ∩ C) ∩ (B ∩ C)c = ∅ :Ley Complemento
c) Ec ∩ (D ∩ B) = (Ec ∩ D) ∩ B :Asociativa
d) Ec ∪ Ec = Ec
e) B ∩ (B ∪ (C ∪ D)) = B
dentro de la lista:1. Ley de Complemento 2. Ley de Idempotencia3. Ley Asociativa 4. Ley del Doble Complemento5. Propiedad Distributiva 6. Ley de Absorción
Teorıa de Conjuntos: Propiedades– p.18/35
![Page 60: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/60.jpg)
Indique en orden la opción que contiene la ley cuyo uso selleva a cabo en:
a)((
(D − E)c)
c)c
= (D − E)c :Doble Complemento
b) (B ∩ C) ∩ (B ∩ C)c = ∅ :Ley Complemento
c) Ec ∩ (D ∩ B) = (Ec ∩ D) ∩ B :Asociativa
d) Ec ∪ Ec = Ec :Idempotencia
e) B ∩ (B ∪ (C ∪ D)) = B
dentro de la lista:1. Ley de Complemento 2. Ley de Idempotencia3. Ley Asociativa 4. Ley del Doble Complemento5. Propiedad Distributiva 6. Ley de Absorción
Teorıa de Conjuntos: Propiedades– p.18/35
![Page 61: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/61.jpg)
Indique en orden la opción que contiene la ley cuyo uso selleva a cabo en:
a)((
(D − E)c)
c)c
= (D − E)c :Doble Complemento
b) (B ∩ C) ∩ (B ∩ C)c = ∅ :Ley Complemento
c) Ec ∩ (D ∩ B) = (Ec ∩ D) ∩ B :Asociativa
d) Ec ∪ Ec = Ec :Idempotencia
e) B ∩ (B ∪ (C ∪ D)) = B :Absorción
dentro de la lista:1. Ley de Complemento 2. Ley de Idempotencia3. Ley Asociativa 4. Ley del Doble Complemento5. Propiedad Distributiva 6. Ley de Absorción
Teorıa de Conjuntos: Propiedades– p.18/35
![Page 62: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/62.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
A − (A ∩ E) = A ∩ (A ∩ E)c
= A ∩ (Ac ∪ Ec)
= (A ∩ Ac) ∪ (A ∩ Ec)
= ∅ ∪ (A ∩ Ec)
= (A ∩ Ec) ∪ ∅
= A ∩ Ec
= A − E
Teorıa de Conjuntos: Propiedades– p.19/35
![Page 63: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/63.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia= A ∩ (Ac ∪ Ec)
= (A ∩ Ac) ∪ (A ∩ Ec)
= ∅ ∪ (A ∩ Ec)
= (A ∩ Ec) ∪ ∅
= A ∩ Ec
= A − E
Teorıa de Conjuntos: Propiedades– p.19/35
![Page 64: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/64.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia= A ∩ (Ac ∪ Ec) por De Morgan= (A ∩ Ac) ∪ (A ∩ Ec)
= ∅ ∪ (A ∩ Ec)
= (A ∩ Ec) ∪ ∅
= A ∩ Ec
= A − E
Teorıa de Conjuntos: Propiedades– p.19/35
![Page 65: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/65.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia= A ∩ (Ac ∪ Ec) por De Morgan= (A ∩ Ac) ∪ (A ∩ Ec) por Ley Distributiva= ∅ ∪ (A ∩ Ec)
= (A ∩ Ec) ∪ ∅
= A ∩ Ec
= A − E
Teorıa de Conjuntos: Propiedades– p.19/35
![Page 66: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/66.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia= A ∩ (Ac ∪ Ec) por De Morgan= (A ∩ Ac) ∪ (A ∩ Ec) por Ley Distributiva= ∅ ∪ (A ∩ Ec) por Ley de Complemento= (A ∩ Ec) ∪ ∅
= A ∩ Ec
= A − E
Teorıa de Conjuntos: Propiedades– p.19/35
![Page 67: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/67.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia= A ∩ (Ac ∪ Ec) por De Morgan= (A ∩ Ac) ∪ (A ∩ Ec) por Ley Distributiva= ∅ ∪ (A ∩ Ec) por Ley de Complemento= (A ∩ Ec) ∪ ∅ por Ley Conmutativa= A ∩ Ec
= A − E
Teorıa de Conjuntos: Propiedades– p.19/35
![Page 68: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/68.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia= A ∩ (Ac ∪ Ec) por De Morgan= (A ∩ Ac) ∪ (A ∩ Ec) por Ley Distributiva= ∅ ∪ (A ∩ Ec) por Ley de Complemento= (A ∩ Ec) ∪ ∅ por Ley Conmutativa= A ∩ Ec por Ley de Identidad= A − E
Teorıa de Conjuntos: Propiedades– p.19/35
![Page 69: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/69.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
A − (A ∩ E) = A ∩ (A ∩ E)c por Ley de Diferencia= A ∩ (Ac ∪ Ec) por De Morgan= (A ∩ Ac) ∪ (A ∩ Ec) por Ley Distributiva= ∅ ∪ (A ∩ Ec) por Ley de Complemento= (A ∩ Ec) ∪ ∅ por Ley Conmutativa= A ∩ Ec por Ley de Identidad= A − E por Ley de Diferencia
Teorıa de Conjuntos: Propiedades– p.19/35
![Page 70: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/70.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
(D ∩ Ac) ∪ (D ∩ A) = D ∩ (Ac ∪ A)
= D ∩ (A ∪ Ac)
= D ∩ U
= D
Teorıa de Conjuntos: Propiedades– p.20/35
![Page 71: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/71.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
(D ∩ Ac) ∪ (D ∩ A) = D ∩ (Ac ∪ A) por Ley Distributiva= D ∩ (A ∪ Ac)
= D ∩ U
= D
Teorıa de Conjuntos: Propiedades– p.20/35
![Page 72: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/72.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
(D ∩ Ac) ∪ (D ∩ A) = D ∩ (Ac ∪ A) por Ley Distributiva= D ∩ (A ∪ Ac) por Ley Conmutativa= D ∩ U
= D
Teorıa de Conjuntos: Propiedades– p.20/35
![Page 73: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/73.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
(D ∩ Ac) ∪ (D ∩ A) = D ∩ (Ac ∪ A) por Ley Distributiva= D ∩ (A ∪ Ac) por Ley Conmutativa= D ∩ U por Ley de Complemento= D
Teorıa de Conjuntos: Propiedades– p.20/35
![Page 74: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/74.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
(D ∩ Ac) ∪ (D ∩ A) = D ∩ (Ac ∪ A) por Ley Distributiva= D ∩ (A ∪ Ac) por Ley Conmutativa= D ∩ U por Ley de Complemento= D por Ley de Identidad
Teorıa de Conjuntos: Propiedades– p.20/35
![Page 75: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/75.jpg)
Ejemplo
Indique en orden las leyes que justifican los pasosindicados.
(C ∪ Bc)c ∪ (Cc ∩ Bc) =(
Cc ∩ (Bc)c)
∪ (Cc ∩ Bc) por= (Cc ∩ B) ∪ (Cc ∩ Bc) por= Cc ∩ (B ∪ Bc) por= Cc ∩ U por= Cc por
Teorıa de Conjuntos: Propiedades– p.21/35
![Page 76: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/76.jpg)
Ejemplo
Indique en orden la simplificación de cada conjunto:
a) B ∪ ∅
b) B ∪ B
c) B − ∅
d) B ∩ Bc
e) B ∪ Bc
dentro de la lista:
1. B
2. U
3. ∅
Teorıa de Conjuntos: Propiedades– p.22/35
![Page 77: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/77.jpg)
Ejemplo
Indique cuáles opciones contiene expresión que sesimplifica a E:
1. (E ∩ Cc) ∩ (Ec ∩ Cc)
2. (Dc ∩ E) ∪ E
3. (Ec ∩ D)c ∪ (Ec ∩ Dc) ∪ (E ∩ D)
4.(
E ∩(
(Ec ∪ D)c))
∪ (E ∩ D)
5. E ∩ (Dc ∪ C ∪ E)
Teorıa de Conjuntos: Propiedades– p.23/35
![Page 78: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/78.jpg)
TeoremaPara cualquier conjuntos E y D se cumple: Si E ⊆ Dentonces E ∪ D ⊆ D.Demostraci onSean E y D cualquier conjuntos.
Teorıa de Conjuntos: Propiedades– p.24/35
![Page 79: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/79.jpg)
TeoremaPara cualquier conjuntos E y D se cumple: Si E ⊆ Dentonces E ∪ D ⊆ D.Demostraci onSean E y D cualquier conjuntos. Según , lo que sedebe demostrar es que todo elemento x de estambién elemento de .
Teorıa de Conjuntos: Propiedades– p.24/35
![Page 80: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/80.jpg)
TeoremaPara cualquier conjuntos E y D se cumple: Si E ⊆ Dentonces E ∪ D ⊆ D.Demostraci onSean E y D cualquier conjuntos. Según , lo que sedebe demostrar es que todo elemento x de estambién elemento de . Sea x un elemento cualquierade E ∪ D.
Teorıa de Conjuntos: Propiedades– p.24/35
![Page 81: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/81.jpg)
TeoremaPara cualquier conjuntos E y D se cumple: Si E ⊆ Dentonces E ∪ D ⊆ D.Demostraci onSean E y D cualquier conjuntos. Según , lo que sedebe demostrar es que todo elemento x de estambién elemento de . Sea x un elemento cualquierade E ∪ D. Existen sólo dos casos para x:
Teorıa de Conjuntos: Propiedades– p.24/35
![Page 82: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/82.jpg)
TeoremaPara cualquier conjuntos E y D se cumple: Si E ⊆ Dentonces E ∪ D ⊆ D.Demostraci onSean E y D cualquier conjuntos. Según , lo que sedebe demostrar es que todo elemento x de estambién elemento de . Sea x un elemento cualquierade E ∪ D. Existen sólo dos casos para x:
i) x ∈ E
Teorıa de Conjuntos: Propiedades– p.24/35
![Page 83: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/83.jpg)
TeoremaPara cualquier conjuntos E y D se cumple: Si E ⊆ Dentonces E ∪ D ⊆ D.Demostraci onSean E y D cualquier conjuntos. Según , lo que sedebe demostrar es que todo elemento x de estambién elemento de . Sea x un elemento cualquierade E ∪ D. Existen sólo dos casos para x:
i) x ∈ E
ii) x ∈ D
Teorıa de Conjuntos: Propiedades– p.24/35
![Page 84: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/84.jpg)
Para el primer caso,
Teorıa de Conjuntos: Propiedades– p.25/35
![Page 85: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/85.jpg)
Para el primer caso, debido a que si x ∈ E entonces
x ∈ D.
Teorıa de Conjuntos: Propiedades– p.25/35
![Page 86: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/86.jpg)
Para el primer caso, debido a que si x ∈ E entonces
x ∈ D. Para el segundo caso, como x ∈ D nuevamente
x ∈ D.
Teorıa de Conjuntos: Propiedades– p.25/35
![Page 87: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/87.jpg)
Para el primer caso, debido a que si x ∈ E entonces
x ∈ D. Para el segundo caso, como x ∈ D nuevamente
x ∈ D. Por consiguiente, en cualquier caso cualquiera que
sea x, si entonces x ∈ D.
Teorıa de Conjuntos: Propiedades– p.25/35
![Page 88: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/88.jpg)
Para el primer caso, debido a que si x ∈ E entonces
x ∈ D. Para el segundo caso, como x ∈ D nuevamente
x ∈ D. Por consiguiente, en cualquier caso cualquiera que
sea x, si entonces x ∈ D. Por tanto,ambos conjuntos
son iguales. cqd
Teorıa de Conjuntos: Propiedades– p.25/35
![Page 89: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/89.jpg)
TeoremaPara cualquier conjuntos B, C y A se cumple:B ∩ (C ∩ A) = (B ∩ C) ∩ ADemostraci on
Teorıa de Conjuntos: Propiedades– p.26/35
![Page 90: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/90.jpg)
TeoremaPara cualquier conjuntos B, C y A se cumple:B ∩ (C ∩ A) = (B ∩ C) ∩ ADemostraci onSean B, C y A cualquier conjuntos.
Teorıa de Conjuntos: Propiedades– p.26/35
![Page 91: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/91.jpg)
TeoremaPara cualquier conjuntos B, C y A se cumple:B ∩ (C ∩ A) = (B ∩ C) ∩ ADemostraci onSean B, C y A cualquier conjuntos. Según ,
Teorıa de Conjuntos: Propiedades– p.26/35
![Page 92: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/92.jpg)
TeoremaPara cualquier conjuntos B, C y A se cumple:B ∩ (C ∩ A) = (B ∩ C) ∩ ADemostraci onSean B, C y A cualquier conjuntos. Según , loque se debe demostrar es que:
Teorıa de Conjuntos: Propiedades– p.26/35
![Page 93: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/93.jpg)
TeoremaPara cualquier conjuntos B, C y A se cumple:B ∩ (C ∩ A) = (B ∩ C) ∩ ADemostraci onSean B, C y A cualquier conjuntos. Según , loque se debe demostrar es que:
i) B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A
Teorıa de Conjuntos: Propiedades– p.26/35
![Page 94: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/94.jpg)
TeoremaPara cualquier conjuntos B, C y A se cumple:B ∩ (C ∩ A) = (B ∩ C) ∩ ADemostraci onSean B, C y A cualquier conjuntos. Según , loque se debe demostrar es que:
i) B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A
ii)
Teorıa de Conjuntos: Propiedades– p.26/35
![Page 95: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/95.jpg)
Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y .
Teorıa de Conjuntos: Propiedades– p.27/35
![Page 96: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/96.jpg)
Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .
Teorıa de Conjuntos: Propiedades– p.27/35
![Page 97: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/97.jpg)
Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .
Con esto se prueba que B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A.
Teorıa de Conjuntos: Propiedades– p.27/35
![Page 98: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/98.jpg)
Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .
Con esto se prueba que B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A.
Para el segundo caso, si x es cualquier elemento de
entonces x ∈ B ∩ C y .
Teorıa de Conjuntos: Propiedades– p.27/35
![Page 99: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/99.jpg)
Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .
Con esto se prueba que B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A.
Para el segundo caso, si x es cualquier elemento de
entonces x ∈ B ∩ C y . Por la propiedad asociativa
de la lógica x cumple x ∈ B y x ∈ A∩C,
Teorıa de Conjuntos: Propiedades– p.27/35
![Page 100: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/100.jpg)
Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .
Con esto se prueba que B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A.
Para el segundo caso, si x es cualquier elemento de
entonces x ∈ B ∩ C y . Por la propiedad asociativa
de la lógica x cumple x ∈ B y x ∈ A∩C, y por consiguiente
.
Teorıa de Conjuntos: Propiedades– p.27/35
![Page 101: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/101.jpg)
Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .
Con esto se prueba que B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A.
Para el segundo caso, si x es cualquier elemento de
entonces x ∈ B ∩ C y . Por la propiedad asociativa
de la lógica x cumple x ∈ B y x ∈ A∩C, y por consiguiente
. Con esto se prueba que (B ∩ C) ∩A ⊆ B ∩ (C ∩ A).
Teorıa de Conjuntos: Propiedades– p.27/35
![Page 102: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/102.jpg)
Para el primer caso, si x es cualquier elemento de B ∩
(C ∩ A) entonces x ∈ B y . Por la Ley distributiva en
Lógica x cumple x ∈ B∩C y x ∈ A, y por consiguiente .
Con esto se prueba que B ∩ (C ∩ A) ⊆ (B ∩ C) ∩ A.
Para el segundo caso, si x es cualquier elemento de
entonces x ∈ B ∩ C y . Por la propiedad asociativa
de la lógica x cumple x ∈ B y x ∈ A∩C, y por consiguiente
. Con esto se prueba que (B ∩ C) ∩A ⊆ B ∩ (C ∩ A).
La prueba de las contenciones mutuas prueba que ambos
conjuntos son iguales. cqd
Teorıa de Conjuntos: Propiedades– p.27/35
![Page 103: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/103.jpg)
Ejemplo
Sean A y B conjuntos cualquiera.Si A ⊆ B, entonces Bc ⊆ Ac.
Teorıa de Conjuntos: Propiedades– p.28/35
![Page 104: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/104.jpg)
Ejemplo
Sean A y B conjuntos cualquiera.Si A ⊆ B, entonces A ∩ Bc = ∅.
Teorıa de Conjuntos: Propiedades– p.29/35
![Page 105: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/105.jpg)
Ejemplo
Sean A y B conjuntos cualquiera.Si A ⊆ Bc, entonces A ∩ B = ∅.
Teorıa de Conjuntos: Propiedades– p.30/35
![Page 106: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/106.jpg)
Ejemplo
Sean A, B y C conjuntos cualquiera.Si A ⊆ B, entonces A ∩ C ⊆ B ∩ C.
Teorıa de Conjuntos: Propiedades– p.31/35
![Page 107: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/107.jpg)
Ejemplo
Sean A, B y C conjuntos cualquiera.Si A ⊆ B y B ∩ C = ∅, entonces A ∩ C = ∅.
Teorıa de Conjuntos: Propiedades– p.32/35
![Page 108: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/108.jpg)
Ejemplo
Sean A, B y C conjuntos cualquiera.Si A ⊆ B, entonces A ∪ C ⊆ B ∪ C.
Teorıa de Conjuntos: Propiedades– p.33/35
![Page 109: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/109.jpg)
Ejemplo
Sean A, B y C conjuntos cualquiera.Si B ⊆ C y A ∩ C = ∅, entonces A ∩ C = ∅.
Teorıa de Conjuntos: Propiedades– p.34/35
![Page 110: Teoría de Conjuntos: Propiedades - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-52.pdf · El Argumento del Elemento Sean X y Y conjuntos dados. Para probar que X ⊆ Y:](https://reader033.fdocument.pub/reader033/viewer/2022051509/5aec66847f8b9a66258e8761/html5/thumbnails/110.jpg)
Ejemplo
Sean A, B y C conjuntos cualquiera.Si A ⊆ B y A ⊆ C, entonces A ⊆ B ∩ C.
Teorıa de Conjuntos: Propiedades– p.35/35