TEORIA DE CONJUNTOS

John Venn naci en 1834 en Huil, Inglaterra. Su madre, Martha Sykes, provena
de Swanland y muri mientras John era an muy pequeo. Su padre era el
reverendo Henry Venn, quien en la poca en que naci John era el rector de la
parroquia de Drypool, cerca de Hull. Henry Venn vena de una familia distinguida.
El rea de mayor inters para Venn era la lgica y destac por sus investigaciones
en lgica inductiva y sus diagramas fueron utilizados para mostrar visualmente las
operaciones ms elementales de la teora de conjuntos.
Public tres textos sobre el tema: Lgica del azar , que introdujo la teora de la
frecuencia de la probabilidad, en 1866; Lgica simblica, que presentaba los
diagramas de Venn, en 1881; y The Los principios de la Lgica Emprica en 1889.

En 1883, Venn fue elegido miembro de la Royal Society. En 1897, escribi una
historia de su vida universitaria.
Falleci en 1923 a la edad de 88 aos en Cambridge y fue sepultado en el
cementerio de la Iglesia Trumpington.

DEFINICION

Un conjunto es una lista, agrupacin o coleccin bien definida de objetos, que

reciben el nombre de elementos.

NOTACION

Los conjuntos se denotan con letras maysculas: A; B; C; mientras que los

elementos del conjunto se denotan con letras minsculas: a; b; c; ..., encerrados
entre signos de coleccin.

Ejemplos

A = {a; b; c}
B={1,2,3,4,5,6,7,8,9,0}

DETERMINACIN DE UN CONJUNTO
Determinar un conjunto, consiste en indicar con precisin todos los elementos de
dicho conjunto. Un conjunto se puede determinar por extensin o por
comprensin.

Por extensin
Un conjunto queda determinado por extensin, cuando se nombran explcitamente
a los elementos de dicho conjunto.
Ejemplo:

A = {a; e: i; o; u} B = { - 2 ; - 1 ; 0, 1; 2; 3}
Por comprensin

Un conjunto queda determinado por comprensin, cuando se enuncia las

propiedades comunes que caracterizan a los elementos de dicho conjunto.
Para escribir un conjunto por comprensin se elige un elemento arbitrario x y se
seala que cumple la propiedad P(x). Finalmente, se encierra toda la expresin
entre llaves:

A = {x | x P(x)}

Que se lee A es el conjunto de todos los elementos x tales que los x cumplen la
propiedad P(x) ( | se lee tal que). Ejemplo:

A = {x|x es una vocal}

B = {x|x es entero, comprendido entre 0 y 4}

CARDINALIDAD Y TIPOS DE CONJUNTOS

Hay conjuntos que tienen un nmero finito de elementos; se llaman conjuntos

finitos.

Un conjunto que no tiene un nmero finito de elementos se llama un conjunto

infinito.

Conjunto finito

El conjunto A ={ l, 2, 3, 4, 5, 6} es un conjunto finito, pues tiene un nmero finito de

elementos, seis.

Conjunto infinito

El conjunto A = { x|x es un nmero entero positivo} es un conjunto infinito, ya que

dado cualquier nmero entero positivo podemos obtener el prximo aadiendo la
unidad. Este proceso puede repetirse un nmero arbitrariamente grande de veces;
el proceso nunca termina, por tanto, el nmero de elementos no es finito.

El concepto de nmero de elementos de un conjunto finito es de mucha

importancia en las aplicaciones de la teora de conjuntos.

La cardinalidad de un conjunto finito A es el nmero entero que representa el

nmero de elementos del conjunto A. Como hemos dicho, para cualquier conjunto
finito A, su cardinalidad se representa con Card (A) o | A |.

La cardinalidad del conjunto A = { h, i, j, k, l, n } es 6, ya que A tiene seis

elementos; por tanto, Card (A) = 6.
B = { x | x es un nmero primo y par } la cardinalidad es 1, ya que hay un solo
nmero primo que es par, el 2; por ende, Card (B) = 1.

C = {a, b, a, a, b} la cardinalidad es 2, ya que C slo tiene dos elementos distintos;

as, Card (C) = 2.

El conjunto vacio: es el conjunto que carece de elementos y se denota por { } o

, ejemplo:

A = { x | x es un profesor de matemtica con ms de trescientos aos de edad}

Conjunto unitario
Un conjunto A es un conjunto unitario si tiene un solo elemento.

A = {x | x es la capital de Per}

Conjunto universal

En cualquier aplicacin de la teora de conjuntos, los elementos de todos los

conjuntos pertenecen usualmente a un gran conjunto fijo llamado conjunto
universal. ste se denota por U.

Si trabajamos con conjuntos de comunidades humanas, entonces en Colombia un

buen conjunto universal es el de los colombianos que viven en el pas.

Subconjunto

Si cada elemento de un conjunto A es tambin elemento de un conjunto B,

entonces se dice que A es un subconjunto de B. Se dice tambin que A est
contenido en B o que B contiene a A. La relacin de subconjunto viene dada por:
ACB

Si A = B, entonces A C B y B C A son verdaderos.

Si A es un subconjunto de B, pero A y B no son iguales, entonces decimos que A
es un subconjunto propio de B.
Si A no es un subconjunto de B, es decir, si al menos un elemento de A no
pertenece a B, escribimos A B.

Ejemplo:

Dado el conjunto: A = {3; 4; 5}

Determinar:
a) Subconjuntos de A
b) Subconjuntos propios de A
Resolucin:
a) Hallamos los subconjuntos de A:
; {3}; {4}: {5}; {3; 4}; {3; 5}; {4; 5}; {3; 4; 5}

Son 8 subconjuntos. (8 = 23)

b) Hallamos los subconjuntos propios de A:

{};{3}; {4}; {5}: {3 ; 4}; {3 ; 5}; {4 ; 5}

Son 7 subconjuntos propios. (23 1)

En general:
Si el conjunto A tiene n elementos, entonces tendr 2 n subconjuntos y 2n 1
subconjuntos propios.

Igualdad de conjuntos

Se dice que dos conjuntos son iguales, si stos tienen los mismos elementos.
Notacin matemtica: (A = B) ( A c B ) y ( B c A )

Ejemplo:

Sean los conjuntos:

A = {a; e; i; o; u}; B = {x/x es una vocal}

Los conjuntos A y B tienen los mismos elementos. A = B

Conjuntos disjuntos

Dos conjuntos son disjuntos cuando no tienen elementos comunes.

Ejemplo:
Sean los conjuntos:
A = {x/x es un nmero par}; B = {x/x es un nmero impar}

Luego, los conjuntos A y B no tienen los mismos elementos, por lo tanto, son
disjuntos.

Conjunto potencia
El conjunto potencia de A, denotado por P(A) o Pot(A), es el conjunto formado
por todos los subconjuntos de A. Ejemplo:

Dado el conjunto A = {a; b; c}

Los subconjuntos de A:
; {a}; {b}; {c}; {a; b}; {a; c}; {b; c}; {a; b; c}

Luego, el conjunto potencia de A, ser:

P(A) = {{ }: {a}; {b}; {c}; {a; b}; {a; c}; {b; c}; {a; b; c}}
Del ejemplo anterior, podemos deducir:
i) b es elemento de A: b e A
ii) {b} est incluido en A: {b} c A
iii) {b} es elemento de Pot(A): {b} e P(A)
iv) {{b}} est incluido en la potencia de A: { { b }} c P(A)

Operaciones con conjuntos

Interseccin de conjuntos

La interseccin de dos conjuntos A y B es el conjunto formado por todos los

elementos comunes a los dos conjuntos. La interseccin de A y B se denota por
A B, y en lenguaje lgico el conjunto puede escribirse como:

A B = {x | x A x B]

En los diagramas de Venn, la interseccin de A y B se representa por la regin

sombreada

AB

Dados los conjuntos A = {1 , 2, 3, 4, 5}, B ={2, 3, 5, 7, 9, 11} determine el conjunto

interseccin de A y B.

Solucin: Los elementos que estn o pertenecen tanto a A como a B son 2, 3, 5;

por tanto A B = {2, 3, 5}
 AB

En la figura se muestra la intercesin de A y B, ntese que los elementos comunes

estn en la parte sombreada del diagrama

Dados los conjuntos A ={ b, c, d, e }, B = { c, e, h, f, k } y C = {a, b, e, h}, determine

ABC

Solucin Primero se busca A B:

D = A B = {c, e}

Luego se calcula A B C = D C = { e }. Por tanto, A B C = { e }

Unin de conjuntos
La unin de dos conjuntos A y B consta de todos los elementos que pertenecen a
A o a B. La unin de A y B se denota por A U B. En lenguaje lgico podemos
escribir:

AUB={x|xAoxB}

Note que si extraemos un elemento de A U B, ste puede estar slo en A, o slo

en B, o ser un elemento comn a A y a B.
La representacin grfica de A x B se expresa por una de las situaciones descritas
en las siguientes figuras en las que la regin sombreada en cada caso
corresponde al conjunto A U B.

En caso de que todo los elementos del conjunto A pertenezcan al conjunto B

En el caso que no hallan elementos en comn entre el conjunto A y B

En caso que existan elementos comunes entre los dos conjuntos

Dados los conjuntos A = {a, b, c, d, e} y B = {b, c, f, g, h}, determine el conjunto A

U B.

Solucin:
Puesto que en A U B deben estar representados tanto los elementos de A como
los de B, tenemos que A U B es la unificacin de A con B, es decir, ponemos
juntos los elementos de A con los de B:
A U B = {a, b, c, d, e, f, g, h}

La situacin grfica del ejemplo anterior es la siguiente:

Los elementos comunes entre A y B solo se escriben una vez en el conjunto A U B

En muchas circunstancias necesitamos obtener la unin de ms de dos conjuntos;

pero la unin es una operacin entre dos conjuntos, de ah que necesitemos
recurrir a la propiedad asociativa para poder obtener un conjunto A U B U C,
cuando A, B y C son conjuntos dados.

Para calcular A U B U C, primero obtenemos A U B y luego unimos este resultado

con el conjunto C. Si

D = A U B entonces A U B U C = (A UB) U C = D U C

Dados los conjuntos A = {0, 1, 2, 3, 5}, B = {1, 3, 5, 7} y C = {2, 6, 8}, determine A

U B U C.

Solucin

Primero calculamos D = A U B= {0, 1, 2, 3, 5, 7} y luego calculamos D U C para

obtener A U B U C

A U B U C = {0, 1, 2, 3, 5, 6, 7, 8}

En la figura se muestra la representacin grfica correspondiente.

Diferencia de conjuntos

La diferencia entre dos conjuntos A y B o el complemento relativo de B respecto a

A es el conjunto que consiste en todos los elementos que pertenecen a A pero no
a B. La diferencia entre A y B se denota por A - B. En lenguaje de la lgica A - B
se representa como:

A - B = {x | x A x B}
El complemento de un conjunto A, que se denota por A o por Ac, es el conjunto
U - A, que puede describirse como:

A = U - A = {x |x U (x A)}
Representaciones grficas de la diferencia de conjuntos y la de tomar
complementos

Diferencia de conjuntos Complemento de conjuntos

Dados A = {a, b, c, d, e, f} y B = {c, d, e, f, g, h}, determine el conjunto A - B.

Solucin:

El conjunto A - B est formado por todos los elementos de A que no lo son de

B, as que los elementos de A - B son a, b. Por tanto: A - B = {a, b}

Dados el conjunto universal U = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 } y el conjunto A = {3, 8,

9}, determine A.

Solucin:
El complemento de A es el conjunto formado por todos los elementos de U que no
son elementos de A:

A={0, 1, 2, 4, 5, 6, 7}