1

Conjuntos

Notacin de conjuntos

Se utilizarn las letras maysculas, tales como A, B y C para nombrar conjuntos. Por
ejemplo:

{ } 3 , 2 , 1 = A { } 6 , 5 , 2 = B { } u o i e a C , , , , = { } #, &,*, @ D =

Es bastante corriente dibujar los conjuntos esquemticamente, una simple curva
cerrada representa el conjunto y en su interior se disponen todos los elementos que
pertenecen a l. A estos esquemas se les denomina diagramas de Venn.

D





A cada objeto de un conjunto se le llama elemento de l. Se dice que dicho elemento
pertenece al conjunto. Simblicamente:

3
5
A significa que " el nmero 3 es un elemento del conjunto A " , o " 3 pertenece a A "
A significa que " el nmero 5 no es un elemento del conjunto A " , o " 5 no pertenece a A"
e
e


Conjunto Vaco

Un conjunto que carece de elementos se llama conjunto vaco.
Pero, existen conjuntos vacos?. Cmo se podran determinar?
Consideremos el conjunto A formado por todos los tringulos de cuatro lados.
Est bien determinado?. S! : Podemos saber exactamente si un objeto le pertenece
o no.
Sabemos que ningn tringulo tiene cuatro lados. Por lo tanto este conjunto no tiene
ningn elemento. Es un ejemplo de conjunto vaco.


C es el smbolo utilizado para nombrar al conjunto vaco
{ } = C



El conjunto B de los nmeros x que cumplen : x + 5 = x + 3 , es un conjunto vaco?
S porque no existe un nmero que cumpla esa condicin.
A B C
1
3
2
5
6
a
u
i
o
e
@ *
#
&


2
Formas de determinar un conjunto


Ya hemos visto dos formas de determinacin de conjuntos. Una forma grfica
(llamada: diagramas de Venn) y otra listando todos sus elementos entre corchetes
(llamada: por extensin).

Veamos algunos inconvenientes de estas formas. Si un conjunto tiene 4789 elementos,
su representacin por diagramas o extensin es posible, pero poco prctica. Peor an,
si el conjunto que se quiere determinar es infinito, su representacin no sera posible.
Existe una tercer forma denominada por comprensin que es especialmente
adecuada para representar conjuntos infinitos.

Qu significa determinar un conjunto por comprensin?

Por ejemplo, el conjunto {nmeros pares} est bien determinado porque podemos
decidir si un nmero pertenece o no a l; y adems es un conjunto infinito. No se
nombran uno a uno sus elementos sino que se da una propiedad comn a todos ellos y
a ningn otro. Esto es representar un conjunto por comprensin.

Hasta ahora se han proporcionado unos pocos ejemplos. En cul de los ejemplos
anteriores, el conjunto est determinado por comprensin?


Notacin para conjuntos determinados por comprensin






{ } par nmero un es / x x P =








Veamos otro ejemplo:
Si D es el conjunto de todos los nmeros x tales que x
2
= 4 , podemos determinarlo
tanto por comprensin como por extensin

{ } 4 /
2
= e = x Z x D { } 2 , 2 = D y representarlo
Propiedad, regla
o condicin
Conjunto
Toda x
tal que
(que cumple que)
Nombre
2 -2
D


3
x
para todo elemento x
Igualdad de Conjuntos

Diremos que dos conjuntos son iguales si tienen los mismos elementos.
Es decir, A=B , s y slo si todo elemento de A pertenece a B y todo elemento de B
pertenece a A.

Simblicamente:

e e
e e

A y B y
B x A x





Consecuencias de la definicin de igualdad de conjuntos son:

- Si A = B , las letras A y B son nombres distintos para el mismo
conjunto.
- Existe un nico conjunto vaco
- Los conjuntos {a , b , c} , {a , a , b , b , c , c} y {a , a , c , b , a , c}
son l mismo conjunto. (Los tres tienen los mismos elementos. Por lo
tanto no es til repetir elementos en la escritura por extensin y tampoco
es importante el orden en que se escriben).

Inclusin de Conjuntos

Considere el siguiente ejemplo:

A = {4 , 5 , 7}



B = { 1 , 2 , 3 , 4 , 5 , 6 , 7 }


Todos los elementos de A son tambin elementos del conjunto B. Diremos que A est
incluido en B. Tambin decimos que A es subconjunto o parte de B.
En este caso en particular estamos hablando de inclusin estricta.
1
B
2
3
4 5
6
7
A
implica que
A = B
si y slo si


4
Definicin de Inclusin: Amplia y Estricta


1) A est incluido en sentido amplio en B

B x A x B A e e _

2) A est incluido en sentido estricto en B

A y / B y
B x A x B A
e e -
e e c


Si todo elemento de A est en B decimos que A est incluido ampliamente en B.
Pero, si adems, existe algn elemento de B que no est en A entonces la inclusin
ser estricta.

Ejemplo:

A = {x/ x es mltiplo de 6}
B = {x/ x es mltiplo de 2}

Todo mltiplo de 6 es tambin un mltiplo de 2 ya que:

6

= 6 . n
6

= (2.3). n = 2 .( 3.n) = 2.m = 2

(donde n es un natural y por lo tanto m tambin)

Pero no todo mltiplo de 2 es un mltiplo de 6. Por ejemplo 2, 4, 8 etc.

Como todo elemento de A est en B y hay elementos de B que no estn en A
podemos decir que A est estrictamente incluido en B.

B A c

Notas:

1) Inclusin en sentido amplio contempla la posibilidad de que los conjuntos sean
iguales. Con lo que podemos concluir cosas como:

Todo conjunto est incluido en s mismo A A _
Todo conjunto es subconjunto de s mismo

2) C A A _ El vaco est incluido en cualquier conjunto.
El vaco es subconjunto de cualquier conjunto.

En ambos casos
decimos que A es
subconjunto de B.



5
Mtodo de doble inclusin

Si queremos saber si un conjunto A es igual a otro B podemos intentar verificar si
uno est incluido en el otro y viceversa.

B A _ quiere decir que todo elemento de A, est tambin en B
A B _ quiere decir que todo elemento de B, est tambin en A

Por lo tanto, si ests inclusiones se cumplen simultneamente, quiere decir que A y B
tienen los mismos elementos y entonces son iguales.





Ejercicios:

Indicar si son iguales o no los conjuntos de cada uno de los siguientes pares,
explicando brevemente por qu en cada caso:

i) A = {x / x es abuelo o abuela de Juan},
B ={x / x es padre o madre de algn to de Juan};

(Se supone que Juan tiene tos paternos y maternos).

ii) A ={x / x es latinoamericano}.
B ={x / x es americano de habla espaola};

iii) A ={x / x es cuadriltero de diagonales congruentes},
B ={x / x es rectngulo};


Nota:

Si lo que se quiere demostrar es que dos conjuntos son distintos, es suficiente con que
una de las dos inclusiones no sea cierta.



(A B B A ) A B _ . _ =


6
Ejemplo:
Sea A ={ } 5 0, 3, - , B ={ } 3 - 5, 0, , C ={ } 5 0, . Entonces, cada una de las proposiciones
siguientes es verdadera:

A C c B C c B A =
B A _ A c C A =

( Se sugiere representar los conjuntos en un diagrama de Venn)

Ejercicio:
Sea M ={ } 6 4, - , N ={ } 4 - 6, , y P ={ } 4 - . Indicar si es verdadero (V) o falso (F).

(A) N M = (B) N P c (C) P N =
(D) M N _ (E)

P c (F) P M c






























7



Operaciones de Conjuntos


En aritmtica se estudian operaciones entre nmeros, (Adicin, Sustraccin, etc.). La
operacin numrica de sumar hace corresponder a cada par de nmeros, a, b, un
nuevo nmero (a+b) que es su suma (resultado de la operacin de sumar).

Tambin es posible operar con conjuntos. En este caso, el resultado de operar dos
conjuntos ser un nuevo conjunto. Definiremos algunas de las operaciones posibles:
Unin, Interseccin, Diferencia, Complemento, Diferencia Simtrica y Producto
Cartesiano.

1) Unin


Definicin:

{ } B x A x / x B A e v e =

Un elemento pertenece a la unin de A y B si est en A o si est en B. Es decir, es
suficiente que sea elemento de alguno de los dos.

Ejemplos:

a) La unin de los conjuntos

A = {1, 2, 3} , B = {a, b, 2} , C = { 3, 4,5}

que se anota C B A , es el conjunto {a, b, 1, 2, 3, 4,5}

b) La unin de los conjuntos: P de los enteros pares e I de los enteros
impares,
es el conjunto Z de los nmeros enteros.




8

2) Interseccin






Definicin:

{ } B x A x / x B A e . e =

Se llama interseccin de dos conjuntos A y B (y se anota B A ) al conjunto cuyos
elementos son los que pertenecen a la vez a A y a B.

Ejemplos:

a) Para la clase de Botnica, cada alumno lleva una flor. Si el conjunto de los que
llevan rosas es

A = {Carol, Matas, Vernica, Leonardo}

y el de quienes llevan flores rojas es

B = {Santiago, Carol, Ins, Leonardo, Rossana}

Podemos determinar el conjunto de los que llevan rosas rojas

?
S, es el conjunto

B A = { Carol, Leonardo}

Con diagramas:










b) Si A = {1, 2, 3, 4} y B ={ -1, 3. 5, 4/2), es A B = {2, 3).

c) La interseccin de A = {1, 2, 3, 4} con el conjunto P de los nmeros pares, es
A P = {2, 4}.

Carol
Leonardo
A
B
Matas
Vernica
Ins
Santiago
Rossana


9
d) La interseccin de los conjuntos
A = { x / x es entero y x < 7 }, B = {x / x es entero y 3 < x}
es el conjunto AB = {x / x es entero y 3<x<7 } = {4, 5. 6).

e) La interseccin de dos rectas secantes a y b es un conjunto unitario {P} cuyo
nico elemento P es el punto generalmente llamado punto de interseccin de
las rectas.

f) La interseccin de el conjunto de los nmeros pares con el conjunto de los
nmeros impares es el conjunto vaco.




3) Diferencia


A B se lee A diferencia B y significa el conjunto
cuyos elementos pertenecen a A y no pertenecen a
B.

Es decir que, para construirlo considero la lista de elementos de A y saco de ella los
elementos que pertenezcan tambin a B.

Definicin:
{ } B x A x / x B A e . e =

Ejemplos:

a) Sean { } 3, 4, 5, 6 K = y { } 1, 2, 3, 4 T = entonces { } 5, 6 K T =
b) - = (Los reales que no son irracionales son los racionales)
















10
4) Complemento

En el caso particular en que un conjunto B est incluido en otro conjunto A ( A Bc ), al
resultado de A B le llamamos complemento de B en A.
A este conjunto lo escribimos
'
A
B

A B si B - A B
'
A
c =






An si A es igual a B podemos hablar de complemento de B en A , aunque en este caso
sera {} B
'
A
= .

Si hablamos del complemento de B pero no en otro conjunto especfico A, Estamos
nombrando todo elemento que no pertenezca a B.
Podemos pensar en un conjunto universal (referencial para el caso considerado) en el
cual B est incluido.


E : es conjunto universal. En este caso, la zona gris
indica todo lo que no es B


B B - E =

{ } B x / x B
'
e =


Ejemplo:

E= {Barajas Espaolas} y B={Bastos} entonces B={Oros, Espadas, Copas}


11
Leyes de Morgan

E B
E A Sean
c
c


i)
( ) B' A' ' B = A
(el complemento de la unin es la interseccin de los
complementos)


Para demostrar que ambos conjuntos son iguales emplearemos el mtodo de la
doble inclusin.

Demostracin:
(Directo)
( ) B A
B x
A x

B x
A x
B A ' B x e

e
.
e
e
.
e

e e x x A


(Recproco)


( )'
B x B y
A x A y
' ' y B A y B A y B A e e

e e
. .
e e

e





ii)
( ) B A ' B = A
(el complemento de la interseccin es igual a la
unin de los complementos)

Demostracin a cargo del alumno.







Def.
Complemento
Def.
Unin
Def.
comp..
Def.
Interseccin
Def.
Interseccin

Def.
Unin

Def.
Complemento

Def.
comp..



12
Conjunto de Partes ( )

Se llama conjunto de partes de un conjunto A, al conjunto cuyos elementos son todos
los subconjuntos (o partes) de A.

(A) { } A X / X c =

NOTA: El conjunto de partes es, entonces, un conjunto de conjuntos.

Ejemplo: { } c , b , a A =

Algunos subconjuntos son: { } a ; { } b , a ; A ; ; etc.

Si queremos hacer una lista de todos los subconjuntos se A, podemos
recurrir a un diagrama de rbol. En dicho diagrama vamos formando
todos los subconjuntos posibles.

c { } A c , b , a =
b
c { } b , a
a
c { } c , a
b
c { } a

c { } c , b
b
c { } b
a
c { } c
b
c { } =






Son en total 8 conjuntos.
S
U
B
C
O
N
J
U
N
T
O
S

Entonces: (A) = { } { } { } { } { } { } { } { } { } c , b , a ; c , a ; c , b ; b , a ; c ; b ; a ;


13
Observaciones:
1) Si A={a,b,c} , (A) tiene 8 elementos
i. Las nicas partes o subconjuntos de un conjunto unitario U={a} son el
conjunto vaco y el mismo conjunto {a}. Entonces, el conjunto de
partes de {a} es ( ) U = {, { } a }. Es decir que ( ) U tiene 2
elementos.
ii. El conjunto de partes de B={a, b} es ( ) B = { } { } { } { } b , a ; b ; a , y
( ) B tiene 4 elementos.

En general si el conjunto A tiene n elementos entonces
el conjunto (A) tendr 2
n
elementos.