TEORA DE CONJUNTOS

Prof: Heriberto Quezada Moreno

CONJUNTO
Es una coleccin o clase de objetos bien definidos,
dotados de una propiedad que permita decidir (sin
ninguna ambigedad posible), si un objeto cualquiera
forma parte o no de la coleccin.

1.- Las vocales: a, e, i, o, u.
2.- Los nmeros enteros pares positivos: 2, 4, 6, ....
3.- Los equipos mexicanos de ftbol profesional
participantes en el actual campeonato nacional.

Los objetos que forman un conjunto se llaman
elementos del conjunto.
la relacin entre un elemento y un conjunto es
la de pertenencia.
Se escribe x e A
(el objeto) x pertenece a (el conjunto) A
Habitualmente los conjuntos se designan por
una letra mayscula y los elementos del
conjunto por una letra minscula y entre
parntesis de llave {}.
Los conjuntos se pueden definir por:
EXTENSIN cuando se describen exhaustivamente
(es decir, nombrando a todos y cada uno de sus
elementos, que, en tal caso, se escribiran entre
llaves)
Ejemplo: A={ Pedro, Juan, Luis, Manuel}
COMPRENSIN: Cuando se indican las caractersticas
de los elementos del conjunto o funcin
proposicional p(x) que satisfagan todos los
elementos x del conjunto definido y slo ellos,
dentro de un universo contextual relativo U.
Ejemplo: B = { nmeros pares}
C = { nmeros enteros positivos menores
de 10 }
{ } vocales x abecedario x A e e = /
CONJUNTO FINITO: Es aquel que consta de un
nmero determinado de elementos, dicho de
otra forma, si al efectuar el proceso de contar
los elementos, este proceso puede terminar.
CONJUNTO INFINITO: Cuando el conjunto
tiene un nmero indeterminado de
elementos, infinitamente grande.
CONJUNTO VACO: Es aquel conjunto que no
tiene ningn elemento. Se representa por el
smbolo C o tambin se representa como
llaves vacas {}.
SUBCONJUNTO
Se dice que un conjunto A es subconjunto de un conjunto B, o
bien que A est incluido en B si y slo si cada elemento que
pertenece a A pertenece tambin a B.
A est incluido en B y se anota A c B.
Expresado de otra forma: A c B = { x / x e A . x e B }
Ejemplo: si A = {1, 3, 5} y B = {1, 2, 3, 4, 5, 6, 7} entonces A c
B.
Si A no es subconjunto de B se escribe A . B.
SUBCONJUNTO PROPIO
Se dice que A es SUBCONJUNTO PROPIO de B si y
slo si A es subconjunto de B pero B es distinto de A,
lo que a veces se denota por A c B, sin la barrita
inferior que representa la igualdad de conjuntos.
A c B y A = B
En alguna bibliografa se acostumbra a designar un
subconjunto propio como
A c B
Y un subconjunto como A _ B
CONJUNTOS IGUALES: Dos conjunto A y B son
iguales ( A = B) si
x eA x eB . x eB x eA
se verifica que A _ B . B _ A.
Simbologa:
= Para todo elemento.
. = Y
= O

prueba por doble inclusin.
Para probar que dos conjuntos son iguales,
ser siempre necesario probar que cada uno
de ellos est contenido en el otro (dos
pruebas).
COMPARABILIDAD
Dos conjuntos A y B se dicen comparables si:
A c B o B c A
Esto es si uno de los conjuntos es subconjunto del
otro.
En cambio dos conjuntos C y D no son comparables si
C . D y D . C
Ntese que si C y D no son comparables, entonces
hay un elemento de C que no est en D y hay algn
elemento de D que no est en C.
CONJUNTO DE CONJUNTOS
Hay ocasiones en que los elementos de un
conjunto son a su vez tambin conjuntos, por
ejemplo el conjunto de todos los subconjuntos
de A . Para evitar decir conjunto de conjuntos
se suele decir familia de conjuntos o clase de
conjuntos, y para evitar mayor confusin, se
emplean letras de tipo ingls.
A B C D

CONJUNTO UNIVERSAL
Es aquel conjunto del que son subconjunto
toda una familia de conjuntos. Se denota con
la letra U
Si U es el conjunto Universo de A, B, C, y D,
entonces ( = para todo elemento)
x e A x eU,
y e B y eU,
z e C z eU,
u e D u eU,
CONJUNTO POTENCIA: Conjunto potencia de S se
denomina a la familia de todos los subconjuntos de S, y
se denomina por 2
S
.

Ejemplo: Si F = { 1, 2} entonces 2
F
= { {1, 2}, {1}, {2}, C }
Ejercicio: Si M={1, 2,3} entonces 2
3
= 8 elementos


CONJUNTOS DISJUNTOS: Son aquellos conjuntos que no
tienen ningn elemento en comn.
Por ejemplo: E = {1, 3, 5} y G = {2, 4, 6 }

son conjuntos disjuntos.
Es la forma sencilla e instructiva para poder representar los
conjuntos y las relaciones que se producen entre ellos. En
ellos se representan habitualmente los conjuntos por un rea
plana, por lo general delimitada por un crculo.

B = { b, c, d}
B
A = { a, b, c, d, e}
B c A
DIAGRAMAS DE VENN EULER:
Operaciones con conjuntos
UNIN
La unin de dos conjuntos A y B es el conjunto de todos
los elementos que pertenecen a A o a B o a ambos., y se
representa por
A U B
A U B = {x / x e A v x e B} .
Ejemplo: Sean los conjuntos A = { 1, 2, 3, 4 } y B = {3, 4,
5, 6}, entonces la unin A U B se representa
grficamente por el diagrama de Venn
INTERSECCIN
La interseccin de dos conjuntos A y B ( A B ) es el
conjunto de todos los elementos comunes a A y a B al
mismo tiempo.
A B = {x / x e A . x e B}
Ejemplo: Si tomamos los mismos conjuntos
A = { 1, 2, 3, 4 } entonces la Interseccin de A y B es A
B = { 3, 4 } y se representa grficamente mediante
el diagrama de Venn
DIFERENCIA
La diferencia entre los conjuntos A y B ( A B ) o ( A
\ B ) es el conjunto de todos los elementos que
pertenecen a A pero no pertenecen a B
A B = A \ B = {x / x e A . x e B}
Ejemplo: Utilizando los conjuntos A = { 1, 2, 3, 4 } y
B = {3, 4, 5, 6} entonces la diferencia de A y B es A -
B = { 1, 2 } y se representa grficamente mediante el
diagrama de Venn
COMPLEMENTO
El complemento de un conjunto A es el conjunto de
todos los elementos que no pertenecen a A , pero s
pertenecen a l Universo. En otras palabras es la
diferencia entre el conjunto Universo y el conjunto A.
Se representa por A = A
c
y es igual a U A
Representado en un diagrama de Venn, se tiene:
DIFERENCIA SIMTRICA
Es el conjunto formado por todos los
elementos que pertenecen a A o a B pero no a
ambos.
A A B = ( A B ) U ( B A )
= ( A U B ) ( A B)
ALGUNAS RELACIONES
A A A = C
A A C = A
A A U = A
c
A A B = B A A
( A A B )
c
= ( A U B )
c
U ( A B)
( A A B ) A C = A A ( B A C )
CARDINALIDAD DE CONJUNTOS
Sea un conjunto A en un universo U con una
cantidad determinada de elementos (finito
numerable).

Se define la Cardinalidad de A como la cantidad de
elementos distintos del conjunto A. Se anotar
n(A) o tambin #(A).
Producto Cartesiano
Si tenemos los conjuntos A={a, b} y B={c, d, f},
el producto cartesiano A x B ( en este orden)
es el conjunto de todos los posibles pares
ordenados, tales que la primera componente
del par ordenado es un elemento de A y la
segunda componente es un elemento de B.
A x B = {(x, y)| x e A, y e B}
A x B = {(a, c), (a, d), (a,f) , (b,c) , (b,d) , (b,f)}
Propiedades Axiomticas
n() = 0
A = B n(A) = n(B);
A _ B n(A) n(B)
AB = n(AUB) = n(A) + n(B)
Propiedades Algebraicas

n(AUB) = n(A) + n(B) n(AB)
n(AC) = n(U) n(A)
n(A B) = n(A) n(AB)
Algebra de conjuntos
Leyes Idempotentes
Dado cualquier conjunto A en un universal arbitrario U, se
verifica:
1. A A = A
2. A A = A

Leyes Conmutativas
Dados dos conjuntos A y B de un universal arbitrario U, se
verifica:
1. A B = B A
2. A B = B A
Leyes Asociativas
Dados tres conjuntos A, B y C de un universal
arbitrario U, se verifica:
1. A (B C) = (A B) C
2. A (B C) = (A B) C
Leyes Distributivas
Dados tres conjuntos A, B y C de un conjunto
universal arbitrario U, se verifica:
1. A (B C) = (A B) (A C)
2. A (B C) = (A B) (A C)
Leyes de Identidad
Dado un conjunto cualquiera de un universal arbitrario U, se
verifica:
1. A = A
2. A U = U
3. A =
4. A U = A

Ley Involutiva
Dado un conjunto cualquiera A de un universal U, se verifica:
(A
c
)
c
= A
Leyes del Complemento
Dado un conjunto cualquiera A de un universal arbitrario U, se
verifica:
1. A A
c
= U
2. U
c
=
3. A A
c
=
4.
c
= U
Leyes de De Morgan
Dados dos conjuntos A y B en un universal U, se verifica:
1. (A B)
c
= A
c
B
c

2. (A B)
c
= A
c
B
c

Otras relaciones entre Conjuntos

A A = C
A ( B C ) = ( A B) ( A C)
A ( B C ) = ( A B) ( A C)
A _ A
( A _ B ) . ( B _ C ) A _ C
( A _ B ) . ( B _ A ) A = A
( A _ B ) A B = B A B = A
( A _ B ) A B = C
Encuestas
Diagrama de Venn para una encuesta con 2
opciones
Problema de Encuestas
En una academia se realiza una encuesta a 120
jovencitas y se obtienen los siguientes datos:
80 quieren ser actrices;
70 quieren ser cantantes, y
50 quieren ser actrices y cantantes.

Determine cuntas de ellas:

no quieren ser cantantes
no quieren ser actrices
cantantes, pero no actrices
actrices, pero no cantantes
ni actrices ni cantantes
| A |
| C |
| C |
| A C |
| A |
| C - A |
| A - C |
| ( A U C ) |
Desarrollo
50
A C
30 20
20
no quieren ser cantantes
no quieren ser actrices
cantantes, pero no actrices
actrices, pero no cantantes
ni actrices ni cantantes
| C |=
| A |=
| C - A |=
| A - C |=
| ( A U C ) |=
50
40
20
30
20
Encuestas
Diagrama de Venn para una encuesta con 3
opciones
Demostrar que el conjunto es vaco
(A U B)
c
(C U B
c
)
c

( A
c
B
c
) ( C
c
( B
c
)
c
)
( A
c
B
c
) ( C
c
B )
A
c
B
c
C
c
B
A
c
C
c
B B
c

A
c
C
c
( B B
c
)
( A
c
C
c
) C
C
Complemento
Ley de DeMorgan
Asociatividad
Conmutatividad
Asociatividad
Complemento
Identidad
Demostrar que el conjunto es vaco
A [B
c
U (C A
c
)
c
]
c

A {(B
c
)
c
[(C A
c
)
c
]
c
}
A { B (C A
c
) }
A B C A
c

B C A
c
A
( B C ) ( A
c
A )
( B C ) C
C
Complemento
Ley de DeMorgan
Asociatividad
Conmutatividad
Asociatividad
Complemento
Identidad
Demostrar que:
( A C ) U ( B C) = A U B C
( A C
c
) U (B C
c
) =

( A U B ) C
c
=

( A U B ) C A U B C

Definicin
Distribucin
Definicin
Ejercicio 1
1. Expresa por enumeracin los siguientes
conjuntos:
P= {x }
T={ }
B= , x es par}
2. De los conjuntos anteriores construye los
diagramas de Venn
a) b) c)

5 5 | s < e a Z a
12 | < e x N
12 | { < e x N x
B P
B T P B P T
Ejercicio 2
1) Una encuesta sobre 500 personas revel los siguientes
datos acerca del consumo de dos productos A y B :
o 138 personas consuman A pero no B.
o 206 personas consuman A y B.
o 44 personas no consuman ni A ni B.
1. Cuntas personas consuman A?
2. Cuntas personas consuman B?
3. Cuntas personas consuman B pero no A?
4. Cuntas personas consuman por lo menos uno de los dos
5. productos?

Ejercicio 3
Sobre un grupo de 45 alumnos se sabe que:
16 alumnos leen novelas.
18 alumnos leen ciencia ficcin.
17 alumnos leen cuentos.
3 alumnos leen novelas, ciencia ficcin y cuentos.
1 alumno lee slo cuentos y ciencia ficcin.
8 alumnos leen slo cuentos.
4 alumnos leen slo novelas y ciencia ficcin.
Cuntos alumnos leen slo ciencia ficcin?
alumnos.Cuntos alumnos no leen ni novelas, ni cuentos ni
ciencia ficcin?
Ejercicio 4
Se presentan 44 solicitudes para cubrir los puestos
que ofrece una empresa industrial de automviles.
De entre los solicitantes hay 29 Ingenieros
Mecnicos, 19 Ingenieros Qumicos, 6 Ingenieros
Mecnicos y Elctricos, 8 Ingenieros Qumicos y
Elctricos, 9 Ingenieros Mecnicos y Qumicos, y 1
que tiene triple titulacin, es decir, hay 1 que es
Ingeniero Mecnico, Ingeniero Qumico y tambin
Ingeniero Elctrico. Cuntos Ingenieros Elctricos
han presentado solicitud?