On the sums of two quasi-continuous functions with closed graphs (Q541389): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
Let \((X,d)\) be a separable metric space which is Baire in the strong sense. Let \(f: X\to\mathbb{R}\) (\(\mathbb{R}\) -- the real line). A function \(f\) is said to be a Baire one star function, if for each nonempty closed set \(P\subset X\), there is an open set \(U\subset X\) such that \(P\cap U\neq\emptyset\) and \(f|_{P\cap U}\) is continuous. \(f\) is said to be quasi-continuous, if for each \(x\in X\), each neighborhood \(U\) of \(x\) and each \(\varepsilon> 0\), there is a nonvoid open set \(V\subset U\) such that \(\text{diam}[V\cup\{x\}]< \varepsilon\). Theorem: Let \(f: X\to\mathbb{R}\). The following conditions are equivalent: 1. There are quasi-continuous functions with closed graphs \(f_1, f_2: X\to\mathbb{R}\) such that \(f= f_1+ f_2\) on \(X\); 2. \(f\) is Baire one star and for each \(x\in X\) there holds \(\lim_{t\to x}\sup_{t\in C_f}|f(t)|= \infty\) or \(\lim_{t\to x}\text{inf}_{t\in C_f}|f(t)- f(x)|= 0\) where \(C_f\) denotes the set of all continuity points of \(f\). | |||
Property / review text: Let \((X,d)\) be a separable metric space which is Baire in the strong sense. Let \(f: X\to\mathbb{R}\) (\(\mathbb{R}\) -- the real line). A function \(f\) is said to be a Baire one star function, if for each nonempty closed set \(P\subset X\), there is an open set \(U\subset X\) such that \(P\cap U\neq\emptyset\) and \(f|_{P\cap U}\) is continuous. \(f\) is said to be quasi-continuous, if for each \(x\in X\), each neighborhood \(U\) of \(x\) and each \(\varepsilon> 0\), there is a nonvoid open set \(V\subset U\) such that \(\text{diam}[V\cup\{x\}]< \varepsilon\). Theorem: Let \(f: X\to\mathbb{R}\). The following conditions are equivalent: 1. There are quasi-continuous functions with closed graphs \(f_1, f_2: X\to\mathbb{R}\) such that \(f= f_1+ f_2\) on \(X\); 2. \(f\) is Baire one star and for each \(x\in X\) there holds \(\lim_{t\to x}\sup_{t\in C_f}|f(t)|= \infty\) or \(\lim_{t\to x}\text{inf}_{t\in C_f}|f(t)- f(x)|= 0\) where \(C_f\) denotes the set of all continuity points of \(f\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Pavel Kostyrko / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 26A21 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54C30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 26A15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5904828 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quasi-continuous functions | |||
Property / zbMATH Keywords: quasi-continuous functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
closed graph | |||
Property / zbMATH Keywords: closed graph / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1600644698 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:12, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the sums of two quasi-continuous functions with closed graphs |
scientific article |
Statements
On the sums of two quasi-continuous functions with closed graphs (English)
0 references
7 June 2011
0 references
Let \((X,d)\) be a separable metric space which is Baire in the strong sense. Let \(f: X\to\mathbb{R}\) (\(\mathbb{R}\) -- the real line). A function \(f\) is said to be a Baire one star function, if for each nonempty closed set \(P\subset X\), there is an open set \(U\subset X\) such that \(P\cap U\neq\emptyset\) and \(f|_{P\cap U}\) is continuous. \(f\) is said to be quasi-continuous, if for each \(x\in X\), each neighborhood \(U\) of \(x\) and each \(\varepsilon> 0\), there is a nonvoid open set \(V\subset U\) such that \(\text{diam}[V\cup\{x\}]< \varepsilon\). Theorem: Let \(f: X\to\mathbb{R}\). The following conditions are equivalent: 1. There are quasi-continuous functions with closed graphs \(f_1, f_2: X\to\mathbb{R}\) such that \(f= f_1+ f_2\) on \(X\); 2. \(f\) is Baire one star and for each \(x\in X\) there holds \(\lim_{t\to x}\sup_{t\in C_f}|f(t)|= \infty\) or \(\lim_{t\to x}\text{inf}_{t\in C_f}|f(t)- f(x)|= 0\) where \(C_f\) denotes the set of all continuity points of \(f\).
0 references
quasi-continuous functions
0 references
closed graph
0 references