27/05/2018, 10:31:11 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

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: Función con un conjunto denso de discontinuidades  (Leído 368 veces)
0 Usuarios y 1 Visitante están viendo este tema.
llanten
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 261


Ver Perfil
« : 25/04/2018, 10:23:55 am »

Hola a todos, quisiera me colaboren con ideas para realizar el siguiente ejercicio. Gracias.

Dada la función [texx]f\left( x \right) =\begin{cases} x-n,\quad donde\quad n\quad es\quad el\quad entero\quad mas\quad cercano\quad a\quad x \\ 0,\quad x=\pm \frac { 1 }{ 2 } ,\pm \frac { 3 }{ 2 } \pm ,\dots  \end{cases}[/texx], con [texx]{ f }_{ n }\left( x \right) =f\left( nx \right) [/texx] y [texx]g\left( x \right) =\sum _{ n=1 }^{ \infty  }{ \frac { { f }_{ n }\left( x \right)  }{ { n }^{ 2 } }  } [/texx]. Demostrar:

a) La función [texx]g(x)[/texx] es discontinua en los puntos de la forma [texx]x=\frac { p }{ 2q } ,\quad p\quad impar,\quad \left( p,q \right) =1
[/texx].

b) El conjunto de discontinuidades es denso en [texx]\left( -1,1 \right) [/texx].
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 41.801


Ver Perfil
« Respuesta #1 : 25/04/2018, 11:43:19 am »

Hola

Hola a todos, quisiera me colaboren con ideas para realizar el siguiente ejercicio. Gracias.

Dada la función [texx]f\left( x \right) =\begin{cases} x-n,\quad donde\quad n\quad es\quad el\quad entero\quad mas\quad cercano\quad a\quad x \\ 0,\quad x=\pm \frac { 1 }{ 2 } ,\pm \frac { 3 }{ 2 } \pm ,\dots  \end{cases}[/texx], con [texx]{ f }_{ n }\left( x \right) =f\left( nx \right) [/texx] y [texx]g\left( x \right) =\sum _{ n=1 }^{ \infty  }{ \frac { { f }_{ n }\left( x \right)  }{ { n }^{ 2 } }  } [/texx]. Demostrar:

a) Las discontinuidades son de la forma [texx]x=\frac { p }{ 2q } ,\quad p\quad impar,\quad \left( p,q \right) =1
[/texx].

¿Las discontinuidades de qué función?.

Cita
b) El conjunto de discontinuidades es denso en [texx]\left( -1,1 \right) [/texx].

El conjunto de puntos indicado en (a) es fácil ver que es denso en [texx]\mathbb{R}[/texx] (y por tanto en cualquier abierto).

Para cualquier abierto [texx](a,b)[/texx] por la densidad de los racionales existen fracciones irreducibles [texx]n/m[/texx] y [texx]n'/m'[/texx] tales que:

[texx]a<\dfrac{n}{m}<\dfrac{n'}{m'}<b[/texx]

si [texx]m[/texx] o [texx]m'[/texx] son pares ya lo tienes; en otro caso:

[texx]a<\dfrac{n}{m}=\dfrac{nm'}{mm'}<\dfrac{n'm}{mm'}<b[/texx]

y por tanto [texx]2nm'<2nm'+1<2n'm[/texx] y [texx]\dfrac{2nm'+1}{2mm'}\in (a,b)[/texx].

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

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 261


Ver Perfil
« Respuesta #2 : 25/04/2018, 11:56:33 am »

Gracias amigo Luis Fuentes.  En a) se pide demostrar que las discontinuidades para la función [texx]g(x)[/texx] son de la forma [texx]x=\frac { p }{ 2q },\quad p \quad impar, \quad \left( p,q \right) =1.[/texx]
En línea
martiniano
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 107


Ver Perfil
« Respuesta #3 : 30/04/2018, 05:15:40 am »

Hola, buenos días.
Para contestar al apartado a) yo empezaría con algo así:

[texx]\left |{\displaystyle\frac{f_n(x)}{n^2}}\right |<\displaystyle\frac{1}{n^2}[/texx]

Entonces, como [texx]\displaystyle\sum_{n=1}^\infty\displaystyle\frac{1}{n^2}[/texx] es convergente, por el criterio de Weierstrass, g(x) es uniformemente convergente. Gracias a eso podemos decir que:

[texx] \displaystyle\lim_{x \to{x_0}}{g(x)}=\sum_{n=1}^\infty \displaystyle\frac{\displaystyle\lim_{x \to{x_0}}{f_n(x)}}{n^2}[/texx]

Entonces, si [texx]x_0\neq{\displaystyle\frac{p}{2q}}[/texx] , como todas las [texx]f_n[/texx] serán continuas en [texx]x_0[/texx] también lo será [texx]g[/texx].

Y si [texx]x_0=\displaystyle\frac{p}{2q}[/texx]. Entonces [texx]\forall{k}[/texx] impar:
[texx]f_{kq}(x_0)=0[/texx]

Si [texx] n\neq{kq}[/texx]:
[texx]    \displaystyle\lim_{x \to{x_0^+}}{f_n(x)}=f_n(x_0)[/texx]

Y también:
[texx]    \displaystyle\lim_{x \to{x_0^+}}{f_{kq}(x)}=-1/2[/texx]

Entonces, para todos los [texx]k[/texx] impares:
[texx] \displaystyle\lim_{x \to{x_0^+}}{g(x)}=\sum_{n\neq{kq}}\displaystyle\frac{f_n(x_0)}{n^2}+ \sum_{n=kq} \displaystyle\frac{-1/2}{n^2}\neq{\sum_{n\neq{kq}}\displaystyle\frac{f_n(x_0)}{n^2}}=\sum_{n=1}^\infty \displaystyle\frac{f_n(x_0)}{n^2}=g(x_0)[/texx]

Y, por tanto, [texx]g(x)[/texx] es discontinua en [texx]x_0=\displaystyle\frac{p}{2q}[/texx].

Se podría haber razonado de forma similar con los límites por la izquierda.

Espero que sirva de algo. Saludos.

En línea
llanten
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 261


Ver Perfil
« Respuesta #4 : 11/05/2018, 07:03:04 pm »

Ok, gracias amigo martiniano. Había utilizado lo de la serie la cual es una serie [texx]p>1[/texx] y por tanto convergente, pero tenía dudas en lo del limite por la derecha y por izquierda. 
En línea
llanten
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 261


Ver Perfil
« Respuesta #5 : 11/05/2018, 07:15:40 pm »

No me es claro porque el limite por la derecha es [texx]-1/2 [/texx]. Puedes por favor explicarme un poco más. Gracias.
En línea
martiniano
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 107


Ver Perfil
« Respuesta #6 : 12/05/2018, 04:29:12 am »

Muy buenas.
Ok, gracias amigo martiniano. Había utilizado lo de la serie la cual es una serie [texx]p>1[/texx] y por tanto convergente, pero tenía dudas en lo del limite por la derecha y por izquierda. 
Para poder aplicar lo de los límites es importante ver que la serie es, no sólo convergente, sino uniformemente convergente. Si una serie de funciones no es uniformemente convergente, aunque fuese convergente, no sería lícito decir que el límite de la serie es la suma de los límites de sus sumandos.

No me es claro porque el limite por la derecha es [texx]-1/2 [/texx]. Puedes por favor explicarme un poco más. Gracias.
Observa que [texx]f(x)[/texx] es una función periódica de periodo 1 de la que se puede decir:
[texx]f(x)=\begin{cases} x & \text{si}& x\in{\left(-\displaystyle\frac{1}{2},\displaystyle\frac{1}{2} \right) }\\0 & \text{si}& x=\displaystyle\frac{1}{2}\end{cases}[/texx]

Entonces, substituyendo [texx]k=2k'+1[/texx] y [texx]p=2p'+1[/texx]:
[texx] \displaystyle\lim_{x \to\left( \displaystyle\frac{p}{2q} \right)^+ }{f_{kq}(x)}=\displaystyle\lim_{x \to\left( \displaystyle\frac{p}{2q} \right)^+ }{f(kqx)} = \displaystyle\lim_{x \to p^+ }{f(k\displaystyle\frac{x}{2})}= \displaystyle\lim_{x \to  (2p'+1)^+ }{f((2k'+1)\displaystyle\frac{x}{2})}=\displaystyle\lim_{x \to 1^+ }{f(\displaystyle\frac{x}{2})}=-\displaystyle\frac{1}{2}[/texx]

Saludos.


En línea
llanten
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 261


Ver Perfil
« Respuesta #7 : 12/05/2018, 02:15:15 pm »

Gracias amigo martiniano. Me queda la duda cuánto vale el limite por la izquierda.
En línea
martiniano
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 107


Ver Perfil
« Respuesta #8 : 12/05/2018, 07:05:25 pm »

Hola,
Sí, pues vale [texx] \displaystyle\frac{1}{2}[/texx]
Razonando igual, sólo que por la izquierda.
Saludos.
En línea
llanten
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 261


Ver Perfil
« Respuesta #9 : 13/05/2018, 01:10:35 pm »

Ok, gracias. Según tu razonamiento, esto mismo se hace para los [texx]x\in{(-3/2,3/2)}[/texx], y así sucesivamente, concluyendo que el limite para [texx]f [/texx] no existe en los extremos de estos intervalos?
En línea
llanten
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 261


Ver Perfil
« Respuesta #10 : 13/05/2018, 01:35:56 pm »

Si [texx]x\neq{p/2q}[/texx] entonces f es continua, por lo cual la función [texx]g(x)[/texx] es uniformemente continua. ¿ Entonces [texx] f[/texx] en los puntos distintos de tales [texx] x[/texx] que limite tomaría o igual no existe el limite? Gracias.
En línea
martiniano
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 107


Ver Perfil
« Respuesta #11 : 14/05/2018, 05:13:49 am »

Hola, ¿como estás?
Yo veo las cosas de la siguiente manera. En lo que has dicho aquí coincido plenamente contigo:
Ok, gracias. Según tu razonamiento, esto mismo se hace para los [texx]x\in{(-3/2,3/2)}[/texx], y así sucesivamente, concluyendo que el limite para [texx]f [/texx] no existe en los extremos de estos intervalos?

Ahora bien, en lo que has dicho aquí no tanto:
Si [texx]x\neq{p/2q}[/texx] entonces f es continua, por lo cual la función [texx]g(x)[/texx] es uniformemente continua.

Yo diría que, por lo que tú has dicho en el mensaje en el que coincidimos ambos, en [texx]x=p/2q[/texx] son discontinuas las funciones del tipo: [texx]f_{kq}(x)[/texx] para todos los k impares.

Por otro lado, en [texx]x\neq{p/2q}[/texx] todas las  [texx]f_n(x)[/texx] son continuas, también por lo de la misma sentencia que ambos consideramos verdadera.

Ahora vayamos con la función g(x). Yo intenté demostrar en mi primera respuesta que g(x) converge uniformemente porque simplemente cumple el criterio de Weierstrass. Es este hecho el que nos permite asegurar que, para cualquier [texx]x_0[/texx]:

[texx] \displaystyle\lim_{x \to{x_0}}{g(x)}=\sum_{n=1}^\infty \displaystyle\frac{\displaystyle\lim_{x \to{x_0}}{f_n(x)}}{n^2}[/texx]

Como consecuencia de esto último podemos decir que allá donde las  [texx]f_n(x)[/texx] sean todas continuas, también lo será g(x).

También como consecuencia de esto último y del valor de los límites laterales que hemos calculado aquí:
Entonces, substituyendo [texx]k=2k'+1[/texx] y [texx]p=2p'+1[/texx]:
[texx] \displaystyle\lim_{x \to\left( \displaystyle\frac{p}{2q} \right)^+ }{f_{kq}(x)}=\displaystyle\lim_{x \to\left( \displaystyle\frac{p}{2q} \right)^+ }{f(kqx)} = \displaystyle\lim_{x \to p^+ }{f(k\displaystyle\frac{x}{2})}= \displaystyle\lim_{x \to  (2p'+1)^+ }{f((2k'+1)\displaystyle\frac{x}{2})}=\displaystyle\lim_{x \to 1^+ }{f(\displaystyle\frac{x}{2})}=-\displaystyle\frac{1}{2}[/texx]
podemos demostrar que los límites de g(x) en [texx]x_0=\displaystyle\frac{p}{2q}[/texx] son distintos a [texx]g\left( \displaystyle\frac{p}{2q} \right)[/texx], y por tanto g(x) es discontinua en esos puntos:


Espero que haya quedado un poco más claro :guiño:. Saludos
En línea
llanten
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 261


Ver Perfil
« Respuesta #12 : 14/05/2018, 10:15:17 am »

Gracias amigo martiniano, le agradezco su explicación.
En línea
llanten
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 261


Ver Perfil
« Respuesta #13 : 15/05/2018, 09:12:59 am »


Entonces, para todos los [texx]k[/texx] impares:
[texx] \displaystyle\lim_{x \to{x_0^+}}{g(x)}=\sum_{n\neq{kq}}\displaystyle\frac{f_n(x_0)}{n^2}+ \sum_{n=kq} \displaystyle\frac{-1/2}{n^2}\neq{\sum_{n\neq{kq}}\displaystyle\frac{f_n(x_0)}{n^2}}=\sum_{n=1}^\infty \displaystyle\frac{f_n(x_0)}{n^2}=g(x_0)[/texx]

Y, por tanto, [texx]g(x)[/texx] es discontinua en [texx]x_0=\displaystyle\frac{p}{2q}[/texx].

Se podría haber razonado de forma similar con los límites por la izquierda.

Espero que sirva de algo. Saludos.


Supongo amigo martiniano, que en esta igualdad en lugar del símbolo [texx]+[/texx] va es un [texx]=[/texx]. Según tu razonamiento se concluiría por lo anterior que por un lado se llega a [texx] -\frac { 1 }{ 2 } \sum _{ n=1 }^{ \infty  }{ \frac { 1 }{ { n }^{ 2 } }  }  [/texx] que es distinto a [texx] g\left( { x }_{ 0 } \right) [/texx], este último que valor toma es decir [texx]g\left( { x }_{ 0 } \right) =[/texx]? Gracias.
En línea
llanten
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 261


Ver Perfil
« Respuesta #14 : 15/05/2018, 09:23:22 am »


si [texx]m[/texx] o [texx]m'[/texx] son pares ya lo tienes; en otro caso:

[texx]a<\dfrac{n}{m}=\dfrac{nm'}{mm'}<\dfrac{n'm}{mm'}<b[/texx]

y por tanto [texx]2nm'<2nm'+1<2n'm[/texx] y [texx]\dfrac{2nm'+1}{2mm'}\in (a,b)[/texx].

Saludos.

Revisando esta parte nuevamente, realizada por mi amigo Luis Fuentes, no me es claro  porque [texx]2nm'+1<2n'm [/texx] y de ahí se siga que [texx]\dfrac{2nm'+1}{2mm'}\in (a,b)[/texx]?  Realizando algunos cálculos particulares no me dan esas cuentas, podrías explicarme este hecho. Gracias.
En línea
martiniano
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 107


Ver Perfil
« Respuesta #15 : 15/05/2018, 11:52:03 am »

Hola llantén.
Pues yo por mi parte mantengo ese +. Se trata de una reordenación de los términos de la serie, que se puede hacer pues la serie converge absolutamente.
Saludos.
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 41.801


Ver Perfil
« Respuesta #16 : 16/05/2018, 05:52:37 am »

Hola


si [texx]m[/texx] o [texx]m'[/texx] son pares ya lo tienes; en otro caso:

[texx]a<\dfrac{n}{m}=\dfrac{nm'}{mm'}<\dfrac{n'm}{mm'}<b[/texx]

y por tanto [texx]2nm'<2nm'+1<2n'm[/texx] y [texx]\dfrac{2nm'+1}{2mm'}\in (a,b)[/texx].

Revisando esta parte nuevamente, realizada por mi amigo Luis Fuentes, no me es claro  porque [texx]2nm'+1<2n'm [/texx] y de ahí se siga que [texx]\dfrac{2nm'+1}{2mm'}\in (a,b)[/texx]?  Realizando algunos cálculos particulares no me dan esas cuentas, podrías explicarme este hecho.

[texx]nm'<n'm\quad \Rightarrow{}\quad nm'+1\leq n'm\quad \Rightarrow{}\quad 2nm'+2\leq 2n'm\quad \Rightarrow{}\quad 2nm'+1< 2n'm[/texx]

En el primer paso es clave que los números implicados son enteros.
Saludos.
En línea
llanten
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 261


Ver Perfil
« Respuesta #17 : 16/05/2018, 10:04:38 am »

Gracias amigo Luis Fuentes y amigo martiniano por la explicación para resolver este ejercicio. 
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!