2.

Conjuntos

2.1 Introduccin

El concepto de conjunto, de singular importancia en la ciencia matemtica y objeto de estudio

de una de sus disciplinas ms recientes, est presente, aunque en forma informal, desde los
primeros aos de formacin del hombre. Desde el momento que el ser humano tom entre sus
manos un puado de piedras u observ un grupo de animales, tom conocimiento del "conjunto".
Sin embargo, por tratarse de conceptos matemticos debemos fijar con exactitud el significado de
cada trmino para no dar lugar a contradicciones o interpretaciones errneas.

2.2 Determinacin de conjuntos

2.2.1 Lenguaje Simblico - Notacin

Para representar los conjuntos, los elementos y la relacin de pertenencia, mediante smbolos,
tendremos en cuenta las siguientes convenciones:

a) Los conjuntos se designan con letras maysculas.

b) Los elementos que forman el conjunto se encierran entre llaves.
c) Los elementos se designan con letras minsculas.
d) Para indicar que un elemento pertenece al conjunto se escribe el signo . Para indicar que
un elemento no pertenece a cierto conjunto, se escribe el signo .
Entonces, si tenemos un conjunto A formado por los elementos a, b y c, escribimos:

A= {a,b,c}

En este caso, al nombrar todos los elementos que forman el conjunto, lo estamos definiendo
Por extensin.
As, por ejemplo, para definir al conjunto B formado por los elementos 1, 2 y 3, lo haramos del
siguiente modo:

B={1,2,3}

Notamos, sin embargo, que dicho conjunto est formado por los nmeros naturales menores a
4. Podemos, sabiendo esto, definir este conjunto Por comprensin, es decir mencionando la
caracterstica que define sus elementos. De este modo, representamos:

B={xN/x<4}
2 Conjuntos

Donde N representa el conjunto de los nmeros naturales.

De este modo, podemos dar la siguiente:

Definicin
Un conjunto se determina por extensin si y slo si se enumeran todos los
elementos que lo constituyen. Un conjunto se define por comprensin, si y slo si
se da la propiedad que los caracteriza.

El conjunto cuyos elementos verifican la propiedad P se indica:

A = { x U / P(x) }

o ms brevemente, si U est sobreentendido:

A = { x / P(x) }

y se lee "A es el conjunto formado por los elementos x, tales que P(x).

2.2.2 Lenguaje Grfico - Diagramas

Para la representacin grfica fijamos, tambin, algunas convenciones, a saber:

a) Los conjuntos se representan por una curva simple cerrada.

b) Los elementos que pertenecen al conjunto se representan por puntos interiores a la curva.
c) Los elementos que no pertenecen al conjunto se representan por puntos exteriores a la
curva.
d) Ningn punto se representa sobre la curva.

Ejemplo: b
A d
A = {2, 4, 6, 8} a f
c
a=2 d=5 g=8 e
b=3 e =6 g
c=4 f=7

2.2.3 Conjuntos infinitos

Supongamos el siguiente conjunto definido por comprensin:

A = { nmeros enteros pares }
 Andrs J. Bilstein 3

Nos resulta imposible enumerar los elementos del conjunto pues no tiene un ltimo elemento,
decimos entonces que dicho conjunto es un conjunto infinito.

2.2.4 Conjuntos especiales

Vamos a extender ahora nuestra nocin intuitiva de conjunto a los casos de carencia
de elementos y de unicidad de elementos, mediante la introduccin de los conjuntos vaco y
unitario.
Supongamos el siguiente conjunto definido por comprensin:

A = { x son los meses de 32 das }

Si intentramos definir dicho conjunto por extensin, enseguida nos daramos cuenta que no
existe ningn elemento que cumpla con la caracterstica enunciada. Por lo tanto, dicho conjunto, es
el Conjunto vaco.
El Conjunto vaco est caracterizado por una propiedad o funcin proposicional que se
convierte en proposicin falsa cualquiera sea el valor de x. Designaremos con el smbolo al
conjunto vaco, y podemos definirlo simblicamente as:

={x/xx}

En este caso, la propiedad relativa a x es P (x) : x x, la cual resulta falsa cualquiera que sea x.
Supongamos ahora al siguiente conjunto definido por comprensin:

A = { x / x son los meses de 28 das }

En este caso, al definirlo por extensin encontraremos que existe un solo elemento que cumple
con esa condicin (Febrero). Definimos, entonces, al Conjunto Unitario cuyo nico elemento es
a, escribiendo:

A={a}={x/x=a}

Ejemplo.
Determinar simblicamente y por extensin el siguiente conjunto definido por
comprensin:
A es el conjunto de los nmeros cuyo cuadrado es igual a 1.
En este caso la propiedad que caracteriza a los elementos de A es la conjuncin de:

P(x) : x Z y Q(x) : x = 1

Entonces: A = { x / x Z x = 1 } y la determinacin por extensin es: A = { 1 , -1 }

En este caso, Z representa al conjunto de los nmeros naturales. Las notaciones usuales para
caracterizar los conjuntos numricos son:
4 Conjuntos

N Conjunto de los nmeros naturales R Conjunto de los nmeros reales

Z Conjunto de los nmeros enteros Q Conjunto de los nmeros racionales
C Conjunto de los nmeros complejos

2.2.5 Conjunto Universal o Referencial

Supongamos el siguiente conjunto:

A = { Argentina, Brasil, Chile, Uruguay }

Queda claro que estamos hablando de pases de Sudamrica, y precisamente ste es el

conjunto Referencial (es decir, el conjunto de referencia). Por lo tanto, no podramos mencionar a
Mxico, pues estara fuera del Universo.
Damos entonces la siguiente

Definicin
El Referencial o universal es el conjunto formado por todos los
elementos del tema de referencia.

El Referencial o universal es el conjunto U

formado por todos los elementos de referencia.
Como el conjunto Referencial o universal
tiene fundamental importancia, se anota con un
smbolo propio: R o U y se representa por un
rectngulo para distinguirlo de los diagramas
correspondientes a los dems conjuntos. Por lo
tanto, cualquier conjunto que se estudie dentro
de un cierto Universo, se representar dentro
de dicho rectngulo . Decimos entonces que
cualquier conjunto est incluido dentro del universo correspondiente, y a continuacin vamos a
estudiar el concepto exacto de "inclusin".

2.3 Inclusin

2.3.1 Concepto

Sean A y B dos conjuntos, si cada elemento de A es elemento de B diremos que A est incluido
en B, o bien que A es parte de B, o que A es un subconjunto de B, y lo escribimos A B.
 Andrs J. Bilstein 5

Definicin:
Un conjunto A est incluido en otro conjunto B si cada elemento del conjunto
A pertenece, tambin, al conjunto B.
AB x:xA xB

A menudo ser necesario demostrar

que un conjunto es parte de otro entonces,
B
de acuerdo a la definicin, ser suficiente
demostrar que cualquier elemento del
b
primero pertenece al segundo.
A
Asimismo, teniendo en cuenta la
a
equivalencia entre una implicacin y la
contrarecproca, la definicin anterior
puede expresarse as:

A B (A est incluido en B)
AB x:xB xA

Adems, considerando la equivalencia

entre p q y ~( p ~q ), podemos traducir la misma definicin como sigue:

A B x / x A x B es (F)

Sobreentendiendo el cuantificador universal, escribiremos

AB xA xB

En el dibujo de arriba vemos que, efectivamente, el elemento a es parte del conjunto A y lo es,
a su vez, del conjunto B. Podemos afirmar, entonces, que A B. Ahora bien, vemos que b est
incluido en B pero no en A. Decimos, entonces que un conjunto A est estrictamente incluido en B
si todo elemento de A est incluido en B, pero existe al menos un elemento de B que no existe en
A.

Ejemplo.

Sean los conjuntos:

A = { libros de matemtica de mi coleccin }

B = { Libros de mi coleccin }
6 Conjuntos

Est claro que los libros de matemtica estn incluidos en mi coleccin. Podemos decir, aqu,
que A est incluido en B (A B), es decir que mis libros de matemtica son un subconjunto de mi
coleccin de libros.

2.3.2 Doble Inclusin - Igualdad de conjuntos

Nos resulta sencillo darnos cuenta que dos conjuntos son iguales si tienen los mismos
elementos. Volviendo al ejemplo anterior, supongamos ahora que todos los libros de mi coleccin
son de matemtica, entonces, que A B, pero a su vez B A y llegamos a la conclusin de que
ambos conjuntos son iguales.
En smbolos:
A=B A B BA

2.3.3 Propiedades de la inclusin

1) Propiedad reflexiva:
Todo conjunto est incluido en s mismo

A A

2) Propiedad antisimtrica:
Si un conjunto est incluido en otro y ste, a su vez, est incluido en el primero, entonces
dichos conjuntos son iguales

AB BA A=B

3) Propiedad transitiva:
Si un conjunto A est incluido en otro conjunto B y ste, a su vez, est incluido en otro conjunto
C, entonces el conjunto A est incluido en el conjunto C.

A B BC AC

2.3.4 Caracterizacin del conjunto vaco

Propiedad I)

Supongamos el conjunto B =
Podemos decir que B est incluido en cualquier otro conjunto A?
Veamos:
Si B A todo elemento de B pertenece a A

Es decir: No existe ningn elemento de B que no pertenezca a A.

y como: No existe ningn elemento de que no pertenezca a A
Llegamos a la conclusin: A
Y como esta demostracin es vlida cualquiera sea A, llegamos a la siguiente conclusin:

El conjunto vaco est incluido en todo conjunto.

 Andrs J. Bilstein 7

Propiedad II)

Dado que carece de elementos que lo distingan, el conjunto vaco es siempre el mismo, por ello
decimos el conjunto vaco y no un conjunto vaco.
En resumen
El conjunto vaco es nico

Cmo podemos demostrarlo? Pues bien, supongamos que existiera otro conjunto vaco al que
llamamos '. De acuerdo a la propiedad I enunciada ms arriba, podemos decir que:
' ' por lo tanto, por definicin de igualdad: = '

2.4 Conjunto de partes

Supongamos el siguiente conjunto

A = {libros de mi coleccin}

Cuntos subconjuntos de A puedo formar sabiendo que en mi coleccin hay libros de

matemtica, historia y castellano? No olvidemos que el mismo conjunto A y el conjunto vaco son
subconjuntos de A. Entonces los subconjuntos de A son:

{Libros de mi coleccin}
{Libros de matemtica}
{Libros de historia} En total suma 5 subconjuntos.
{Libros de castellano}

El conjunto de partes de A se llama Potencial de A y se anota P(A), entonces, en este caso

particular tenemos:

P(A) = { {Libros de mi coleccin}, {Libros de matemtica}, {Libros de historia}, {Libros de

castellano}, }

Podemos dar, entonces, la siguiente

Definicin:

Un conjunto de partes de A es el conjunto cuyos elementos son todos

subconjuntos de A.
P(A) = { X / X A }
8 Conjuntos

2.5 Complementacin de conjuntos

2.5.1 Concepto
U

Dado un Referencial U y un conjunto

A, queda determinado otro conjunto
A
formado por todos los elementos del
Referencial que no pertenecen a A. Se
llama complemento de A y se designa A'
A'
o A (es el rea coloreada del dibujo)

Definicin:

Complemento de A es el conjunto de todos los elementos que pertenecen a

U y no pertenecen a A.
A' = { x / x U x A }

Ejemplo.

Sea A = { Libros de mi biblioteca que son de matemticas }

Sobreentendemos que en este caso el Referencial o universal es el conjunto de libros de mi

biblioteca. Por lo tanto, el complemento del conjunto A es el conjunto total de libros de mi biblioteca
excepto aquellos que son de matemtica, es decir:

A' = { Libros de mi biblioteca que no son de matemtica }

2.6 Interseccin de conjuntos

U
2.6.1 Concepto
A B
Supongamos los conjuntos:

A = {Libros de tu biblioteca}
B = {Libros de matemtica}

y que un compaero te pidi prestado algunos AB

libros de matemticas. En este caso, el
Referencial en el cual vas a buscar sera el total de
 Andrs J. Bilstein 9

libros que tens en tu casa. Ahora bien, est claro que, como vos tambin tens libros prestados
por otros, slo le podrs prestar slo aquellos que son de tu biblioteca. Por lo tanto, los libros que
vas a buscar deben cumplir dos condiciones: pertenecer al conjunto A y, adems, pertenecer al
conjunto B. Por lo tanto, estos elementos forman un nuevo conjunto que se llama Interseccin
entre los conjuntos A y B.

Definicin:

Interseccin de dos conjuntos A y B se llama al conjunto formado por

aquellos elementos que pertenecen a A y pertenecen a B.
A B = { x U / x A x B }

La interseccin entre dos conjuntos es una operacin binaria, pues a partir de dos conjuntos se
obtiene un tercero.
La propiedad que caracteriza a los elementos de la interseccin es la de pertenecer
simultneamente a los dos conjuntos, y se establece en trminos de la conjuncin.
La definicin de interseccin establece:

x AB xA xB

Si la interseccin de dos conjuntos es vaca dichos conjuntos se llaman disjuntos.

A y B son disjuntos A B =

Ejemplo.

A = { nmeros pares } B = { nmeros impares }

A B = pues no existe ningn nmero que sea par e impar a la vez.

2.7 Unin de conjuntos

Concepto

Definicin:

Se llama unin o reunin de dos conjuntos A y B al conjunto formado por los

elementos que pertenecen a A, o a B o a ambos.
A B={xU/xA xB}
10 Conjuntos

La unin de dos conjuntos, lo U

mismo que la interseccin, es una
A B
operacin binaria definida en el
conjunto de partes de U.
De acuerdo con la definicin,
podemos escribir:

a A B aA a B

El "o" utilizado es incluyente, y

pertenecen a la unin aquellos elementos de U para los cuales es verdadera la disyuncin;
entonces un elemento pertenece a la unin si y slo si pertenece a alguno de los dos
conjuntos.
Es claro, adems, que todo conjunto es contenido en su unin con cualquier otro. En
efecto:
x A x A x B x A B

2.8 Diferencia

2.8.1 Concepto

Definimos la diferencia de conjuntos del siguiente modo:

Definicin:

Se llama diferencia entre un conjunto A y otro conjunto B al conjunto formado

por los elementos que pertenecen a A y no pertenecen a B.
A -B={xU/xA xB}

Asimismo, podemos definir la diferencia

entre dos conjuntos como la interseccin del U
primero con el complemento del segundo, es
A B
decir:

A-B={x/xA xB}=
= { x / x A x B' } = A B'

La representacin mediante diagrama de

Venn es la que vemos al lado.
 Andrs J. Bilstein 11

2.9 Diferencia simtrica

2.9.1 Concepto

Definimos la diferencia simtrica del siguiente modo:

Definicin:

Se llama diferencia simtrica entre un conjunto A y otro conjunto B al

conjunto formado por los elementos que pertenecen a A o a B pero no ambos.
A B = { x U / x A o x B pero x A B }

Asimismo, podemos determinar la U

diferencia simtrica entre los conjuntos A y B A B
como la unin de los conjuntos A - B y B - A. En
smbolos:

A B = (A - B) (B - A)

Podemos, tambin, identificarlo

como:
A B = (A B') (B A')

2.10 Propiedades de las operaciones con conjuntos

2.10.1 Propiedad asociativa

Recordemos que se dice que una operacin es asociativa cuando el resultado no depende de
la forma de asociacin. Recordemos tambin que, de tal modo, puede prescindirse del uso de
parntesis. Veamos ahora qu operaciones con conjuntos gozan de la propiedad asociativa:

a) Unin:

La Unin goza de la propiedad asociativa

(A B) C = A (B C)
b) Interseccin:

La interseccin de conjuntos es, tambin, asociativa

(A B) C = A (B C)
12 Conjuntos

c) Diferencia:

La diferencia de conjuntos no es asociativa

(A - B) - C A - (B - C)

2.11 Propiedad conmutativa

2.11.1

Decimos que una operacin es conmutativa cuando el resultado no depende de la ubicacin de

los elementos que intervienen.

d) Unin:

La Unin goza de la propiedad conmutativa

AB =BA
e) Interseccin:

La interseccin de conjuntos es, tambin, conmutativa

AB=BA

f) Diferencia:

La diferencia de conjuntos no es asociativa

A-BB-A