La relacin inversa Cada madre debe estar asociada a un nico beb no es funcin.
Figura 1b.
Este ejemplo muestra que al intentar invertir la relacin entre las variables involucradas se obtiene una nueva relacin que se denomina relacin inversa de la funcin original.
Nivel: Cuarto medio Unidad: Funcin potencia, exponencial y logaritmo Contenido: Funcin inversa, funcin compuesta y funcin montona
Tcnicas para determinar si una funcin tiene o no inversa A continuacin presentaremos tcnicas para descubrir si es posible determinar la relacin inversa de una funcin. Adems nos interesa saber si esta relacin inversa es tambin una funcin. Si la relacin inversa es funcin recibe el nombre funcin inversa. Recordemos que una funcin f : X Y es un tipo de relacin entre los elementos de los conjuntos X e Y , que relaciona cada uno de los los elementos de conjunto X con un nico elemento del conjunto Y . La forma en que se haga la correspondencia entre los elementos de los dos conjuntos, X e Y , puede ser de distinto tipo. Clasificacin de las funciones La clasificacin que presentamos a continuacin nos permitir determinar si la relacin inversa de una funcin tambin es una funcin. 1. Funcin inyectiva Definicin. Sea f : X Y una funcin, diremos que f es una funcin uno a uno, tambin llamada inyectiva, si y solamente si se tiene que: si f ( x ) = f ( y ) entonces x = y , donde x, y X . En otras palabras, una funcin se dice inyectiva si esta NO asigna a dos valores distintos una misma imagen. Ejemplo. Consideramos dos tipos de funciones ya estudiadas en los cursos previos.
2 a. Funcin cuadrtica. Sea f : IR IR , definida por f ( x ) = x + 1 . Observe que f no es
f ( 2 ) = ( 2 ) + 1 = f ( 2 ) = ( 2 ) + 1 = 5 ,
2 2
b. Funcin afnLineal. Sea f : IR IR , f ( x ) = mx + n , donde m 0 . Observe que f es una funcin inyectiva, en efecto si suponemos que f ( x ) = f ( y ) , entonces tenemos que:
mx + n = my + n mx = my
Por lo tanto como m 0 tenemos que x = y . As de lo anterior podemos deducir que la funcin afnlineal dada es inyectiva.
Nivel: Cuarto medio Unidad: Funcin potencia, exponencial y logaritmo Contenido: Funcin inversa, funcin compuesta y funcin montona
Test de la recta horizontal Supongamos que se conoce la grfica de la funcin f entonces, la funcin f ser inyectiva si y solamente si cada recta horizontal que se dibuje sobre el grfico de f lo intercepta en a lo ms un punto. Veamos un par de ejemplos donde se analiza la inyectividad utilizando la prueba de la recta horizontal. Ejemplo 1: Funcin cuadrtica. Sea f : IR IR , definida por f ( x ) = x 2 +1 . La figura 2 muestra la grfica de f . Al trazar la recta horizontal L : y = 5 sobre el grfico de f , observamos que se produce una interseccin con la grfica de la funcin en los puntos ( 2,5 ) y ( 2,5 ) , como se muestra en la figura 3. Por lo tanto, la funcin f ( x ) = x 2 +1 no es inyectiva, o sea, no tiene funcin inversa en el dominio que se le defini. Ejemplo 2: Funcin afn. Sea f : IR IR , definida por f ( x ) = 2 x + 3 . La figura 4 muestra la grfica de f . Observa que si trazamos una recta horizontal L sobre el grfico de f , L intercepta al grfico de f en a lo ms un punto, como muestra en la figura 5. Por lo tanto, la funcin f ( x ) = 2 x + 3 es inyectiva.
Figura 3 . Figura 2.
Figura 4.
Figura 5.
Del ejemplo anterior podemos observar que no basta con que una funcin f : X Y sea inyectiva para que su relacin inversa sea tambin una funcin. De hecho, adems de inyectiva, se debe cumplir que todo elemento y Y est asociado con su correspondiente x X . Las funciones que satisfacen lo anterior se denominan funciones epiyectivas o sobreyectivas. A continuacin damos su definicin.
Aprender matemtica creando soluciones. Material del estudiante Centro Comenius USACH 3
Nivel: Cuarto medio Unidad: Funcin potencia, exponencial y logaritmo Contenido: Funcin inversa, funcin compuesta y funcin montona
2. Funcin Epiyectivainyectiva Definicin. Sea f : X Y una funcin, diremos que f es una funcin epiyectiva, tambin llamada sobreyectiva, si y solamente si se tiene que: y Y | x X : f ( x ) = y . En otras palabras podemos decir que una funcin f es epiyectiva si y solamente si Im ( f ) = Y . Lo anterior establece que si una funcin es epiyectiva entonces todo elemento del conjunto Y est relacionado con algn elemento del conjunto X a travs de f . 3. Funcin Biyectiva Definicin. Sea f : X Y funcin, diremos que f es una funcin biyectiva si y solamente si f es una funcin inyectiva y sobreyectiva. Adems la relacin inversa asociada a f se denomina funcin inversa, denotamos por f 1 : Y X . Adems se tienen que: f ( x ) = y f 1 ( y ) = x . Ejemplo. Consideramos la funcin lineal f : IR IR definida por f ( x ) = 2 x podemos
observar que f ( x ) es biyectiva. Adems se tiene que la relacin inversa esta dada por y f 1 ( y ) = . 2 Observaciones. Sea f : X Y una funcin biyectiva, entonces: El domino de f 1 es la imagen de f . La imagen de f 1 es el dominio de f .
Actividades
Centro Comenius USACH 4
Nivel: Cuarto medio Unidad: Funcin potencia, exponencial y logaritmo Contenido: Funcin inversa, funcin compuesta y funcin montona
Utiliza el software Graphmatica para construir la grfica de las funciones presentadas a continuacin y completa la tabla con los datos requeridos. Un primer acercamiento a Graphmatica En caso de que no hayas trabajado con anterioridad con este software, pon atencin a las siguientes instrucciones. Una vez activado el software, para ingresar una funcin, por ejemplo la funcin y = x 3 debes digitar y=x^3, como se muestra en la figura adjunta. A continuacin, presiona una vez la tecla ENTER o el botn (dibujar grfico) en la barra de herramientas y obtendrs el grfico de la funcin ingresada. Las races son potencias de exponente fraccionario. Fracciones u otras expresiones ms complejas utilizan parntesis para su escritura en el software. Los ejercicios cuyo enunciado est sombreado representan una dificultad mayor. Funcin 1.
f : IR IR f ( x) = x
Inyectividad Sobreyectividad Biyectividad Inversa
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
[ ]
Es Biyectiva
[ ] [ ]
2.
f : IR IR f ( x ) = 3x + 2
f : IR + IR + f ( x) = x 2
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
Es Biyectiva
[ ]
3.
Este
ejmplo muestra lo importante que es definir a priori los conjuntos de partida y de llegada. 4.
f : IR IR f ( x ) = x 2 +1
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
[ ]
Es Biyectiva
[ ]
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
[ ]
Es Biyectiva
[ ] [ ]
5.
f : IR + IR + f ( x) = x
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
Es Biyectiva
[ ]
6.
f : IR IR f ( x) = x
3
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
[ ] Tiene inversa
Es Biyectiva
[ ]
No tiene inversa
Nivel: Cuarto medio Unidad: Funcin potencia, exponencial y logaritmo Contenido: Funcin inversa, funcin compuesta y funcin montona
7.
f : IR IR f ( x ) = x 3 + 3x 2 x 3
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
[ ]
Es Biyectiva
[ ]
8.
f : IR IR f ( x) = 3 x
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
[ ]
Es Biyectiva
[ ] [ ]
9.
f : IR IR + f ( x) = x
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
Es Biyectiva
[ ]
10. 11.
f : IR + IR + f ( x) = [ x ]
(Parte entera)
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
[ ] Tiene inversa
Es Biyectiva
[ ] [ ]
No tiene inversa
f : IR { 0} IR { 0} f ( x) = 1 x
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
Es Biyectiva
[ ]
12.
f : IR { 1} IR {1} x 1 f ( x) = x +1
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
[ ] Tiene inversa
Es Biyectiva
[ ] [ ]
No tiene inversa
13.
f : IR { 2} IR { 0} 1 f ( x) = x 2
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
Es Biyectiva
[ ] [ ]
14.
f : IR + ] 1, e [ f ( x ) = (1 + 1 x)
x
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
Es Biyectiva
[ ]
15.
f : IR [ 1, 1 ] f ( x ) = sen ( x ) f : IR [ 1 ,1 ] f ( x ) = cos ( x )
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
[ ]
Es Biyectiva
[ ] [ ]
16.
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
Es Biyectiva
[ ] [ ]
17. f : IR { ( 2k 1) ] Es inyectiva 2 } IR , k [ Z
f ( x ) = tan ( x )
[ ]
Es sobreyectiva
[ ]
Es Biyectiva
[ ]
Nivel: Cuarto medio Unidad: Funcin potencia, exponencial y logaritmo Contenido: Funcin inversa, funcin compuesta y funcin montona
18.
f : IR + IR
f ( x ) = log ( x )
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
[ ]
Es Biyectiva
[ ] [ ]
19. 20.
f : IR + IR f ( x ) = ln ( x )
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
Es Biyectiva
[ ] [ ]
f : IR { 1,1 } IR 1 f ( x) = 2 x 1
f : IR ] 3 , 3 [ IR f ( x) = x 2 9
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
Es Biyectiva
[ ]
21.
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
[ ]
Es Biyectiva
[ ]
22.
f : IR ] 1,1 [ IR 1 f ( x) = x 2 1
[ ]
Es inyectiva
[ ]
Es sobreyectiva
[ ]
[ ]
Es Biyectiva
[ ]
El despeje algebraico Cuando existe la representacin algebraica de una funcin, esta tcnica consiste en intentar despejar la variable independiente en dicha representacin. Si esto es posible y adems la relacin inversa hallada es funcin entonces la relacin inversa encontrada es la funcin inversa. Veamos algunos ejemplos. Ejemplo 1: Funcin afn. Sea f : IR IR una funcin definida por f ( x ) = 1 2 x + 1 . La figura 6 muestra la grfica de y = 1 2 x + 1 . Podemos observar que f ( x ) es biyectiva. Despejemos la variable independiente x para obtener la relacin inversa:
y= 1 2 x+1 2( y 1) = x Por lo tanto f ( y ) = 2 ( y 1) . Utilizando ahora el test de la recta vertical, no es difcil determinar que cada la recta L interceptar a y = 2 ( x 1) en a lo ms un punto, por lo tanto 1 1 f es funcin, como muestra la figura 7. Entonces, f es
1
y 1= 1 2x
Figura 6.
Nivel: Cuarto medio Unidad: Funcin potencia, exponencial y logaritmo Contenido: Funcin inversa, funcin compuesta y funcin montona
la funcin inversa de f . Ejemplo 2: Funcin conversin de temperaturas Para medir la temperatura se tienen (al menos) dos escalas distintas, la que mide temperatura en grados Fahrenheit ( F ) C ). Es conocida la y la que la mide en grados Celsius ( funcin F ( C ) = C + 32 que permite obtener la temperatura
C . Si definimos la en F a partir de la temperatura en ] 459.4 ,18032 [ entonces, funcin F : ] 273 ,10000 [ C a F con la funcin F hacemos para convertir 20
F ( 20 ) =
Figura 7.
9 5
9 20 + 32 = 68 , es decir, 20 C equivalen a 68 F . 5
Ver figura 8. Como la funcin F es biyectiva, si deseamos convertir 68 F a grados Celsius usando una expresin algebraica como la anterior, necesitamos la relacin inversa de F = C + 32 , que en este caso es simple de obtener, despejando C en la relacin anterior se obtiene C =
5 ( F 32 ) . Luego al reemplazar 68 9 5 ( 68 32 ) = 20 obtenindose F en C queda: C ( 68) = 9 C = 20 . Es decir, 68 F equivalen a 20 C , como muestra
9 5
la figura 9.
Figura 8.
Utilizando el test de la recta vertical, no es difcil determinar que la recta L interceptar siempre a C =
5 ( F 32) en a lo 9
ms un punto, por lo tanto C es funcin, como muestra la figura 9. Entonces, C es la funcin inversa de F .
Figura 9.
Nivel: Cuarto medio Unidad: Funcin potencia, exponencial y logaritmo Contenido: Funcin inversa, funcin compuesta y funcin montona
Actividades Utiliza el software Graphmatica para construir la grfica de las funciones presentadas a continuacin y determina si son o no biyectivas. Adems, encuentra la funcin inversa para las funciones que sean biyectivas. Los ejercicios cuyo enunciado est sombreado, representan una dificultad mayor. 1.
f : IR IR f ( x) = 5 x 2
2.
f : IR IR + f ( x) = x 2
3.
f : [ 1, 4 ] [ 1 4 ,2 ] f ( x) = x 2 5x + 6
4.
f : [ 0 ,1 ] [ 0 ,1 ] f ( x) =x3
5.
f : IR IR 1 f ( x) = x
f : [ 1, + ] [ 1, + ]
6.
f ( x) =
x +1 x 1
7.
f : IR IR + f ( x) = x
8.
f : IR Z f ( x ) =[ x ]
Nivel: Cuarto medio Unidad: Funcin potencia, exponencial y logaritmo Contenido: Funcin inversa, funcin compuesta y funcin montona
Revisa con tu profesor(a) tus resultados. 3. Funciones montonas Segn el diccionario de la Real Academia de la Lengua Espaola, montono es algo que no tiene cambios. Las funciones montonas cumplen con esta definicin. Son funciones tales que si aumentan los valores del dominio, stas siempre crecen o siempre decrecen. A continuacin, definiremos los conceptos de funcin creciente y funcin decreciente. Definicin. Consideremos un intervalo I en IR ( I IR ) y una funcin f : I IR . Diremos que f es una funcin: En el testo de referencia, toman I cualquier subconjunto de R, a mi me da lo mismo cualquiera, pero es bueno que se pongan de acuerdo. a. Creciente en I , si y solamente si se tiene que para todo a, b I tales que si a < b se tiene que f ( a ) < f ( b ) . b. Decreciente en I , si y solamente si se tiene que para todo a, b I tales que si a < b se tiene que f ( a ) > f ( b ) . Ejemplo. Si consideremos la funcin lineal f : IR IR definida por f ( x ) = mx + n ( m 0 ) tenemos que: a. Si m > 0 , entonces la funcin lineal dada es creciente en IR . En efecto, supongamos que a, b IR son tales que a < b . Entonces se tiene que:
a < b ma < mb a < b ma + n < mb + n a < b f ( a) < f (b)
f ( a) f ( b)
Nivel: Cuarto medio Unidad: Funcin potencia, exponencial y logaritmo Contenido: Funcin inversa, funcin compuesta y funcin montona
As de lo anterior se tiene que la funcin lineal f ( x ) = mx + n es creciente si m >0. Una forma grfica para detectar si una funcin es creciente consiste en que, si nos desplazamos por el eje de las X de izquierda a derecha vemos que la grfica de la funcin sube.
Figura 10.
En la figura 13 se observa que a < b y que f ( a ) < f ( b ) . Esto ocurre porque la funcin es creciente. b. Si m < 0 , entonces la funcin lineal dada es decreciente en IR . En efecto, supongamos que a, b IR son tales que a < b . Entonces se tiene que:
a < b ma > mb a < b ma + n > mb + n a < b f ( a) > f (b)
f ( a) f ( b)
Entonces, si m > 0 y a < b , podemos deducir que f ( a ) > f ( b ) . As de lo anterior se tiene que la funcin lineal f ( x ) = mx + n es creciente si m >0. Una forma grfica para detectar si una funcin es creciente consiste en que, si nos desplazamos por el eje de las X de izquierda a derecha vemos que la grfica de la funcin baja. En la figura 14 se observa que a < b y que f ( a ) > f ( b ) . Esto ocurre porque la funcin es decreciente.
Figura 11.
4. A modo de cierre Si se tiene una funcin f : X Y , entonces su relacin inversa es funcin si:
Nivel: Cuarto medio Unidad: Funcin potencia, exponencial y logaritmo Contenido: Funcin inversa, funcin compuesta y funcin montona