Fundamental group: Difference between revisions

Revision as of 03:05, 1 December 2010

Template:Group associated to based topospaces

Definition

Basic definition

The fundamental group of a based topological space $(X, x_{0})$ is defined as follows:

As a set, it is the set of all homotopy classes of loops at $x_{0}$ in $X$ . The homotopy class of a loop $f$ is denoted $[f]$ . Note here that homotopy class of loop in particular means that at every stage of the homotopy, we must have a loop based at $x_{0}$ . In particular, it is not the same thing as the intersection with loops based at $x_{0}$ of homotopy classes of paths in $X / m a t h > . * T h e g r o u p s t r u c t u r e i s o b t a i n e d a s f o l l o w s : t h e c o m p o s i t e o f t w o l o o p s i s o b t a i n e d b y f i r s t t r a v e r s i n g t h e f i r s t l o o p, a n d t h e n t r a v e r s i n g t h e s e c o n d l o o p . E x p l i c i t l y, i f < m a t h > f_{1}, f_{2} : [0, 1] \to X$ are the two loops, then the composite $f_{1} * f_{2}$ of these is the loop given by $t \mapsto f_{1} (2 t)$ for $0 \leq t \leq 1 / 2$ and $t \mapsto f_{2} (2 t - 1)$ for $1 / 2 \leq t \leq 1$ . Continuity of this new loop follows from the gluing lemma for closed subsets.

When the topological space is path-connected, the fundamental groups at any two basepoints are isomorphic. Further information: Actions of the fundamental group

Proof that this gives a group structure

All loops here are based at $x_{0}$ .

Condition	How it is shown	Page detailing relevant homotopy
well defined	if $f_{1}$ and $g_{1}$ are homotopic to each other, and $f_{2}$ and $g_{2}$ are homotopic to each other, then $f_{1} * f_{2}$ and $g_{1} * g_{2}$ are homotopic to each other.	homotopy between composites of homotopic loops
existence of identity element	the identity element is the homotopy constant loop that stays at the base point. In other words, if we denote this loop by $e$ , then for any loop $f$ , the composite $e * f$ is homotopic to $f$ , and so is the composite $f * e$ .	homotopy between loop and composite with constant loop
existence of inverses	the inverses of a loop $f$ is the loop $t \mapsto f (1 - t)$ , i.e., the same loop done backward. In other words the composite of $f$ and this loop is homotopic to the constant loop.	homotopy between constant loop and composite of loop with inverse
associativity	for loops $f_{1}, f_{2}, f_{3}$ , the composite $f_{1} * (f_{2} * f_{3})$ is homotopic to the composite $(f_{1} * f_{2}) * f_{3}$ .	homotopy between composites associated in different ways

One nice thing about all these homotopies is that they do not depend on additional properties of the ambient space, and the homotopies do not use any points of the space other than those used in the original loops.

Related properties of topological spaces

A simply connected space is a topological space whose fundamental group is trivial
For a H-space and hence in particular for any space that arises as a loop space, and for any topological monoid, the fundamental group is Abelian

@@ Line 7: / Line 7: @@
 The fundamental group of a [[based topological space]] <math>(X,x_0)</math> is defined as follows:
-* As a set, it is the set of all homotopy classes of [[loop]]s at <math>x_0</math> in <math>X</math>. The homotopy class of a loop <math>f</math> is denoted <math>[f]</math>.
+* As a set, it is the set of all homotopy classes of [[loop]]s at <math>x_0</math> in <math>X</math>. The homotopy class of a loop <math>f</math> is denoted <math>[f]</math>. Note here that ''homotopy class of loop'' in particular means that ''at every stage'' of the homotopy, we must have a loop based at <math>x_0</math>. In particular, it is ''not'' the same thing as the intersection with loops based at <math>x_0</math> of homotopy classes of paths in <math>X/math>.
 * The group structure is obtained as follows: the composite of two loops is obtained by first traversing the first loop, and then traversing the second loop. Explicitly, if <math>f_1, f_2:[0,1] \to X</math> are the two loops, then the composite <math>f_1 * f_2</math> of these is the loop given by <math>t \mapsto f_1(2t)</math> for <math>0 \le t \le 1/2</math> and <math>t \mapsto f_2(2t - 1)</math> for <math>1/2 \le t \le 1</math>. Continuity of this new loop follows from the [[gluing lemma for closed subsets]].