Compatible hereditary classes in GTS (Q343267): Difference between revisions

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}\).