# The Unapologetic Mathematician

## 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:

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

### Like this:

Like Loading...

Posted by John Armstrong | Differential Topology, Topology

## 2 Comments	»

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

Pingback by | 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 | February 18, 2012 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.

• ## RSS Feeds

RSS - Posts

RSS - Comments

• ## Feedback

Got something to say? Anonymous questions, comments, and suggestions at Formspring.me!
%d bloggers like this:
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 19, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9393352270126343, "perplexity_flag": "head"}