1)AB 2)BC 3)CA 4)xAxB de (1) por definicin de Inclusin 5)xBxC de (2) por definicin de Inclusin 6)xCxA de (3)

por definicin de Inclusin 7)xAxC de (4,5,6) por transitividad de la implicacin 8)AC de (7) por definicin de inclusin 9)CAAC I de(3,8) (Introduccin del conjuntor) 10)A=C de(9) por definicin de igualdad de conjuntos 11)BA de (2,10) por reemplazo de A por C 12)BAAB de(1,11) I (Introduccin del conjuntor) 13)A=B de 12 por definicin de igualdad de conjuntos 14)C=B de(10,13) por reemplazo de A por C

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. 2. 3. 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 . reflexividad. . Simetra . Transitividad.

Definicin. Sean A , B conjuntos. Designamos por esto es: . la frmula:

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) n+2) n+3) . Mtodo directo . G.U. . Definicin de inclusin en (n+2)

2. De la definicin anterior podemos concluir tambin que que notaremos tambin como no es elemento de B . Figura 2. . Para probarlo, basta exhibir un elemento de A que

Teorema 1. Primeras propiedades de la inclusin. 1. 2. 3. Demostracin de 1. 1. . R.A.2

2. 3. 4. 5.

. R.A.1 . Transitividad en la implicacin de 1 y 2. (*) . G.U. en 3. . 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: 2. ____________ 3.____________ 4. ____________ 5. ____________ 6. ____________ 7. ____________ 8. ____________ 9. ____________ . Hiptesis 1. . Simplificacin en 1. Simplificacin en 1. . Def. De . Def. De y P.U. en 2. y P.U. en 3.

. Transitividad de 5) y 6). . G.U. en 6. Def. De inclusin en 7. 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: tales que comprensin. que se lee: A es el conjunto formado por todos los elementos x, y x verifica la propiedad P . Esta notacin la designamos notacin por

Observaciones. 1. Al describir el conjunto A en la forma anterior, la frmula la propiedad caracterstica o definitoria del conjunto A . la denominamos

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 2. Sean:

entonces , .

. 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 en consecuencia esto es: Por tanto

Hip. aux. 2 Def. Complemento Consec. Def. complem.

Conclusin:

(1)

Supongamos: __________________

Hip. aux. 2 De la hiptesis 1. es verdadera, como tambin , esta ltima equivale a: ; por tanto es verdadera, que a su vez equivale

__________________Luego __________________ __________________ __________________ 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: conjunto lo llamaremos Conjunto vaco y lo notamos por la letra griega Esto es: Consecuencias: 1. 2. , dicho (fi).

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. 3. 4. 5. 6. Teorema 3.1. P.U. Adjuncin en 2. Def. de implicacin en 3. G.U. en 4. Def. de inclusin en 5. . Mtodo directo.

7. Si X es un conjunto, entonces

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. 2. ____________ 3. ____________ 4. 5. 6. 7. ____________R.V.3 de 5) y 6). Consecuencia def conjunto binario. Equivalencia en la disyuncin Consecuencia def conjunto unitario transitividad en la equivalencia. G.U. de (4) . Axioma 2 (Extensin)

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: Supongamos: es equivalente a (T1) se tiene que Hiptesis 1 Hiptesis 2 . Consecuencia def. cjto. de partes y de la hip. 1 por transitividad , 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: conjuntos determinar los

; adems ; adems

y 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.2 1.3 1.4 1.5

1.6 1.7 1.8 1.9 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. b. c. d. e. f. g. h. i. j. k. l.

3. Sean: ; . Para cada una de las proposiciones siguientes, indicar si es verdadera o falsa, justificando su afirmacin. 3.1 3.2 _ 3.5 3.6 3.9 3.10

3.3 3.4

3.7 3.8

3.11 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. b. c. d. e. f. g. h.

5. Sea ; colocar en los espacios uno de los smbolos: indique una relacin adecuada entre los trminos dados.

, que

5.1 0____ 5.2 ____ 5.3 ____A _ 5.4 ____ _

5.5 5.6 5.7 5.8

____A ____A ____ ____

5.9 0____ A 5.10 5.11 5.12 ____A ____ ____

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 por extensin.

; representar el conjunto C

6.3 Colocar en los espacios uno de los smbolos: adecuada entre los trminos dados. a. 35 ____ A b. 28____ B c. ____ A d. e. ____ B ____ A 72 ____ B

, que indique una relacin

g. 12 ____ A h. 22 ____ C i. ____ A

12 ____ B 22 ____ B ____ C

f. 72 ____ A

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. 3. 4. 5. 6. Si 7. Si y y

. . Conmutativa. . Asociativa.

entonces entonces .

Demostracin de 1. 1. 2. 3. . Axioma consecuencia definicin de unin. G.U. y definicin de inclusin.

Demostracin de 5. Veamos que . Hiptesis 1. , pero (1) es teorema, por tanto

Supongamos: Esto es Luego

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 7. Si y y

, .

entonces 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 2. 3.

, entonces , si y slo si .

Demostracin de 3. Hiptesis 1 Hiptesis 2. , que equivale a

Supongamos: Supongamos:

Teorema, luego y en consecuencia

(1)

Hiptesis 1 Hiptesis 2.

Supongamos: Supongamos:

, luego conjuncin se tiene consecuencia: . Como

y de la hiptesis 1 se concluye que que equivale a ; concluyndose en

. Por

concluimos que:

(2)

si y slo si Observacin.

. De (1) y (2).

La unin y la interseccin entre conjuntos podemos generalizarlas as: Sean conjuntos.

1. Al conjunto de y lo notamos as:

lo denominamos la unin

2. Al conjunto de y lo notamos as:

lo denominamos la interseccin

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 . Si tienen puntos en comn .

excluyentes, entonces 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 Regin

A-B 3,6 3 6,3,7,8 6,3,7,8

1,2,3,6 1,2,4,5 1,3,4,7

Observacin. Puede verificarse del resultado anterior que:

2. Determinar la regin correspondiente a la siguiente operacin entre conjuntos:

Conjunto Regin

C 1,3 1,2,3,4,5,6 7,8 1,3 1

1,2,3,6 1,2,4,5 1,3,4,7

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 1.9 Si 1.10 Si 1.11 Si 1.12 Si 1.13 1.14 1.15 1.16 1.17 1.18 1.19 1.20 si y solo si entonces entonces entonces entonces entonces

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.2 3.3 3.4

3.5 3.6 3.7 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