Mdulo 2

Unidad 2
Elementos y teora de conjuntos












Curso de nivelacin de Matemticas
Profesora: Valenzuela Mara Alejandra



Materia Profesor | 2



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.



Materia Profesor | 3


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 peA.
Si p no es un elemento de A, notamos peA.
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}



Materia Profesor | 4

Por comprensin: Se indica una propiedad caracterstica de sus
elementos.
Ejemplo
A={x eN / 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 eZ / x
2
=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
AcB BA.
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.



Materia Profesor | 5

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 eU / x es un hombre}

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



Materia Profesor | 6

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 AcB, 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:
AcB, A.C, B.C, C.A.
xeA, xeB, xeC, y eC, etc



Materia Profesor | 7

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.




Materia Profesor | 8

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 e N / 3 < x 7 s }
B= { x e N / x es par y menor a 10}
C= { x
e
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.



Materia Profesor | 9


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 AB.
Por comprensin, la unin queda definido como
AB={x eU / x e A x e 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 AB={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 AB.
Por comprensin, la interseccin se define como
AB={xeU /xeA y xeB}.



Materia Profesor | 10

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
AC={1}; BC={2} y AB=C.




Materia Profesor | 11


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 e U / x e A y x e 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
c
A o
'
A .
Por comprensin,
c
A = {x e U / x e A}.
La regin sombreada representa el complemento de A:




Materia Profesor | 12


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
c
A es el conjunto formado
por todos los enteros negativos.

Para pensar
Si A cB, entonces AB = B.
A C= A.
A A = A
Si A cB, entonces AB = A.
A C= C.
A A = A
Si A y B son conjuntos disjuntos entonces AB=C.
Si A y B son conjuntos disjuntos entonces A-B= A
U
c
=C
C
c
= U




Materia Profesor | 13

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.









Materia Profesor | 14











#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. #(AB)= #A +#B - #(AB)
2. Si AB= C entonces #(AB)= #A +#B
3. #(ABC)= #A +#B + #C - #(AB) - #(AC) -
#(BC) + #(ABC)

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?



Materia Profesor | 15

- 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





Materia Profesor | 16

#(CCC)=4










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



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

16



Materia Profesor | 17


- 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


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.
16
16



Materia Profesor | 18

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 A favor En contra Total
Varones 79 121 200
Mujeres 27 73 100
Total 106 194 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

F)=79;
#(V

C)=121;
#(M

F)=27
#(M

C)=73.
A su vez, los cardinales de las uniones de dichas intersecciones
representan los totales columnas y filas:
# (V

F)

(V

C)=200; # (M

F)

(M

C)=100;
# (V

F)

(M

F)= 106 y # (V

C)

(M

C)= 194.

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




Materia Profesor | 19

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.

x da de la semana, voy al gimnasio.

2.
-
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. - xeA / x eB



Materia Profesor | 20

2. xeA , x eB
3. xeA , x eeB
4. C c A
c

5. {2,3} c A
6. 1eB
7. 4 cA
8. BC= C
9. A C= u
10. (A B)
C
= u
11. - xeU / x e(A B)
12. xeC , x eB
13. C-B=u
14. 4 e A . 4 e B
15. - xeA.x e U
16. xeB , x eC

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



Materia Profesor | 21

15. F
16. F


Lista de smbolos utilizados
e pertenece
e no pertenece
/ tal que
para todo cualquiera sea
- existe un
. y
v o
c subconjunto de incluido en
. no es subconjunto de o no est incluido en
U conjunto universal
u 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



Materia Profesor | 22

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-84-
8432-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.