En la entrada anterior empezamos a hablar del teorema de la función inversa. Dimos su enunciado y probamos varias herramientas que nos ayudarán ahora con su demostración.
Recordemos que lo que queremos demostrar es lo siguiente.
Teorema (de la función inversa). Sea de clase en el abierto . Si es invertible, entonces, existe tal que:
y es inyectiva en .
es continua en .
es un conjunto abierto.
es de clase en y además, si , entonces, .
La herramienta más importante que probamos en la entrada anterior nos dice que si una función es de clase , y es invertible, entonces existe una tal que y es invertible para todo . Veremos cómo esta herramienta y otras que desarrollaremos en el transcurso de esta entrada nos permiten demostrar el teorema.
La función es inyectiva en una vecindad de
Vamos a enfocarnos en el punto del teorema. Veremos que existe la que hace que la función restringida a la bola de radio centrada en es inyectiva. En esta parte de la prueba es conveniente que recuerdes que la norma infinito de un vector es á
Además, cumple para todo que
Veamos que bajo las hipótesis del problema se puede acotar en términos de dentro de cierta bola.
Proposición. Sea de clase en el conjunto abierto , y . Si es invertible, entonces existe y tal que y para cualesquiera .
Demostración. Por la diferenciabilidad de en , tenemos
para cada y cada .
Como es invertible, por los resultados de la entrada anterior existe un tal que
para todo .
También por resultados de la entrada anterior, para existe tal que si entonces
para todo .
Usaremos en un momento estas desigualdades, pero por ahora fijemos nuestra atención en lo siguiente. Dados , tomemos el tal que
Para dicho , tenemos
¿Cómo podemos seguir con nuestras desigualdades? Necesitamos usar el teorema del valor medio. Bastará el que demostramos para campos escalares. Aplicándolo a en los puntos cuyo segmento se queda en la bola convexa , podemos concluir que existe un vector en el segmento que cumple
Sabemos que para cualquier vector el valor absoluto de cualquiera de sus coordenadas es en valor menor o igual que la norma del vector. Además, demostramos inicialmente unas desigualdades anteriores. Juntando esto, obtenemos la siguiente cadena de desigualdades:
La gran conclusión de esta cadena de desigualdades es que que es lo que buscábamos.
¡Esto es justo lo que nos pide el primer punto! Hemos encontrado una bola alrededor de dentro de la cual si , entonces , de modo que . ¡La función restringida en esta bola es invertible! En términos geométricos el último teorema nos dice lo siguiente: Si es diferenciable en un abierto , y es invertible, entonces hay una vecindad alrededor de en donde «no se pega», es decir es inyectiva.
Figura 1: Si la función no es inyectiva, lo que tenemos es que proyecta el rectángulo en una superficie que pega los puntos y . Arriba una función inyectiva y abajo una que no lo es.
Ya vimos cómo encontrar una bola dentro de la cual es inyectiva. Si pensamos que el contradominio es exactamente , entonces la función también es suprayectiva. Esto hace que sea biyectiva y por tanto que tenga inversa .
La función inversa es continua
Veamos ahora que la función inversa es continua. De hecho, mostraremos algo un poco más fuerte.
Teorema. Sea de clase en el abierto , y . Si es invertible, entonces existe tal que , es inyectiva en y además es uniformemente continua en su dominio.
Demostración. La primera parte y la existencia de se debe a la discusión de la sección anterior. De hecho, lo que mostramos es que existe y tal que para todo .
Supongamos que nos dan un . Tomemos . Tomemos en tales que . Como y están en dicha bola, podemos escribirlos como , con . Notemos entonces que
Tenemos entonces que es uniformemente continua en .
Esto demuestra el punto de nuestro teorema. La prueba de que el conjunto es abierto no es para nada sencilla como parecería ser. Una demostración muy instructiva, al nivel de este curso, se puede encontrar en el libro Cálculo diferencial de varias variables del Dr. Javier Páez Cárdenas editado por la Facultad de Ciencias de la Universidad Nacional Autónoma de México (UNAM) en las páginas 474-476.
La función inversa es diferenciable
Resta hacer la demostración de . En esta sección veremos que la inversa es derivable y que la derivada es precisamente lo que propone el teorema. En la siguiente sección veremos que la inversa es .
Tomemos un punto . Mostraremos que, en efecto, es la derivada de en , lo cual haremos por definición verificando que
Para ello, introducimos la siguiente función auxiliar dada por:
Esta función está bien definida, pues es inyectiva en la bola . La composición también está bien definida en el abierto y
para todo . Esto nos permite poner el límite buscado como el límite de una composición de la siguiente forma:
Como es continua en , basta demostrar que es continua en . Esto equivale a probar que
Hay que demostrar este último límite. Reescribimos la expresión
como
y luego multiplicamos y dividimos por y reorganizamos para obtener
Como es continua (por ser lineal) y es diferenciable en , se tiene que
El factor que nos falta entender es . Pero por la primera proposición de esta entrada, sabemos que existe una que acota este factor superiormente por . De esta manera,
Esto nos dice entonces que es continua en y por lo tanto:
Por lo tanto es diferenciable en mediante la derivada que propusimos, es decir,
para todo .
La función inversa es de clase
Resta verificar que es de clase en . Lo haremos con la caracterización de la entrada anterior. Tomemos una . Nos gustaría ver que si y están suficientemente cerca, entonces
para toda .
Recordemos que por la entrada anterior hay una tal que para todo en se cumple
También notemos que, si son matrices invertibles en , tenemos:
Tomando y , aplicando la igualdad anterior en un punto en , sacando normas y usando la desigualdad , obtenemos:
Como es de clase , por la entrada anterior podemos construir una tal que y para la cual si está en , entonces:
Para todo .
Finalmente, como es continua en , si y están suficientemente cerca, digamos , entonces
Usamos todo lo anterior para establecer la siguiente cadena de desigualdades cuando :
Esto implica que es de clase . Como tarea moral, revisa los detalles y di explícitamente qué resultado de la entrada anterior estamos usando.
Ejemplo del teorema de la función inversa
Ejemplo. Consideremos dada por . Se tiene que es diferenciable en todo su dominio pues cada una de sus derivadas parciales es continua. Esta es la función de cambio de coordenadas de esféricas a rectangulares o cartesianas. La matriz jacobiana está dada como sigue.
Luego entonces es invertible cuando y , . Su inversa es:
El teorema de la función inversa nos garantiza la existencia local de una función . En este caso, sería la función de cambio de coordenadas rectangulares a esféricas. Si es una función dada en coordenadas esféricas; podemos asumir que es la misma función pero en términos de coordenadas rectangulares.
Más adelante…
¡Lo logramos! Hemos demostrado el teorema de la función inversa, uno de los resultados cruciales de nuestro curso. El siguiente tema es el teorema de la función implícita, que será otro de nuestros resultados principales. Uno podría pensar que nuevamente tendremos que hacer una demostración larga y detallada. Pero afortunadamente la demostración del teorema de la función implícita se apoya fuertemente en el teorema de la función inversa que ya demostramos. En la siguiente entrada enunciaremos y demostraremos nuestro nuevo resultado y una entrada más adelante veremos varios ejemplos para profundizar en su entendimiento.
Tarea moral
En el ejemplo que dimos, verifica que el determinante en efecto es . Verifica también que la inversa es la matriz dada.
Repasa cada una de las demostraciones de esta entrada y asegúrate de entender por qué se siguen cada una de las desigualdades. Explica en qué momentos estamos usando resultados de la entrada anterior.
Da la función inversa de la transformación de cambio de coordenadas polares a rectangulares .
Esta entrada es parte de una serie de notas introductorias sobre técnicas de demostración. En esta entrada se habla sobre demostraciones directas e indirectas. Cada entrada está ligeramente relacionada con las otras. Para entenderlas bien, usamos el siguiente diagrama que recopila cómo se comporta un mundo fantástico llamado Axios, en donde habitan creaturas llamadas Blorgs. Para leer más sobre ello, haz click aquí.
Hasta ahora hemos introducido algunos conceptos introductorios de lo que es una demostración matemática, pero apenas estamos por iniciar este recorrido hacia lo que son estas. Ahora, empezaremos por ver dos formas de pensar al demostrar que son las demostraciones directas e indirectas.
Demostraciones directas
Ahora vamos a explorar un poco más esto de las demostraciones, qué son y cómo nos ayudan. ¿Recuerdas nuestro ejemplo de que todos los Blorgs verdes comían peces? Este es un ejemplo de lo que llamamos demostraciones directas. Este nombre viene del hecho de que partimos de una lista de proposiciones válidas y vamos obteniendo más proposiciones válidas a través de reglas de inferencia básicas hasta que tenemos la conclusión deseada. En general este tipo de demostraciones van a ser cadenas de implicaciones. Por ejemplo partiendo de
concluiremos que . Esto en términos sencillos quiere decir: las demostraciones directas van a ser aquellas que podemos dar «el paso claro». Retomando nuestra analogía con las piezas Leog, si sabemos que con madera podemos construir las patas y el asiento, y con patas y el asiento podemos construir una silla, entonces ya sabríamos que con madera podemos construir una silla, pues decimos: «Primero con la madera construimos las patas y el asiento, y después con las patas y el asiento construimos la silla». Cuando veamos otros tipos de demostraciones, verás más fácilmente porqué tienen este nombre. Mientras tanto veamos otro ejemplo.
Proposición. Si un Blorg vive en las montañas, entonces come los lunes.
Demostración. Recordemos cómo empezamos la demostración de la entrada pasada, empezamos con un Blorg que vive en las montañas y veremos poco a poco que come los lunes. Para empezar, nota que con las siguientes proposiciones:
ñ
tenemos como axioma (y por lo tanto como cierto) que
Además, sabemos que todos los Blergs comen los lunes, es decir, suponiendo que entonces es cierto que
Y la siguiente regla de inferencia es válida:
Entonces podemos aplicar esta regla de inferencia a nuestro problema, dando como resultado que
Ahora recuerda que en las demostraciones nuestro objetivo va a ser «generalizar». No basta con que un Blorg en las montañas coma los lunes, si no quisieramos que siempre que veamos a un Blorg en las montañas, sepamos que come los lunes.
Para esto, empezaremos con un Blorg a quien le llamaremos y lo único que sabemos de este Blorg es que vive en las montañas, es decir . Ahora, aplicando las reglas de inferencia, sabemos que si entonces también . Esto quiere decir que sabiendo que un Blorg vive en las montañas, ya sabemos que también come los lunes. Recuerda que para hacer este paso aplicamos las reglas de inferencia. De esta manera, come los lunes.
Por lo tanto, los Blorgs que viven en las montañas comen los lunes.
Demostraciones indirectas
Otra estrategia para demostrar cosas va a ser mediante lo que se conoce como demostraciones indirectas. Esta forma de demostrar proposiciones va a usar la siguiente regla de inferencia:
¿Recuerdas que la premisa es equivalente a la conclusión? Pues el que sea equivalente es suficiente para que sea una regla de inferencia válida. Puedes verificarlo haciendo la tabla de verdad.
¿Por qué usaremos esta regla de inferencia? Porque a veces queremos mostrar , pero es mucho más «tangible» mostrar la contrapositiva pues a veces nos da más sustancia matemática con la cual trabajar. Por ejemplo, quizás tiene un cuantificador universal, y al negarlo se convierte en un cuantificador existencial, que nos permite tomar a un objeto matemático que no tenga cierta propiedad y de ahí mostrar .
Veamos un ejemplo en donde puede aplicarse una demostración indirecta.
Proposición. Si un Blorg come peces, entonces tiene dos tipos de amigos.
Demostración. Aquí podríamos intentar proceder directamente. Tomar un Blorg que coma peces. Pero esto nos lleva a un pequeño problema: al hacer esto la demostración se divide en dos casos: que el Blorg sea Blarg, o que sea Blurg. Podríamos hacer cada caso, y platicaremos de eso más adelante. Pero pensemos en por qué una demostración indirecta nos ayudaría a argumentar más fácilmente. Tomemos las siguientes proposiciones:
Queremos mostrar que . Pero lo que nos dice la regla de inferencia de arriba es que esto es lo mismo que demostrar que . Ahora notemos que
Podemos argumentar entonces como sigue. Tomemos un Blorg que tiene un tipo de amigos. Por ello, es un Blerg. Además sabemos que «si es Blerg, entonces come frutos rojos». Por lo tanto, come frutos rojos.
Hemos mostrado entonces la contrapositiva «Si tiene un tipo de amigos, entonces come frutos rojos». Por la equivalencia entre una implicación y su contrapositiva, hemos demostrado que «Si come peces, entonces tiene dos tipos de amigos.»
Algunas notas sobre las demostraciones anteriores
Vamos a hacer algunas observaciones sobre la forma en que demostramos nuestras proposiciones.
En la primera demostración usamos nuevamente una cadena de implicaciones, como en la entrada anterior. Observa que aunque estamos demostrando cosas distintas, en el fondo estamos usando exactamente el mismo tipo de inferencias matemáticas.
En la segunda demostración podíamos, alternativamente, intentar proceder directamente. Si un Blorg come peces, entonces puede ser Blarg o Blurg. Pero este «o» nos lleva a dos posibilidades. Tenemos que cubrir ambas posibilidades mediante una demostración por casos, de la cual hablaremos más adelante. La manera indirecta de proceder nos permitió evitar los casos.
Más adelante…
Hasta ahora tenemos dos formas de demostrar: demostraciones directas e indirectas. En pocas palabras las directas usan sucesiones de proposiciones que ya sabemos para llegar a una conclusión, mientras que las indirectas no empiezan por lo que quiere demostrar, sino que muestran que si la conclusión no es cierta, entonces la premisa no lo es.
Continuando con nuestras estrategias, la siguiente consistirá en hacer demostraciones por contradicción. En pocas palabras para demostrar que una proposición es verdadera, supondremos que no lo es. Y en una serie de pasos lógicos, veremos que habrá proposiciones que son falsas y verdaderas a la vez (esto no puede pasar), llamándose esto una contradicción.
Tarea moral
A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.
Demuestra directamente que los blorgs rojos comen frutas.
Demuestra directamente que los blorgs rojos comen frutas los lunes.
Demuestra indirectamente que si un blorg no come peces, entonces es un blerg.
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»
En esta entrada resolveremos problemas de temas vistos en entradas anteriores. Haremos algunos ejemplos relacionados con los conectores condicionales que vimos en una entrada anterior: la implicación y la doble implicación. También veremos algunos de cuantificadores lógicos.
Problemas resueltos
Problema. Si y son verdaderas y es falsa, di si la siguiente proposición es verdadera o falsa:
Solución. Haremos una tabla de verdad pero únicamente con los valores que nos dan, es decir, no vamos a hacer la tabla para todos los casos, sino únicamente los que nos interesan en este momento:
Por lo tanto la proposición es verdadera para los valores de verdad dados.
Problema. Di si las siguientes proposiciones sobre los números enteros son verdaderas o no:
Solución.
Vamos a hacer algunas verificaciones sobre cada una de las proposiciones para encontrar su valor de verdad:
Como es verdadera y es verdadera también, entonces la proposición es verdadera.
Recordemos que la doble condicional es verdadera si ambas proposiciones tienen el mismo valor de verdad. Por un lado no es cierto que mientras que sí es verdad que . Por lo tanto la proposición es falsa.
Vamos a ver la proposición por partes. Primero veamos que es una disyunción verdadera pues una de las proposiciones que la componen, , lo es. Como es verdad, entonces la implicación tiene antecedente y subsecuente verdaderos y por lo tanto es verdadera.
De nuevo vamos a dividir la proposición en sus partes, y . Primero notemos que es falsa, pues no es cierto que .
Ahora, veamos cómo es . Nota que y , entonces . Entonces esta primera parte es verdad, mientras que pero no es cierto que . Así que es falso que . Entonces es falso.
Como , son ambas falsas, entonces es verdadero.
Nota: En este tipo de ejercicios, ¿viste cómo se dieron las argumentaciones de las proposiciones en cada caso? El secreto aquí fue «desarmar» las proposiciones en partes más pequeñas. Esto lo hacemos pues recuerda que los conectores son binarios, esto significa que su valor de verdad depende del valor de verdad de las dos proposiciones que conectan.
Así, para ver cuál es el valor de verdad de , lo que hicimos fue deshacerlo en sus partes. Una parte fue y la otra parte fue . Entonces bastaba con verificar cuáles eran los valores de verdad de y . Para ello, volvimos a «desarmar» a en sus partes «atómicas». Es decir, desarmamos en y y estudiamos el valor de verdad de cada uno de ellos. Usualmente este tipo de pensamiento de «desarmar un problema en sus partes» te ayudará a verificar o demostrar cosas más adelante.
Problema. Sean , y los siguientes predicados:
es par.
Si nuestro universo de discurso son los números enteros, ¿cuáles son los valores de verdad de las siguientes proposiciones?
Solución.
1.
Es verdadera, pues .
2.
Como es verdadera y además es par, entonces la proposición es verdadera.
3.
Vamos a dividir la proposición en partes. Primero notemos que es verdad. Mientras que es falsa, ya que es cierto que pero es falso que sea par. Entonces la proposición es falsa.
4.
Como es falsa pero es verdad, entonces la proposición es verdadera.
5.
Como es falsa, entonces es verdad. Además, es verdad. De esta manera la proposición es verdadera.
Problema. Considera los siguientes predicados:
Determina la verdad o falsedad de las siguientes proposiciones, considerando que nuestro universo de discurso son los números enteros. Si la proposición no es verdadera, da un contraejemplo o explicación de ello.
Solución.
Nota que siempre que se cumple entonces (más adelante demostrarás esto con toda formalidad, pero de momento lo daremos por cierto). Por lo tanto la proposición es verdadera.
Para que esto sucediera, necesitaríamos la existencia de al menos un elemento que cumpla y , es decir necesitaríamos un elemento que sea positivo y negativo a la vez, pero esto no es posible. Por lo tanto la proposición es falsa.
Lo que nos dice esta proposición es «Para todo número entero que cumpla entonces » o dicho de otra manera: «Si un número entero es igual a 20, entonces será positivo.» Lo cuál es correcto, pues si el número es distinto a 20, la implicación será correcta (recuerda la tabla de verdad de la implicación), mientras que el único caso en donde la hipótesis se cumple es cuando y claramente es un número que cumple . Entonces la proposición es verdadera.
Esto nos quiere decir que existe un único número entero que sea igual a 20, e inmediatamente podemos saber que es verdadera, pero ¿A qué nos referiremos que un número sea igual a 20? Primero tendríamos que ponernos de acuerdo de qué significa la igualdad. Aunque ahora no lo haremos, piensa el cómo nos aseguraríamos de que es el único número entero que cumple esa propiedad. ¿Qué pasaría si no fuera cierto?
Lo que dice la proposición es que ningún número va a cumplir a la vez y , pero esto no es cierto, pues pensemos en . Cumple ya que y cumple porque . Entonces podemos decir que es falso pues dimos un contraejemplo que contradijo la proposición.
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»