6
$\begingroup$

Can a smooth closed real plane curve intersect itself at infinitely many points? It seems intuitively obvious that the answer should be no, yet I have no idea how to prove this or construct a counter-example. Here by smooth I mean $C^1$. If the answer is no, to which $C^k$ do we have to move for this geometric condition to be satisfied?

Edit: Here is an attempt to formalize the above: Let $C$ be a closed curve and $P$ a point at its image. We say that $C$ intersects itself at P, if for all parametrizations $f: [a,b] \to C$ (which are of the same $C^k$ class as C), the equation $f(x)=P$ has at least two solutions in $[a,b]$. I think this would work for what I had in mind posing this question.

By the way, I have no idea if this is the same with the transversal intersection definition proposed below.

  • 3
    Isn't $\gamma : \mathbb{R} \to \mathbb{R}^2$, defined by $\gamma (t) = (\cos(t), \sin(t))$, a closed curve in $\mathbb{R}^2$ that intersects itself at infinitely many points?2012-09-11
  • 0
    Huh... yes technically, but I mean a "geometric" self-intersection; e.g the curve that looks like an 8 has 1 self-intersection. Perhaps you could say the normal and tangent vector cannot coincide on open intervals, but I am not sure if this gives precisely what I mean. But I am sure you can visualize what I mean?2012-09-11
  • 1
    I guess you only want to count "transverse intersections". http://en.wikipedia.org/wiki/Transversality_%28mathematics%292012-09-11
  • 0
    If you keep the intersections apart from each other you can prevent this because the curve is a continuous image of a compact set, therefore compact. The spaces between the intersections form an infinite (almost) cover with no finite subcover.2012-09-11
  • 0
    Let me suggest another variant of the question: "Can a smooth closed real plane curve intersect itself at infinitely many points with **all** self-intersections being transversal?" Seems the answer is "no" now.2012-09-11

2 Answers 2

2

Here is a less trivial example. The function

$$f(x)=\begin{cases} 0&\quad \text{if} \quad x=0\\ x^p \sin(1/x) &\text{otherwise} \end{cases}$$

is as smooth as you want (making $p$ large) but intersects the zero line infinitly often for $x\in[0,1]$. From this function you can easily make a closed loop intersecting itself infinitely often this way.

  • 0
    OK... how about analytic functions? Does it work there?2012-09-11
  • 0
    @Bernard Yes, it does. An infinite set of self intersections would have a limit point, forcing (by the identity theorem) the curve to be periodic, like the parametrization of circle mentioned above.2012-09-12
11

How about $y=x^2 \sin \frac 1x$ and $y=0$ on $x \in [0,1]$ plus a smooth turnaround at each end?

  • 0
    hmm, you beat me to it:)2012-09-11
  • 0
    And if you want $C^{\infty}$, just use $e^{-1/x^2} sin (1/x)$ instead.2012-09-11
  • 0
    @DavidSpeyer: I don't think changing the continuity level makes it easier or harder once you get past $C^1$ as you say.2012-09-11