Contents

Simply connected space

Definition and equivalent formulations[edit]

Atopological space ${\displaystyle X}$ is called simply connected if it is path-connected and any loopin${\displaystyle X}$ defined by ${\displaystyle f:S^{1}\to X}$ can be contracted to a point: there exists a continuous map ${\displaystyle F:D^{2}\to X}$ such that ${\displaystyle F}$ restricted to ${\displaystyle S^{1}}$is${\displaystyle f.}$ Here, ${\displaystyle S^{1}}$ and ${\displaystyle D^{2}}$ denotes the unit circle and closed unit disk in the Euclidean plane respectively.

An equivalent formulation is this: ${\displaystyle X}$ is simply connected if and only if it is path-connected, and whenever ${\displaystyle p:[0,1]\to X}$ and ${\displaystyle q:[0,1]\to X}$ are two paths (that is, continuous maps) with the same start and endpoint (${\displaystyle p(0)=q(0)}$ and ${\displaystyle p($1)=q(1)} ), then ${\displaystyle p}$ can be continuously deformed into ${\displaystyle q}$ while keeping both endpoints fixed. Explicitly, there exists a homotopy ${\displaystyle F:[0,1]\times [0,1]\to X}$ such that ${\displaystyle F(x,0)=p($x)} and ${\displaystyle F(x,1)=q($x).}

A topological space ${\displaystyle X}$ is simply connected if and only if ${\displaystyle X}$ is path-connected and the fundamental groupof${\displaystyle X}$ at each point is trivial, i.e. consists only of the identity element. Similarly, ${\displaystyle X}$ is simply connected if and only if for all points ${\displaystyle x,y\in X,}$ the set of morphisms ${\displaystyle \operatorname {Hom} _{\Pi ($X)}(x,y)} in the fundamental groupoidof${\displaystyle X}$ has only one element.^[2]

Incomplex analysis: an open subset ${\displaystyle X\subseteq \mathbb {C} }$ is simply connected if and only if both ${\displaystyle X}$ and its complement in the Riemann sphere are connected. The set of complex numbers with imaginary part strictly greater than zero and less than one furnishes an example of an unbounded, connected, open subset of the plane whose complement is not connected. It is nevertheless simply connected. A relaxation of the requirement that ${\displaystyle X}$ be connected leads to an exploration of open subsets of the plane with connected extended complement. For example, a (not necessarily connected) open set has a connected extended complement exactly when each of its connected components is simply connected.

Informal discussion[edit]

Informally, an object in our space is simply connected if it consists of one piece and does not have any "holes" that pass all the way through it. For example, neither a doughnut nor a coffee cup (with a handle) is simply connected, but a hollow rubber ball is simply connected. In two dimensions, a circle is not simply connected, but a disk and a line are. Spaces that are connected but not simply connected are called non-simply connectedormultiply connected.

The definition rules out only handle-shaped holes. A sphere (or, equivalently, a rubber ball with a hollow center) is simply connected, because any loop on the surface of a sphere can contract to a point even though it has a "hole" in the hollow center. The stronger condition, that the object has no holes of any dimension, is called contractibility.

Examples[edit]

• The Euclidean plane ${\displaystyle \mathbb {R} ^{2}}$ is simply connected, but ${\displaystyle \mathbb {R} ^{2}}$ minus the origin ${\displaystyle (0,0)}$ is not. If ${\displaystyle n>2,}$ then both ${\displaystyle \mathbb {R} ^{n}}$ and ${\displaystyle \mathbb {R} ^{n}}$ minus the origin are simply connected.
• Analogously: the n-dimensional sphere ${\displaystyle S^{n}}$ is simply connected if and only if ${\displaystyle n\geq 2.}$
• Every convex subsetof${\displaystyle \mathbb {R} ^{n}}$ is simply connected.
• Atorus, the (elliptic) cylinder, the Möbius strip, the projective plane and the Klein bottle are not simply connected.
• Every topological vector space is simply connected; this includes Banach spaces and Hilbert spaces.
• For ${\displaystyle n\geq 2,}$ the special orthogonal group ${\displaystyle \operatorname {SO} (n,\mathbb {R} )}$ is not simply connected and the special unitary group ${\displaystyle \operatorname {SU} ($n)} is simply connected.
• The one-point compactification of ${\displaystyle \mathbb {R} }$ is not simply connected (even though ${\displaystyle \mathbb {R} }$ is simply connected).
• The long line ${\displaystyle L}$ is simply connected, but its compactification, the extended long line ${\displaystyle L^{*}}$ is not (since it is not even path connected).

Properties[edit]

A surface (two-dimensional topological manifold) is simply connected if and only if it is connected and its genus (the number of handles of the surface) is 0.

A universal cover of any (suitable) space ${\displaystyle X}$ is a simply connected space which maps to ${\displaystyle X}$ via a covering map.

If${\displaystyle X}$ and ${\displaystyle Y}$ are homotopy equivalent and ${\displaystyle X}$ is simply connected, then so is ${\displaystyle Y.}$

The image of a simply connected set under a continuous function need not be simply connected. Take for example the complex plane under the exponential map: the image is ${\displaystyle \mathbb {C} \setminus \{0\},}$ which is not simply connected.

The notion of simple connectedness is important in complex analysis because of the following facts:

• The Cauchy's integral theorem states that if ${\displaystyle U}$ is a simply connected open subset of the complex plane ${\displaystyle \mathbb {C} ,}$ and ${\displaystyle f:U\to \mathbb {C} }$ is a holomorphic function, then ${\displaystyle f}$ has an antiderivative ${\displaystyle F}$on${\displaystyle U,}$ and the value of every line integralin${\displaystyle U}$ with integrand ${\displaystyle f}$ depends only on the end points ${\displaystyle u}$ and ${\displaystyle v}$ of the path, and can be computed as ${\displaystyle F($v)-F(u).} The integral thus does not depend on the particular path connecting ${\displaystyle u}$ and ${\displaystyle v,}$
• The Riemann mapping theorem states that any non-empty open simply connected subset of ${\displaystyle \mathbb {C} }$ (except for ${\displaystyle \mathbb {C} }$ itself) is conformally equivalent to the unit disk.

The notion of simple connectedness is also a crucial condition in the Poincaré conjecture.

See also[edit]

• Fundamental group – Mathematical group of the homotopy classes of loops in a topological space
• Deformation retract – Continuous, position-preserving mapping from a topological space into a subspacePages displaying short descriptions of redirect targets
• n-connected space
• Path-connected – Topological space that is connectedPages displaying short descriptions of redirect targets
• Unicoherent space

References[edit]

• Spanier, Edwin (December 1994). Algebraic Topology. Springer. ISBN 0-387-94426-5.
• Conway, John (1986). Functions of One Complex Variable I. Springer. ISBN 0-387-90328-3.
• Bourbaki, Nicolas (2005). Lie Groups and Lie Algebras. Springer. ISBN 3-540-43405-4.
• Gamelin, Theodore (January 2001). Complex Analysis. Springer. ISBN 0-387-95069-9.
• Joshi, Kapli (August 1983). Introduction to General Topology. New Age Publishers. ISBN 0-85226-444-5.