TEORIA DE CONJUNTOS La teora de conjuntos es una rama de las matemticas que estudia las propiedades de los conjuntos.

Los conjuntos son colecciones abstractas de objetos, consideradas como objetos en s mismas, y son una herramienta bsica en la formulacin de cualquier teora matemtica. Un conjunto es la reunin en un todo de objetos bien definidos y diferenciables entre si, que se llaman elementos del mismo. Si a es un elemento del conjunto A se denota con la relacin de pertenencia a A. En caso contrario, si a no es un elemento de A se denota a A. UNION La unin de dos conjuntos A y B la denotaremos por A B y es el conjunto formado por los elementos que pertenecen al menos a uno de ellos a los dos. Lo que se denota por: A B = { x/x A x B } Ejemplo: Sean los conjuntos A={ 1, 3, 5, 7, 9 } y B={ 10, 11, 12 } A B ={ 1, 3, 5, 7, 9, 10, 11, 12 } INTERSECCION Sean A={ 1, 2, 3, 4, 5, 6, 8, 9 } y B={ 2, 4, 8, 12 } Los elementos comunes a los dos conjuntos son: { 2, 4, 8 }. A este conjunto se le llama interseccin de A y B; y se denota por A B, algebraicamente se escribe as: A B = { x/x A y x B } Y se lee el conjunto de elementos x que estn en A y estn en B Ejemplo: Sean Q={ a, n, p, y, q, s, r, o, b, k } y P={ l, u, a, o, s, r, b, v, y, z } Q P={ a, b, o, r, s, y } En este caso, la llamadas operaciones booleanas (unin e interseccin) verifican las siguientes propiedades :

PROPIEDADES 1.- Idempotencia 2.- Conmutativa 3.- Asociativa 4.- Absorcin 5.- Distributiva 6.- Complementariedad

UNION AA=A AB=BA A(BC)=(AB)C A(AB)=A A(BC)=(AB)(AC) A A' = U

INTERSECCION AA=A AB=BA A(BC)=(AB)C A(AB)=A A(BC)=(AB)(A A A' =

DIFERENCIA DE CONJUNTOS O COMPLEMENTO RELATIVO. Sean A y B dos conjuntos cualesquiera del conjunto universal. La diferencia o complemento relativo de B con respecto a A, es el conjunto de los elementos que pertenecen a A, pero no pertenecen a B. A - B = {x | x A, x B} Nota: A - B B - A COMPLEMENTO ABSOLUTO O SIMPLEMENTE COMPLEMENTO . Sea A un subconjunto cualesquiera del conjunto universal. El complemento de A es el conjunto de elementos que perteneciendo al universo y no pertenecen al conjunto A, denotado por A o A c A = {x | x U, x A} Propiedades de la unin de conjuntos: 1. Propiedad idempotente. Puede exponerse mediante la siguiente expresin, que por ser tan lgica, no necesita ms explicacin: VA => A = A 2. Propiedad conmutativa. Es tambin evidente: A B = B A 3. Propiedad asociativa. Dados tres conjuntos A, B y C se verifica que: (A B)UC = AU (B C) = A B C Se puede demostrar mediante un ejemplo sencillo. Sean: A = {m, n, p}, B ={j, k, l}, C = {r, p, l}. El nuevo conjunto y ste unido con el conjunto C, dar como resultado el conjunto: (A B) C = {m, n, p,j,k,l,r} ahora bien, si hacemos antes la unin de B con C tendremos: BUC = {j,k,l,r,p} que unido con el conjunto A nos da: A (B C) = {m, n, p, j,k,l,r,p}

Luego, los conjuntos (AUB)UC y AU(BUC) son iguales por estar formados por los mismos elementos. Interseccin de conjuntos. Se llama interseccin de dos conjuntos A y B, y se representa por AnB, al nuevo conjunto que tiene por elementos todos los elementos comunes a A y a B. Es lgico que la interseccin de dos conjuntos disjuntos sea el conjunto vaco (no tiene elementos).

Ejemplo: Dados los conjuntos A = { d, f g, h } y B = { b, c, d, f }, su interseccin ser: AnB = {d,f} La representacin grfica de dicha interseccin esta representada en la figura, en la cual la interseccin es la parte rayada. Propiedades de la interseccin. Son las mismas que las de la unin; por tanto, las expresaremos de la forma siguiente: 1. Propiedad idempotente: VA => AnA = A 2. Propiedad conmutativa: AnB = BnA : (AnB)nC = An(BnC) Propiedades comunes a la unin y a la interseccin. Ley de absorcin. Tiene dos formas distintas que se expresan: An(AUB) = A y Au(BnC) Expongamos un ejemplo como comprobacin: A = {1, 2, 3 , 4} y B = {1, 2, 3, 6}. Hagamos primero la unin de A con B: AUB = {1,2,3,4,6} y ahora, la interseccin del mismo con el conjunto A: An(AUB) = {1, 2, 3 , 4} = A Anlogamente: AnB = {1, 2, 3}, AU(AnB) = {1, 2, 3 , 4} = A B) = { 1,2, 3, 4 } = A. 2. Ley distributiva. Tiene tambin dos formas de expresin: De la unin respecto de la interseccin: (AnC)UC = (AUC)n(BUC) De la interseccin respecto de la unin: (AUB)nC = (AnC)U(BnC)Estas dos propiedades comunes a las dos operaciones nos indican que ambas tienen la misma fuerza, existe entre ellas una completa analoga. https://www.itescam.edu.mx/principal/sylabus/fpdb/recursos/r48023.PDF

es.wikipedia.org/wiki/Teora_de_conjuntos