Conjunto universal

En matemticas, un conjunto universal es un conjunto formado por todos los objetos de estudio en un contexto dado. Por ejemplo, en aritmtica los objetos de estudio son los nmeros naturales, por lo que el conjunto universal para este caso puede ser el conjunto de los nmeros naturales N. Al conjunto universal tambin se le denomina conjunto referencial, universo del discurso o clase universal, segn el contexto, y se denota habitualmente por U o V. La eleccin de un conjunto universal se hace por conveniencia, para establecer una distincin clara entre los objetos matemticos, 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 estn en dicho conjunto. En teora de conjuntos, los objetos matemticos estudiados incluyen a los propios conjuntos. El conjunto universal abarcara entonces no slo objetos simples como nmeros, sino tambin conjuntos de nmeros, conjuntos de conjuntos de nmeros, etc. Sin embargo, en este caso suponer la existencia de un conjunto universal lleva una contradiccin 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 unin de un conjunto A con el conjunto universal U es igual a U:

La interseccin de un conjunto A con el conjunto universal resulta en el mismo conjunto A:

El conjunto universal es entonces el elemento absorbente de la unin y el elemento neutro de la interseccin. Una vez definido un conjunto universal, puede definirse el conjunto complementario de otro, a partir de la operacin de diferencia de conjuntos:

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

Unin de conjuntos
En la teora de conjuntos, la unin de dos (o ms) conjuntos es una operacin que resulta en otro conjunto cuyos elementos son los elementos de los conjuntos iniciales. Por ejemplo, el conjunto de los nmeros naturales es la unin del conjunto de los nmeros parespositivos P y el conjunto de los nmeros impares positivos I: P = {2, 4, 6, ...} I = {1, 3, 5, ...} N = {1, 2, 3, 4, 5, 6, ...} La unin de conjuntos se denota por el smbolo , de modo que por ejemplo, N = P I.

Definicin
Dados dos conjuntos A y B, la unin de ambos, A B, es el conjunto que contiene todos los elementos de A y de B: La unin de dos conjuntos A y B es otro conjunto A B cuyos elementos son todos los elementos de A o de B:

Ejemplo. Sean A = {a, , 5} y B = {8, #}. La unin es A B = {5, #, a, , 8}. Considerando los conjuntos de nmeros naturales C = {n: n es un nmero primo} y D = {m: m es un nmero compuesto}. La unin es entonces (C D) = {n: n es primo o compuesto} = {2, 3, 4, 5, ...}, ya que el nico nmero natural que no es ni primo ni compuesto es (por definicin) 1.

En la unin de conjuntos, los elementos repetidos slo aparecen una vez, pues los conjuntos no n1 pueden tener elementos repetidos: La unin de {1, 2, 3, 4, 5} y {6, 2, 9, 1} es {1, 2, 3, 4, 5, 6, 9}.

[editar]Generalizaciones Es posible definir la unin de un nmero finito de conjuntos, superior a dos: La unin de una coleccin finita de conjuntos A1, ..., An es el conjunto que contiene todos los elementos de cada conjunto en dicha coleccin:

Y esta se puede calcular utilizando la propiedad asociativa de la unin de dos conjuntos (ms abajo). De este modo, para unir varios conjuntos el orden en el que se haga es irrelevante:

Una definicin ms general en teora de conjuntos se refiere a una familia de conjuntos: Sea M una familia de conjuntos. Su unin M se define como:

Esta definicin coincide con las anteriores en el caso de una familia finita de conjuntos: A B = M, donde M = {A, B} A1 ... An = M, donde M = {A1, ..., An} La unin general de conjuntos se denota de diversas maneras:

donde esta ltima se aplica en el caso de que se utilice un conjunto ndice, tomando M como {Ai: i I}. [editar]Propiedades
Artculo principal: lgebra de conjuntos.

De la definicin de unin puede deducirse directamente: Idempotencia. La unin de un conjunto A consigo mismo es el propio A : AA=A Tanto A como B son subconjuntos de su unin: AAByBAB La unin de un conjunto A con un subconjunto suyo B lo deja inalterado:

B A implica que A B = A La unin de conjuntos posee tambin propiedades similares a las operaciones con nmeros: Propiedad asociativa. La unin de los conjuntos A y B C es igual que la unin de los conjuntos A B y C : (A B) C = A (B C) Propiedad conmutativa. La unin de los conjuntos A y B es igual a la unin de

los conjuntos B y A : A B = B A. Elemento neutro. La unin de un conjunto A con el conjunto vaco es el mismo conjunto A: A=A Todas estas propiedades se deducen de propiedades anlogas para la disyuncin lgica. En relacin con la operacin de interseccin 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), y por tanto: A (A B) = A

[editar]Cardinalidad
Artculos principales: Principio de la suma y Principio de inclusin-exclusin.

El nmero de elementos de la unin de dos conjuntos finitos A y B es la suma de los elementos de A y de B, si no tienen elementos en comn. Si A y B son conjuntos disjuntos:

Como en un conjunto los elementos no pueden repetirse, si A y B tienen elementos en comn, al sumar sus elementos se contaran los elementos comunes ms de una vez. Por ejemplo: {1, a, } y {b, a, 5} entre ambos tienen seis elementos, pero su unin {1, a, , b, 5} tiene cinco elementos y no seis. Por ello, 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:

Esta frmula se generaliza para el caso ms complicado de una unin de un nmero arbitrario de conjuntos finitos. 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 inclusin-exclusin: Dada una coleccin finita de conjuntos A1, ..., An :

Para una coleccin arbitraria de conjuntos A que contiene al menos un conjunto infinito:

Interseccin de conjuntos
En teora de conjuntos, la interseccin de dos (o ms) conjuntos es una operacin que resulta en otro conjunto que contiene los elementos comunes a los conjuntos de partida. Por ejemplo, dado el conjunto de los nmeros pares P y el conjunto de los cuadrados C de nmeros naturales, su interseccin es el conjunto de los cuadrados pares D : P = {2, 4, 6, 8, 10,...} C = {1, 4, 9, 16, 25, ...} D = {4, 16, 36, 64, ...} La interseccin de conjuntos se denota por el smbolo por lo que D = P C. Dados dos conjuntos A y B, la interseccin de ambos, A B es un conjunto que contiene los elementos que pertenecen a ambos conjuntos: La interseccin de dos conjuntos A y B es otro conjunto A B cuyos elementos son los elementos comunes aA y B :

Ejemplo. Sean A = {5, , , c} y B = {, c, 0, , 5, R}. Entonces la interseccin es A B = {5, c}. Sean los conjuntos de nmeros naturales C = {n: n es una potencia de 2} y D = {n: n es un cubo}. Su interseccin es C D = {n: n es una potencia de 2 y un cubo} = {n: n es una potencia de 2 cuyo exponente es mltiplo de 3} = {8, 64, 512, ...}.

Sean los conjuntos de nmeros pares e impares. Su interseccin es el conjunto vaco , ya que no existe ningn nmero natural que sea par e impar a la vez.

Cuando la interseccin de dos conjuntos es vaca, se dice que son disjuntos: Dos conjuntos A y B se dicen disjuntos si su interseccin es el conjunto vaco:

[editar]Generalizaciones La interseccin de un nmero finito de conjuntos, superior a dos, se define teniendo en cuenta que, debido a la propiedad asociativa (ms abajo), el orden en el que se intersequen los conjuntos es irrelevante:

Definicin
La definicin ms general en teora de conjuntos se refiere a una familia de conjuntos, un conjunto cuyos elementos son conjuntos a su vez: Sea M una familia de conjuntos. Su interseccin M se define como:

De este modo, la interseccin de un nmero finito de conjuntos es slo un caso particular de esta definicin general: A B = M, donde M = {A, B} A1 ... An = M, donde M = {A1, ..., An} La interseccin general de conjuntos se denota de diversas maneras:

donde esta ltima se aplica en el caso de que utilicemos un conjunto ndice, definiendo M como {Ai: i I}. [editar]Propiedades
Artculo principal: lgebra de conjuntos.

De la definicin de interseccin puede deducirse directamente: Idempotencia. La interseccin de un conjunto A consigo mismo es el propio A : AA=A

La interseccin de Ay B es un subconjunto de ambos: ABAyABB La interseccin de un conjunto B con un conjunto A que lo contenga, deja a B inalterado: B A implica A B = B

La interseccin de conjuntos posee tambin propiedades similares a las operaciones con nmeros: Propiedad asociativa. La interseccin de los conjuntos A y B C es igual a la interseccin de los conjuntos A By C : (A B) C = A (B C) Propiedad conmutativa. La interseccin de los conjuntos A y B es igual a la interseccin de los conjuntos B y A : A B = B A. Elemento absorbente. La interseccin de un conjunto A con el conjunto vaco es : A= Todas estas propiedades se deducen de propiedades anlogas para la conjuncin lgica. En relacin con la operacin de unin 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), y por tanto: A (A B) = A

[editar]Teora

axiomtica

En las teoras axiomticas de conjuntos usuales, como ZFC o NBG, la existencia de la interseccin de una familia de conjuntos no se postula de manera independiente, sino que se demuestra como consecuencia del esquema axiomtico de reemplazo

Diferencia de conjuntos
En teora de conjuntos, la diferencia entre dos conjuntos es una operacin que resulta en otro conjunto, cuyos elementos son todos aquellos en el primero de los conjuntos iniciales que no estn en el segundo. Por ejemplo, la diferencia entre el conjunto de los nmeros naturales N y el conjunto de los nmeros pares P es el conjunto de los nmeros que no son pares, es decir, los impares I: N = {1, 2, 3, 4, 5, ...} P = {2, 4, 6, 8,...} I = {1, 3, 5, 7, ...} Como no hay ningn nmero par que no sea un nmero natural, la diferencia P menos N no tiene ningn elemento, por lo que es el conjunto vaco. La diferencia entre dos conjuntos A y B se denota por A \ B A B, por lo que: N \ P = I, y tambin P N = .

Definicin
Dados dos conjuntos A y B, su diferencia, A \ B es el conjunto que contiene todos los elementos de A que no estn en B: La diferencia de A menos B (o entre A y B) es otro conjunto A \ B (o tambin A B) cuyos elementos son todos aquellos elementos de A que no lo sean de B:

La diferencia entre A y B tambin se denomina complemento relativo de B en A, y se denota AB, cuando el segundo es un subconjunto del primero. Este nombre proviene de la relacin entre las operaciones de diferencia y complemento (ver ms abajo). La norma ISO da preferencia a la [cita requerida] notacin conbarra invertida. Ejemplo. Sean A = {, 5, z, R, 0} y B = {0, p, 9, z, }. Sus diferencias son A \ B = {, 5, R} y B \ A = {p, 9, } Sean los conjuntos de nmeros naturales P = {n: n es par} y P = {n: n es primo}. La diferencia P \ P es entonces {n: n es par y no es primo} = {n: n es par y compuesto} = {4, 8, 6, ...}. Por otro lado, P \ P = {n: n es primo y no es par} = {n: n es primo e impar} = {3, 5, 7, 11, ...}. En la introduccin se mostr que la diferencia P \ N es el conjunto vaco. Adems, P \ I es igual a P: ningn nmero par es a la vez un nmero impar.

[editar]Propiedades
Artculo principal: lgebra de conjuntos.

De la definicin de la diferencia de conjuntos, puede deducirse inmediatamente:

Elemento neutro. La diferencia entre un conjunto y el conjunto vaco es el propio conjunto: A=A La diferencia de un conjunto menos l mismo es el conjunto vaco: AA=

Estas igualdades son un caso particular de la siguiente propiedad: La diferencia entre dos conjuntos es el conjunto vaco si y slo si el primero es un subconjunto del segundo: A B = si y slo si A B La diferencia entre dos conjuntos es igual al primer conjunto si slo si ambos conjuntos son disjuntos: A B = A si y slo si A B = La interseccin de dos conjuntos es la parte que tienen en comn, mientras que la diferencia es la parte que no comparten. Esto se traduce en la siguiente propiedad: Dados dos conjuntos, su interseccin y su diferencia son disjuntos entre s, pero su unin es el primero de los conjuntos iniciales: (A B) (A \ B) = , pero (A B) (A \ B) = A Esto quiere decir que la interseccin y la diferencia entre A y B son una (posible) particin de A. 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, A menos B, se denomina tambin el complemento relativo de B respecto de A: A \ B es el complemento absoluto de B, considerando a Acomo el conjunto universal . Las leyes de De Morgan y otras propiedades del complemento de un conjunto tienen entonces su contrapartida en la diferencia de conjuntos, si se tiene en cuenta que Si se considera un conjunto universal, la diferencia entre dos conjuntos es la interseccin del primero con el complemento del segundo: A \ B = A B

Diferencia simtrica
No debe confundirse con Diferencia de conjuntos.

La diferencia simtrica de A y B es el conjunto que contiene todos los elementos de A y de B salvo aquellos que pertenecen a ambos.

En teora de conjuntos, la diferencia simtrica de dos conjuntos es una operacin que resulta en otro conjunto cuyos elementos son aquellos que pertenecen a alguno de los conjuntos iniciales, sin pertenecer a ambos a la vez. Por ejemplo, la diferencia simtrica del conjunto de los nmeros 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, 4, 6, 8, 10, 12, 14, 16, ...} C = {1, 4, 9, 16, 25,...} D = {1, 2, 6, 8, 9, 10, 12, 14, 18...} La diferencia simtrica de conjuntos se denota por , por lo que P C = D.

Definicin
Dados dos conjuntos A y B, su diferencia simtrica, A B, es un conjunto que contiene los elementos de A y los de B, excepto los que son comunes a ambos: La diferencia simtrica de dos conjuntos A y B es otro conjunto A B cuyos elementos son todos los elementos deA o B, a excepcin de los elementos comunes a ambos:

Ejemplo. Sean A = {a, , 5, Z} y B = {8, #, a, , }. La diferencia simtrica es A B = {5, , #, Z, 8}. Sean los conjuntos de polgonos T = {pentgonos} y R = {polgonos regulares}. La diferencia simtrica contiene los polgonos regulares y pentgonos que no sean ambas cosas a la vez, o sea: R T = {Pentgonos irregulares y polgonos regulares que no posean 5 lados}.

La definicin de la diferencia simtrica puede reducirse fcilmente a las operaciones de unin, interseccin y diferencia:

[editar]Generalizaciones La diferencia simtrica es conmutativa y asociativa por lo que al tomar la diferencia simtrica de ms de dos conjuntos, el orden en el que se realizan las operaciones es irrelevante (ver ms abajo). As es que se puede definir la diferencia simtria de una familia de conjuntos finita:

Puede comprobarse que una definicin alternativa para esta diferencia de varios conjuntos es incluir slo los elementos que aparecen un nmero impar de veces:

[editar]Propiedades
Artculo principal: lgebra de conjuntos.

De la definicin de diferencia simtrica puede deducirse directamente: Nilpotencia. La diferencia simtrica de un conjunto consigo mismo es el conjunto vaco: AA= La diferencia simtrica de un conjunto y uno de sus subconjuntos es la diferencia entre ellos: Si B A, entonces A B = A \ B La diferencia simtrica tiene propiedades semejantes a las operaciones con nmeros: Propiedad asociativa. La diferencia simtrica de los conjuntos A y B C es igual que la diferencia simtrica de los conjuntos A B y C : (A B) C = A (B C) Propiedad conmutativa. La diferencia simtrica de los conjuntos A y B es igual a la diferencia simtrica de los conjuntos B y A : AB=BA

Elemento neutro. La diferencia simtrica de un conjunto A con el conjunto vaco es el mismo conjunto A:

A=A Adems, con respecto a la interseccin existe una ley distributiva: Propiedad distributiva A (B C) = (A B) (A C)