How does the path connectedness in a topology book relate to the path connectedness described in a typical vector calculus book

algebraic-topologygeneral-topology

A set $S$ is said to be connected (see [30a]) if any two points in S can be connected by an unbroken curve lying entirely within $S$. Conversely, if there exist pairs of points that cannot be connected in this way (see [30b]), then the set is disconnected. Amongst connected sets we may single out the simply connected
sets (see [30c]) as those that do not have holes in them. More precisely, if we picture the path connecting two points in the set as an elastic string, then this string may be continuously deformed into any other path connecting the points, without any part of the string ever leaving the set. Conversely, if the set does have holes in it then it is multiply connected (see [30d]) and there exist two paths connecting
two points such that one path cannot be deformed into the other.

enter image description here

Page-92, 93 , Neeedham Visual complex Analysis

My doubt about this section came when I started reading about Topology from Munkres. The above text seems to be about topological space being path connected but my question is, how does one describe holes (and classification of space based on that) as shown above using the topological path connectedness idea?

Path connectedness (deftn):The space $X$ is said to be path-connected if there is exactly one path-component, i.e. if there is a path joining any two points in $X$ source

Best Answer

As mentioned in the comments, connectedness or path-connectedness are not really the key in the description of holes, which —at least in the case of the plane— reduces to the study of simply-connectedness.

And your book is right: in Topology, a space is said to be simply-connected iff it is connected and for any two continuous paths in the space with the same endpoints, one can be continuously deformed into the other while not leaving the space, leaving the endpoints fixed during the process. Of course, this definition needs to be a little more rigorous, but you get the idea.

Finally, since I assume you are interested in the study of subsets of $\mathbb{C}$, here are some equivalent definitions of simply-connectedness for open subsets of the plane, and I’m sure you are going to come across some of them in the future:

Proposition. Let $\Omega\subsetneq\mathbb C$ be open and connected. The following are equivalent:

  1. $\Omega$ is simply connected.
  2. Any closed continuous path in $\Omega$ can be continuously shrunk to a point.
  3. The complement of $\Omega$ in $\mathbb {C}_\infty = \mathbb{C}\cup\{\infty\}$, the Riemann sphere, is connected.
  4. For any piecewise $C^1$ closed path $\gamma$ in $\Omega$, and for any $a\notin\Omega$, $\operatorname{Ind}(a;\gamma)$ (the winding number of $\gamma$ around $a$) is equal to zero.
  5. $\Omega$ is homeomorphic to the unit disk $D=\{z\in\mathbb{C} : \lvert z\rvert<1\}$.
  6. $\Omega$ is conformally equivalent to the unit disk $D$, i.e., there exists a holomorphic bijection between $\Omega$ and $D$.

1 and 2 are true for any topological space, which can be seen in any basic algebraic topology text. The equivalence between 3 and 4 is also well-known in basic Complex Analysis. The equivalences between 5, 6 and any of the rest are just different versions of the Riemann Mapping Theorem. Maybe 1$\iff$3 is the most unusual one. Here is a reference.

Related Question