Complemento de un conjunto

Llamamos conjunto complementario de un conjunto

diferencia:

y lo representamos por

al conjunto

siendo U el conjunto universal. Esto es:

El conjunto complemento de A es el conjunto de los elementos x, que cumplen que, x pertenece a U, y

que, x no pertenece a A.
Por ejemplo, si tenemos que:

entonces:

Propiedades
1.
2.
3.
4.
Nota: Otras notaciones para designar al conjunto complemento pueden ser:

No obstante, alguna de estas notaciones puede llevar a confusin, ya que tambin se usan para representar
otros conceptos.
EJERCICIOS DE LO CONJUNTOS REPRESENTADOS GRAFICAMENTE
Conjuntos:
U = {1, 2, 3, 4, 5, 6, 7, 8}
A = {3, 5, 6}
B = {2, 5, 7}
C = {1, 3, 4}
1._ (A B) C
U
A

R// = (A B) C

(A B)

2._ (B C) C
U
C

B C

R// = (B C) C

3._ (C A) B
U
C

(C A)

R// = (C A) B

PROPIEDADES DEL COMPLEMENTO

Conjuntos.
U = {2, 3, 4, 5, 6}
A = {4, 5, 6}
1._ (A) = A
U
(A) = A

2._ (A A) = U

3._ A A
U

R// = (A A) =

4._ A = U A
U
R// = A = U A

* El universo no tiene complemento, por lo tanto nos queda conjunto vacio.

* El conjunto vacio no tiene elementos, por lo tanto el complemento es el

conjunto universo.
PROPIEDEDAS DE LA UNION DE CONJUNTOS
1._ A A = A

* La unin de A es el mismo conjunto. (Ya que tiene los mismos elementos).

2._ A = A

* Por lgica la unin del conjunto A con el conjunto vacio es igual al mismo
conjunto A.
3._ A U = U
U
4._ A B = B A
A
B

=
5-_ (A B) C = A (B AC)
A
B
=

C
A
PROPIEDAD DE LA INTERSECCIN
1._ A A = A
2._ A =
A

3._ A U = A
U
4._ A B = B A
A
B

5._ (A B) C = A (B C)
A
B

C
A
PROPIEDADES DE LA DIFERENCIA
1._ A A =

* La diferencia del conjunto A menos el mismo, nos da como resultado el

conjunto vacio.
2._ A =

* Es igual al conjunto vacio, ya que no contiene ningn elemento.

Operaciones bsicas entre conjuntos
Intuitivamente un lgebra es una estructura en donde ciertos objetos de un conjunto base se combinan por
medio de distintas operaciones para formar elementos del mismo conjunto base. Tome, por ejemplo, la
estructura de los nmeros nturales. El conjunto base es en este caso el conjunto de los nmeros naturales,

y hay varias operaciones, como por ejemplo la suma. Si operamos mediante la suma al

y al

obtendremos el nmero
. Estudiar un lgebra significa estudiar las propiedades de las
operaciones. Por ejemplo, para el caso anterior, sabemos que una propiedad fundamental de la suma es la
conmutatividad: para todos

Lo importante del lgebra es que le da estructura a un conjunto. Una cosa es representarse a los naturales
como simples elementos aislados entre s, y otra cosa muy distinta es pensar en ellos como estructura
compleja, en donde ellos se combinan entre s. En el primer caso, el y el son esencialmente lo mismo.
En el segundo caso el es ms interesante que el , ya que posee una caracterstica especial: para todo ,
(esto lo expresamos diciendo que
En general, una operacin

-aria

es neutro con respecto a la suma).

es una regla que le asigna a

elemento, que llamamos

elementos

cierto

. Los siguientes son algunos ejemplos de operaciones

1. Sea

, para

2. Sea

un nmero natural.

, para

ejemplo,

es una operacin unaria (

nmeros enteros.

-arias:

).

es una operacin binaria (

), y por

En esta seccin presentamos un lgebra para los conjuntos, esto es, describimos ciertas operaciones entre
conjuntos y estudiamos sus propiedades.

Definicin 8 (Unin) Si

son conjuntos, definimos el conjunto

. Es decir, para todo ,

Definicin 9 (Interseccin) Si

.
y

son conjuntos, definimos el conjunto

. Es decir, para todo ,

Diremos que

1.

3.

,y
y
y

son conjuntos disyuntos.

Para antes de seguir leyendo:

son disyuntos si no comparten elementos (es decir, si

Ejemplo 10 Sea

2.

. Tenemos:
.

).

1. Si

posee cuatro elementos y

? Y como mnimo?

2. Si

posee
elementos y
? Y como mnimo?

posee cinco elementos, cuntos elementos como mximo posee

posee

elementos, cuntos elementos como mximo posee

3. Existe un conjunto disyunto de s mismo?

4. Si

son disyuntos y

son disyuntos, puede concluirse que

son disyuntos?

Las siguientes propiedades bsicas de la unin y la interseccin son evidentes y descansan en las
propiedades lgicas de y de :
Lema 11 Para cualquier par de conjuntos
1. Idempotencia:
;
2. Conmutatividad:

y
;

valen las siguientes propiedades:

.
.

3. Asociatividad:

4.

5.

6.

si y slo si

si y slo s

Demostracin. [Prueba]
Mostremos, por ejemplo, la primera parte de la ltima propiedad (las otras pruebas son semejantes y se
dejan al lector).

``

'': Sea

'': Si

``

``

. Hay que mostrar

. Utilicemos el principio de la doble inclusin: ``

, entonces como todo elemento de

'': Si

, entonces

es elemento de

por propiedad 5.

'': Supongamos

. Debemos probar

pero por hiptesis este conjunto es

, luego

. Sea

. Entonces

y terminamos.

Es una operacin binaria. Por esto, una expresin de la forma

debe traducirse a

, necesariamente

en principio es ambiga y

. Pero en virtud del lema anterior ambas expresiones

denotan el mismo conjunto, y por lo tanto definimos

como

(o

!). Por supuesto la observacin anterior tambin vale si cambiamos

Si uno se encuentra con una expresin de la forma

o en

por

, puede transformarla en

, segn le convenga. A continuacin un ejemplo:

Ejemplo 12 Muestre que

Demostracin. [Solucin]

, la ltima igualdad
valiendo por asociatividad.
Ahora avanzamos un poco ms, y comenzamos a relacionar la unin con la interseccin mediante las
llamadas leyes de la distribucin:
Lema 13 (Distribucin) Para

conjuntos:

1.

2.

Demostracin. [Prueba] (1): Lo mostramos utilizando doble inclusin: ``

Entonces
Si

. Por lo primero,

, entonces

. Luego

. Si

'': Sea

, entonces

, es decir,

``

'': Sea
, entonces

. Entonces
, luego

. En el primer caso, como

. En el segundo caso, como

entonces
, luego
. En cualquier caso,
(2): La prueba es similar a (1) y se deja para el lector.

Figura: Unin e interseccin

,
.

As como podemos restar nmeros, podemos restar conjuntos, de una manera natural:
Definicin 14 (diferencia) Para

conjuntos, definimos su diferencia como el conjunto

. Por lo tanto, para todo

Se denomina ``

menos

''.

Algunos ejemplos:

1.

2. Si

3. Si

, entonces

son disyuntos, entonces

. (Por qu?).

4. Pregunta: Es cierto que

(para cualquier par de conjuntos

Dado un conjunto , el conjunto de todos sus elementos es mismo:

conjunto de todos sus subconjuntos resulta ser muy distinto, como se ver ms adelante.

Definicin 15 (Conjunto partes) Dado

)?

. Pero el

un conjunto, definimos el conjunto

Esto es, para todo ,

.
Suele llamarse tambin el conjunto potencias de
.
Ejemplo 16 (Algunos ejemplos del conjunto potencias)
1.

, para cualquier A.

2.

: para ver esto, basta preguntarse qu conjunto

de

: Si

posee al menos un elemento

, entonces

es candidato a ser subconjunto

, y por ende

. Por otro lado,

es subconjunto de cualquier conjunto, en particular de l mismo.

3. Sea

4. Sea

tiene
.

5. Sea

tiene
.

tiene

elemento.

tiene

elementos.

elementos.
elementos.

tiene
.

elementos.
tiene

elementos.
.

Figura: Distintas representaciones del conjunto

. La primera consiste en un diagrama de
Venn. En la segunda se construye el retculo en donde se pintan lneas siempre que haya contenencia (sin
pintar, por supuesto, todas las lneas posibles). En la tercera se asocia a cada conjunto
una sucesin ordenada de ceros y unos, en donde se coloca un
ejemplo, a

en la posicin si y slo si

se le asocia la sucesin

(as por

).

Ahora tomamos un conjunto y trabajamos en

; esto significa que todos los conjuntos que
consideremos sern subconjuntos de . Llamaremos a nuestro universo de discurso, o simplemente el
universo . Esto nos permite definir el complemento de un conjunto :

Definicin 17 (complemento) Para un conjunto

Note que

, definimos su complemento

Algunos autores suelen notar

por
,
puede escribir como la unin disyunta de

o incluso
. Note que para cualquier
y su complemento, esto es, (1)

. Para mostrar (1) utilizamos doble inclusin: Si

son subconjuntos de

, entonces

. Si por el contrario

. Ahora, sea

, dado que tanto

. Hay dos casos: si

se

como

, entonces

, entonces (por definicin de complemento)

. Mostremos ahora (2) por contradiccin: si

Pero entonces

,
y (2)

, luego

, entonces existe

, lo cual es una contradiccin. Se concluye

Algunas propiedades del complemento:

Lema 18 Para
1.
2.
3.

subconjuntos de

.
(doble complemento).
, si y slo s

Demostracin. [Prueba] (1): Para

.
arbitrario,

si y slo si (

) si y slo s

(2): Si

, entonces

entonces
. Pero adems
complemento),
.

, luego necesariamente

(de lo contrario se tendra

. Ahora, si

), y entonces (por definicin de

(3): ``
'' : Suponga que
. Hay que mostrar que
. Sea
Este ltimo hecho ms la hiptesis implican que
(o de lo contrario
``

. Entonces
y
sera elemento de
).

'' : Suponga que

. Por la implicacin que acabamos de mostrar (donde
juega el papel de
y
el de
) se tiene que
, y esto ms (1) garantizan el resultado.

Note que la prueba de (1) no fue descompuesta en dos inclusiones, como de costumbre, sino que consisti
en mostrar directamente que pertenecer al primer conjunto equivala a pertenecer al segundo (luego al
ambos conjuntos tener los mismos elementos, deben ser iguales). Quien no haya quedado convencido de
esta prueba puede hacer otra utilizando doble inclusin, y despus volver a revisar la que hemos
presentado. Pese a la elegancia del mtodo directo, el lector se dar cuenta con el tiempo de que muchas
pruebas de igualdad de conjuntos deben hacerse utilizando la doble inclusin.
Teorema 19 (Leyes de De Morgan) Para
:
1.
(el complemento de la unin es la interseccin de los complementos).
2.
(el complemento de la interseccin es la unin de los complementos).
Demostracin. [Prueba] La prueba de (1) se deja al lector, y probamos (2): Si
y

; pero esto ltimo implica

.

, esto es,
Si

, entonces (i)

, (ii)

. En el caso (ii),
, e.d.,

, entonces

. Por ende, necesariamente

. En el caso (i),
, luego

. Por lo tanto

, luego
y

Imagine ahora la siguiente situacin: se le entregan dos conjuntos

relacionan entre s. Hay varias posibilidades:
1.
2.

pero
pero

3.

: en este caso,

4.

: en este caso diremos que

, es decir,
(es decir,

Figura 2.3: Dados dos conjuntos

y usted debe decidir cmo se

es subconjunto propio de
).

).

no son comparables (entre s).

, ocurre una y slo una de estas cuatro posibilidades.

Complemento de un conjunto.
El complemento de un conjunto X es aquel conjunto Xc que contiene todos los elementos
Que estn en el conjunto universo, sin que estn contenidos en X.
Ejemplos:
Si definimos como conjunto universo:
S = nmeros entre 0 y 20.
Entonces se cumple que:
Ac = { 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 }
CC. = { 0, 1, 3, 5, 7, 9, 11, 13, 15, 16, 17, 18, 19, 20 }
6.- Operaciones entre conjuntos.
a) Unin ( ).
De la unin de dos conjuntos X e Y resulta otro conjunto que contiene los elementos
Contenidos tanto en X como en Y, tomando en cuenta una sola vez los que estn en ambos.
Ejemplos:
A B = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, a, e, i, o, u }
A C = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14 }
b) Interseccin ( ).
De la interseccin de dos conjuntos X e Y se obtiene otro conjunto que contiene los
Elementos que estn en ambos a la vez.
Ejemplos:
A C = { 2, 4, 6, 8 }
B E = { a, e, i, o, u }
c) Resta ( ).
El resultado de la resta entre dos conjuntos X e Y, es un conjunto que contiene los
Elementos que pertenecen a X, pero no pertenecen a Y.
Ejemplos:
A C = { 0, 1, 3, 5, 7, 9 }
A D = { 3, 4, 5, 6, 7, 8, 9 }
7.- Propiedades de las operaciones.
a) Operaciones con los conjuntos vaco y universo.
Si S es el conjunto universo escogido y el conjunto vaco; para cualquier conjunto X se
Cumple:X S = S
X
= X
X S = X
X
=
b) Operaciones consigo mismo y su complemento.
X X = X
X X = X
X Xc= S
X Xc=
c) Conmutatividad.
La unin y la interseccin son operaciones conmutativas, ya que no importa el orden en
Que aparezcan los conjuntos con los que se trabaja.
X Y = Y X
X Y = Y X
Nota: La resta de conjuntos no es conmutativa.
c) Asociatividad.
La unin y la interseccin son operaciones asociativas, porque cumplen la siguiente
Condicin:
(X Y) Z = X (Y Z)
(X Y) Z = X (Y Z)
Nota: La resta de conjuntos no es asociativa.
d) Distributividad.

La unin de conjuntos es distributiva con respecto a la interseccin:

X (Y Z) = (X Y) (X Z)
La interseccin de conjuntos es distributiva con respecto a la unin:
X (Y Z) = (X Y) (X Z