UNIVERSIDAD FERMIN TORO

BARQUISIMETO ESTADO LARA

FACULTAD DE INGENIERA







TEORIA DE CONJUNTOS






Asignatura: Estructuras discretas
Alumno: Juan Carlos Vsquez Astzian
C.I. 7.400.375
CONTENIDO
- Definicin
- Subconjuntos
- Conjunto potencia
- Igualdad de conjuntos
- Unin e interseccin de conjuntos
- Diferencia y complemento
- Algebra de conjuntos
- Producto cartesiano
- Operaciones generalizadas
- Particin
- Cardinalidad











Definicin
Llamaremos conjunto a cualquier coleccin de objetos y estos objetos los
llamaremos elementos.
Llamaremos conjunto universal, al conjunto que contiene todos los
elementos a considerar y lo denotaremos por U.
Ejemplo: Consideremos el conjunto formado por todos los nmeros
naturales menores que 6. En este caso podemos escribir el conjunto como A
= {1,2,3,4,5} y nuestro conjunto de referencia o conjunto universal es N, el
conjunto formado por todos los nmeros naturales.
Los conjuntos son denotados con letras maysculas como A,B,C,X,Y,Z,
mientras que para los elementos se usan letras minsculas como a,b,c,d,x,y,z,
Los elementos de un conjunto son encerrados entre llaves o en un crculo, el
cual es llamado diagrama de Venn.
Si x es un elemento y A es un conjunto, la expresin xeA, se lee "x
pertenece a A o x es un elemento de A. Su negacin la escribiremos as: xeA y
se lee x no est en A o no pertenece a A.
Existen dos formas de determinar un conjunto: por extensin y por
comprensin.
a. Por extensin: Cuando todos sus elementos son enumerados uno a
uno.
Ejemplo: Los siguientes conjuntos estn determinados por extensin.
A = {1,3,5,7}, B = {a,x,y,z,w}
b. Por comprensin: Cuando estn dados como dominio de una funcin
proposicional, es decir, los elementos de un conjunto que cumplen una
condicin dada.
Ejemplo: Los siguientes conjuntos estn dados por comprensin.
A = {n e N / 1s n s 5} (Todos los nmeros naturales mayores o iguales a 1
y menores o iguales a 5)
B = {x e R / x divide a 18} (Los nmeros reales divisores de 18)
C = {x e R / | x | < 4} (Los nmeros reales cuyos valores absolutos son
menores que 4)
Subconjuntos
Relacin de Inclusin
Si A es el conjunto formado por todos los Barquisimetanos y B es el
conjunto formado por todos los Venezolanos entonces, tenemos que todo
elemento de A es tambin elemento de B. Este resultado lo expresamos
diciendo que el conjunto A est incluido o contenido en el conjunto B, o bien,
que A es un subconjunto de B. Esta nueva relacin se simboliza por A c B.
Definicin: Sean A y B conjuntos. Diremos que A es subconjunto de B lo
cual denotaremos por A c B, si todo elemento de A es tambin un elemento de
B. Simblicamente lo expresaremos como:
A c B ( x e U) ( x e A x e B )
Teorema: La relacin de inclusin entre conjuntos es:
1. Reflexiva: A c A, para todo conjunto A.
2. Antisimtrica: A c B . B c A A = B.
3. Transitiva: A c B . B c C A c C.
Demostracin
Demostremos (1) La Reflexiva A c A, para todo conjunto A.
Puesto que, para cualquier x se cumple que x e A x e A concluimos que
A c A.
Demostremos (2) La Antisimtrica : A c B . B c A A = B, la antisimetra
de la inclusin es parte del teorema anterior, por tanto, ya est demostrada.
La tercera Transitiva: A c B . B c C A c C
Definicin: Diremos que un conjunto A est incluido propiamente en un
conjunto B o que A es subconjunto propio de B si y slo si A c B y A = B.
Ejemplo: Si A = {a, d, f} y B = {a, b, c, d, e, f, h}, entonces A es
subconjunto propio de B.
Ejemplo: Si D = { 1, 2, 3, 4 } y E = { 1, 2, 3, 4, 5, 6 }, entonces D es
subconjunto propio de E.
Problema: Probar que A . B (- x )( x e A x e B )

Solucin
Usando la ley del condicional, P q ~ p v q, en la definicin de inclusin
tenemos que:
A c B ( x )( x e A x e B )
( x )( x e A v x e B ) luego, negamos ambos lados,
~ ( A c B ) ~ ( x )( x e A v x e B ) obtenemos que
A . B ( - x ) ( x e A . x e B )
Conjunto Vaco
Definicin: Dado un conjunto A, el conjunto vaco |
A
es el conjunto:
|
A
= {

x e A / x = x } el |
A
no tiene elementos, ya que todo x e A satisface
x = x. Adems, por definicin se tiene que vaco es subconjunto de todo
conjunto A.

Conjunto Potencia
Si A es un conjunto, se define el conjunto Potencia de A o conjunto
partes de A como (A) = { X / X c A}, es decir, es el conjunto formado por
todos los subconjuntos de A.
Ejemplo: Si A = {x, y, z} entonces
(A) = {{|}, {x}, {y}, {z}, {x, y}, {x, z}, {y, z}, {x, y, z}}
Caractersticas del Conjunto Potencia
- La principal caracterstica de este conjunto es que es un conjunto de
conjuntos, es decir, sus elementos son conjuntos.
- Dado un conjunto A podemos conocer el nmero de elementos de (A),
ya que si A tiene n elementos, entonces (A) tiene 2
n
elementos.
El siguiente teorema nos dice que el conjunto partes conserva la relacin de
inclusin.
Teorema. A c B (A) c (B)
Representacin Tabular del Conjunto Producto
Un conjunto AxB lo podemos representar por medio de tablas como
veremos en el siguiente ejemplo.
Ejemplo
Si A = {3, 5,7} y B = {1, 2,3} encuentre la representacin tabular de AXB
Solucin
AxB = {(3,1),(3,2),(3,3),(5,1),(5,2),(5,3),(7,1),(7,2),(7,3)}

Igualdad de Conjuntos
Si dos conjuntos tienen los mismos elementos diremos que son iguales, por
ejemplo: A = {2, 3, 5, 9,10} y B = {10, 5, 3, 2,9} son iguales.
El siguiente teorema nos permite determinar cundo dos conjuntos son
iguales.
Teorema: Sean A Y B dos conjuntos. Luego,
A = B A c B . B c A
Demostracin: Sigue inmediatamente del axioma de extensin, la definicin
de inclusin y de la siguiente equivalencia:
(x e A x e B ) ( x e A x e B ) . ( x e B x e A )

Unin e Interseccin de Conjuntos
Sean A y B dos conjuntos. Se define la unin de A y B como el conjunto:
A U B = {xe U / xe A v xe B}
Es decir, son todos los elementos que estn en A o estn en B.
Ejemplo: Si A = {1,3,5,6,7,8} y B = {0,1,-14,5,8,7,10} entonces,
A U B = {0, 1, 3, 5, 6, 7, 8, 10,-14}
Propiedades de la Unin de Conjuntos
Sean A y B dos conjuntos, luego se cumplen las siguientes propiedades:
1. A U A = A
2. A U U = U
3. A U | = A
4. AUB = BUA
Sean A y B dos conjuntos. La interseccin de A con B se define como el
conjunto:
A I B = {xe U / xe A . xe B}
Es decir, los elementos que estn en A y tambin estn en B.
Ejemplo: Sea A = {a,b,c,d,e} y B = {a,c,e,h,i,j,k} luego, la interseccin de
los conjuntos A y B es el siguiente conjunto A I B ={a,c,e}
Propiedades de la Interseccin de Conjuntos
Sean A y B conjuntos, luego se cumple:
1. A I A = A, A
2. A I U = A, donde U es el conjunto universal
3. A I | = |
4. A I B = B I A

Diferencia y Complemento
Si A y B son conjuntos, entonces se define la diferencia entre A y B como
el siguiente conjunto:
A - B = {xeA / xeB}. Es decir, son todos los elementos que estn en A pero
que no estn en B.
Ejemplo: Consideremos los conjuntos
A = {1,2,3,5,7,9,11,12} y B = {0,1,2,-4,5,7,9,6,8,10,18}
Luego A-B = {3, 11,12} mientras que B-A = {0,-4, 6, 8, 10,18}
La diferencia simtrica
Entre A y B es el conjunto.
A B = (A-B) U (B-A) = {xeU / xeA v xeB}
En el ejemplo anterior se tiene que AD B = {-4, 0, 3, 6, 10, 11, 12,18}
Propiedades de la Diferencia de Conjuntos
Sean A, B, C tres conjuntos, luego se cumple que:
1. (AUB) - C = (A - C) U (B - C)
2. (A I B) - C = (A - C) I (B - C)
3. (AD B) - C = (A - C) D (B - C)
4. A I ( B - C) = (A I B) - (A I C)
5. (B - C) I A = (B I A) - (C I A)
Sea B un conjunto. Se define el Complemento de B como el conjunto.
C(B) = {xe U/ xe B}. Es decir, el complemento de B son los elementos que
le faltan a B para llegar a ser igual a U.
As podemos decir xe C(B) xe B.
Ejemplo: Si U = {1,2,3,4,5,6,7,8,9,10} y B = {1,3,5,7}

entonces C(B) = {2,4,6,8,9,10}
Teorema: Sean A y B dos conjuntos luego:
a. A - B = AI C(B)
b. C(C(A)) = A
c. AUC(A) = U
d. AI C(A) = f
e. C(U) = f
f. C(f ) = U
g. A B C(B) C(A)
Teorema: (Leyes de De Morgan para conjuntos)
i. C(AUB) = C(A) I C(B)
ii. C(AIB) = C(A) U C(B)
Ejemplo: Hallar los conjuntos A y B sabiendo que U = {0,1,2,3,4,5,6,7,8,9},
C(A)I C(B) = {6} y A I B = {0,5,8}.
Solucin
C(A) I C(B) = {6} por ley de De Morgan C(A)I C(B) = C(AUB), as podemos
decir que:
C(AUB) = {6} AUB = C(C(AUB)) = {0,1,2,3,4,5,7,8,9}
Como A - B = = {7,9} entonces concluimos que A = {0,5,7,8,9} y B =
{0,1,2,3,4,5,8}

Algebra de Conjuntos
As como en las proposiciones existen las leyes del lgebra de proposicional,
en la teora de conjuntos tenemos las leyes del lgebra de conjuntos que
veremos a continuacin.
1. Leyes de Idempotencia
a. A U A = A A = A
b. A
2. Leyes Asociativas
a. A U (BUC) = (AUB) U C
b. A (BC) = (AB) C
3. Leyes Conmutativas
a. A U B = B U A
b. A B = B A
4. Leyes Distributivas
a. A U (B C) = (A U B) (A U C) (B U C) = (A B) U (A C)
b. A
5. Leyes de Identidad
a. A U | = A | = |
b. A
6. Leyes de Dominacin
a. A U U = U U: conjunto universal
b. A U = A
7. Leyes de Complementacin
a. A U C(A) = U
b. A C(A) = | | |) = U
c. C (C(A)) = A
d. C (U) =
e. C (
8. Leyes de De Morgan
a. C(A U B) = C(A) C (B) B) = C(A) U C (B)
b. C(A
Producto Cartesiano
Sean A y B dos conjuntos. Se define el conjunto producto o producto
cartesiano de A y B como el conjunto Ax B = { (a,b) / aeB ^ beB}
Ejemplo: Si A = {a,b} y B = {1,5,8}
Entonces Ax B = {(a,1), (a,5), (a,8), (b,1), (b,5), (b,8)}
Mientras que BxA = {(1,a), (1,b), (5,a), (5,b), (8,a),(8,b)}
Ntese que Ax B Bx A
Teorema. Si A, B, C son tres conjuntos entonces:
1. A x B = F A = F B = F
2. A x (BUC) = (Ax B) U (Ax C)
3. Ax (B I C) = (Ax B) I (Ax C)
4. Ax(B -C) = (AxB) - (Ax C)

Operaciones Generalizadas
Consideremos un conjunto de ndices I= {1, 2, 3, &, n} y una familia de
conjuntos {A
1
, A
2
, & , A
n
}, donde cada A
i
con ie I, representa un conjunto.
Al conjunto {A
1
, A
2
, &, A
n
} lo llamaremos Familia Indizada de conjuntos; y
lo denotaremos {A
i
}
i
e
I
.
Ejemplo
Sea la familia indizada {A
i
}
i I
, donde I={1, 2, 3, 4} y determinar por
extensin cada miembro de la familia.
Solucin
La familia de conjuntos dadas en el ejemplo anterior es finita. Sin embargo,
podemos tambin considerar familiar infinitas. Por ejemplo, consideremos el
conjunto, donde n es un nmero natural cualquiera; luego la familia es una
familia infinita, cuyo conjunto de ndice es el conjunto de los nmeros
naturales. Algunos de los miembros de la familia son:
Ahora definamos la unin e interseccin de una familia indizada de
conjuntos:
Definicin
Sea {A
i
}
i
e
I
una familia indizada de conjuntos, se define:
i. La unin de esta familia como el conjunto
ii. La interseccin de esta familia como el conjunto
Observacin: dado un conjunto de ndice I={n, n+1, & , n+k}, entonces se
denota tambin las uniones e intersecciones como
Ejemplo
Si A
1
= {a, b, x, y}, A
2
= {b, x, y}, A
3
= {b, y, z}, A
4
= {b, y, x, z}, hallar:
a.
b.
c.
Solucin

Particin
Sea X un conjunto y {A
i
}
i
e
I
una familia de subconjuntos de X. Se dice que
{A
i
}
i
e
I
es una particin de X, si y slo si:
Cada A
i
es una celda o bloque de la particin, es decir, una particin es una
familia {A
i
}
i
e
I
donde cada conjunto de la familia es no-vaco, la interseccin
entre dos miembros de la familia es vaca y la unin de todos los miembros da
X.
Ejemplo
Si X={a, b, c, d, e, f, g} y A
1
={a, b}, A
2
{e, c, g}, A
3
={d, f} , entonces {A
1
,
A
2
, A
3
} es una particin de X.


Cardinalidad
Diremos que un conjunto A es finito si A tiene n elemento, para algn
nmero natural n, es decir, un conjunto es finito si se pueden contar sus
elementos. En caso contrario se dice que es infinito.
Ejemplo: El conjunto {a, b, c, d, e} es finito porque contiene 5 elementos,
el conjunto de los nmeros reales, de los nmeros naturales son ejemplos de
conjuntos infinitos.
Definicin: Sea A un conjunto finito. Se dice que:
i. El cardinal de A es 0 si A =|.
ii. El cardinal de A es n y lo denotaremos por #A = n si A tiene n
elementos.
Ejemplo: Si A = {0, 1, 2, 5, 4,7} entonces #A = 6
Teorema: Sean A y B dos conjuntos finitos, luego:
i. B - A) = #B - #(AI B)
ii. #(AUB) = #A + #B - #(AI B)
Teorema: Si A;ByC son tres conjuntos finitos entonces
#(AUBUC) = #A + #B +#C - #(AI B) - #(AI C) - #(BI C) + #(AI BI C).
Estos teoremas son usados para resolver problemas de la vida cotidiana
cuando los conjuntos con los que estamos trabajando son conjuntos finitos. A
continuacin presentamos el siguiente problema que resolveremos con la teora
de cardinalidad de conjuntos.
Ejemplo: De un grupo de 200 turistas que llegaron a Venezuela se sabe lo
siguiente: 70 visitaron Canaima, 140 visitaron Zulia, 158 visitaron Mrida, 50
visitaron Canaima y Zulia, 120 visitaron Zulia y Mrida, 55 visitaron Canaima y
Mrida, 15 visitaron Zulia pero no Mrida ni Canaima.
1. Cuntos visitaron los tres lugares?
2. Cuntos visitaron slo Mrida?
3. Cuntos no visitaron ninguno de los tres lugares?
Solucin
Sean U el conjunto formado por los 200 turistas.
C el conjunto formado por los turistas que visitaron Canaima.
M el conjunto formado por los turistas que visitaron Mrida.
Z el conjunto formado por los turistas que visitaron Zulia.
Sabemos qu #C = 70, #M = 158, #Z = 140, #U = 200.
#Z = 140 = x + (50-x)+(120-x)+15
140 = x+50-x+120-x+15
140 = 185-x
x = 185-140
x = 45, es decir, 45 personas visitaron los tres lugares
#M = 158 = m+(55-x)+(120-x)+x
158 = m+175-x, sustituyendo x y despejando m se tiene que m = 28. Por lo
que se tiene que 28 turistas visitaron solamente Mrida.
Los turistas que no visitaron ninguno de los tres lugares es #U - #(CUZUM)
#(CUZUM) = #C+#Z+#M - #(C I Z) - #(CI M) - #(ZI M) + #(CI MI Z)
= 70+158+140-50-55-120+45
413+225
#U-#(CUZUM) = 200-188 = 12, por lo que se concluye que 12 turista no
visitaron ninguno de los tres lugares.