« first day (3588 days earlier)    last day (4 days later) » 

9:09 AM
6
Q: Totally disconnected implies base of closed sets?

Stephen HerschkornAny $\ T_0$ space that has a base consisting of closed (hence clopen) sets is totally disconnected. Does a totally disconnected space necessarily have a base consisting of closed sets?

Willard's General Topology has one counterexample in exercise 29B. See here. There are others; c.f. Counterexamples in Topology Steen and Seebach. — David Mitra May 7, 2012 at 13:13
For the case that $X$ is compact, the result mentioned by Dylan is shown in this interesting blog post: Thoughts about connectedness (Totally disconnected spaces). — Martin Sleziak Jun 1, 2012 at 4:57
7
A: Totally disconnected implies base of closed sets?

Martin SleziakSeveral examples of this kind are mentioned at standard places where to look for counterexamples in general topology. Wikipedia article on totally disconnected spaces mentions Erdős space. The same space is also mentioned as Example 6.2.19 in Ryszard Engelking: General Topology, Heldermann Verlag...

And more that just totally disconnected, the above shows that Erdős space is totally separated (i.e., given any two distinct points $x$ and $y$, there is a clopen nbhd of $x$ not containing $y$). — PatrickR 12 hours ago
In mathematics, Erdős space is a topological space named after Paul Erdős, who described it in 1940. Erdős space is defined as a subspace E⊂ℓ2{\displaystyle E\subset \ell ^{2}} of the Hilbert space of square summable sequences, consisting of the sequences whose elements are all rational numbers. Erdős space is a totally disconnected, one-dimensional topological space. The space E{\displaystyle E} is homeomorphic to E×E{\displaystyle E\times E} in the product topology. If the set of all homeomorphisms of the Euclidean space Rn{\displaystyle \mathbb {R} ^{n}} (for n≥2{\displaystyle n\geq 2}) that...
In topology and related branches of mathematics, a totally disconnected space is a topological space that has only singletons as connected subsets. In every topological space, the singletons (and, when it is considered connected, the empty set) are connected; in a totally disconnected space, these are the only connected subsets. An important example of a totally disconnected space is the Cantor set, which is homeomorphic to the set of p-adic integers. Another example, playing a key role in algebraic number theory, is the field Qp of p-adic numbers. == Definition == A topological space X{\...
 

« first day (3588 days earlier)    last day (4 days later) »