S142: Erdős space - Githubissues

pi-base / data

A community database of topological counterexamples

https://topology.pi-base.org/

Creative Commons Attribution 4.0 International

69 stars 24 forks source link

Closed prabau closed 2 months ago

prabau commented 2 months ago

This provides a classical example of a space that is metrizable, totally separated, but not zero-dimensional: https://topology.pi-base.org/spaces?q=Totally+Separated%2BMetrizable%2B%7EZero+Dimensional

Closes #315.

Plus tweaks for the S30 (Hilbert space) README.