Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr.

Jos Manuel Becerra Espinosa

1

a
e
i
o
u
V
MATEMTICAS BSICAS

TEORA DE CONJUNTOS


DEFINICIN DE CONJUNTO

Un conjunto es un grupo de elementos u objetos especificados en tal forma que se puede afirmar con
certeza si cualquier objeto dado pertenece o no a la agrupacin. Para denotar a los conjuntos, se usan
letras maysculas.

Cuando un elemento
1
x pertenece a un conjunto A se expresa de forma simblica como: A x
1
. En
caso de que un elemento
1
y no pertenezca a este mismo conjunto se utiliza la notacin: A y
1


Existen cuatro formas de enunciar a los conjuntos:

1) Por extensin o enumeracin: los elementos son encerrados entre llaves y separados por
comas. Es decir, el conjunto se describe listando todos sus elementos entre llaves.

2) Por comprensin: los elementos se determinan a travs de una condicin que se establece
entre llaves. En este caso se emplea el smbolo | que significa tal que". En forma simblica es:

( ) { } { }
n
x , , x , x , x x P x A = =
3 2 1


que significa que el conjunto A es el conjunto de todos los elementos x tales que la condicin ( ) x P es
verdadera, como
3 2 1
x , x , x , etc
1
.

3) Diagramas de Venn: son regiones cerradas que sirven para visualizar el contenido de un
conjunto o las relaciones entre conjuntos
2
.

4) Por descripcin verbal: Es un enunciado que describe la caracterstica que es comn para los
elementos.

Ejemplo.
Dada la descripcin verbal el conjunto de las letras vocales, expresarlo por extensin, comprensin y
por diagrama de Venn.

Solucin.
Por extensin: { } u , o , i , e , a V =
Por comprensin: { } vocal una es x x V =
Por diagrama de Venn:






1
La notacin ( ) x P no representa un producto, es una condicin que deben satisfacer los elementos para pertenecer a un
conjunto.
2
En el caso particular de que un conjunto tenga un slo elemento numrico, a menos de que se haga la distincin, no representa el
nmero de elementos que posee el conjunto.
Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr. Jos Manuel Becerra Espinosa
2

Ejemplo.
Expresar de las tres formas al conjunto de los planetas del sistema solar.

Solucin.
Por extensin: { } Plutn , Neptuno , Urano , Saturno , Jpiter , Marte , Tierra , Venus , Mercurio P =
Por comprensin: { } solar sistema del planeta un es x x P =
Por diagrama de Venn:

Mercurio
Venus
Tierra
Marte
Saturno
Urano
Neptuno
Jpiter
Plutn
P



Si cada elemento de un conjunto A es tambin un elemento del conjunto B , se dice que A es un
subconjunto de B . La notacin B A significa que A est incluido en B y se lee: A es subconjunto
de B o A est contenido en B .

Si no todos los elementos de un conjunto A son elementos del conjunto B , se dice que A no es
subconjunto de B . En este caso la notacin B A significa que A no es un subconjunto de B .

Grficamente, esto es:





En los ejemplos anteriores, si { } o , e , a F = es el conjunto de las vocales fuertes y
{ } Venus , Mercurio S = es el conjunto de planetas que no poseen satlites, entonces se cumple que:
V F y que P S . De la misma forma, ntese como: P F , V S , S F y F S .

La cardinalidad de un conjunto se define como el nmero de elementos que posee. Se denota por medio
de los smbolos o # .
De los conjuntos anteriores: ( ) 5 = V , ( ) 3 = F , ( ) 9 = P y ( ) 2 = S .
A
B
A B
B A

A B
B A

A B
B A

A
B
A
B
Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr. Jos Manuel Becerra Espinosa
3

CONJUNTOS CON NOMBRES ESPECFICOS

Un conjunto vaco o nulo es aquel que no posee elementos. Se denota por: o bien por { }. El
conjunto vaco siempre forma parte de otro, as que es subconjunto de cualquier conjunto.

Ejemplos.
{ } actualidad la en viven que s dinosaurio los son x x =
{ } { } aos de mayores bres hom los son x x 300 =
{ } cero que menores positivos nmeros son x x =

Un conjunto universal es aquel que contiene a todos los elementos bajo consideracin. Se denota por
U . Grficamente se le representar mediante un rectngulo.

Ejemplos.
{ } { } domingo , sbado , viernes , jueves , mircoles , martes , lunes semana la de das los son x x U = =
{ } { } viernes , jueves , mircoles , martes , lunes inglesa semana la de das los son x x A = =
{ } { } domingo , sbado semana de fin del das los son x x B = =
{ } { } sbado , jueves , martes , lunes letras siete de menos con semana la de das los son x x C = =
Ntese cmo: U C , U B , U A

Un conjunto finito es aquel cuyos elementos pueden ser contados.

Ejemplos.
{ } junio de mes del da un de nmero el es x x J =
{ } 4
2
= = x x K
{ } Mxico de ciudad la en autos de cantidad la es x x L =

Un conjunto infinito es aquel cuyos elementos no pueden ser contados, es decir, su cardinalidad no
est definida.

Ejemplos.
{ } = , , , , , , N 11 9 7 5 3 1
{ } = , , , , , , M 12 10 8 6 4 2
{ } lnea una en puntos de cantidad la es x x Q =

Dos conjuntos son iguales si tienen exactamente los mismos elementos. Se denota por el smbolo = .

Ejemplo.
{ } 0 9 8 7 6 5 4 3 2 1 , , , , , , , , , R =
{ } dgito un es x x S =
S R =

Dos conjuntos son desiguales si por lo menos difieren en un elemento, es decir, si no tienen
exactamente los mismos elementos. Se denota por el smbolo .

Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr. Jos Manuel Becerra Espinosa
4

Ejemplo.
{ } 9
2
= = x x D
{ } 2 2, E =
E D

Dos conjuntos son equivalentes si tienen la misma cantidad de elementos, es decir, si poseen la
misma cardinalidad. Se denota por el smbolo .

Ejemplos.
{ } ao del estaciones las son x x W =
{ } cardinal punto un es x x Z =
( ) 4 = W
( ) 4 = Z
Z W

Cuando los conjuntos son equivalentes existe una correspondencia uno a uno o biunvoca. Esto significa
que se puede establecer una relacin que asocie a cada elemento del primer conjunto con un nico
elemento del segundo conjunto sin que sobren elementos en ningn conjunto.

En el ejemplo anterior:

Primavera
W Z
Verano
Otoo
Invierno
Norte
Sur
Este
Oeste




OPERACIONES CON CONJUNTOS

La unin de los conjuntos A y B es el conjunto de todos los elementos de A con todos los
elementos de B sin repetir ninguno y se denota como B A . Esto es:

{ } B x o A x x B A =

Grficamente:
Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr. Jos Manuel Becerra Espinosa
5

B A
A B
U


Ejemplo.
{ } sanda , manzana , naranja , uva , ciruela , mango A =
{ } pltano , sanda , naranja , uva , meln , durazno B =
{ } o tan pl , meln , durazno , sanda , manzana , naranja , uva , ciruela , mango B A =

La interseccin de los conjuntos A y B es el conjunto de los elementos de A que tambin
pertenecen a B y se denota como B A . Esto es:

{ } B x y A x x B A =

Grficamente:

B A
A B
U


Ejemplo.
{ } sanda , manzana , naranja , uva , ciruela , mango A =
{ } pltano , sanda , naranja , uva , meln , durazno B =
{ } sanda , naranja , uva B A =

Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr. Jos Manuel Becerra Espinosa
6

Dos conjuntos son ajenos o disjuntos cuando su interseccin es el conjunto vaco, es decir, que no tienen
nada en comn. Por ejemplo:
{ } sanda , manzana , naranja , uva , ciruela , mango A =
{ } cereza , mandarina , pera , fresa limn, E =
= E A

El complemento del conjunto A con respecto al conjunto universal U es el conjunto de todos los
elementos de U que no estn en A y se denota como ' A . Esto es:

{ } A x U x ' A =

Grficamente:

U
' A
A


Ejemplo.
{ } pltano , meln limn, , durazno , sanda , manzana , cereza , naranja , pera , uva , ciruela , kiwi , mango U =
{ } sanda , manzana , naranja , uva , ciruela , mango A =
{ } pltano , meln limn, , durazno , cereza , pera , kiwi ' A =

En este ejemplo se puede notar como ( ) ( ) ( ) U ' A A = +

De esta definicin, se puede advertir que se cumplen las siguientes expresiones:

( ) A ' ' A =
U ' =
= ' U

La diferencia de los conjuntos A y B (en ese orden) es el conjunto de los elementos que
pertenecen a A y no pertenecen a B y se denota como B A . Esto es:

{ } B x y A x x B A =

Grficamente:
Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr. Jos Manuel Becerra Espinosa
7

U
B A
A B


Ejemplo.
{ } sanda , manzana , naranja , uva , ciruela , mango A =
{ } pltano , sanda , naranja , uva , meln , durazno B =
{ } manzana , ciruela , mango B A =
{ } pltano , meln , durazno A B =

Se puede advertir como A B B A .

Del diagrama de Venn anterior se deducen las siguientes expresiones:

' B A B A =
B A : s slo y s , B A =
B A : s slo y s , A B B A = =
= = B A : s slo y s , A B A
( ) A B A
A A =
' A ' B B A =
Los conjuntos A B , B A , B A son mutuamente ajenos (su interseccin es el conjunto vaco).

Ejemplo.
Sean los conjuntos:
{ } n , m , l , k , j , i , h , g , f , e , d , c , b , a U =
{ } n , l , k , h , g , e , d , a A =
{ } m , l , k , g , f , c , a B =
Obtener:
a) B A b)
B A
c) ' A
d) ' B e) B A f) A B
g) B ' A h) ' B A i) ' B ' A
j) ' B ' A k) ( )' B A l) ( )' B A

Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr. Jos Manuel Becerra Espinosa
8

Solucin.
a) { } n , m , l , k , h , g , f , e , d , c , a B A = b) { } l , k , g , a B A =
c) { } m , j , i , f , c , b ' A = d) { } n , j , i , h , e , d , b ' B =
e) { } n , h , e , d B A = f) { } m , f , c A B =
g) { } m , l , k , j , i , g , f , c , b , a B ' A = h) { } n , h , e , d ' B A =
i) { } j , i , b ' B ' A = j) { } m , f , c ' B ' A =
k) ( ) { } j , i , b ' B A =
l) ( ) { } n , m , j , i , h , f , e , d , c , b ' B A =

De acuerdo con las definiciones de unin, complemento y diferencia, se puede establecer que sus
respectivas cardinalidades se pueden obtener a travs de:

( ) ( ) ( ) ( ) B A B A B A + =

( ) ( ) ( ) A U ' A =

( ) ( ) ( ) B A A B A =


Ejemplo.
En una unidad habitacional viven 120 familias y se sabe que 70 de ellas tienen automvil, que 30
poseen un reproductor de DVD y que 17 tienen ambas cosas. Se desea conocer: a) cuntas familias
tienen exclusivamente automvil?, b) cuntas familias son dueos exclusivamente de un reproductor
DVD, c) cuntas familias son propietarias de un automvil o de un reproductor DVD?, y d) cuntas
familias no poseen ni automvil ni reproductor DVD?

Solucin.
Identificando los datos por su cardinalidad:
Nmero de familias del conjunto universal,
( ) 120 = U

Nmero de familias con automvil,
( ) 70 = A

Nmero de familias con reproductor DVD,
( ) 30 = D

Nmero de familias con automvil y con reproductor DVD,
( ) 17 = D A


U
A
D
17 30 17 70
17
( )' D A


Del diagrama en donde se muestran el nmero de elementos de los conjuntos se aprecia que:
Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr. Jos Manuel Becerra Espinosa
9

a) El nmero de familias que exclusivamente tienen automvil es:
( ) ( ) 53 17 70 = = D A A

b) El nmero de familias que son dueos exclusivamente de un reproductor DVD es:
( ) ( ) 13 17 30 = = D A D

c) El nmero de familias que son propietarias de un automvil o de un reproductor DVD es:
( ) B A
,
as que: ( ) ( ) ( ) ( ) 83 17 30 70 = + = + = D A D A D A
d) El nmero de familias que no poseen ni un automvil ni un reproductor DVD es: ( )' B A , por lo que:
( ) ( ) ( ) 37 83 120 = = = D A U ' D A


PROPIEDADES DE LOS CONJUNTOS

Sean los conjuntos C , B , A dentro del universo U . Las seis propiedades que rigen las operaciones con
esos conjuntos son las siguientes:

1. Propiedades de identidad:

A A =
U U A =
A U A =
= A

2. Propiedades de idempotencia:

A A A =
A A A =

3. Propiedades de complemento:

U ' A A =
= ' A A

4. Propiedades asociativas:

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

5. Propiedades conmutativas

A B B A =
A B B A =

6. Propiedades distributivas

( ) ( ) ( ) C A B A C B A =
( ) ( ) ( ) C A B A C B A =
Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr. Jos Manuel Becerra Espinosa
10

LEYES DE DMORGAN

Estas leyes establecen los complementos de la unin e interseccin entre conjuntos:

Primera ley. El complemento de la unin de dos conjuntos es la interseccin de sus complementos.

( ) ' B ' A ' B A =

( )' B A ' B ' A
=
U U
A B A B


En el diagrama de la izquierda, B A viene dada por la regin en blanco y ( )' B A est representado
por el rea sombreada verticalmente. Por su parte en el diagrama de la derecha, ' A es la regin
sombreada horizontalmente, ' B es el rea sombreada verticalmente, por lo que ' B ' A est
representado por la superficie cuadriculada. Las regiones resultantes son iguales.

Segunda ley. El complemento de la interseccin de dos conjuntos es la unin de sus complementos:

( ) ' B ' A ' B A =

( )' B A ' B ' A
=
U U
A B A B

Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr. Jos Manuel Becerra Espinosa
11

En el diagrama de la izquierda, B A est dada por la regin sombreada horizontalmente y ( )' B A
est representado por el rea sombreada verticalmente. Por su parte, en el diagrama de la derecha, ' A
es la regin sombreada horizontalmente, ' B es el rea sombreada verticalmente, por lo que ' B ' A est
representado por la superficie que no es blanca. Las regiones resultantes son iguales.

Ejemplo.
Dados los siguientes conjuntos:
{ } 12 11 10 9 8 7 6 5 4 3 2 1 , , , , , , , , , , , U =
{ } 11 9 7 4 3 1 , , , , , A =

{ } 12 11 9 7 5 2 1 , , , , , , B =
Comprobar las leyes de DMorgan:

Solucin.
{ } 12 11 9 7 5 4 3 2 1 , , , , , , , , B A =
{ } 11 9 7 1 , , , B A =

{ } 12 10 8 6 5 2 , , , , , ' A =
{ } 10 8 6 4 3 , , , , ' B =

( ) { } ( ) 1 10 8 6 _ , , ' B A =
{ } ( ) 2 10 8 6 _ , , ' B ' A =
Como ( ) ( ) ( ) ' B ' A ' B A = = 2 1
( ) { } ( ) 3 12 10 8 6 5 4 3 2 _ , , , , , , , ' B A =
{ } ( ) 4 12 10 8 6 5 4 3 2 _ , , , , , , , ' B ' A =
Como ( ) ( ) ( ) ' B ' A ' B A = = 4 3


PRODUCTO CARTESIANO DE DOS CONJUNTOS Y SU GRFICA

Uno de los principios bsicos para hacer un anlisis matemtico es el concepto de parejas ordenadas:
dos objetos, personas, smbolos o cosas mencionados en un orden definido por su posicin, es decir,
primero uno y luego el otro. Si este orden cambiara, es decir, primero el otro y luego el uno, se tendr
como resultado una nueva pareja ordenada y diferente a la inicialmente considerada.

La simbologa matemtica que se utiliza para representar una pareja ordenada es escribir dentro de un
parntesis, la primera componente separada por una coma de la segunda componente, por ejemplo:
( ) y , x es la pareja ordenada, en donde x es la primera componente y y es la segunda componente.

El producto cartesiano de dos conjuntos A y B es el conjunto de todos los posibles pares ordenados
que se forman eligiendo como primera componente a un elemento que pertenezca a A , y como segunda
componente a un elemento que pertenezca a B .

El producto cartesiano se denota de la siguiente forma: B A y se lee A cruz B .

( ) { A x y , x B A = y } B y

La definicin anterior expresa que el producto cartesiano de los conjuntos A y B , son la parejas
ordenadas ( ) y , x tal que x pertenece al conjunto A y y pertenece al conjunto B .
Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr. Jos Manuel Becerra Espinosa
12

Ejemplo.
Obtener el producto cartesiano B A de los siguientes conjuntos:
{ } 3 2 1 , , A =

{ } 7 6 4 2 , , , B =

Solucin.
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) { } 7 3 6 3 4 3 2 3 7 2 6 2 4 2 2 2 7 1 6 1 4 1 2 1 , , , , , , , , , , , , , , , , , , , , , , , B A =

El nmero de parejas ordenadas que resultan de un producto cartesiano se obtiene multiplicando sus
cardinalidades. En el ejemplo anterior,
( ) 3 = A
y
( ) 4 = B
, el nmero de parejas ordenadas es:
( )( ) 12 4 3 =
.

El producto cartesiano no es conmutativo. Esto significa que A B B A , a menos que B A = .

Ejemplo.
Obtener el producto cartesiano A B dados los mismos conjuntos anteriores:
{ } 3 2 1 , , A =

{ } 7 6 4 2 , , , B =

Solucin.
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) { } 3 7 2 7 1 7 3 6 2 6 1 6 3 4 2 4 1 4 3 2 2 2 1 2 , , , , , , , , , , , , , , , , , , , , , , , A B =
A B B A

Ejemplo.
Dados los siguientes conjuntos:
{ } sanda , uva , mango P =
{ } limn , tuna , ciruela , pia , meln Q =
obtener los productos cartesianos Q P y P Q .
Solucin.
( ) ( ) ( ) ( ) ( ) { , limn , mango , tuna , mango , ciruela , mango , pia , mango , meln , mango Q P =
( ) ( ) ( ) ( ) ( ), limn , uva , tuna , uva , ciruela , uva , pia , uva , meln , uva
( ) ( ) ( ) ( ) ( )} limn , sanda , tuna , sanda , ciruela , sanda , pia , sanda , meln , sanda
( ) ( ) ( ) { , sanda , meln , uva , meln , mango , meln P Q =
( ) ( ) ( ), sanda , pia , uva , pia , mango , pia
( ) ( ) ( ), sanda , ciruela , uva , ciruela , mango , ciruela
( ) ( ) ( ), sanda , tuna , uva , tuna , mango , tuna
( ) ( ) ( )} sanda limn, , uva limn, , mango limn,

Un sistema de dos ejes coordenados o plano cartesiano, se define como el conjunto de todas las parejas
ordenadas de nmeros reales, que corresponden en s al producto cartesiano R x R.

Un sistema de ejes coordenados se construye haciendo que dos lneas rectas se corten
perpendicularmente en un punto llamado origen, quedando el plano dividido en cuatro regiones llamadas
cuadrantes. Al eje horizontal se le conoce como eje x y al eje vertical como eje y .

Esto se representa de la siguiente forma:
Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr. Jos Manuel Becerra Espinosa
13

x 1 4 3 2 5 -1 -2 -3 -4 -5
Cuadrante I
(+, +)
1
2
3
4
5
y
-1
-2
-3
-4
-5
Cuadrante IV
(+, -)
Cuadrante III
(-, -)
Cuadrante II
(-, +)


Dado que el conjunto R x R son todas las parejas ordenadas ( ) y , x de un plano cartesiano, se tiene que:

R
2
=R x R
( ) { = x y , x
R y y R }

En una pareja ordenada ( ) y , x , a x se le da el nombre de abscisa y a y , el nombre de ordenada. Estos
valores sirven para localizar un punto en el plano cartesiano, y se les llama coordenadas de un punto,
que se escribe como ( ) y , x P .

A cada pareja ordenada de este producto cartesiano le corresponde uno y slo un punto sobre el plano
cartesiano, y a cada punto del plano cartesiano le corresponde una y slo una pareja ordenada. A esto se
le llama correspondencia biunvoca.

Ejemplo.
Ubicar en el plano cartesiano los siguientes puntos:
( ) 4 2
1
, P
, ( ) 5 4
2
, P ,
( ) 2 3
3
, P
, ( ) 4 3
4
, P

x
1 4 3 2 5 -1 -2 -3 -4 -5
P
3
(-3,-2)
1
2
4
5
y
-1
-2
-3
-4
-5
3
P
2
(-4,5)
P
1
(2,4)
P
4
(3,-4)

Facultad de Contadura y Administracin. UNAM Teora de conjuntos Autor: Dr. Jos Manuel Becerra Espinosa
14


Ejemplo.
Dados los conjuntos { } 4 3 2 , , A = y { } 3 2 1 , , B = , obtener la grfica del producto cartesiano B A

Solucin.
El conjunto solucin a este producto cartesiano son nueve puntos discretos formado por las parejas
ordenadas: ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) { } 3 4 2 4 1 4 3 3 2 3 1 3 3 2 2 2 1 2 , , , , , , , , , , , , , , , , , B A = . Grficamente esto es:

x
1 4 3 2 5 -1 -2 -3 -4 -5
1
2
4
5
y
-1
-2
-3
-4
-5
3


Ejemplo.
Sean los conjuntos { } R = x , x x A 4 2 y { } R = y , x y B 5 2 , graficar el producto
cartesiano B A

El conjunto solucin a este producto cartesiano es una superficie plana de forma rectangular limitada
tanto en x como en y . Grficamente esto es:

x
1 4 3 2 5 -1 -2 -3 -4 -5
1
2
4
5
y
-1
-2
-3
-4
-5
3