?

5.1 Introduccin
Parece claro, y en la mayora de los textos que tratan en forma elemental la teora de conjuntos se
afirma de una manera categrica, que la nocin de conjunto es una nocin que se tiene,
intuitivamente, clara. Es decir, todo el mundo comprende lo que significa un conjunto de personas,
un conjunto de nmeros, etc. Sin embargo al introducirnos en la teora matemtica de conjuntos
debemos prescindir de lo que intuitivamente se presenta claro y adentrarnos en un mundo de gran
rigor, donde todo lo que se utilice haya sido previamente establecido: o bien como proposiciones
primitivas, o como trminos y relaciones primitivas o como trminos y relaciones definidas; y
signifique slo lo que se convenga que signifique. En otros trminos: la matemtica es una
construccin del hombre, y, por tanto, debe elegir los elementos de construccin y las normas de
construccin. Las normas ya las hemos fundamentado en la lgica proposicional y cuantificacional, en
consecuencia tenemos completas las herramientas y preciso el camino a seguir.
As pues, debemos distinguir entre lo que intuitivamente se entiende por conjunto y lo que
matemticamente debe entenderse por conjunto (a pesar de que los conjuntos intuitivos pueden ser
tiles en tanto que soporte metodolgico para comprender mejor las definiciones matemticas).
Observaremos en el desarrollo de este tema, como la forma de construir conjuntos que en muchas
ocasiones hemos leido en los textos y que posiblemente parecera muy natural, consistente en que:
dada una propiedad cualquiera, siempre es posible determinar el conjunto formado por todos los
objetos que la satisfacen, es en s paradjica.
Ello nos obliga por lo tanto a continuar con la construccin de una teora axiomtica para los
conjuntos y explica la opcin que hemos adoptado para su estudio.
5.1.1 Trminos Primitivos
Los trminos conjunto y elemento , los consideramos como primitivos , esto es no definidos. En
particular, la frmula , la leeremos x es un elemento del conjunto A . Su negacin la
indicaremos tambin como y se lee x no es un elemento del conjunto A.
5.1.2 Axioma 1. Algunas propiedades de la igualdad
1. reflexividad.
2. . Simetra
3. . Transitividad.
Axioma 2. Axioma de extensin.
Si A , B son conjuntos: .
Observaciones.
1. En general, designaremos los conjuntos por letras latinas maysculas, y los elementos por letras
latinas minsculas.
2. Intuitivamente, el Axioma de extensin establece que dos conjuntos son iguales, si y solamente si
tienen los mismos elementos.
5.2 Partes de un conjunto
Definicin.
Sean A , B conjuntos. Designamos por la frmula:
esto es:
.
Esta frmula tambin se lee as:
A es un subconjunto de B
A est incluido en B
A es una parte de B
El smbolo se denomina smbolo de la inclusin.
La frmula designada por la denominamos relacin de inclusin entre A y B .
Representacin grfica mediante diagramas de Venn (figura 1).

____Figura 1 ___________________Figura 2
Observaciones.
1. Por la estructura lgica que presenta la frmula anterior, para demostrar que una frmula
especfica del tipo es verdadera procedemos, en general, as:
1. Supongamos: . Hiptesis auxiliar
.____________________
.____________________
.____________________
.____________________
n)
n+1) . Mtodo directo
n+2) . G.U.
n+3) . Definicin de inclusin en (n+2)
2. De la definicin anterior podemos concluir tambin que
que notaremos tambin como . Para probarlo, basta exhibir un
elemento de A que no es elemento de B . Figura 2.
Teorema 1. Primeras propiedades de la inclusin.
1.
2.
3.
Demostracin de 1.
1. . R.A.2
2. . R.A.1
3. . Transitividad en la implicacin de 1 y 2. (*)
4. . G.U. en 3.
5. . Definicin inclusin en 4.
Nota.
Obsrvese que la propiedad demostrada tiene como fundamento estructural el teorema que
podemos presentar tambin como y se designa con el nombre de el tercero excluido .
Demostracin de 2.
1. Supongamos: . Hiptesis 1.
2. ____________ . Simplificacin en 1.
3.____________ Simplificacin en 1.
4. ____________ . Def. De y P.U. en 2.
5. ____________ . Def. De y P.U. en 3.
6. ____________ . Transitividad de 5) y 6).
7. ____________ . G.U. en 6.
8. ____________ Def. De inclusin en 7.
9. ____________ Mtodo directo.
Demostracin de 3.
. Axioma de extensin.
. Def. de equivalencia.
. Teorema. Distributividad del cuantificador
universal.
. Definicin de inclusin.
Observaciones.
1. La demostracin de la propiedad 3 nos permite mostrar un esquema muy comn, cuando se trata
de algunas equivalencias, que permiten sin romper la equivalencia, proceder por sustitucin sucesiva
de expresiones equivalentes apoyados en la R.V.3.
2. Intuitivamente la propiedad 3 establece que dos conjuntos son iguales si y solamente si estn
mutuamente incluidos.
5.3 Axioma de seleccin separacin (Zermmelo-Fraenkel)
Resea histrica.
George Cantor (1845 - 1918) creador del edificio maravilloso de la teora de Conjuntos, que permita
prcticamente expresar cualquier rama de la matemtica en trminos de este lenguaje unificador y
perfecto, estableci como uno de sus principios para la determinacin de conjuntos el siguiente:
Dada cualquier propiedad P , siempre es posible definir un conjunto.
Bertrand Russell (1872 - 1972) mostr que este principio para determinar conjuntos era paradjico y
en consecuencia, que la estructura propuesta por Cantor, padeca en su base de una contradiccin
que causaba su desplome. Esta situacin conllev a la conocida crisis de los fundamentos de la
matemtica que por mucho tiempo dej un vaco completo, despus de un logro tan grande.
Veamos con detalle la propiedad planteada por Russell.
Sea y definamos el conjunto caracterizado por dicha propiedad (conjunto de Russell)
como:

Admitiendo, como lo veremos a continuacin, que dado ; entonces:
i)
ii)
se tiene para el conjunto de Russell:
i)
ii)
que, como podemos observar conduce a una paradoja.
Una de las salidas a la crisis anterior, la proporcionaron Zermmelo y Fraenkel a travs del Axioma de
Seleccin o de Separacin; en el cual se parte siempre de un conjunto preexistente, del cual se
pueden seleccionar nuevas subcolecciones.
Axioma 3. (Axioma de Seleccin o Separacin).
Sean: T un conjunto, una frmula.
Para todo conjunto T existe un subconjunto A y solo uno formado por todos los elementos de T que
verifican la propiedad .
Esto es:
Notacin.
El conjunto A descrito por el Axioma 3 lo notamos:
que se lee: A es el conjunto formado por todos los elementos x , tales que y x verifica la
propiedad P . Esta notacin la designamos notacin por comprensin.
Observaciones.
1. Al describir el conjunto A en la forma anterior, la frmula la denominamos la
propiedad caracterstica o definitoria del conjunto A .
2. En esta forma A est constituido nicamente por todos aquellos objetos que verifican la propiedad
caracterstica.
3. Intuitivamente podemos interpretar el significado de este axioma as: Dado un conjunto T ,
podemos obtener nuevos conjuntos (subconjuntos de T ), tomando diferentes propiedades y
seleccionando de los elementos de T , aquellos que las verifiquen.
As, dados: T conjunto, : frmulas.

Figura 3
luego


Qu ocurre si todos los elementos de T verifican a ?
Qu ocurre si ningn elemento de T verifica a ?
Ilustracin 1.
Sean: Z : Conjunto de los nmeros enteros



Definimos: Conjunto de nmeros pares
__________ Conjunto de nmeros impares
__________ Conjunto de mltiplos de 5.

Figura 4
5.4 Definicin. Complemento de un conjunto
Sean: X , M conjuntos, .
Definimos mediante el Axioma 3, un conjunto con la propiedad: dicho conjunto lo
llamaremos Complemento del conjunto M respecto al conjunto X y lo notamos .
Esto es: .
Consecuencias
i)
ii)
Representacin grfica.

Figura 5
Teorema 2. Primeras propiedades del complemento.
Sean: M , N , X conjuntos
1. Si entonces .
2. Sean: , . si y slo si .
Nota.
En adelante simplificaremos la redaccin de las demostraciones, asumiendo la comprensin que a este
nivel debe tenerse sobre el lenguaje empleado, pero manteniendo desde luego el rigor, la coherencia.
Demostracin de 1:
Supongamos: (Hip. aux.. 1)
Supongamos Hip. aux. 2
en consecuencia Def. Complemento
esto es: Consec. Def. complem.
Por tanto
Conclusin: (1)
Supongamos: Hip. aux. 2
__________________ De la hiptesis 1.
__________________Luego es verdadera, como tambin
__________________ , esta ltima equivale a:
__________________ ; por tanto
__________________ es verdadera, que a su vez equivale a
Conclusin: (2)
. Conjuncin de (1) y (2).
Por tanto: Si entonces .
Ejercicio. Demostrar el numeral 2.
5.5 Definicin. Conjunto vaco
Sea: X un conjunto.
Definimos mediante el Axioma 3, un conjunto con la propiedad: , dicho conjunto
lo llamaremos Conjunto vaco y lo notamos por la letra griega (fi).
Esto es:
Consecuencias:
1.
2.
Observaciones.
1. El conjunto vaco es un conjunto que no tiene elementos, puesto que su propiedad caracterstica
corresponde a una contradiccin, la cual no es satisfecha por ningn objeto.
2. La frmula de la derecha, en la equivalencia ii) es el teorema del medio excluido, lo que permite
establecer formalmente como teorema que ningn elemento pertenece al conjunto f .
Teorema 3. Propiedades del conjunto vaco.
1. .
2. Si X es un conjunto entonces .
3. Si X es un conjunto entonces .
4. Si A es un conjunto entonces
Demostracin de 2.
1. Sea X un conjunto. Hiptesis general
2. Teorema 3.1. P.U.
3. Adjuncin en 2.
4. Def. de implicacin en 3.
5. G.U. en 4.
6. Def. de inclusin en 5.
7. Si X es un conjunto, entonces . Mtodo directo.
Observaciones.
1. Este resultado se expresa diciendo que el conjunto vaco es subconjunto de cualquier conjunto.
2. El numeral 4 establece que, para demostrar que un conjunto dado no es el conjunto vaco, basta
probar que tiene al menos un elemento.
Ejercicio. Demostrar los numerales: 1, 3 y 4.
5.6 Conjuntos finitos. Notacin por extensin.
Intuitivamente, diremos que un conjunto es finito si el nmero de sus elementos se puede expresar
como n , siendo n el cero o un nmero natural. En caso contrario diremos que el conjunto es infinito.
(En la ltima seccin de este captulo precisaremos este concepto).
Como consecuencia de esta nocin podemos afirmar que el conjunto es finito.
Definicin. Conjunto Unitario.
Al conjunto cuyo nico elemento es x , lo notamos { x } y se denomina conjunto unitario.
Consecuencias.
i)
ii)
Definicin. Conjunto binario.
Al conjunto cuyos nicos elementos son x , y lo notamos { x , y } y se denomina conjunto binario. Este
conjunto lo podemos notar tambin por comprensin as:

Consecuencias.
i)
ii)
En forma anloga podemos construir conjuntos de tres, cuatro, etc. y cualquier nmero finito de
elementos.
Teorema 4.
1.
2.
3.
Demostracin de 2.
1. Consecuencia def conjunto binario.
2. ____________ Equivalencia en la disyuncin
3. ____________ Consecuencia def conjunto unitario
4. transitividad en la equivalencia.
5. G.U. de (4)
6. . Axioma 2 (Extensin)
7. ____________R.V.3 de 5) y 6).
Observaciones.
1. El numeral 2 establece el principio de que en un conjunto, los elementos que se repiten, se
consideran solamente una vez.
2. El numeral 3 establece una relacin fundamental para distinguir e integrar en sus contextos
respectivos las relaciones de pertenencia e inclusin.
3. Una notacin por extensin para el conjunto vaco corresponde a:

Ejercicio. Demostrar los numerales 1 y 3.
5.7 Conjunto de partes de un conjunto
Axioma 4.
Si A es un conjunto entonces existe un conjunto cuyos elementos son todos los subconjuntos de A Este
conjunto se denomina Conjunto de partes de A y lo notamos P ( A ).
Este conjunto lo notamos por comprensin as:

Consecuencias:
i)
ii)
Teorema 5.
Sean A , B conjuntos, entonces:
1.
2.
3.
4. si y solo si
Demostracin de 4.
Probemos la implicacin de izquierda a derecha.
Supongamos: Hiptesis 1
Supongamos: Hiptesis 2
es equivalente a . Consecuencia def. cjto. de partes y de la hip. 1 por transitividad (T1) se
tiene que , que equivale a .
Mtodo directo
. G.U. y definicin de inclusin.
Mtodo directo.
Ejercicio. Demostrar la implicacin recproca y los numerales 1, 2 y 3.
Ilustracin 2.
Dados los conjuntos: determinar los conjuntos

; adems y
; adems y
; adems y
; adems y

Podemos observar una ley de formacin entre el nmero de elementos de un conjunto X y el nmero
de elementos de P ( X ), la cual puede demostrarse por Induccin.
Si n ( X )= k entonces . Esta relacin permite caracterizar tambin el conjunto P ( X )
con el nombre de conjunto potencia de X .
5.8 Ejercicios propuestos 5.2 a 5.7
1. Sea
Para cada una de las proposiciones siguientes indicar si es verdadera o falsa, justificando su
afirmacin.
1.1
1.6
1.2
1.7
1.3
1.8
1.4 1.9
1.5
1.10
2. Sean A , B , C los conjuntos: ; ;
.
2.1 Es A = B B = C A = C ? Justifique su respuesta.
2.2 Para cada una de las proposiciones siguientes indicar si es verdadera o falsa, justificando su
afirmacin.
a. e. i.
b. f. j.
c. g. k.
d. h. l.
3. Sean: ; . Para cada una de las
proposiciones siguientes, indicar si es verdadera o falsa, justificando su afirmacin.
3.1 3.5
3.9
3.2 _ 3.6
3.10
3.3 3.7 3.11
3.4 3.8
3.12
4. Dados los conjuntos siguientes:
A: Conjunto de rectas determinadas por tres puntos distintos y no colineales.
B : Conjunto de semirrectas determinadas por tres puntos distintos y colineales.
C: Conjunto de segmentos determinados por tres puntos distintos y colineales.
D: Conjunto de rectas en un plano que pasan por un punto dado.
E: Conjunto de rectas paralelas a una recta dada, por un punto exterior a esta.
F: Conjunto de rectas perpendiculares a una recta dada, levantadas por un punto de esta y en un
mismo plano.
G: Conjunto de nmeros naturales pares.


4.1 Qu puede afirmarse sobre el nmero de elementos de cada conjunto?
4.2 Para cada una de las proposiciones siguientes, indicar si es verdadera o falsa.
a. c. e.
g.
b. d.
f.
h.
5. Sea ; colocar en los espacios uno de los smbolos: , que indique una
relacin adecuada entre los trminos dados.
5.1 0____
5.5 ____A
5.9 0____ A
5.2 ____ _
5.6 ____A
5.10 ____A
5.3 ____A _
5.7 ____
5.11 ____
5.4 ____
5.8 ____ 5.12 ____
6. Sean: A: El conjunto de nmeros de dos cifras, tales que la primera cifra es mayor que la segunda.
________B: El conjunto de nmeros de dos cifras, tales que la primera cifra es menor que la segunda.
6.1 Representar los conjuntos A y B por comprensin.
6.2 Si ; representar el conjunto C por
extensin.
6.3 Colocar en los espacios uno de los smbolos: , que indique una relacin adecuada
entre los trminos dados.
a. 35 ____ A
d. ____ B
g. 12 ____ A 12 ____ B
b. 28____ B
e. ____ A
h. 22 ____ C 22 ____ B
c. ____ A
f. 72 ____ A 72 ____ B i. ____ A ____ C
7. Dados los conjuntos siguientes:
A: Conjunto de nmeros de cuatro cifras donde al menos dos de ellas son ceros .
B: Conjunto de nmeros de cuatro cifras donde al menos una de ellas es cero .
C: Conjunto de nmeros de cuatro cifras donde a lo sumo dos de ellas son ceros .
D: Conjunto de nmeros de cuatro cifras donde dos son ceros y las otras dos son diferentes de cero .
Indicar todas las posibles relaciones de inclusin entre los conjuntos anotados.
8. Indicar cules de las siguientes implicaciones son verdaderas, justificando su respuesta.
8.1
8.2
8.3
9. Considrese un conjunto U referencial como el conjunto de todos los tringulos; si I designa el
conjunto de los tringulos issceles, E de los equilteros, A de los equingulos, R de los tringulos
rectngulos; representar en un diagrama de Venn los conjuntos anteriores.
10. Dadas las relaciones: , , , representar todos los posibles diagramas de
Venn que cumplan las relaciones establecidas.
11. Dado el siguiente diagrama de Venn, construya el diagrama de inclusin correspondiente.

12. Dados:

Demostrar que A = B .
Sugerencia: Pruebe independientemente la mutua inclusin y tenga en cuenta que el producto de dos
nmeros naturales consecutivos es un nmero impar y que la diferencia entre un nmero par y un
nmero impar es un nmero impar.
5.9 Unin de conjuntos
Axioma 5.
Si A , B son conjuntos, existe un conjunto que los contiene. Dicho conjunto tiene como propiedad
caracterstica .
Definicin. Conjunto unin de dos conjuntos.
Si A , B son conjuntos, al conjunto cuyos elementos verifican la propiedad , lo
denominamos conjunto unin de A y B y lo notamos
Este conjunto lo notamos por comprensin as:

Consecuencias.
i)
ii)
Representacin grfica

Figura 6 _________________________Figura 7
Teorema 6. Propiedades de la Unin.
Sean: A , B , C , D , X conjuntos, entonces:
1. ; .
2. . Conmutativa.
3. . Asociativa.
4.
5.
6. Si y entonces .
7. Si y entonces .
Demostracin de 1.
1. . Axioma
2. consecuencia definicin de unin.
3. G.U. y definicin de inclusin.
Demostracin de 5.
Veamos que .
Supongamos: Hiptesis 1.
Esto es , pero es teorema, por tanto
Luego (1)
Veamos que . Teorema 6.1.
Conclusin: .
Ejercicio. Demostrar los numerales 2, 3, 4, 6 y 7.
5.10 Interseccin de Conjuntos.
Definicin.
Sean A , B conjuntos, el Axioma 3 nos permite definir un conjunto con la propiedad
, dicho conjunto lo denominamos conjunto interseccin de A y B y lo notamos
.
Este conjunto lo notamos por comprensin as:

Consecuencias.
i)
ii)
Representacin grfica

Figura 8 __________________________Figura 9
Definicin.
Si pero decimos que A y B son conjuntos disjuntos.
Teorema 7. Propiedades de la Interseccin.
Sean: A , B , C , D , X conjuntos, entonces:
1. ,
2. .
3.
4.
5.
6. Si y entonces
7. Si y entonces
Demostracin de 1.
Supongamos: Hiptesis
Consecuencia def. de interseccin
. Simplificacin.
Mtodo directo
G.U. y definicin de inclusin.
Demostracin de 3.
Consecuencia def. de interseccin
Consecuencia def. de interseccin
Equivalencia Asociatividad en
Consecuencia def. de interseccin
Consecuencia def. de interseccin
G.U. Axioma de Extensin
Ejercicio. Demostrar los numerales 2, 4, 5, 6 y 7.
Teorema 8. Leyes distributivas.
Sean: A , B , C conjuntos, entonces:
1.
2. .
Demostracin de 1.
Consecuencia def. Inters. de cjtos.
Consecuencia def. de unin de conj.
Equivalencia Ley Distributiva
Consecuencia def. de interseccin
Consecuencia def. de unin
G.U. Axioma de Extensin
Corolario.
Sean: A , B conjuntos, entonces:
1.
2. .
Ejercicio. Demostrar el numeral 2 del teorema 8 y el corolario.
Teorema 9. Leyes de DMorgan.
Sean: A , B , X , conjuntos tales que entonces:
1.
2. .
Demostracin de 2.
Consecuencia def. de complemento
Consecuencia definicin de interseccin
Equivalencia Ley Distributiva
Consecuencia definicin de complemento
Consecuencia def. de unin
G.U. Axioma de Extensin
Ejercicio. Demostrar el numeral 1.
5.11 Diferencia entre conjuntos
Definicin.
Sean A , B conjuntos. El axioma 3 nos permite definir un conjunto con la propiedad
, dicho conjunto lo denominamos Conjunto diferencia de los conjuntos A y B en
este orden y lo notamos .
Este conjunto lo notamos por comprensin as:

Consecuencias.
1.
2.
Ilustracin 3.
Indicar para cada una de las representaciones grficas, los conjuntos correspondientes a: ,
a. _______________________c.

Figura 10 ____________________Figura 12
b. _______________________d.

Figura 11 _______________________________Figura 13
Observacin.
Como se desprende de la definicin de ambos conjuntos, si A , B son conjuntos, siempre est
definido, en tanto que slo est definido si .
Teorema 10.
Sean: A , B , X conjuntos, entonces:
1. Si , entonces
2. , .
3. si y slo si
Demostracin de 3.

Supongamos: Hiptesis 1
Supongamos: Hiptesis 2.
Teorema, luego , que equivale a
y en consecuencia


(1)

Supongamos: Hiptesis 1
Supongamos: Hiptesis 2.
, luego y de la hiptesis 1 se concluye que . Por
conjuncin se tiene que equivale a ; concluyndose en consecuencia:
. Como concluimos que:

(2)
si y slo si . De (1) y (2).
Observacin.
La unin y la interseccin entre conjuntos podemos generalizarlas as:
Sean conjuntos.
1. Al conjunto lo denominamos la unin de
y lo notamos as:

2. Al conjunto lo denominamos la interseccin de
y lo notamos as:

Ilustracin 4.
Sean: ; ; ;
; .
Luego

5.12 Aplicaciones a conjuntos finitos y diagramas de Venn - Euler
5.12.1 Relacin entre teora de probabilidad y conjuntos.
En la teora moderna de la probabilidad, se toman todos los posibles resultados de un experimento,
juego, etc. Como puntos de un espacio llamado espacio muestral S . Si S contiene solamente un
nmero finito de puntos, entonces a cada punto puede asociarse un nmero no negativo, llamado
probabilidad , tal que la suma de todos los nmeros correspondientes a todos los puntos de S sumen 1.
Un suceso es un sistema o subconjunto de puntos de S tal como se indica en el diagrama y que
designamos por E 1 y E 2 respectivamente.

Figura 14
El suceso E 1 + E 2 es el formado por los puntos que estn en E 1 E 2 en ambos, mientras que el
suceso E 1 y E 2 est formado por los puntos comunes a E 1 y E 2 . En el lenguaje de la teora de
conjuntos los conceptos anteriores se corresponden as: , .
Se define la probabilidad de un suceso E 1 como la suma de las probabilidades de todos aquellos
puntos que estn contenidos en E 1 .
Anlogamente, la probabilidad de , designada por es la suma de las
probabilidades asociadas a todos los puntos contenidos en el sistema . Si no
tienen puntos en comn, es decir, los sucesos son mutuamente excluyentes, entonces
. Si tienen puntos en comn entonces
.
Anlogamente, puede extenderse a ms de dos sistemas. En esta concepcin moderna, una variable
aleatoria es una funcin definida en cada punto del espacio muestral. En el caso de que S tenga
infinitos puntos, las ideas anteriores pueden extenderse por medio de conceptos que requieren del
clculo.
Definicin.
Si A es un conjunto finito, llamaremos cardinal de A y lo notamos n ( A ) al nmero de elementos
de A .
Definicin.
Dados A , B , C finitos, se tiene:
1.
2.
Ejercicio. Utilizando los diagramas de Venn, verificar las ecuaciones anteriores.
Observacin.
Como se desprende de las ecuaciones anteriores podemos afirmar que, conociendo el cardinal de
ciertos conjuntos dados, es posible obtener el cardinal de otros conjuntos que son unin,
interseccin, diferencia o complementos de los conjuntos dados.
Ilustracin 5.
Una encuesta realizada a un grupo de profesores donde todos respondieron, revel que 450 tienen
casa propia; 260 tienen automovil; 360 tienen computador; 200 tienen casa y automovil; 250 tienen
casa y computador; 150 tienen automovil y computador y 100 tienen casa, automovil y computador.
Calcular:
1. Cuntos fueron los profesores encuestados?
2. Cuntas personas tienen solamente casa propia?
3. Cuntas personas tienen solamente automovil?
4. Cuntas personas tienen casa y automovil, pero no tienen computador?
5. Cuntas personas tienen casa y computador pero no automovil?
Designemos los conjuntos as:




Figura 15 ___________________Figura 16
1. Sirvindonos del diagrama, colocamos inicialmente el cardinal asociado a la triple interseccin, y
en su orden podemos determinar los asociados a las intersecciones dobles (figura 15).
2. Podemos determinar a continuacin los cardinales correspondientes a los conjuntos: solamente C ,
solamente A , solamente B ; teniendo en cuenta n ( C ), n ( A ) y n ( B ) y los cardinales determinados
en el numeral anterior (figura 16).
3. Podemos finalmente determinar el cardinal de , sumando los cardinales de los
conjuntos disjuntos en que hemos particionado la unin, o aplicando la frmula establecida.
En esta forma las respuestas a las preguntas planteadas, corresponden en su orden:
1. Profesores encuestados: 570
2. Profesores que tienen nicamente casa propia: 100
3. Profesores que tienen nicamente automovil: 10
4. Profesores que tienen casa propia y automovil, pero no tienen computador: 100
5. Profesores que tienen casa y computador pero no automovil: 150
5.12.2 Mtodo de las regiones disjuntas para el trabajo en los diagramas.
Un mtodo sencillo pero til para la representacin en diagramas de Venn-Euler, del resultado de una
serie de operaciones, que por el procedimiento usual del demarcado paso a paso, resultara muy
complicado es el siguiente:
Paso 1.
Enumerar todos y cada uno de los conjuntos disjuntos que podemos identificar en un diagrama de
Venn-Euler.
Paso 2.
Asignar a cada uno de los conjuntos principales, los numerales asociados a sus subconjuntos disjuntos.
Paso 3.
Al efectuar las operaciones indicadas paso a paso, determinar las regiones que intervienen en cada
resultado parcial, hasta obtener el resultado final.
Ilustracin 6.
1. Determinar la regin correspondiente a la siguiente operacin entre conjuntos:


Conjunto A B C A - B



Regin 1,2,3,6 1,2,4,5 1,3,4,7 3,6 3 6,3,7,8 6,3,7,8
Observacin.
Puede verificarse del resultado anterior que:
2. Determinar la regin correspondiente a la siguiente operacin entre conjuntos:

Conjunto A B C





Regin 1,2,3,6 1,2,4,5 1,3,4,7 1,3 1,2,3,4,5,6 7,8 1,3 1
Solucin.

Observacin.
Puede verificarse del resultado anterior que:

Comentario.
El mtodo propuesto permite de una manera sistemtica y sencilla, verificar las igualdades surgidas
en las leyes generales de la teora de conjuntos. Adems facilita la exploracin de otras propiedades
que el alumno puede someter a prueba para determinar con absoluta validez su resultado. En
consecuencia el maestro debe aprovecharlo al mximo.
5.13 Ejercicios propuestos 5.9 a 5.12
1. Demostrar las siguientes relaciones entre conjuntos.
1.1
1.2
1.3
1.4
1.5
1.6
1.7
1.8 Si entonces
1.9 Si entonces
1.10 Si entonces
1.11 Si entonces
1.12 Si entonces
1.13
1.14
1.15
1.16
1.17
1.18
1.19
1.20 si y solo si
2. Dar un contraejemplo para probar que las siguientes proposiciones no son teoremas.
2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8
2.9
2.10
3. Para cada uno de los numerales siguientes, elaborar un diagrama de Venn-Euler que represente el
conjunto indicado:
3.1
3.5
3.2
3.6
3.3
3.7
3.4
3.8
4. En cada uno de los siguientes numerales, expresar en trminos de conjuntos y las operaciones
requeridas, la regin sombreada.
4.1 ___________________________4.4

4.2 _________________________4.5

4.3 ____________________________4.6

5. Considerando los conjuntos A , B , C , D , U no vacos, U como conjunto referencial. Elaborar, para
cada uno de los numerales siguientes, un diagrama de Venn-Euler que satisfaga todas y cada una de
las relaciones dadas.
5.1 ; ; ; ; .
5.2 ; ; ; ; .
5.3 ; ; ; ; .
6. A una conferencia internacional sobre contaminacin del medio ambiente, asisten cien
especialistas, de los cuales cincuenta hablan ingls, sesenta portugus y cincuenta espaol; de ellos
treinta hablan portugus e ingls; veinte ingls y espaol; veinte portugus y espaol.
Cuntos asistentes hablan los tres idiomas?
7. Una ensambladora de autos recibi una orden de fabricacin de 38 automviles tipo sedn, con las
siguientes caractersticas: 18 con aire acondicionado; 23 con vidrios elctricos y 29 con cojinera de
lujo. De estos, 3 deben tener solamente vidrios elctricos, 8 deben tener solamente cojinera de lujo;
9 de los vehculos deben tener solamente vidrios elctricos y cojinera de lujo, 5 de los vehculos
deben tener los tres aditamentos.
Determinar:
Cuntos vehculos llevan aire acondicionado y cojinera de lujo, solamente?
Cuntos vehculos llevan aire acondicionado solamente?
Cuntos vehculos llevan aire acondicionado y vidrios elctricos solamente?
8. En un inventario minero realizado en algunas regiones del pas acerca de la produccin futura de
recursos no renovables, se encontr que: 8 poseen petrleo, 15 poseen carbn y 13 poseen oro; 6
poseen solamente carbn y oro; 4 solo poseen oro, 3 poseen los tres recursos; petrleo y carbn
solamente, ninguna de las regiones.
Determinar:
Cuntas regiones intervinieron en el inventario?
Cuntas regiones poseen solamente petrleo?
Cuntas regiones poseen solamente carbn?
9. Los siguientes son los datos que muestran las preferencias de algunos aspirantes a ingresar a la
universidad por ciertos programas:
50 prefieren medicina.
47 prefieren ingeniera.
35 prefieren biologa.
16 prefieren ingeniera y biologa.
11 prefieren medicina e ingeniera.
15 prefieren medicina y biologa.
9 prefieren las tres.
Determinar:
Cuntos aspirantes fueron encuestados.
Cuntos aspirantes prefieren nicamente medicina?
Cuntos aspirantes no prefieren biologa?
Cuntos aspirantes prefieren medicina o biologa pero no ingeniera?
Cuntos aspirantes prefieren medicina o ingeniera?
10. La secretara de educacin municipal requiere la provisin de veintinueve cargos docentes en las
siguientes reas: 13 profesores de matemticas, 13 profesores de fsica, y 15 profesores de Sistemas.
Para el cubrimiento de los cargos se requiere que: 6 profesores dicten matemticas y fsica, 4
profesores dicten fsica y sistemas y 5 profesores dicten matemticas y sistemas.
Determinar:
Cuntos profesores se requiere que dicten las tres reas?
Cuntos profesores se requiere para dictar matemticas nicamente?
Cuntos profesores se requiere para dictar matemticas y sistemas pero no fsica?
11. Con relacin al problema 10.
En respuesta a la solicitud de trabajo, se seleccionaron veintinueve aspirantes cuyas solicitudes
presentan la siguiente informacin:
15 pueden dictar fsica.
16 pueden dictar sistemas.
6 pueden dictar matemticas y fsica.
5 pueden dictar fsica y sistemas.
1 puede dictar las tres reas.
7 pueden dictar solamente sistemas.
Determinar
Cuntos aspirantes seleccionados se presentaron para dictar matemticas?
Qu puestos no pueden cubrirse?
Cuntos solicitantes y en qu reas no pueden ser finalmente admitidos