4
$\begingroup$

Suppose that the closed, piecewise $C^1$-curve $f(\mathbb T)$ has exactly $n$ points that are run through twice, all other points are run through once. Is it true that the compact set $f(\mathbb T)$ has exactly $n+1$ holes? For $n=1$ this is true and is based on the well-known fact that a crosscut in a Jordan domain determines two Jordan subdomains (Proposition 2.12 in Pommerenke's book). More generally, if for a finite decomposition $ \mathbb T=\cup_{j=1}^n I_j$ of $\mathbb T$ into closed arcs with pairwise disjoint interiors, $f$ is injective on the interior of each $I_j$, what is the maximum number of holes of the closed set $f(\mathbb T)$?

$\endgroup$
2
  • 1
    $\begingroup$ What is T? Which book of Pommerenke? $\endgroup$ Commented Oct 27, 2022 at 0:51
  • $\begingroup$ @ Mariano Suarez-Alvarez $\mathbb T$ is the unit circle. The book: Pommerenke, Boundary behaviour of conformal maps, Springer, Berlin , 1992. $\endgroup$
    – ray
    Commented Oct 27, 2022 at 6:05

2 Answers 2

1
$\begingroup$

Here's a slightly more hands-on point of view, using just the Jordan curve theorem (although of course in the end it does come down to the same thing as Euler's formula somehow, as described by Alex.)

Take a closed curve $\gamma\colon [0,1]\to S^2$, and assume that there are only finitely many pairs of points in $[0,1]$ that have the same image under $\gamma$. (Here $S^2$ is the sphere, i.e. the one-point compactification of the plane.)

Now define a finite sequence $(x_n)_{n=0}^{N}$ in $[0,1]$ by letting $x_0 = 0$ and letting $x_{n+1}>x_n$ be minimal with $\gamma(x_{n+1})\in \gamma([0,x_{n+1}))$. By assumption, this yields a finite sequence with $x_N = 1$.

Now, I claim that $\gamma([0,x_n])$ separates the sphere $S^2$ (compactification of the plane) into $n+1$ connected components, which are all simply-connected (hence topologically equivalent to the plane). This is trivial for $n=0$. If true for $n<N$, then it follows for $n+1$. Indeed, $\gamma( (x_n,x_{n+1}) )$ lies in some complementary component $U$ of $\gamma([0,x_n])$. Either this curve is injective, in which case it tends to $\partial U$ in both directions. Under the homeomorphism of $U$ to the plane, it is thus a Jordan curve in the plane, and separates $U$ in exactly two components.

If the curve is not injective, then there is a point $x'_n \in (x_n,x_{n+1})$ with $\gamma(x'_n) = \gamma(x_{n+1})$. Then $\gamma( [x_n', x_{n+1}])$ is a Jordan curve in $U$, and $\gamma([x_n,x_n'])$ is an arc connecting a point of $\partial U$ to this Jordan curve. Again, we see that $\gamma(x_n,x_{n+1})$ separates $U$ into two components, and the total number of components increases by $1$.

So we have proved that $\gamma$ separates the plane into $N+1$ components. In your setting, we easily see that $N=n+1$ (there is one $x_n$ for each of your multiple points, plus $x_0 = 0$ and $x_{n+1}=1$). So, there are n+2 components, or n+1 "holes" in your terminology.

Nb. You will notice that this is essentially the same argument as in the proof of Euler's formula: adding a new edge with one existing and one new vertex does not create new faces, while adding a an edge between two existing vertices DOES create an extra face.

$\endgroup$
2
  • $\begingroup$ @ Lasse Rempe in your claim, do you mean $n+1$ connected components instead of $n$ (take a Jordan curve, so you have only two points $x_0=0$ and $x_1=1$ in your decomposition, but 2 components. And if you look at $\gamma([0,0])=\{\gamma(0)\}$, then you get 1 component. Do I miss something? $\endgroup$
    – ray
    Commented Oct 29, 2022 at 12:17
  • $\begingroup$ @ray Sorry, I think I got mixed up between talking about the number of complementary components and the number of "holes" as mentioned in the question. Indeed, the basis of the induction was wrong as written. :) $\endgroup$ Commented Oct 30, 2022 at 22:44
5
$\begingroup$

Your assumption, if I understood it correctly is that the curve has only double self-crossings.

Consider your curve on the sphere (plane with infinite point added). It defines a cell decomposition of the sphere into vertices, edges and faces. Their numbers satisfy the Euler formula: $$v-e+f=2$$ Your assumption implies that each vertex is of degree $4$, so we must have $e=4v/2=2v$. Substituting this to Euler's formula, we obtain $f=v+2$, and since your "holes" are bounded faces, and there is one unbounded face, the number of holes is $v+1$.

$\endgroup$
4
  • $\begingroup$ Great idea. Could you please elaborate a bit on the e=4v/2 identity? Thanks. $\endgroup$
    – ray
    Commented Oct 26, 2022 at 15:10
  • 2
    $\begingroup$ From each vertex 4 ends of the edges stick. Each edge has 2 ends. Therefore the number of edges is 2v. $\endgroup$ Commented Oct 26, 2022 at 18:42
  • $\begingroup$ I don't understand what you want to say here, but this seems to come from the degree sum formula $\sum_{v\in V} deg(v) =2 e$ $\endgroup$
    – ray
    Commented Oct 26, 2022 at 19:24
  • $\begingroup$ @ray, Alexandre's argument in the ultimate detail: Let $K$ be the set of all pairs vertex-edge. Then $$ 4\cdot v\ = \ |K|\ =\ 2\cdot e\ $$ hence $\ e=2\cdot v$. $\endgroup$
    – Wlod AA
    Commented Oct 27, 2022 at 6:27

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .