3
$\begingroup$

$A$ is an interval $\implies$ $A$ is pathwise connected.

This kind of goes off one of my previous general questions about path connectedness. I've tried to formalize my attempt at proving this a bit:

My definition of path connectedness says that $A\subset X$ is pathwise connected if $\forall x,y\in A$ there exists a continuous path $\gamma:[a,b]\rightarrow A$ with $\gamma(a)=x$ and $\gamma(b)=y$.

Attempt at a proof:

Let $A\subset\mathbb{R}$ be an interval. Without loss of generality, let $A=[a,b]$ for some $a,b\in\mathbb{R}$: $a. Then, $\forall c,d\in A$, $a\leq c. Consider $\gamma:[0,1]\rightarrow [a,b]: \gamma(t)=c+t(d-c).$ Then, $\gamma(0)=c$ and $\gamma(1)=d$. Since $c,d\in A$ were arbitrary, $\implies$ A is path connected.

  • 0
    @Emir, what is your question??? Your proof is correct...2012-03-10

1 Answers 1

1

The proof is correct, but you have to justify the "without loss of generality", as you just dealt with closed bounded intervals. Maybe you could add a line saying that the argument if we treat other types of intervals.

  • 0
    A possible modification of the argument that takes care of all cases is as follows: without deciding what kind of interval $A$ is, pick $c,d \in A$ that you want to show are connected by a path. Then without loss of generality, assume $A = [c,d]$2012-12-23