CAP 2 .

CONJUNTOS

El concepto de conjunto es fundamental en todas las ramas de la Matemtica. Es por esto que,
desde hace algunas dcadas, tradicionalmente se considera a la teora de conjuntos como la
base de las Matemticas. Esto significa que los conceptos de conjunto y elemento se
utilizan como trminos bsicos no definidos con los cuales se define o describe al resto de las
Matemticas. Entonces intuitivamente podemos decir que:

2.1 Conjunto : Un conjunto es una lista, coleccin o clase de objetos bien definidos llamados
elementos o miembros del conjunto, y como se ver en los ejemplos diversos, especialmente
en este captulo, estos conjuntos pueden ser cualesquiera: personas, nmeros, ciudades,
letras, rios, etc. Por ejemplo, el conjunto de alumnos de nuestra Universidad, el conjunto de
los nmeros reales entre cero y uno o el conjunto de las placas de los automviles del pas.
Casi todos los objetos matemticos son ante todo conjuntos, independientemente de otra
propiedad adicional que posean. Por consiguiente, la teora de los conjuntos, se aprende, y
se usa fcilmente desde la niez, desde nuestros primeros aos escolares, (por lo menos la
de tipo informal que se usar en este libro).
La definicin de un conjunto no debe ser ambigua, en el sentido que pueda decidirse
cuando un objeto particular pertenece o no a un conjunto.

2.2 Notacin de un Conjunto :

Por lo general, es usual utilizar letras maysculas como A, B, C, D, E, . . . , X, Y, Z, . . . . ,

para indicar conjuntos y letras minsculas como a, b, c, d, e, . . . , x, y, z, . . . . , para indicar
los elementos de los conjuntos.

Una forma de describir un conjunto con un nmero finito de elementos es enlistarlos entre
llaves. As el conjunto de todas las vocales de nuestro alfabeto puede escribirse como :
a, e, i, o, u
El orden en que estos elementos se enlisten no es importante ni determinante . De all que :
a, e, i, o, u , i , o, u, a, e , o, u, a , e, i, u, a, e, i , o, a, i , o, u, e, a, e, i, u,
o , . . . , etc., sean todos representaciones del mismo conjunto dado . Por otra parte, los
trminos repetidos en el listado de los elementos de un conjunto pueden ser ignorados, As
pues, los conjuntos :
a, a, e, e, e, i, o, u , a, e, i, i , o, u, u son otras representaciones ms del mismo
conjunto A, expresando que :
x pertenece al conjunto A, o tambin x est en el conjunto A, en este caso particular si x
es una vocal y se denota en general para cualquier conjunto A por:
x A

y se indica el hecho de que x no es elemento del conjunto A escribiendo :

xA

As, por ejemplo, si A = 1, 2, 3, 5, 7.

Entonces: 1 A, 2 A, 3 A, 5A, 7A pero 4 A , 6 A.

2.3 Determinacin de un Conjunto :

Un conjunto puede quedar bien determinado, es decir, conociendo todos sus elementos ya
sea por extensin o por compresin.

I) Por Extensin : Se dice que un conjunto est dado por extensin cuando se enlistan todos
sus elementos, es decir, sus elementos se indican explcitamente.
 Ejemplos : Determine por extensin los siguientes conjuntos :
a) El conjunto que contiene todas las letras de la palabra byte
Este conjunto puede expresarse como : b, y, t, e
b) El conjunto de todos los enteros positivos menores de 4.
Este conjunto se puede expresar como : 1, 2, 3
Algunas veces es inconveniente o imposible describir un conjunto enlistando todos sus
elementos, en estos casos, una manera frecuente es determinarlos por comprensin.

II) Por Comprensin : Se dice que un conjunto est dado por comprensin cuando se
especfica una propiedad o condicin que los elementos del conjunto tienen en comn, de
tal manera que todos los elementos del conjunto queden determinados sin ambigedad.
Usamos la notacin P(x) para indicar una proposicin(enunciado o frmula) P concerniente
al objeto representado por la variable x. El conjunto definido por P(x) se escribe.

x / P(x)

Es slo la coleccin de todos los objetos x para los que P tiene sentido y es verdadera.
Por ejemplo :

V = x / x es una vocal . Entonces es el conjunto V = a, e, i, o, u

descrito en (1) enlistando sus elementos.

Ejemplos :

1. Escriba conjunto de letras de la palabra MISSISSIPPI, enlistando los elementos del

conjunto.

Solucin : M, I, S, P

2. Sea A = x / x es un nmero real y x < 6.

Responda si lo siguiente es falso o verdadero.
a) 3 A b) 6 A c) 5 A d) 3.4 A e) - 8 A

Solucin :

2. Si A = x / x es un nmero real y x < 6.

A x / x < 6.
8 3 3.4 5
6
A
Observando el esquema adjunto, determinamos que :

a) a) 3 A : V b) 6 A : F c) 5 A : F d) 3.4 A : F e) - 8 A : V

3.- Escriba el conjunto de todos los enteros positivos impares menores que 7.
Solucin : x / x impar positivo x < 7
o tambin, enlistando sus elementos se tiene que : C = 1, 3, 5

4.- Escriba el conjunto M, enlistando sus elementos, si :

M = x / x Z y x2 < 12.

Solucin : Si x = 3 x2 = 9
x = 4 x2 = 16
Como : 9 < 12 < 16 , luego : M = -3, -2, -1, 0, 1, 2, 3
 Se sabe que si : x2 < b b 0 - b x b
Tambin, si x2 < 12 - 12 x 12 - 4 < - 2 3 x 2 3 4

Como : x Z , entonces : M = -3, -2, -1, 0, 1, 2, 3

5.- Hallar, por extensin, los elementos del siguiente conjunto :

A = x / x3 - 3x2 - 18x + 40 = 0

Solucin : Por Ruffini :

x A x3 - 3x2 - 18x + 40 = 0 1 -3 -18 40

x A (x + 4)(x - 2)(x - 5) = 0 x=2 2 - 2 -40
x = -4 , x = 2, x = 5 1 -1 -20 0
x=5 5 20
1 4 0
x=-4 -4
1 0

6.- Escriba el conjunto en la forma x / P(x) , es decir por comprensin, donde P(x) es una
propiedad que los elementos del conjunto A tienen en comn si : A = 2, 4, 6, 8, 10

Solucin : Existen muchas formas de poder expresar un conjunto por comprensin, as,
para este ejemplo, podemos determinarlo como :

a) A = x / x es un nmero positivo par menor que 11

b) B = x Z+ / (x - 2)(x - 4)(x - 6)(x - 8)(x - 10) = 0
a) A = x / x = 2n , n N n = 1, 2, 3, 4, 5
Esta ltima regla o frmula lo podemos obtener a partir de observar que la diferencia de
dos elementos consecutivos del conjunto A siempre es constante, puesto que si :
A = 2 , 4 , 6 , 8 , 10

2 , 4 , 6 , 8 , 10

4-2 = 2 = 6 - 4=8-6=10-8=2

Entonces, podemos suponer que la ley de formacin ser una funcin lineal tal como:
x = f(n) = a n + b , n N (1)

Puesto que en la primera diferencia de sus elementos se obtiene una cantidad constante. As
mismo de lograrse una cantidad constante en la segunda diferencia, se dar como ley de
formacin una funcin cuadrtica tal como:
x = f(n) = an2 +bn + c , n N
De (1), si :

i) n = 1 : f(1) = a. 1 + b =2 . . . (a)
ii) n = 2 : f(2) = a. 2 + b = 4 . . . (b)
(b) - (a) : a=2 De (a) : b = 0

\ En (1) : f(n) = 2n + 0 f(n) = 2n

A = x / x = 2n , n = 1, 2, 3, 4, 5
7.- Determinar el siguiente conjunto por comprensin :
A = 36, 45, 54, 63, 72

Solucin : Apreciamos que la diferencia de dos elementos consecutivos del conjunto A,

ordenados en forma ascendente, es siempre constante e igual 9, puesto que si :
36 , 45 , 54 , 63 , 72

1ra Diferencia. : 45-36=54-45=63-54=72-63=9

Entonces, la ley de formacin ser : x = f(n) = an + b , n N (I)
Para : i) n = 1: f(1) = a.1 + b = 36 (1)
i) n = 2 : f(2) = a.2 + b = 45 (2)
(2) - (1) : a = 9 De (1) : b = 27

En (I) : x = f(n) = 9n + 27 , n = 1, 2, 3, 4, 5

\A = x / x = 9n + 27 , n = 1, 2, 3, 4, 5

La expresin anterior se puede expresar tambin de una forma alterna, puesto que si :

x = f(n) = 9n + 27 , n = 1, 2, 3, 4, 5

x = f(n) = 9(n + 3)

Hagamos : n1 = n + 3

x = f(n1) = 9n1 , n1 = 4, 5, 6, 7, 8

\A = x / x = 9n1 , n1 = 4, 5, 6, 7, 8

2.4 Conjunto Vaco : f

Llamaremos conjunto vaco, al conjunto nico que no tiene elementos, es decir, aquel
conjunto que carece de elementos. Utilizaremos dos notaciones distintas para
representarlo, la sugerida y la comn, f.
El smbolo f no es la letra griega fi f si no que proviene del alfabeto noruego y nosotros
lo debemos leer como conjunto vaco. Este conjunto podemos describirlo de distintas
formas. As tenemos en los siguientes ejemplos :

Consideremos los siguientes conjuntos :

1.- A = n N : 2 < n < 3

2.- B = r Q : r2 = 2
3.- C = x R : x2 < 0
4.- D = r R : x2 = -1
5.- E = x / x es un nmero real y x2 = -4
6.- F = x / x es un nmero real y x = x + 1
 Estos conjuntos tienen una propiedad comn : no contienen elementos. Desde un punto de
vistaestrictamente lgico contienen los mismos elementos, por lo son iguales a pesar de que
tienen descripciones distintas.

Determinar por comprensin los siguientes conjuntos :

1.- A = 4, 7, 10, 13, 16,

Solucin : Determinamos que la diferencia de dos elementos consecutivos del conjunto A

siempre es constante, puesto que, si :

4 , 7 , 10 , 13 , 16
, ..
1ra Diferencia : 7 - 3 = 10- 7 = 13 - 10 = 16 - 13 = . . . = 3
Entonces, la ley de formacin ser :

f(n) = an + b , n N
Para : i) n = 1 : f(1) = a.1 + b = 4 . . . (a)
ii) n = 2 : f(2) = a.2 + b = 7 . . . (b)

(b) - (a): a = 3 De (a) : b = 4 - a b = 1

Reemplazando en (I) los valores de a y b hallados obtenemos que: f(n) = 3n + 1 , n N

\ A = x / x = 3n + 1 , n N

2.- B = 11 , 16 , 23 , 32 , 43 , 56 , . . .

Solucin : Podemos verificar que en la segunda diferencia se logra una constante, puesto
quesi

11 , 16 , 23
, 32
, 45
, 56
,. ..

5 , 7 , 9 , 11 , 13 ,
1ra Diferencia : 16- 11 = 5,
2da Diferencia : 7 - 5 = 9 - 7 = 11 - 9 = 13 - 11 = .. .= 2
Entonces, la ley deformacin ser una funcin cuadrtica tal como :
f(n) = an2 + bn + c . . (I)
Para : i) n = 1 : f(1) = a.12 + b.1 + c = 11 . . . (a)
ii) n = 2 : f(2) = a.22 + b.2 + c = 16 . . . (b)
n = 3: f(3) = a.32 + b.3 + c = 23 . . . (j)
(b) - (a) : 3a + b = 5 . . . (1)
(j) - (b) : 5a + b = 7 . . . (2)
(2) - (1) : 2a =2a=1
En (1) : 3(1) + b = 5 b = 2
En (a) : 1.12 + 2.1 + c = 11 c = 8
(3) en (I) : f(n) = n2 + 2n + 8 , nN
 \ B = x / x = n2 + 2n + 8 , n N
3.- C = 2 , 5 , 10 , 17 , 26 , . . .

Solucin : Si x C , entonces :

C = x / x = f(n) , n N

2 , 5 , 10 , 17 , 26 ,
Si x = ...
1ra diferencia : 3 5 7 9

2da diferencia : 2 , 2 , 2 , (cte)

Ley de formacin : x = f(n) = an2 + bn + c , n N

Para : i) n = 1 f(1) = a + b + c = 2 (1)
ii) n = 2 f(2) = 4a + 2b + c = 5 . . . (2)
iii) n = 3 f(3) = 9a + 3b + c = 10 . . . (3)

(2) - (1) : 3 a + b = 3 ... . . . (a)

(1) - (2) : 5 a + b 0 5 . . . (b)

(b) - (a) : 2 a + 2 a =1 De (a) : b = 0

En (1) : 1 + 0 + c = 2 c = 1

f(n) = 1.n2 + 0. n+ 1 = n2 + 1 \ C = x / x = n2 + 1 , n N

Subconjuntos

Decimos que un conjunto A es subconjunto de B o que A est contenido en B si todos los

elementos de A son tambin elementos de B, esto es si cuando x A, entonces x B y
se denota por A B

Es decir que : A B " x A , x A x B

Basta que un elemento de A no est en B para decir que A no es un subconjunto de B , y se

escribe A B.

Es frecuente usar los diagramas para mostrar las relaciones entre los conjuntos. Estos
diagramas se llaman diagramas de Venn en honor del lgico britnico John Venn . Los
diagramas de Venn se usarn ampliamente en la siguiente seccin .

Podemos ilustrar la definicin anterior con dichos diagramas.

Ejemplos :

1.- Si Z , Q y R indican , respectivamente, los conjuntos enteros, racionales y reales,

entonces podemos expresar que :
 Z+ Z Q R

2.- Sea A = 1, 2, 3, 4, B = 1, 4 , C = 1, 3, 4
Entonces : B A , B C , C A
Sin embargo : A B , A C , C B

3.- Sea A un conjunto y sea B = A , A luego, puesto que A y A son elemento de B,

tenemos que A B y A B , entonces A B y A B. Sin embargo A B.

4.- Demuestre que el conjunto f es subconjunto de cualquier conjunto A; es decir que f A

Demostracin :

x f
f A " x f , xA
F x A: V
es decir que una implicacin es verdadera si la hiptesis es falsa, se sigue que f A.

5.- Demuestre que si A es cualquier conjunto, entonces A A. Esto es, cualquier conjunto es
subconjunto de si mismo.
Demostracin :
A A " x A, x A x A : V

Recuerde que toda condicin p p es siempre verdadera (es una tautologa), entonces ,
A A.

1 m 1 m 7
6.- Sea A = m, m y 2 , 2 , determine el nmero de todos los posibles
3
valores de m Z tales que A B
Solucin : Si A B , entonces :

B
m1
i) m m + 1 < 2m 1 < m
2
(a)

1 m7
ii) m 6m 2 3(m 7)
3 2
6m 2 3m 21

19
3m 19 m (b)
3

19
(a) (b): 1 m mZ
3

Conjunto Potencia :

Si A es un conjunto, entonces al conjunto de todos los subconjuntos de A se le llama

conjunto potencia de A y se indica por P(A) o Pot(A).
 Ejemplo :

1.- Sea A = a, b. Entonces P(A) se compone de los siguientes subconjuntos:

f, a , b , a, b.
Es decir que P(A) posee 4= 22 elementos

2.- Sea B = 1, 2, 3. Entonces el subconjunto potencia de B o P(B) se compone de los

siguientes subconjuntos :

1 , 2 , 3 , 1, 2., 1, 3 , 2, 3 , 1, 2, 3.
Es decir que si B posee 3 elementos, entonces P(B) posee 8 = 23 elementos

En general se puede demostrar, por el mtodo de Induccin Matemtica, que si A tiene k

elementos, entonces P(A) tiene 2k elementos.

Igualdad de Conjuntos

Dos conjuntos son iguales si contienen los mismos elementos. As

1, 3, 3, 7, 9 = 9, 7, 5, 3, 1 = 1, 9, 1, 7, 7, 1, 3, 5.

El orden en que se enumeran es irrelevante y no hay ventaja (o desventaja) en incluirlos

ms de una vez.

Ejemplos :

1.- Si A = 1, 2, 3, 4. Y
B = x / x es un entero positivo y x2 < 18.
Entonces A = B
Esta afirmacin es correcta, puesto que :
x B x Z + x2 < 18
xM - 3 2 x 3 2
x =1, 2, 3, 4
1, 2, 3, 4
2.- Si A = Basic , Fortran, PL1 y
B = PL1, Fortran, Basic
entonces A = B