# Simply connected space

In topology, a topological space is called **simply connected** (or **1-connected**, or **1-simply connected**^{[1]}) if it is path-connected and every path between two points can be continuously transformed (intuitively for embedded spaces, staying within the space) into any other such path while preserving the two endpoints in question. The fundamental group of a topological space is an indicator of the failure for the space to be simply connected: a path-connected topological space is simply connected if and only if its fundamental group is trivial.

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

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 connected** or **multiply 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.

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 *X* is a simply connected space which maps to *X* via a covering map.

If *X* and *Y* are homotopy equivalent and *X* is simply connected, then so is *Y*.

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

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