2.1.

4 Sub conjuntos
Un conjunto A formado por algunos de los elementos de otro conjunto B es un subconjunto de este ltimo: Sean A y B dos conjuntos tal que cada elemento de A es tambin elemento de B. Entonces se dice que:

A es un subconjunto de B, y se denota A B B es un supe conjunto de A, y se denota B A

Otras maneras de decirlo son "A est incluido en B", "B incluye a A", etc. Ejemplos. El "conjunto de todos los hombres" es un subconjunto del "conjunto de todas las personas". {1, 3} {1, 2, 3, 4} {2, 4, 6, ...} {1, 2, 3, ..} = N ( {Nmeros pares} {Nmeros naturales} ) Subconjunto propio Es obvio que cada elemento de un conjunto A es un elemento de A (es una afirmacin tautolgica). Por tanto se tiene el siguiente teorema: Todo conjunto A es subconjunto de s mismo. As, dados dos conjuntos A B, cabe la posibilidad de que sean iguales, A = B. Por otro lado, es posible tambin que A contenga algunos pero no todos los elementos de B: Sea A un subconjunto de B tal que A B. Entonces se dice que A es un subconjunto propio de B, y se denota por A B. (A su vez, se dice que B es un supe conjunto propio de A, B A) Todos los ejemplos de subconjunto mostrados arriba son de hecho subconjuntos propios. Tambin se utiliza la notacin A B y B A, pero segn el autor esto puede denotar subconjunto, A B y B A; o subconjunto propio, A B y B A.

2.1.5 Conjunto potencia.

Se llama conjunto potencia o conjunto de partes de S (se denota por P(S) o 2S) al conjunto formado por todos los subconjuntos posibles de S. En la teora de conjuntos basada en los Axiomas de Zermelo-Fraenkel, la existencia del conjunto potencia se establece por el axioma del conjunto potencia. Por ejemplo, si S= {a, b, c} entonces el conjunto potencia de S es P(S) = {{ }, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}. El conjunto potencia de un conjunto S, junto con las operaciones de la unin, de la interseccin y del complemento forman el ejemplo prototpico de lgebra de Boole. De hecho, uno puede demostrar que cualquier lgebra de Boole finita es isomorfa al lgebra booleana del conjunto potencia de un conjunto finito. Para las lgebras booleanas infinitas esto no es verdad, pero cada lgebra booleana infinita es sub lgebra de una lgebra booleana de partes. Cuando S es finito, si n = |S| es el nmero de elementos de S entonces su conjunto potencia contiene |P(S)| = 2n elementos. En este caso tambin se puede establecer una biyeccin entre los elementos del conjunto potencia con nmeros de n-bits: el n-simo bit se refiere a la presencia o ausencia del n-simo elemento de S. Hay 2n tales nmeros. Este argumento prueba la identidad de coeficientes binomiales:

2.2 Operaciones con conjuntos (unin, interseccin, complemento, diferencia simtrica).

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 pares positivos 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. 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 pueden tener elementos repetidos:n 1

La unin de {1, 2, 3, 4, 5} y {6, 2, 9, 1} es {1, 2, 3, 4, 5, 6, 9}.

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.

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:

Complemento de un conjunto: 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. Ejemplo.

El complementario del conjunto de todos los hombres es el conjunto de todas las mujeres (hablando de personas).

Hablando de nmeros naturales, el complementario del conjunto {1, 5, 6, 7, 8, 10} es el conjunto {2, 3, 4, 9, 11, 12, ...}. El complementario del conjunto A en la imagen es la zona sombreada de azul (el conjunto universal U es toda el rea del rectngulo).

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 = . 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.

Diferencia simtrica de conjuntos: 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 pares P 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. 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: