Open main menu

Simply connected space

  (Redirected from Simply connected set)

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.

Contents

Definition and equivalent formulationsEdit

 
This set is not simply connected because any loop enclosing one of the holes cannot be contracted to a point.

A topological space X is called simply connected if it is path-connected and any loop in X defined by f : S1X can be contracted to a point: there exists a continuous map F : D2X such that F restricted to S1 is f. Here, S1 and D2 denotes the unit circle and closed unit disk in the Euclidean plane respectively.

An equivalent formulation is this: X is simply connected if and only if it is path-connected, and whenever p : [0,1] → X and q : [0,1] → X are two paths (i.e.: continuous maps) with the same start and endpoint (p(0) = q(0) and p(1) = q(1)), then p can be continuously deformed into q while keeping both endpoints fixed. Explictly, there exists a continuous homotopy   such that   and  .

A topological space X is simply connected if and only if X is path-connected and the fundamental group of X at each point is trivial, i.e. consists only of the identity element. Similarly, X is simply connected if and only if for all points  , the set of morphisms   in the fundamental groupoid of X has only one element.[2]

In complex analysis: an open subset   is simply connected if and only if both 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 a nice example of an unbounded, connected, open subset of the plane whose complement is not connected. It is nevertheless simply connected. It might also be worth pointing out that a relaxation of the requirement that X be connected leads to an interesting exploration of open subsets of the plane with connected extended complement. For example, a (not necessarily connected) open set has connected extended complement exactly when each of its connected components are simply connected.

Informal discussionEdit

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 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.

 
A sphere is simply connected because every loop can be contracted (on the surface) to a point.


The definition only rules out 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.


ExamplesEdit

 
A torus is not simply connected. Neither of the colored loops can be contracted to a point without leaving the surface.


PropertiesEdit

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 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 C - {0}, which is not simply connected.

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.

See alsoEdit

ReferencesEdit

  1. ^ "n-connected space in nLab". ncatlab.org. Retrieved 2017-09-17.
  2. ^ Ronald,, Brown, (June 2006). Topology and Groupoids. Academic Search Complete. North Charleston: CreateSpace. ISBN 1419627228. OCLC 712629429.
  • 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.