Is Every Singleton Set Open? (No, Here's When It Is)
At a glance
- 1. Test the claim in ℝ
Every interval around 0 contains other points, so {0} is not open in ℝ.
- 2. Know the exact condition
{x} is open exactly when x is an isolated point of the space.
- 3. Spot discrete spaces
Finite metric spaces, ℤ and discrete metrics make every singleton open.
- 4. Remember closedness
In any metric space, singletons are always closed.
The statement “every singleton set is open” is false as a general fact, but true in some important spaces. Here is how to tell which situation you are in.
Counterexample: the real line
Take with and the set . For to be open, some interval with would have to lie inside . But always contains . So is not open, and the same argument works for every point of .
When a singleton is open
In a metric space, is open exactly when is an isolated point:
Equivalently, . Examples where this holds for every point, so that all singletons are open:
- Any finite metric space. Take to be the smallest distance to another point (full proof).
- with the usual distance. .
- Any set with the discrete metric, where for . Here .
A space where every singleton is open has the discrete topology: every subset is open, because it is a union of singletons.
Mixed cases exist too. In with the usual distance, each is open but is not.
Singletons are always closed in a metric space
The opposite property does hold in general. To see that is closed, show that its complement is open. If , put . Then doesn’t contain , so it lies in the complement. Hence is open and is closed.
(In general topological spaces, singletons are closed exactly when the space is . Every metric space is , but some non-metric topologies are not.)
Summary of cases
| Space | Is open? | Is closed? |
|---|---|---|
| , (usual metric) | No | Yes |
| Finite metric space | Yes | Yes |
| , discrete metric | Yes | Yes |
| Indiscrete topology on a set with points | No | No |
Common mistakes
- Thinking “open” means “not closed”. Sets can be both (as in discrete spaces) or neither (such as in ).
- Proving openness with a closed ball, or with a radius that hasn’t been shown to be positive.
- Generalising from finite spaces. The finite case works only because a minimum over finitely many positive distances is positive.
References
- Munkres, J. R. (2000). Topology (2nd ed.), Sections 13 and 17. Prentice Hall.
Spotted an error? Send a correction. Read how we write and check articles in our editorial policy.