\(\zeta_{\mu}\)-sets in generalized topological spaces (Q2428599)

With a non-empty set \(X\) and \(\mathcal P(X)\) its power set, \(\mu\subseteq \mathcal P(X)\) is said to be a generalized topology on \(X\) if \(\emptyset\in \mu\) and an arbitrary union of elements of \(\mu\) belongs to \(\mu\). For \(A \subseteq X\), \(\zeta_{\mu} (A)\), in a GTS, is defined as follows: \(\zeta_{\mu} (A) =\cap \{U : A \subseteq U, U \in \mu \}\); \(A\) is said to be a \(\zeta_\mu\)-set if \(\zeta_{\mu} (A) = A\); with the family of \(\zeta_{\mu}\)-sets of a GTS \((X, \mu )\) it is shown that \((X, \zeta_\mu )\) is a GTS, and further \(\zeta_{\mu} = \zeta_{\mu \mu}\). In the sequel, \(\mu\)-\(R_0\), \(\mu\)-\(T_0\), \(\mu\)-\(T_1\) spaces are defined and it is shown that a GTS \((X, \mu)\) is (i) \(\mu\)-\(R_0\) iff \((X,\zeta_{\mu})\) is \(\zeta_{\mu}\)-\(R_0\), (ii) \((X, \mu)\) is \(\mu\)-\(T_0\) iff \((X, \zeta_{\mu})\) is \(\zeta_{\mu}\)-\(T_0\). A subset \(A \subseteq X\) is said to be \((\zeta, \mu)\)-closed if \(A = U \cap F\), where \(U\) is a \(\zeta_{\mu}\)-set and \(F\) is a \(\mu\)-closed set of \((X, \mu)\). The complement of a \((\zeta, \mu)\)-closed set is termed \((\zeta, \mu)\)-open. It is shown that a GTS \((X, \mu)\) is \(\mu\)-\(T_0\) iff for each \(x \in X,\) the singleton \(\{x\}\) is \((\zeta, \mu)\)-closed. With \((\zeta, \mu)\)-cluster points, as usual, the \((\zeta, \mu)\) closure of \(A\) is defined; \((\zeta, \mu)\)-\(R_0\) spaces are defined and necessary and sufficient conditions for \((X, \mu)\) to be \((\zeta, \mu)\)-\(R_0\) are provided; \((\zeta, \mu)\)-\(T_0\), \((\zeta, \mu)\)-\(T_1\) and \((\zeta, \mu)\)-\(T_2\) spaces are also defined and studied. Finally, generalized \(\zeta_{\mu}\)-sets and generalized \(\mu\)-closed sets are defined for introducing another separation axiom viz. \(T_{\frac 1 2}\); \(T_{\frac 1 2}\)-spaces are characterized duly.