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 this page instead for the normal view: Compacta are maximally \(G_\delta \)-resolvable. |
scientific article; zbMATH DE number 6221267
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Compacta are maximally \(G_\delta \)-resolvable. |
scientific article; zbMATH DE number 6221267 |
Statements
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