Académique Documents
Professionnel Documents
Culture Documents
patatabrava.com
TEMA 1
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.
Esta definicin nos lleva al procedimiento ms habitual de demostracin en
teora de conjuntos: la prueba por doble inclusin. Si queremos probar que dos
conjuntos A y B son iguales, lo que haremos es probar que A B y que B A.
A lo largo de esta seccin veremos algunos ejemplos de esta tcnica.
Cuando trabajamos con conjuntos concretos, siempre existe un contexto don-
de esos conjuntos existen. Por ejemplo, si A = {1, 1, 2, 3, 4, 5} y B = {x | x
N es par}, el contexto donde podemos considerar A y B es el conjunto de los n-
meros enteros, Z. En general, a este conjunto se le denomina conjunto universal
y se denota por U. De una forma algo ms precisa, sin olvidar que estamos dando
nociones intuitivas, podemos dar la siguiente definicin:
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.
Proposicin 1.1.8. Sean A B dos conjuntos. Entonces A (B \ A) = B y
A (B \ A) = .
P RUEBA : Ambas pruebas son sencillas. Veamos la primera afirmacin. Sea
x A (B \ A). Si x A es x B, pues A B. En caso contrario x B \ A,
es decir x B. Por tanto A (B \ A) B.
Recprocamente, sea x B. Si x A, entonces x A (B \ A). En caso
contrario, x
/ A, luego x B \ A y x A (B \ A). Por tanto B A (B \ A).
26
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
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.
27
Ejemplo 1.1.9. Si tenemos el conjunto X = {0, 1, 2, 3}, entonces
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 }
Teorema 1.1.10. El conjunto P(X) es finito si y slo si lo es X. De hecho, en
este caso,
(P(X)) = 2(X) .
P RUEBA : En cuanto a la primera afirmacin, si X es infinito, lo es obviamente
P(X). La otra implicacin viene dada por la frmula sobre los cardinales que
probaremos por induccin.
El caso (X) = 0 es elemental, porque entonces X = y, por tanto P(X) =
{}. Notemos que P(X) no es el conjunto vaco, es un conjunto unitario, cuyo
nico elemento es el conjunto vaco.
Supuesto cierto el resultado para todos los conjuntos que tienen, pongamos,
n elementos, tomemos X un conjunto de n + 1 elementos, x X cualquiera, y
escribamos
X = X {x},
donde X = X \ {x} tiene n elementos. Entonces es claro que los subconjuntos
de X son, bien subconjuntos de X , bien subconjuntos de X a los que se ha
aadido x, y que hay tantos subconjuntos de un tipo como del otro. Dado que, por
hiptesis de induccin,
(P (X )) = 2n
se tiene, por tanto,
(P(X)) = 2 (P(X )) = 2 2n = 2n+1 .
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}.
28
Dado (a, b) A B, el elemento a A (respectivamente b B) se suele
denominar primera (segunda) componente del par.
Ejemplo 1.2.1. Sean A = {a, b, c} y B = {b, 1, 2, 3}. Entonces:
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.
A B
a b
1
b
2
c 3
29
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.
Si el par (x, y) A A est en R, diremos que x est Rrelacionado con y, o
relacionado con y por R. Esto se notar frecuentemente xRy (ntese que el orden
es importante).
30
Antisimtrica: Si nRm y mRn se tiene que n m y m n, luego n = m.
Transitiva: Si nRm y mRs es n m s, luego nRs.
b) S es una relacin de equivalencia.
Reflexiva: n Z se tiene que n n = 0 es par, luego nSn.
Simtrica: si nSm es n m par, luego m n es par y, por tanto, mSn.
Transitiva: si nSm y mSp se tiene que n m y m p son pares. Sumando
se tiene que n p es par, luego nSp.
c) T no es ni de orden ni de equivalencia, pues T no verifica la propiedad antisi-
mtrica ni la simtrica.
Notemos que S es de equivalencia si sustituimos la condicin x y es par
por la condicin x y es mltiplo de p, para cualquier nmero p que fijemos
con antelacin.
2) Sea A un conjunto fijo. En P(U) definimos la relacin R :
B, C P(U), BRC si A B = A C.
Veamos que es una relacin de equivalencia.
Reflexiva: B P(U), A B = A B, es decir BRB.
Simtrica: si BRC, es A B = A C, luego A C = A B y CRB.
Transitiva: si BRC y CRD se tiene que A B = A C = A D, luego
BRD.
3) En el conjunto Z la relacin definida por el menor estricto, xRy x < y,
verifica la propiedad antisimtrica ya que no existe ningn par de enteros n, m
tales que nRm y mRn. La relacin es tambin transitiva, pero no es reflexiva ni
simtrica.
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},
31
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
A B = = A , de donde BR y B R().
32
conjunto total. Veamos que esta es una propiedad de cualquier relacin de equi-
valencia.
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}.
33
a) Sea la relacin de equivalencia S, en Z, dada por nSm si n m es par.
Entonces
Z/S = {S(0), S(1)}
En general, si fijamos un entero p y consideramos
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,
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
34
Ejemplo 1.3.2. 1) Sea f : R R la correspondencia dada por
(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
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,
2) Sea la aplicacin
36
Proposicin 1.3.5. Sea f : X Y una aplicacin, A1 , A2 X y B1 , B2 Y .
Se verifica:
(a) f (A1 A2 ) = f (A1 ) f (A2 ), f (A1 A2 ) f (A1 ) f (A2 ).
(b) f 1 (B1 B2 ) = f 1 (B1 ) f 1 (B2 ), f 1 (B1 B2 ) = f 1 (B1 ) f 1 (B2 ).
(c) f (f 1 (B1 )) B1 , A1 f 1 (f (A1 )).
P RUEBA : Vamos a probar, por ejemplo, la segunda afirmacin de (a) y la
primera de (b) y (c). Las dems son similares.
(a) Consideremos y f (A1 A2 ). Entonces existe x A1 A2 tal que
y = f (x). Por tanto, y f (A1 ) e y f (A2 ), por lo que se tiene el resultado.
Es importante entender que, para afirmar que la otra inclusin no es cierta,
basta con dar un contraejemplo; esto es, un caso particular donde no sea cierto el
enunciado. Para ello consideremos f : N N definida por
x/2 + 1 si x es par
f (x) =
x+2 si x es impar
Tomamos A1 = {1, 3, 5}, A2 = {2, 4, 6}. Claramente f (A1 A2 ) = f () = ,
pero f (A1 ) f (A2 ) = {3}.
(b) Sea x un elemento de f 1 (B1 B2 ). Entonces
x f 1 (B1 B2 ) f (x) B1 B2 f (x) B1 f (x) B2
x f 1 (B1 ) x f 1 (B2 ) x f 1 (B1 ) f 1 (B2 ).
(c) Probemos ahora que f (f 1 (B1 )) B1 . Si y f (f 1 (B1 )), es porque
existe x f 1 (B1 ) tal que y = f (x). Pero, al ser x f 1 (B1 ), por definicin
tenemos que y = f (x) B1 .
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.
37
Sea una aplicacin f : X Y .
f (B) = A B = A (A D) = (A A) (A D) = D = D.
38
(a) f es inyectiva si y slo si para todo y Y f 1 ({y}) consta, a lo ms, de un
elemento.
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.
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
39
Ejemplo 1.3.9. 1) Sean las aplicaciones f : Z Q, g : Q R definidas por
n
f (n) = , g(x) = x2 + 3.
2
La composicin de f y g es
r
n 2
gf :ZR dada por (g f )(n) = + 3,
2
pues r
n n 2
(g f )(n) = g(f (n)) = g = + 3.
2 2
2) Sea A un conjunto fijo y consideremos las aplicaciones
luego la composicin de g y f es
Ntese que f g 6= g f.
40
Proposicin 1.3.11. Sea f : X Y una aplicacin. Se verifica que f es biyec-
tiva si y slo si existe una aplicacin g : Y X verificando
g f = 1X y f g = 1Y .
En este caso se tiene que f 1 = g.
P RUEBA : Si f es biyectiva basta tomar g = f 1 .
Recprocamente, supongamos la existencia de g. Veamos que f es biyectiva:
Inyectiva: si f (a) = f (b), aplicando g tenemos g(f (a)) = g(f (b)), luego
a = b por ser g f = 1X .
Sobreyectiva: sea y Y y consideremos x = g(y) X. Aplicando f tenemos
que f (x) = f (g(y)) = 1Y (y) = y, luego f es sobreyectiva.
f|A : A Y
x 7 f|A (x) = f (x)
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.12. 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.13. 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 = B = R, la funcin anterior no es ni inyectiva ni sobreyectiva.
Si A = R y B = R+ , f es sobreyectiva y no inyectiva.
Si A = [0, 1] y B = R, f es inyectiva y no sobreyectiva.
Si A = B = [0, 1], f es biyectiva.
41