Professional Documents
Culture Documents
atica
FACULTAD DE CIENCIAS
FISICAS Y MATEMATICAS
UNIVERSIDAD DE CHILE
Introducci
on al Algebra
08-1
3.9.
Composici
on de funciones
Definiremos la funci
on composici
on de f y g, la cual denotaremos por g f , como una
funci
on de A en C, dada por
Definici
on 3.7 (Funci
on composici
on).
(a A)
Notemos que para definir g f basta que se cumpla que Rec(f ) Dom(g), para poder
evaluar la funci
on g sobre el elemento f (a). Es decir, la definici
on puede hacerse de manera
mas general.
Ejemplos:
Consideremos la funci
on h :
f : + , f (x) = x1 , y g :
R+ R, dada por
h(x) = x1 . Si tomamos las funciones
2
R R, g(x) = x , entonces para cualquier x R+
2
2
1
1
=
= h(x)
(g f )(x) = g(f (x)) = g
x
x
es decir
gf =h
Rec(idB ) = Rec(f f 1 )
Falta solamente mostrar que (w B) idB (w) = (f f 1 )(w), lo cual hacemos del modo
siguiente:
Sea w B, y llamemos x = f 1 (w) A. Como f es la funci
on inversa de f 1 , tenemos
tambien que w = f (x). Entonces
(f f 1 )(w)
=
=
f (f 1 (w))
f (x)
=
=
w
idB (w)
M
etodo para c
alculo de inversas
Una propiedad u
til para el c
alculo de funciones inversas:
Propiedad 1. Sea f : A B biyectiva, y sea g : B A
Si g f = idA , entonces g = f 1 .
Si f g = idB , entonces g = f 1 .
Esta propiedad nos dice que para calcular la inversa de una funci
on biyectiva f , basta
encontrar una funci
on g que compuesta con f nos de la identidad. Ya sea que las hayamos
compuesto en el orden g f o en el orden f g, podemos concluir que f 1 = g.
n. Demostraremos la primera de ellas, es decir
Demostracio
g f = idA g = f 1
Como f es biyectiva, para que g = f 1 basta demostrar que
(x A)(y B) f (x) = y g(y) = x
= g(y)
= g(y)
) Supongamos ahora que g(y) = x. Como f es sobreyectiva, tenemos que existe w A tal
que f (w) = y. Entonces
x = g(y) = g(f (w)) = (g f )(w) = idA (w) = w
Por lo tanto, f (x) = f (w) = y.
53
Proposici
on 3.4 (Inversa de una composici
on). Si f : A B y g : B C son
biyectivas, entonces
(g f )1 = f 1 g 1
n. Denotemos F = g f y G = f 1 g 1 .
Demostracio
Tenemos que F : A C, y que G : C A. Ademas, como g y f son biyectivas, entonces
gracias a una propiedad anterior sabemos que F tambien es biyectiva. As, la afirmaci
on
que queremos demostrar puede escribirse como
F 1 = G
Gracias a las propiedades mencionadas, para esto basta mostrar que G F = idA . En efecto,
GF
= (f 1 g 1 ) (g f )
= f 1 (g 1 g) f
= f 1 idB f
= f 1 f
= idA
3.10.
Imagen y preimagen
Si f : A B es una funci
on, y si y = f (x) decimos que y es imagen de x a traves de f , y
que x es preimagen de y a traves de f .
Como f es una funci
on, tenemos que
(x A)(!y B) y = f (x)
54
N N
Ejemplo:
Tomemos la funci
on f : dada por f (n) = (n 10)2 . Se tiene que 36 es la imagen
por f de 4, pues f (4) = 36. A su vez, tenemos que 4 es preimagen de 36. Pero tambien
f (16) = 36, por lo que 16 tambien es preimagen de 36. Es facil observar que 36 no tiene
mas preim
agenes que estas dos, as que podemos decir que
{4, 16} es el conjunto de preim
agenes de 36
Tambien est
a el caso del natural 2, el cual no tiene preim
agenes por f (esto se observa
dado que f (n) siempre es un cuadrado perfecto, y 2 no lo es). En este caso decimos que
el conjunto de preim
agenes de 2 es (el conjunto vaco).
As como hemos obtenido el conjunto formado por todas las preim
agenes de ciertos
elementos, podemos formar el conjunto de todas las im
agenes de ciertos elementos. Como
sabemos que 9,4,1,0,1 y 4 son respectivamente las im
agenes de 7,8,9,10,11 y 12, escribimos
que
{0, 1, 4, 9} es el conjunto obtenido al reunir las im
agenes de {7, 8, 9, 10, 11, 12}
(observar que en el primer conjunto hemos eliminado los elementos repetidos,
como corresponde en los conjuntos)
3.10.1.
Conjunto imagen
En esta secci
on definiremos precisamente los conceptos de conjunto imagen y conjunto preimagen para una funci
on f dada, y estudiaremos varias propiedades.
Definici
on 3.8 (Conjunto imagen). Sea f : A B una funci
on, y sea A A. Defini
mos el conjunto imagen de A por f como
f (A ) = {b B : (a A ) f (a) = b}
o equivalentemente
b f (A ) (a A ) f (a) = b
n. Demostraremos (2).
Demostracio
Supongamos que A1 A2 , y sea y f (A1 ).
Por definici
on de conjunto imagen, tenemos que x A1 tal que y = f (x). Como A1 est
a
contenido en A2 , entonces x A2 .
As, existe un x A2 tal que y = f (x), con lo que obtenemos que y f (A2 ).
3.10.2.
Conjunto preimagen
Definici
on 3.9 (Conjunto preimagen). Dado B B, el conjunto preimagen de B
por f como
f 1 (B ) = {a A : f (a) B }
o, en terminos l
ogicos
a f 1 (B ) f (a) B
n. Demostraremos (2).
Demostracio
Consideremos un elemento x arbitrario. Se tiene que
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 )
Enumeramos ahora propiedades que surgen cuando reunimos los conceptos vistos en las
secciones anteriores.
Propiedades 5.
1. Si A A, entonces A f 1 (f (A ))
2. Si B B, entonces f (f 1 (B )) B
3. f es inyectiva (A A) A = f 1 (f (A ))
4. f es sobreyectiva (B B) f (f 1 (B )) = B
56
A f 1 (f (A ))
n. Demostraremos (3).
Demostracio
) Supongamos que f es inyectiva, y tomemos A A. Gracias a (1), sabemos que
y por lo tanto s
olo nos falta demostrar la otra inclusi
on.
Sea x f 1 (f (A )), queremos demostrar que x A .
Por definici
on de conjunto preimagen, tenemos que f (x) f (A ). Llamando y = f (x), y por
definici
on de conjunto imagen, tenemos que existe un w A tal que f (w) = y.
As, f (x) = f (w), y como f es inyectiva, concluimos que x = w. Pero sabamos que w A ,
por lo tanto x A .
57