Structure of the exponent of a discrete space (Q1060447)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Structure of the exponent of a discrete space |
scientific article |
Statements
Structure of the exponent of a discrete space (English)
0 references
1984
0 references
Let X be a topological space and \({\mathcal A}\), \({\mathcal B}\) families of subsets of X. For \(A\in {\mathcal A}\), \(B\in {\mathcal B}\) put \([A,B]=\{(F)\in \exp X:A\subset F\subset X-B\},\) where exp X denotes the system of all closed sets of X. If \({\mathcal A}\) and \({\mathcal B}\) are invariant with respect to finite unions, then the system \(\sigma =\{[A,B]:A\in {\mathcal A},\quad B\in {\mathcal B}\}\) forms a basis of ''(\({\mathcal A},{\mathcal B})\)-topology'' that is Hausdorff topology if and only if \(A\cap B\) contains all finite subsets of X. For infinite cardinals \(\lambda_ 1\), \(\lambda_ 2\) the \((\lambda_ 1,\lambda_ 2)\)-topology on exp X is the (\({\mathcal A},{\mathcal B})\)-topology, where \({\mathcal A}=\{C\subset X:| C| <\lambda_ 1\}\) and \({\mathcal B}=\{C\subset X:| C| <\lambda_ 2\}.\) This paper deals with these \((\lambda_ 1,\lambda_ 2)\)-topologies. The following theorem (Theorem 4) is typical: ''Let X be a discrete infinite topological space, \(\lambda_ 1\), \(\lambda_ 2\) infinite cardinals, \(\lambda_ 2>| X|\). Then the space exp X with the \((\lambda_ 1,\lambda_ 2)\)-topology is homeomorphic with the direct topological sum of its copies of the number \(| X|.''\)
0 references
topology of Ochan type
0 references
exponent of a discrete space
0 references