Extension of generalized topological spaces via stacks (Q343236)

For any \(A\subseteq X\), \(c_{\mu}(A)\) is defined as \(\{x\in X:\) for each \(U\in \mu(x)\) we have \(U\cap A\neq\phi\}\), where \(\mu(x)\) is defined as the set of all \(\mu\)-open sets containing an element \(x\in X\). In a GTS \((X,\mu)\), if \(c_\mu(\phi)\neq \phi\), then each point of \(c_\mu(\phi)\) is called an abandoned point of \(X\). For each non-abandoned \(x\in X\), \(\mathcal{S}(x)\) denotes the collection \(\{A\subseteq X: x\in c_\mu(A) \}\); it is shown that \(\mathcal{S}(x)\) is a stack. The author defines different types of stacks, as follows: a stack \(\mathcal{S}\) on a GTS is called a (i) closure stack (c-stack, in short) if \(c_\mu(A)\in\mathcal{S}\Rightarrow A\in \mathcal{S}\) for each \(A\subseteq X\); (ii) fixed point stack (fp-stack, in short) if \(\mathcal{S}=\mathcal{S}(x)=\{A\subseteq X: x\in c_\mu (A) \}\), for some \(x\in X\); (iii) neighbourhood stack (nbd-stack in short), if \(\mathcal{S}=\mu\)-neighbourhood system at \(x\), for some \(x\in X\). If, in a GTS, there is no abandoned point, then the GTS is called strong. It is shown that for a \(T_0\) GTS \((X,\mu)\) and \(X^*\) the collection of all c-stacks on \(X\), with the strong GT \(\sigma\) given by the generalized closure operator \(c_\sigma:\mathcal{P}(X^*)\longrightarrow \mathcal{P}(X^*)\), described as \(c_\sigma(\alpha)=\cap\{A^c: \alpha\subseteq A^c, A\subseteq X\}\), \((X^*,\sigma)\) is an extension of \((X,\mu)\) via the map \(\psi: (X,\mu)\longrightarrow (X^*,\sigma)\) given by \(\psi(x)=\mathcal{S}(x)\). The concept of \(\mu\)-compactness is defined for a GTS \((X,\mu)\) in the natural fashion. Defining conjoint stacks, it is shown that a GTS \((X,\mu)\) is \(\mu\)-compact iff every conjoint stack \(\mu\)-adheres in \(X\) where \(\mu\)-adherence of a stack \(\mathcal{S}\) at some \(x\) happens when \(\mathcal{S}\subseteq \mathcal{S}(x)\). A grill \(\mathcal{S}\) on a GTS \((X,\mu)\) is called linked if, for any pair \(A,B\in \mathcal{S}\), \(c_\mu(A)\cap c_\mu(B)\neq \phi\); a GTS \((X,\mu)\) is called generalized linkage compact, if every linked grill \(\mu\)-adheres in \(X\). A \(\mu\)-regular \(\mu\)-compact GTS is shown to be generalized linkage compact. It is also shown that an extension \((X^*,\sigma)\) of a \(T_0\) GTS \((X,\mu)\) via the injective map \(\phi: X\longrightarrow X^*\), \((X^*, \sigma)\) is \(\mu\)-compact iff \(X^*\) (which contains all fp-stacks), is a finitely determined collection of c-stacks on \(X\).