Matemática => Análisis Real - Integral de Lebesgue => Mensaje iniciado por: llanten en 25 Abril, 2018, 10:23



Título: Función con un conjunto denso de discontinuidades
Publicado por: llanten en 25 Abril, 2018, 10:23
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].


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: Luis Fuentes en 25 Abril, 2018, 11:43
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.


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: llanten en 25 Abril, 2018, 11:56
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]


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: martiniano en 30 Abril, 2018, 05:15
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.



Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: llanten en 11 Mayo, 2018, 19:03
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. 


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: llanten en 11 Mayo, 2018, 19:15
No me es claro porque el limite por la derecha es [texx]-1/2 [/texx]. Puedes por favor explicarme un poco más. Gracias.


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: martiniano en 12 Mayo, 2018, 04:29
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.




Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: llanten en 12 Mayo, 2018, 14:15
Gracias amigo martiniano. Me queda la duda cuánto vale el limite por la izquierda.


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: martiniano en 12 Mayo, 2018, 19:05
Hola,
Sí, pues vale [texx] \displaystyle\frac{1}{2}[/texx]
Razonando igual, sólo que por la izquierda.
Saludos.


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: llanten en 13 Mayo, 2018, 13:10
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?


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: llanten en 13 Mayo, 2018, 13:35
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.


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: martiniano en 14 Mayo, 2018, 05:13
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 ;). Saludos


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: llanten en 14 Mayo, 2018, 10:15
Gracias amigo martiniano, le agradezco su explicación.


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: llanten en 15 Mayo, 2018, 09:12

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.


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: llanten en 15 Mayo, 2018, 09:23

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.


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: martiniano en 15 Mayo, 2018, 11:52
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.


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: Luis Fuentes en 16 Mayo, 2018, 05:52
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.


Título: Re: Función con un conjunto denso de discontinuidades
Publicado por: llanten en 16 Mayo, 2018, 10:04
Gracias amigo Luis Fuentes y amigo martiniano por la explicación para resolver este ejercicio.