Separating sets by cliquish functions (Q2352114): Difference between revisions

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}}