Autor Tema: Difeomorfismo dilatación

0 Usuarios y 1 Visitante están viendo este tema.

28 Noviembre, 2017, 04:43 pm
Leído 1491 veces

estebanesteban

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 8
  • Karma: +0/-0
  • Sexo: Masculino
Sea \( f:\mathbb{R}^n\to \mathbb{R}^n \) continuamente diferenciable tal que existe \( c>0 \) tal que

\( |f(x)-f(y)|>c|x-y| \)

para todo \( x,y\in \mathbb{R}^n \). Muestra que:

a) \( f  \)es inyectiva;
b) \( det(f'(x))\neq 0 \) para todo \( x\in \mathbb{R}^n \); y
c) \( f(\mathbb{R^n})=\mathbb{R^n} \). (Sugerencia: Como en la demostración del Teorema de la función inversa considera la función \( g(x)=|y-f(x)|^2 \).



¿Cómo podrías resolver la pregunta 9 aparatado b y c? Para la c como el determinante es diferente a cero, la matriz es invertible entonces puedo aplicar el teorema de la función inversa, pero no se me ocurre nada más.


28 Noviembre, 2017, 06:05 pm
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

 Bienvenido al foro.

 Recuerda leer y seguir  las reglas del mismo así como el tutorial del LaTeX para escribir las fórmulas matemáticas correctamente.

 En particular:

 - Debes de cuidar la ortografía.
 - No debes de poner el enunciado de un problema como una imagen adjunta. Por el contrario debes de teclearlo explícitamente en el mensaje.

 Por esta vez te lo hemos corregido desde la administración.

Sea \( f:\mathbb{R}^n\to \mathbb{R}^n \) continuamente diferenciable tal que existe \( c>0 \) tal que

\( |f(x)-f(y)|>c|x-y| \)

para todo \( x,y\in \mathbb{R}^n \). Muestra que:

a) \( f  \)es inyectiva;
b) \( det(f'(x))\neq 0 \) para todo \( x\in \mathbb{R}^n \); y
c) \( f(\mathbb{R^n})=\mathbb{R^n} \). (Sugerencia: Como en la demostración del Teorema de la función inversa considera la función \( g(x)=|y-f(x)|^2 \).



¿Cómo podrías resolver la pregunta 9 aparatado b y c? Para la c como el determinante es diferente a cero, la matriz es invertible entonces puedo aplicar el teorema de la función inversa, pero no se me ocurre nada más.

 Tengo algo de prisa. Un par de ideas:

 b) Si el determinante del Jacobiano fuese cero habría un vector que mutliplicado por él sería nulo; equivalentemente una dirección \( \vec u \), sobre la cual la derivada direccional sería nula. Es decr:

\( \displaystyle\lim_{h \to 0}{}\dfrac{|f(x+hu)-f(x)|}{|hu|}=0 \)

 Pero si aplicas que \( |f(x+hu)-f(x)|>c|x+hu-x \)| eso no es posible.

 c) La aplicación sugerida tiene un mínimo sobre el cuál debe de anularse la diferencial. Esta si no me equivoco es:

\( 2f'(x)\cdot (y-f(x))=0 \)

 dado que \( f'(x) \) es una matriz de determinante no nulo, eso implica que \( y-f(x)=0 \) y así \( f(x)=y \).

Saludos.

29 Noviembre, 2017, 03:38 pm
Respuesta #2

estebanesteban

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 8
  • Karma: +0/-0
  • Sexo: Masculino
Gracias por la respuesta , me quedo claro el apartado b , pero para el c , por qué usas el mínimo de la función g? , aun no entiendo eso.

29 Noviembre, 2017, 04:03 pm
Respuesta #3

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

Gracias por la respuesta , me quedo claro el apartado b , pero para el c , por qué usas el mínimo de la función g? , aun no entiendo eso.

Queremos probar que \( f  \)es sobreyectiva.

Dado \( y\in \mathbb{R}^n \) queremos probar que existe \( x \) tal que \( f(x)=y. \)

Equivalentemente queremos probar que fijado \( y \), el mínimo de la función \( g(x)=|y-f(x)|^2 \) es cero.

¿Ahora?.

Saludos.

30 Noviembre, 2017, 02:10 pm
Respuesta #4

estebanesteban

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 8
  • Karma: +0/-0
  • Sexo: Masculino
Vale amigo , ahora si me quedó claro , gracias.

06 Diciembre, 2017, 02:01 pm
Respuesta #5

estebanesteban

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 8
  • Karma: +0/-0
  • Sexo: Masculino
Amigo disculpa , hay algo que no me cuadra; en el apartado b) para la derivada direccional, usas el jacobiano multiplicado con el vector dirección, pero el jacobiano no necesariamente es cero , su determinante si.

06 Diciembre, 2017, 11:43 pm
Respuesta #6

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

Amigo disculpa , hay algo que no me cuadra; en el apartado b) para la derivada direccional, usas el jacobiano multiplicado con el vector dirección, pero el jacobiano no necesariamente es cero , su determinante si.

Revisa en detalle cuál fue mi sugerencia. Lo que uso es que si el determinante de una matriz es cero, hay un vector no nulo que multiplicado por esa matriz da cero.

Entonces en mi razonamiento trabajo con la derivada direccional precisamente en la dirección de ese vector no nulo, y por eso el producto con el jacobiano es nulo.

Saludos.