Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Funciones y relaciones
Leccion 4. Composicion de funciones
Sean f : A B y g : C D tales que f (A) C. Es posible en este caso,
a partir de las dos funciones anteriores, construir una tercera h : A D en la
forma siguiente:
Notese que en este caso no existe tg g ya que por ejemplo tg(g( /2)) no
esta denido por no pertenecer g( /2) = /2 al dominio de tg.
Algo semejante sucede con la compuesta de las dos funciones dadas por sus
diagramas sagitales en la gura que sigue adelante: gf existe pero no es posible
formar f g ya que ning
un elemento de g(B) pertenece a A = D(f )
A
un en casos como f : R R y g : R R dadas por f (x) = x2 y
g(x) = x + 1, en los cuales esta denida tanto g f como f g, generalmente
g f = f g; as para estas u
ltimas funciones,
(g f )(x) = g(f (x)) = g(x2 ) = x2 + 1 y
1
a) La funci
on compuesta de dos inyecciones es una inyecci
on.
Casi tenemos contestada la pregunta que nos hicimos; nos resta un detalle:
on pero D(f 1 ) = R(f ) as que el
si f : A B es inyectiva, f 1 es una funci
1
sera B si y solo si f es sobreyectiva. Observamos ademas que
dominio de f
R(f 1 ) = D(f ) = A, as que f 1 tambien resulta ser sobreyectiva. Resumiendo:
2.30 Teorema Si f : A B es una biyecci
on, entonces existe otra biyecci
on
as g = f 1 .
g : B A tal que g f = IA y f g = IB ; adem
Se dice en este caso que g es la funci
on inversa de f y que f es la funcion
inversa de g (ya que f = (f 1 )1 = g 1 ) o que f y g son inversas.
El teorema anterior puede reformularse en esta terminologa: Si f es una
biyeccion de A en B, entonces f tiene una funci
on inversa. Su recproco tambien
es cierto:
2.31 Teorema
biyecci
on.
Si f : A B tiene funci
on inversa, entonces f es una
Demostraci
on
Sea f : A B y sea g : B A su inversa. Si f (x1 ) = f (x2 ), entonces
g(f (x1 )) = g(f (x2 )) o sea (g f )(x1 ) = (g f )(x2 ), es decir, IA (x1 ) = IA (x2 )
o lo que es lo mismo x1 = x2 , siendo f inyectiva. Sea y cualquier elemento de
B. y = IB (y) = (f g)(y) = f (g(y)), as que y es la imagen por f de x = g(y),
siendo f sobreyectiva.
Juntando los dos u
ltimos teoremas se obtiene:
2.32 Corolario
es una biyecci
on.
Una funci
on f : A B posee funci
on inversa si y s
olo si
As la funci
on f : R [2, +) es sobreyectiva. Restricciones biyectivas
se pueden tener de muchas maneras, pero si se quiere seguir conservando la
continuidad y la derivabilidad de la funci
on en todos sus puntos, solo tenemos
dos posibilidades:
f1 : (, 1] [2, +)
f2 : [1, ) [2, )
x x2 2x 1
x x 2x + 1
An
alogamente f21 (x) = 1 + 2 + x, observandose que x debera ser mayor o
igual que 2, precisamente el dominio precalculado.
Consideremos un u
ltimo ejemplo; dada la sobreyeccion del diagrama, hallar
una restriccion biyectiva g : C B
Intuitivamente lo u
nico que se debe hacer es eliminar, junto con sus elementos
de partida, algunas echas que est
an de mas.
Por ejemplo, al elemento x llegan echas de 3 y 7, es decir {(3, x), (7, x)} es
el conjunto de las parejas de f que poseen x como segunda componente; de dicho
conjunto debemos escoger una de las dos parejas ordenadas, digamos (3, x).
An
alogamente {(1, y), (2, y), (5, y), (8, y)} es el subconjunto de f
constituido por las parejas con y como segunda componente y de el debemos
elegir una u
nica pareja; sea esta (5, y).
Finalmente de {(4, z), (6, z)} elegimos (6, z); obtenemos as la funci
on g =
{(3, x), (5, y), (6, z)} que es la restriccion biyectiva buscada, con dominio C =
{3, 5, 6}.
Que sucede si el conjunto B posee innitos elementos? Nunca terminaramos de elegir de cada uno de los conjuntos {(x, y) f | y = u} una
u
nica pareja ordenada para formar la restricci
on biyectiva deseada.
Se pone de presente que la construcci
on de la restriccion biyectiva anterior,
en el caso general, es imposible de lograr en este momento; se hace necesaria
una nueva y poderosa herramienta que nos permita, dada cualquier colecci
on
de conjuntos no vacos, elegir simult
aneamente un elemento de cada conjunto;
es el axioma llamado de eleccion.
Curso de Topolologa General.
http://www.virtual.unal.edu.co
10