Captulo 1

Conjuntos
1.1 Conjuntos. Operaciones bsicas
Comenzaremos dando una nocin intuitiva de uno de los conceptos matemticos
ms importantes: el de conjunto. La Teora de conjuntos, desde el punto de vista
axiomtico, fue introducida por Georg Cantor. Cantor naci en San Petersburgo
en 1845, donde vivi sus primeros once aos. Desde 1869 ejerci como profesor
en la universidad de Halle. Entre 1879 y 1884 Cantor public una serie de seis
artculos en el Mathematische Annalen en los que desarrollaba una introduccin
bsica a la teora de conjuntos. Falleci en 1917.

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 elementos entre llaves, por ejemplo
A = {1, 2, 3, 4, 5},
o de manera implcita, dando una o varias caractersticas que determinen si un
objeto dado est o no en el conjunto, por ejemplo
A = {x | x es un nmero natural par},
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}.
2) Para cada n N, definimos el conjunto

An = {m Z | m es mltiplo de n}.

De esta forma se tiene una familia infinita {An }nN de conjuntos. En particular,
si n = 5 se tiene
A5 = {. . . , 10, 5, 0, 5, 10, . . . }.

Un conjunto que carece de elementos se denomina el conjunto vaco y se

denota por . Un conjunto con un nico elemento se denomina unitario.
Notemos que, si X = {x} es un conjunto unitario, debemos distinguir entre
el conjunto X y el elemento x.
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 notaremos 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 donde 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 nmeros 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.

A lo largo de estas notas supondremos, salvo que se especifique lo contrario,

que todos los conjuntos que usamos estn contenidos en U. De esta forma, dado
un conjunto A, podemos representarlo con un diagrama de Venn.

U
A

Figura 1.1: Diagrama de Venn

Proposicin 1.1.3. Sean A, B y C tres conjuntos cualesquiera. Se tienen las
siguientes propiedades:
(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 elemento 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.

Los subconjuntos de A distintos de y A se denominan subconjuntos propios
de A.
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

Figura 1.2: Complementario

Dado A U, se dan las siguientes igualdades:
= U,

U = ,

A = A.

Nos detendremos solamente en la tercera de las anteriores propiedades. En

efecto, por definicin
A = {x | x U, x
/ A},
pero para un x U, x
/ A si y slo si x A, por tanto los elementos de A son
precisamente los de 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

Figura 1.3: Unin

Ejemplo 1.1.4. 1) Sean A = {a, b, c} y B = {2, 5, 7, c, a}, entonces
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}.
3) Sean A = {Alumnos nacidos en enero} y B = {Alumnos nacidos en da par},
entonces
A B = {Alumnos nacidos en da par o en los das impares de enero}.
Se definen de forma equivalente la unin de una cantidad finita de conjuntos
A1 , ..., An , que denotaremos
A1 ... An =

n
[

Ai ,

i=1

y la unin de una familia arbitrariamente grande de conjuntos {Ai }iI , que denotaremos
[
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.
(b) Asociativa: (A B) C = A (B C).
(c) A A B, B A B.
(d) A = A.
(e) A B si y slo si A B = B.
P RUEBA : (a) Los elementos de A B son los que pertenecen a A o a B
que, evidentemente, son los mismos elementos que pertenecen a B o a A, es decir
A B = B A. La prueba de (b) se hace igual.
(c) Sea a A. Es claro que a A B pues el elemento a verifica que est en A
o en B. Anlogamente B A B.
(d) Probaremos esta propiedad por doble inclusin. Por (c) tenemos que A
A. Recprocamente,sea a A. Esto quiere decir que el elemento a tiene
que estar, al menos, en uno de los conjuntos o A. Sabemos que a
/ , luego
a A.
(e) Supongamos que A B. Para probar que A B = B basta probar que
A B B, pues la otra inclusin la tenemos por (c). Sea x A B, entonces
x A o x B. Pero si x A, como A B se tiene que x B.
Recprocamente, supongamos que A B = B. Entonces, por (c) tenemos
A 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

Figura 1.4: Interseccin

Ejemplo 1.1.5. 1) Sean A = {a, b, c} y B = {2, 5, 7, c, a}, entonces
A B = {a, c}.
2) Si A = {x Q | 2 x 7} y B = {x Q | 4 x 3}, entonces
A B = {x Q | 2 x 3}.
3) Sean A = {Alumnos nacidos en enero} y B = {Alumnos nacidos en da par},
entonces
A B = {Alumnos nacidos en los das pares de enero}.
Se definen de forma equivalente la interseccin de una cantidad finita de conjuntos A1 , ..., An , y la interseccin de una familia arbitrariamente grande de conjuntos {Ai }iI , que denotaremos, respectivamente,
A1 ... An =

n
\

Ai ,

i=1

Ai .

iI

Si A y B son dos conjuntos tales que A B = se dice que A y B son

disjuntos.
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.
(b) Asociativa: (A B) C = A (B C).
(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}.
Se tiene que A \ B = A B. En efecto, sea x A \ B. Entonces x A y
x
/ B, luego x A y x B, es decir x A B. Para demostrar la inclusin
contraria basta leer la demostracin anterior de derecha a izquierda.

U
A

Figura 1.5: Diferencia

Ejemplo 1.1.6. 1) Sean A = {a, b, c} y B = {2, 5, 7, c, a}, entonces
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}.
3) Sean A = {Alumnos nacidos en enero} y B = {Alumnos nacidos en da par},
entonces
A \ B = {Alumnos nacidos en los das impares de enero}.
Notemos que, en general, A \ B 6= B \ A. En el apartado 1) del ejemplo
anterior es A \ B = {a} y B \ A = {2, 5, 7}.
Diferencia simtrica de conjuntos
Dados dos conjuntos A y B se define la diferencia simtrica de
A y B, notada AB, como el conjunto formado por los elementos que pertenecen a uno slo de los conjuntos A, B, es decir
AB = {x | x A \ B x B \ A}.
Se tiene que AB = (A B) (A B) = (A \ B) (B \ A).

U
A

Figura 1.6: Diferencia simtrica

Ejemplo 1.1.7. 1) Sean A = {a, b, c} y B = {2, 5, 7, c, a}, entonces
AB = {b, 2, 5, 7}.
2) Si A = {x Q | 2 x 7} y B = {x Q | 4 x 3}, entonces
AB = {x Q | 4 x < 2 y 3 < x 7}.
3) Sean A = {los alumnos nacidos en enero} y B = {los alumnos nacidos en da par},
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).


Leyes distributivas - Leyes de De Morgan

Dados tres conjuntos A, B y C se verifican las siguientes igualdades:
(a) Leyes distributivas:
A(BC) = (AB)(AC),

A(BC) = (AB)(AC)

(b) Leyes de De Morgan (supongamos A, B C):

C\(AB) = (C\A)(C\B),

C\(AB) = (C\A)(C\B)

P RUEBA : Probaremos una de las leyes distributivas y una de las leyes de De

Morgan; las restantes quedan como ejercicio por ser simtricas a las probadas.
Ambos resultados se probarn por doble inclusin.
Veamos que A(B C) (AB)(AC). Para ello tomemos un elemento
arbitrario x A (B C). Esto quiere decir que x est en A y adems en B en
C. Esto implica que, bien est en A B, bien est en A C. En cualquier caso
x (A B) (A C).
Demostremos ahora que (AB)(AC) A(B C). Si consideramos un
elemento cualquiera y (A B) (A C), y ha de pertencer a A B o a A C.
Por tanto, bien est en A y en B o en A y en C. En cualquier circunstancia ha de
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
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).

Notemos que si en el apartado (b) del teorema anterior tomamos C = U, el
conjunto universal, la leyes de De Morgan nos dicen que:
A B = A B,

A B = A B.

C
Figura 1.7: Ley distributiva

Figura 1.8: Ley de De Morgan

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 .


1.2 Producto cartesiano. Relaciones de equivalencia.

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)}
Tambin se puede definir el producto cartesiano de una cantidad finita de conjuntos (para cantidades infinitas hay dos posibles generalizaciones y no las veremos por ahora ) de la forma natural
A1 ... An =

n
Y
i=1

Ai = {(a1 , ..., an ) | ai Ai , para i = 1, ..., n} .

Correspondencia
Una correspondencia G de A en B es un subconjunto del producto 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.
Ejemplo 1.2.2. Sean A = {a, b, c} y B = {b, 1, 2, 3} los conjuntos del ejemplo
anterior. Entonces G = {(a, 1), (a, 3), (b, b), (b, 1), (b, 3)} es una correspondencia
de A en B.
Las correspondencias se pueden representar como sigue:

B
b

1
b
2
c

Figura 1.9: Correspondencia

Es claro que la representacin del ejemplo anterior es posible por trabajar
con conjuntos finitos (y con pocos elementos). Si los conjuntos son infinitos,
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}.
29

Relacin
Sea A un conjunto. Una relacin R definida en A es una correspondencia 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).

Sea R una relacin en A. Entonces diremos que R es:

(a) Reflexiva cuando para todo x A se tiene que xRx.
(b) Simtrica cuando xRy siempre implica yRx.
(c) Antisimtrica cuando, si tenemos xRy e yRx, entonces
x = y necesariamente.
(d) Transitiva si tenemos xRy e yRz siempre es xRz.

Relaciones de orden y de equivalencia

Las relaciones reflexivas, simtricas y transitivas se denominan
relaciones de equivalencia. Las relaciones reflexivas, antisimtricas y transitivas se denominan relaciones de orden.

Ejemplo 1.2.4. 1) En el conjunto Z definimos las relaciones siguientes:

xRy x y,

xSy x y es par,

xT y x divide a y

a) R es una relacin de orden (de hecho, las relaciones de orden se denominan as

por ser ste el ejemplo fundamental). En efecto:
Reflexiva: n Z se tiene que n n, luego nRn.
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 antisimtrica 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},
donde la primera notacin se usa si R se sobreentiende, y la segunda si no es as.

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 equivalencia, 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. Estudiaremos, 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().
A B = A = A A, de donde BRA y B R(A).
A B = {x} = A {x}, de donde BR{x} y B R({x}).
A B = {y} = A {y}, de donde BR{y} y B R({y}).
Observemos que en este ejemplo tambin se tiene que las cuatro clases anteriores no tienen ningn elemento en comn y que la unin de todas ellas es P(U).
Pasemos al caso general. Sea A un conjunto cualquiera. Veamos que existen tantas clases de equivalencia como subconjuntos de A, es decir tantas como
(P(A)).
2-1) Si A1 , A2 A son distintos, entonces R(A1 ) 6= R(A2 ). En efecto: A1 y
A2 no estn relacionados ya que A A1 = A1 6= A2 = A A2 .
2-2) Todo conjunto B pertenece a la clase de equivalencia de un subconjunto
de A. En efecto: basta tomarA B A, entonces A (A B) = (A A) B =
A B, luego B R(A B).
Hemos visto en los ejemplos anteriores que las clases de equivalencia distintas no tienen ningn elemento en comn, y que la unin de todas la clases es el
32

conjunto total. Veamos que esta es una propiedad de cualquier relacin de equivalencia.

Sea A un conjunto, R una relacin de equivalencia en A. Entonces se verifican las siguientes propiedades:
(a) Todo elemento pertenece a una clase de equivalencia.
(b) Dos clases de equivalencia son disjuntas o iguales.
Esto es, la relacin R divide completamente al conjunto A en
subconjuntos disjuntos (las clases de equivalencia).

P RUEBA : La afirmacin (a) es trivial, ya que R es reflexiva. Para probar (b)

supongamos que tenemos dos clases de equivalencia R(x) y R(y) de tal forma
que existe z R(x) R(y). Tenemos que demostrar entonces que R(x) = R(y),
y lo haremos por doble inclusin. De hecho, slo probaremos que R(x) R(y),
porque la otra inclusin es absolutamente simtrica.
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).

Corolario 1.2.6. Sea A un conjunto, R una relacin de equivalencia en A, x, y
A. Se tiene que las clases de equivalencia de x e y son iguales, R(x) = R(y), si
y slo si xRy.

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}.
Ejemplo 1.2.7. Veamos los conjuntos cocientes de los ejemplos anteriores.
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,
se tiene que, para todo x Z
S(x) = {y Z | x e y dan el mismo resto al dividirlos entre 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,

siendo A un conjunto fijo. En este caso

P(U)/R = {R(D) | D P(A)}.

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 A !b B tal que (a, b) G.
Nota 1.3.1. Es habitual denotar una aplicacin entre A y B de la forma f : A
B. En estas condiciones, dado a A el nico b B verificando (a, b) f se
denota f (a) y se denomina imagen de a (por f ).
De esta notacin surge la terminologa, comnmente usada, de llamar a A
conjunto original (o dominio) y a B conjunto imagen.
34

Ejemplo 1.3.2. 1) Sea f : R R la correspondencia dada por

(a, b) f

si b2 = a.

La correspondencia f no es aplicacin, pues no todos los elementos de R poseen

una imagen (si a < 0, no existe b R con b2 = a.)
2) Consideremos la correspondencia anterior donde la primera componente la suponemos en R+ (los nmeros reales positivos), es decir f R+ R. En este
caso, todos los elementos de R+ tienen una imagen, pero f no es aplicacin, pues
la imagen no es nica. Por ejemplo, (4, 2) f y (4, 2) f.
3) Si consideramos f : R+ R+ , definida por
f (a) = b si b2 = a,
si es aplicacin.
4) La correspondencia
f : Z {1} Q,

f (n) =

n
n1

es aplicacin.
5) Sea A un conjunto fijo. Definimos
f, g : P(U) P(U)

f (B) = A B,

g(B) = A B.

Ambas son aplicaciones.

6) Sea X un conjunto cualquiera. Siempre se tiene la aplicacin
f : X X,

definida por f (x) = x, x X,

que llamaremos aplicacin identidad y notaremos por 1X .

7) Sean X, Y conjuntos cualesquiera, y0 Y un elemento fijo. Siempre se tiene
la aplicacin
g:X Y

definida por g(x) = y0 , x X,

que llamaremos aplicacin constante.

35

Imagen y anti-imagen
Dada una aplicacin f : X Y y subconjuntos A X y
B Y , definimos:
(a) La imagen de A (o imagen directa de A), notada f (A),
como
f (A) = {y Y | x A con f (x) = y} Y,
esto es, el conjunto de elementos del conjunto imagen que
son imagen de un elemento de A. Si A = X se denota
f (X) = im(f ) y se denomina imagen de f.
(b) La antiimagen (o contraimagen, o imagen recproca o
imagen inversa) de B, notada f 1 (B), como
f 1 (B) = {x X | f (x) B} X,
esto es, el conjunto de elementos del conjunto original cuya
imagen est en B.

Nota 1.3.3. En general, si f : X Y es una aplicacin, f (X) 6= Y. Basta tomar

la ltima aplicacin del ejemplo anterior. S se verifica siempre que f 1 (Y ) = X.
Ejemplo 1.3.4. 1) Consideremos la aplicacin
f :ZZ

definida por f (n) = 2n,

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
f 1 (B1 ) = {1, 4, 2}, f 1(B2 ) = .
2) Sea la aplicacin
f :RR

definida por f (x) = x2 ,

A
= [0, 2]. Entonces f (A) = [0, 4], pues x [0, 4], existe x [0, 2] tal que
f ( x) = x. En este caso, la imagen de f es im(f ) = [0, +), los nmeros reales
no negativos.
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 , luego 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 .

(a) f se dice inyectiva si dos elementos distintos de X siempre
tienen imgenes distintas. Dicho de otro modo, f es inyectiva si, de f (x) = f (x ), para x, x X, se deduce que
x = x .
(b) f se dice sobreyectiva (o sobre) si todo elemento de Y
es imagen de algn elemento de X. O sea, f es sobre si
f (X) = im(f ) = Y .
(c) f se dice biyectiva si es inyectiva y sobreyectiva.

Ejemplo 1.3.6. 1) Sea f : R R la aplicacin definida por f (x) = x2 . Esta

aplicacin no es inyectiva, pues f (x) = f (x). Tampoco es sobreyectiva, pues
im(f ) = [0, +) 6= R.
2) Sea f : Z Z la aplicacin definida por f (n) = 2n. Esta aplicacin es
inyectiva ya que, si f (n) = f (m), entonces 2n = 2m, y de aqu se tiene que
n = m. La aplicacin no es sobreyectiva pues im(f ) = {nmeros pares} =
6 Z.
3) Sea A 6= , U un conjunto fijo. Sea f : P(U) P(A) la aplicacin definida
por f (B) = AB. Esta aplicacin no es inyectiva, pues si f (B) = f (C), tenemos
que AB = AC, y de aqu no se deduce que B = C. Basta tomar dos conjuntos
distintos B, C A. Entonces se verifica que A B = = A C y B 6= C.
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. As, podemos decir que:
38

(a) f es inyectiva si y slo si para todo y Y f 1 ({y}) consta, a lo ms, de un

elemento.
(b) f es sobre si y slo si para todo y Y f 1 ({y}) consta, a lo menos, de un
elemento.
(c) f es biyectiva si y slo si para todo y Y f 1 ({y}) consta, exactamente,
de un elemento.

Aplicacin inversa
Sea f : X Y una aplicacin biyectiva. La aplicacin inversa 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.

Ejemplo 1.3.8. 1) La aplicacin inversa de la identidad es la identidad.

2) Sea la aplicacin
f :ZZ

definida por f (n) = n + 3.

Su inversa es la aplicacin
f 1 : Z Z

definida por f 1 (m) = m 3.

3) Si la aplicacin no es biyectiva no se puede definir la inversa. Consideremos

f :NZ

dada por

f (n) = 2 n.

Si existiese la inversa f 1 : Z N, se tendra que, por ejemplo, f 1 (5) N. Pero

decir que f 1 (5) = n N es decir que f (n) = 2 n = 5, luego n = 3 N.
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
(g f )(x) = g(f (x)), para todo x X.
Obviamente g f es una aplicacin.
39

Ejemplo 1.3.9. 1) Sean las aplicaciones f : Z Q, g : Q R definidas por

f (n) =

n
, g(x) = x2 + 3.
2

La composicin de f y g es
gf :ZR

dada por (g f )(n) =

r 
n 2
2

+ 3,

pues
r 
n 2
=
+ 3.
(g f )(n) = g(f (n)) = g
2
2
2) Sea A un conjunto fijo y consideremos las aplicaciones
n

f, g : P(U) P(U)

definidas por f (B) = A B, g(B) = A B.

En este caso podemos calcular la composicin de f y g y la composicin de g y

f.
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 g)(B) = f (g(B)) = f (AB) = A(AB) = (AA)(AB) = (AB) = AB,
luego la composicin de g y f es
f g : P(U) P(U),

(f g)(B) = A B, B P(U).

Ntese que f g 6= g f.
Nota 1.3.10. Dadas aplicaciones entre conjuntos
f

X1 X2 X3 X4 ,
es elemental comprobar que (h g) f = h (g f ) (asociatividad de la composicin de aplicaciones).
40

Proposicin 1.3.11. Sea f : X Y una aplicacin. Se verifica que f es biyectiva si y slo si existe una aplicacin g : Y X verificando
g f = 1X

En este caso se tiene que f 1 = g.

y f g = 1Y .

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.


Restriccin de una aplicacin

Dada una aplicacin f : X Y y un subconjunto A X, se
define la restriccin de f a A como la aplicacin
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 manifiesto 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