The approximate symmetric behavior of real functions (Q1122674)

Let f be a Lebesgue measurable real function defined on \(<0,1>\), let \[ AC(f)=\{x:\quad f\quad is\quad approximately\quad continuous\quad at\quad x\}, \] \[ AS(f)=\{x:\quad -\lim_{h\to 0}(f(x+h)+f(x-h)-2f(x))=0\}, \] \[ ASC(f)=\{x:\quad -\lim_{h\to 0}(f(x+h)-f(x-h))=0\}, \] and \[ L(f)=\{x:\quad \lim_{h\to 0}(1/h)\int^{h}_{0}f(x+t)dt=f(x)\} \] and let \[ AC=\{f:\quad AC(f)=<0,1>\},\quad AS=\{f:\quad AS(f)=<0,1>\}, \] \[ ASC=\{f:\quad ASC(f)=<0,1>\},\quad and\quad L=\{f:\quad L(f)=<0,1>\}. \] bAC will denote the set of all bounded functions in AC. There is proved: 1. If f: \(<0,1>\to R\) is measurable, then AS(f)-AC(f) is a first category subset of \(<0,1>\). 2. For any perfect subset P of \(<0,1>\) of measure zero there exists a function \(g\in bL\) such that \(P\cap (AS(g)\cup ASC(g))=\emptyset\) and g is continuous at any point of \(<0,1>-P.\) 3. There exists \(f\in bL\) such that \(<0,1>-(AS(f)\cup ASC(f))\) is non-\(\sigma\)-porous. Theorem 3. The set \(\{\) \(f\in bL:\) there exists an interval \(J_ f\subset <0,1>\) for which \(J_ f-(AS(f)\cup ASC(f))\) is \(\sigma\)-porous in \(<0,1>\}\) is of the first category in bL. Theorem 4. The set \(\{\) \(f\in bASC:\) there exists an interval \(J_ f\subset <0,1>\) for which \(J_ f-L(f)\) is of the first category in \(<0,1>\}\) is of the first category in bASC. Theorem 5. The set \(\{\) \(f\in bAS:\) there exists an interval \(J_ f\subset <0,1>\) for which \(J_ f-L(f)\) is countable\(\}\) is of the first category in bAS.