TEORA DE CONJUNTOS

1. CONJUNTOS
Se entiende por conjunto a una coleccin, agrupacin o reunin de
objetos llamados elementos, y que puede ser determinado ya sea:
a) Por extensin: cuando sus elementos estn dados uno a uno, de
manera explcita.
b) Por comprensin: cuando existe una propiedad o condicin que es
comn a todos los elementos, de tal manera que al considerar cualquier
objeto existente dentro de un contexto de estudio, se pueda establecer
sin dudar si es o no un elemento de tal coleccin.
1.1. NOTACIN
Para representar a los conjuntos se utilizan letras maysculas
A,B,C,D,...,y para representar a sus elementos se usan letras minsculas a,b,c,d,..., entre un par de llaves.
1.2. EJEMPLO
Sea A el conjunto formado por los nmeros positivos impares
menores que 11, entonces se pude representar al conjunto A
a) Por extensin: A = f1; 3; 5; 7; 9; 11; 13; 15g
b) Por comprensin: A = fx= x es un nmero positivo impar menor que 17g
y se lee "A es el conjunto de los x tales que x es un nmero impar
positivo menor que 17".
1.3. NOTACIN
Si un objeto x es un elemento de un conjunto A se dice que "x
pertenece al conjunto A", tambin que "x est en el conjunto A"
y se denota por x 2 A. En el caso de no pertenecer x al conjunto
A se denota por x 2
= A.
1.4. OBSERVACIN 1
Es importante saber que un conjunto tambin puede ser un elemento de otro conjunto; por ejemplo, si consideramos los conjuntos A = f1; 2g y B = f1; 3; 5; f1g ; f2g ; f1; 2g ; f1; 2; 3gg, entonces
2 2 A, A 2 B y 2 2
= B.
1

1.5. OBSERVACIN 2
La relacin de pertenencia (2) tiene sentido si es de elemento a
conjunto.
1.6. CONJUNTOS PARTICULARES
a) Un conjunto A es llamado conjunto nito si A posee un
nmero nito de elementos. Adems, el nmero de elementos
de un conjunto nito es llamado el cardinal del conjunto
y es denotado por #A.
b) Un conjunto A es llamado conjunto innito si A posee un
nmero innito de elementos.
c) Un conjunto nito con un solo elemento es llamado conjunto
unitario.
d) Un conjunto sin elementos se llama conjunto vaco y es denotado por fg.
e) El conjunto que contiene a todos los elementos que estn siendo
considerados en un estudio ( contexto particular) es llamado
conjunto universal o universo. Cuando se especica el
conjunto universal, los elementos de cualquier conjunto que
se considere en el estudio son tambin elementos del conjunto
universal, y cualquier otra cosa que no pertenezca al conjunto
universal deja de existir.
2. INCLUSIN DE CONJUNTOS
Sean A y B conjuntos, se dice que A est includo en B ( "A es
subconjunto de B" "A est contenido en B" ) si todo elemento de
A es tambin elemento de B. Si A est includo B se denotar por
A B.
Formalmente, esta denicin se simboliza como sigue:
A

B () [8x 2 A; x 2 B]

o equivalentemente
A

B () [8x 2 A; (x 2 A =) x 2 B)] .

(1)

La denicin formal indica el camino a seguir para demostrar que un

conjunto A sea subconjunto de algn conjunto B.
2

De la misma denicin se sigue que es suciente que exista al menos un

elemento A que no sea elemento de B para que A no sea subconjunto
de B, si este es el caso se denotar por A * B
2.1. EJEMPLO 1
Si A = f1; 5; 7; 9; 13g y B = f1; 3; 5; 7; 9; 11; 13; 15g entonces A
B. En efecto, por simple inspeccin se observa que todo elemento
de A es tambin elemento de B.
2.2. EJEMPLO 2
Si A = fx=x es un humanog y B = fx=x es un ser vivog entonces
A
B. Sabemos que todo ser humano es tambien un ser vivo,
esto quiere decir que A B.
2.3 DEFINICIN
En el caso que A B, si el conjunto B tiviera uno o ms elementos
que no estuvieran en A, se dice que A es subconjunto propio
de B. Siendo este el caso lo denotaremos por A B:
2.4. OBSERVACIN 1
La relacin de inclusin de conjuntos ( ) tiene sentido si ella se
da entre conjuntos.
2.5. OBSERVACIN 2
Dela denicin de inclusin de conjuntos se verica que, dados los
conjuntos A,B y C arbitrarios,
a) A A
b)
A
c) (A B ^ B C) =) A C:
(transitividad)

2.6. EJEMPLO 3
Para cualquier conjunto A se tiene que A
A. En efecto, para
cualquier x 2 A, la proposicin condicional que se obtiene a partir
de la funcin proposicional "x 2 A =) x 2 A" es verdadera,
pus la implicacin "p =) p" es una tautologa. Por lo tanto,
de (1), se concluye que A A.

2.7. EJEMPLO 4
Para cualquier conjunto A se tiene que
A. En efecto, como
la proposicin x 2 es falsa entonces es verdadera la proposicin
condicional "x 2 =) x 2 A". Por lo tanto, de (1), se concluye
que
A.
3

2.8. IGUALDAD DE CONJUNTOS

Dos conjuntos A y B son iguales si: A
amente. Es decir,
A = B () [A

ByB

B^B

A, simultane-

A] .

En caso contrario, se dir que A y B son distintos, lo cual es

denotado por A 6= B.
De la denicin de igualdad de conjuntos se verica que:
a) A = A
(reexividad)
b) A = B () B = A
(simetra)
c) (A = B ^ B = C) =) A = C:
(transitividad)
3. CONJUNTO POTENCIA
Dado un conjunto A, se dene el conjunto potencia ( conjunto de
partes) de A, como el conjunto conformado por todos los subconjuntos
de A. Al conjunto potencia de A lo denotaremos por P (A). Esto es.
P (A) = fX : X

Ag :

A partir de la denicin se tiene que:

X

A () X 2 P (A):

Por otro lado, de los ejemplos 3 y 4, se observa que: A 2 P (A) y

2 P (A). Esto es, para cualquier conjunto A, el conjunto P (A) no es
vaco y P (A) = f ; A; : : :g consta de al menos dos elementos.
En el caso que el conjunto A sea nito con n elementos, entonces el
conjunto P (A) tiene 2n elementos.
3.1. Ejemplo 1
Para el conjunto A = fa; bg, entonces
9
8
A
<
z }| { =
.
P (A) = fag ; fbg ; fa; bg;
;
:

3.2. Ejemplo 2
Para el conjunto A = fa; b; cg, entonces
8
9
A
<
z }| { =
P (A) = fag ; fbg ; fcg ; fa; bg ; fa; cg ; fb; cg ; fa; b; cg;
.
:
;
4

3.3. Ejemplo 3
Para el conjunto A = f ; f gg, entonces
8
9
A
<
z }| { =
P (A) = f g ; ff gg ; f ; f gg;
.
:
;

4. OPERACIONES CON CONJUNTOS

Con respecto a un conjunto universal U y a dos conjuntos A y B, se
tienen las siguientes operaciones:
4.1. UNIN DE CONJUNTOS ([)
La unin de los conjuntos A y B, es el conjunto conformado por
todos los elementos de A y por todos los elementos de B. La unin
de los conjuntos A y B es denotado por "A [ B". Esto es,
A [ B = fx 2 U : [(x 2 A) _ (x 2 B)]g .
Equivalentemente se tiene que:
x 2 (A [ B) () [(x 2 A) _ (x 2 B)] ,
siempre que x 2 U .

4.2. INTERSECCIN DE CONJUNTOS (\)

La interseccin de los conjuntos A y B, es el conjunto conformado
solamente por aquellos elementos que estn, al mismo tiempo, en
ambos conjuntos A y B. La interseccin de los conjuntos A y B
es denotado por "A \ B". Esto es,
A \ B = fx 2 U : [(x 2 A) ^ (x 2 B)]g .
Equivalentemente se tiene que:
x 2 (A \ B) () [(x 2 A) ^ (x 2 B)] ,
siempre que x 2 U .
En el caso de que no exista elemento x 2 U , tal que (x 2 A) y
(x 2 B), se dice que los conjuntos A y B son disjuntos, y esto se
acostumbra denotarlo por A \ B = .
5

4.3. COMPLEMENTO DE UN CONJUNTO (()c )

Dado el conjunto A, el complemento de A es el conjunto conformado por los elementos del universo U que no pertenecen al
conjunto A. Al complemento de un conjunto A lo denotaremos
por Ac . Esto es,
Ac = fx 2 U : x 2
= Ag .
Equivalentemente se tiene que:
x 2 Ac () x 2
= A,
siempre que x 2 U .
A partir de la denicin de complemento de un conjunto se tiene
que: no existe elemento x 2 U , tal que (x 2 A) y (x 2 Ac ). Esto
quiere decir que A y Ac son disjuntos y, por lo tanto, A \ Ac = .

4.4. DIFERENCIA DE CONJUNTOS ( ).

La diferencia de conjuntos de A respecto B, es el conjunto conformado solamente por aquellos elementos que estn A pero no estn
en B. La diferencia de conjuntos de A respecto B es denotado por
"A B". Esto es,
A

B = fx 2 U : [(x 2 A) ^ (x 2
= B)]g .

Equivalentemente se tiene que:

x 2 (A

B) () [(x 2 A) ^ (x 2
= B)] ,

siempre que x 2 U .
Al conjunto A B tambin se le suele llamar como el "complemento B respecto a A", esto es, el conjunto de elementos que le
falta al conjunto B para llegar a ser el conjunto A.
A partir de la denicin de diferencia de conjuntos se tiene que,
la diferencia de B respecto a A; est dada por:
B

A = fx 2 U : [(x 2 B) ^ (x 2
= A)]g .

Esto quiere decir que en general los conjuntos (A B) y (B A)

son distintos, esto es (A B) 6= (B A). Adems, estos conjuntos
son disjuntos, es decir (A B) \ (B A) = :
6

4.5. DIFERENCIA SIMTRICA DE CONJUNTOS (4)

La diferencia simtrica de los conjuntos A y B, es el conjunto
conformado por todos los elementos de A B y por todos los
elementos de B A. La diferencia simtrica de los conjuntos A y
B es denotado por "A4B". Esto es,
A4B = fx 2 U : [x 2 (A

B) _ x 2 (B

A)]g .

Equivalentemente se tiene que:

x 2 (A 4 B) () [x 2 (A

B) _ x 2 (B

A)] ,

siempre que x 2 U .
A partir de la denicin del conjunto A4B se tiene que:
A4B = (A

B) [ (B

A).

4.6. EJEMPLO
Sea U = f1; 2; 3; 4; 5; 9g el conjunto universo. Si A = fx2 : x 2 U g,
determine por extensin los conjuntos A y Ac .
Solucin
Ya que x 2 U , entonces x2 podra tomar los valores 1; 4; 9; 16; 25
y 49, sin embargo, como los elementos de A deben estar en el
universo U , entonces x2 podra tomar unicamente los valores 1; 4
y 9. Luego, A = f1; 4; 9g y su complemento ser Ac = f2; 3; 5g.
5. LEYES BSICAS DEL LGEBRA DE CONJUNTOS
Estas leyes para conjuntos tienen una perfecta analoga con las leyes
para proposiciones lgicas. El conjunto U representa el conjunto universal.

1a
1b
2a
2b
3a
3b
4a
4b
5a
5b
6a
6b
7a
7b
8a
8b

A
A
A
A
(
A
(
A
A
[
A
\
A
A
A
A
A
A
(Ac )c
c

[ A
=
A
\ A
=
A
[ B
=
B [ A
\ B
=
B \ A
[ B ) [ C = A [ ( B [
\ B ) \ C = A \ ( B \
( B \ C ) = ( A [ B )
( B [ C ) = ( A \ B )
[
=
A
[ U
=
U
\
=
\ U
=
A
c
[ A
=
U
\ Ac
=
=
A
U
;
Uc

9a

(A [ B)c

Ac \ B c

9b

(A \ B)c

Ac [ B c

C
C
\
[

)
)
( A [ C )
( A \ C )

10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

A
A
A
(A
A
A
A
A
A
A
A
(A
(A
(A
(A
A
A

\
[

(
(
B
B)
(B
\ (B
4 B
4 (B
4
4 A
4 U
[ B)
\ B)
B)
4 B)
B
\ (B

[
\

A
A

B )
B )

\ B
\ C)
C)
4 C)

=
=
=
=

B
B
C

4 C)

=
=
=
=
=
=
=
=
=
=
=
()
()
()
()
()
=

A
A
A

Bc

(A
B) \ (A
C)
(A \ B)
(A \ C)
B 4 A
(A 4 B) 4 C
A
Ac
A
B
B
A
A = B
(A 4 C) = B
Bc
Ac
(A \ B) 4 (A \ C)

6. GUA DE EJERCICIOS
1:

Describa por extensin los conjuntos:

a) A = fx 2 N : 3 < x + 4
b) B = fx 2 Z :

c) C = fx 2 R : x2

5x + 7
x

15g
32g

2 = 4g

d) D = fx 2 R : x2 + 8 = 4g

2: Sean los conjuntos A=fx : x es una letra de la palabra aromag, B=fx : x es una letra de la pa
y C=fx : x es una letra de la palabra amorg, determine:
a) Si los conjuntos A, B y C son iguales.
b) P (B)

P (A \ B).

3: Si A = f0; 1; ; f0gg, determine el valor de verdad de las siguientes

proposiciones:
a) f0g 2 A

b) f g 2 A

e) f0g

f ) ffogg

i) f0; f0gg 2 P (A)

j) f0; f0gg

c) f1g
A

g) A
P (A)

A
P (A)

k) A 2 P (A)

d) f2g

ff2gg

h)

ff2gg

l) ff0gg

4: De ejemplos de conjuntos tal que cada elemento del conjunto sea tambin
un subconjunto del conjunto.
5: Demostrar la propiedad transitiva de la relacin de inclusin de conjuntos:
[(A B) ^ (B C)] =) (A C)
6: Si los conjuntos f3a + b 9; 4ag y f5a + 2b; 4g son unitarios, determine
si el conjunto f2b + 8a 3; 5; 3a2 + bg es o no unitario.
7: Dados los conjuntos A = fx 2 N : x3 2x2 5x + 6 = 0g, B = fx 2 N : 2x2
y C = f2; 3g. Si D = (A B) [ C, determinar P (D).
8: Si A = fa; ; f gg y B = ff g ; ff ggg, cules de las siguientes proposiciones son verdaderas?:
a) [(A [ B)

(A \ B)] = fa; ; ff ggg

b) El nmero de elementos de P (A) es 8.

c) P (A) \ P (B) = f ; ff ggg
9:

Demostrar que:

a) [A

B] =) [P (A)

P (B)]

b) P (A \ B) = P (A) \ P (B)
c) [P (A) [ P (B)]

P (A [ B)

d) [B 2 P (A)] =) [A 4 B = A

B]
10

7x + 3 = 0g

e) P (A [ B) * [P (A) [ P (B)]
f ) [A \ B = ] () [A
10:

Demostrar que:

a) [(A B)
b) [(A [ B)
11:

Bc]

C] = [A
C] = [(A

(B [ C)]
C) [ (B

C)]

Demuestre todas las leyes del lgebra de conjuntos.

11