TEORA DE CONJUNTOS

LECTURA N 17: CONCEPTOS BSICOS

La teora que nos ocupa en este captulo, est construida sobre la base de conceptos,
los cuales, por ser intuitivos y comprensibles, no es necesario definirlos formalmente.
Sabemos que en la realidad existen cosas, objetos, entes, elementos, que
constituyen unidades completamente identificables, que pueden ser tangibles o no. A
la vez, esos, elementos, son agrupables, de acuerdo a cualquier tipo de criterio,
conformando lo que conocemos como conjunto. Por lo tanto, decimos que los
elementos pertenecen a conjuntos.
Es a partir de estos tres conceptos: elemento, pertenencia y conjunto, que se
desarrolla la teora que estudiaremos a continuacin.
Es importante destacar que, aun cuando no demos definiciones formales para los
conceptos antes mencionados, ellos deben ser plenamente identificables, con el objeto
de lograr un desarrollo terico formal. En este sentido, se hace necesario disponer de
un adecuado sistema de representacin o identificacin.
NOTACIN
Los conjuntos sern identificados con letras maysculas, tales como:
A, B, C, D, etc.
Mientras que los elementos se identificarn con letras minsculas, a menos que ellos
sean, a su vez, conjuntos, como por ejemplo
a, b, c, d, etc.
Vale la pena sealar que lo usual es utilizar las primeras letras del abecedario (a, b, c,
) para denotar elementos que estn perfectamente determinados y reservar las
ltimas (, x, y, z) para elementos genricos o indeterminados.
Adems, en el caso de la notacin para conjuntos, se reservan las letras maysculas:
N, Z, Q, R y C, para los llamados conjuntos de los nmeros: Naturales, Enteros,
Racionales, Reales y Complejos, respectivamente. Tales conjuntos son tratados de
manera especfica ms adelante en la sesin: Conjuntos Numricos, sin embargo,
nos permitiremos utilizarlos , en diversos ejemplos, asumiendo que los estudiantes
estn familiarizados con ellos debido a sus estudios previos. Slo debemos destacar
aqu una diferencia de notacin que usaremos, desde este momento, en relacin al
conjunto de los nmeros naturales. Ella se refiere a que cuando usemos la letra N nos
estaremos refiriendo a los nmeros naturales incluido el cero, mientras que cuando
Tomada con fines instruccionales
Gallo, C. (1996). Matemticas para Estudiantes de
Administracin y Economa. U.C.V. Ediciones de la
Biblioteca. Tercera Edicin. (p. 87-91). Caracas.
usamos la notacin N
*
nos referiremos a los naturales a partir del uno, es decir sin el
cero.
Los conjuntos deben expresarse escribiendo los elementos que los constituyen
encerrados entre llaves. Por ejemplo, para expresar al conjunto formados por las cinco
primeras letras del alfabeto, al cual, denotaremos con la letra A, podemos escribir:
{ } e d c b a A , , , ,
RELACIN DE PERTENENCIA
La relacin que se establece entre elementos y conjuntos es la llamada relacin de
pertenencia. Hemos dicho antes que los elementos pertenecen a conjuntos, por lo
tanto, enunciaremos con frecuencia proposiciones tales como: el elemento a
pertenece al conjunto A la cual expresaremos mediante
A a
que se lee a pertenece a A. Su negacin la escribiremos
A a
la cual, leeremos a no pertenece a A.
As, de acuerdo al ejemplo anterior tenemos que A c , mientras que A n .
Es importante, para mayor claridad y precisin de nuestras expresiones tener presente
lo siguiente:
1) Cada conjunto debe determinarse claramente, sin ambigedad. De forma tal,
que pueda establecerse, sin lugar a dudas, si un elemento especfico
pertenece o no a un conjunto determinado.
2) Los elementos de un conjunto deben ser distintos entre si. Ningn elemento
debe estar repetido y en caso de que esto ocurra, se le considera una sola
vez.
3) No importa el orden en que se escriben los elementos de un conjunto.
Cambiar el orden de colocacin de los elementos dentro de un conjunto no
significa que dicho conjunto ha cambiado.
DETERMINACIN DE CONJUNTOS
En general, todos los conjuntos pueden determinarse de dos formas diferentes por
extensin o por comprensin.
Por Extensin
Diremos que un conjunto est determinado por extensin si detallamos o
enumeramos todos y cada uno de los elementos que pertenecen a dicho conjunto.
Por ejemplo:
{ } 45 , 30 , 15 A
Por Comprensin
Diremos que un conjunto est determinado por comprensin si damos una
propiedad, o propiedades, que caracterizan a sus elementos, y solo a ellos, tal que nos
permita establecer, inequvocamente, si cierto elemento pertenece, o no, a dicho
conjunto. Por ejemplo:
{ } 5 3 50 de y de mltiplos y que menores naturales nmeros A

Un conjunto que posea un nmero finito de elementos, en general, puede ser
expresado de las dos formas. El conjunto A, de los ejemplos anteriores, es el mismo
en ambos casos, determinado primero por extensin y luego por comprensin.
Sin embargo, los conjuntos que poseen infinitos elementos, slo pueden ser
determinados por comprensin.
En la determinacin de conjuntos por comprensin se usan con frecuencia smbolos
que simplifican las expresiones. As, el conjunto A, que venimos utilizando como
ejemplo, puede escribirse
{ } x x x N x x A | 5 | 3 50 : <
Donde el smbolo : se lee tal que.
En las definiciones de los conceptos que siguen a continuacin, as como en el
enunciado de propiedades, teoremas y sus respectivas demostraciones, se utilizar
una forma general de determinacin de los conjuntos por comprensin, en la cual, se
escribir el smbolo
P(x)
que representa una propiedad relativa a un elemento indeterminado x.
As, por ejemplo, si queremos referirnos a los nmeros pares, entonces es
p(x): x es par
Ahora bien, es importante destacar que el enunciado x es par no es una proposicin.
Tal enunciado se convierte en una proposicin cuando se especifica el elemento x, ya
que slo as podremos calificarla de verdadera o falsa. De esa manera, para cada
asignacin de un valor a x, obtenemos una proposicin. En el caso del ejemplo
presentado tenemos que:
p(4): 4 es par (V)
p(7): 7 es par (F)
Entonces, cuando queremos expresar de manera general a un cierto conjunto,
digamos A, determinado por comprensin, como el conjunto de elementos x que
satisfacen una cierta propiedad, digamos P(x), escribimos
{ } ) ( : x P x A
En consecuencia, para un elemento dado
a
, dado, diremos que:
V es a P A a ) (
F es a P A a ) (
Nuevamente tomando el caso del conjunto A de los ejemplos anteriores, tenemos que
es
x x x N x x P | 5 | 3 50 : ) ( <
En consecuencia, 30 A, ya que, P(30) es verdadera, mientras que 10

A, por ser
P(10) falsa.
En general, todos los conjuntos pueden ser determinados por comprensin. Es decir,
para cualquier conjunto pueden enunciarse propiedades que caracterizan a los
elementos que los conforman, de tal forma que tales enunciados al ser aplicados o
referirse a elementos especficos, segn hemos visto, constituyen proposiciones que
cuando son verdaderas nos establecen que el elemento en cuestin pertenece al
conjunto de que se trate y cuando son falsas nos establecen lo contrario. Vemos as,
que las proposiciones juegan un papel bsico en la definicin de los conjuntos y por, lo
tanto, la Lgica Proposicional constituye un apoyo fundamental en el desarrollo de la
Teora de Conjuntos.
LECTURA N 18: TIPOS DE CONJUNTOS
CONJUNTOS ESPECIALES
Conjunto universal
En el anlisis de una situacin particular, hay un conjunto o coleccin fija de elementos
que se denomina conjunto universal y se denota por la letra griega (omega). Dicho
conjunto , consta de todos los elementos a los que se pueda referir esa situacin.
Es algo as como la fuente de todos los elementos que forman parte de los conjuntos
sobre los que vamos a trabajar.
Hay dos circunstancias que se deben tener en cuenta cuando se trata de elegir el
conjunto universal:
1. El conjunto universal no es nico; depende del problema que se est
considerando y puede cambiar segn la situacin particular de que trate;
2. An para un mismo problema el conjunto universal no est definido en forma
nica; podemos elegirlo a nuestra conveniencia con relativa libertad.
Veamos algunos ejemplos:
Ejemplo 1: si los conjuntos a considerar son los urlogos, dermatlogos, pediatras y
cirujanos, el universo ms adecuado es el conjunto de los mdicos.
Ejemplo 2: para un problema determinado nos interesa pensar en el conjunto de todos
los libros de Sistemas y Procedimientos. Este conjunto puede estar referido a algn
Tomada con fines instruccionales
Kleiman, A. y de Kleiman, E. (1972). Conjuntos.
Aplicaciones Matemticas a la Administracin.
Editorial Limusa Wiley. Primera edicin. (p. 87-91).
Caracas.
conjunto universal, que seleccionaremos de acuerdo con nuestras necesidades. Por
ejemplo, puede ser el conjunto de los libros de la biblioteca de esta Facultad, o el
conjunto de los libros de esta Universidad, o el conjunto de los libros del tema
Sistemas y Procedimientos, editados en cualquier idioma o el conjunto de todos los
libros que existen en esta ciudad, etc. Note que tenemos libertad para fijar , y
nicamente debemos tomar en cuenta nuestra conveniencia especfica.
Ejemplo 3: sea el conjunto de los alumnos con calificacin promedio de ocho o ms
puntos. El conjunto universal puede ser, segn el estudio o situacin que se est
considerando: i) los alumnos del grupo 106; ii) el conjunto de los alumnos de esta
Facultad; iii) el conjunto de alumnos de la Universidad; iv) el conjunto de todos los
alumnos de escuelas de esta ciudad, etctera.
Esa relativa libertad de eleccin a que hemos hecho referencia no debe interpretarse
en el sentido de que es un conjunto impreciso o de naturaleza variables. Al
analizar una situacin determinada una vez que se ha decidido cul es el conjunto
universal , ese conjunto permanece fijo y todos los dems conjuntos mencionados
en la misma discusin se forman con elementos de ese .
Conjunto vaco
Aunque a primera vista parezca extrao, resulta conveniente hablar acerca de
conjuntos sin elementos. Un conjunto que no posee elementos se denomina conjunto
vaco o conjunto nulo, y se lo designa por el smbolo

o por
{ }
.
Por ejemplo, los siguientes son conjuntos vacos:
{ } edad de aos 200 de ms de persona una es : x x A
{ } dulce agua de ocano un es : y y B
{ } 6 que menores , y 5 que mayores naturales nmeros los de conjunto el es : z z C
{ } entero nmero un es 1, - :
2
w w w D .
Es importante advertir que

es distinto de 0 y de
{ } 0
. En efecto:
i)

es un conjunto sin elementos;

ii)
{ } 0
es un conjunto con un solo elemento, el nmero 0;
iii) 0 es un nmero y no un conjunto
Muchas veces se define un conjunto vaco recurriendo a un par de condiciones
mutuamente contradictorias, tales como:
{ } alas con burro un es : m m M
{ } narices 6 con te ser vivien un es : n n N
.
Conjuntos Finitos e Infinitos
El nmero de elementos de un conjunto no vaco, puede ser finito o infinito. Es finito
cuando se puede listar exhaustivamente sus elementos en algn orden, y en
consecuencia contarlos uno a uno hasta alcanzar el ltimo.
En caso contrario, si el conjunto no posee un ltimo elemento se dice que es un
conjunto infinito.
Ejemplos de conjuntos finitos son: los empleados de una empresa, los peridicos de
un pas, los proveedores de la industria de la construccin, etc.
Ejemplos de conjuntos infinitos: el conjunto de los enteros positivos, el nmero de
rectas que pasan por un punto, etctera.
Estos conjuntos son infinitos porque no es posible listar todos sus elementos y
enumerar explcitamente la totalidad de ellos. El proceso de conteo de los elementos
nunca termina para un conjunto infinito.
La notacin para el conjunto de los nmeros naturales (enteros positivos) es la
siguiente:
{ } ... 6, 5, 4, 3, 2, 1, N
, es decir que se listan algunos de los elementos del conjunto
seguidos de puntos suspensivos (que equivalen al etc), y que reemplazan a los
elementos no listados. Esta forma de notacin se emplea a menudo, pero no es muy
satisfactoria desde el punto de vista lgico. En sentido estricto el mtodo de listado o
de enumeracin, es inaplicable a conjuntos infinitos. Para especificar correctamente
un conjunto infinito se debe citar alguna propiedad definitoria, es decir especificarlo
por comprensin.
Los conjuntos infinitos se presentan en muy diversos problemas concretos. Por
ejemplo, en el control estadstico de calidad, los analistas del proceso de produccin
pueden considerar que la mquina bajo observacin genera un flujo continuo e infinito
de productos.
Un ejemplo usual en el desarrollo de este tema es el del conjunto de los granos de
arena de la playa de Acapulco. No obstante que el nmero de elemento de ese es
inmenso, no deja de ser un conjunto finito.
LECTURA N 19: MAS SOBRE CONJUNTOS
ESPECIALES
CONJUNTO UNIVERSAL
Llamamos Conjunto Universal o Conjunto Referencial aquel conjunto, al cual,
pertenecen todos los elementos de una situacin dada o de inters.
Partiendo de este concepto, est claro que el conjunto universal o referencial no es
nico, sino que depende de la situacin en particular que se est tratando.
Para denotar al conjunto universal se utiliza la letra mayscula U, o bien el smbolo
(letra griega mayscula omega).
El conjunto universal establece una referencia (tambin se le dice universo), delimita
las reas de trabajo, es decir, establece las fronteras. Por ejemplo, si nos planteamos
una investigacin estadstica sobre la educacin, no es lo mismo que el universo sea
el conjunto de todos los estudiantes de la Universidad Central de Venezuela en un ao
determinado, que el de los estudiantes de todas las universidades venezolanas o que
el de todas las universidades latinoamericanas. Tal delimitacin depende del objetivo
especfico que se persiga con la investigacin.
Siendo consecuentes con nuestra intencin de evidenciar la equivalencia existente
entre el lenguaje utilizado en Teora de conjuntos y el utilizado en Lgica
Proposicional, veamos como se manifiesta dicha equivalencia en el caso de la
definicin dada para el conjunto Universal. Supongamos que A sea un conjunto
dado, tal que:
{ } ) ( : x P x A
De acuerdo con la definicin dada, al conjunto universal, o referencial, U, pertenecen
todos los elementos de la situacin de que se trate. Esto es, a U lo conforma tanto los
elementos de A, como los que no pertenecen a A. Estando A definida a travs de
) (x P
, entonces a U pertenecen aquellos elementos que hacen verdadera a
) (x P
y
tambin pertenecen los que la hacen falsa. Esto quiere decir que al conjunto universal
U lo podemos definir por comprensin de la siguiente manera:
{ } ) ( ~ ) ( : x P x P x U
Podemos observar que cualquier x, de la situacin de que se trate, har verdadera a
) ( ~ ) ( x P x P
. En otras palabras, la disyuncin inclusiva
) ( ~ ) ( x P x P
es
siempre verdadera. Vemos as, que el conjunto universal se define a travs de una
tautologa.
CONJUNTO VACIO
Tomada con fines instruccionales
Gallo, C. (1996). Matemticas para Estudiantes de
Administracin y Economa. U.C.V. Ediciones de la
Biblioteca. Tercera Edicin. (p. 94-99). Caracas.
Llamamos Conjunto Vaco a aquel conjunto que no tiene elementos. Para denotar al
conjunto vaco utilizamos el smbolo

(letra griega mayscula phi).

Al conjunto vaco tambin lo podemos definir a travs de proposiciones.
Dado que a l no pertenece ningn elemento, entonces cualquier enunciado que no
pueda ser verdadero para ningn elemento, definir al vaco. En el caso que ningn x
hace verdadera a
) ( ~ ) ( x P x P
Por lo tanto
{ } ) ( ~ ) ( : x P x P x
Vemos as, que el conjunto vaco puede ser definido a travs del enunciado de
cualquier contradiccin.
El conjunto vaco es nico, esto es, no existen conjuntos vacos diferentes entre s.
Para todas las situaciones de que se trate, los conjuntos que no tengan elementos,
son iguales entre s, y tienen en el llamado conjunto vaco a su representante. Esta
importante afirmacin, sobre la unicidad del vaco, ser formalmente demostrada mas
adelante, una vez que hayamos estudiado la relacin de inclusin y la propiedad
antisimtrica de dicha relacin, la cual, constituye el instrumento de demostracin.
Ejemplo
Sea el conjunto
( ) ( ) { } 0 3 7 : x Z x x A
Podemos observar que ningn nmero entero hace verdadera a 0 3 7 x
Esto es
Por lo tanto, el conjunto A no tiene elementos y decimos que es vaco.
Es decir,
A
CONJUNTO UNITARIO
Llamaremos Conjunto Unitario a aquel conjunto, al cual pertenece un solo elemento.
Ejemplo
Sea el conjunto
( ) ( ) ( ) { } 5 3 : < > x x Z x x A
De acuerdo a como ha sido definido A, a l pertenecen los nmeros enteros que son,
simultneamente mayores que 3 y menores que 5, lo cual, es slo satisfecho por el
entero 4 y de ah que digamos que A es un conjunto unitario.
Aprovechamos este ejemplo para plantear que, en general, cuando tengamos
expresiones tales como
( ) ( ) b x a x < >
0 3 7 : x Z x
Donde a y b son nmeros tales que b a < , suele escribirse de una forma ms sencilla
como la siguiente:
b x a < <
La cual, leemos x es mayor que a y menor b y nos indica, igual a la de arriba, los
nmeros x que satisfacen, a la vez, que sean mayores que a y menores que b.
Expresado de otra forma, se refiere a los nmeros comprendidos entre a y b.
As, el conjunto A, del ejemplo, tambin puede escribirse como sigue:
( ) ( ) { } 5 3 : < < x Z x x A
Podemos observar que el nico valor de x entero que hace verdadera a la proposicin
es 4. Luego, decimos que A es
{ } 4 A
Habiendo dado la definicin para conjunto unitario, es importante destacar, ahora, la
diferencia entre las siguientes notaciones:
{ } { } { } a a a , ,
La primera se refiere al elemento a. La segunda se refiere al conjunto unitario cuyo
nico elemento es a y la tercera se refiere al conjunto de conjuntos, tambin unitario,
cuyo nico elemento es el conjunto
{ } a
.
Ejercicios:
1.- Determinar por extensin los siguientes conjuntos:
( ) ( ) ( ) { } 5 1 2 :
*
x N n n x x A
( ) ( ) ( ) { } 10 2 :
*
x N n n x x B
( ) ( ) { } 50 25 :
3
x Z x x C
( ) ( ) ( ) { } 9 1 2 :
*
+ x N n n x x D
( ) ( ) { } 0 8 2 :
2
+ x x N x x E
( ) ( ) { } 11 2 :
*
+ x N x x F
2.- Diga cuales de las siguientes expresiones son verdaderas, justificando sus
respuestas:
a)
{ } { } a a
b)
{ } { } { } b a a b a , , ,
c)
{ } { } { } a a a ,
d)
{ } { } b a c a c b a , , , , ,
e)
{ } { } c b b a c b a a , , , , , ,
f)
{ } { } c a b c b a , , , ,
3.- Traducir en palabras lo que significan las expresiones siguientes:
a)
( ) ( ) { } 6 : x N x x A
b)
( )

'

,
_

+ N x Q x x B
2
1
:
c)
( ) ( ) { } 30 6 4 5 : x N x x C
d) Siendo a una recta del plano:
{ } a r r r H recta una es :
e) Siendo a una recta del plano:
{ } a r r r M recta una es :
f)
( ) ( ) { } 11 3 2 2 : x N x x E
g)
( ) ( ) { } Z x N x x F :
4.- Expresar simblicamente los siguientes conjuntos:
a) El conjunto de los nmeros naturales pares
b) El conjunto de las soluciones reales de la ecuacin 0 2 2
2 3
+ x x x
c) El conjunto de nmeros naturales que satisfacen la relacin:
3 78 10 16 < x
5.- Expresar por comprensin los conjuntos siguientes:
{ } 15 , 13 , 11 , 9 , 7 , 5 , 3 , 1 A
{ } 36 , 25 , 16 , 9 , 4 , 1 B
{ } 23 , 19 , 17 , 13 , 11 , 7 , 5 , 3 , 2 , 1 C
{ } 64 , 32 , 16 , 8 , 4 , 2 , 1 D
6.- Si
a
es un elemento del conjunto B y B es un elemento del conjunto C , se
puede concluir que
a
es un elemento de C ?
7.- Diga cules de los siguientes conjuntos son vacos:
{ } 2 por divisible y impar es : x x A
{ } 3 3 : + x Z x x B
( ) ( ) ( ) { } 10 2 10 :
2
x x R x x C
{ } D
LECTURA N 20: REPRESENTACIN GRFICA DE
CONJUNTOS
DIAGRAMA DE VENN.
Con objeto de hacer ms intuitivas las cuestiones relativas a conjuntos es aconsejable
usar unos esquemas llamados diagramas de Venn; en ellos, los elementos del
conjunto universal U se representan grficamente por puntos de un cuadrado (o
rectngulo) y los subconjuntos por puntos de crculos contenidos en el cuadrado.
Es de observar que tanto U como los subconjuntos pueden ser finitos o infinitos en
este ltimo caso puede incluso ser U el conjunto de todos los puntos del cuadrado y
los subconjuntos estar integrados por todos los puntos de los crculos.
Interesa sealar tambin que, mientras no se advierta lo contrario, los elementos no
los representaremos por puntos de los diferentes contornos (circunferencias y
permetro del cuadrado).
Ejemplo:
En la figura adjunta se ha representado en un diagrama de Venn, el conjunto
universal.
U = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, }

12
7
5
8
3
4
9
10
11

1 A
B
C
Tomada con fines instruccionales
Burgos, A. (1971). Iniciacin a la Matemtica
Moderna. Selecciones Cientficas. Tercera
Edicin. (p. 26). Madrid.
U
y los subconjuntos
A = { 2, 3, 4, 5, 6 } B = { 5, 6, 7, 8 } C = { 10, 11 }
LECTURA N 21: RELACIN ENTRE CONJUNTOS
RELACIN DE IGUALDAD
Dos conjuntos A y B son iguales si cumplen dos condiciones esenciales: que todo
elemento de A pertenece a B, e inversamente, que todo elemento de B pertenece a A.
Cuando los conjuntos A y B son iguales escribiremos
B A
y si no son iguales se
escribe
B A
. Veamos algunos ejemplos:
a) Los conjuntos:
{ } 12 , 7 , 5 , 4 A y

'

12 , 49 , 5 ,
2
8
B
son iguales ya contiene los mismos elementos.
Recuerde que 7 49 4
2
8
y .
b) Los conjuntos:

{ } 8 : que mayor negativo entero nmero un es x x
y
{ } 1 , 2 , 3 , 4 , 5 , 6 , 7
son iguales, ya que an cuando estn
expresados en forma diferente, el primero por comprensin y el segundo por
extensin, contienen los mismos elementos.
c) Los conjuntos:
{ } 12 7 , 5 , 7 , 4 , 5
y
{ } 12 , 7 , 5 , 4
son iguales. El primer conjunto tiene los
mismos elementos del segundo, ya que los elementos que se repiten se toman
en cuenta una sola vez.
d) Los conjuntos
{ } , 7 , 4 , 5 , 12
y
{ } 12 , 7 , 5 , 4
son iguales, no importa
el orden en el cual se escriben los elementos.
e) Los conjuntos:
{ } 12 , 7 , 5 , 4
y
{ } 12 , 7 , 6 , 5 , 4
no son iguales porque no poseen los
mismos elementos. El segundo conjunto contiene a 6, mientras que el primero
no.
Tomada con fines instruccionales
Gmez, T. / Gonzlez, N. / Lorenzo J. (2007).
Igualdad e Inclusin entre Conjuntos. Artculo
no publicado (p.1). Caracas.
RELACIN DE INCLUSIN
Esta relacin se denota por el signo

se lee incluido o contenido en y se dice que

un conjunto A est incluido en el conjunto B cuando todos los elementos de A
pertenecen a B, esta definicin se puede escribir formalmente utilizando la simbologa
que se conoce hasta ahora, de la siguiente forma:
( ) ( ) B x A x B A
otra forma de leer
B A
es A es subconjunto de B.
Por el contrario, B A cuando existe por lo menos un elemento de A que no
pertenece a B.
Es importante sealar que si todos los elementos de un conjunto A pertenecen
tambin a un conjunto B, pero no todos los elementos del conjunto B pertenecen a A,
es decir, B A , entonces se dice que A es un subconjunto propio de B y que la
inclusin es estricta, esto se denota de la siguiente forma:
B A
Propiedades de la Inclusin:
1. Para cualquier conjunto B, se tiene que:
B
.
2. Propiedad Reflexiva . Todo conjunto es subconjunto de si mismo, es decir:
A A
, en efecto,
A x ) (
, se tiene, por supuesto, que A x
3. Propiedad Antisimtrica . Si un conjunto esta incluido en otro y viceversa entonces
los conjuntos son iguales, es decir:
( ) B A A B B A
.
observe que:
( ) ( ) A x B x A B y B x A x B A
entonces todos los
elementos de A estn en B y todos los elementos de B estn en A.
4. Propiedad Transitiva . Considere tres conjuntos A, B y C uno contenido dentro del
otro, es decir:
C B y B A
Esto implica:
C A
por lo tanto la propiedad queda enunciada as:
( ) C A C B y B A
LECTURA N 22: OTRAS RELACIONES ENTRE
CONJUNTOS
CONJUNTOS DISYUNTOS.
Se dice que dos conjuntos A y B son disyuntos si no tienen elementos comunes.
En cambio, llamaremos solapados a los conjuntos que, sin estar uno incluido en el
otro, tienen elementos comunes.
Ejemplos:
a) Si A = { 1, 3, 5, 7 } y B = { 2, 4, 6 } , A y B son disyuntos.
b) Si A = { 1, 2, 3, 4, 5, 6 } y B = { 5, 6, 7, 8 } , A y B son solapados.
c) Si A es el conjunto de los nmeros pares y B el de los impares, A y B son
disyuntos.
Observe los siguientes pares de conjuntos:
M N M N


B A
Fig. 1.
Fig. 2.
M N

A
M
Fig. 3.
B
A
O
1
B
O
2
A
B
Tomada con fines instruccionales
Burgos, A. (1971). Iniciacin a la Matemtica
Moderna. Selecciones Cientficas. Tercera
Edicin. (p. 23-24). Madrid.
Fig. 4
d) A y B son disyuntos en las figuras 1 y 2
e) A y B son solapados en las figuras 3 y 4
Observando la figura 5, donde I es el conjunto de puntos del circulo O, C el
conjunto de puntos de la circunferencia del circulo O y E es el conjunto de
puntos exteriores a la circunferencia;
FIG. 5.
Fig. 5
f) I y C son solapados.
g) I y E son disyuntos.
h) E y C son disyuntos.
LECTURA N 23: OPERACIONES ENTRE
CONJUNTOS
O
1
O
2
I
O
E
C
Tomada con fines instruccionales
Gmez, Teresa / Gonzlez, Neida / Lorenzo
Juana. (2007). Igualdad e Inclusin entre
Conjuntos. Artculo no publicado (p.1). Caracas.
Las operaciones entre conjuntos son formas especficas de combinar conjuntos para
formar otros conjuntos. Estas operaciones junto con sus propiedades constituyen un
sistema lgico de construccin y conducen a la teora de conjunto como un lgebra, o
sea como un sistema matemtico.
En particular, se tratan las operaciones de interseccin, unin, diferencia y
complementacin, las cuales pueden ser representadas a travs de los diagramas de
Venn. A menudo se piensa que las operaciones entre conjuntos son tiles
estrictamente en el campo formal de las matemticas, sin embargo, estas
combinaciones se utilizan de forma casi inconsciente en la vida real para tomar
decisiones en determinadas situaciones, una muestra de esto es el siguiente ejemplo:
Una estudiante de la UNEFA est decidiendo cual de dos libros va a comprar para el
curso de Razonamiento Lgico, para ello revisa la tabla de contenido y la compara
con su programa.
El programa de Razonamiento Lgico es el siguiente:
Unidad 1: LGICA PROPOSICIONAL
(a) Proposiciones, (b) Conectivos Lgicos, (c) Tablas de Verdad, (d) Tautologas y
contradicciones
Unidad 2: LEYES DE LA LGICA :
(e) Leyes de Inferencia, (f) Leyes de Equivalencia, (n) Falacias
Unidad 3: DEMOSTRACIONES MATEMTICAS
(g) Mtodos Deductivos, (h) Mtodos Inductivos
Unidad 4: TEORA DE CONJUNTOS
(i) Conceptos bsicos, (j) Diagramas de Venn, (k) Operaciones entre conjuntos,
(m) Relaciones entre conjuntos

En cada uno de los libros identificaremos con la letra correspondiente a cada tema. La
tabla de contenidos de los libros es la siguiente:
LIBRO 1 LIBRO 2
( a ) Proposiciones ( a ) Proposiciones
( b ) Conectivos lgicos ( b ) Conectivos lgicos
( c ) Tablas de Verdad ( c ) Tablas de Verdad
( d ) Tautologas y contradicciones ( g ) Mtodo Deductivo
( e) Leyes de Equivalencia ( h ) Mtodo Inductivo
( f ) Leyes de Inferencia ( i ) Conjuntos: Conceptos Bsicos
( i ) Conjuntos: Conceptos Bsicos ( k ) Operaciones entre conjuntos
( k ) Operaciones entre conjuntos ( j ) Diagramas de Venn
( m ) Relacin entre conjuntos
Ahora, para tomar una decisin, la estudiante se hace las siguientes preguntas:
1. Cules son los contenidos que tienen en comn los libros?
2. Cules son los contenidos no comunes entre los libros?
3. Cules contenidos del programa no se encuentran en ninguno de los libros?
4. Sera necesario comprar ambos libros?
Para tomar una decisin sobre cul sera el mejor libro, para comprarlo, vamos tratar
de responder estas preguntas usando las operaciones entre conjuntos, que sern
definidas a continuacin:
1) Definimos el conjunto universal: Para este caso, el universo al cual nos
queremos referir es el contenido programtico de la materia Razonamiento
Lgico. El conjunto universal lo representaremos por las letras de cada uno
de los temas y lo representamos en el siguiente rectngulo :



f k g
a j
m c
d b
e i h

n
INTERSECCIN
En el ejemplo anterior suponga que tomamos el contenido de cada libro como un
conjunto. Los contenidos del libro 1 forman el conjunto
{ } m k i f e d c b a A , , , , , , , ,
, los contenidos del libro 2 forman el conjunto
{ } k j i h g c b a B , , , , , , ,
y el
programa de la ctedra el conjunto universal
{ } m k j i h g n f e d c b a , , , , , , , , , , , ,
,
entonces observe que, los contenidos que coinciden entre los libros son
" " y , " " , " " , " " , " " k i c b a
, este es un nuevo conjunto y se llama conjunto interseccin,
grficamente se visualiza de la forma siguiente:

Observe que grficamente cada conjunto recibe un rayado o marca particular que los
diferencia y que la interseccin es la zona doblemente rayada o marcada.
La interseccin se simboliza por , en este caso la operacin A interceptado con B
queda escrita de la siguiente forma:
{ } k i c b a B A , , , ,
En general la interseccin de conjuntos se define como:
Propiedades de la interseccin.
1) Propiedad Conmutativa, es decir: A B B A
En efecto:
{ } B x A x x B A /
{ } A B A x B x x /

f k g
a j



m c
d b
e i h
n
Sean A y B subconjuntos del conjunto universal, llamaremos interseccin
de A con B al conjunto de todos los elementos comunes a ambos
conjuntos, y se especfica por comprensin como sigue:
{ } B x A x x B A /
2) Propiedad Asociativa, es decir:
( ) ( ) C B A C B A
En efecto:
( ) ( ) { } C x B A x x C B A /

{ } C x B x A x x y /

( ) { } ( ) C B A C B x A x x /
Propiedades de la interseccin y de la inclusin.
1) Un conjunto esta contenido en otros dos si, y solo si, esta contenido en
la interseccin de ambos, es decir :
B A X B X y A X
Directo. Comenzaremos por probar que:
B A X B X A X y
En efecto, todo
B A x B x A x X x y
Luego:
. B A X
Recproco. Vamos a probar ahora que
B X A X B A X y
En efecto, todo:
B x A x B A x X x y
Luego:
B X A X y
2) Un conjunto est con contenido en otro si, y slo si, la interseccin de ambos es
igual al primero de los conjuntos, es decir:
. A B A B A
Esta se conoce como Propiedad de Conformidad.
Directo. Comenzaremos por probar que:
. A B A B A
En efecto, todo: A x B A x .
Inversamente, como
, B A
todo B A x A x
Luego: A B A
Reciproco. Probaremos ahora que:
B A A B A
En efecto, como la hiptesis se sigue que
, B A A
todo B A x A x .
Ahora bien, si B x B A x
Luego:
B A
Consecuencias. Puesto que para todo conjunto A se tiene:

A A A A y ,
En virtud de la segunda propiedad, se tendrn las siguientes nuevas propiedades
conocidas como dem potencia
3)
A
4) A A A 5) A A
Dejamos como ejercicio al lector la demostracin de la siguiente propiedad:
6) B A B A
UNIN
La unin de conjuntos se simboliza por se define como:
.
En el ejemplo que tratamos al inicio de esta lectura podemos encontrar que para los
conjuntos:
{ } m k i f e d c b a A , , , , , , , ,
y
{ } k j i h g c b a B , , , , , , ,
{ } m k j i h g f e d c b a B A , , , , , , , , , , ,
grficamente;
Para la unin la solucin mostrada en el diagrama de Venn siempre ser toda la zona
que se encuentre rayada o marcada.
Propiedades de la Unin:
1). Propiedad conmutativa: A B B A
En efecto:
{ } B x A x x B A /

{ } A B A x B x x /

f k g
a j



m c
d b
e i h
n
Sean A y B subconjuntos del conjunto universal, llamaremos unin de A
con B al conjunto de los elementos del conjunto universal que pertenecen
por lo menos a uno de los subconjuntos A y B, y se especfica por
comprensin como sigue:
{ } B x A x x B A /
2). Propiedad asociativa:
( ) ( ) C B A C B A
En efecto:
( ) ( ) { } C x B A x x C B A /
{ } C x B x A x x /

( ) { } ( ) C B A C B x A x x /
Propiedades de la Unin y de la Inclusin:
1). Dos conjuntos estn incluidos en otro si, y slo si, la unin de aquellos est
contenida en ste:
X B A X B X A y
Directo. Comenzaremos por probar que:

X B A X B X A y
En efecto, por estar:

, y X B X A
Se tiene entonces,
(a) Si X x A x , si A x , tambin B A x ,
por lo tanto para todo
X A x
, entonces

X x B A x y
.
Luego

X B A
.
(b) Si X x B x , si B x , tambin B A x ,
por lo tanto para todo
X B x
, entonces

X x B A x y
.
Luego

X B A
.
La demostracin del Reciproco
X B X A X B A y
queda a cargo del
lector.
2). Un conjunto est con cotenido en otro si, y slo si, la unin de ambos es igual al
segundo de los conjuntos:
B B A B A
. Se conoce como la Propiedad de
Conformidad
Directo. Comenzaremos por probar que:

B B A B A
En efecto, todo

B x A x B A x
( por definicin)
Pero como
, B A
para todo A x se tiene B x ,
por lo tanto
B B A
(i)
Por otro lado, para todo
B A x B x
y, por tanto,
B A B
(ii)
Por lo tanto, por (i) y (ii) que:
B B A
La demostracin del reciproco
B A B B A
queda a cargo del lector.
Visto las propiedades anteriores se concluye que para todo conjunto A se tiene:

A y A A A,
En virtud de esta propiedad 2 se tendrn las siguientes nuevas propiedades conocidas
como dem potencia:
3)
A A
4) A A A .
5) A
Dejamos a cargo al lector la deduccin de la siguiente propiedad
6)
B A B A
Propiedad de la Interseccin y de la Unin:
1). Propiedad Distributiva:
a.-
( ) ( ) ( ) C A B A C B A
b.-
( ) ( ) ( ) C A B A C B A

2). Propiedad de Absorcin:
a.-
( ) A B A A

b.-
( ) A B A A

Demostrar la propiedad (2.a):
( ) A B A A
Directo.
Todo
( ) A x B A x A x B A A x y

Se deja al lector la demostracin del Recproco: Si
, B A x A x
Las relaciones de (1.a) y (2.a) nos permiten probar fcilmente la certeza de la relacin
(2.b), pues, en efecto:
( ) ( ) ( ) ( ) A B A A B A A A B A A
COMPLEMENTACIN
La palabra complementacin nos trae la idea de completar algo, es decir, es aquella
otra parte que tiene lo que le hace falta a una parte ya dada o existente. Para definir el
complemento de un conjunto, es necesario primeramente establecer el conjunto
respecto al cual se determinar la operacin de complementacin, es decir, el conjunto
de referencia, el cual es variable.
Una vez ms centremos la atencin en el ejemplo dado al inicio de la lectura, y
observemos las diferentes situaciones para establecer el conjunto de referencia y el
complemento:
1- Cuando el conjunto de referencia es el Universo
Siendo el conjunto de referencia
{ } m k j i h g n f e d c b a , , , , , , , , , , , ,
, suponga
que se desea encontrar el complemento de A
( ) A
:
1. El complemento de A es
{ } j h g n , , ,
(son los elementos que le faltan a A para ser
)
2. El complemento de B A es
{ } n
3. El complemento de B A es
{ } n m j h g f e d , , , , , , ,
2-. Cuando el conjunto de referencia es otro conjunto u operacin entre dos o ms
subconjuntos del Universo.
Suponga que se desea encontrar el complemento de A, si los conjuntos de
referencia son:
a)
{ } m k j i h g f e d c b a B A , , , , , , , , , , ,
, el complemento de A es
{ } j h g , ,
b)
{ } k i c b a B A , , , ,
, el complemento de A es
{ }
La complementacin de un conjunto, supongamos A, se simboliza por
A A A
c
y , '
,
tambin se utiliza
( )

A C
, est ltima notacin es funcional debido a que indica el
conjunto de referencia y el conjunto al cual se le determinar el complemento, en este
caso se lee complemento de A respecto al conjunto universo. Recuerde que no
siempre el conjunto de referencia es el conjunto universal.
En esta lectura tomaremos la notacin
( )

A C
y para cada uno de los casos
sealados arriba la operacin complemento queda simbolizada de la siguiente forma:

Cuando el conjunto de referencia es
el Universo
Cuando el conjunto de referencia es otro
conjunto u operacin entre dos o ms
subconjuntos del Universo
( )

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

En general la complementacin de conjuntos se define respecto al conjunto universal

y lo haremos como sigue:
Es importante notar que la notacin
' P
utilizada para simbolizar complementacin es
muy parecida a la notacin
' p
para simbolizar la negacin de una proposicin, sin
embargo, recuerde que un caso se aplica para conjunto y en otros para proposiciones,
tenga cuidado de confundirlas.
Propiedades de la complementacin:
1). El conjunto A interceptado con su complemento es el conjunto vaco :
( )

A C A
En efecto, si:
( ) ( ) ( ), A C x y A x A C A x


es decir:
, A x y A x
lo cual es absurdo. Luego, ningn x pertenece al conjunto
A C A

y, por tanto
( )

A C A
.
(2). La unin de A con su complemento es el conjunto universal

A C A
La deduccin de esta propiedad es bastante similar a la anterior, por lo cual la
dejamos a cargo del lector.
Si A es un subconjunto del conjunto universal , llamaremos complemento de
A al conjunto formado por los elementos de que no pertenece a A; y se
especfica por comprensin como sigue:
( ) { } A x x A C

/
3). El complemento del conjunto vaco es el conjunto universal :
( )

C
En efecto:

( ) { }

x x x C /
4). El complemento del conjunto universal es el conjunto vaco :
( )

C
La deduccin de esta propiedad es bastante similar a la anterior, por lo cual la
dejamos a cargo del lector
5). El complemento del complemento de un conjunto es el conjunto :

( )

A C C
Esta `propiedad se conoce como involucin o doble
complementacin
En efecto:

( ) ( ) ( ) { } A A C x x x A C C

/


( ) ( ) A C B C B A


6). A est incluido en B si y solo si el complemento de B est incluido en el
complemento de A :
( ) ( ) A C B C B A


Directo. Comenzaremos por probar que:
( ) ( ) A C B C B A


En efecto, todo
( ) , B x B C x

Pero como
, B A

( ) A C x A x B x

Luego
( ) ( ) A C B C

Se deja la comprobacin del recproco

( ) ( ) B A A C B C

a cargo del lector
Leyes de Morgan
7). El complemento de la interseccin es la unin de los complementos:

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



( )

B A C
( ) { } B A x x x /

( ) ( ) ( ) { } B C x A C x x x

/

( ) ( ) { } ( ) ( ) B C A C B C A C x x x

/
8). El complemento de la unin es la interseccin de los complementos

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


La deduccin de esta propiedad es bastante similar a la anterior, por lo cual la
dejamos a cargo del lector
DIFERENCIA
La diferencia entre conjunto se denota por A B y en el ejemplo inicial de la lectura
se puede observar que
{ } m f e d B A , , ,
, como habr visto esta operacin se
refiere al conjunto formado por aquellos elementos que estn en A pero no en B,
grficamente representa la zona rayada como se muestra en el siguiente diagrama de
Venn.
Si quisiramos obtener B A esto seran los elementos de B que no estn en A ,
es decir,
{ } j h g A B , ,
, es importante observar en este punto que la diferencia de
conjuntos no cumple con la propiedad conmutativa, es decir A B B A .
Grficamente representa la zona rayada como se muestra en el siguiente diagrama de
Venn:
n

f k g
a j



m c
d b
e i h
A
B
n A
B

f k g
a j
m c
d b
e i h
En general la diferencia de conjuntos se puede definir como:
Propiedades de la diferencia
1). La diferencia de A B es igual a la interseccin de A con el complemento de B:

( ) B C A B A

En efecto:
{ } B x A x x B A /
( ) { } ( )

B C A B C x A x x /
La igualdad (1) nos pone de manifiesto la relacin de dependencia que existe entre la
operacin diferencia y las de interseccin y complementacin (ver la prxima
operacin), sealndonos de paso la posibilidad de adoptar dicha igualdad (1) como
definicin de diferencia.
2). La diferencia de A A es igual al conjunto vaco:
A A
En efecto:
( )

A C A A A
3). La diferencia entre un conjunto dado y el conjunto vaco es igual al conjunto dado:
A A
En efecto:
( ) A A C A A

4). La diferencia entre el conjunto vaco y un conjunto dado es igual al conjunto vaco:
A

En efecto:
( )

A C A
(ver propiedad 1)
5). La diferencia entre el conjunto universal y un conjunto dado es igual a
complemento del conjunto dado:
( ) A C A

En efecto:
( ) ( ) A C A C A

Sean A y B subconjuntos del conjunto universal, llamaremos diferencia

de A con B al conjunto de todos los elementos que se encuentran en A
(sustraendo) y no en B (minuendo) , y se especfica por comprensin como
sigue:
{ } B x A x x B A /
6). La diferencia entre un conjunto dado y el conjunto universal es igual al conjunto
vaco:
A
En efecto:
( )

A C A A
7). El complemento de la diferencia es igual a la unin del complemento de A con B:
( ) ( ) B A C B A C

En efecto:
( ) ( ) ( ) ( ) ( ) ( ) B A C B C C A C B C A C B A C

,
_

8). Leyes de Morgan:
(a)
( ) ( ) ( ) D A B A D B A

En efecto:

( ) ( ) ( )

D C B C A D B C A D B A

( ) ( ) { } D C x B C x A x x

/

{ } D x B x A x x /

{ } B x A x x /
y
{ } ( ) ( ) D A B A D x A x x /
(b)
( ) ( ) ( ) D A B A D B A

En efecto:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) D C A B C A D C B C A D B C A D B A



( ) ( ) D A B A
(9) L a diferencia de A B es igual al complemento de B menos el complemento de A :
( ) ( ) A C B C B A


En efecto:
{ } B x A x x B A /

( ) ( )

'

B C x A C x x /

( ) ( ) { } ( ) ( ) A C B C A C x B C x x

/
(10)
( ) ( ) D B A D B A
En efecto:
( ) ( ) { } D x B A x x D B A /

{ } D x B x A x x /


( ) ( ) ( ) D A B A D B A
(11)
( ) ( ) ( ) D A B A D B A
En efecto:
( ) ( ) ( ) ( )

D B C A D B C A D B A

( ) ( ) ( ) ( ) ( ). D A B A D A B C A

(12)
( ) B A B A A
En efecto:
( ) ( ) ( ) ( ) B A B A O B A A A B A A
(13)
( ) ( ) ( ) A D B A D B A
En efecto:
( ) ( ) ( ) ( ) ( ) ( ) D C A B A D C B A D B A



( ) ( ) ( ) ( ) ( ) A D C B A A D C B A


( ) ( ). A D B A
(14) Propiedad Distributiva:
( ) ( ) ( ) D A B A D B A

(15)
B A B A

SUMA BOOLEANA O DIFERENCIA SIMETRICA
La Suma Booleana o tambin llamada diferencia simtrica de dos conjuntos
cualesquiera A y B, se simboliza por el signo + y y la suma booleana de A con
B queda escrita de la forma siguiente: A B.
En general la suma booleana se define como:
De acuerdo a la definicin anterior tenemos la igualdad

( ) ( ) ( ) ( ) A B B A B A B A B A
Recordando el ejemplo inicial de esta lectura, en el cual
{ } m k i f e d c b a A , , , , , , , ,
y
{ } k j i h g c b a B , , , , , , ,
, entonces
B A { } m j h g f e d , , , , , ,

Ejemplos:
a) Si A
{ } 5 , 4 , 3 , 2 , 1
y B
{ } 8 , 7 , 6 , 5 , 4
,

( ) ( ) { } { } { } 8 , 7 , 6 , 3 , 2 , 1 8 , 7 , 6 3 , 2 , 1 A B B A B A
b) Si A
{ } 4 , 3 , 2 , 1
y B
{ } 8 , 7 , 6
,

( ) ( ) { } { } { } 8 , 7 , 6 , 4 , 3 , 2 , 1 8 , 7 , 6 4 , 3 , 2 , 1 A B B A B A
c) Si A
{ } 6 , 5 , 4 , 3 , 2 , 1
y B
{ } 5 , 4 , 3
,

( ) ( ) { } { } { } 6 , 2 , 1 , 6 , 2 , 1 A B B A B A
Propiedades de la Suma Booleana o Diferencia Simtrica:
1).
B A B A B A
En efecto:
( ) ( ) ( ) ( ) [ ] B A A B B A A B B A B A

( ) ( ) [ ] B A A B A B


( ) . B A B A B A B B A B
2).
A A
3).
A A

4).
A C A

En efecto:
A C A A A A

5).
( ) ( ) ( ) ( ) ( ) B C A C B A B A C


6). Propiedad Conmutativa:
A B B A

7). Propiedad Asociativa:
( ) ( ) C B A C B A

8). Propiedad Distributiva:
( ) ( ) ( ) C A B A C B A

9).
( ) ( ) ( ) [ ] C B A C D B A D B A

Sean A y B subcojuntos del conjunto universal, llamaremos suma booleana o
diferencia simtrica de A con B al conjunto de todos los elementos que se
encuentran en la unin de A con B a excepcin de los que estn en la
interseccin de A con B, y se especifica por comprensin como sigue:
( ) ( ) { } B A x B A x x B A /
10).
( ) ( ) ( ) ( ) ( ) D C B D C A C B A



11).
( ) ( ) ( ) ( ) ( ) D C B C A D B A D B A


Ejercicios:
1. Si
{ } 9 , 8 , 7 , 6 , 5 , 4 , 3 , 2 , 1 , 0
,
{ } 9 , 4 , 3 , 2 , 1 , 0 A
,
{ } 6 , 5 , 4 , 3 , 2 B
y
{ } 9 , 7 , 5 , 4 , 3 D
, se pide: determinar las operaciones siguientes y representar en un da digrama
de Venn los conjuntos y dicha operaciones:
(a)
( ) D B A
(b)
( ) D B A
(c)
( ) ( ) A C D C
D B A

2. Utilizando diagramas de Venn verificar la relacin:

( ) ( ) ( ) D A B A D B A
3. Utilizando las definiciones y propiedades verifique la igualdad
( ) A B A
4. Si es el conjunto de los empleados de un ministerio, en el que supondremos
no hay viudos-as ni divorciados-as, A, B, D, E y F respectivamente, son los
conjuntos de hombres casados, hombres solteros, empleados (hombres o
mujeres) con ttulo universitario, mujeres casadas y mujeres solteras. Se pide:
(a) Completa la siguiente representacin grfica de cada uno de
estos conjuntos:
(b) Expresar como una operacin los siguientes enunciados:
b. 1.- Todos los hombres sin ttulo
b. 2.- Todos los empleados solteros, casadas y casados sin ttulo
b. 3.- El conjunto vaco
(c) Expresar con palabras la operacin entre conjunto:
c.1.- A C c.2.-
( ) B A
c.3.- B A c.4.
( ) B A C
D

.
LECTURA N 24: APLICACIONES DE LAS
OPERACIONES ENTRE CONJUNTOS
D
Solteros
Hombres
Tomada con fines instruccionales
Gmez, Teresa / Gonzlez, Neida / Lorenzo Juana.
(2007). Aplicaciones de las Operaciones entre
Conjuntos. Artculo no publicado (p.1-3). Caracas.
En los siguientes ejercicios se evidencia la utilidad que tienen las operaciones de
conjuntos para resolver situaciones de la vida cotidiana, proporcionando a cada
individuo que la utiliza el ejercicio mental que se requiere para obtener la habilidad en
la resolucin de problemas, ejercitando de esta forma la observacin, la cual nos
permite extraer informacin necesaria y ms an relacionarlas de forma coherente
para llegar a la solucin de las situaciones que se plantean como problemas o mas
bien como retos.
Problema 1:
A un grupo de estudiantes de la UNEFA, quienes tienen por actividad complementaria
visitar diferentes lugares del pas, se les pregunta acerca de su gusto para visitar los
siguientes parques nacionales: Sierra de San Lus (Edo. Falcn), Sierra Nevada (Edo.
Mrida) y Mochima (En Sucre), a cada grupo de respuesta lo identificaremos con una
letra al lado, la informacin obtenida es la siguiente:
a) A 33 estudiantes slo les gusta El
Parque Nacional Sierra de San Lus
i. A 15 estudiantes les
gusta los Parques Nacionales Sierra
de San Lus y Mochima
b) (b) A 32 estudiantes slo les gusta
El Parque Nacional Sierra Nevada
c) A 14 estudiantes les gusta los
Parques Nacionales Sierra Nevada y
Mochima
i. A 28 estudiantes slo
les gusta El Parque Nacional Mochima
d) A 5 estudiantes les gusta por igual
los Tres
i. A 11 estudiantes les
gusta los Parques Nacionales Sierra
de San Lus y Sierra Nevada
e) A 7 estudiantes no les gusta
ninguno de estos Parques Nacionales
Utilizando esta informacin sobre las preferencias de los estudiantes por los Parques
Nacionales, responde las siguientes preguntas:
a) Cul es el nmero total de estudiantes encuestados?
b) A cuntos estudiantes le gustara El Parque Nacional Mochima?
c) A cuntos estudiantes les gustara dos de estos Parques?
Respuestas:
A simple vista parece fcil responder a la primera pregunta sumando las ocho cifras
dadas para cada grupo de respuesta, pero no es cierto, este procedimiento no basta,
pues algunas respuestas estn solapadas, obsrvelo en la siguiente figura:
Entonces, consideremos que los 33 estudiantes a quienes les gusta El Parque Sierra
de San Luis no deben ser colocados dentro de la regin identificada con a, pero si
deben ser distribuidos en las regiones a, d, e y g, de tal forma que sea consistente con
la informacin dada. Como en un principio, no sabemos como distribuir a los 33
estudiantes a quienes les gusta El Parque Sierra de San Lus, buscamos la
informacin ms fcil de manejar.
Por lo tanto los 11 a quienes les gusta Sierra de San Lus y Sierra Nevada deben ir
en las regiones d y g. Como la regin g ya contiene 5 estudiantes es fcil conocer
que en d hay 6, restando 11 5 = 6. Como hay 15 estudiantes a quienes les gusta
Sierra de San Lus y Mochima (regiones e y g) y conocemos cuantos hay en g,
obtenemos e restando 15- 5 = 10, hay 10 estudiantes en la regin g. Mediante
razonamientos similares, a cada regin se le asignan de forma correcta los nmeros
correspondientes, como se muestra en el siguiente diagrama de Venn:
h
a
e
g
d f
b
c

Mochima
Sierra Nevada
Sierra de
San Luis
Los solapamientos (intersecciones) entre
unos gustos y otros estn representados
por las siguientes letras: d, e, f y g .
7
h
a
e
5
g
d f
b
c

Mochima
Sierra Nevada
Sierra de
San Lus
En este caso tomaremos el nmero ms
pequeo en la lista 5 estudiantes a
quienes les gustan los tres lugares este
grupo de alumnos deben ser colocados
en la regin g (interseccin de los tres
conjuntos) y los 7 a los que no les gusta
ninguno se ubican en la regin h, como
muestra el diagrama al lado derecho de
este prrafo
7
h
12
a
10
e
5
g
6
d
9
f
12
b
4
c

Mochima
Sierra Nevada
Sierra de
San Luis

Ahora podemos responder a cada una de las preguntas planteadas originalmente:
a) Cul es el nmero total de estudiantes encuestados?
Puesto cada estudiante en la encuesta fue colocado en exactamente en una regin
de la figura 19, el nmero total de estudiantes encuestados es la suma de los
nmeros en cada regin:
a + b + c + d + e + f + g + h = 12 + 11 + 7 + 6 + 10 + 9 + 5 + 7 = 65
Se encuestaron a 65 estudiantes.
b) A cuntos estudiantes le gustara nicamente El Parque Nacional Mochima?
Un estudiante a quien slo le gusta Mochima, no le gusta Sierra Nevada ni Sierra
de San lus, este tipo de estudiante se encuentra en la regin c, donde se
observa que slo a 4 estudiantes les El Parque Nacional Mochima.
c) A cuntos estudiantes les gustara dos de estos Parques?
A los estudiantes de las regiones d, e y f les gusta exactamente dos parques, si
sumamos los nmeros en cada regin obtenemos: 10 + 6 + 9 = 25 estudiantes.
Comentario sobre las respuestas: En el problema que se acaba de resolver se
observa que para la respuesta de cada una de las preguntas se utilizaron las
operaciones entre conjuntos, lo cual muestra la importancia de manejar las
definiciones y conceptos de dichas operaciones. Para la primera pregunta se aplic
la unin como una operacin de conjunto como sigue
{ } { } { } Mochima Nevada Sierra Lus San de Sierra
. Para la segunda pregunta se
evidencia la operacin de diferencia de conjuntos quedando de la forma
{ } { } { } [ ] Lus San de Nevada Sierra Sierra Mochima
. Y en para la tercera pregunta la
operacin utilizada fue la interseccin y unin de conjuntos, como sigue:
{ } { } [ ] { } { } [ ] { } { } [ ] Mochima Sierra Sierra Lus San de Mochima Nevada Sierra Nevada Sierra Lus San de
Problema 2:
El Coordinador del ciclo bsico de ingeniera de la UNEFA aplic una encuesta en el
primer y segundo semestre para conocer el avance de sus alumnos en el rea
f (Sierra Nevada y Mochima) = 14 g = 14 5 = 9
a (nicamente Sierra de San Lus)= 33- d g - e = 12
b (nicamente Sierra Nevada)= 32- d g - f = 12
c (nicamente Mochima)= 28 - g - e - f= 4
numrica: Fundamentos de Matemtica, Razonamiento Lgico y Geometra Analtica.
Los resultados fueron los siguientes:
a) 4300 estudiantes slo han aprobado
matemticas I
b) 2500 matemticas I y geometra
analtica
c) 5800 estudiantes slo han aprobado
Razonamiento lgico
d) 2800 razonamiento y geometra
analtica
e) 6500 estudiantes slo han aprobado
Geometra Analtica
f) 2010 alumnos aprobaron las tres
g) 1900 Matemticas y Razonamiento
lgico
h) 956 alumnos no aprobaron ninguna
de las materias
Utilizando esta informacin, responda las siguientes preguntas:
a) Cul es el nmero total de estudiantes encuestados?
b) Cuntos estudiantes aprobaron Fundamentos de Matemtica?
c) Cuntos estudiantes aprobaron dos de estas materias?
d) Qu tipo de decisiones puedes tomar con esta informacin
LECTURA N 25: NMERO DE ELEMENTOS DE UN
CONJUNTO
En lecturas anteriores se han resuelto ejercicios del quehacer diario, mostrando la
aplicabilidad de las operaciones entre conjuntos, y cuya resolucin se realiza por
simple inspeccin de la informacin dada, por supuesto, con el apoyo de diagramas de
Venn y en otros casos con tablas y otros, pero sin disponer de una frmula que
permita, en todo caso, determinar nmero de elementos de un conjunto o de varios
conjuntos y de los conjuntos resultantes de las operaciones establecidas entre los
mismos.
La notacin para nmero de elementos de un conjunto es la siguiente: n( conjunto).
Por ejemplo: n(B),
( ) B A n
,
( ) B A n
y se lee nmero de elementos del conjunto A,
nmero de elementos del conjunto A interceptado con el conjunto B, y nmero de
elementos del conjunto A unido con el conjunto B, respectivamente.
Para determinar el nmero de elementos de la unin de dos conjuntos se usa la
siguiente frmula:
( ) ( ) ( ) ( ) B A n B n A n B A n +
(I)
Tomada con fines instruccionales
Gmez, T. / Gonzlez, N. / Lorenzo J. (2007).
Nmero de Elementos de un Conjunto.
Artculo no publicado (p.3). Caracas.
Es importante sealar que al calcular el nmero de elementos de la unin de dos
conjuntos A y B, cuando contamos el nmero de elementos en A, n(A) y el nmero de
elementos en B, n(B), y los sumamos, el nmero de elementos de la interseccin,
( ) B A n
, se ha contado dos veces, una vez cuando contamos n(A)y otra vez cuando
contamos el n(B), ya que esos elementos pertenecen a ambos conjuntos, por lo que
en la frmula se restan una vez. Con el nmero de elementos de la unin de A con B,
nos estamos refiriendo al nmero de elementos que estn en A o en B
En caso de que los dos conjuntos sean disjuntos la frmula quedara:
( ) ( ) ( ) B n A n B A n +
Ya que la
B A
, luego
( ) 0 B A n
.
Ejemplo N 1:
Sea el conjunto universal
{ } m k j i h g n f e d c b a , , , , , , , , , , , ,
y sean los
conjuntos
{ } m k i f e d c b a A , , , , , , , ,
,
{ } k j i h g c b a B , , , , , , ,
y
{ } n C
,
entonces observa que:
( ) ( ) + B n A n
9 + 8 = 17,
estamos contando dos veces los elementos comunes que son
( ) B A n
= 5, luego hay
que restarlos para tener el nmero de elementos real de la unin de A con B. que
seran 12.
( ) ( ) ( ) ( ) B A n B n A n B A n +
= 9 + 8 - 5= 12
Vamos a calcular ahora el nmero de elementos de A unin C,
( ) ( ) ( ) ( ) C A n C n A n C A n +
= 9 + 1 + 0 =10
el
( ) ( ) ( ) C n A n C A n +
, debido a que A y C son conjuntos disjuntos
La frmula dada para dos conjuntos puede ser generalizada para tres conjuntos de la
siguiente manera:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) C B A n C B n C A n B A n C n B n A n C B A n + + +
(II)
Cuando hablamos de
( ) C B A n
nos referimos al nmero de elementos que estn
en A o en B, o en C.
Procedemos a realizar el clculo del nmero de elementos de la unin de tres
conjuntos, de manera anloga al realizado para el nmero de elementos de la unin
entre dos conjuntos, a saber: primero contamos los elementos de cada conjunto, y
luego los sumamos (
( ) ( ) ( ) C n B n A n + +
). Restamos a la suma anterior el nmero de
elementos que se han contado dos veces, los cuales son:
( ) B A n
,
( ) C A n
, y
( ) C B n
, es decir
( ) ( ) ( ) [ ] C B n C A n B A n + +
,
sin embargo debemos incorporar la interseccin de los tres conjuntos A, B y B, ya que
esos elementos se incorporaron tres veces cuando se realiz la suma de:

( ) ( ) ( ) C n B n A n + +

y posteriormente se descontaron tres veces cuando efectuamos
( ) ( ) ( ) [ ] C B n C A n B A n + +
,
por lo que debemos sumar C B A una vez.
Ejemplo N2:
Sean los conjuntos:
{ } 7 , 5 , 1 , 1 , 2 , 3 A
,
{ } 9 , 7 , 5 , 3 , 2 , 1 , 4 B
y
{ } 7 , 3 , 1 , 1 , 3 , 6 C
.
De manera directa se obtienen los siguientes conjuntos:
{ } 7 , 5 , 1 B A
,
{ } 7 , 1 , 1 , 3 C A
,
{ } 7 , 3 , 1 C B
,
{ } 7 , 1 C B A
y
{ } 9 , 7 , 5 , 3 , 2 , 1 , 1 , 2 , 3 , 4 , 6 C B A
De lo anterior tenemos:
n(A)=6, n(B)=7, n(C)=6,
( ) 3 B A n
,
( ) 4 C A n
,
( ) 3 C B n
,
( ) 2 C B A n
,
reemplazaremos estos valores en la ecuacin II y tenemos:
( ) 11 2 3 4 3 6 7 6 + + + C B A n
,
este valor puede ser comprobado si contamos los elementos de
{ } 9 , 7 , 5 , 3 , 2 , 1 , 1 , 2 , 3 , 4 , 6 C B A
, que son 11.
Ejercicios:
1. En una encuesta realizada a 2.000 personas para saber sus preferencias por tres
teatros de Caracas, se obtuvieron los siguientes resultados:
580 personas asistan al Teatro Nacional
840 personas asistan al Teatro Municipal
920 personas asistan al Teatro Teresa Carreo
260 personas asistan al Teatro Nacional y al Teatro Municipal
220 personas asistan al Teatro Nacional y al Teatro Teresa Carreo
300 personas asistan al Teatro Municipal y al Teatro Teresa Carreo
100 personas asistan al Teatro Nacional, Teatro Municipal y al Teatro Teresa
Carreo
Se pregunta:
a) Cuntas personas asisten al Teatro Nacional o al Teatro Municipal, o al
Teatro Teresa Carreo?
b) Cuntas personas no van a ninguno de los tres teatros?