Autor Tema: Probar que tiene una subsucesión que converge uniformemente

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

20 Mayo, 2021, 10:00 pm
Leído 867 veces

cristianoceli

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 810
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
Sea\(  f_n : [0,1] \longrightarrow{} \mathbb{R} \) una sucesion de funciones continuas de modo que \( f_n  \)es Riemann integrable en \( [0, 1] \): Suponga que para todo \( n \in \mathbb{N} \) se tiene \( | {f_n}^{\prime}(t)  | \leq{} t ^{-1/2} \) para todo \( t  \) y \( \displaystyle\int_{0}^{1} f_n (t) dt =0 \). Muestre que \( \{ f_n \} \)posee una subsucesión  que converge uniformemente en\(  [0, 1] \).

Lo que he hecho:

Para mostrar que la sucesión es acotada:

\( \displaystyle f_n(t) = f_n(0) + \int\limits_0^t f_n' \)

y note que:

\( \left|\int\limits_0^t f_n'\right| \leq 2\sqrt{t} \leq 2. \)

Si la sucesión \( f_n(0) \)no es acotada , entonces poseería una subsucesión tal que \( f_{n_k}(0) > 2k \) y entonces \( f_{n_k}(t) > 2k - 2 = 2(k-1)  \)y esto violaría la hipótesis de que la integral de cada \( f_n \) es cero.

Por Teorema fundamental del calculo:

\( |f_n(y) - f_n(x)| \leq 2 \left| \sqrt{y} - \sqrt{x} \right|, \)

y dado que la raíz cuadrada es una función continua y \( [0,1]  \)es compacta, por teorema de Cantor para concluimos que esta función es uniformemente continua en \( [0,1]  \).

Pero no se como aplicar el Teorema de Ascoli para concluir el ejercicio


Saludos

20 Mayo, 2021, 10:27 pm
Respuesta #1

Luis Fuentes

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

 ¿Qué enunciado tienes del teorema de Ascoli?. Por ejemplo en estas notas de Joaquín Ortega Sánchez:

https://www.cimat.mx/~jortega/MaterialDidactico/Analisis/Cap9v4.pdf

 En la página 175, viene:

Teorema 9.10 (Arcelá-Ascoli) Sea \( E\subset \Bbb R \) un conjunto compacto. Toda sucesión equicontinua y acotada de funciones \( f_n:E\to \Bbb R \) tiene una subsucesión uniformemente convergente.

 Si ya has probado que la sucesión es equicontinua y acotada, ya lo tienes.

Saludos.

21 Mayo, 2021, 06:48 pm
Respuesta #2

cristianoceli

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 810
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
Hola

 ¿Qué enunciado tienes del teorema de Ascoli?. Por ejemplo en estas notas de Joaquín Ortega Sánchez:

https://www.cimat.mx/~jortega/MaterialDidactico/Analisis/Cap9v4.pdf

 En la página 175, viene:

Teorema 9.10 (Arcelá-Ascoli) Sea \( E\subset \Bbb R \) un conjunto compacto. Toda sucesión equicontinua y acotada de funciones \( f_n:E\to \Bbb R \) tiene una subsucesión uniformemente convergente.

 Si ya has probado que la sucesión es equicontinua y acotada, ya lo tienes.

Saludos.

Me han enuncidao d ela siguiente manera:

Teorema Arzela-Ascoli

Sea \( k \) compacto y \( E \) un conjunto de aplicaciones \( f:k \rightarrow{N} \). Entonces \( E\subseteq{} C(K,N) \)  es relativamente compacto si y solo si:

(a) \( E \) es equicontinuo
(b) Para cada \( x \in k \), el conjunto \( E(x) \) es relativamente compacto en \( N \)

También me dijeron que se puede formular d ela siguiente manera:

Sea \( k \) compacto y \( E \subseteq{}C(k, \mathbb{R}) \) las siguienets afirmaciones son equivalentes:

(a) Es compacto
(b) \( E \) es cerrado, acotado y equicontinuo

Saludos

21 Mayo, 2021, 07:44 pm
Respuesta #3

Luis Fuentes

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

Me han enuncidao d ela siguiente manera:

Teorema Arzela-Ascoli

Sea \( k \) compacto y \( E \) un conjunto de aplicaciones \( f:k \rightarrow{N} \). Entonces \( E\subseteq{} C(K,N) \)  es relativamente compacto si y solo si:

(a) \( E \) es equicontinuo
(b) Para cada \( x \in k \), el conjunto \( E(x) \) es relativamente compacto en \( N \)

Pues ya lo tienes. Tu ya has probado que la familia de funciones es equicontinua:

Por Teorema fundamental del calculo:

\( |f_n(y) - f_n(x)| \leq 2 \left| \sqrt{y} - \sqrt{x} \right|, \)

y dado que la raíz cuadrada es una función continua y \( [0,1]  \)es compacta, por teorema de Cantor para concluimos que esta función es uniformemente continua en \( [0,1]  \).

y como es acotada para \( x\in [0,1] \), entonces el conjunto de imágenes de \( x \) por la familia de es acotado en \( \Bbb R \) y por tanto relativamente compacto.

Saludos.

21 Mayo, 2021, 08:03 pm
Respuesta #4

cristianoceli

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 810
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
Muchas gracias por la verificación tenía problemas y poca experiencia en aplicar este Teorema.

Saludos