Semana04[1/17]

Funciones

21 de marzo de 2007

Funciones
Funciones Semana04[2/17]
Composicin de funciones

Pensemos que tenemos tres conjuntos no vacos A, B, C, y dos funciones, f : A B y g : B C, como en el

siguiente diagrama:

Figura: Esquema necesario para poder componer dos funciones f y g.

Definiremos la funcin composicin de f y g, la cual denotaremos por g f , como una funcin de A en C,

dada por

Funcin composicin
(a A) (g f )(a) = g(f (a)).

Notemos que para definir g f basta que se cumpla que Rec (f ) Dom (g), para poder evaluar la funcin g
sobre el elemento f (a). Es decir, la definicin puede hacerse de manera ms general.

Funciones
Funciones Semana04[3/17]
Composicin de funciones

Ejemplos
R R
Consideremos la funcin h : + , dada por h(x) = 1
. Si tomamos las funciones f : R+ R, f (x) = x1 , y
R R R
x2
g : , g(x) = x 2 , entonces para cualquier x +
   2
1 1
(g f )(x) = g(f (x)) = g = = h(x)
x x
es decir
gf =h

Funciones
Funciones Semana04[4/17]
Composicin de funciones
Algunas propiedades de la composicin:
Propiedades
Si f : A B, g : B C, h : C D son funciones, entonces
1 h (g f ) = (h g) f (esta propiedad se llama asociatividad)
2 En general, no hay conmutatividad
3 idB f = f idA = f (es decir, la funcin identidad es neutro para la composicin)
4 Si f es biyectiva, entonces f f 1 = idB y f 1 f = idA

Demostracin.
Demostremos (4). Para la primera afirmacin:
f f 1 = idB
notamos que f : A B, por lo que f 1 : B A, y entonces f f 1 : B B, por la definicin de composicin. Como
Dom (idB ) = Rec (idB ) = B, concluimos que

Dom (idB ) = Dom (f f 1 ) 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 funcin inversa de f 1 , tenemos tambin que w = f (x). Entonces

(f f 1 )(w ) = f (f 1 (w ))
= f (x)
= w
= idB (w )

y listo.Para demostrar que f 1 f = idA se sigue el mismo procedimiento.

Funciones
Funciones Semana04[5/17]
Composicin de funciones

Algunas propiedades con respecto a la inyectividad y sobreyectividad:

Propiedades
Si f : A B, g : B C son funciones, entonces
1 Si f y g son inyectivas, entonces (g f ) es inyectiva.
2 Si f y g son sobreyectivas, entonces (g f ) es sobreyectiva.
3 Si f y g son biyectivas, entonces (g f ) es biyectiva.
4 Si (g f ) es inyectiva, entonces f es inyectiva (g no necesariamente lo es).
5 Si (g f ) es sobreyectiva, entonces g es sobreyectiva (f no necesariamente lo es).

Demostracin.
Demostraremos (2) y (4).
Para (2): Queremos ver que la funcin g f : A C es sobreyectiva. Sea c C. Buscamos un a A tal que
(g f )(a) = c, es decir que g(f (a)) = c.
Como g : B C es sobreyectiva, sabemos que existe un b B tal que g(b) = c. Del mismo modo, como
f : A B es sobreyectiva, sabemos que existe a A tal que f (a) = b. As

(g f )(a) = g(f (a)) = g(b) = c

que es lo que queramos demostrar.

Contina...

Funciones
Funciones Semana04[6/17]
Composicin de funciones

Continuacin demostracin.
Probaremos (4):
Si (g f ) es inyectiva, entonces f es inyectiva (g no necesariamente lo es).

Sabemos que (g f ) es inyectiva.

Para demostrar que f tambin lo es, consideremos a1 , a2 A tales que f (a1 ) = f (a2 ). Notemos que
f (a1 ), f (a2 ) B pues Rec (f ) = B. As, evaluando la funcin g obtenemos

g(f (a1 )) = g(f (a2 ))

es decir
(g f )(a1 ) = (g f )(a2 )
Como sabemos que (g f ) es inyectiva, obtenemos que a1 = a2 , por lo que f es tambin inyectiva.

Funciones
Funciones Semana04[7/17]
Ejemplo importante: Mtodo para clculo de inversas
Una propiedad til para el clculo de funciones inversas:
Propiedad
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 funcin biyectiva f , basta encontrar una funcin g que
compuesta con f nos d 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.

Demostracin.
Demostraremos la primera de ellas, es decir
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

Sean x A, y B. Demostraremos las dos implicancias:

) Supongamos que f (x) = y. Como ambos lados de esta igualdad son elementos de B, podemos aplicar g, y obtener

g(f (x)) = g(y)

(g f )(x) = g(y)

Como por hiptesis g f = idA , entonces concluimos que

g(y) = idA (x) = x

Contina...
Funciones
Funciones Semana04[8/17]
Ejemplo importante: Mtodo para clculo de inversas

Continuacin demostracin.
) 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 .

Funciones
Funciones Semana04[9/17]
Ejemplo importante: Mtodo para clculo de inversas

La siguiente propiedad, es tambin til y no es necesario saber de antemano si la funcin es biyectiva.

Propiedad
Sean f : A B y g : B A, funciones.

Si g f = idA y f g = idB , entonces g = f 1 .

Notar que implcitamente, la propiedad implica que f es biyectiva.

Demostracin.
Nos basta probar que f es biyectiva, ya que usando la propiedad anterior tendremos que g = f 1 .
Pero, gracias a la propiedad (4) respecto de inyectividad y sobreyectividad vista antes, como g f = idA es
inyectiva (ya que idA siempre lo es), luego f es inyectiva.
Adems, usando la propiedad (5), como f g = idB es sobreyectiva, luego f es sobreyaectiva.
As, f es biyectiva y se concluye el resultado.

Funciones
Funciones Semana04[10/17]
Composicin de funciones: Inversa de una composicin

Como consecuencia, podemos obtener la siguiente conclusin:

Inversa de una composicin

Si f : A B y g : B C son biyectivas, entonces

(g f )1 = f 1 g 1

Demostracin.
Denotemos F = g f y G = f 1 g 1 .
Tenemos que F : A C, y que G : C A. Adems, como g y f son biyectivas, entonces gracias a una
propiedad anterior sabemos que F tambin es biyectiva. As, la afirmacin 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

Funciones
Funciones Semana04[11/17]
Imagen y preimagen
Si f : A B es una funcin, y si y = f (x) decimos que y es imagen de x a travs de f , y que x es preimagen
de y a travs de f .
Como f es una funcin, tenemos que
(x A)(!y B) y = f (x)
lo que nos dice que cada x A posee una nica imagen y B. Sin embargo, los elementos y B pueden
tener varias preimgenes distintas, como veremos en el siguiente ejemplo.
Ejemplo
N N
Tomemos la funcin 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 tambin f (16) = 36, por lo que 16 tambin es
preimagen de 36. Es fcil observar que 36 no tiene ms preimgenes que estas dos, as que podemos decir
que
{4, 16} es el conjunto de preimgenes de 36
Del mismo modo, {5, 15} es el conjunto de preimgenes de 25, y {10} es el conjunto de preimgenes de 0.
Podemos reunir estos conjuntos de preimgenes:
{4, 5, 10, 15, 16} es el conjunto obtenido al reunir las preimgenes de {0, 25, 36}
Tambin est el caso del natural 2, el cual no tiene preimgenes 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 preimgenes de 2 es (el
conjunto vaco).
As como hemos obtenido el conjunto formado por todas las preimgenes de ciertos elementos, podemos
formar el conjunto de todas las imgenes de ciertos elementos. Como sabemos que 9,4,1,0,1 y 4 son
respectivamente las imgenes de 7,8,9,10,11 y 12, escribimos que
{0, 1, 4, 9} es el conjunto obtenido al reunir las imgenes de {7, 8, 9, 10, 11, 12} (observar que en el
primer conjunto hemos eliminado los elementos repetidos, como corresponde en los conjuntos)

Funciones
Funciones Semana04[12/17]
Imagen y preimagen: Conjunto imagen

En esta seccin definiremos precisamente los conceptos de conjunto imagen y conjunto preimagen para una
funcin f dada, y estudiaremos varias propiedades.

Conjunto imagen
Sea f : A B una funcin, y sea A A. Definimos 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

Notemos que f (A ) siempre es un subconjunto de B. Es el obtenido al reunir todas las imgenes de los
elementos de A .

Funciones
Funciones Semana04[13/17]
Imagen y preimagen: Conjunto imagen

Propiedades
Sea f : A B funcin. Sean A1 , A2 A.
1 f es sobreyectiva f (A) = B

2 A1 A2 f (A1 ) f (A2 )

3 f (A1 A2 ) f (A1 ) f (A2 )

4 f (A1 A2 ) = f (A1 ) f (A2 )

Demostracin.
Demostraremos (2).
Supongamos que A1 A2 , y sea y f (A1 ).
Por definicin de conjunto imagen, tenemos que x A1 tal que y = f (x). Como A1 est contenido en A2 ,
entonces x A2 .
As, existe un x A2 tal que y = f (x), con lo que obtenemos que y f (A2 ).

Funciones
Funciones Semana04[14/17]
Imagen y preimagen: Conjunto preimagen

Definimos ahora, el conjunto preimagen:

Conjunto preimagen
Dado B B, el conjunto preimagen de B por f como

f 1 (B ) = {a A : f (a) B }

o, en trminos lgicos
a f 1 (B ) f (a) B

f 1 (B ) es siempre un subconjunto de A. Es el obtenido al reunir todas las preimgenes de los

elementos de B .

Funciones
Funciones Semana04[15/17]
Imagen y preimagen: Conjunto preimagen

Propiedades
Sea f : A B funcin. Sean B1 , B2 B.
1 B1 B2 f (B1 ) f 1 (B2 )
1

2 f
1
(B1 B2 ) = f 1 (B1 ) f 1 (B2 )
3 f
1
(B1 B2 ) = f 1 (B1 ) f 1 (B2 )

Demostracin.
Demostraremos (2).
Consideremos un elemento x arbitrario. Se tiene que
x f 1 (B1 B2 ) f (x) B1 B2 (def. de conjunto preimagen)
f (x) B1 f (x) B2 (interseccin de conjuntos)
x f 1 (B1 ) x f 1 (B2 ) (def. de conjunto preimagen)
x f 1 (B1 ) f 1 (B2 ) (interseccin de conjuntos)

Funciones
Funciones Semana04[16/17]
Imagen y preimagen

Enumeramos ahora propiedades que surgen cuando reunimos los conceptos vistos en las secciones
anteriores.
Propiedades
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

Demostracin.
Demostraremos (3).
) Supongamos que f es inyectiva, y tomemos A A. Gracias a (1), sabemos que

A f 1 (f (A ))

y por lo tanto slo nos falta demostrar la otra inclusin.

Sea x f 1 (f (A )), queremos demostrar que x A .
Por definicin de conjunto preimagen, tenemos que f (x) f (A ). Llamando y = f (x), y por definicin 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 .

Contina...

Funciones
Funciones Semana04[17/17]
Imagen y preimagen

Continuacin demostracin.
) Supongamos, por contradiccin, que f no es inyectiva. Entonces existen elementos x1 , x2 A tales que
x1 6= x2 y f (x1 ) = f (x2 ). Llamemos y a este valor comn (es decir, y = f (x1 ) = f (x2 )). Definiendo A = {x1 } A,
tenemos que
f (A ) = f ({x1 }) = {f (x1 )} = {y }
por lo que
f 1 (f (A )) = f 1 ({y }) = {x A : f (x) {y }} = {x A : f (x) = y }

Como f (x2 ) = y , entonces

x2 f 1 (f (A ))

Utilizando la propiedad, tenemos que f 1 (f (A )) = A , con lo que x2 A , es decir x2 {x1 }, de donde

concluimos que x1 = x2 , lo que es una contradiccin.

Funciones