Mdulo 2

Unidad 2
Elementos y teora de conjuntos

Materia: Curso de nivelacin en Matemtica Profesor: Lic. Mara A. Valenzuela

2.1- Introduccin
Antes de definir matemticamente el concepto conjunto busquemos cul es su significado como vocablo de la lengua espaola. Nos encontraremos, entre sus tantas acepciones, con: traje, juego de vestir compuesto de varias prendas grupo musical o teatral formado por unos pocos intrpretes. En nuestro discurso coloquial lo encontramos en frases como un conjunto de casas, podemos jugar en conjunto, esta visin en conjunto. Es decir, este vocablo, puede ser utilizado en distintas circunstancias que si lo llevamos al plano matemtico nos lleva a una manera distinta de trabajar en matemtica ya que no vamos a dar una definicin formal y no ambigua. El concepto matemtico de conjunto se basa en la idea intuitiva que tenemos del mismo, como una coleccin, agrupacin, reunin, unin de objetos. Una de las aplicaciones de la teora de conjuntos son los problemas de conteo. Por eso antes de ir a la teora formal de conjuntos pensemos como introduccin al tema el siguiente desafo. Desafo 1 En una habitacin se encuentran 15 hombres y 10 mujeres. Se sabe que entre todas estas personas hay 5 fumadores. El total de mujeres fumadoras es 3. Podramos con estos datos averiguar cuntos hombres no fumadores hay? Muy sencillo no?

2.2- Formas de definir un conjunto.

Hay distintos tipos de objetos que se renen en un conjunto, por ejemplo: El conjunto de rboles de nuestro pas. El conjunto de estudiantes universitarios de una provincia. El conjunto de nmeros pares. El conjunto de rutas del continente. El conjunto de acciones que bajaron en la bolsa de comercio. El conjunto de rectas paralelas a una dada.

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 2

Todos estos tipos de objetos se llaman elementos del conjunto. Adems cada conjunto colecciona diferentes clases de elementos, plantas, seres humanos, nmeros, obras, papeles, objetos geomtricos, etc. Por eso para cada conjunto vamos a tomar un conjunto referencial o conjunto universal que nos brindar la naturaleza de los elementos, por ejemplo, el conjunto universal que vamos a considerar para estudiar el conjunto de los nmeros pares es distinto del conjunto universal para estudiar el conjunto de los estudiantes universitarios de una provincia 2.2.1 Notacin Denotaremos a los conjuntos con letras maysculas: A, B, C, etc. La letra U se refiere al conjunto universal. A los elementos de cada conjunto lo indicaremos con letras minsculas, a , b, c , x, y, Para indicar que p es un elemento del conjunto A, decimos p pertenece a A y los escribimos p A. Si p no es un elemento de A, notamos p A. Un conjunto est bien definido si se puede establecer fehacientemente la pertenencia o no de un elemento. Por ejemplo: A es el conjunto de las personas buenas del mundo Juan Perez pertenece a ese conjunto? B es el conjunto de los edificios altos que es un edificio alto? de dos pisos? de ms de cinco pisos? A y B son dos conjuntos mal definidos porque no puedo determinar fehacientemente si Juan Perez pertenece o no al conjunto A o que es un edificio alto. 2.2.2 Igualdad de conjuntos Dos conjuntos son iguales A y B son iguales si y solamente si tienen los mismos elementos. Notamos A=B. Ejemplo: A= el conjunto de las vocales de la palabra arcada B= el conjunto de las vocales de la palabra maana. 2.2.3 Forma de extensin y comprensin Un conjunto puede ser definido en dos formas diferentes: Por extensin o enumeracin: Se hace una lista, si es posible, de todos sus elementos y se los encierra entre llaves Ejemplo A={0,1,2,3,4,5,6,7,8,9}

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 3

Por comprensin: Se indica una propiedad caracterstica de sus elementos. Ejemplo A={x N / x es un dgito} Se lee el conjunto de las x pertenecientes a los nmeros naturales tales x es un dgito. Depende de cada situacin en concreto para ver cuando utilizar una forma de definicin u otra. 2.2.4 Conjunto vaco Definimos al conjunto vaco como el conjunto que no tiene elementos. Lo denotamos con Ejemplos A= { x Z / x2=3 } , el conjunto de los nmeros enteros tales que elevados al cuadrado nos den igual a 3. No hay ningn nmero entero que cumpla esa propiedad , de donde A= B={ x es un cuadriltero de 3 lados}. Todos los cuadrilteros tienen 4 lados, de donde B= 2.2.5 Subconjunto Si cada uno de los elementos de un conjunto A es tambin un elemento de un conjunto B, decimos que A es un subconjunto de B. Tambin decimos que A est incluido en B o que B incluye a A y lo denotamos A B B A. .

Si por lo menos un elemento de A no est en B, decimos que A no est incluido en B A B

2.3- Representacin grfica de conjuntos

Antes de perdernos en frmulas o palabras, las representaciones grficas de los conjuntos son de gran ayuda para simplificar la comprensin de los problemas. Pero para que el objeto de estudio sea comprendido en cualquier circunstancia por cualquier persona hacemos una convencin en dicha representacin.

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 4

Veamos, antes de presentarla formalmente, dos desafos que nos ayude a ver la comodidad de la representacin grfica de conjuntos. Desafo 2 De acuerdo a la situacin planteada en el desafo 1, si representamos a los hombres con los puntos celestes, a las mujeres con los puntos rosas y a los que fuman con la letra F,podemos graficar lo siguiente:

Cuntos conjuntos diferentes puedes formar si tomamos como conjunto universal U el de las personas que hay dentro de esta habitacin? En este caso es ms fcil optar por la definicin en forma de comprensin, por ejemplo: A= { x U / x es un hombre}

Desafo 3 Veamos este argumento lgico. Supongamos vlidas las siguientes tres premisas: 123Los msicos son gente feliz Todo contador es rico Nadie que sea feliz es tambin rico Preguntas: Se puede deducir que ningn msico es rico?

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 5

Los contadores son gente feliz? Nadie puede ser msico y contador a la vez? La teora de los nmeros nos puede ayudar a razonar las respuestas.

2.3.1 Diagramas de Venn

Estamos en el siglo de la imagen. Para bien o para mal, sufriremos ms que nunca la accin de la
imagen. Gastn Bachelard Una imagen vale ms que mil palabras.

Un diagrama de Venn es la representacin grfica de los conjuntos. Es la herramienta que nos permite visualizar diferentes clases de problemas. El conjunto universal se representa por el interior de un rectngulo. Los conjuntos se representan por crculos en el interior del rectngulo. Si A B, entonces el crculo que representa A est dentro del crculo que representa B Un punto dentro de un crculo indica un elemento que pertenece al conjunto que representa. En caso contrario el punto queda fuera del crculo.

Veamos un ejemplo

En este grfico vemos que hay 3 conjuntos A, B y C. Podemos ver algunas relaciones: A B, A C, B C, C A.

x A, x B, x C, y

C, etc

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 6

Volvamos al desafo 3. Consideremos A= { x es una persona feliz} B= {x es una persona rica} C={ x es msico} D={ x es contador}

En la primer premisa deca: los msicos son gente feliz, que es lo mismo que decir todo persona que es msico es una persona feliz se puede pensar entonces que todo elemento de C es un elemento de A. En la ltima premisa deca: Nadie que es rico es tambin es feliz, que es lo mismo que decir si una persona es rica no es feliz y si una persona es feliz no es rica, se puede pensar entonces como que todo elemento de B no es un elemento de A y todo elemento de A no es un elemento de B. En la segunda premisa dice: todo contador es rico. Que es lo mismo que decir toda persona que es contador es una persona rica se puede pensar entonces como todo elemento del conjunto D es tambin un elemento del conjunto B. Utilizando los diagramas de Venn nos quedara

Volvamos a pensar las respuestas de las preguntas del desafo 3 pero ahora apoyados por estos diagramas.

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 7

2.4- Operaciones entre conjuntos.

Adems de la representacin grfica de los conjuntos necesitamos hacer operaciones entre ellos para resolver distintas clases de problemas. En este curso veremos cuatro operaciones. Pero cul es nuestra idea intuitiva para resolver los problemas? Veamos el siguiente desafo antes de la presentacin de las operaciones.

Desafo 4 1- Expresa los siguientes conjuntos por extensin A= {x B= { x C= { x N / 3 < x 7} N / x es par y menor a 10} N / x es impar y menor o igual 3}

2- Representa estos conjuntos utilizando los diagramas de Venn. cul es el conjunto universal? 3- Responde las siguientes preguntas: a) Cuntos elementos en comn tienen A y B? b) Es el conjunto A un subconjunto de B o viceversa? c) cuntos elementos hay en total entre el conjunto A y el conjunto B? d) Cuntos elementos en comn tienen B y C? e) cuntos elementos hay en total entre el conjunto B y el conjunto C? f) Si consideramos el conjunto universal como el conjunto de los dgitos {0,1,2,3,4,5,6,7,8,9} cuntos elementos hay que no estn ni en A ni en B ni en C? g) cuntos elementos hay en A que no estn en B? h) cuntos elementos hay en B que no estn en A?

Como operamos con nmeros, tambin podemos hacerlo con los conjuntos. La operacin entre dos o ms conjuntos da como resultado a otro conjunto. Las operaciones que se definen son: unin, interseccin, diferencia y complemento.

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 8

2.4.1 Unin entre conjuntos Si A y B son conjuntos del conjunto universal U, la unin se define como el conjunto formado por los elementos que pertenecen a A o pertenecen a B. Se simboliza A B.

Por comprensin, la unin queda definido como A B={x U/x Ax B}.

En forma de diagrama de Venn, la unin se representa por la regin sombreada:

Ejemplo: Sean A = {0;1} y B={2;3;4}, entonces A

B={0;1;2;3;4}.

2.4.2 Interseccin entre conjuntos La interseccin entre A y B se define como los elementos que pertenecen a A y al mismo tiempo pertenecen a B, es decir, por sus elementos comunes. Se simboliza A B.

Por comprensin, la interseccin se define como A B={x U /x A y x B}.

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 9

En forma de diagrama de Venn, la interseccin se representa por la regin sombreada:

Si A y B no tiene elementos comunes, la interseccin es un conjunto vaco y se dicen que A y B son disjuntos o mutuamente excluyentes. Su grfica es:

Ejemplo: Sean A = {0;1} , B={2;3;4} y C={ 1;2}, luego tenemos que A C={1}; B C={2} y A B= .

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 10

2.4.3 Diferencia entre conjuntos Se define la diferencia entre el conjunto A y B como el conjunto cuyos elementos pertenecen a A y no pertenecen a B. Se simboliza A-B. Por comprensin queda definida la diferencia por A-B={ x U/x Ayx B}.

La regin sombreada representa la diferencia:

Ejemplo: A = {0;1} , B = {2;3;4} y C = { 1;2}, luego A-C = {0}; B-C = {3;4} y A-B = A. 2.4.4 El complemento de un conjunto El complemento de un conjunto A, es otro conjunto cuyos elementos son todos los elementos del conjunto universal U que no pertenecen a A. Se simboliza

Ac o A ' . Ac = {x
U/x A}.

Por comprensin,

La regin sombreada representa el complemento de A:

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 11

Observemos que el complemento es un caso particular de la diferencia entre U y A. Ejemplo: Sea U el conjunto formado por todos los nmeros enteros y A formado por los enteros positivos, entonces por todos los enteros negativos.

Ac es el conjunto formado

Para pensar Si A A A Si A A A B, entonces A = A. A=A B, entonces A = A=A B= . . B = A. B = B.

Si A y B son conjuntos disjuntos entonces A

Si A y B son conjuntos disjuntos entonces A-B= A U c=

c

=U

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 12

2.5- Aplicaciones de la teora de conjuntos: problemas de conteo

Qu es un problema de conteo? Un problema de conteo es un problema como el del siguiente desafo. Tratemos de resolverlo antes de ver la herramienta matemtica que podemos usar para hacerlo. Desafo 5 Hay 35 estudiantes que quieren cursar Matemtica, Administracin o ambas a la vez. Si 25 estudiantes se han inscriptos en Administracin y 20 en Matemtica, cuntos estn inscriptos en ambos cursos Matemtica y Administracin?. Sugerencia para el planteo: M= {x es un estudiante inscripto en la materia Matemtica} A= {x es un estudiante inscripto en la materia Administracin} U= {x es uno de los 35 estudiantes} Grafica una representacin en diagrama de Venn. Son los conjuntos M y A disjuntos? 2.5.1 Cardinal de un conjunto La cantidad de elementos de un conjunto define el cardinal y se denota por #A. Para el caso del conjunto de las vocales, #V = 5. Si el conjunto tiene infinitos elementos, diremos que el cardinal es infinito. Si el conjunto tiene cardinal finito diremos que el conjunto es finito.

2.5.2 Propiedades de los conjuntos finitos Supongamos tener dos conjuntos , A y B, de la siguiente manera dada por sus diagramas de Venn.

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 13

#A= nmeros de elementos que estn slo en A + nmeros de elementos de la interseccin

#B= nmeros de elementos que estn slo en B + nmeros de elementos de la interseccin #A+#B= nmero de elementos que estn slo en A + nmeros de elementos que estn slo en B + dos veces el nmero de elementos que estn en la interseccin de ambos. De esto se deduce las siguientes propiedades: 1. #(A 2. Si A 3. #(A #(B B)= #A +#B - #(A B=
entonces #(A

B) B)= #A +#B B) - #(A C) -

B C)= #A +#B + #C - #(A C) + #(A B C)

Ejemplo 1 En un banco hay 10 empleados exclusivos para la caja de ahorro, 30 que trabajan en cuentas corrientes de los cuales 4 colaboran en las cajas con los cajeros exclusivos que son 16. Adems, hay 6 empleados que pueden trabajar en caja de ahorro y en cuentas corrientes, y 4 empleados (1 gerente, 1 secretario y 2 contadores) que pueden apoyar en las 3 secciones( es decir, vamos a considerar que trabajan en la 3 secciones a la vez). cuntos empleados hay en el banco? cuntos empleados desempean una nica funcin en el banco?

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 14

cuntos empleados desempean al menos dos funciones en el banco?

Solucin: CA= {empleados que trabajan en caja de ahorros} CC= {empleados que trabajan en cuentas corrientes} C= {empleados que trabajan en cajas} U= {empleados del banco} Debemos releer el enunciado varias veces y luego ir analizando los cardinales asignados segn cada oracin. Iremos colocando estos cardinales en las partes correspondientes del diagrama de Venn

hay 10 empleados exclusivos para la caja de ahorro

# (CA- CC-C)= 10

30 que trabajan en cuentas corrientes: #CC=30 4 colaboran con los cajeros exclusivos

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 15

#(CC

C)=4

los cajeros exclusivos que son 16 : #(C-CA-CC)=16

16

hay 6 empleados que pueden trabajar en caja de ahorro y en cuentas corrientes #(CA CC)=6

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 16

16

4 empleados (1 gerente, 1 secretario y 2 contadores) que trabajan en las 3 secciones: #(CA CC C)=4.

Como el cardinal del conjunto CC es 30, si le restamos las intersecciones, podemos deducir que #(CC- CA-C)= 16

16

Si sumamos los empleados que hay en cada parte nos quedara: 10+6+4+16+4+16= 56 empleados. Para ver los empleados que hacen una nica funcin, sumamos las cantidades fuera de las intersecciones: 10+16+16= 42 empleados.

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 17

Un empleado que cumpla al menos dos funciones es un empleado que puede hacer 2 o 3 funciones a la vez. En este caso debemos sumar las cantidades de las intersecciones: 6+4+4=14 empleados.

2.5.3 Tablas de contingencia Las tablas de doble entrada o de contingencias pueden ser pensadas tambin desde la teora de conjuntos. Supongamos que se realiz una encuesta para conocer la opinin de los estudiantes universitarios acerca de la implementacin de la pena de muerte. La tabla resultante es:

Implementacin de la pena de muerte Sexo Varones Mujeres Total A favor 79 27 106 En contra 121 73 194 Total 200 100 300

Cada celda de la tabla representa el cardinal de operaciones entre los conjuntos varones V, mujeres M, a favor F y en contra C. Para las celdas cuyos recuentos representan las opiniones emitidas, se tiene: #(V #(V #(M #(M F)=79; C)=121; F)=27 C)=73.

A su vez, los cardinales de las uniones de dichas intersecciones representan los totales columnas y filas: # (V # (V F) F) (V (M C)=200; # (M F) C) (M C)=100; (M C)= 194.

F)= 106 y # (V

Finalmente, para el conjunto universal se tiene #U = 300.

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 18

Pensemos ahora como obtener # ( V F). Este significara el cardinal de las personas que sean varones personas que estn a favor de la pena de muerte. Segn la propiedad 1 de los conjuntos finitos este cardinal es igual a: #(V F)= #V + #F - # (V F)= 200 + 106 79= 227

2.5.4 Cuantificadores Cuantificadores Universales: y

Supongamos que voy al gimnasio los das lunes, mircoles y viernes. Analicemos la veracidad de las siguientes afirmaciones: 1. 2. x da de la semana, voy al gimnasio. x da de la semana, voy al gimnasio. Obviamente la primera es falsa ya que slo voy 3 das a la semana y no todos y cada uno de los das de la semana La segunda es verdadera ya que afirma que por lo menos voy un da ( de hecho voy 3).

Ejemplo: Mira el siguiente diagrama. Observa sus conjuntos y como estn ubicados los elementos. Luego analiza la veracidad de las afirmaciones expresadas en forma simblica.

1.

x A/x

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 19

2. 3. 4. C

x A,x x A,x Ac A

B B

5. {2,3} 6. 1 B 7. 4 8. B 9. A 10. (A 11. 12. A

C= C C= B) C = x U/x x C,x (A B B)

13. C-B= 14. 4 15. 16. A x A 4 x B U C

x B,x

Respuestas: 1. V 2. F 3. F 4. V 5. V 6. V 7. F ( ojo , la relacin elemento-conjunto es de pertenencia) 8. V 9. V 10. F 11. V 12. V 13. V 14. V

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 20

15. 16.

F F

Lista de smbolos utilizados pertenece no pertenece / tal que para todo cualquiera sea existe un y o subconjunto de incluido en no es subconjunto de o no est incluido en U conjunto universal conjunto vaco

Bibliografa Lectura 2
Lopez, Antonio Roberto : Matemtica Moderna 1,2,3 y 4, Buenos Aires, Editorial Stella Haeussler Ernest F,Jr,Paul Richard S., Wood, Richard J.,Matemticas para administracin y Economa, Mxico, Pearson, Prentice Hall. Apostol, Tom M., Calculus , Argentina, Editorial Revert S. A. Tarzia D. A , Curso de nivelacin de Matemtica", Santiago de Chile ,McGraw-Hill Interamericana (2000). Lipschtuz Seymour, Matemticas para computacin, Mxico, McGraw-Hill

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 21

Arcos, Robinson: El pensamiento y el lenguaje en la matemtica. Facultad de ingeniera, Universidad Central de Venezuela. Cantor, Georg. Editorial Crtica: Fundamentos para una teora general de conjuntos: escritos y correspondencia selecta, 2005. ISBN 978-84-8432-695-3. Editorial Crtica, Dios cre los nmeros: los descubrimientos matemticos que cambiaron la historia, 2006. ISBN 978-848432-753-0. Garcia, Manuel y Juan Jos: Anlisis estadsticos para datos categricos. Editorial Sntesis, 1996. ISBN 84-7738-392-8. Kisbye, Patricia; Tiraboschi Alejandro: Elementos de lgica y teora de conjuntos. Facultad de Matemtica, Astronoma y Fsica, Universidad Nacional de Crdoba.

Curso de nivelacin de Matemtica - Prof. Lic. Mara Alejandra Valenzuela| 22