Structure of the exponent of a discrete space (Q1060447)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 3907327
Language Label Description Also known as
default for all languages
No label defined
    English
    Structure of the exponent of a discrete space
    scientific article; zbMATH DE number 3907327

      Statements

      Structure of the exponent of a discrete space (English)
      0 references
      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

      Identifiers