TEMA 2 CONJUNTOS
DIFERENCIA
DEFINICIÓN DE CONJUNTO DIFERENCIA
Dados los conjuntos A y B , llamamos conjunto diferencia entre A y B al conjunto, que anotamos A B o
A \ B , cuyos elementos pertenecen a A y no pertenecen a B .
En símbolos: A B x / x A x B
Observar que x A B x A x B . Por tal motivo A B A B
Por ejemplo, si A 2 , 3 , , p , m y B 2 , a , , m , b, entonces A B 3 , p y
B A a , b . Con este ejemplo, debe quedar claro que en general A B B A .
Observar que en el caso que B A , la diferencia A B es el complemento de B con respecto a A .
EJEMPLO
Si A y B son conjuntos contenidos en un universo U , expresemos A B como la unión de dos conjuntos.
Teniendo en cuenta la igualdad A B A B y usando las propiedades de la unión, intersección y complemento de
conjuntos podemos escribir: A B A B A B
De Morgan
Ejercicio 6
Sean A , B y C tres conjuntos cualesquiera contenidos en un universo U .
a) Teniendo en cuenta que los complementos indicados son respecto a U y usando las propiedades de la unión y la
intersección de conjuntos, demostrar que:
1)
A (B C ) C B A
2) A B A B A
b) Investigar si las siguientes proposiciones son verdaderas o falsas:
1) x A B x A x B
2) A ( B C ) ( A B) C
3) A ( B C ) ( A B ) ( A C )
4) ( A B ) C A ( B C )
40
TEMA 2 CONJUNTOS
RELACIÓN ENTRE LÓGICA Y CONJUNTOS
Como ya hemos mencionado, los conjuntos permiten sustituir expresiones como “ x cumple la propiedad p ” por
“ x A ” donde A es el conjunto cuyos objetos cumplen la propiedad p . En este caso decimos que la propiedad p
define al conjunto A y podemos escribir: A x / x cumple la propiedad p .
Existe una estrecha relación entre la lógica y los conjuntos. Por ejemplo, la relación de inclusión entre conjuntos, está
relacionada con la implicación lógica. Si la propiedad p define el conjunto A y la propiedad q define al conjunto
B entonces la implicación lógica p q significa que A B . De forma análoga p q significa A B
Por otro lado, las operaciones entre conjuntos están relacionadas con los conectivos lógicos de la siguiente manera:
Operación Conectivo
p
A
A B pq
A B pq
Esta relación entre lógica y conjuntos permite que las propiedades del álgebra de conjuntos se pueden traducir en leyes
de la lógica proposicional sustituyendo cada operación de la tabla anterior por su respectivo conectivo lógico y viceversa.
Esto permite entre otras cosas, demostrar propiedades de los conjuntos a partir de tablas de verdad.
Por ejemplo, la equivalencia lógica
p (q r ) ( p q) ( p r ) se traduce en A ( B C ) ( A B) ( A C )
Ejercicio 7
Considere los siguientes conjuntos:
F es el conjunto de todos los filósofos. M es el conjunto de todos los matemáticos.
C es el conjunto de todos los científicos. P es el conjunto de todos los profesores.
Escribir cada una de las siguientes proposiciones utilizando los conjuntos F , M , C o P y alguno de los siguientes
símbolos: , , , y
1) Todos los matemáticos son científicos.
2) Todos los matemáticos son científicos y todos los científicos son matemáticos.
3) Todos los filósofos son científicos o profesores.
4) Todos los matemáticos son científicos y profesores.
5) Los matemáticos son científicos, pero no profesores.
Ejercicio 8
Se seleccionó un grupo de 72 alumnos de quinto año de un determinado liceo y se constató que 52 aprobaron química,
50 aprobaron física, 14 biología, 43 física y química, 3 física y biología, 5 química y biología y 2 física, química y
biología.
1) Representar los datos en un diagrama de Venn.
2) ¿Cuántos alumnos del grupo aprobaron solo química?
3) ¿Cuántos alumnos del grupo no aprobaron física, ni química ni biología?
4) ¿Cuántos alumnos del grupo aprobaron solo física y química?
5) ¿Cuántos alumnos del grupo aprobaron física o química?
6) ¿Cuántos alumnos del grupo aprobaron por lo menos dos de estas materias?
Ejercicio 9
En una fiesta se invitó a 1000 personas. Se repartieron, en forma gratuita 600 refrescos cola, 450 jugos de naranja y
450 cervezas. No se llevó mucho control, así que poco después se observó que una misma persona se había apropiado
de más de una consumición. Un recuento de urgencia del equipo de relaciones públicas del local mostró que el 20 % de
los invitados consumió cerveza y refresco cola, el 25 % consumió jugo de naranja y refresco cola y que 15 % consumió
jugo de naranja y cerveza. Incluso 50 personas (avispadas) consumieron jugo, refresco cola y cerveza.
1) ¿Se quedó alguna persona sin consumición gratuita? En caso afirmativo ¿cuántos?
2) ¿Cuántos consumieron una sola bebida?
3) ¿Cuántos consumieron por lo menos una bebida?
4) ¿Qué porcentaje de los invitados tuvo acceso exactamente a dos tipos de bebidas?
41
TEMA 2 CONJUNTOS
Ejercicio 10
Se preguntó a 64 turistas las preferencias a viajar en avión, barco u ómnibus y todos se decidieron por alguno de estos
medios. Los que prefieren viajar en avión son la misma cantidad de los que prefieren viajar en barco. Los que prefieren
solo viajar en ómnibus son 5 más que los que prefieren viajar solo en barco. Los que prefieren solo viajar en barco son
3 más que los que prefieren viajar solo en avión.
Hay 29 turistas que prefieren viajar en ómnibus, 47 que prefieren solo un medio de transporte y 4 a los que les da lo
mismo los tres medios.
a) Calcular el número de turistas que prefieren viajar solo en avión.
b) Calcular el número de turistas que prefieren viajar en avión o en ómnibus, pero no en barco.
c) Calcular el número de turistas que prefieren viajar en avión y en barco.
Ejercicio 11
Sean A , B y D tres conjuntos cualesquiera contenidos en un universo . Teniendo en cuenta que los complementos
que aparecen son todos los casos son con respecto a , investigar si las siguientes proposiciones son verdaderas o falsas.
Demostrar las verdaderas o dar un contraejemplo para las falsas.
1) Si A B A D entonces B D . 2) Si A B A D entonces B D .
3) A B A ( A B ) 4) A B B A B
5) A ( B D ) ( A B ) D 6) ( A B ) D ( A D) B
7) A B B A 8) P( A B) P( A) P ( B )
9) P ( A B) P ( A) P ( B) 10) A B P ( A) P( B)
Ejercicio 12 (DIFERENCIA SIMÉTRICA)
Dados dos conjuntos A y B , se llama diferencia simétrica entre A y B , al conjunto denotado por A B , cuyos
elementos pertenece a uno de los conjuntos pero no al otro. Es decir, A B ( A B ) ( B A)
1) Si A 1;3;5 y B 1;2;3 , hallar A B.
2) Demostrar que cualesquiera sean los conjuntos A y B se cumple: A B ( A B ) ( A B ) . (Sugerencia:
se puede demostrar usando el hecho que A B A B )
3) Demostrar que A B A B .
COMPLEMENTO
FAMILIAS DE CONJUNTOS
DEFINICIÓN DE FAMILIA O COLECCIÓN DE CONJUNTOS
Llamamos familia o colección de conjuntos a cualquier conjunto cuyos elementos son conjuntos.
EJEMPLO
1) Cualquiera sea el conjunto A , el conjunto de partes de A es una familia de conjuntos.
2) Si por cada número real positivo se define el conjunto A x R / x , entonces el conjunto
F A /
es una familia o colección de conjuntos la cual diremos que está indexada por el conjunto
de los números reales positivos.
DEFINICIÓN DE FAMILIA O COLECCIÓN DE CONJUNTOS INDEXADA
Si por cada elemento I queda definido un conjunto A , la familia de conjuntos F A / I
de un conjunto
se llama familia indexada por el conjunto I e I se llama conjunto de índices.
42
TEMA 2 CONJUNTOS
La definición de unión de conjuntos se puede generalizar para una familia de conjuntos.
SiF es una familia de conjuntos, la unión de los elementos de la familia F , se denota F , y se define de la siguiente
manera: F x / x A para algún A F
Si F A / I es una familia indexada, se usa la notación A , para referirse a la unión de todos los conjuntos
I
de F . En este caso, A x / x A para algún I .
I
Al igual que para la unión, la definición de intersección de conjuntos se puede generalizar para una familia de conjuntos.
Si F es una familia de conjuntos, la intersección de los elementos de la familia F , se denota F , y se define de la
siguiente manera: F x / x A para todo A F
Si F A / I es una familia indexada, entonces A x / x A para todo I es la intersección
I
de todos los conjuntos de F.
Las leyes de De Morgan, pueden generalizarse para una familia cualquiera F A / I de la siguiente manera:
A A y A A
I I I I
Ejercicio 13
1
Para cada número natural n 0 se define el conjunto An x / x n .
n
Hallar y representar en la recta real cada uno de los siguientes conjuntos:
a) A3 A4 b) A3 A4 c) An An 1 d) An An 1 e) An f) An
n 0 n 0
43