Jason (jcreed) wrote,


Aha, so a space which has a countable basis and which can
simultaneously separate any countable collection of isolated
points must be regular. You look at any closed C and point x
which by hypothesis can't be separated, choose a chain of
neighborhoods U_i of x such that one of them fits inside any
neighborhood of x, realize that they must meet successive
V_i each owning a c_i of C, and then observe by sigma-s.s.
that we must be able to find a c_j in the closure of infintely
many other c_i (i ne j) so it has to be in the closure of
infinitely (and cofinally!) many U_i, violating Hausdorff, QED.

  • (no subject)

    Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I…

  • (no subject)

    Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.

  • (no subject)

    Sean's back in town --- good fun working with nonremote teammates.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded