# Prove or disprove: a closed, non-open set is also bounded

If a set is closed and open, it may be bounded (e.g., the empty set), or it may be unbounded (e.g., the set of real numbers).

But what about a closed set that is not open? Such as:

• a singleton
• a set of finite points
• a closed interval
• the union of a finite collection of closed intervals
• the nonempty intersection of an arbitrary (possibly infinite) collection of closed intervals

These are all examples of closed, non-open sets, and they are all bounded.

Prove that if a set is closed and non-open, then it is bounded; or disprove by providing an example of a closed, non-open set that is unbounded.

• $[0, \infty)$? ${}$ – Nigel Overmars Aug 20 '15 at 17:15
• @NigelOvermars WolframAlpha says the right end is open. But it does contain all its limit points… – chharvey Aug 20 '15 at 17:17
• If you don't like $[0,\infty)$, how about $\mathbb{Z}$, the set of all integers? This set has no limit points, so it's trivially closed. Alternatively, its complement is open since it is the union of all intervals of the form $(n, n+1)$. – Bungo Aug 20 '15 at 17:35
• A singleton can perfectly be open, it depends on the topology: if $V$ is a discrete valuation ring, $\operatorname{Spec} V$, endowed with the Zariski topology, has two points: one is closed, the other is open and not closed. Of course it's not a Hausdoff topology. – Bernard Aug 21 '15 at 12:41

The answer is $[0, \infty) \in \mathbb{R}$ as provided by Nigel. It is not open as you can't find an open ball around the point $0$ and it is closed as $(-\infty,0)$ is open.
• Note $[0,\infty) \not \in \mathbb R.$ – zhw. Aug 20 '15 at 18:47
• @Bernard that may be true, but I think it depends on the author. My book uses the limit point definition. Incidentally I think it's much more fascinating to define two concepts separately and then prove that they're related. E.g. define $\ln(x)$ as an integral and $\exp(x)$ as a summation, then prove that they're inverse functions (rather than defining one as the inverse of the other). – chharvey Aug 21 '15 at 12:18