*-Topological properties (Q916132)

Summary: An ideal on a set X is a nonempty collection of subsets of X closed under the operations of subset (heredity) and finite unions (additivity). Given a topological space (X,\(\tau\)) an ideal \({\mathcal I}\) on X and \(A\subseteq X\), \(\psi\) (A) is defined as \(\cup \{U\in \tau:\) U-A\(\in {\mathcal I}\}\). A topology, denoted \(\tau^*\), finer than \(\tau\) is generated by the basis \(\{\) U-I: \(U\in \tau\), \(I\in {\mathcal I}\}\), and a topology, denoted \(<\psi (\tau)>\), coarser than \(\tau\) is generated by the basis \(\psi (\tau)=\{\psi (U):\) \(U\in \tau \}\). The notation (X,\(\tau\),\({\mathcal I})\) denotes a topological space (X,\(\tau\)) with an ideal \({\mathcal I}\) on X. A bijection f: (X,\(\tau\),\({\mathcal I})\to (Y,\sigma,{\mathcal J}\}\) is called a *- homeomorphism if f: (X,\(\tau\) \({}^*)\to (Y,\sigma^*)\) is a homeomorphism, and is called a \(\psi\)-homeomorphism if f: (X,\(<\psi (\tau)>)\to (Y,<\psi (\sigma)>)\) is a homeomorphism. Properties preserved by *-homeomorphisms are studied as well as necessary and sufficient conditions for a \(\psi\)-homeomorphism to be a *-homeomorphism. The semi- homeomorphisms and semi-topological properties of \textit{S. G. Crossley} and \textit{S. K. Hildebrand} [Fundam. Math. 74, 233-254 (1972; Zbl 0206.515)] are shown to be a special case.