On similarity between topologies (Q2440588)

For two different topologies \({\mathcal T}_1\) and \({\mathcal T}_2\) on the same set \(X\), denoting by NI\(({\mathcal T}_i)\) the family of sets with nonempty interior in the topology \({\mathcal T}_i\), \(i= 1,2, the spaces (X,{\mathcal T}_1)\) and \((X,{\mathcal T}_2)\) are said to he similar if NI\(({\mathcal T}_1)=\)NI\(({\mathcal T}_2)\), the notation being \({\mathcal T}_1\sim{\mathcal T}_2\); necessary and sufficient conditions for the similarity of two topologies \({\mathcal T}_1\) and \({\mathcal T}_2\) are enunciated and proved. A topological space \((X,{\mathcal T})\) is resolvable if there exists a set \(D\) such that \(D\) and \(X\setminus D\) are dense in \(X\). It is shown that if \((X,{\mathcal T})\) is resolvable then the ideal of nowhere dense sets \(ND({\mathcal T})\) is the maximal hereditary subfamily of \(NB({\mathcal T})\) -- the sets with nowhere dense boundary. In discussing how different similar topologies can be, it is shown by examples that: there exist homeomorphic spaces \((X,{\mathcal T}_1)\) and \((X,{\mathcal T}_2)\) which are not similar, there exists a non-metrizable space which is similar to a Euclidean metric space, there exists a space which is similar to a Euclidean space on the plane and which does not have the Lindelöf property, etc. It is shown that even continuity is not preserved if we change the topology on the domain into a similar one; denoting by \(Q({\mathcal T})\) the family of quasicontinuous functions \(f: (X,{\mathcal T})\to (Y,{\mathcal T}_y)\), it is shown that if \(\text{card}(Y)\geq 2\) and \((X,{\mathcal T}_1)\), \((X,{\mathcal T}_2)\), \((Y,{\mathcal T}_y)\) are Hausdorff spaces, and if \(Q({\mathcal T}_1)= Q({\mathcal T}_2)\), then \({\mathcal T}_1\sim{\mathcal T}_2\).