Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
It will have to be non-T1. The Sierpinski space with the closed point as Y would be the minimal example I think, if not very interesting.
There are probably a lot of examples with finite topological spaces, I don’t know if they are interesting though. Oh and every space should be codense in itself?
So no intuitive story such as in the dense case of how behaviour on ℚ determines behaviour on ℝ?
A quick search came up with that the axiom of choice is equivalent to every non-empty space having a codense T_0 subspace. The name of McCarten was mentioned.
There is a related notion in locale theory see http://www.mat.uc.pt/preprints/ps/p1445.pdf
1 to 5 of 5