6
$\begingroup$

I am trying to construct a topological space that is path connected, but nowhere locally connected.

If we define $p = (0,1)\in\mathbb{R}^2$, and for all $q\in\mathbb{Q}\cap[0,1]$ $T_q = \{v\in\mathbb{R}^2\ |\ \exists t\in[0,1],\ v = (1-t)p + t(q,0)\}$, then $$ T = \bigcup\limits_{q\in\mathbb{Q}\cap[0,1]}T_q $$ the space of all lines connecting rationals in $[0,1]\times\{0\}$ to $p$, can be shown to be path connected but locally connected only at $p$. I thought of attempts to maybe generalize the idea to make the desired result. The immediate one of these attempts was to maybe 'rational duplicate' $p$ along the $y = 1$ line, i.e. to let $T$ be all the lines connecting every rational point on $[0,1]\times\{0\}$ to every rational point on $[0,1]\times\{1\}$, but the proof attempt did not go (I am not sure if this is correct).

Another idea was maybe a space-filling curve, but this seems a bit exotic.

$\endgroup$
2
15
$\begingroup$

In $\mathbb R^2$, draw lines from $(0,0)$ to $(1,q)$ for all rational $q$ in $[0,1]$
and from $(1,0)$ to $(0,-q)$ for all rational $q$ in $[0,1].$ This subspace
is path connected and nowhere locally connected.

$\endgroup$
8
  • $\begingroup$ I think you mean from (0,1) to (-q,0). $\endgroup$ – DanielWainfleet May 6 '17 at 5:58
  • 1
    $\begingroup$ @DanielWainfleet. No, I meant what I said. However, you've brought to my attention an error which I have corrected. $\endgroup$ – William Elliot May 7 '17 at 2:02
  • $\begingroup$ Nice to see a very simple example $\endgroup$ – DanielWainfleet May 7 '17 at 2:43
  • $\begingroup$ How should the set be written? I don't have a clear idea, I tried this $\{(x,y)\in\mathbb R^2: xt+(1-t)y\dots\}? $ $\endgroup$ – user486983 Jan 3 '18 at 23:33
  • 1
    $\begingroup$ Very nice ... love it! Reference @Isa 's question. WilliamElliot 's description above is very clear, but to "code" it in a way that might seem more rigorous try: $\{(x,y)\in\mathbb{R}^2:y=mx, \text{for some } m \in\mathbb{Q}\cap[0,1] \text{ and some } x\in [0,1]\}$ union $\{(x,y)\in\mathbb{R}^2:y=m(x-1), \text{for some } m \in\mathbb{Q}\cap[0,1] \text{ and some } x\in [0,1]\}$ $\endgroup$ – Selrach Dunbar Mar 20 '18 at 13:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.