Wednesday, 13 January 2016

real analysis - Logical Relations Between Three Statements about Continuous Functions


(a) f is continuous almost everywhere



(b) there exists a continuous function g such that f=g almost everywhere (on every set of non-zero measure)



(c) f is nearly a continuous function (continuous everywhere but a set of measure epsilon, for small positive epsilon)




Here f,g are functions from a measurable compact domain DR to the whole real line, our measure is the Lebesgue measure, and we use the standard topology on R.




Clearly (c) does not imply (a) as (a) is a stronger statement. Similarly, (a) implies (c).



It seems that if f is a continuous function almost everywhere then we can set up a function h that is continuous everywhere and set h=f so (a) (b).



If there exist functions g,f as in (b) then f is nearly continuous so (b) implies (c).



Are these relations correct? Am I missing anything?

No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...