On operations induced by hereditary classes on generalized topological spaces (Q2392029)

With \(X\) being a non empty set and \(\exp X\) the power set of \(X, \mu\subseteq \exp X\) is called a generalized topology (briefly \(GT\)) on \(X\) iff \(\emptyset \in \mu\) and \(G_i\in \mu\) for \(i \in I\neq \emptyset\) implies \(G =\cup \{G_i : i\in I \}\in \mu\). With \((G,\mu)\) as a \(GTS\), an ideal \(I\) on \(X\) is a nonempty family \(I \subseteq \exp X\) satisfying the following conditions: i) \(A \subseteq B\), \(B \in I\) implies \(A \in I\); ii) \(A, B \in I\) implies \(A \cup B \in I\). A nonempty family \(H\subseteq\exp X\) is called a hereditary class if it satisfies condition (i) only. An operator \(\gamma_\mu * \colon \exp X \to \exp X\) is introduced with the help of the operator \(()*\) as introduced earlier with the help of \(\mu\) and \(\mathcal H\). Throughout the paper i) investigations are made of some of the properties of \(\gamma_\mu*\), ii) as generalization of \(\mu\)-open sets and \(\mu\)-semi-open sets, \(\gamma_\mu*\)-semi-open sets are defined with the help of the newly introduced operator \(\gamma_\mu*\). It is shown, among other things, that i) every \(\mu\)-open set is \(\gamma_\mu*\)-semi-open; ii) every \(\mu\)-semi-open set is \(\gamma_\mu*\)-semi-open; and iii) the union of \(\gamma_\mu*\)-semi-open sets is also a \(\gamma_\mu*\)-semi-open set. A relation between \(\gamma_\mu*\)-semi-open sets and \(\mu\)-\(\beta\)-open sets is also introduced.