TEORA DE CONJUNTOS.

Definiciones.
Se define un conjunto como una coleccin de objetos o cosas, se nombran con letras
maysculas (A, B...). Cada uno de los objetos de un conjunto se llama elemento, se
nombran con letras minsculas (a, b...). Para indicar que un elemento pertenece a un
conjunto utilizamos el smbolo a A) Podemos definir los conjuntos de dos
formas:
a) Por extensin: se nombran todos los elementos del conjunto y slo estos,
sin repetir. Por ejemplo: A = {a, e, i, o, u}.
b) Por comprensin: se nombra una propiedad que cumplen todos los elementos
del conjunto y solo ellos. Por ejemplo: A = {x / x es una vocal}, B = {x / x es un
nmero par}.
Cuando podemos contar los elementos del conjunto se dice que es finito, si no
podemos contarlos decimos que el conjunto es infinito, por ejemplo, A es finito y B es
infinito. Al nmero de elementos del conjunto se le llama cardinal del conjunto y se
denota n(A). Por ejemplo n(A) = 5, n(B) = infinito ().
Se llama conjunto unitario al que tiene un solo elemento o tiene cardinal uno, y
conjunto vaco es el que no tiene elementos o tiene cardinal cero. Se denota A = {} o A
= . Por ejemplo: C = {nmeros reales con raz cuadrada negativa}, n(C) = 0, C = .
Dos conjuntos A y B son iguales si y solo si todos los que pertenecen a A tambin
pertenecen a B y viceversa, se denota como A = B, y en lenguaje formal: A = B " x
A x B y " x B x A. Por ejemplo: A = {1, 3, 5, 7, 9} y B = {x / x es un impar
menor de 10}, se ve claramente que A = B.
Dados dos conjuntos A y B, decimos que B es subconjunto de A cuando todos los
elementos de B pertenecen tambin a A. Se denota B A. Por ejemplo: A = {1, 3, 5, 7,
9}, B = {1, 5, 9}; B A.
Dos conjuntos se dicen disjuntos cuando no tienen ningn elemento en comn; por
ejemplo los conjuntos A = {2, 4, 6} y B = {1, 5, 9, 7} son disjuntos.
Se llama conjunto universal al que contiene a los dems como subconjuntos, se
denota como U y se representa con un rectngulo. Por ejemplo: A = {a, o}, B = {e, i,
u}; en este caso U = {x / x es vocal}.
Dado un conjunto A, su conjunto potencia es el formado por todos sus subconjuntos
incluyndose a l mismo y al conjunto vaco. Se denota como (A) o P(A) y si A tiene
x elementos, n( ) = 2x. Por ejemplo: A = {1, 3, 5}; n(A) = 3 n( ) = 23 = 8. (A) =
{{}, 1, 3, 5, {1, 3}, {1, 5}, {3, 5}, {1, 3, 5}}. El conjunto potencia tambin se llama
conjunto de las partes de un conjunto.

DIAGRAMAS DE VENN.
Los diagramas de Venn son una forma de representar grficamente conjuntos.
Para ello se utilizan crculos y rectngulos, como hemos dicho, un rectngulo
representa el conjunto universal y los conjuntos se representan con crculos. En
ocasiones dentro de los crculos se escriben los elementos del conjunto, pero no
siempre es necesario. Veamos algunos ejemplos, el conjunto U, el conjunto A sin sus
elementos, el conjunto A con sus elementos y una representacin de A B.





Operaciones con conjuntos.
Unin. Dados dos conjuntos A y B, se llama unin de A y B al conjunto que
contiene a todos los elementos de A y a todos los de B, se representa por A B,
formalmente: A B = {x / x A o x B}. Ejemplo: A = {1, 2, 3, 4, 5}, B = {4, 5, 6,
7, 8}; A B = {1, 2, 3, 4, 5, 6, 7, 8}. Grficamente:






Interseccin. Dados dos conjuntos A y B, se llama interseccin de A y B al
conjunto que contiene a todos los elementos que pertenecen a la vez al conjunto A
y al conjunto B, se representa por A B, formalmente: A B = {x / x A y x
B}. Ejemplo: A = {1, 2, 3, 4, 5}, B = {4, 5, 6, 7, 8}, entonces A B = {4, 5}.
Grficamente:






Diferencia. Dados dos conjuntos A y B, se llama conjunto diferencia de A menos B
al conjunto compuesto por todos los elementos de A que no pertenecen a B,
formalmente: A - B = {x / x A y x B}. Ejemplo: A = {1, 2, 3, 4, 5}, B = {4, 5, 6, 7,
8}, entonces A - B = {1, 2, 3}; B A = {6, 7, 8}. Grficamente:






Complementario. Dados dos conjuntos A y B y tales que B es subconjunto de
A (B A), se llama conjunto complementario de B respecto de A al conjunto A B,
se denota B
A
. Vamos a verlo con un ejemplo: A = {1, 2, 3, 4, 5}, B = {1, 2}; B
A
= A B = {3, 4, 5}.
Particin de un conjunto. Si tenemos varios subconjuntos A, B, C... de un
universo U que cumplen que son disjuntos dos a dos (su interseccin es el conjunto
vaco) y la unin de todos es el universo, entonces se dice que tenemos una particin
del universo U. Veamos un ejemplo: U = {1, 2, 3, 4, 5, 6, 7, 8, 9}, A = {1, 2, 3}, B
= {4, 5, 6, 7}, C = {8, 9} y D = {7, 8, 9}; entonces A, B y C son una particin de U,
pero A, B y D no lo son porque B D = {7}.