Existence of a small closed ball in $\mathbb{R}^2$ such that a curve does not enter except when $t \in (a_i-\delta, a_i +\delta)$.

94 Views Asked by At

Let $\gamma : [a,b] \to \mathbb{R}^2$ be a continuous map which is injective on $[a,b)$ ( For example, simple closed curve ). Let $a_i \in [a,b]$ and $\delta>0$ be a small positive number. Then note that the image under $\gamma$ of $[a,b]-(a_i -\delta , a_i+\delta)$ is a compact set that does not contain $\gamma(a_i)$.

Then, can we choose $r$ small enough that $\gamma$ does not enter $\bar{B_r}(\gamma(a_i))$ except when $t\in (a_i -\delta , a_i+\delta)$ ?

In fact, this argument appears in the eleventh paragraph of the John Lee's Introduction to Riemannian manifolds, proof of the theorem 9.1 ( Rotation index theorem ).

C.f. For a supplement, let's look at the next image :

enter image description here

Such a ball of radius $r$ exists?

Can anyone helps?

1

There are 1 best solutions below

11
On BEST ANSWER

One way to answer this is to think of $\gamma(a_i)$ and $\gamma(([a,b]-(a_i-\delta, a_i+\delta))$ as disjoint compact subsets of $\mathbb{R}^2$. Hence there must be a minimum distance between them. And it can't be zero as that would imply the existence of a sequence of points in $\gamma(([a,b]-(a_i-\delta, a_i+\delta))$ converging to $\gamma(a_i)$. But that can't happen since $\gamma(([a,b]-(a_i-\delta, a_i+\delta))$ is closed, hence includes its limit points, hence must include $\gamma(a_i)$ which contradicts that they're disjoint.