Approximate continuity points and L-points of integrable functions (Q1088011)

Let L be the class of all real Lebesgue measurable functions of a real variable and let m(A) be the Lebesgue measure of a Lebesgue measurable set A. We denote \[ A(f)=\{x\in R:f \text{ is approximately continuous at }x\} \] and \[ L(f)=\{x\in R:\lim_{h\to 0}\frac{1}{h} \int^{h}_{0} f(x+t)dt=f(x)\}. \] It is known that \(m(R-A(f))=0\) for any \(f\in L\), \(m(R-L(f))=0\) for any locally integrable f and \(A(f)\subset L(f)\) for any bounded f of L. There is proved: \(1.\quad A(f)\Delta L(f)\) is a set of the first category in R for any locally integrable f and \(2.\quad R-L(f)\) is \(\sigma\)-porous for any bounded, approximately symmetric function f, i.e. \[ -\lim_{h\to 0}| f(x+h)+f(x-h)-2f(x)| =0. \] Further, for any \(A\subset R\) which satisfies \((i)\quad m(A)=0;\) (ii) A is perfect and \(m(A)=0\) and (iii) A is nowhere dense perfect, respectively, there exists a function f of L such that (i) f is bounded and \(A\subset R-L(f);\) (ii) \(\alpha)\) f is bounded and \(A\subset L(f)-A(f)\) and \(\beta)\) f is locally integrable, approximately differentiable and \(R-L(f)=A,\) and (iii) f is approximately differentiable and \(R-L(f)=A,\) respectively. At the end, there is proved that for any \(p\in <1,\infty)\) there exists a bounded \(L_ p\)-smooth function f such that \(R-L(f)\) is uncountable.