Funciones de Conjuntos

Recordemos: Sean A,B conjuntos y R

R es una funcin de A en B; si

B una relacin. Diremos que

8a 2 A [9!b 2 B; (a; b) 2 R]
Es decir,
8a 2 A ([9b 2 B; (a; b) 2 R] ^ [(8c 2 B; (a; c) 2 R) ) (c = b)])
R

Notacin: En este caso, denotaremos a R como R : A ! B A ! B: Y

como para cualquier a 2 A, la b 2 B tal que (a; b) 2 R es nica, denotaremos a
b =: R(a): Es decir,

A !
a 7!

B
R(a)

Ejemplos importantes:
1. Sea A un conjunto, la relacin identidad, 1A = f(a; a); a 2 Ag es funcin.
Y vimos que es biyectiva.
2. Sean X un conjunto y ; el conjunto vaco. Entonces
2.1. ; X = ;.
2.2. Y si R := ; como relacin, R es funcin ; ! X:
La demostracin la hicimos por vacuidad. Es decir, negando la proposicin:
8a 2 ; ([9b 2 X; (a; b) 2 R] ^ [(8c 2 X; (a; c) 2 R) ) (c = b)])
Negacin:
: [8a 2 ; ([9b 2 X; (a; b) 2 R] ^ [(8c 2 X; (a; c) 2 R) ) (c = b)])] es
9a 2 ;; (: [9b 2 X; (a; b) 2 R] _ : [(8c 2 X; (a; c) 2 R) ) (c = b)]) es
9a 2 ;; ([8b 2 X; (a; b) 2
= R] _ [(8c 2 X; (a; c) 2 R) ^ (c 6= b)]) es una proposicin Falsa.
Por lo tanto, la proposicin 8a 2 ; ([9b 2 X; (a; b) 2 R] ^ [(8c 2 X; (a; c) 2 R) ) (c = b)])
es verdadera y R : ; ! X es funcin.
2.3. Sean X un conjunto y fX : ; ! X la funcin vaca. Demostrar (por
vacuidad) que fX es inyectiva.
2.4. Demostrar que la funcin f; : ; ! ; es biyectiva. De hecho, f; = 1; es
la funcin identidad del conjunto vaco.
3. Denicin de Composicin de funciones:
1

Sean f : A ! B y g : B ! C funciones. Para que no haya confusin,

denotaremos por Rf
A B y Rg
B C a sus respectivas relaciones. Es
decir,
Rf = f(a; f (a)) 2 A B; a 2 Ag y Rg = f(b; g(b)) 2 B C; b 2 Bg:
La composicin de f con g, denotada por g f : A ! C es la relacin
Rg f := f(a; g(f (a))) 2 A C; a 2 Ag:
Es decir, para toda a 2 A, [g f ] (a) := g(f (a)) 2 C:
3.1. g f es funcin. Es decir. demostrar que 8a 2 A [9!c 2 C; (a; c) 2 Rg f ] :
3.2. Demostrar que la composicin de funciones cumple las siguientes propiedades.
a. Asociativa. Es decir,
Sean f : A ! B, g : B ! C y h : C ! D funciones. Entonces (h g) f =
h (g f ):
b. f 1A = f
c. 1b g = g
4. Teorema. Sea f : A ! B una funcin.
4.1. f es una funcin inyectiva , [8 ; : C ! A ([f
=f
] ) [ = ])] :
4.2. Ms an, si A 6= ;, entonces
f es una funcin inyectiva , 9g : B ! A; g f = 1A:
En este caso, a g se le llama una inversa izquierda de f:
4.3. Sean f : A ! B y h : B ! C funciones.
4.3.a. Si f y h son funciones inyectivas, entonces la composicin h f es
inyectiva.
4.3.b. Sean f : A ! B y h : B ! C funciones. Si h f es inyectiva entonces
f es inyectiva.
4.4.Tarea. Dar conjuntos A; B,C y funciones f : A ! B y h : B ! C tales
que h f sea inyectiva y h no sea inyectiva.
4.5.Tarea. Dar conjuntos A; B y f : A ! B funcin inyectiva con dos
inversas izquierdas distintas.
5. Teorema. Sea f : A ! B una funcin.
5.1. f es una funcin suprayectiva , [8 ; : B ! C ([
f=
f ] ) [ = ])] :
5.2. Ms an, si B 6= ;, entonces
f es una funcin suprayectiva , 9k : B ! A; f k = 1B:
En este caso, a k se le llama una inversa derecha de f:
5.3. Sean f : A ! B y h : B ! C funciones.
5.3.a. Si f y h son funciones suprayectivas, entonces la composicin h f
es suprayectiva.
5.3.b. Si h f es suprayectiva entonces h es suprayectiva.
5.4.Tarea. Dar conjuntos A; B,C y funciones f : A ! B y g : B ! C tales
que g f sea suprayectiva y f no lo sea.
5.5.Tarea. Dar conjuntos A; B y f : A ! B funcin suprayectiva con dos
inversas derechas distintas.

6. Teorema. Sea f : A ! B una funcin.

f es una funcin biyectiva , 9!g : B ! A; g f = 1A: y f g = 1B: :
En este caso a g se le denotar por f 1 y se le llama la inversa de f:
6.1. Sean A y B conjuntos. Diremos que A y B son conjuntos biyectivos si
existe f : A ! B tal que f es biyectiva. En este caso se denotar por A ' B:
7. Denicin-Proposicin. Sea f : A ! B una funcin.
a. La imagen de f; Imf := fb 2 B; 9a 2 A; b = f (a)g (es conjunto por
axioma de comprensin).
b. La siguiente es funcin y es suprayectiva:
f jIm f : A !
a 7!

Im f
f (a)

y se le llama la restriccin de f a Im f:
c. En A denimos la siguiente relacin: 8a; a0 2 A; a
a0 si y slo si
f (a) = f (a):
c.1.
es una relacin de equivalencia.
c.2. Denotamos por A= := f[a] ; a 2 Ag al conjunto de clases de equivalencia de A:
c.3. Denimos la siguiente que es funcin y es inyectiva:
f : A=
[a]

!
7
!

B
f (a)

c.4. Corolario. La siguiente funcin es biyectiva.

f jIm f : A=
[a]

!
7
!

Im f
f (a)

8. Denicin. Sean A y B conjuntos. Diremos que A y B son conjuntos

biyectivos si existe f : A ! B tal que f es funcin biyectiva.
9. Denicin. Sea A un conjunto. Diremos que A es un conjunto nito
si existen n 2 f0; 1; 2; 3; :::g y f : f1; :::; ng ! A funcin biyectiva.
En este caso diremos que la cardinalidad de A; denotado por #A = jAj = n:
9.1. En particular, j;j = 0:
9.2. Denicin. Si A conjunto no es un conjunto nito, diremos que A es
un conjunto innito.
10. Recordemos que una construccin de los nmeros racionales es la
siguiente:
Tomemos el conjunto Z (Znf0g) donde Z es el conjunto de los nmeros
enteros.
Sean (a; b); (c; d) 2 Z (Znf0g); diremos que
(a; b) (c; d) si y slo si ad = bc:
10.1.
es una relacin de equivalencia.
3

10.2. Denotaremos por ab := [(a; b)] a laclase de equivalencia de (a; b) 2

Z (Znf0g)
Y por Q := ab ; (a; b) 2 Z (Znf0g) y les llamamos los nmeros racionales.
10.3. Tenemos la funcin suma en Q:
+:Q Q !
a c
7 !
b; d

ad+bc
bd

Notacin: + ab ; dc =: ab + dc
Y la funcin producto en Q:
:Q Q
a c
b; d
Notacin:

a c
b; d

=:

a
b

!
7 !

ac
bd

c
d

TAREA.
10.4. Demostrar que si ab 2 Q entonces ab = ab y ba = ab = 11 ab :
10.5. Demostrar que (Q; +; ) es lo que llamamos un campo. Es decir,
Sean ab ; dc ; fe 2 Q.
+:1: Conmutatividad: ab + dc = dc + ab
+:2: Asociatividad: ab + dc + fe = ab + dc + fe
+:3: Neutro aditivo:9e 2 Q, 8 ab ; ab + e = ab (= e + ab ).
+:4: Inverso aditivo. 8 ab 9 dc ( ab + dc = e (= dc + ab ))
:1:
:2:
:3:
:4:

Conmutatividad.
Asociatividad.
Neutro multiplicativo.
Inverso multiplicativo.

Distributividad:
d:1: 8 ab ; dc ; fe 2 Q se cumple que

a
b

c
d

e
f

a
b

c
d

a
b

e
f

OBSERVACIN: Vern en algunos libros que cuando denen campo (o

grupo o anillo, etc.) piden primero que la suma y el producto sean cerrados.
Pero yo den la suma y el producto +; : Q Q ! Q como funciones cuyo
contradominio es Q. Esto implica que estas operaciones son cerradas.
10.6. Demostrar que el neutro aditivo (+.3) es nico.
10.7. Demostrar que 8 ab ; su inverso aditivo es nico.
11. Sean A; B:C conjuntos y A B el producto cartesiano. Demostrar que
11.1. A B ' B A:
11.2. A (B C) ' (A B) C
11.3. Sean A y B conjuntos no vacos. Demostrar que las siguientes son
funciones y son suprayectivas.
4

: A B
(a; b)

! A
y
7
!
a

: A B
(a; b)

!
7
!

B
b

11.4. Adems tienen la siguiente propiedad (que llamamos Propiedad

Universal del Producto Cartesiano):
8f : C ! A8g : C ! B; 9!' : C ! A B tal que A ' = f y B ' = g:
Como ' es nica la denotaremos por (f; g):
12. Demostrar que el conjunto de los nmeros naturales N no es un conjunto
nito.
13. Demostrar la siguiente
Proposicin: Sean A y B conjuntos nitos, digamos jAj = n y jBj = m: Y
sea f : A ! B funcin.
a) Si f es inyectiva entonces n m:
b) Si f es suprayectiva entonces n m:
c) Si f es biyectiva entonces n = m:
d) Si n = m entonces A ' B:
14. Sea f : Q !Q la funcin "mayor entero menor o igual que"
f: Q

! Z
7! n

a
b

donde n ab y 8m 2 Z tal que m ab entonces m n:

14.1. Demostrar que f es funcin suprayectiva.
14.2. Describir las clases de equivalencia de la relacin dada en (7.c).
15. Recordemos que en Z denimos una relacin de equivalencia, la cual
denotar por 2 de la siguiente manera:
8a; b 2 Z, a 2 b si y slo si 2j(a b) (2 divide a a b). En este caso se dice
que a y b son equivalentes mdulo 2.
El conjunto de clases de equivalencia, Z= 2 = f0 := [0]2 ; 1 := [1]2 g donde 0
es el conjunto de los nmeros pares y 1 el de los impares.
A Z= 2 se le denota tambin como Z2 = f0; 1g y se le puede dar estructura
de campo con las siguientes funciones:
+
0
1

0 1
0 1 y 0
1 0
1

0
0
0

1
0
1

Demostrar que (Z2 ,+; ) es un campo.

16. Sea (R,+; ) el conjunto de los nmeros reales con su suma y producto
usuales.
Dibujar en R3 := (R R) R los siguientes conjuntos.
16.1. A B donde
A = f(x; y) 2 R R; x2 + y 2 = 1g y B = fz 2 R;0 z 1g:
5

16.2. El conjunto T:=([0; 1] [0; 1]) = el conjunto de clases de equivalencia

de la siguiente relacin en [0; 1] [0; 1]:
(a; b) (c; d) si (a; b) = (c; d) (a = c y b = 1 y d = 0) (a = c y b = 0 y
d = 1) (b = d y a = 1 y c = 0) (b = d y a = 0 y c = 1)
Demostrar primero que es de equivalencia y luego dibujen T.
16.3. El conjunto K:=([0; 1] [0; 1]) = el conjunto de clases de equivalencia
de la siguiente relacin en [0; 1] [0; 1]:
(a; b) (c; d) si (a; b) = (c; d) (a = c y b = 1 y d = 0) (a = c y b = 0 y
d = 1) (a = 1 y c = 0 y d = 1 b) (a = 0 y c = 1 y d = 1 b):
Demostrar primero que es de equivalencia y luego dibujen K.
Suerte!