Captulo 2 Conjuntos

Todos tenemos una idea de lo que es un conjunto, cuando decimos, por ejemplo, el conjunto de animales
del zoolgico, el conjunto de las provincias argentinas, el conjunto de letras del abecedario.
Con respecto a este trmino, no daremos una denicin precisa. Slo diremos que un conjunto es una
coleccin de objetos que son los elementos del mismo.
En trminos matemticos conjunto es un concepto primitivo, es decir algo que se acepta sin denicin.
Ejemplo 50 El conjunto de estudiantes de la ciudad de Salta, el conjunto de presidentes de la Repblica
Argentina.
Notacin: A los conjuntos se los denota con letras maysculas de imprenta, tales como A; B; C; : : :A
los elementos se los denota con letras minsculas, por ejemplo a; b; c; : : :
Ejemplo 51 El conjunto de los das de la semana cuyo nombre empieza con m consta de los elementos
martes y mircoles.

2.1

Descripcin de conjuntos

Hay dos formas de describir un conjunto:

1. Por extensin
2. Por comprensin.

Para describir un conjunto por extensin, se nombran a sus elementos y se los escriben entre llaves y
separados por comas.
Ejemplo 52 Sea A el conjunto formado por las vocales: A = fa; e; i; o; ug

Ejemplo 53 Sea B el conjunto de los primeros seis nmeros naturales B = f1; 2; 3; 4; 5; 6g

Esta forma de escribir a un conjunto es cmoda, a veces, cuando el mismo tiene pocos elementos.
No importa el orden en que se escriben los elementos; si slo se cambia el orden, se obtiene el mismo
conjunto. Adems, a los elementos se los escribe una sola vez.
Ejemplo 54 A = fa; e; i; o; ug es el mismo conjunto que el A = fo; i; u; e; ag y tambin que el
A = fu; e; o; i; a; u; og
En este curso estudiaremos los conjuntos numricos. Estos conjuntos son tan importantes que se
representan con smbolos especiales. En particular, el conjunto de los nmeros naturales se representa
con N, el conjunto de los nmeros enteros con Z, el conjunto de los nmeros racionales con Q, el conjunto
de los nmeros reales con R.
Al conjunto N, se lo puede escribir como:
N = f1; 2; 3; 4; : : :g

El uso de los puntos suspensivos es ambiguo, aunque en este caso todos entendemos que se trata del
conjunto de los nmeros naturales. Haciendo abuso de notacin, se dice que el conjunto est expresado
por extensin.
Al conjunto Z se lo puede escribir como:
Z = f: : : 3; 2; 1; 0; 1; 2; 3; 4; : : :g

Para escribir un conjunto por comprensin, se da una propiedad que caracterice a sus elementos. Es
decir:
B = fx j p(x)g

Se lee el conjunto B est formado por los elementos x del universo considerado que cumplen la propiedad
p(x): La propiedad que se explicita debe ser tal que caracterice a esos elementos y solo a ellos.
Ejemplo 55 El conjunto de los nmeros naturales, expresado por comprensin, se escribe:
N = fx j x es un nmero naturalg
Ejemplo 56 El conjunto de los nmeros naturales comprendidos entre cinco y nueve:
B = fx 2 N j 5 < x < 9g

29

2.1.1 Conjuntos nitos y conjuntos innitos

A los conjuntos que tienen una cantidad nita de elementos, se los llama conjuntos nitos (como el
dado en el ltimo ejemplo); hay otros, en cambio, que tienen una cantidad innita de elementos: son los
conjuntos innitos.
2.1.2 Cardinal de un conjunto
Sea A un conjunto que posee n elementos distintos, siendo n un entero no negativo, o sea un conjunto
nito. El cardinal de A es el nmero de elementos de A y se denota con jAj :
Ejemplo 57 Si A es el conjunto de los nmeros pares menores que diez, el cardinal de A es jAj = 5:
Observacin: Existen muchos conjuntos que no son numricos, es decir no estn formados nmeros.
P
P
P
Ejemplo 58 Sea
un conjunto de smbolos tales como
=fa; b; c:dg. En estePcaso
recibe el nombre
de alfabeto. Al escribir concatenados (uno al lado del otro) los elementos de ; producimos listas que
reciben los nombres de palabras, cadenas o tiras.
P
P
El conjunto de todas las palabras que pueden formarse a partir del alfabeto
se indica :
2.1.3 Conjuntos especiales
Conjunto vaco El conjunto vaco es el que no tiene elementos. Es un conjunto nito.
Notacin: Al conjunto vaco se lo denota con fg o bien con el smbolo ;.
Ejemplo 59 ; = fx j x es una hombre vivo que tiene trescientos aosg
Nota: El cardinal del conjunto vaco es j;j = 0
Conjunto unitario Es el conjunto que tiene un solo elemento.
Ejemplo 60 A = fx 2 N jx2 = 4g
Conjunto universal En general se da un universo de discurso y todos los conjuntos que se estn
por considerar se forman a partir de los elementos de ese universo. As el universo de discurso es un
conjunto y se lo llama conjunto universal. Se lo denota con U.
Ejemplo 61 Si trabajamos con nmeros, como en el conjunto del ejemplo 53, el conjunto universal puede
ser el conjunto de los nmeros naturales: U = N.
Ejemplo 62 En la geometra del plano, el conjunto universal consta de todos los puntos del plano.
2.1.4 El smbolo de pertenencia
El smbolo 2 se utiliza para indicar que un elemento est en el conjunto. El smbolo 2 se lee pertenece.
Ejemplo 63 A = f2; 3; 4; 5; 6g: Los elementos de A son 2; 3; 4; 5; 6 y esto se indica:
2 2 A; 3 2 A; 4 2 A; 5 2 A; 6 2 A
Para indicar que un elemento no pertenece a un conjunto se usa el smbolo 2.
=
El smbolo de pertenencia relaciona un elemento con un conjunto.
Ejemplo 64 En el ejemplo 63, 7 2
= A:

2.2

Relaciones entre conjuntos

2.2.1 Inclusin de conjuntos

Denicin: Se dice que un conjunto A est incluido en otro B si todo elemento de A pertenece B. Se
dice tambin que A es un subconjunto de B, o que A est contenido en B:
Notacin: Se denota A B
En smbolos: A B $ 8x; x 2 A ! x 2 B
Ejemplo 65 Sea A = f1; 2; 3g y B = f1; 2; 3; 5; 6g. Se cumple que A B ya que 1 2 B; 2 2 B y 3 2 B:
Ejemplo 66 Sean A = f2; 3; 4; 5; 6g

B = f4; 5; 6g

Se observa que B A; ya que todo elemento de B pertenece a A.

30

2.2.1.1

Propiedades de la inclusin

Se enuncian, a continuacin, algunas propiedades de la inclusin:

a. Todo conjunto es subconjunto de s mismo. Es decir:
8A; A A.(reexividad)
b. Cada conjunto A formado por elementos de un cierto universo U es un subconjunto del conjunto
universal U, ya que todos los elementos de A pertenecen a U. Es decir:
8A; A U
c. El conjunto vaco es un subconjunto de A: Es decir:
8A; ; A
d. Se cumple la transitividad, en la inclusin de conjuntos:
Si A B ^ B C ! A C
Probemos, por ejemplo, la propiedad c.:
La expresin x 2 ; es falsa para todo x; por lo que la implicacin x 2 ; ) x 2 A es verdadera para
todo conjunto A:
Probemos ahora la propiedad (d)
H) A B ^ B C
T) A C
1
D) Sea x 2 A. Como por hiptesis A B esto signica que: si x 2 A entonces x 2 B
y tambin por hiptesis B C esto signica que: si x 2 B entonces x 2 C

De 1 y 2 por transitividad de la condicional: Si x 2 A entonces x 2 C. Luego A C:

Nota: El nico subconjunto del conjunto vaco es el propio conjunto vaco. (Prubelo)
2.2.2 Igualdad de conjuntos
Denicin: Dos conjuntos son iguales si tienen los mismos elementos; es decir, si todo elemento de A
es tambin elemento de B, y si todo elemento de B es elemento de A:
En smbolos:
A = B si A B y B A
Si A es un subconjunto de B, pero A y B no son iguales, se dice que A es un subconjunto propio de B:
Ejemplo 67 Sean A = f0; 2g y B = fx 2 R j x2 2x = 0g: Se cumple que A = B (por qu?)

2.3

Diagramas de Venn

Hay una manera de representar los conjuntos, usando los diagramas de Venn, llamados as, en honor a
John Venn, matemtico ingls. Para ello se usa una curva cerrada, en cuya regin interior se colocan los
elementos que pertenecen al conjunto. En general para representar al conjunto universal se utiliza una
regin cerrada en forma de rectngulo.

Los diagramas de Venn dan una representacin pictrica de los conjuntos y de la forma en que pueden
relacionarse entre s y muchas veces permiten visualizarlos fcilmente.
31

2.4

Conjunto de partes

Denicin: Dado un conjunto A, el conjunto de partes de A es el conjunto formado por todos los
subconjuntos del conjunto dado.
Notacin: Se denota con P(A).
En smbolos: P(A) = fX j X Ag
Ejemplo 68 Dado el conjunto A = f2; 3; 4g: Encuentre el conjunto de partes de A.
Solucin:
P(A) = f?; f2g; f3g; f4g; f2; 3g; f2; 4g; f3; 4g; f2; 3; 4gg
Nota: Se observa que si un conjunto tiene n elementos, entonces P(A) tiene 2n elementos.
Ejemplo 69 Si A = fa; b; cg, halla P(A) y decide si las siguientes armaciones son verdaderas o falsas:
(i)

fag P(A)

(ii)

Solucin:

ffb; cgg P(A)

(iii)

f;g 2 P(A)

(iv)

fbg 2 P(A)

P(A) = ffag; fbgfcg; fa; bg; fa; cg; fb; cg; fa; b; cg; ;g

(i)

fag P(A)

(ii)

ffb; cgg P(A)

(iii)

f;g 2 P(A)

(iv)

fbg 2 P(A)

2.5

Operaciones con conjuntos

2.5.1 Unin de conjuntos

Denicin: Dados dos conjuntos A y B, de un cierto universo U se llama unin de A y B al conjunto
formado por los elementos que pertenecen a A, a B:
Notacin: La unin de dos conjuntos A y B se denota con: A [ B:
En smbolos:
A [ B = fx j x 2 A _ x 2 Bg

Nota: El smbolo _ signica el o lgico y se toma en sentido incluyente; signica que los elementos
que estn en la unin estn en A, en B o en ambos conjuntos. Si el objeto x pertenece a A [ B, entonces
x pertenece a A x pertenece a B:
Grcamente:

Ejemplo 70 Sean A = fx j x 2 N ^ x < 5g

B = fx j x 2 N ^ 3 x < 8g

a. Escribe A y B por extensin.

b. Halla A [ B
Solucin:
a. A = f1; 2; 3; 4g
B = f3; 4; 5; 6; 7g
b. A [ B = f1; 2; 3; 4; 5; 6; 7g
32

2.5.1.1

Propiedades de la unin

Las siguientes son algunas de las propiedades de la unin de conjuntos:

a. A [ A = A (idempotencia)
b. A [ B = B [ A (conmutativa)
c. (A [ B) [ C = A [ (B [ C) (asociativa)
d. A [ ; = ; [ A = A (existencia de elemento neutro)
e. A [ U = U [ A= U (absorcin, tambin llamada dominacin)
A modo de ejemplo, probemos la propiedad b.: A [ B = B [ A
Recordemos que dados conjuntos A; B se dice que A = B si A B y B A. Por lo tanto, en este
caso, debemos probar que (i) A [ B B [ A ^ (ii) B [ A A [ B
i. Sea x 2 A [ B ) x 2 A _ x 2 B (por denicin de unin de conjuntos)
) x 2 B _ x 2 A (por propiedad conmutativa de la disyuncin)
) x 2 B [ A (por denicin de unin)
En consecuencia A [ B B [ A (por inclusin)
ii. Sea x 2 B [ A ) x 2 B _ x 2 A ) (por denicin de unin de conjuntos)
) x 2 A _ x 2 B (por propiedad conmutativa de la disyuncin)
) x 2 A [ B (por denicin de unin)
En consecuencia B [ A A [ B (por inclusin)
De (i) y (ii) se prueba que A [ B = B [ A
2.5.2 Intersecccin de conjuntos
Denicin: Dados dos conjuntos A y B, se llama interseccin de A y B al conjunto formado por los
elementos que pertenecen simultneamente a A y a B:
Notacin: La interseccin de los conjuntos A y B, se denota con A \ B:
En smbolos:
A \ B = fx j x 2 A ^ x 2 Bg

Nota: El smbolo ^ representa el y lgico, y signica que los elementos que estn en la interseccin,
estn en A y estn en B: El objeto x pertenece a A \ B si pertenece a A y pertenece a B:
Grcamente:

Cuando dos conjuntos no tienen ningn elemento en comn se dicen disjuntos. En este caso, la
interseccin es el conjunto vaco.
Ejemplo 71 Si A representa al conjunto de los programadores de una empresa y B es el conjunto de
todos los empleados del departamento de tesorera de esa empresa, entonces A \ B es el conjunto de todos
los programadores del departamento de tesorera de la empresa.
Ejemplo 72 Dados los conjuntos A = f2; 4; 6; 8g y B = f4; 6; 8; 10g: Halla A \ B:
Solucin:
A \ B = f4; 6; 8g
33

Ejemplo 73 Dados los conjuntos A = f2; 4; 6; 8g y B = f1; 3; 5; 7g. Halla A \ B:

Solucin:
A\B =;
En este ltimo caso, los conjuntos A y B son disjuntos.
2.5.2.1

Propiedades de la interseccin

Las siguientes son algunas de las propiedades de la interseccin de conjuntos:

a. A \ A = A (idempotencia)
b. A \ B = B \ A (conmutativa)
c. (A \ B) \ C = A \ (B \ C) (asociativa)
d. A \ ; = ; \ A = ; (absorcin, tambin llamada dominacin)
e. A \ U = U \ A=A (elemento neutro)
A modo de ejemplo, probemos la propiedad c.
i. Sea x 2 (A \ B) \ C ) x 2 (A \ B) ^ x 2 C (por denicin de interseccin de conjuntos)
) (x 2 A ^ x 2 B) ^ x 2 C (por denicin de interseccin de conjuntos)
) x 2 A ^ (x 2 B ^ x 2 C) (por propiedad asociativa de la conjuncin)
) x 2 A ^ x 2 (B \ C) (por denicin de interseccin de conjuntos)
) x 2 A \ (B \ C)
En consecuencia: (A \ B) \ C A \ (B \ C) (1) (por denicin de inclusin)
ii. Sea x 2 A \ (B \ C) ) x 2 A ^ x 2 (B \ C) (por denicin de interseccin de conjuntos)
) x 2 A ^ (x 2 B ^ x 2 C) (por denicin de interseccin de conjuntos)
) (x 2 A ^ x 2 B) ^ x 2 C) (por propiedad asociativa de la conjuncin)
) x 2 (A \ B) ^ x 2 C) (por denicin de interseccin de conjuntos)
) x 2 (A \ B) \ C (por denicin de interseccin de conjuntos)
En consecuencia: A \ (B \ C) (A \ B) \ C (2) (por denicin de inclusin)
De (1) y (2) se cumple la igualdad: (A \ B) \ C = A \ (B \ C)
2.5.3 Diferencia de conjuntos
Denicin: Dados dos conjuntos A y B, se llama diferencia entre A y B al conjunto formado por todos
los elementos que pertenecen a A; pero no pertenecen a B:
Notacin: La diferencia entre A y B se denota con A B:
En smbolos:
A B = fx j x 2 A ^ x 2
= Bg
Grcamente:

Ejemplo 74 Sean los conjuntos A = fx j x 2 N ^ x < 8g

B = fx j x 2 N ^ x 10g
34

Halla:
a. A B
Solucin:

b.

BA

a. A B = ;
b. B A = f8; 9; 10g
Ejemplo 75 Sea N el conjunto de los nmeros naturales y P el conjunto de los naturales pares, entonces
N P es el conjunto de los naturales impares.
2.5.4 Complemento de un conjunto
Denicin: El complemento de un conjunto A, que se denota con A0 , es el conjunto U A:
En smbolos:
U A = fx j x 2 U ^ x 2
= Ag
Nota: El complemento de A tambin se denota con AC :

Ejemplo 76 Sean los conjuntos U =f0; 1; 2; 3; 4; 5; 6; 7; 8; 9g y A = f1; 4; 6; 7; 8g

Encuentra A0
Solucin:

2.5.4.1

A0 = f0; 2; 3; 5; 9g

Propiedades de la diferencia

Las siguientes son algunas de las propiedades de la diferencia de conjuntos:

a. A B = A \ B 0
b. A A = ;
c. A ; = A
d. ; A = ;
e. A B ! A B = ;
A modo de ejemplo probemos la propiedad a.
i. Sea x 2 A B ) x 2 A ^ x 2
= B (por denicin de diferencia)
0
) x 2 A ^ x 2 B ) x 2 A \ B 0 (por denicin de complemento y de interseccin de conjuntos)
En consecuencia: A B A \ B 0 (1)
ii. Sea x 2 A \ B 0 ) x 2 A ^ x 2 B 0 (por denicin de interseccin de conjuntos)
)x2 A^x 2
= B (por denicin de complemento de conjuntos)
x 2 A B (por denicin de diferencia de conjuntos)
En consecuencia A \ B 0 A B (2)
De (1) y (2) se deduce que A B = A \ B 0
Probemos ahora la propiedad e.:
Supongamos por el absurdo que A B (3) ^ A B 6= ; (4)
Si A B 6= ; ) 9x : x 2 A B
) 9x : x 2 A ^ x 2
= B (por def. de diferencia de conjuntos)
) A 6 B (5)
De (3) y (5) A B ^ A 6 B absurdo! que provino de suponer que A B 6= ;: Por lo tanto
A B = ;:
35

2.5.4.2

Relaciones entre unin, interseccin y complemento

Las siguientes son algunas de las propiedades que relacionan la unin, la interseccin con la complementacin y la unin con la interseccin. Las dos primeras se conocen con el nombre de Leyes de De
Morgan:
a. (A [ B)0 = A0 \ B 0
b. (A \ B)0 = A0 [ B 0
c. A [ (B \ C) = (A [ B) \ (A [ C) (propiedad distributiva de la unin con respecto a la interseccin)
d. A \ (B [ C) = (A \ B) [ (A \ C) (propiedad distributiva de la interseccin con respecto a ala unin)
e. A [ (A \ B) = A

A \ (A [ B) = A (propiedades de absorcin)

Prueba de a.
i. Sea x 2 (A [ B)0 ) x 2(A
= [ B) (por denicin de complemento)
) (x 2 (A [ B)) ) (x 2 A _ x 2 B) (por negacin de denicin de pertenencia y denicin de
unin)
)x2
= A^x 2
= B (por negacin de una disyuncin)
0
) x 2 A ^ x 2 B 0 (por denicin de complemento)
) x 2 A0 \ B 0 (por denicin de interseccin)
En consecuencia: (A [ B)0 A0 \ B 0 (6)
ii. Sea x 2 A0 \ B 0 ) x 2 A0 ^ x 2 B 0 (por denicin de interseccin)
)x2
= A^x 2
= B (por denicin de complemento)
) (x 2 A _ x 2 B) ) (x 2 (A [ B)) (por negacin de una disyuncin y denicin de unin)
)x2
= (A [ B) ) x 2 (A [ B)0 (por denicin de complemento)
En consecuencia A0 \ B 0 (A [ B)0 (7)
De (6) y (7) se prueba que (A [ B)0 = A0 \ B 0
Ejemplo 77 Para los conjuntos dados:
U =fx 2 Z j 6 x 6g;
A = fx 2 Z jx es impar ^ 6 < x < 6g;
B = f6; 2; 0; 2; 4; 6g;
C = f5; 1; 1; 2; 3; 4g;
encuentra (B 0 A) [ C
Solucin:
Escribimos a los conjuntos U y A por extensin:

U =fx 2 Z j 6 x 6g = f6; 5; 4; 3; 2; 1; 0; 1; 2; 3; 4; 5; 6g
A = fx 2 Z jx es impar^ 6 < x < 6g = f5; 3; 1; 1; 3; 5g
B = f6; 2; 0; 2; 4; 6g

C = f5; 1; 1; 2; 3; 4g

Hallamos B 0 y la diferencia de B 0 con A:

B 0 = f5; 4; 3; 1; 1; 3; 5g

(B 0 A) = f4g

Finalmente la operacin pedida:

(B 0 A) [ C = f4g [ f5; 1; 1; 2; 3; 4g = f5; 4; 1; 1; 2; 3; 4g

36

Ejemplo 78 Dados los conjuntos A; B; C; indica qu operacin representa la zona sombreada:

Solucin:
(A [ C) B
2.5.5 Diferencia simtrica
Sean A y B dos subconjuntos de U.
Denicin: La diferencia simtrica de los conjuntos A y B es el conjunto de todos los elementos que
estn en A o en B, pero no en ambos. Se dice que la diferencia simtrica es la unin de los conjuntos
A B y B A:
Notacin: A 4 B denota A diferencia simtrica B.
En smbolos:
A 4 B = (A B) [ (B A)
Ejemplo 79 Sean A = fx 2 Z j 0 x 9g y B = f1; 3; 5; 7; 9g
Encuentra A 4 B:
Solucin:
A B = f2; 4; 6; 8g
BA =;
A 4 B = (A B) [ (B A) = f2; 4; 6; 8g [ ; = f2; 4; 6; 8g
Otras identicaciones para la diferencia simtrica son:
A 4 B = (A \ B C ) [ (B \ AC )
A 4 B = (A [ B) (A \ B)
Ejercicio 1 Prueba estas dos ltimas igualdades.
(Sugerencia: Puedes usar algunas de las propiedades vistas)
2.5.5.1

Propiedades de la diferencia simtica

Las siguientes son algunas de las propiedades de la diferencia simtrica de conjuntos:

a. A 4 B = B 4 A (conmutativa)
b. (A 4 B) 4 C = A 4 (B 4 C) (asociativa)
Ejercicio 2 Prueba estas dos propiedades.

37