The approximate symmetric behavior of real functions (Q1122674): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 03:16, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The approximate symmetric behavior of real functions |
scientific article |
Statements
The approximate symmetric behavior of real functions (English)
0 references
1989
0 references
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.
0 references
approximate symmetric continuity
0 references
Lebesgue point
0 references
porosity of sets
0 references
first category set
0 references