Uniqueness of curve of minimal length in a closed $X\subset \mathbb R^2$ Suppose $X$ is a simply connected closed subset of $\mathbb R^2$. Let $a,b$ belong to $X$. Is it true that there is at most one curve inside $X$ from $a$ to $b$ such that the length of the curve is minimal?
 A: The answer is yes. The idea is outlined in a previous answer. The rigorous proof is worked out  now. 
Assume the contrary that there are two points $a, b\in X$ and two curves $\gamma_i :[0,1] \to X$ joining $a$ and $b$. Let $\gamma_i :[0,1] \to X$. 
Claim one: We can WLOG assume that the two curves do not intersect.
Proof: Consider the set 
$$ \gamma_1^{-1} \big( \gamma_2[0,1]\big)  \subset [0,1]\ .$$
This is a closed set in $[0,1]$. We assume that this set is not the whole $[0,1]$ (or the image of $\gamma_1$ lies completely in $\gamma_2$). Thus the complement is open and contains an open interval $(t_1, t_2)$. We restrict $\gamma_1$ to $[t_1, t_2]$, (and also restrict the domain of $\gamma_2$ to the portion that connects $\gamma_1(t_1)$ and $\gamma_1(t_2)$). 
Call both restrictions $\alpha_1$ and $\alpha_2$ and renaming $a = \gamma_1(t_1)$ and $b = \gamma_1(t_2)$. Note that this two curves are still length minimizing (If not, then there is a shorter paths joining these two points, which means that the original curves $\gamma_i$ are also not length minimizing). 
As a result, we come up with two points $a, b\in X$ connected by two non-intersecting length minimizing curves. Thus claim one is proved.
Now the circle $C$ formed by first going along $\gamma_1$ and then $\gamma_2$ is a simple closed curve. Thus the Jordan curve theorem states that $\gamma_1 \cup \gamma_2$ bounds a bounded open set $\Omega$ such that $\partial \Omega = \gamma_1 \cup \gamma_2$.
Claim two: $\Omega \subset X$.
Proof: Assume the contrary that there is a point $x\in \Omega$ such that $x\notin X$. By translation we assume $x=0$ Consider the inclusion map 
$$\iota : X \to \mathbb R^2 \setminus \{0\}$$
Now as $0 \in \Omega$ and $\Omega$ is bounded by $C$. So any ray starting at $0$ will hit some points in $C$. This implies that $\iota_*[C]$ represents a nontrivial element in $\pi_1(\mathbb R^2 \setminus \{0\})$. But this is impossible as $X$ is simply connected, $\iota_*[C]=0$. This contradiction implies that $x\in X$. Thus $\Omega \subset X$. 
Now what remains is elementary geometry.
First, by some rotation assume that $a, b$ are in the $y$-axis. Let $L$ be a line parallel to the $y$-axis which touches $\bar \Omega$ at $c$ and not at $a, b$ (Such a $c$ can be found: Let $L$ comes from the left from $-\infty$, if it touches at $a, b$, then instead let $L$ comes from the right to find $c$) WLOG assume $c$ is in $\gamma_1$. 
Let $B$ be a small closed ball around $c$ which does not contain $\gamma_2$. Moves the line $L$ towards $\Omega$ a little bit to form the line $L'$. Consider a conneced component 
$$J \subset L' \cap \bar\Omega \cap B$$
$J$ is a line segment in $\Omega$ such that the boundary points are in $\gamma_1$ (as $B$ does not contains $\gamma_2$). Thus $\gamma_1$ cannot be length minimizing, as the line segment $J$ is length minimizing. This contradictions implies that there cannot be more than one length minimizing curves joining two points. 
Just to note that even for a path connected closed subset in $\mathbb R^2$ there might not be any curve with finite length joining two points. 
