TOPICS
Search

Approximate Continuity


Approximate continuity of a real-valued measurable function f(x) on R at x_0 means that for every epsilon>0,

 lim_(r->0^+)(m({x in (x_0-r,x_0+r):|f(x)-f(x_0)|>=epsilon}))/(2r)=0,

where m(A) is the Lebesgue measure of the measurable set A. Every continuous function is approximately continuous, and every measurable function is approximately continuous almost everywhere (Ciesielski et al. 1994, pp. 8-9).

For example, let f(x) be 1 on the countable set E={1/n:n=1,2,...} and 0 elsewhere. At 0, this function is approximately continuous but not continuous. The exceptional set E has Lebesgue measure 0 but accumulates at 0.


See also

Continuous Function, Lebesgue Measure

Explore with Wolfram|Alpha

References

Ciesielski, K.; Larson, L.; and Ostaszewski, K. I-Density Continuous Functions. Providence, RI: Amer. Math. Soc., 1994. https://doi.org/10.1090/memo/0515.

Cite this as:

Weisstein, Eric W. "Approximate Continuity." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/ApproximateContinuity.html

Subject classifications