Skip to main content
6 of 7
Best described the difficulty

Edit: the following argument is incomplete insufficient, since it doesn't prove that the direction of $S_x$ remains the same, or at least has vanishingly small perturbations, when $x$ goes to $\infty$. See the comments below.

Update (January 5th, 2023)

I (OP) take the liberty of updating again this answer, since I realized that defining it "incomplete", as I did, is a bit misleading, letting perhaps one think that there's just some detail to be fixed. In fact, I think that the difficulty described in the Edit above is the key one. I arrived at versions of it through each one of the attempts I made at solving the problem.


I believe the implication is true for an arbitrary simple curve $\gamma$ whose both ends escape to infinity. First, let's rescale so that the discs have radius $1$. Denote by $D_r(\vec v)$ the open radius-$r$ disc centered at $\vec v$, where $r=1$ if it's omitted.

Lemma 1. For each $x$, $\gamma^{-1}(D(\gamma(x)))$ is an interval.

Proof. If not, then it has at least two connected components, whose $\gamma$-images split $D(\gamma(x))$ into at least three components. QED.

The following lemma does most of the work.

Lemma 2. Let $a < b < c$ be such that $\gamma(a), \gamma(c) \notin \bar D(\gamma(b))$, and let $\ell$ be a line passing through $\gamma(b)$. If $\gamma([a,c])$ is not contained in $\ell$, then it intersects both components of $\mathbb{R}^2 \setminus \ell$.

Proof. Suppose not, and let $A, B$ be the components with $\gamma([a,c])$ intersecting $B$. Re-orient the plane so that $\ell$ is horizontal. Let $x = \sup \{ t \leq b : \gamma(t) \in B \}$ or $x = \inf \{ t \geq b : \gamma(t) \in B \}$, whichever is finite and minimizes $\| \gamma(x) - \gamma(b) \|$; WLOG assume the latter and that $\gamma(x)$ is on the right of $\gamma(b)$ on $\ell$. Then there exist $t < x$ with $\gamma(t) \in B$ arbitrarily close to $x$. For $r > 0$, let $\ell_r$ be the length-$r$ closed segment of $\ell$ that extends to the right from $\gamma(x)$. Then $\gamma(\mathbb{R})$ cannot contain $\ell_r$ as a subset: since $\gamma$ is a homeomorphism onto its image, $\gamma^{-1}(\ell_r)$ would have to be connected, which contradicts the properties of $x$. If $\gamma(x) \in D(\gamma(b))$, then there exists $\vec v \in (\ell_r \cap D(\gamma(b))) \setminus \gamma(\mathbb{R})$, which has a neighborhood $U$ disjoint from $\gamma([a,b])$, and then $B \cup U$ is contained in one component of $D(\gamma(b))$ and covers more than half of it.

Suppose then $\gamma(x) \notin D(\gamma(b))$ and let $y = \inf \{ y \geq b : x \in D(\gamma(y)) \}$. Note that $S = \gamma(\mathbb{R}) \cap D(\gamma(y))$ is a line segment. If $\| \gamma(c) - \gamma(y) \| > 1$, then $c+\epsilon$ for a small $\epsilon$ works as $b$ above. Otherwise we must have $\gamma(c) \in B$, since $S = \gamma((t,x)) = \ell \cap D(\gamma(y))$ for some $t$ and $\gamma$ is simple. The minimal $d > c$ with $\gamma(d) \in \ell$, if it exists, satisfies $\| \gamma(d) - \gamma(x) \| > 0$, so we have $\gamma(x) \in D(\gamma(y+\epsilon))$ and $\gamma(d) \notin D(\gamma(y+\epsilon))$ for some small $\epsilon > 0$. Then $y+\epsilon$ and $d$ work as $b$ and $c$ above. QED.

In the following $\ell(\vec v, \vec w)$ is the line that passes through $\vec v \neq \vec w$. We say a set $K \subset \mathbb{R}$ is between two parallel lines $\ell$ and $\ell'$, if $K$ is contained in the convex hull of $\ell \cup \ell'$.

Lemma 3. There exist two parallel lines such that $\gamma(\mathbb{R})$ is between them.

Proof. For $x > 0$, consider $C_x = \gamma([-x,x])$. Since $C_x$ is compact, it is between two lines $\ell_x^-, \ell_x^+$ that are parallel to $\ell_x = \ell(\gamma(-x), \gamma(x))$ and have minimal distance among such pairs of lines. Then both lines intersect $C_x$.

We claim that the distance between $\ell_x^-$ and $\ell_x^+$ is at most $2$. If not, one of them, say $\ell_x^+$, has distance $d > 1$ from $\ell_x$. Take any $\gamma(b) \in \ell_x^+ \cap C_x$, which has distance at least $d$ from $\gamma(-x)$ and $\gamma(x)$, since the latter points are in $\ell_x$. Then the numbers $-x < b < x$ and the line $\ell_x^+$ contradict Lemma 2.

We claim that as $x \to \infty$, the direction of the line $\ell_x$ converges to some direction $\delta$. For all $0 < x < y$ we have $\gamma(-x), \gamma(x) \in C_y$, and hence the segment $S_x = \gamma(-x) \gamma(x)$ of $\ell_x$ is between $\ell_y^-$ and $\ell_y^+$. Then every point of $S_x$ is within distance $2$ of $\ell_y$, which constrains the direction of $\ell_y$ to an interval whose length approaches $0$ as the length $\| \gamma(-x) - \gamma(x) \|$ of $S_x$ grows. The intersection of these intervals is a singleton $\{\delta\}$.

Let $\ell^-, \ell^+$ be the two lines with direction $\delta$ that are at distance $3$ from $\gamma(0)$. We claim that $\gamma(\mathbb{R})$ is between these lines. Fix $x > 0$, and consider $r > 0$. For all large enough $y$, the set $D_r(\gamma(0)) \cap (\ell_y^- \cup \ell_y^+)$ is between $\ell^-$ and $\ell^+$ since the directions of $\ell_y^-, \ell_y^+$ converge to $\delta$ and they are at distance at most $2$ from $\gamma(0)$. Since $C_x$ is between $\ell_y^-$ and $\ell_y^+$, if we chose $r$ large enough then this shows that $C_x$ is also between $\ell^-$ and $\ell^+$. Since this holds for all $x$, we are done. QED.

We now fix two parallel lines $\ell^-, \ell^+$ that have $\gamma(\mathbb{R})$ between them and whose distance is minimal.

Lemma 4. $\ell^- = \ell^+$.

Proof. Suppose not. Both lines contain points that are arbitrarily close to $\gamma(\mathbb{R})$ since their distance is minimal. If either line intersects $\gamma(\mathbb{R})$, then the intersection point $\gamma(b)$ and the points $\gamma(-x), \gamma(x)$ for any large enough $x > 0$ contradict Lemma 2. Rotate the plane so the lines are horizontal with $\ell^+$ on top, and suppose WLOG $\gamma(x)$ escapes to the right when $x \to +\infty$ and gets arbitrarily close to $\ell^+$ as it does so. Consider $C_a = \gamma([-a,a])$ for some $a$ with $\gamma(\mathbb{R}) \cap ([-2,2] \times \mathbb{R}) \subset C_a$ and let $\epsilon > 0$ be its minimum distance from $\ell^+$. Take $b, c$ with $\gamma(b)_1 > 2$, $\gamma(c)_1 \gg 4 \cdot \gamma(b)_1$ and $\gamma(b)$ closer to $\ell^+$ than $\epsilon/2$. Consider the minimum-slope line $\ell$ that intersects $\ell^+$ directly above $\gamma(c)$ and intersects $C_a$. The vertical distance from $\gamma(b)$ to $\ell$ is at least $\epsilon/4$, and so is the vertical distance between $\ell$ and the lowest parallel line $\ell'$ that lies above $\gamma([-a,c])$. Let $\gamma(d)$ be an intersection point of $\ell'$ and $\gamma([-a,c])$. Then $\gamma(0), \gamma(c) \notin \bar{D} (\gamma(d))$ (the first because $\ell'$ is disjoint from $C_a$, the second because it intersects $\ell^+$ far to the left of $\gamma(c)$), so that $\ell'$ violates Lemma 2 with $0$, $d$ and $c$. QED.

Now $\gamma$ is the line $\ell^- = \ell^+$.

Ilkka Törmä
  • 740
  • 1
  • 5
  • 12