• rouven@lemmy.sdf.org
    link
    fedilink
    arrow-up
    2
    ·
    edit-2
    1 year ago

    Yeah that should work I think. Maybe more interesting would be whether there exists an example which is not locally homeomorphic to IR (I think you’re example still fulfills that). But I believe that is solved by using something like the long line and looking at e.g. ω0\times 0. Is there an example that is nowhere locally homeomorphic to IR?