You are on page 1of 12

Conjunto universal

En matemáticas, un conjunto universal es un conjunto formado por todos los objetos de estudio en un contexto dado. Por ejemplo, en aritmética los objetos de estudio son los números naturales, por lo que el conjunto universal para este caso puede ser el conjunto de los números naturales N. Al conjunto universal también se le denomina conjunto referencial, universo del discurso o clase universal, según el contexto, y se denota habitualmente por U o V. La elección de un conjunto universal se hace por conveniencia, para establecer una distinción clara entre los objetos matemáticos, todos ellos en el conjunto universal; y los conjuntos formados por dichos objetos, todos ellos subconjuntos del conjunto universal. Escogido un conjunto universal, para cada conjunto de objetos existe su complementario, que contiene todos los elementos que no están en dicho conjunto. En teoría de conjuntos, los objetos matemáticos estudiados incluyen a los propios conjuntos. El conjunto universal abarcaría entonces no sólo objetos simples como números, sino también conjuntos de números, conjuntos de conjuntos de números, etc. Sin embargo, en este caso suponer la existencia de un conjunto universal lleva una contradicción conocida como la paradoja de Russell.

Una vez que se ha establecido un conjunto universal U de elementos de una cierta clase, se asume que todos los conjuntos A contienen elementos de esta clase, por lo que todos ellos son subconjuntos de U. Esto conlleva una serie de propiedades:   Todo conjunto A es subconjunto de U, A ⊆ U. La unión de un conjunto A con el conjunto universal U es igual a U:

La intersección de un conjunto A con el conjunto universal resulta en el mismo conjunto A:

El conjunto universal es entonces el elemento absorbente de la unión y el elemento neutro de la intersección. Una vez definido un conjunto universal, puede definirse el conjunto complementario de otro, a partir de la operación de diferencia de conjuntos:

Esto da lugar a las siguientes propiedades: El complemento del conjunto universal es el conjunto vacío, y viceversa:

5} y {6. 1} es {1.. 6. 2.. . #}. los elementos repetidos sólo aparecen una vez.. De este modo.}. de modo que por ejemplo. para unir varios conjuntos el orden en el que se haga es irrelevante: . N = P ∪ I... la unión de dos (o más) conjuntos es una operación que resulta en otro conjunto cuyos elementos son los elementos de los conjuntos iniciales. 3.. 9}. 5.. 9. #. 4. 2. [editar]Generalizaciones Es posible definir la unión de un número finito de conjuntos.. 2. Definición Dados dos conjuntos A y B. La unión es A ∪ B = {5. La unión es entonces (C ∪ D) = {n: n es primo o compuesto} = {2.   Sean A = {a. A ∪ B. 4. la unión de ambos.} I = {1.. a. 3. 5. el conjunto de los números naturales es la unión del conjunto de los números parespositivos P y el conjunto de los números impares positivos I: P = {2. . 6.} N = {1. es el conjunto que contiene todos los elementos de A y de B: La unión de dos conjuntos A y B es otro conjunto A ∪ B cuyos elementos son todos los elementos de A o de B: Ejemplo.. 5. . 2. 3. ♠.} La unión de conjuntos se denota por el símbolo ∪. ♠. En la unión de conjuntos. . 4. superior a dos: La unión de una colección finita de conjuntos A1. 8}. 3. Considerando los conjuntos de números naturales C = {n: n es un número primo} y D = {m: m es un número compuesto}. Por ejemplo.Unión de conjuntos En la teoría de conjuntos. 5} y B = {8. . ya que el único número natural que no es ni primo ni compuesto es (por definición) 1. 4. 3. pues los conjuntos no n1 pueden tener elementos repetidos:  La unión de {1. 6. 5. An es el conjunto que contiene todos los elementos de cada conjunto en dicha colección: Y esta se puede calcular utilizando la propiedad asociativa de la unión de dos conjuntos (más abajo).. 4.

donde M = {A..Una definición más general en teoría de conjuntos se refiere a una familia de conjuntos: Sea M una familia de conjuntos. ... ∪ An = ∪M. [editar]Propiedades Artículo principal: Álgebra de conjuntos. De la definición de unión puede deducirse directamente:  Idempotencia. Su unión ∪M se define como: Esta definición coincide con las anteriores en el caso de una familia finita de conjuntos: A ∪ B = ∪M. La unión de los conjuntos A y B ∪ C es igual que la unión de los conjuntos A ∪ B y C : (A ∪ B) ∪ C = A ∪ (B ∪ C)  Propiedad conmutativa.. donde M = {A1. B} A1 ∪ . La unión de un conjunto A consigo mismo es el propio A : A∪A=A  Tanto A como B son subconjuntos de su unión: A⊆A∪ByB⊆A∪B  La unión de un conjunto A con un subconjunto suyo B lo deja inalterado: B ⊆ A implica que A ∪ B = A La unión de conjuntos posee también propiedades similares a las operaciones con números:  Propiedad asociativa.. tomando M como {Ai: i ∈ I}. An} La unión general de conjuntos se denota de diversas maneras: donde esta última se aplica en el caso de que se utilice un conjunto índice. La unión de los conjuntos A y B es igual a la unión de .

♠. pero su unión {1. 5} entre ambos tienen seis elementos.los conjuntos B y A : A ∪ B = B ∪ A. si A y B tienen elementos en común. a. En relación con la operación de intersección existen unas leyes distributivas: Propiedad distributiva  A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C). y por tanto:   A ∪ (A ∩ B) = A A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C). Si A y B son conjuntos disjuntos: Como en un conjunto los elementos no pueden repetirse. ♠} y {b. si no tienen elementos en común. La unión de un conjunto A con el conjunto vacío ∅ es el mismo conjunto A: A∪∅=A Todas estas propiedades se deducen de propiedades análogas para la disyunción lógica. es necesario eliminar las repeticiones al contar los elementos de A ∪ B: Dados dos conjuntos finitos A y B : Si alguno de los dos conjuntos no es finito entonces: . al sumar sus elementos se contarían los elementos comunes más de una vez. Por ello.  Elemento neutro. 5} tiene cinco elementos y no seis. El número de elementos de la unión de dos conjuntos finitos A y B es la suma de los elementos de A y de B. y por tanto:  A ∩ (A ∪ B) = A [editar]Cardinalidad Artículos principales: Principio de la suma y Principio de inclusión-exclusión. a. a. Por ejemplo: {1. b.

0. 8. .... 64. la intersección de dos (o más) conjuntos es una operación que resulta en otro conjunto que contiene los elementos comunes a los conjuntos de partida. 4. la intersección de ambos...Esta fórmula se generaliza para el caso más complicado de una unión de un número arbitrario de conjuntos finitos. 25. 64. ♠.   Sean A = {5. 5.. Dados dos conjuntos A y B. 512.. Por ejemplo en el caso de tres conjuntos se tiene: |A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |B ∩ C| − |C ∩ A| + |A ∩ B ∩ C| y en general se tiene el llamado principio de inclusión-exclusión: Dada una colección finita de conjuntos A1. R}. A ∩ B es un conjunto que contiene los elementos que pertenecen a ambos conjuntos: La intersección de dos conjuntos A y B es otro conjunto A ∩ B cuyos elementos son los elementos comunes aA y B : Ejemplo. 6.. .. . 4. dado el conjunto de los números pares P y el conjunto de los cuadrados C de números naturales. Sean los conjuntos de números naturales C = {n: n es una potencia de 2} y D = {n: n es un cubo}. Por ejemplo.. c. c}. 36. su intersección es el conjunto de los cuadrados pares D : P = {2. 9. . 16.} C = {1.}.} La intersección de conjuntos se denota por el símbolo ∩ por lo que D = P ∩ C. λ. 16. Su intersección es C ∩ D = {n: n es una potencia de 2 y un cubo} = {n: n es una potencia de 2 cuyo exponente es múltiplo de 3} = {8.} D = {4. Entonces la intersección es A ∩ B = {5. Δ. An : Para una colección arbitraria de conjuntos Aα que contiene al menos un conjunto infinito: Intersección de conjuntos En teoría de conjuntos. 10. .. c} y B = {ω..

superior a dos. la intersección de un número finito de conjuntos es sólo un caso particular de esta definición general: A ∩ B = ∩M. An} La intersección general de conjuntos se denota de diversas maneras: donde esta última se aplica en el caso de que utilicemos un conjunto índice. La intersección de un conjunto A consigo mismo es el propio A : A∩A=A . De la definición de intersección puede deducirse directamente:  Idempotencia. el orden en el que se intersequen los conjuntos es irrelevante: Definición La definición más general en teoría de conjuntos se refiere a una familia de conjuntos.. Su intersección es el conjunto vacío ∅. un conjunto cuyos elementos son conjuntos a su vez: Sea M una familia de conjuntos. se dice que son disjuntos: Dos conjuntos A y B se dicen disjuntos si su intersección es el conjunto vacío: [editar]Generalizaciones La intersección de un número finito de conjuntos. Cuando la intersección de dos conjuntos es vacía. definiendo M como {Ai: i ∈ I}. ya que no existe ningún número natural que sea par e impar a la vez. se define teniendo en cuenta que. donde M = {A1. Su intersección ∩M se define como: De este modo. donde M = {A. ... [editar]Propiedades Artículo principal: Álgebra de conjuntos. ∩ An = ∩M... B} A1 ∩ . Sean los conjuntos de números pares e impares. debido a la propiedad asociativa (más abajo).

En relación con la operación de unión existen unas leyes distributivas: Propiedad distributiva  A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C). La intersección de un conjunto A con el conjunto vacío ∅ es ∅: A∩∅=∅ Todas estas propiedades se deducen de propiedades análogas para la conjunción lógica. deja a B inalterado: B ⊆ A implica A ∩ B = B La intersección de conjuntos posee también propiedades similares a las operaciones con números:  Propiedad asociativa. como ZFC o NBG. y por tanto:  A ∩ (A ∪ B) = A [editar]Teoría axiomática En las teorías axiomáticas de conjuntos usuales. La intersección de Ay B es un subconjunto de ambos: A∩B⊆AyA∩B⊆B  La intersección de un conjunto B con un conjunto A que lo contenga. y por tanto:   A ∪ (A ∩ B) = A A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C). La intersección de los conjuntos A y B ∩ C es igual a la intersección de los conjuntos A ∩ By C : (A ∩ B) ∩ C = A ∩ (B ∩ C)  Propiedad conmutativa.  Elemento absorbente. la existencia de la intersección de una familia de conjuntos no se postula de manera independiente. La intersección de los conjuntos A y B es igual a la intersección de los conjuntos B y A : A ∩ B = B ∩ A. sino que se demuestra como consecuencia del esquema axiomático de reemplazo .

A \ B es el conjunto que contiene todos los elementos de A que no están en B: La diferencia de A menos B (o entre A y B) es otro conjunto A \ B (o también A − B) cuyos elementos son todos aquellos elementos de A que no lo sean de B: La diferencia entre A y B también se denomina complemento relativo de B en A. Por ejemplo.. cuyos elementos son todos aquellos en el primero de los conjuntos iniciales que no estén en el segundo. los impares I: N = {1. 7. Ejemplo. Este nombre proviene de la relación entre las operaciones de diferencia y complemento (ver más abajo). 3.} I = {1..  [editar]Propiedades Artículo principal: Álgebra de conjuntos. puede deducirse inmediatamente: . 6.Diferencia de conjuntos En teoría de conjuntos. 8. 9.. y también P − N = ∅. . 6. 4. 4. 5.   Sean A = {♠.. Δ}. y se denota ∁AB.}.} Como no hay ningún número par que no sea un número natural. Por otro lado. Sus diferencias son A \ B = {♠. . R. 9. Δ} Sean los conjuntos de números naturales P = {n: n es par} y P = {n: n es primo}. 5. P \ P = {n: n es primo y no es par} = {n: n es primo e impar} = {3. . por lo que: N \ P = I. 3. la diferencia P menos N no tiene ningún elemento. 2. La diferencia P \ P es entonces {n: n es par y no es primo} = {n: n es par y compuesto} = {4. 0} y B = {0. p.... 8.. la diferencia entre el conjunto de los números naturales N y el conjunto de los números pares P es el conjunto de los números que no son pares. 5. 5. por lo que es el conjunto vacío. . z. R} y B \ A = {p. Definición Dados dos conjuntos A y B. 7. z.. la diferencia entre dos conjuntos es una operación que resulta en otro conjunto. En la introducción se mostró que la diferencia P \ N es el conjunto vacío.} P = {2. Además. cuando el segundo es un subconjunto del primero. La diferencia entre dos conjuntos A y B se denota por A \ B ó A − B. es decir. 11. P \ I es igual a P: ningún número par es a la vez un número impar. La norma ISO da preferencia a la [cita requerida] notación conbarra invertida. De la definición de la diferencia de conjuntos. su diferencia.. 5.}..

si se tiene en cuenta que Si se considera un conjunto universal. considerando a Acomo el conjunto universal . mientras que la diferencia es la parte que no comparten. Las leyes de De Morgan y otras propiedades del complemento de un conjunto tienen entonces su contrapartida en la diferencia de conjuntos. Esto se traduce en la siguiente propiedad: Dados dos conjuntos. la diferencia entre dos conjuntos es la intersección del primero con el complemento del segundo: A \ B = A ∩ B∁ . La diferencia de conjuntos está muy relacionada con el complemento de un conjunto: El complemento de un conjunto es la diferencia entre el conjunto universal y él mismo: A∁ = U \ A Es por esto que la diferencia de dos conjuntos. se denomina también el complemento relativo de B respecto de A: A \ B es el complemento absoluto de B. Elemento neutro. A menos B. La diferencia entre un conjunto y el conjunto vacío es el propio conjunto: A−∅=A  La diferencia de un conjunto menos él mismo es el conjunto vacío: A−A=∅ Estas igualdades son un caso particular de la siguiente propiedad:  La diferencia entre dos conjuntos es el conjunto vacío si y sólo si el primero es un subconjunto del segundo: A − B = ∅ si y sólo si A ⊆ B  La diferencia entre dos conjuntos es igual al primer conjunto si sólo si ambos conjuntos son disjuntos: A − B = A si y sólo si A ∩ B = ∅ La intersección de dos conjuntos es la parte que tienen en común. pero (A ∩ B) ∪ (A \ B) = A Esto quiere decir que la intersección y la diferencia entre A y B son una (posible) partición de A. su intersección y su diferencia son disjuntos entre sí. pero su unión es el primero de los conjuntos iniciales: (A ∩ B) ∩ (A \ B) = ∅.

. 25. 8.Diferencia simétrica No debe confundirse con Diferencia de conjuntos. Z} y B = {8. ♠}. ♠. a excepción de los elementos comunes a ambos: Ejemplo. su diferencia simétrica. 8. Z. o sea: R Δ T = {Pentágonos irregulares y polígonos regulares que no posean 5 lados}.} D = {1.} C = {1. es un conjunto que contiene los elementos de A y los de B. Γ. 16. En teoría de conjuntos. sin pertenecer a ambos a la vez. #. 10.} La diferencia simétrica de conjuntos se denota por Δ... 9. 2. 8}. la diferencia simétrica de dos conjuntos es una operación que resulta en otro conjunto cuyos elementos son aquellos que pertenecen a alguno de los conjuntos iniciales.. 14. #. La diferencia simétrica es A Δ B = {5.. 14. 12.. por lo que P Δ C = D. 16. excepto los que son comunes a ambos: La diferencia simétrica de dos conjuntos A y B es otro conjunto A Δ B cuyos elementos son todos los elementos deA o B. 9. la diferencia simétrica del conjunto de los números paresP y el conjunto de los cuadrados perfectos C es un conjunto D que contiene los cuadrados impares y los pares no cuadrados: P = {2. 18.   Sean A = {a. 6. Sean los conjuntos de polígonos T = {pentágonos} y R = {polígonos regulares}. 5. a.. Γ. La diferencia simétrica contiene los polígonos regulares y pentágonos que no sean ambas cosas a la vez. 4. 6. Definición Dados dos conjuntos A y B. Por ejemplo. A Δ B. . . 10. 4. 12. La diferencia simétrica de A y B es el conjunto que contiene todos los elementos de A y de B salvo aquellos que pertenecen a ambos.

La definición de la diferencia simétrica puede reducirse fácilmente a las operaciones de unión. el orden en el que se realizan las operaciones es irrelevante (ver más abajo). La diferencia simétrica de los conjuntos A y B es igual a la diferencia simétrica de los conjuntos B y A : AΔB=BΔA . intersección y diferencia: [editar]Generalizaciones La diferencia simétrica es conmutativa y asociativa por lo que al tomar la diferencia simétrica de más de dos conjuntos. Así es que se puede definir la diferencia simétria de una familia de conjuntos finita: Puede comprobarse que una definición alternativa para esta diferencia de varios conjuntos es incluir sólo los elementos que aparecen un número impar de veces: [editar]Propiedades Artículo principal: Álgebra de conjuntos. De la definición de diferencia simétrica puede deducirse directamente:  Nilpotencia. La diferencia simétrica de un conjunto consigo mismo es el conjunto vacío: AΔA=∅  La diferencia simétrica de un conjunto y uno de sus subconjuntos es la diferencia entre ellos: Si B ⊆ A. La diferencia simétrica de los conjuntos A y B Δ C es igual que la diferencia simétrica de los conjuntos A Δ B y C : (A Δ B) Δ C = A Δ (B Δ C)  Propiedad conmutativa. entonces A Δ B = A \ B La diferencia simétrica tiene propiedades semejantes a las operaciones con números:  Propiedad asociativa.

con respecto a la intersección existe una ley distributiva: Propiedad distributiva A ∩ (B Δ C) = (A ∩ B) Δ (A ∩ C) . Elemento neutro. La diferencia simétrica de un conjunto A con el conjunto vacío ∅ es el mismo conjunto A: AΔ∅=A Además.