The Unapologetic Mathematician

Mathematics for the interested outsider

Simply-Connected Spaces

We say that a space is “simply-connected” if any closed curve c with c(0)=c(1)=p is homotopic to a constant curve that stays at the single point p. Intuitively, this means that any loop in the space can be “pulled tight” without getting caught up on any “holes”.

It turns out that this is equivalent to saying that every closed curve is the boundary of some parameterized square. Indeed, consider the following diagram I’ve drawn with the help of Geogebra:

Homotopy to a Point

This is a picture of the homotopy cylinder. The domain of a curve is the interval [0,1], so the domain of the homotopy cylinder is the square [0,1]. I’ve labeled the sides to describe what the homotopy does to them: the lower edge (x,0) follows the curve c; the upper edge (x,1) is the constant point p; the two sides are also constant at p, meaning that we’re holding the curve’s ends fixed as we perform the homotopy. And so the homotopy is exactly a continuous (or smooth) map from the square into our space, and the boundary of the parameterized square is exactly the curve c. The converse — that any parameterized square can be homotoped to look like this — shouldn’t be hard to see.

So what does this mean for homology? Well, for cubic singular homology it means that H_1(M) is exact if M is simply-connected. Indeed, if C is a closed 1-chain, then it must be made up of a formal sum of curves. Any curve which isn’t already closed must have a start and an end, and the end must be the start of another curve, or else the boundary points of C wouldn’t cancel off. We can break C up — possibly non-uniquely — into a collection of closed curves, each of which is the boundary of some parameterized square, by the above argument. Thus C is itself the boundary of this collection of squares; since all closed 1-chains are exact, the first homology vanishes.

About these ads

December 14, 2011 - Posted by | Differential Topology, Topology

2 Comments »

  1. [...] Simply-Connected Spaces [...]

    Pingback by Page not found « The Unapologetic Mathematician | December 17, 2011 | Reply

  2. [...] here, and (b) the justification is that (for our purposes) the electric field is defined in some simply-connected region of space which has no “holes” one could wrap a path around. In fact, if the [...]

    Pingback by A Short Rant about Electromagnetism Texts « The Unapologetic Mathematician | February 18, 2012 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 366 other followers

%d bloggers like this: