Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TEORIA DE CONJUNTOS
Georg Cantor ( 1845-1918) fue quien prcticamente formul de manera individual la
Teora de Conjuntos a finales del siglo XIX y principios del XX. Su objetivo fue el de
formalizar las matemticas como ya se haba hecho con el Clculo cien aos antes.
En general la Matemtica tiene en su mbito el estudio de los nmeros, sucesiones
numricas, puntos, segmentos, figuras geomtricas, vectores, matrices etc.. Estos objetos
siempre es posible reunirlos de una u otra forma en una coleccin, tales colecciones las
llamaremos Conjuntos .
1.- Definicin de Conjunto: Reunin en un todo de determinados objetos bien
diferenciados en nuestra intuicin o nuestro pensamiento esta definicin se debe a Georg
Cantor, los objetos reunidos son los elementos del conjunto.
2.- Requisitos Esenciales
a) Para tener una teora de conjuntos verdaderamente utilizable y libre de paradojas es
preciso que los elementos que lo conformen estn determinados antes de que formen el
conjunto, es decir que la coleccin de objetos este perfectamente bien definida, que con
un simple si o no podamos aceptar que el elemento pertenece al conjunto.
b) Ningn elemento del conjunto se debe contar ms de una vez, en general los elementos
deben ser distintos, y si uno de ellos se repite debe contarse una sola vez
c) El orden en que se enumeren los elementos carece de importancia, aunque posteriormente
prescindiremos de este requisito para considerar otro tipo de conjuntos, en los que el orden
es importante
Una relacin entre elementos y conjuntos muy intuitiva es la pertenencia o no de un
elemento a un determinado conjunto: decimos que un elemento a pertenece a un conjunto
A si est contenido en l (simblicamente a A ), en caso contrario diremos que no
pertenece (simblicamente a A ) por ejemplo
Si A = 1,a,2,b,3 tenemos que a A, 3 A, 5 A, 0 A
Si B = x / x es un atleta de pista y campo
Para simbolizar los conjuntos emplearemos letras maysculas y para representar los
elementos emplearemos letras minsculas
A = a
A = a,b,c,d,e,. . . . . ,z
b) Por Comprensin: es decir utilizando un elemento genrico que represente a los
elementos del conjunto y una frase (conjunto de palabras) que determine su asociacin
fija de elementos que se denomina conjunto Universal y se denota por la letra U. (algunos
autores representan el conjunto universal por la letra griega (omega). Dicho conjunto U,
consta de todos los elementos a los que puede referir esa situacin. Hay que tomar en cuenta
dos situaciones para elegir el conjunto U:
a) El conjunto universal no es nico; depende del problema que se est considerando.
b) An para un mismo problema el conjunto Universal no est definido en forma nica;
podemos elegirlo a nuestra conveniencia con relativa libertad
U=
==
conjunto vaco: Aunque parezca raro, siempre habr un conjunto que no tenga elementos;
por ejemplo
A = x/x es una persona de ms de 200 aos de edad
B = y/y es un ocano de agua dulce
C = z/z es un conjunto de crculos cuadrados
D = w/w2 = -1 , w es un nmero real
Un conjunto que no posee elementos de denomina conjunto vaco o conjunto nulo y se
designa por el smbolo o por
=
Es importante advertir que es distinto de 0 y de 0 ya que es claro que :
1) es un conjunto sin elementos, el conjunto vaco
2) 0 es un nmero y no un conjunto
3) 0 es un conjunto con un solo elemento, el nmero cero
conjunto, de tal manera que si (a,b) es una pareja establecida de los conjuntos A y B, debe
ser:
i.
( aA, bB )
ii.
si (a,b) es tambin una pareja, debe ser a = a
iii.
si (a, b) es tambin una pareja debe ser b = b
por ejemplo un mesero que no sepa contar, podr resolver el problema de acomodar en la
mesa los servicios que necesita para servir una comida, le bastar con ir colocando uno por
uno, un plato para cada invitado. Despus de colocar los platos podr colocar los cubiertos
(tenedores cuchillos, cucharas), tasas, copas ,servilleta, etc. Para cada plato, resultar as una
sucesin de conjuntos coordinables entre si, tambin llamados Equivalentes
De dos conjuntos se dice que son coordinables si y slo si todos sus elementos pueden
ponerse en correspondencia biunvoca o biyectiva: la correspondencia biunvoca es aquella
en la que cada elemento del primer conjunto tiene asignado un elemento nico y exclusivo
del segundo conjunto. Todos los conjuntos que, como los descritos en el problema del
mesero, son coordinables unos con otros forman un conjunto llamado Clase de cardinalidad
La cardinalidad o nmero cardinal de un conjunto la representaremos por la notacin n(A)
NMERO DE ELEMENTOS DE UN CONJUNTO
Para cada conjunto A indicamos con el smbolo n(A) al nmero de elementos de ese
conjunto, o Cardinalidad .Por ejemplo
A = a,b,c,
n(A) = 3
B = 2,4,6,8,10 n(B) = 5
= n() = 0
numero de estrellas o de las incontables arenas del desierto del Sahara, ambos conjuntos son
finitos y por cierto el primero de ellos, es bastante pequeo: ningn poeta vio jams ms de
3000 estrellas. Tambin es muy impreciso definir un conjunto infinito cuando no se pueda
contar, ya que en la prctica resulta imposible, por ejemplo, contar el nmero de habitantes
de nuestro planeta o el conjunto de hojas de los arboles de un bosque.
Pero los conjuntos infinitos tienen una caracterstica que podemos usar para definirlos.
Consideremos por ejemplo, el conjunto N de los nmeros naturales. De ellos,
seleccionaremos los nmeros para formar el conjunto P.
N: 0
7....n...
P: 0
10 12 14 . . . 2n . . .
Desde luego notaremos que P es un subconjunto propio de N, dado que todos los nmeros
seleccionados son elementos de N, pero no todos los elementos de N pertenecen a P.
Es de notarse que el conjunto P es una parte del conjunto N, pero a pesar de ello, los
conjuntos han resultado ser coordinables: a cada elemento de un conjunto le corresponde un
elemento del otro conjunto nico y exclusivo. Por lo tanto, tenemos que declarar que ambos
tienen el mismo nmero cardinal, y que por lo tanto son infinitos. Con eso tenemos la
caracterstica que nos permitir definir la infinitud:
Un conjunto es infinito cuando es coordinado con uno de sus subconjuntos propios.
La clase de cardinalidad de un conjunto infinito se representa con el signo
n(N) =
RELACIONES ENTRE LOS CONJUNTOS
Igualdad y Desigualdad.
Se dice que dos conjuntos A y B son iguales, si y solo si poseen exactamente los mismos
elementos
A = B a = b
Debemos notar algunas consecuencias de esta relacin de igualdad
a) Es claro que no tiene importancia el orden en que se listen los elementos
A = 2,4,6,8 y B = 4,6,2,8 se tiene que A = B
b) Dos conjuntos que se hayan especificado por comprensin pueden ser iguales, aunque
las propiedades que los definen sean diferentes
D = x/x es un maestro del Departamento de Fisico-Matemticas
Q = Gerardo Rodrguez, Raymundo Martnez
Si bien los dos conjuntos tienen diferentes propiedades definitorias, ambos son iguales pues
contienen los mismos elementos.
Conforme al concepto de igualdad de conjuntos, es fcil deducir que dos conjuntos vacos
son iguales no importando como se hayan especificado.
En el caso que un conjunto posea un elemento que no pertenezca a otro, los conjuntos son
diferentes
AB
Por ejemplo:
A = 1,2,3,4 ; B = 2,3,1 ; C = 1,2,3,5 se tiene que A B , A C , B C
INCLUSION. SUBCONJUNTOS
Si todo elemento de un conjunto A es tambin elemento de un conjunto B, entonces se dice
que A es un subconjunto de B y se simboliza por A B
En smbolos A B aA a B
El smbolo es un smbolo de inclusin e indica que el elemento est incluido en o que
contiene a
Si el conjunto A no es subconjunto de B, existe al menos un elemento de A que no pertenece
a B. Esto se indica por A B, y se debe a que existe a A y a B
E smbolo indica que el elemento no est incluido en, es decir no es subconjunto.
Igualdad e inclusin.Se ha definido la igualdad entre conjuntos, expresando que dos conjuntos son iguales si y
solo si cada elemento de un conjunto es tambin un elemento del otro conjunto.
Simblicamente:
A = B es equivalente a
aA aB y
bB bA
A B
b) Si A es subconjunto de B, y existen en B elementos que no pertenezcan a A, se dice que
la relacin de inclusin es propia, y se le simboliza con:
A B
Por convencin, se acepta que el conjunto vaco es un subconjunto de cualquier otro
conjunto, en smbolos : para cualquier conjunto B, B
Propiedades de la igualdad y de la inclusin de conjuntos:
La relacin de igualdad es reflexiva, simtrica y transitiva. En efecto para tres conjuntos
cualesquiera A,B y C se tiene que:
a) A = A
propiedad reflexiva
b) A = B B = A
propiedad simtrica
c) A = B B = C A = C
propiedad transitiva
La relacin de Inclusin es reflexiva, no simtrica y transitiva
a) A A
b) Si A B no siempre B A
c) Si A B B C A C
propiedad reflexiva
propiedad no simtrica
propiedad transitiva
COMPARACION DE CONJUNTOS
Podemos comparar dos conjuntos de acuerdo a los siguientes conceptos
a) Cuando los conjuntos A y B no tienen elementos en comn
b) Cuando cada uno de los conjuntos, contiene al menos un elemento no comn con el otro
conjunto
Conjuntos Disjuntos o Ajenos:
Se dice que dos conjuntos son disjuntos, cuando no tienen elementos comunes, es decir,
cuando no existe ningn elemento que pertenezca a ambos conjuntos
A = x/x es un nmero natural par
A
Conjuntos No Disjuntos
A= a,b,c,d, B = {a,e,f,g}
Son aquellos que tienen elementos comunes
Conjuntos No Comparables:
Estos son dos conjuntos que deben tener las siguientes caractersticas
a) conjuntos distintos
b) No disjuntos
c) Ninguno es subconjunto del otro
Se presenta este caso cuando cada uno de los conjuntos contiene algunos elementos que no
pertenecen al otro, adems de los elementos comunes a ambos
Ejemplo: Los conjuntos A = {a,b,c,d} y B = {a,b,d,e} satisfacen las siguientes relaciones
AB
El conjunto A es diferente al Conjunto B
AB
El Conjunto A no es Subconjunto del conjunto B
BA
El Conjunto B no es subconjunto del conjunto A
AB
El Conjunto A es equivalente o coordinado al conjunto B
Por lo tanto los conjuntos A y B son conjuntos No Comparables
Nota: En ciertos casos los conjuntos no comparables son equivalentes, y en otros casos no
son comparables ni son equivalentes.
Resumen.
Resumiendo todas estas ideas relativas a relaciones entre conjuntos, se tiene que para dos
conjuntos cualesquiera A y B, puede darse una y slo una de las siguientes relaciones:
a)
b)
c)
d)
e)
A B pero B A
A es subconjunto propio de B
B A pero A B
B es subconjunto propio de A
A B y A B A y B son iguales
A B y B A y no tienen elementos comunes: A y B son Disjuntos
A B y B A pero tienen elementos comunes: A y B son No Comparables
2s = {X/X S}
Por induccin matemtica podremos demostrar el desarrollo del conjunto potencia, pero solo
utilizaremos una tabla para resumir el proceso general de formacin de subconjuntos de un
conjunto dado
Si un conjunto contiene k elementos de pueden formar 2k subconjuntos distintos
Conjunto
n(S)
Subconjunto de S
{a}
{a,b}
{a,b,c}
0
1
2
3
{a,b,c,d}
:
:
:
:
:
:
{a,b,c,d,.........,k}
,{a}
,{a},{b},{a,b}
,{a},{b},{c},{a,b}
{a,c},{b,c},{a,b,c}
,{a},{b},{c},{d}
{a,b},{a,c},{a,d},{b,c}
{b,d},{c,d},{a,b,c},{a,b,d}
{a,c,d},{b,c,d},{a,b,c,d}
:
:
:
..............................................
No. de
Subconjuntos
20 = 1
21 = 2
22 = 4
23 = 8
24 = 16
:
:
:
:
:
:
2k
CONJUNTO DE CONJUNTOS
Clase: es un conjunto cuyos elementos son a su vez conjuntos
Familia : es un conjunto en donde sus elementos son clases
DIAGRAMAS DE VENN
Son utilizados para ilustrar de manera sencilla y practica la relacin entre los conjuntos,
simplemente usando crculos o cualquier otra figura plana que represente a los conjuntos,
indicando con la figura la relacin que hay entre ellos.
Por ejemplo: Supongamos que A B y A B, entonces podemos representar a A y B como
cualquiera de los diagramas siguientes
DIAGRAMAS LINEALES:
Otra manera til e instructiva para representar las relaciones entre conjuntos son los
llamados diagramas lineales. Por ejemplo1: Si A B se escribe B arriba de A y se unen por
un segmento. Ejemplo 2, sea A C , B C y A B.
C
A
B
Ejemplo 2
Ejemplo 1
U
C
D
B
A
PROBLEMAS
1. Escriba en notacin conjuntista las siguientes afirmaciones:
(1)
x no pertenece a A
(4)
y es elemento de B
(2)
B no es subconjunto de A
(5)
B es subconjunto impropio de B
(3)
G no incluye a D
2. Si A = {x/3x = 12} y b = 4. Es b = A?
3. Sea P = {p,q,r} Diga cuales de las siguientes afirmaciones es correcta o incorrecta. Si
alguna es incorrecta decir porque
a) r P
b) r P
c) {r} P
d) {r} P
4. Sea U = { 0,1,2,3,4,5,6,7,8,9 }
a)
Haz una lista de los elementos que integran los conjuntos definidos por las siguientes
proposiciones
A = { x/x es menor que 5 }
B = { x/x es un nmero primo }
C = { x/x es mltiplo de 3 }
D = { x/x es un nmero par }
E = { x/x es mayor que 5 }
F = { x/x es menor que 10 }
G = { x/x es mayor que 2 }
H = { x/x = x2 }
I = { x/x = x + 1 }
J = { x/x = 2x }
c) Dibuja diagramas de Venn que representen los siguientes conjuntos de conjuntos
a) A, B b) A, D c) A, B, C
d) B, F
e) B, I
g) A, B, J
h) H,J
d) Escribe el smbolo segn corresponda
0 [ ] A, 1 [ ] B, 2 [ ] C, 3 [ ] D, 4 [ ] E , 5 [ ] F, 6 [ ] G, 7 [ ] H,
8 [ ] I, 9 [ ] J
5. Sea U = { 0,1,2,3,4,5,6,7,8,9 }
a) Encuentra la descripcin adecuada para cada uno de los siguientes conjuntos:
A = { 0,1,2,3,4,5,6,7}
B = { 0,2,4,6,8 }
C = { 1,3,5,7,9 ]
D = { 0,1,4,6,8,9 }
E = { 0,1 }
F = { 5,6,7,8,9 }
G = { 2,3,4,5,6 }
H = { 0,1,4,9 }
I = { 1,2,3 }
J = { 0,3,6,9 }
b) Indica si las siguientes descripciones son, dentro del Universo definido, correctas,
insuficientes o necesarias para el conjunto { 1,2,3,4,5}
A = { x/x 3 }
B = { x/x 0 y x 5 }
C = { x/ 0 x 6 }
D = { x/ 0 x 5 }
E = { x/ 0 x 5 }
U
A
B
C
12. Haga un diagrama lineal de los conjuntos del siguiente diagrama de Venn
OPERACIONES DE CONJUNTOS
Hasta ahora hemos utilizado la teora de conjuntos como un lenguaje. Lo hemos utilizado
como una simbologa adecuada para representar ciertos conceptos, y sus relaciones mutuas.
Ahora vamos a definir las operaciones entre conjuntos. Estas operaciones son formas
especificas de combinar conjuntos para formar otros conjuntos (propiedad de cerradura).
Constituyen un sistema lgico de construccin de nuevos conjuntos en base a conjuntos
dados. Estas operaciones y sus propiedades nos llevan a la teora de conjuntos como un
lgebra, es decir como un ente matemtico, que tiene smbolos, operaciones que se puedan
efectuar con ellos y leyes que las rigen.
OPERACIONES
DE
CONJUNTOS
Unin
Interseccin
Diferencia
Complemento
A B
AB
AB
A
Operaciones internas
Operaciones externas
{Producto Cartesiano
AB
Las operaciones indicadas son: internas, es decir generan un conjunto similar a los
conjuntos propuestos como datos : Unin, Interseccin, Diferencia y Complemento y
operaciones externas, que generan un conjunto que no est formado por elementos similares
a los de los datos, sino por pares de elementos : Producto Cartesiano
Adems, se introducirn los diagramas de Venn y las tablas de pertenencia, como
instrumento para un razonamiento ms eficiente
UNION
Dados dos subconjuntos A y B del Conjunto Universal U .La Unin es el conjunto resultante
al tomar los elementos que pertenecen a A a B o a ambos.
Definicin:
En Forma Descriptiva:
A B = { x / x A x B} = { x / x A x B }
En Diagrama:
U
A
AB
En Forma por Enumerativa:
A = { a,b,c,d}, B = { a,d,e,f}
A B = {a,b,c,d,e,f}
INTERSECCIN
Dados dos subconjuntos A y B del Conjunto Universal U. La interseccin es el conjunto
resultante al tomar los elementos que pertenecen a A y a B, es decir los elementos comunes
Definicin :
En Forma Descriptiva:
U
B
A B
En forma Enumerativa:
A = { a,b,c,d } B = {a,d,e,f}
A B = {a,d }
DIFERENCIA
Dados dos conjuntos A y B del Conjunto Universal U. La diferencia, es el conjunto
resultante al tomar los elementos que pertenecen a uno pero no le pertenecen al otro
Definicin:
En Forma Descriptiva:
AB={x/xA,xB}
En Diagrama:
U
B
A
En Forma Enumerativa:
A = { a,b,c,d}
B = {a,d,e,f}
A B = { b,c}
COMPLEMENTO
Dado un subconjunto A del conjunto Universal U. El complemento es el conjunto resultante
al tomar los elementos que no estn en A, pero si en el universo
Definicin:
En Forma Descriptiva:
A = { x / x A , x U }
En Diagrama:
U
A
A
En Forma Enumerativa:
U = { x/x sea letra del alfabeto}, A = {a,b,c,d} A = { e,f,g,. . . . .z}
PRODUCTO CARTESIANO
La operacin llamada producto cartesiano, a diferencia de las anteriores, no produce como
resultado un conjunto similar a los operandos, es decir, un conjunto formado por elementos
de U, sino de Parejas. Es el conjunto formado por todos los pares ordenados tales que el
primer componente pertenece al primer conjunto, y el segundo componente pertenece al
segundo conjunto, en ese orden
Definicin:
En forma descriptiva:
A B = { (a,b) / a A y b B }
En Diagrama:
Ejercicios:
En Primer trmino, trataremos las operaciones internas, Unin , Interseccin, Deferencia y
Complemento . Y posteriormente la operacin externa es decir el producto cartesiano
Mientras no se diga lo contrario, las operaciones entre conjuntos sern con conjuntos No
Comparables es decir : diferentes, No disjuntos y ninguno subconjunto del otro
1- Sea U = { x / x N y sea menor de 10}= {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
B = {2,3,5,7}
C = {3,6,9}
Obtener:
a) A B
b) A C
d) (A B) C
e) (A B) C
g) (A B ) C
h) (A B)
Solucin:
a)
b)
c)
d)
e)
A B = {1,2,3,4,5,7}
A C = {3}
A C = {1,2,3,4,6,9}
(A B) C = {1,2,3,4,5,7} {3,6,9} = {3}
(A B) C = {1,4} {3,6,9} =
c) A C
f) B ( A C)
i) (A ) B
f)
g)
h)
i)
2- Con los mismos conjuntos del problema anterior y aplicando las definiciones, obtenga los
siguientes conjuntos:
a) A
b) B
c) C
d) A B
e) (A C)
f) (B C)
g) (A C) B
h) A (C B)
i) (A)
j) (A B) C
REGIONES
Al trabajar con conjuntos, con las relaciones y operaciones entre ellos, es de gran utilidad
recurrir al uso de diagramas de Venn, que nos permita visualizar lo que est ocurriendo y
poder interpretar con diagramas y por medio de las regiones obtener las deducciones lgicas
correspondientes. En todo diagrama de Venn se pueden identificar varias regiones, que son
tiles para reconocer relaciones de pertenencia, y combinaciones de las operaciones
fundamentales.
Es importante recordar que en estos apuntes utilizaremos para las operaciones entre
conjuntos. Solamente conjuntos No Comparables a menos que se especifique lo contrario.
Para un subconjunto A del conjunto Universal U podemos observar las siguientes regiones
U
A
R1 = { x / x A } = A
R2 = { x / x A } = A
R1
R2
Para dos Subconjuntos A y B del conjunto universal U, podemos tener los siguientes
diagramas:
Conjuntos Disjuntos
A subconjuntos de B
B subconjunto de A
A
R2
B
R1
R3
R4
En los tres primeros diagramas solamente se observan tres regiones, nicamente en el cuarto
diagrama se observan 4 regiones esto se debe a que son conjuntos No Comparables
R1 = { x / x A y x B } = A B
R2 = { x / x A , x B } = A B
R3 = { x / x A , x B } = A B
R4 = { x / x A , x B } = A B
U
A
B
R2
R4
R6
R1
R3
R5
R7
R8
R1 = { x / x A, x B, x C }
R2 = { x / x A, x B, x C }
R3 = { x / x A, x B, x C }
R4 = { x / x A, x B, x C }
R5 = { x / x A, x B, x C }
R6 = { x / x A, x B, x C }
R7 = { x / x A, x B, x C }
R8 = { x / x A, x b, x C }
R1 = ABC
R2 = ABC
R3 = ABC
R4 = ABC
R5 = ABC
R6 = ABC
R7 = ABC
R8 = ABC
R1
R2
R3
R4
R5
R6
R7
R8
Para una relacin entre cuatro conjuntos No Comparables, podemos tener el siguiente
diagrama:
C
R6
A
R4
R3
R8
R14
R10
R12
R1
R9
R11
R5
R13
R2
R15
R7
D
R16
Cada regin ser definida de acuerdo a la interseccin entre los conjuntos como sigue:
R1
R2
R3
R4
R5
R6
= { x / x A, x B, x C, x D }
= { x / x A, x B, x C, x D }
= { x / x A, x B, x C, x D }
= { x / x A, x B, x C, x D }
= { x / x A, x B, x C, x D }
= { x / x A, x B, x C, x D }
= ABCD
= ABCD
= ABCD
= ABCD
= ABCD
= ABCD
R7 = { x / x A, x B, x C, x D } = ABCD
R8 = { x / x A, x B, x C, x D } = ABCD
R9 = { x / x A, x B, x C, x D } = ABCD
R10 = { x / x A, x B, x C, x D } = ABCD
R11 = { x / x A, x B, x C, x D } = ABCD
R12 = { x / x A, x B, x C, x D } = ABCD
R13 = { x / x A, x B, x C, x D } = ABCD
R14 = { x / x A, x B, x C, x D } = ABCD
R15 = { x / x A, x B, x C, x D } = ABCD
R16 = { x / x A, x B, x C, x D } = ABCD
Tambin podemos representar las regiones por medio de una tabla de pertenencia
REGION
R1
R2
R3
R4
R5
R6
R7
R8
R9
R10
R11
R12
R13
R14
R15
R16
Por
este
procedimiento
de representar
las regiones por
medio de tablas
es importante
destacar que no
hay
limitaciones en
el nmero de
conjuntos No
Comparables
que queramos
manejar
en
forma
simultnea,
mientras que en
los diagramas
de Venn.
Estn restringidos por las limitaciones propias de las representaciones grficas. Asimismo,
para cinco conjuntos se construye una tabla de pertenencia de 32 renglones; para seis
conjuntos la tabla tendr 64 renglones, y as sucesivamente.
Ejemplo: Dada la siguiente figura, coloca en el lugar que le corresponda la regin que le
pertenece de acuerdo a la tabla de pertenencia anterior
D
R1
El uso de las tablas de pertenencia nos permite desarrollar las operaciones fundamentales de
los conjuntos, determinando el resultado por medio de una regin.
(A B ) ( A C ) = A ( B C )
Con el diagrama de Venn
U
A
B
R2
R4
R6
R1
R3
R5
R7
R8
Podemos construir una tabla de pertenencias para cada uno de los miembros de la igualdad y
comprobar que las dos tablas tienen igual la ltima columna, lo cual comprueba que la
igualdad es correcta.
REGION A
R1
R2
R3
R4
R5
R6
R7
R8
REGION
R1
R2
R3
R4
R5
R6
R7
R8
BC (BC) A(BC)
A la operacin de la izquierda
le pertenecen las regiones R2,
R3 y R4
A la operacin de la derecha
le pertenecen las regiones R2,
R 3 y R4
Tambin podemos representar la operacin con una tabla de Regiones, como se muestra a
continuacin
A
R1
R2
R3
R4
BC (BC) A(BC)
R1
R2
R2
R5
R3
R3
R4,R6
R4
R7,R8
(A B ) C = A ( B C )
(A B) (A B) = A
A ( B C ) = (A B ) ( C A )
A ( B C ) = (A B ) ( A C )
Hasta ahora hemos aprendido cmo obtener nuevos conjuntos a partir de subconjuntos
dados, hemos efectuado operaciones con los conjuntos utilizando las propiedades de cada
una de ellas. Es conveniente resumir en un cuadro todas las propiedades de las operaciones
de los conjuntos para tomarlos como leyes
( A B ) = A B
( A B ) = A B
U
U
U =
Hemos definido el complemento de un conjunto dado en trminos que podramos expresar,
de manera informal, como lo que queda del universo despus de tomar los elementos del
conjunto A = U A
Es evidente que si formamos el conjunto U, esto es, el universo, no sobrar nada; por tanto
U = . Que es lo que queramos demostrar.
Pero en matemticas se evita apelar a que algo es obvio, a menos de que se trate de algo ya
demostrado o aceptado previamente. La argumentacin de que algo es evidente se reserva
exclusivamente a los axiomas, de los cuales se procura sean en la mnima cantidad posible.
En el caso presente, podemos hacer una verdadera demostracin de la proposicin, sin
utilizar ningn argumento fuera de las propiedades originales, a las cuales podemos elevar a
la categora de axiomas.
La demostracin sera como sigue:
U U =
U U = U
U =
ley # 14 Complemento
ley # 10 Identidad
Dos cosas iguales a una tercera
Son iguales entre s (transitiva)
Esta forma de realizar la demostracin tiene una funcin didctica: sirve para adquirir
habilidad en el manejo del Algebra de Conjuntos.
Ejemplo 2. Demostrar la Primera ley de De Morgan
(A B) = A B
para demostrar la primera ley de De Morgan debemos basarnos en la siguiente proposiciones
(A B) (A B) = U
Si logramos demostrar la validez de la proposicin anterior, habremos demostrado que
(A B) es el complemento de (A B), es decir que A B es igual a (A B).
Ley # 1
Ley # 5
Ley # 3
Ley # 13
Ley # 9
Ley # 12
Conmutativa
Distributiva
Asociativa
Complemento
Identidad
Idempotencia
(A B) ( A B) =
(A) = A
(A B) B = A B
A (A B) = A B
b)
d)
A B = (A B) B
(A B) (B A) = (A B) ( A B)
II.- Efecta las operaciones indicadas en el primer miembro para obtener como resultado el
segundo miembro y verifica las siguientes identidades
a)
b)
c)
d)
e)
(A B ) A = ( B A)
(A B ) A = U
(A B ) B = A B
(A B ) (A B) = A
(A B ) (A B) = (A B) ( A B)
III.- Escribe el teorema dual de las identidades anteriores y verifica las identidades
resultantes
a)
b)
c)
d)
e)
(A B) A = B A
IV.- Efecta las siguientes operaciones hasta su mnima expresin y verifica las identidades
resultantes con una tabla de pertenencia y/o con las leyes de los conjuntos
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
(A B) ( A B)
A (A B)
(A B C) ( A B)
A B B B
(A B) (A B) (A B)
A (A B) B (A B)
(A B) (A B)
(A B) (A B) (A B)
(A B) A
A (B A)
V.- Demostrar utilizando las leyes de los conjuntos las siguientes proposiciones
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
A (B C) = (A B) (A C)
A (B C) = (A B) (C A)
(A B) (A B) = A
(A B) (A B) ( A B) = A B
A (A B) = A
A (A B) = A B
A (A B) = A B
(A B) C = A ( B C)
(A B) (A B) = A
A (B C) = (A B) ( A C)
A (A B) = U
A (A B) =
n (A B) = n (A) + n (B)
Por otro lado si los conjuntos A y B son no Disjuntos, es decir tienen elementos en comn,
el nmero de elementos de la unin es:
n (A B) = n (A) + n (B) n (A B)
La explicacin es la siguiente: Al sumar el nmero de elementos n(A) del conjuntos A, con
el nmero de elementos n(B) del conjunto B, el nmero de elementos de la interseccin
n(AB) se ha contado dos veces, ya que los elementos de la interseccin pertenecen a los
dos conjuntos.
Ejemplo 1:
Sean A = {a,b,c,d}; B = {a,c,e,f}
Vemos que n(A) = 4, n(B) = 4 , n(A B) = 2
Utilizando la formula
n(A B) = n(A) + n(B) n(A B) = 4 + 4 2 = 6
en efecto (A B) = {a,b,c,d,e,f } y n (A B) = 6
Ejemplo 2
Todos los estudiantes de primer ao de esta facultad, han comprado boletos para los
encuentros de ftbol de este fin de semana. De ellos 67 compraron para el encuentro entre el
Atlas y el Toluca, 76 para el encuentro Guadalajara-Amrica y 22 para los dos encuentros.
Se pregunta Cuntos estudiantes forman ese grupo de primer ao?
Datos: n(A) = 67
n(B) = 76
n(A B) = 22
Otra forma de resolver el problema, es mediante un diagrama de Venn, que represente los
datos del problema, entonces se vaca la informacin y se va calculando el nmero de
elementos que hay en cada regin
Datos:
U
45
n (A) = 67
n (B) = 76
n (A B) = 22
B
22
54
n (A B) = 121
U
A
A C = {b,d}
B C = {b}
A B C = [a,b,c,d}
n (B) = 3
n (A C ) = 2
n ( C) = 2
n(BC)=1
B
c
b
d
C
Ejemplo 2
Un jefe de publicidad ha entrevistado a 2,000 personas para apreciar los efectos de tres
programas radiales. Al tabular los resultados de la muestra ha concluido que :
580
840
920
260
220
300
100
Se pregunta:
a)
b)
c)
d)
e)
Cuntas personas escuchaban slo el programa A?, slo el programa B?, slo el
programa C?
Cuntas personas escuchaban slo los programas A y B ?, slo los programas A y
C?, slo los programas B y C?
Cuntas personas escuchaban el programa B, el C o ambos?
Cuntas personas escuchaban al menos uno de los tres programas?
Cuntas personas no escuchaban ninguno de los tres programas?
Datos:
n (A B) = 260
n (A C) = 220
n (B C) = 300
n (A B C) = 100
n (U) = 2,000
n (A) = 580
n (B) = 840
n (C) = 920
Solucin :
a)
A
R4 = 200
B
R6 = 380
R7 = 500
b)
A
R2
R3
R5
c)
A
R2
R3
R1
R7
c)
R6
R5
R2
R4
R6
R1
R3
R5
R7
d)
U
200
160
380
100
120
200
500
C
340
EJERCICIOS
1.- Un investigador de mercados fue contratado para determinar que porcin de personas de
una poblacin rural prefieren Tequila, cuantas prefieren Mezcal y cuantas Ron de Caa. Es
natural que algunas digan que toman se los tres, otros que nada mas de uno, otros que de dos
y algunos que no toman ninguno de los licores. El investigador decidi que estos ltimos no
sera considerados y entrevist a 1,000 personas que gustaban de al menos una de las
bebidas. Das despus presento su reporte, informando que en la poblacin investigada:
729 gustaban Tequila
814 gustaban Mezcal
628 gustaban Ron de Caa
592 gustaban Tequila y Mezcal
465 gustaban Tequila y Ron de Caa
411 gustaban Mezcal y Ron de Caa
300 gustaban de los tres
La empresa que contrat la investigacin, sospecha que las entrevistas no se realizaron con
honestidad, es decir que algunas de las cifras presentadas provienen de la imaginacin del
investigador. Se trata de comprobar sta hiptesis.
2.- El departamento de publicidad de un centro comercial efecta una encuesta a un grupo
seleccionado de 1,000 clientes, de entre los que abrieron su cuenta de crdito en el pasado
mes de diciembre. Se les pregunta si su crdito fue utilizado para comprar artculos para el
hogar, artculos de vestir o juguetes, obtenindose la siguiente informacin:
No. de personas
275
400
550
150
110
250
100
Se pregunta:
a) Cuntas personas no usaron su crdito en ninguna de estas tres mercancas?
b) Cuntas personas utilizaron su crdito solo para comprar artculos de vestir?, slo
artculos del hogar?, slo juguetes?
3.- Se efecta una encuesta para determinar los hbitos de lectura de peridicos de la
localidad, obtenindose los siguientes resultados:
9.8 %
leen el Sol de San Luis
22.9 %
leen Pulso
12.1 %
leen el Heraldo
5.1 %
leen el Sol de San Luis y Pulso
3.7 %
leen el Sol de San Luis y Heraldo
6.0 %
leen Pulso y el Heraldo
32.4 %
leen al menos uno de los tres peridicos
4.- La ferretera del Centro, ha adquirido un lote de tornillos a granel, los cuales quiere
comercializar. Una muestra de 500 tornillos revel que pueden ser utilizados en tres
diferentes operaciones bsicas, como se indica a continuacin:
255
215
25
125
105
395
60
para la operacin A
para la operacin C
para la operacin A y C exclusivamente
para la operacin A y B
para la operacin B solamente
para la operacin A B
para la operacin B y C
Determinar:
a)
b)
c)
5.- En una investigacin referente a los hbitos de fumar del estudiante universitario, se
efecto una encuesta en el Departamento, obtenindose la siguiente informacin.
55 %
50 %
40 %
10 %
20 %
18 %
7%
fuman Malboro
fuman Viceroy
fuman Delicados
fuman las tres marcas de cigarros
fuman las dos primeras marcas, pero no la tercera
no fuman las dos primera, pero si de la tercera
no fuma ninguna de las tres marcas de cigarros, o no fuma.
Se pregunta:
a)
b)
6.De 700 alumnos del D.F.M. que presentaron Algebra, Clculo y Fsica, se obtuvo la
siguiente informacin:
196
460
240
102
74
120
648
aprobaron Algebra
aprobaron Clculo
aprobaron Fsica
aprobaron Algebra y Clculo
aprobaron Algebra y Fsica
aprobaron Clculo y Fsica
aprobaron al menos una de las tres materias
7.Una agencia de autos vendi durante un ao 180 unidades con las siguientes
caractersticas:
51
77
45
10
28
90
19
se pregunta:
Cuntas de estas unidades tenan autoestereo ?
8.En el ltimo ao han alcanzado la cima del monte Everest 200 alpinistas. De ellos
100 eran europeos y tenan menos de 30 aos, 120 tenan menos de 30 aos y 160 eran
europeos. Si designamos por E el conjunto de los alpinistas que alcanzaron la cima del
monte Everest, por A el conjunto de los alpinistas menores de 30 aos y por B el de los
nacidos en Europa, expresa mediante la Unin, la Interseccin y el Complemento los
subconjuntos de E formados por los alpinistas;
a)
b)
c)