6

In complex analysis, there is a classical result concerning simple connectivity.

A set $E \subset \mathbb{C}$ is open, bounded and connected. Then $E$ is simply connected iff $E^c$ is connected.

I know a proof by means of complex analysis. Its sketch is as follows:

"$\Leftarrow$": By the general Cauchy Theorem, for a closed curve $\gamma$ in $E$ and a function $f \in H(E)$, \begin{equation} \int_\gamma f \operatorname{d\!} z=0. \end{equation} Hence $E$ is holomorphically simply connected. Due to the Riemann Mapping Theorem, $E$ is homeomorphic to $\mathbb{D}$, providing that $E$ is simply connected.

"$\Rightarrow$": If $E^c$ is not connected, we can construct a closed curve $\gamma$ in $E$ such that $\operatorname{Ind}_\gamma(a)\ne 0$ for some $a \in E^c$, which contradicts the fact that $E$ is simply connected.

My question is whether there is a topological proof of it. Thank you very much!

Andrew
  • 461
  • 2
  • 14
  • What do you mean by a "topological proof" ? this isn't true in most metric (to make sense of bounded) spaces, so a proof has to use something specific to $\mathbb{C}$ (for instance it is blatantly false in $\mathbb{R}^3$ and higher dimensions, so not only does it have to use something specific to the reals, but it has to use dimension $2$) – Maxime Ramzi Mar 03 '19 at 14:00
  • 3
    It is a result just involving the structure of $\mathbb{R}^2$. But the proof by complex analysis adds some additional structures on $\mathbb{R}^2$ (such as making it become a field). I want to find a proof not using complex analysis but using, for example, algebraic topology. – Andrew Mar 03 '19 at 14:19
  • I guess you can use Jordan's theorem, but I don't know its proof so I don't know if this would fit into what you call a topological proof – Maxime Ramzi Mar 03 '19 at 14:34
  • As far as I know, the Jordan Curve Theorem has a proof using algebraic topology. I want to know how to use it to prove this result. – Andrew Mar 03 '19 at 14:48
  • 2
    You should note that the complement in question is $\Bbb C\cup{\infty}\setminus E$. (Consider ${0<y<1}$ for example...) – David C. Ullrich Mar 03 '19 at 15:36
  • 2
    You should state the definition of "simply connected" that you are using. The reason is that the definitions of simple connectivity given in complex analysis texts tend to be rather nonstandard. See also: https://math.stackexchange.com/questions/330479/complement-is-connected-iff-connected-components-are-simply-connected?rq=1 , https://math.stackexchange.com/questions/2415064/bounded-components-of-complement-of-bounded-planar-domain-are-simply-connected?rq=1 – Moishe Kohan Mar 04 '19 at 00:12
  • Do anyone know that will it be true in higher dimension? – xxxg Feb 21 '24 at 12:59
  • It might not be true. Since in the following link, it says that ``the boundary of a simply-connected domain in the (open) plane $\mathbb{R}^2$ or $C=C^1$ can consist of any number $k$ of connected components, $0 \leq k \leq \infty$.'' https://encyclopediaofmath.org/wiki/Domain – xxxg Feb 21 '24 at 13:23

0 Answers0