You are on page 1of 40

Campo de Visin de Prueba 1

TEORIA DE CONJUNTOS
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
conjuntoT , 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 deA .
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

You might also like