Resolvable space: Difference between revisions
m (2 revisions) |
|||
| Line 11: | Line 11: | ||
==Definition== | ==Definition== | ||
A [[topological space]] is said to be '''resolvable''' if it has two disjoint [[dense subset]]s. Note that since any subset containing a dense subset is dense, this is equivalent to saying that it is expressible as a union of two disjoint dense subsets. | |||
Note that by this definition, the [[one-point space]] is not a resolvable space, but the [[empty space]] is a resolvable space. | |||
==Examples== | ==Examples== | ||
Revision as of 19:46, 26 January 2012
This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces
History
Origin
The term resolvable space was introduced by E. Hewitt in 1943.
Definition
A topological space is said to be resolvable if it has two disjoint dense subsets. Note that since any subset containing a dense subset is dense, this is equivalent to saying that it is expressible as a union of two disjoint dense subsets.
Note that by this definition, the one-point space is not a resolvable space, but the empty space is a resolvable space.
Examples
The real numbers form a resolvable space. The rationals and irrationals both form disjoint dense subsets.
Relation with other properties
Weaker properties
References
- A problem of set-theoretic topology by E. Hewitt, Duke Math J., 1943