Compatible hereditary classes in GTS (Q343267)

In the context of generalized topological spaces (GTS, in short) introduced by Á. Császár, hereditary classes and ideals were used to define the set \(A^\star\) for each subset \(A\) of a GTS \((X, \mu)\), given by \(A^\star(\mu,\mathcal{H})=\{x \in X \mid M\cap A \not\in \mathcal{H}\) for every \(M\in \mu\) containing \(x\}\), where \(\mathcal{H}\) is a hereditary class of subsets of \(X\) and \(\mu\) is the generalized topology (GT) on \(X\). A hereditary class \(\mathcal{H}\) is said to be \(\mu\)-codense if \(\mu \cap \mathcal{H}=\{\phi\}\) and is said to be strongly \(\mu\)-codense if \(M\in \mu, N\in \mu\) and \(M\cap N \in \mathcal{H}\) together, imply that \(M\cap N=\phi\). With \(\mathcal{H}\) and \(\mathcal{S}\) as hereditary classes on a GTS \(X\), the extension of \(\mathcal{H}\) via \(\mathcal{S}\), denoted by \(\mathcal{H}\star\mathcal{S}\), is given by \(\mathcal{H}\star\mathcal{S}=\{A\subseteq X\mid A^\star(\mu, \mathcal{H}) \in \mathcal{S}\}\). If \(c^{\star}_{\mu,\mathcal{H}}(A)=A\cup A^{\star}\) (where \(A^{\star}=A^{\star}(\mu, \mathcal{H})\)), for every subset \(A\) of \(X\), with respect to \(\mu\) and a hereditary class \(\mathcal{H}\) of subsets of \(X\), then \(\{A\subseteq X\mid c^{\star}_{\mu,\mathcal{H}}(X - A)=X - A \}\) is denoted by \(\mu^{\star}(\mu, \mathcal{H})\) and is a GT containing \(\mu\). In discussing the properties of the operator `\(\star\)', the relation between \(\mu\)-rare sets and \(\mu^{\star}(\mu, \mathcal{H})\)-rare sets is established; enough examples are used to justify the results. For a generalized topology \(\mu\), \(\mathcal{M}_{\mu}=\cup \{M\mid M\in \mu\}\). For a GTS \((X,\mu)\) and a hereditary class \(\mathcal{H}\), it is shown that \(\mathcal{M}_\mu=\mathcal{M}_{\mu^{\star}(\mu, \mathcal{H})}\). For a GTS \((X, \mu)\) with a hereditary class \(\mathcal{H}\), \(g\)-compatibility of \(\mathcal{H}\) with \(\mu\) (denoted by \(\mathcal{H}\approx \mu)\) is defined as follows: if \(A\subseteq M_{\mu}\), and for every \(x \in A\), there exists \(U \in \mu\) containing \(x\) such that \(U \cap A \in \mathcal{H}\), then \(A \in \mathcal{H}\). If \(\mathcal{H}_r(\mu)\) is the collection of all \(\mu\)-rare sets and if \((X, \mu)\) is a quasi-topological space, it is shown that \(\mathcal{H}_r(\mu)\approx \mu\); for a hereditary class \(\mathcal{H}\) of \((X, \mu)\), it is shown that \(\mathcal{H}\star \mathcal{H}_r(\mu)\approx \mu\). With an operator \(\gamma^{\star}_{\mu}:\mathcal{P}(X)\rightarrow \mathcal{P}(X)\) defined by \(\gamma^{\star}_{\mu}(A)=X -(X - A)^{\star}\) for \(A\subseteq X\), it is shown that for a GTS with a hereditary class \(\mathcal{H}\), \(\mathcal{H}\approx \mu\) iff \(\gamma^{\star}_{\mu}(A)- A \in \mathcal{H}\) for every \(A\subseteq X\). It is further shown that, if \(\mathcal{H}\approx \mu\), and if \(U, V \in \mu\) with \(\gamma^{\star}_{\mu}(U)= \gamma^{\star}_{\mu}(V)\), then \(U - V \in \mathcal{H}\) and \(V - U \in \mathcal{H}\).