Compacta are maximally \(G_\delta \)-resolvable. (Q2856931)

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 6221267
Language Label Description Also known as
default for all languages
No label defined
    English
    Compacta are maximally \(G_\delta \)-resolvable.
    scientific article; zbMATH DE number 6221267

      Statements

      0 references
      0 references
      30 October 2013
      0 references
      compact space
      0 references
      resolvable space
      0 references
      maximally resolvable space
      0 references
      \(G_{\delta }\)-set
      0 references
      Compacta are maximally \(G_\delta \)-resolvable. (English)
      0 references
      A space \(X\) is \(\kappa \)-resolvable if it contains \(\kappa \)-many mutually disjoint dense subsets and \(X\) is maximally resolvable if it is \(\Delta (X)\)-resolvable, where \(\Delta (X)\) denotes the minimal cardinality of a non-empty open set in \(X\). It is well known that each compact Hausdorff space is maximally resolvable and the aim of this short paper is to prove the following analogous result: Each compact Hausdorff space contains \(\Delta _{\delta }(X)\) many mutually disjoint \(G_{\delta }\)-dense subsets, that is to say, \(\Delta _{\delta }(X)\)-many mutually disjoint subsets which are dense in the topology generated by the \(G_{\delta }\)-subsets of \(X\) (where \(\Delta _{\delta }(X)\) denotes the minimum cardinality of a non-empty \(G_{\delta }\)-subset of \(X\)).
      0 references

      Identifiers