Académique Documents
Professionnel Documents
Culture Documents
Conjuntos
Conjunto
Llamaremos conjunto a una coleccin de objetos, distintos entre
s, que comparten una propiedad. Para que un conjunto est bien
definido debe ser posible discernir si un objeto arbitrario est o
no en l.
Los conjuntos pueden definirse de manera explcita, citando todos sus elemen-
tos entre llaves, por ejemplo
A = {1, 2, 3, 4, 5},
17
que se leer: A es el conjunto formado por los x tales que x es un nmero natural
par. Esta ltima opcin (la definicin implcita) es obviamente imprescindible
cuando el conjunto en cuestin tiene una cantidad infinita de elementos.
Los conjuntos se notarn con letras maysculas: A, B,... y los elementos con
minsculas, en general. Si el elemento a pertenece al conjunto A escribiremos
a A. En caso contrario escribiremos a / A.
En ocasiones hay que considerar varios conjuntos en pie de igualdad. En
estos casos es frecuente denotar los distintos conjuntos con la misma letra y un
subndice que los diferencia. Los subndices pueden ser finitos y concretos, por
ejemplo,
X1 , X2 , X3 , X4 , X5 ;
finitos pero en cantidad desconocida,
X1 , X2 , ..., Xn , donde n N,
o arbitrarios; un ejemplo de esto sera considerar
{Ai }iI ,
que se leera: la familia de conjuntos Ai donde i pertenece a I. Aqu I es
el conjunto de subndices que puede o no ser finito (en los ejemplos anteriores
I = {1, 2, 3, 4, 5}, I = {1, 2, . . . , n} con n N y tambin I podra ser todo N).
Ejemplo 1.1.1. 1) Para cada i = 0, 1, . . . , 9, definimos los conjuntos Xi como
Xi = {Espaoles cuyo ao de nacimiento termina en i}.
Subconjunto
Dados dos conjuntos A y B, si todo elemento de A es a su vez
elemento de B diremos que A es un subconjunto de B y lo no-
taremos A B. En caso contrario se notar A 6 B.
18
Definicin 1.1.2. Dados dos conjuntos A y B, diremos que son iguales si tienen
los mismos elementos, es decir, si se verifica que A B y B A, y lo notaremos
por A = B.
Conjunto universal
Conjunto universal o de referencia, que lo notaremos por U, es un
conjunto del que son subconjuntos todos los posibles conjuntos
que origina el problema que tratamos.
U
A
(a) A A, A.
(b) Si A B y B C, entonces A C.
19
P RUEBA : La primera propiedad se sigue directamente de la definicin.
La demostracin de (b) se sigue de la definicin de subconjunto: todo elemen-
to de A est en B, por ser A B y, dado que es elemento de B, est en C por ser
B C. As todo elemento de A est en C y hemos finalizado.
Complementario
Dado un conjunto A se define el complementario de A, notado
por A o Ac , como
A = {x | x U, x
/ A}.
U
A
= U, U = , A = A.
Cardinal de un conjunto
Cuando A es un conjunto finito, el nmero de elementos de A se
denomina cardinal de A y se notar (A).
20
Unin de conjuntos
Dados dos conjuntos A y B se define la unin de A y B, notado
A B, como el conjunto formado por aquellos elementos que
pertenecen al menos a uno de los dos conjuntos, A B, es decir
A B = {x | x A x B}.
U
A B
A B = {a, b, c, 2, 5, 7}.
2) Si A = {x Q | 2 x 7} y B = {x Q | 4 x 3}, entonces
A B = {x Q | 4 x 7}.
y la unin de una familia arbitrariamente grande de conjuntos {Ai }iI , que deno-
taremos [
Ai .
iI
21
Propiedades de la unin
La unin de conjuntos verifica las siguientes propiedades, para
cualesquiera conjuntos A, B y C:
(a) Conmutativa: A B = B A.
(c) A A B, B A B.
(d) A = A.
(e) A B si y slo si A B = B.
Interseccin de conjuntos
Dados dos conjuntos A y B se define la interseccin de A y B,
notado A B, como el conjunto formado por aquellos elementos
que pertenecen al mismo tiempo a ambos conjuntos, A y B, es
decir
A B = {x | x A x B}.
22
U
A B
Propiedades de la interseccin
La interseccin de conjuntos verifica las siguientes propiedades,
para cualesquiera conjuntos A, B y C:
(a) Conmutativa: A B = B A.
(c) A B A, A B B.
(d) A = .
(e) A B si y slo si A B = A.
23
P RUEBA : (a) Los elementos de A B son los que pertenecen a A y a B
que, evidentemente, son los mismos elementos que pertenecen a B y a A, es decir
A B = B A. La prueba de (b) se hace igual.
(c) Sea a A B. Entonces a A pues el elemento a verifica que est en A y
en B. Anlogamente B A B.
(d) Probaremos esta propiedad por doble inclusin. Por (c) tenemos que A .
La inclusin contraria se tiene pues sabemos que el es subconjunto de todos los
conjuntos, en particular es A.
(e) Supongamos que A B. Para probar que A B = A basta probar que
A A B, pues la otra inclusin la tenemos por (c). Sea x A, entonces x B
pues A B. Es decir x A B.
Recprocamente, supongamos que A B = A. Entonces, por (c) tenemos
A = A B B.
Diferencia de conjuntos
Dados dos conjuntos A y B se define la diferencia de A y B,
notada A \ B, como el conjunto formado por los elementos de A
que no estn en B, es decir
A \ B = {x | x A x
/ B}.
U
A B
A \ B = {b}.
24
2) Si A = {x Q | 2 x 7} y B = {x Q | 4 x 3}, entonces
A \ B = {x Q | 3 x 7}.
AB = {x | x A \ B x B \ A}.
U
A B
AB = {b, 2, 5, 7}.
2) Si A = {x Q | 2 x 7} y B = {x Q | 4 x 3}, entonces
AB = {los alumnos nacidos en los das impares de enero y en los pares del resto de meses}.
25
Veremos ahora algunas propiedades ms de los conjuntos y demostraremos
algunos resultados fundamentales utilizando la tcnica de la doble inclusin.
1. A (B \ A) = .
A (B C) = (A B) (A C),
A (B C) = (A B) (A C)
C \ (A B) = (C \ A) (C \ B),
C \ (A B) = (C \ A) (C \ B)
26
estar en A y al menos en uno de los otros dos conjuntos B C. De aquy A y
adems y B C.
Pasemos a probar la segunda ley de De Morgan. Veamos primero C \ (A
B) (C \ A) (C \ B). Un elemento x de C \ (A B) ha de estar en C, pero
no en A B, por lo que no puede estar en al menos uno de los dos conjuntos
A B. As, x ha de pertenecer, bien a C \ A, bien a C \ B. En cualquier caso
x (C \ A) (C \ B).
Si tomamos ahora un elemento z (C \ A) (C \ B), observemos que z ha
de estar, bien en C \ A, bien en C \ B, por lo que debe estar en C y no estar en A
o en B. As, z C, pero nunca puede estar en A B, por lo que z C \ (A B).
A B = A B, A B = A B.
A B A B
C C
A B A B
C C
27
Partes de un conjunto
Dado un conjunto X, se define el conjunto de las partes de X,
notado P(X), como el conjunto cuyos elementos son todos los
subconjuntos de X.
P(X) = { , {0}, {1}, {2}, {3}, {0, 1}, {0, 2}, {0, 3}, {1, 2}, {1, 3}, {2, 3},
{0, 1, 2}, {0, 1, 3}, {0, 2, 3}, {1, 2, 3}, X }
28
1.2 Producto cartesiano. Relaciones de equivalen-
cia.
Producto cartesiano
Dados dos conjuntos A y B, se define el producto cartesiano de
A y B como el conjunto de pares ordenados formados (por este
orden) por un elemento de A y uno de B y se denota
A B = {(a, b) | a A, b B}.
AB = {(a, b), (a, 1), (a, 2), (a, 3), (b, b), (b, 1), (b, 2), (b, 3), (c, b), (c, 1), (c, 2), (c, 3)}
Correspondencia
Una correspondencia G de A en B es un subconjunto del pro-
ducto A B. Equivalentemente se puede definir como una regla
que asocia algunos elementos de A con algunos elementos de B.
Concretamente, G asocia a A con b B si (a, b) G.
29
A B
a b
1
b
2
c 3
las correspondencias (no finitas) se tienen que dar definiendo propiedades de los
pares que la componen. Por ejemplo, si A = Z, B = N una correspondencia es
G = {(x, y) | x es par, y es impar}.
Relacin
Sea A un conjunto. Una relacin R definida en A es una corres-
pondencia de A en s mismo.
Ejemplo 1.2.3. Sea A = {a, b, c}. Entonces R = {(a, a), (a, c), (b, c)} es una
relacin en A.
30
Relaciones de orden y de equivalencia
Las relaciones reflexivas, simtricas y transitivas se denominan
relaciones de equivalencia. Las relaciones reflexivas, antisim-
tricas y transitivas se denominan relaciones de orden.
B, C P(U), BRC si A B = A C.
31
Transitiva: si BRC y CRD se tiene que A B = A C = A D, luego
BRD.
Clase de equivalencia
Si R es una relacin de equivalencia en A, denominamos clase
de equivalencia de un elemento x A al conjunto de todos los
elementos de A relacionados con x, esto es,
x = R(x) = {y A | xRy},
Ejemplo 1.2.5. Vamos a calcular las clases de equivalencia de las relaciones del
ejemplo anterior.
1) En Z consideramos la relacin de equivalencia S, nSm si n m es par. Sea
n un nmero par. Entonces m Z est relacionado con n si m n = 2k es par,
luego m = n + 2k es par. Luego todos los elementos de la clase de equivalencia
de n son pares. Recprocamente, si m es par se tiene que n m es par. Por tanto,
la clase de equivalencia de n, S(n), es el conjunto de todos los nmeros pares.
Si n es impar, es fcil ver que la clase de equivalencia S(n) es el conjunto de
todos los nmeros impares.
Notar que si n1 y n2 son ambos nmeros pares (impares) entonces S(n1 ) =
S(n2 ). De aquse sigue que en este ejemplo slo tenemos dos clases de equiva-
lencia, por ejemplo S(0) = {enteros pares} y S(1) = {enteros impares}. Ntese
tambin que S(0) S(1) = y que Z = S(0) S(1). En el teorema siguiente se
probar que estas propiedades se verifican en cualquier relacin de equivalencia.
2) Calcularemos las clases de equivalencia de la relacin, en P(U), definida por:
B, C P(U), BRC si A B = A C, siendo A un conjunto fijo. Estudia-
remos, primero, un caso particular que nos servir para entender mejor el caso
general. Supongamos que el conjunto A que fijamos tiene slo dos elementos,
A = {x, y}. Veamos que, en este caso, slo existen 4 clases de equivalencia:
R(), R(A), R({x}) y R({y}). En efecto: sea B un conjunto cualquiera. Las
posibilidades para A B son
32
A B = = A , de donde BR y B R().
33
Tomamos entonces a R(x). Como z R(x), tenemos que aRx y xRz,
por lo que aRz. De la misma forma, como z R(y), se verifica que zRy. As
tenemos aRy, luego a R(y). Observemos que hemos usado tanto la propiedad
simtrica como la transitiva para demostrar (b).
Conjunto cociente
Dada una relacin de equivalencia R definida sobre un conjunto
A, el conjunto cuyos elementos son las clases de equivalencia de
A por R se denomina conjunto cociente de A por R. La notacin
usual es
A/R = {R(x) | x A}.
xSy x y es mltiplo de p,
por lo que
Z/S = {S(0), S(1), ..., S(p 1)}.
b) Consideremos la relacin de equivalencia, en P(U), definida por:
B, C P(U), BRC si A B = A C,
34
1.3 Aplicaciones
Aplicacin
Una aplicacin f de A en B es una correspondencia donde todo
elemento de A tiene asociado un nico elemento de B. Esto es, en
notacin matemtica, una correspondencia G es una aplicacin si
y slo si se verifica que
(a, b) f si b2 = a.
f (a) = b si b2 = a,
si es aplicacin.
4) La correspondencia
n
f : Z {1} Q, f (n) =
n1
es aplicacin.
5) Sea A un conjunto fijo. Definimos
35
Ambas son aplicaciones.
6) Sea X un conjunto cualquiera. Siempre se tiene la aplicacin
Imagen y anti-imagen
Dada una aplicacin f : X Y y subconjuntos A X y
B Y , definimos:
f 1 (B) = {x X | f (x) B} X,
36
y A = {1, 0, 4, 5}. Entonces f (A) = {2, 0, 8, 10}, y la imagen de f es
im(f ) = {enteros pares}.
Sean B1 = {2, 3, 8, 4, 1}, B2 = {1, 3}. Se tiene que
2) Sea la aplicacin
37
Para demostrar que la inclusin contraria no es cierta en general podemos
tomar la misma aplicacin que en el caso anterior y considerar B1 = {1, 3, 5}
nuevamente. Entonces f 1 (B1 ) = {1, 3, 4, 8} (por convenio, no incluimos el 0 en
N). Pero f (f 1 (B1 )) = {3, 5}, por lo que hemos acabado.
Veamos que A1 f 1 (f (A1 )). Pongamos C = f (A1 ). Sea x A1 , lue-
go f (x) C. Esto quiere decir, por la definicin de contraimagen, que x
f 1 (C) = f 1 (f (A1 )).
Para demostrar que la inclusin contraria no es cierta en general consideramos
la aplicacin constante f : X Y dada por f (x) = y0 , para un elemento y0 Y
fijado. Sea A cualquier subconjunto propio de X. Entonces
f 1 (f (A)) = f 1 ({y0 }) = X 6 A.
38
Veamos que esta aplicacin es sobreyectiva. Sea D P(A) y pongamos
B = D. Entonces
f (B) = A B = A D = D.
Notar que tambin podemos tomar B = A D, pues
f (B) = A B = A (A D) = (A A) (A D) = D = D.
Esto nos da otra forma de ver que la aplicacin no es inyectiva.
4) La aplicacin identidad es biyectiva.
5) Sea f : Z Z la aplicacin definida por f (n) = n + 3. Veamos que esta
aplicacin es biyectiva.
Inyectiva: si f (n) = f (m) n + 3 = m + 3 n = m.
Sobreyectiva: si m Z, tomando n = m 3 se tiene que f (n) = m.
Nota 1.3.7 (Aplicaciones entre conjuntos finitos). Sea f : X Y una aplicacin
entre dos conjuntos finitos. Supongamos que #X = n y que #Y = m. Se
verifica lo siguiente:
1. Si f es inyectiva, entonces n m.
2. Si f es sobreyectiva, entonces n m.
3. Si f es biyectiva, entonces n = m.
Adems, si X e Y tienen el mismo cardinal entonces f es inyectiva si y slo si es
sobreyectiva.
Nota 1.3.8. Mirndolo desde la imagen inversa de un elemento podemos decir
que:
(a) f es inyectiva si y slo si para todo y Y , el conjunto f 1 ({y}) consta, a
lo ms, de un elemento.
(b) f es sobre si y slo si para todo y Y , el conjunto f 1 ({y}) consta, a lo
menos, de un elemento.
(c) f es biyectiva si y slo si para todo y Y , el conjunto f 1 ({y}) consta,
exactamente, de un elemento.
Slo en este ltimo caso tiene sentido hablar de aplicacin inversa.
Aplicacin inversa
Sea f : X Y una aplicacin biyectiva. La aplicacin inver-
sa de f , notada f 1 : Y X, est definida por f 1 (y) = x
siendo x el nico elemento de X que verifica f (x) = y.
39
Ejemplo 1.3.9. 1) La aplicacin inversa de la identidad es la identidad.
2) Sea la aplicacin
Su inversa es la aplicacin
Composicin de aplicaciones
Dadas dos aplicaciones f : X Y y g : Y Z se define la
composicin de f y g, notada g f , de X en Z como
40
Calculamos g f :
(gf )(B) = g(f (B)) = g(AB) = A(AB) = (AA)(AB) = U(AB) = AB,
luego la composicin de f y g es la aplicacin
g f : P(U) P(U), (g f )(B) = A B, B P(U).
Por otro lado, f g :
f|A : A Y
x 7 f|A (x) = f (x)
41
Esto es, f|A acta exactamente como f , pero slo sobre los elementos de A.
Esto pone de manifiesto (o debera) lo importante que es, a la hora de definir
una aplicacin, determinar los conjuntos de original e imagen y no slo cmo se
calcula la imagen de un elemento.
Ejemplo 1.3.13. Sea A un conjunto fijo y consideremos la aplicacin f : P(U)
P(U) definidas por f (B) = AB. La restriccin de f a P(A), f : P(A) P(U)
es
f|P(A) (B) = f (B) = A B = B, ya que B A.
Ejemplo 1.3.14. Terminamos el captulo viendo un ejemplo que pone de mani-
fiesto la importancia de, a la hora de definir una funcin, definir correctamente los
conjuntos original e imagen de la aplicacin. Consideremos f : A B dada por
f (x) = x2 . Entonces:
Si A = R y B = R+ , f es sobreyectiva y no inyectiva.
42
La aplicacin cociente : X X/R verifica una propiedad universal: Si
f : X Y es una aplicacin tal que f (a) = f (b) siempre que aRb, entonces
existe una nica aplicacin F : X/R Y tal que f = F .
43
44