5 votos

Límite de pointwise de funciones continuas no Riemann integrable

El siguiente es un ejercicio de Stein Análisis Real (ex. 10 Capítulo 1). Sé que debería ser fácil, pero estoy un poco confundido en este punto, que consiste principalmente de proporcionar el Cantor de construcción para funciones continuas en el intervalo de $[0,1]$ cuyo pointwise límite no es Riemann integrable.

Por lo tanto, vamos a $C'$ ser un conjunto cerrado, de modo que en el $k$th etapa de la construcción se elimina $2^{k-1}$ encuentra abierto intervalos de cada uno de longitud $l^{k}$$l_{1}+\ldots+2^{k-1}l_{k}<1$; en particular, sabemos que la medida de $C'$ es estrictamente positivo. Ahora, vamos a $F_{1}$ denotar una pieza de sabios lineal y continua la función en $[0,1]$ $F_{1}=1$ en el complemento de la primera intervalo eliminado en la consutrction de $C'$, $F_{1}=0$ en el centro de este intervalo, y $0 \leq F_{1}(x) \leq 1$ todos los $x$. Del mismo modo, la construcción de la $F_{2}=1$ en el complemento de los intervalos en la segunda etapa de la construcción de la $C'$, $F_{2}=0$ en el centro de estos intervalos, y $0 \leq F_{2} \leq 1$, y así sucesivamente, y deje $f_{n}=F_{1}\cdot \ldots F_{n}$.

Ahora, obviamente $f_{n}(x)$ converge a un límite de decir $f(x)$ ya que es decreciente y acotada y $f(x)=1$ si $x \in C'$; por lo que en el fin de mostrar que $f$ es discontinua en todos los puntos de $C'$, uno debe mostrar que hay una secuencia de puntos de $x_{n}$, de modo que $x_{n} \rightarrow x$$f(x_{n})=0$; yo no puedo ver esto, por lo que cualquier ayuda es bienvenida, muchas gracias!

3voto

Joe Lencioni Puntos 4642

Tomar un punto de $c\in C'$ y cualquier intervalo abierto $I$ contiene $c$. Entonces existe un intervalo abierto $D\subseteq I $ que fue eliminado en la construcción de $C'$. En efecto, desde el $C'$ no tiene puntos aislados, hay un punto de $y\in C'\cap I$ distinta de la de $x$. Entre el$x$$y$, existe un intervalo abierto eliminado de la construcción de la $C'$, que nos llevan a ser nuestra $D$.

Ahora, por la definición de la $f_n$, $d\in D$ (es decir, el centro de $D$) tal que $f(d)=0$.

Para recapitular: dado $x\in C'$ y cualquier intervalo abierto $I$ contiene $x$,$d\in I$$f(d)=0$. Como $f(x)=1$, esto implica que $f$ no es continua en a $x$.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X