Saludos a toda la comunidad científica y académica de Steemit, en esta oportunidad se da continuidad a la temática de Funciones, esta vez abordando el tópico de la Función Inversa, un saber matemático de gran relevancia en la Matemática. Para ello debemos recordar algunos aspectos relacionados, en primer lugar, tiene que ver con la noción de inverso, en este caso hablando genéricamente nos referimos al elemento simétrico, concepto que acompaña muchas definiciones en el ámbito de la Matemática, presentado en su formalidad desde la perspectiva algebraica. Para el caso de las operaciones matemáticas adición y multiplicación este elemento se particulariza con nombres específicos, para la primera se denomina elemento opuesto y para la segunda elemento inverso, y los cuales al operar con su elemento espejo, por llamarlo de alguna forma nos resulta el elemento neutro.
En el caso de las funciones, ocurre un hecho similar de una manera que se detallará en la presente publicación, asimismo, se abordará con las formalidad del caso y fundamentalmente desde la visión algebraica su definición, propiedades, representación gráfica, al tiempo que se planteará un ejemplo que permita visualizar la aplicación del concepto de función inversa. Otro de los aspectos que recomiendo tener presentes para la comprensión del saber que se compartirá a continuación tiene que ver con las relaciones inversas - ver aquí - recordemos que toda función es una relación aunque no toda relación es una función, por lo cual se verifica la misma definición salvo que en el caso de las funciones como ya sabemos, deben cumplir con las condiciones de existencia de imagen y unicidad de imagen.
Se invita a los lectores al disfrute académico de las nociones que se compartirán a continuación. Comencemos.
La función inversa también se conoce como función recíproca o función invertible y como ya se ha indicado, genéricamente hablando como función simétrica, cuya definición formal, es
Sean la funciones f:A⟶B se define la función inversa de la siguiente manera
Gráficamente se representa como sigue
Recordando que la función identidad - ver aquí – se considera elemento neutro de las funciones, entonces tenemos que la función inversa verifica lo siguiente
Lo anterior se puede ampliar y comprender en las siguientes representaciones gráficas
Ahora bien, la función inversa de una función f cualquiera al graficarla conjuntamente con ésta, genera gráficos simétricos como puede observarse y ejemplificarse en los siguientes gráficos cartesianos
@reinaseq mediante el software Geogebra en Línea
@reinaseq mediante el software Geogebra en Línea Ejemplo
Dada la función f:R⟶R definida por f(x)=3x-2, se pide lo siguiente:
Solución
Antes de pasar al procedimiento matemático, debemos tener presente que toda función definida por la forma ax+b se conoce como función lineal o afín y la misma es biyectiva. Esta aclaratoria tendrá significado en el siguiente apartado.
Para obtener la función inversa solicitada debemos proceder de la siguiente manera:
Si y=f(x)⟹y=3x-2, por definición de la función f
⟹y=3x+(-2), por convenio de notación x-x=x+(-x), ∀x∈R
⟹y+2=3x+[(-2)+2], sumando 2 a derecha en ambos miembros de la igualdad y por propiedad asociativa de la adición en el conjunto de los números reales R
⟹y+2=3x+0, por definición de elemento opuesto en el conjunto de los números reales R
⟹y+2=3x, por definición de elemento neutro para la adición en el conjunto de los números reales R
⟹1/3.(y+2)=[(1/3).3]x, multiplicando 1/3 a izquierda en ambos miembros de la igualdad y por propiedad asociativa de la multiplicación en el conjunto de los números reales R
⟹1/3.(y+2)=1.x, por definición de elemento inverso en el conjunto de los números reales R
⟹1/3.(y+2)=x, por definición de elemento neutro para la multiplicación en el conjunto de los números reales R
⟹x=1/3.(y+2), por simetría de la igualdad
En este punto, la variable independiente y de la función inversa f-1 está expresada en función de su variable dependiente x, no obstante, por convención se acostumbra en general que las letras que identifican las variables de las funciones se denoten como sigue
Es por ello que en nuestro ejemplo, la expresión que define a f-1 se escribe como sigue
⟹y=1/3.(x+2)
Por lo tanto, f-1 es
f-1:R⟶R/f-1(x)= 1/3.(x+2)
Ahora procedemos con la segunda solicitud del problema, es decir; determinar f-1∘f y f∘f-1. Procedamos:
i (f-1∘f)(x)=f-1[f(x)], por definición de función compuesta
⟹f-1[f(x)]=f-1(3x-2), por definición de f
⟹f-1[f(x)]=1/3.[(3x-2)+2], por definición de f
⟹f-1[f(x)]=1/3.{[3x+(-2)]+2}, por convenio de notación x-x=x+(-x), ∀x∈R
⟹f-1[f(x)]=1/3.{3x+[(-2)+2]}, por propiedad asociativa de la adición en el conjunto de los números reales R
⟹f-1[f(x)]=1/3.[3x+0], por definición de elemento opuesto en el conjunto de los números reales R
⟹f-1[f(x)]=1/3.(3x), por definición de elemento neutro para la adición en el conjunto de los números reales R
⟹f-1[f(x)]=[(1/3).3].x, por propiedad asociativa de la multiplicación en el conjunto de los números reales R
⟹f-1[f(x)]=1.x, por definición de elemento inverso en el conjunto de los números reales R
⟹f-1[f(x)]=x, por definición de elemento neutro para la multiplicación en el conjunto de los números reales R
∴f-1[f(x)]=x
∴f-1∘f=iR
ii (f∘f-1)(x)=f[f-1(x)], por definición de función compuesta
⟹f[f-1(x)]=f[1/3.(x+2)], por definición de f-1
⟹f[f-1(x)]=3.[1/3.(x+2)]-2, por definición de f
⟹f[f-1(x)]=3.[1/3.(x+2)]+(-2), por convenio de notación x-x=x+(-x), ∀x∈R
⟹f[f-1(x)]=[(3.1/3).(x+2)]+(-2), por propiedad asociativa de la multiplicación en el conjunto de los números reales R
⟹f[f-1(x)]=[1.(x+2)]+(-2), por definición de elemento inverso en el conjunto de los números reales R
⟹f[f-1(x)]=(x+2)+(-2), por definición de elemento neutro para la multiplicación en el conjunto de los números reales R
⟹f[f-1(x)]=x+[2+(-2)], por propiedad asociativa de la adición en el conjunto de los números reales R
⟹f[f-1(x)]=x+0, por definición de elemento opuesto en el conjunto de los números reales R
⟹f[f-1(x)]=x, por definición de elemento neutro para la adición en el conjunto de los números reales R
∴f[f-1(x)]=x
∴f∘f-1=iR
A continuación se realiza la representación gráfica de f y f-1
@reinaseq mediante el software Geogebra en Línea En el ejemplo anterior tuvimos que indicar a priori que la función dada era biyectiva antes de proceder a determinar su función inversa, esto era necesario debido al siguiente teorema:
La función f:A⟶B admite función inversa f-1:B⟶A si y sólo si es biyectiva
Antes de realizar la demostración, conviene recordar que en publicación anterior – ver quí – se analizó la relación que existe entre unicidad de imagen e inyectividad y entre existencia de imagen y sobreyectividad debido a la perspectiva que presentan las mismas que conlleva a que en ocasiones existan confusiones entre unas y otras.
Ahora bien, supongamos que estamos en el escenario en el cual la función dada no es biyectiva y aun así procedemos a determinar su función inversa, entonces como podríamos asegurar que ésta es función, al no ser f inyectiva tenemos que f-1 no cumpliría con la condición de unicidad de imagen y al no ser f sobreyectiva la función inversa no cumpliría con la condición de existencia de imagen, de allí la importancia del teorema planteado, el cual se procederá a demostrar a continuación:
Por tratarse de una proposición bicondicional, tenemos que demostrar dos teoremas implícitos:
i Teorema Directo: Si la función f:A⟶B admite función inversa f-1:B⟶A entonces es biyectiva
ii Teorema Recíproco: Si la función f:A⟶B es biyectiva entonces admite función inversa f-1:B⟶A
Recordemos que en una proposición condicional se cuenta con una hipótesis que apoya el proceso demostrativo y la tesis que representa lo que se va a comprobar.
Demostrando
i Teorema Directo: Si la función f:A⟶B admite función inversa f-1:B⟶A entonces es biyectiva
Para esta demostración se considera lo siguiente:
Hipótesis: La función f:A⟶B admite función inversa f-1:B⟶A, de tal manera que sabemos que se cumple que f-1∘f=iA y f∘f-1=iB
Tesis: La función f:A⟶B es biyectiva
La demostración solicitada pasa por verificar que f:A⟶B es inyectiva, sobreyectiva y biyectiva.
a. Inyectividad
∀a,b∈A;f(a)=f(b)⟹f-1[f(a)]=f-1[f(b)], por hipótesis la función f:A⟶B admite función inversa f-1
⟹(f-1∘f)(a)=(f-1∘f)(b), por definición de función compuesta
⟹iA(a)=iA(b), por hipótesis que f-1∘f=iA
⟹a=b, por definición de función identidad
∴ La función f:A⟶B es inyectiva, por definición de inyectividad
b. Sobreyectividad
∀y∈B⟹y=iB(y), por definición de función identidad
⟹y=f∘f-1(y), por hipótesis f∘f-1=iB
⟹y=f[f-1(y)], por definición de función compuesta
∴ La función f:A⟶B es inyectiva, por definición de sobreyectividad
∴ Si la función f:A⟶B admite función inversa entonces es biyectiva, por comprobaciones a y b y definición de biyectividad
ii Teorema Recíproco: Si la función f:A⟶B es biyectiva entonces admite función inversa f-1:B⟶A
Tesis: La función f:A⟶B es biyectiva (inyectiva y sobreyectiva)
Hipótesis: La función f:A⟶B admite función inversa f-1:B⟶A, de tal manera que f-1∘f=iA y f∘f-1=iB
a. En primer lugar se debe definir una función que pueda verificar las demás proposiciones planteadas en la tesis, esto es
∃f-1:B⟶A definida por x=f-1(y) si y sólo si y=f(x) (I)
Ahora se debe comprobar que efectivamente f-1 cumple con las condiciones de existencia de imagen y unicidad de imagen. Procedamos:
Existencia de Imagen
Como por hipótesis tenemos que f:A⟶B es biyectiva, esto indica que la misma es sobreyectiva, esto indica que todo elemento del conjunto B tiene su preimagen en el conjunto A, de tal manera que al tener un escenario en el cual se define f-1:B⟶A mediante x=f-1(y) donde y=f(x), es claro que se cumple que
∀y∈B,∃x∈A/x=f-1(y)
∴ f-1 cumple con la condición de existencia de imagen
Unicidad de Imagen
Como en el razonamiento anterior, tenemos por hipótesis que f:A⟶B es biyectiva, por lo cual es inyectiva, esto nos indica que en f-1:B⟶A definida como está garantizado que para elementos iguales en el conjunto de partida B sus imágenes son iguales en el conjunto de llegada A, en símbolos
∀a,b∈B/a =b⟹f(a)=f(b)
∴f-1 cumple con la condición de unicidad de imagen
∴f-1 es función
A continuación procedemos a demostrar las dos proposiciones restantes de la tesis.
b. Comprobemos que f-1∘f=iA
∀x∈A,(f-1∘f)(x)=f-1[f(x)], por definición de función compuesta
=f-1(y), por definición I
=x, por definición I
=iA(x), por definición de función identidad
∴f-1∘f=iA
c. Comprobemos que f∘f-1=iB
∀y∈B,(f∘f-1)(y)=f[f-1(y)], por definición de función compuesta
=f(x), por definición I
=y, por definición I
=iB(x), por definición de función identidad
∴f∘f-1=iB
∴ Si la función f:A⟶B es biyectiva entonces admite función inversa, por comprobaciones a, b y c.
∴ La función f:A⟶B admite función inversa si y sólo si es biyectiva∎
La aplicabilidad de la función inversa en general se encuentra estrechamente vinculada con el ámbito de aplicación de las funciones en general, en tanto que la misma deriva de una función f:A⟶B cualquiera. En este sentido mencionamos a continuación algunas posibilidades:
Las mencionadas son apenas algunas oportunidades de aplicación de las funciones inversas, en general ya se había indicado en publicaciones anteriores que las funciones por su naturaleza son consideradas un concepto medular en el ámbito de la Matemática por la diversidad de aplicaciones que la misma tiene. Para ejemplificar de forma concreta la aplicación de la función inversa se plantea la resolución del siguiente problema:
Dada la función f:R⟶R definida por f(°C)=9/5°C+32 que permite transformar grados Celsius a grados Fahrenheit se pide determinar su función inversa f-1 que permitirá transformar grados Fahrenheit a grados Celsius y graficar ambas.
Solución
Para determinar f-1 procedemos como sigue
Si °F=9/5°C+32⟹°F+(-32)=9/5°C+[32+(-32)], sumando (-32) en ambos miembros de la igualdad y por propiedad asociativa de la adición en el conjunto de los números reales R
⟹°F+(-32)=9/5°C+0, por definición de elemento opuesto en el conjunto de los números reales R
⟹°F+(-32)=9/5°C, por definición de elemento neutro para la adición en el conjunto de los números reales R
⟹5/9.[°F+(-32)]=(5/9.9/5)°C, multiplicando 5/9 en ambos miembros de la igualdad y por propiedad asociativa de la multiplicación en el conjunto de los números reales R
⟹5/9.[°F+(-32)]=1.°C, por definición de elemento inverso en el conjunto de los números reales R
⟹5/9.[°F+(-32)]=°C, por definición de elemento neutro para la multiplicación en el conjunto de los números reales R
⟹°C=5/9.[°F+(-32)], por simetría de la igualdad
⟹°C=5/9.(°F-32), por convenio de notación x-x=x+(-x), ∀x∈R
∴ La función inversa f-1(°F)=5/9.(°F-32)
Graficando f y f-1 tenemos
@reinaseq mediante el software Geogebra en Línea En esta oportunidad hemos dado realizado un estudio detallado y exhaustivo sobre la función inversa, desde las perspectivas algebraica, gráfica y práctica, presentando un breve arqueo de sus ámbitos de aplicación y desarrollando ejercicios que permiten comprender de forma concreta esta importante noción, es importante destacar la demostración del teorema relativo a la posibilidad de que una función cualquiera pueda admitir su respectiva función inversa y es que si la misma no cumple con la biyectividad no se puede garantizar que la inversa sea función, en tanto que podría no verificar algunas o ambas condiciones para que así sea, a saber, existencia de imagen y unicidad de imagen, todo dependiendo de los motivos por los cuales la función no sea biyectiva.
En Matemática, las definiciones, propiedades y teoremas que la sustentan y la hacen crecer, no están dados por capricho, cada una tiene su sustentabilidad teórica que las respalda, de allí que la misma siga impulsando avances para el progreso y evolución de la humanidad, de allí la preocupación por presentar en cada entrega las diferentes concepciones matemáticas con el detalle y especificidad que amerita para así entender cada una de las piezas que conforman esta importante ciencia. Si queremos que la juventud se incline hacia el estudio científico es vital que tengan acceso a materiales de estudio que les brinden claridad.
En las próximas publicaciones, seguiremos avanzando en el estudio de las funciones abordando un nuevo tópico, nos leemos en el siguiente post, saludos y éxitos para todos los lectores y académicos de esta comunidad.
La Matemática debe ser presentada con el mayor detalle y especificidad en sus procesos para facilitar la comprensión de las nuevas generaciones de científicos – Reina Sequera
Armando, R. (2001). Algebra I. Edición XX. Editorial El Ateneo.
Becerril, R. y Reyes, J. (2012). Precálculo. México: Trillas.
Lipschutz, S. (1970). Teoría de Conjuntos y Temas Afines. Teoría y 530 problemas resueltos. Serie de compendios SCHAUM. Mc Graw-Hill.
Todas las imágenes, separadores y banners de este artículo son de autoría propia diseñadas en el editor de presentaciones Microsoft Powerpoint 2013, ajustadas y recortadas en Paint.
Los gráficos cartesianos fueron diseñados por
Si estás interesado en contenidos sobre Ciencia, Tecnología, Ingeniería y Matemática, consulta las etiquetas #STEM-Espanol y #SteemSTEM, las cuales puedes utilizar para realizar tus publicaciones en esas áreas. Puedes unirte al servidor de Discord de STEM-Espanol para participar en nuestra comunidad y consultar los reportes semanales publicados por @STEM-Espanol. Te esperamos!!
@stem-espanol