Los diagramas de Venn son ilustraciones usadas en la rama de la matemtica conocida como teora de conjuntos.

Estos diagramas se usan para mostrar grficamente la relacin matemtica o lgica entre diferentes grupos de cosas (conjuntos), representando cada conjunto mediante un valo o crculo. La forma en que esos crculos se sobreponen entre s muestra todas las posibles relaciones lgicas entre los conjuntos que representan. Por ejemplo, cuando los crculos se superponen, indican la existencia de subconjuntos con algunas caractersticas comunes.

EJERCICIOS DE TEORA DE CONJUNTOS

1. Verdadero o falso: 1. .

2. . 3. El nico conjunto que es subconjunto de todos los conjuntos es el vaco. 4. 5. 6. 7. 8. 2. Sea . . . el conjunto de los nmeros naturales pares ( ). Escriba , distinta de `` . .

intensionalmente; ms precisamente, encuentre una propiedad

es par'', tal que . 3. Sea el conjunto de los nmeros primos (un primo es un entero mayor que nico divisor mayor que es l mismo). Escriba a intensionalmente. 4. Muestre que . 5. Pruebe las siguientes propiedades de la unin y la interseccin: 1. 2. 3. , ; si y slo si si y slo si . 4. 6. si y slo si . . . ; ; , si y slo si si y slo si .

cuyo

7. Muestre que si y slo si . 8. Verdadero o falso? (dar una prueba o un contraejemplo): 1. Si para todo se tiene , entonces

2. Si existe un 3.

tal que .

, entonces

4. Si y y son disyuntos, entonces debilitar las hiptesis?). 5. 6. si y slo si . . . , definimos su diferencia simtrica as: . 1. Muestre que 2. Muestre que 3. Muestre que la operacin 4. Qu conjunto es 5. Qu conjunto es 6. Si 7. Muestre que 8. Muestre que 10. Sean 1. 2. 3. si y slo si . ? ? ? . . es conmutativa y asociativa. .

(puede

7. 9. Dados dos conjuntos

, qu conjunto es

. Mostrar las siguientes igualdades: . . .

11. Compare los siguiente pares de conjuntos de acuerdo a la relacin (piense antes en ejemplos con conjuntos pequeos, despus intente demostrar en general las contenencias que cree que siempre valen): 1. 2. Vs. Vs. . .

3.

Vs.

4. Vs. . 12. Ejercicios de uniones e intersecciones generalizadas:

1. Muestre que

2. Dado

, sea

. Qu conjunto es

3. Qu conjunto es 4. Muestre que

? .

13. Muestre que si tiene elementos (para un nmero natural), entonces tiene elementos [AYUDA: Piense en un subconjunto de como una sucesin ordenada de ceros y unos]. 14. Definicin (filtro): Sea un conjunto no vaco. Un filtro sobre es un conjunto que cumple las siguientes propiedades:
o o

es cerrado bajo interseccin finita: Si .

, entonces

es cerrado bajo superconjunto: Siempre que .

4. El filtro cofinito o de Frchet: Sea finito (aqu , de modo que , pero para ,

es un conjunto ). Por ejemplo

. Muestre que sobre el conjunto de los nmeros naturales. 5. D otro ejemplo de un filtro sobre .

es un filtro

6. Diremos que un filtro

sobre

es ultrafiltro si para todo

. Es el ejemplo que dio un ultrafiltro? Es el filtro de Frchet un ultrafiltro? 15. El axioma de separacin, que asumiremos, afirma lo siguiente: Dado un conjunto y una propiedad conjuntista (esto es, que slo utiliza y smbolos lgicos),

existe un conjunto tal que (esto es, para todo , pertenece a si y solo si ( pertenece a y tiene la propiedad )). En otras palabras, es el conjunto de los elementos de con la propiedad . Muestre que tal conjunto es nico, es decir, que si existe tal que , entonces . Utilice el axioma de separacin y la paradoja de Russell para mostrar que no existe el conjunto de todos los conjuntos.

16.