Collectionwise weak continuity duals (Q1046932)

Let \((X,\tau)\) and \((Y,\sigma)\) be topological spaces. A function \(f:(X,\tau)\to (Y,\sigma)\) is said to be \(\mathcal C\)-continuous if for some \(\mathcal C\in 2^X\) with \(\tau \subset \mathcal C\) we have \(f^{-1}(V)\in \mathcal C\), for each \(V\in \sigma\). If also \(\tau\subset \mathcal C^*\subset 2^X\), \(\mathcal C^*\)-continuity is a dual of \(\mathcal C\) continuity if \(\mathcal C\cap \mathcal C^*=\tau\). In this paper, the authors introduce the notions of upper/lower collectionwise closed sets as follows: \(A\) is upper \(\mathcal C\)-closed \(\Leftrightarrow\, \forall\, B\in \mathcal C\), \((A\subset B\Rightarrow Cl(A)\subset B)\); \(A\) is lower \(\mathcal C\)-closed \(\Leftrightarrow \forall\, B\in \mathcal C\), \((B\subset A \Rightarrow Cl (B)\subset A)\), where \(Cl(A)\) is the closure of \(A\). Upper/lower collectionwise open sets are defined by complementation: \(A\) is upper \(\mathcal C\)-open \(\Leftrightarrow \forall\, B\in \mathcal C\), \((A\subset B\Rightarrow A\subset \text{Int}\, (B))\), \(A\) is lower \(\mathcal C\)-open \(\Leftrightarrow \forall\, B\in \mathcal C\), \((B\subset A, \Rightarrow B\subset \text{Int}(A))\), where \(\text{Int}(A)\) is the interior of \(A\). For \(\mathcal C\subset 2^X\), we denote by \(U\mathcal C O/L\mathcal C O\) the families of upper/lower \(\mathcal C\)-open/\(\mathcal C\)-lower open sets. The following general theorem is proved. Theorem: For any family \(\mathcal C\) of generalized open subsets of \((X,\tau)\), we have \(\mathcal C\cap U\mathcal CO=\mathcal C\cap L\mathcal C O=\tau\). By this theorem, we obtain general decompositions of continuity. For example, if \(\mathcal C^*=U\mathcal CO, L\mathcal C O,U\mathcal CO\cup L\mathcal CO\), then \(\mathcal C\)-continuity \(+\mathcal C^*\)-continuity\(=\)continuity. In the last part of this paper, the \(g\)-continuity dual is studied and a new decomposition of continuity is obtained.