5 votos

¿Qué hay de malo en mi "prueba"?

Durante uno de mis exámenes para llevar a casa me pidieron que demostrara que en un espacio de medida finita, la convergencia en la medida es lo mismo que converger en casi todas partes. No lo pensé seriamente y escribí una prueba recibiendo la nota completa. Pero ahora me doy cuenta de que esta afirmación no puede ser correcta, porque hay fáciles contraejemplos. Así que me pregunto dónde está el error en mi "prueba" a continuación. Recuerdo que la examiné varias veces y pensé que era correcta.

Si fnfn no converge a ff en casi todas partes, existe algún subconjunto medible LL con medida positiva tal que limfnflimfnf en LL . LL es medible porque si dejamos que Ln=(k=n{x||f(x)fk(x)|>0)Ln=(k=n{x||f(x)fk(x)|>0) Entonces L=n=1LnL=n=1Ln . En particular, esto implica μ(Ln)μ(L)>T>0μ(Ln)μ(L)>T>0 para todos nn para algún número real TT .

Ahora tenemos Ln=(i=1(k=n{x||f(x)fk(x)|1i)Ln=(i=1(k=n{x||f(x)fk(x)|1i) Según nuestra suposición, deberíamos tener limnμ(k=n{x||f(x)fk(x)|1i})=0,iN

Por lo tanto, en particular para cualquier ϵ<T20 hay una secuencia Nj tal que μ(k=Nj{x||f(x)fk(x)|1i})<ϵi22j Entonces μ(LN1)<i=1j=1ϵi22j=π2ϵ6<π2120T<T Esto se contradice con nuestra conclusión μ(Ln)>T arriba. Por lo tanto, fnf casi en todas partes.

3voto

Joe Lencioni Puntos 4642

Su tercera ecuación mostrada no es cierta. (fn) converge a f en medida si para cada ϵ>0 tenemos limnμ({x:|f(x)fn(x)|ϵ})=0.

Esto no implica que limnμ(n=k{x:|f(x)fn(x)|ϵ})=0.

Los conjuntos sobre los que el fn están lejos de f puede ser diferente. Por ejemplo, consideremos la secuencia de funciones sobre el intervalo unitario: χ[0,1],χ[0,1/2],χ[1/2,1],χ[0,1/4],χ[1/4,1/2], Esta secuencia converge en medida a la función cero; pero, aquí tenemos μ(n=k{x:|fn(x)|ϵ})=1 para cualquier 0<ϵ1 .

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