Separating sets by cliquish functions (Q2352114): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Aleksander Maliszewski / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Szymon Głąb / rank | |||
Normal rank |
Revision as of 08:20, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Separating sets by cliquish functions |
scientific article |
Statements
Separating sets by cliquish functions (English)
0 references
30 June 2015
0 references
Let \(f:X\to\mathbb{R}\) be a real function defined on a topological space \(X\). The oscillation \(\omega(f,U)\) of \(f\) on \(U\subset X\) is given by \(\sup\{| f(x)-f(t)|:x,t\in U\}\). The function \(f\) is cliquish at a point \(x\in X\), if for every open neighborhood \(V\) of \(x\) and each \(\varepsilon>0\), there is a nonempty open set \(G\subset V\) such that \(\omega(f,G)<\varepsilon\). The paper deals with the problem whether two disjoint sets \(A,B\subset X\) can be separated by a cliquish function. The authors prove the following separation theorems: {\parindent=6mm \begin{itemize} \item[1.] \(A=f^{-1}(0)\), \(B=f^{-1}(1)\) for some cliquish function if and only if \(A\cap B=\emptyset\), the sets \(\operatorname{cl}(A)\setminus A\), \(\operatorname{cl}(B)\setminus B\) are meager and \(\operatorname{cl}(A)\cap \operatorname{cl}(B)\) is nowhere dense. \item [2.] \(A\subset f^{-1}(0)\), \(B\subset f^{-1}(1)\) for some cliquish function if and only if \(A\cap B=\emptyset\) and \(\operatorname{cl}(A)\cap \operatorname{cl}(B)\) is nowhere dense. \item [3.] \(A=f^{-1}((-\infty,0))\), \(B=f^{-1}((0,\infty))\) for some cliquish function if and only if \(A\cap B=\emptyset\) and the sets \(A\setminus \operatorname{int}(A)\) and \(B\setminus \operatorname{int}(B)\) are meager. \item [4.] \(A\subset f^{-1}((-\infty,0))\), \(B\subset f^{-1}((0,\infty))\) for some cliquish function if and only if \(A\cap B=\emptyset\) and the sets \(A\cap \operatorname{cl}(B)\) and \(B\cap \operatorname{cl}(A)\) are meager. \end{itemize}}
0 references
cliquishness
0 references
Urysohn lemma
0 references
separating sets
0 references