Foros de matemática
23/08/2017, 07:09:06 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Duda en Métricas; (1)  (Leído 473 veces)
0 Usuarios y 1 Visitante están viendo este tema.
latex
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 194


Ver Perfil
« : 18/03/2017, 08:41:57 pm »

Buenas, me ha surgido otra duda, respecto a otro enunciado;
Sea [texx](X,d)[/texx] un esp. métrico y un punto [texx]a[/texx] [texx]\in[/texx] [texx]X[/texx] [texx]\forall{p}[/texx] [texx]\in[/texx] [texx]X[/texx], se define la función [texx]f_p:X\rightarrow{R}[/texx] por [texx]f_p(x)=d(x,p)-d(x,a)[/texx].
Probar que [texx]f[/texx] es acotada y que [texx]d_\infty(f_p,f_q) = d(p,q)[/texx]

(Cualquier error o falta de precisión hacedmelo notar)
Para ver que esta acotada hemos de comprobar que se verifica dicha condición, es decir,

[texx]f[/texx] está acotada [texx]\Leftrightarrow{}[/texx] [texx]\exists{M}[/texx] [texx]\in[/texx] [texx]\mathbb{R}[/texx] tq [texx]M[/texx] [texx]\geq{|f_p|}[/texx] [texx]\forall{p} \in \mathbb{X}[/texx], según entiendo fijado dicho punto [texx]a[/texx] [texx]\in[/texx] [texx]\mathbb{X}[/texx] y [texx]\forall{p}[/texx] [texx]\in[/texx] [texx]\mathbb{X}[/texx]

  [texx]|f_p(x)| = |d(x,p)-d(x,a)| \leq{} d(a,p)[/texx] , Cómo por hipótesis [texx](X,d)[/texx] es esp. métrico cumple M3) D.triangular, es decir

    [texx]d(x,p) \leq{} d(x,a) + d(a,p)[/texx] [texx]\forall{x,p,a}[/texx] [texx]\in[/texx] [texx]\mathbb{X}[/texx] y resolviendo dichas desigualdades, se concluye que si definimos [texx]h_p(x):=d(a,p)[/texx] la aplicación constante, observamos que [texx]|f_p| \leq{} h_p[/texx] en todo su dominio.

Y ahora he de ver que [texx]d_\infty(f_p,f_q) = d(p,q)[/texx], siendo [texx]d_\infty=máx\{|x_i - y_i |\}^n_i=1[/texx] pero en esta última parte no consigo ver la idea del todo, ¿alguien puede orientarme en esta parte?

Saludos :sonrisa:
En línea
EnRlquE
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Brazil Brazil

Mensajes: 5.878



Ver Perfil
« Respuesta #1 : 18/03/2017, 09:25:05 pm »

Hola latex.

Probar que [texx]f[/texx] es acotada y que [texx]d_\infty(f_p,f_q) = d(p,q)[/texx]

 Aquí me queda la duda de qué es [texx]d_{\infty}.[/texx] No entiendo la definición que [texx]d_{\infty}[/texx] que escribes más abajo, hace parecer que corresponde a algún espacio euclidiano donde [texx]x_{i}, Y_{i}[/texx] son las coordenadas  . Además en la pregunta se pide acotar [texx]f,[/texx] pero nosotros solo tenemos una familia de funciones [texx]f_{p}[/texx] con [texx]p\in X,[/texx] no se si te ha faltado definir alguna cosa.

Cita
[texx]f[/texx] está acotada [texx]\Leftrightarrow{}[/texx] [texx]\exists{M}[/texx] [texx]\in[/texx] [texx]\mathbb{R}[/texx] tq [texx]M[/texx] [texx]\geq{|f_p|}[/texx] [texx]\forall{p} \in \mathbb{X}[/texx], según entiendo fijado dicho punto [texx]a[/texx] [texx]\in[/texx] [texx]\mathbb{X}[/texx] y [texx]\forall{p}[/texx] [texx]\in[/texx] [texx]\mathbb{X}[/texx]

 Aquí nuevamente, no se quién es [texx]f,[/texx] empiezo a sospechar que debería ser más o menos así: [texx]f:X\to C_{b}(X)[/texx] donde [texx]C_{b}(X)[/texx] es el espacio de funciones continuas acotadas de valores reales con dominio en [texx]X,[/texx] y que [texx]f(p)=f_{p};[/texx] pero no estoy seguro. Lo que anotas como equivalencia de que [texx]f[/texx] sea acotada es decir que la familia de funciones [texx]f_{p}[/texx] con [texx]p\in X[/texx] es uniformemente cotada.

 Como mencionas en tu mensaje, de la desigualdad triangular puede deducirse que [texx]|f_{p}(x)|\leq d(a,p),[/texx] esto prueba que cada una de las funciones [texx]f_{p}[/texx] es acaotada, pero no muestra la acotación uniforme que anotaste antes. De hecho, si [texx]X[/texx] no es acotado, la familia de funciones [texx]f_{p},\,p\in X[/texx] no es uniformemente acotada, pues [texx]f_{p}(a)=d(a,p)[/texx] podría ser arbitrariamente grande.

 En resumen, si tratas de aclararnos un poco mejor quién es [texx]f[/texx] y cómo se define [texx]d_{\infty}[/texx] creo que podríamos ayudarte mejor.

Saludos,

Enrique.
En línea
latex
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 194


Ver Perfil
« Respuesta #2 : 19/03/2017, 07:42:46 am »

¡Hola Enrique!, el enunciado lo puse tal y cual esta, el problema no ofrece más recursos que esos. Para acotar [texx]f[/texx], supongo que se refiere a que para cada punto de el conjunto [texx]X[/texx], la función [texx]f_p[/texx] está acotada.

En cuanto [texx]d_\infty(f_p,f_q) = d(p,q)[/texx] (1), sabemos que [texx]d_\infty[/texx] es la distancia del ajedrez, o chebyshev

(https://es.wikipedia.org/wiki/Distancia_de_Chebyshov)

Pero no logro, determinar dicha distancia tal que se cumpla la igualdad (1).

Saludos.
En línea
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 39.384


Ver Perfil
« Respuesta #3 : 19/03/2017, 08:18:21 am »

Hola

¡Hola Enrique!, el enunciado lo puse tal y cual esta, el problema no ofrece más recursos que esos. Para acotar [texx]f[/texx], supongo que se refiere a que para cada punto de el conjunto [texx]X[/texx], la función [texx]f_p[/texx] está acotada.

Pues como dice Enrique, falta concretar significado y notación. Quizás en el contexto de tu asignatura te hayan definido los puntos que son  oscuros.

Cita
En cuanto [texx]d_\infty(f_p,f_q) = d(p,q)[/texx] (1), sabemos que [texx]d_\infty[/texx] es la distancia del ajedrez, o chebyshev

Pero en tu caso [texx]f_p[/texx] son funciones. No tiene sentido hablar de sus componentes [texx]p_i[/texx] como hace en el enlace. Podría referirse a la distancia del supremo, es decir:

[texx]d_\infty(f,g)=sup_{x\in X}|f(x)-g(x)|[/texx]

En ese caso:

[texx]|f_p(x)-f_q(x)|=|d(x,p)-d(x,q)|\leq d(p,q)[/texx]

Saludos.
En línea
latex
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 194


Ver Perfil
« Respuesta #4 : 19/03/2017, 09:33:42 am »

Vale, ya entiendo;

Entonces siguiendo tu desarrollo fijado [texx]a \in X[/texx], y dados [texx]p[/texx],[texx]q[/texx] definimos [texx]f_p(x),f_q(x)[/texx] de forma que

[texx]d_\infty(f_p,f_p)[/texx] [texx]=[/texx] [texx]máx\{ f_p(x)-f_q(x) \}_{\forall{x}\in X}[/texx] [texx]=[/texx] [texx]máx {(d(x,p)-d(x,a))-(d(x,q)-d(x,a))}_{\forall{x}\in X}[/texx]

[texx]= máx{|d(x,p)-d(x,q)|}_{\forall{x}\in X}[/texx](1) y este máximo se da cuando [texx]x=p[/texx], o [texx]x=q[/texx], luego (1) [texx]= d(p,q)[/texx] ¿no?

Saludos.
En línea
EnRlquE
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Brazil Brazil

Mensajes: 5.878



Ver Perfil
« Respuesta #5 : 19/03/2017, 07:43:02 pm »

Hola latex.

 Creo que antes de seguir conjeturando sobre cómo debería ser el ejercicio, sería mejor tratar de averiguar cuál es el significado de la notación que ahí se usa. Por ejemplo, sigo sin saber bien la definición de la función [texx]f,[/texx] imagino que tiene que ver con las funciones [texx]f_{p}[/texx] pero no estoy muy seguro. Tampoco me queda claro cómo es que se define la distancia [texx]d_{\infty}[/texx] en el contexto de tu ejercicio.

 Tal vez este ejercicio forma parte de una serie de ejercicios donde las cosas se definen en ejercicio previos, o tal vez la notación te la han explicado en clase  . Como te dije antes, si conseguimos entender completamente el enunciado del ejercicio, podremos ayudarte mejor.

Saludos,

Enrique.
En línea
latex
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 194


Ver Perfil
« Respuesta #6 : 20/03/2017, 01:24:37 pm »

Hola Enrique, básicamente (lo que yo entiendo) se definida [texx]f[/texx] como [texx]f_p:X\rightarrow{R}[/texx] por [texx]f_p(x)=d(x,p)-d(x,a)[/texx], es decir para todo punto [texx]p[/texx] [texx]\in[/texx] [texx]X[/texx], se define [texx]f_p[/texx] de esa forma, y probando entonces que [texx]f_p[/texx] es acotada para un punto [texx]p[/texx] arbitrario, digamos que se prueba que [texx]f[/texx]  es acotada. Y luego [texx]d_\infty[/texx] es la distancia del ajedrez, supongo que en este caso como dijo el_manco se refiere a la  máxima diferencia que toman [texx]f_p[/texx],[texx]f_q[/texx] , para [texx]p[/texx],[texx]q[/texx] arbitrarios, y para todo [texx]x \in X[/texx]. Luego supongo que con un razonamiento parecido al que puse que concluye que es igual a [texx]d(p,q)[/texx].

Saludos :sonrisa:

Pd: El enunciado está tal cual de una hoja de ejercicios sin relación alguna con los demás. Cabe la posibilidad que este mal redactado, pero básicamente creo que la idea sería esa.
En línea
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 39.384


Ver Perfil
« Respuesta #7 : 20/03/2017, 03:10:24 pm »

Hola

Hola Enrique, básicamente (lo que yo entiendo) se definida [texx]f[/texx] como [texx]f_p:X\rightarrow{R}[/texx] por [texx]f_p(x)=d(x,p)-d(x,a)[/texx], es decir para todo punto [texx]p[/texx] [texx]\in[/texx] [texx]X[/texx], se define [texx]f_p[/texx] de esa forma, y probando entonces que [texx]f_p[/texx] es acotada para un punto [texx]p[/texx] arbitrario, digamos que se prueba que [texx]f[/texx]  es acotada. Y luego [texx]d_\infty[/texx] es la distancia del ajedrez, supongo que en este caso como dijo el_manco se refiere a la  máxima diferencia que toman [texx]f_p[/texx],[texx]f_q[/texx] , para [texx]p[/texx],[texx]q[/texx] arbitrarios, y para todo [texx]x \in X[/texx]. Luego supongo que con un razonamiento parecido al que puse que concluye que es igual a [texx]d(p,q)[/texx].

Pero exactamente, ¿[texx]f[/texx] es una función definida desde qué espacio métrico?.

Cita
Pd: El enunciado está tal cual de una hoja de ejercicios sin relación alguna con los demás. Cabe la posibilidad que este mal redactado, pero básicamente creo que la idea sería esa.

No es buena idea obsesionarse por reinterpretar un mal enunciado para darle sentido. ¿Por qué no le preguntas al profesor?.

Saludos.
En línea
latex
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 194


Ver Perfil
« Respuesta #8 : 20/03/2017, 04:04:08 pm »

Hola el_manco, esta duda me surgió el sábado mientras pensaba dicho ejercicio, y la verdad no me percate en tantos matices (pensando en que mi resolución podría ser válida y la redacción del ejercicio era correcta.) por eso nunca se me ocurrió preguntarle al profesor dichos detalles.

Respondiendo a tu otra pregunta sé que se define [texx]f_p[/texx], fijado un punto [texx]p\in X[/texx], ahora quién es [texx]f[/texx], no esta aclarado. Sin embargo lo interpreto como que para todo punto [texx]p[/texx], [texx]f_p[/texx]  es acotada. Luego en de forma general [texx]f[/texx] es acotada.

Saludos.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!