Pgina 1 de 20

TEORIA DE CONJUNTOS
Definicin de Conjunto
Un conjunto es una agrupacin o coleccin bien definida de objetos con caractersticas
similares, donde cada objeto es un elemento o miembro del conjunto.
Notacin
Conjunto: Lo denotaremos con letras maysculas (A, B, C, ) o enumerando todos los
miembros del conjunto cuando esto sea posible. Para los elementos del conjunto deben
estar separados por comas , y delimitados por llaves { }.
Ejemplo A = {1, 2, 3, 4, 5}

Cardinalidad
Sea A un conjunto. Si hay exactamente n elementos distintos en A, donde n es un
numero entero no negativo, decimos que A es un Conjunto Finito y n es el cardinal de
A.
Y se denota como |A|
Ejemplo
Sea A = { 1, 2, 3, 4, 5} entonces |A| = 5
Sea B = { 1, 2, 3, 2, 1} entonces |B| = 3
Sea C = { 1, (1,2) , 2, { 3, 4} , 5} entonces |C| = 5
Sea D = {2, 4, 6, 8, . } entonces |A| =

Pertenencia
Sea x un elemento cualquiera, A un conjunto cualesquiera un conjunto.
Si x es un elemento de A, se dice que x pertenece a A y se denota como: x e A.
Si x no es un elemento de A, se dice que x no pertenece a A, y se denota como: (x e
A) o x e A.



Pgina 2 de 20

Descripcin de Conjuntos

Por Extensin
Consiste en dar explcitamente los elementos que pertenecen al conjunto, esto es,
enumerar los elementos del conjunto

Ejemplos

A = {1, 2, 3, 4, 5}
B = {(1, 2), (2, 3), (3, 4), (4, 5)}
C = {2, 4, 6, 8, }
Por Comprensin
Consiste en dar una especificacin implcita de los elementos del conjunto mediante una
funcin proposicional y una variable libre.
El conjunto as descrito, se define tomando aquellos elementos del universo del discurso
que hacen la funcin proposicional verdadera.
A = {x / x eU . P(x) }

Ejemplos (Para los casos anteriores)
A = {x/ xeN . x 5}
B = {(x, y)/ x,y e N . x 4 . y = x + 1}
C = {x/ x = 2k, k e N}

Igualdad de Conjuntos
Dos conjuntos A y B son iguales si y slo si tienen los mismos elementos. Formalmente
esto es:
A=B x [x e A x e B]

Pgina 3 de 20

Ejemplo
Sean A = {1, 2, 3, 2, 1}, B = {1, 2, 3} y C = {3, 2, 1}

Aqu se cumple que A = B = C

Inclusin (Subconjunto}
El conjunto A se dice que es subconjunto de B si, y solo si, todo elemento de A es
elemento de B y se denota como A _ B.

A _ B x [x e A x e B]

Inclusin Propia (Subconjunto Propio)
Sean A y B conjuntos. Se dice que A es subconjunto propio de B, y se denota A c B,
si slo si, todo elemento de A es elemento de B y existe al menos un elemento de B que
no es elemento de A. (No se acepta la igualdad entre A y B}

A c B {x [xeA xeB] . -x [xeB . xeA] }

Ejemplo (este ejemplo sirve para diferenciar entre pertenencia, inclusin e
inclusin propia)

Sea A = {1, {1}, 2, {1, 3}, {4}}
Decir cules de las siguientes sentencias es verdadera o falsa
- 1 e A V
- {1} _ A V
- {1} e A V
- {{1}} _ A V
- 2 e A V
- {2} e A F
- {4} _ A F
- 3 e A F
- |A| = 4 F
- |A| = 5 V
- {1, 2} c A V
- A _ A V
- A c A F
Pgina 4 de 20

Conjunto Universal

Es aquel conjunto del cual se toman los elementos para describir un conjunto particular
de inters.
El conjunto universal se denota convencionalmente por la letra U.

Ejemplo
Para el conjunto de los estudiantes de la Ujap de Estructuras Discretas I, algunos
conjuntos universales validos podran ser los siguientes
U = Los estudiantes de Ingeniera en Computacin de la Ujap
U = Los estudiantes de Ingeniera de la Ujap
U = Todos los estudiantes

Conjunto Vacio

Se define como el conjunto que no tiene elementos, el cual se denota como C.
De esta definicin podemos deducir que C = { } y adems, |C|= 0.
As, cada elemento que pertenece al universo no pertenece al vaco:

x [x e U x e C]

Propiedades

TEOREMA 1
Sean A, B subconjuntos de U.
Entonces A = B si y slo si A _ B y B _ A.

Pgina 5 de 20

TEOREMA 2
Para cualquier conjunto A, se cumple que C _ A

TEOREMA 3
Sean A, B y C subconjuntos de U.
Si A _ B y B _ C entonces A _ C

Operaciones con Conjuntos
Sean dos conjuntos A y B (A_U y B _ U).

Unin
AB = {x / xeU . (xeA v xeB)}

Interseccin
AB = {x / xeU . ( xeA . xeB)}

Los conjuntos A y B cuya interseccin resulte vaca (AB = C) se llaman conjuntos
disjuntos
Pgina 6 de 20



Complemento
A
C
= {x / xeU . xeA}


Diferencia
A B = {x / xeU . ( xeA . xeB)}


Diferencia Simtrica
A A B = {x / xeU . [xe(AB) . xe(AB)]}


Ejemplo

Pgina 7 de 20

Sean U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} y sean
A = {1, 2, 3, 4, 5}
B = {9, 10}
C = {4, 5}
D = {4, 5, 6, 7}
Calcular
- A B = {1, 2, 3, 4, 5, 9, 10}
- A B = C (Disjuntos)
- C B
C
= C
- A - C = {1, 2, 3}
- C - A = C
- A A D = {1, 2, 3, 6, 7}
- A A C = {1, 2, 3}
- (B A C)
C
= {1, 2, 3, 6, 7, 8}
Pgina 8 de 20



Algunas Relaciones

Si A y B son subconjuntos de U (A_U y B_U), entonces:
1. |AB|= |A| + |B| |AB|
2. A B = A B
C

3. A A B = (AB) (AB)
A A B = (AB) (AB)
C

A A B = (A B) (B A)
A A B = (A B
C
) (B A
C
)
4. A = U A
C


Leyes de la Teora de Conjuntos

Conmutativa
A B = B A
A B = B A

Asociativa
A (B C) = (A B) C
A (B C) = (A B) C

Distributiva
De la respecto de la
A (B C) = (A B) (A C)

De la respecto de la
A (B C) = (A B) (A C)

Pgina 9 de 20

Absorcin .
A (A B) = A
A (A B) = A

De Morgan
(A B)
C
= A
C
B
C

(A B)
C
= A
C
B
C

Idempotencia
A A = A
A A = A

Identidad
A U = U
A C = A
A U = A
A C = C

Complementacin
A A
C
= U
A A
C
= C

Doble Complemento
(A
C
)
C
= A

Ejemplos
1. Calcular ( ) ( )
C
C
A B A

( )
C C
A B A
C
De Morgan
Pgina 10 de 20

( )
C
A B A Doble Complemento
( )
C
A A B Conmutativa
( )
C
A A B Asociativa
u B Complementacin
u Identidad

2. Demostrar que ( ) ( ) ( ) C B B C B A
C
C C
=
Desarrollando el lado izquierdo para llegar al lado derecho
( ) ( ) ( )
C
C C
B C B A
( ) ( )
C C
C C
B C B A Ley de Morgan
( ) ( ) B C B A Doble Complementacin
( ) ( ) B C B A Asociativa
( ) ( ) C B B A Conmutativa
( ) ( ) C B B A Asociativa
C B Absorcin

Se llego al lado derecho por lo tanto queda demostrada la igualdad
3. Demostrar la ley de absorcin A B A A = ) ( (Sin usar absorcin)
Desarrollamos el lado izquierdo para llegar al lado derecho

) ( ) ( B A U A Identidad
) ( B U A Distributiva
U A Identidad
A Identidad

Se llego al lado derecho por lo tanto queda demostrada la igualdad

Contraejemplos
Pgina 11 de 20


Se usan para demostrar que una propiedad es falsa, la idea es citar un caso para el cual la
propiedad no se cumple

Ejemplo
Para los siguientes caso Demuestre o de un Contraejemplo
1. A - (B - C) = (A - B) - C
Si le damos valores a los conjuntos A, B, y C
A = {1, 2, 3}
B = {1, 2}
C = {3, 6}
al resolver la ecuacin de ambos lados nos queda

A - (B - C) = (A - B) - C
{1, 2, 3} - ({1, 2} - {3, 6}) = ({1, 2, 3} - {1, 2}) - {3, 6}

{1, 2, 3} - {1, 2} = { 3} - {3, 6}
{3} = {6}

Podemos observar que la igualdad no se cumple, por lo tanto la propiedad es falsa (para
que sea verdadera de cumplirse para todos los casos)

2. (A A B)
C
= A
C
A B
C


Dndole valores a A y B
A = {1, 2, 3}
B = {2, 3, 4}
Con un Universo U = {1, 2, 3, 4, 5}

Resolviendo la ecuacin, nos queda
Pgina 12 de 20


(A A B)
C
= A
C
A B
C
({1, 2, 3} A {2, 3, 4})
C
= ({1, 2, 3})
C
A ({2, 3, 4})
C

({1, 4})
C
= {4, 5} A {1, 5}
{2, 3, 5} = {1, 4}

Podemos observar que la igualdad no se cumple, por lo tanto la propiedad es falsa

Nota: Los valores son arbitrarios pero deben ser escogidos cuidadosamente de tal
forma que la igualdad no se cumpla, en tal caso que probemos con varios casos y la
igualdad se cumpla, procedemos a demostrar que la propiedad es verdadera
usando las leyes de conjunto

Nota 1: Los contraejemplos solo se pueden usar para probar que una propiedad es
falsa, NUNCA se debe demostrar que una propiedad es verdadera dndole valores
a las variables y citando un caso particular

Familia de Conjuntos
Una Familia de Conjuntos es un conjunto cuyos elementos son conjuntos.

Ejemplo
F= { T, R, C }
F = { { t
1
, t
2
, t
3
}, { r
1
, r
2
}, { c
1
, c
2
, c
3
} }

Pgina 13 de 20



Conjunto Indexado

Si I es un conjunto discreto de ndices y para cada ieI se define el conjunto A
i
, entonces i
es el ndice de A
i
, y F = { A
i
/ ieI } es una familia indexada de conjuntos (conjunto
indexado), donde I es el conjunto de ndices de la familia.

Ejemplo
F = { A
1
, A
2
, A
3
}
F = { A
i
/ ieI }
I = {1, 2, 3 }



Ejemplos
1. Se define F como
F = {A
i
/ A
i
= {i}, i e Z
+
}, al desarrollar cada A
i
nos queda
Pgina 14 de 20


A
1
= {1}
A
2
= {2}
A
3
= {3}
.
.
por lo tanto F = {{1}, {2}, {3}, }

2. Defina la siguiente familia de conjuntos como un conjunto indexado

F = {{1}, {1, 2}, {1, 3}, {1, 4}, {1, 5}}

Quedara

F = {A
i
/A
i
= {1, i}, i e I}
donde I = {1, 2, 3, 4, 5}

3. Defina la siguiente familia de conjuntos como un conjunto indexado

F = {{1}, {1, 2}, {1, 2, 3}, {1, 2, 3, 4}, {1, 2, 3, 4, 5}, ..}

Quedara

F = {A
i
/A
i
= {x/ x e Z
+
. 1 x i}, i e Z
+
}

4. Defina la siguiente familia de conjuntos como un conjunto indexado

F = {{2}, {4}, {6}, {8}, }

Quedara
Pgina 15 de 20

F = { A
i
/A
i
= {2i}, i e Z
+
}

Operaciones en Familias de Conjuntos Indexadas

Unin Generalizada de Conjuntos

Unin Generalizada de Conjuntos: Un elemento x de U pertenece a la unin de los A
i
, si
existe al menos un subconjunto A
i
perteneciente a F que contenga a x. Es decir:



En otras palabras, el hecho de que x pertenezca al menos a uno de los conjuntos A
i
,
conlleva a que pertenezca a la unin generalizada.

Notaciones:



Ejemplo

Para el ejemplo 2 del caso anterior F = {A
i
/A
i
= {1, i}, i e I} donde I = {1, 2, 3, 4, 5}


} 5 , 1 { } 4 , 1 { } 3 , 1 { } 2 , 1 { } 1 {
5 4 3 2 1
5
1
= = =
e =
A A A A A A A
I i i
i i

} 5 , 4 , 3 , 2 , 1 { =

Interseccin Generalizada de Conjuntos

| | { } Ai x F Ai Ai / A
I i
i
e . e - =
e
x

= = e 1 i
i
n
1 i
i
I i
i
A A A
Pgina 16 de 20

Un elemento x de U pertenece a la interseccin de los A
i
, si todo subconjunto A
i

perteneciente a F contiene a x. Es decir:



En otras palabras, el hecho de que x pertenezca a todos los conjuntos A
i
, conlleva a que
pertenezca a la interseccin generalizada.
Notaciones



Ejemplo

Para el ejemplo 2 del caso anterior F = {A
i
/A
i
= {1, i}, i e I} donde I = {1, 2, 3, 4, 5}

} 1 { } 5 , 1 { } 4 , 1 { } 3 , 1 { } 2 , 1 { } 1 {
5 4 3 2 1
5
1
= = = =
e =
A A A A A A A
I i i
i i




Nota: El resultado de la unin y la interseccin generalizada de una familia de
conjuntos NO ES una familia de conjuntos

Familias de Conjuntos Especiales

Conjunto de las Partes o Conjunto Potencia

Para A _ U, el conjunto potencia de A o conjunto de las partes de A, denotado como P(A),
es una familia de conjuntos formada por todos los posibles subconjuntos de A.

P(A) = {A
i
/ A
i
_ A, i e I } I = { i / i e N, i s |P(A)| }
con |P(A)| = 2
n
, donde |A| = n, n > 0
| | { } Ai x F Ai Ai / A
I i
i
e e =
e
x

= = e 1 i
i
n
1 i
i
I i
i
A A A
Pgina 17 de 20


Ejemplo
Sea A = {1, 2, 3}. Obtener P(A)
Primero con la formula sabemos |P(A)|
|P(A)|=2
|A|
= 2
3
= 8, es decir P(A) tiene 8 elementos

Debemos obtener todos los subconjuntos de A
Subconjuntos de Cardinalidad 0: C
Subconjuntos de Cardinalidad 1: {1}, {2}, {3}
Subconjuntos de Cardinalidad 2: {1, 2}, {1, 3}, {2, 3}
Subconjuntos de Cardinalidad 3: {1, 2, 3}

Por lo tanto

P(A) = {C, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}

Conjunto Particin

Para A _ U, un conjunto particin de A, denotado como [(A), es una familia de conjuntos
formada por subconjuntos de A, segn el siguiente criterio:

[(A) = { A
i
/ A
i
_ A, i e I }, tal que:

1. i [ ieI A
i
= C ] tambin se puede decir: A
i
= C ieI
2. ieI jeI [ i j A
i
A
j
= C ] , es decir, A
i
A
j
= C i,jeI, tal que i = j, es
decir, A
i
y A
j
son subconjuntos disjuntos
3.

I i
i
A A
e
=

Ejemplo
Pgina 18 de 20

Sea A = {1, 2, 3, 4, 5}, Algunas particiones que podemos sacar de A son:
1. [(A) ={{1}, {2}, {3}, {4}, {5}}
2. H(A) = {{1, 2}, {3}, {4, 5}}
3. H(A) = {{1, 3, 5}, {2, 4}}
4. H(A) = {{1, 2, 3, 4, 5}}

Nota: Reflexionar con los alumnos porque se cumple que H(A) c P(A) para cualquier
A

Producto Cartesiano de Conjuntos

El conjunto formado por la agrupacin de elementos pares, donde el primer elemento del
par siempre pertenece a un mismo conjunto A y el segundo, a un mismo conjunto B, y
adems, que contenga todas las combinaciones posibles, se llama producto cartesiano AxB


AxB = {(1, a), (1, b), (1, c), (2, a), (2, b), (2, c), (3, a), (3, b), (3, c)}

Se puede tener producto cartesiano de un conjunto A por l mismo: AxA, teniendo pares
de la forma (a
1
,a
2
), tal que a
1
, a
2
eA.

Pgina 19 de 20

AxA = {(a
1
, a
1
), (a
1
, a
2
), (a
1
, a
3
), (a
2
, a
1
), (a
2
, a
2
), (a
2
, a
3
), (a
3
, a
1
), (a
3
, a
2
), (a
3
, a
3
)}

Definicin de n-upla o n - tupla
Se define n-tupla de elementos como cualquier secuencia de n elementos ordenados,
denotada como (x
1
, x
2
,..., x
n
)

El orden es importante:
(x
1
, x
2
,..., x
n
) = (x
2
, x
1
,..., x
n
)

Para, recibe el nombre de:
n = 2 (x
1
, x
2
) dupla o par ordenado
n = 3 (x
1
, x
2
, x
3
) terna
n = 4 (x
1
, x
2
, x
3
, x
4
) cudrupla


Producto Cartesiano para el caso general

A
1
x

A
2
x ... x

A
n
= {(x
1
, x
2
,..., x
n
) / x
1
eA
1
. x
2
eA
2
. ... . x
n
eA
n
} 1

Cardinalidad del Producto Cartesiano

Si A
1
, A
2
, ..., A
n
son conjuntos finitos, entonces
| A
1
x

A
2
x ... x

A
n
| = |A
1
| x |

A
2
| x ... x |

A
n
|

Si A es finito, entonces
| A
n
| = | A

x

A

x ... x

A | = |A| x |

A| x ... x |

A| = |A|
n


Ejemplo
Sea A = {1, 2}, Calcular A
3

Pgina 20 de 20

Primero debemos tener claro que el resultado de calcular A
3
, es un conjunto que est
compuesto por ternas, y debemos saber el nmero de elementos de A
3
|A
3
| = |A|
3
= 2
3
=8

Para calcular A
3
se puede calcular A
2
xA por lo tanto
A
2
= AxA = {(1, 1), (1, 2), (2, 1), (2, 2)}
Entonces A
3
= AxAxA = A
2
x A = {(1, 1, 1), (1, 1, 2), (1, 2, 1), (1, 2, 2), (2, 1, 1), (2, 1, 2),
(2, 2, 1), (2, 2, 2)}