Jason (jcreed) wrote,


Progressing on topo paper ideas.
I found conditions paramatrized by cardinals
strictly between T_2 and T_3. A space is k-separatable
if any cardinality-k collection of isolated points
can be separated by disjoint open sets.
So T_1 and 2-separatable => Hausdorff.
Also if a space is countably based and aleph_0-separatable,
I think it must be regular. Perhaps more generally if
a space has a k-basis and is k-separatable, it's regular?

Hm, now that I think about it, this claim is not at all
obvious. I've come pretty close to finding an irregular
w-based w-separatable space, but not quite.

(Erg, no that counterexample doesn't actually work)

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded