# Difference between revisions of "Fundamental group"

m (split off from algebraic topology article) |
(remove nonexistent category) |
||

(5 intermediate revisions by one other user not shown) | |||

Line 1: | Line 1: | ||

− | Perhaps the simplest object of study in algebraic topology is the | + | Perhaps the simplest object of study in algebraic topology is the '''fundamental group'''. |

− | + | Let <math>(X,x_0)</math> be a [[based topological space|based]], [[topological space]] (that is, <math>X</math> is a topological space, and <math>x_0\in X</math> is some point in <math>X</math>). Note that some authors will require <math>X</math> to be [[path-connected]]. Now consider all possible "loops" on <math>X</math> that start and end at <math>x_0</math>, i.e. all [[continuous function]]s <math>f:[0,1]\to X</math> with <math>f(0)=f(1)=x_0</math>. Call this collection <math>\Omega(X,x_0)</math> (the '''loop space''' of <math>X</math>). Now define an [[equivalence relation]] <math>\sim</math> on <math>\Omega(X,x_0)</math> by saying that <math>f\sim g</math> if there is a (based) [[homotopy]] between <math>f</math> and <math>g</math> (that is, if there is a continuous function <math>F:[0,1]\times[0,1]\to X</math> with <math>F(a,0)=f(a)</math>, <math>F(a,1)=g(a)</math>, and <math>F(0,b)=F(1,b)=x_0</math>). Now let <math>\pi_1(X,x_0)=\Omega(X,x_0)/\sim</math> be the set of equivalence classes of <math>\Omega(X,x_0)</math> under <math>\sim</math>. | |

+ | |||

+ | Now define a [[binary operation]] <math>\cdot</math> (called ''concatenation'') on <math>\Omega(X,x_0)</math> by | ||

+ | <math>(g\cdot h)(a)=\begin{cases} g(2a) & 0\le a\le 1/2, \\ h(2a-1) & 1/2\le a\le 1.\end{cases}</math> | ||

+ | One can check that if <math>f\sim f'</math> and <math>g\sim g'</math> then <math>f\cdot g\sim f'\cdot g'</math>, and so <math>\cdot</math> induces a well-defined binary operation on <math>\pi_1(X,x_0)</math>. | ||

+ | |||

+ | One can now check that the operation <math>\cdot</math> makes <math>\pi_1(X,x_0)</math> into a group. The identity element is just the constant loop <math>e(a) = x_0</math>, and the inverse of a loop <math>f</math> is just the loop <math>f</math> traversed in the opposite direction (i.e. the loop <math>\bar f(a) = f(1-a)</math>). We call <math>\pi_1(X,x_0)</math> the '''fundamental group''' of <math>X</math>. | ||

Note that the fundamental group is not in general [[abelian group|abelian]]. For example, the fundamental group of a figure eight is the [[free group]] on two [[generator]]s, which is not abelian. However, the fundamental group of a circle is <math>{\mathbb{Z}}</math>, which is abelian. | Note that the fundamental group is not in general [[abelian group|abelian]]. For example, the fundamental group of a figure eight is the [[free group]] on two [[generator]]s, which is not abelian. However, the fundamental group of a circle is <math>{\mathbb{Z}}</math>, which is abelian. | ||

Line 13: | Line 19: | ||

If <math>\circ,\cdot</math> share the same unit <math>e</math> (such that <math>a \cdot e = e \cdot a = a \circ e = e \circ a = a</math>) then <math>\cdot = \circ</math> and both are abelian. | If <math>\circ,\cdot</math> share the same unit <math>e</math> (such that <math>a \cdot e = e \cdot a = a \circ e = e \circ a = a</math>) then <math>\cdot = \circ</math> and both are abelian. | ||

+ | |||

+ | == Independence from base point == | ||

+ | |||

+ | At this point, one might wonder how significant the choice of base point, <math>x_0</math>, was. As it turns out, as long as <math>X</math> is path-connected, the choice of base point is irrelevant to the final group <math>\pi_1(X,x_0)</math>. | ||

+ | |||

+ | Indeed, pick consider any other base point <math>x_1</math>. As <math>X</math> is path connected, we can find a path <math>\alpha</math> from <math>x_0</math> to <math>x_1</math>. Let <math>\bar\alpha(t) = \alpha(1-t)</math> be the reverse path from <math>x_1</math> to <math>x_0</math>. For any <math>f\in\Omega(X,x_0)</math>, define <math>\varphi_\alpha = \bar\alpha\cdot f\cdot\alpha \in\Omega(X,x_1)</math> by | ||

+ | <cmath>\varphi_\alpha(f)(t) = (\bar\alpha\cdot f \cdot \alpha)(t) = \begin{cases} \bar\alpha(t) & 0\le t\le 1/3, \\ | ||

+ | f(3a-1) & 1/3\le t\le 2/3,\\ | ||

+ | \alpha(3t-2) & 2/3\le t\le 1. | ||

+ | \end{cases}</cmath> | ||

+ | One can now easily check that <math>\varphi_\alpha</math> is in fact a well-defined map <math>\pi_1(X,x_0)\to\pi_1(X,x_1)</math>, and furthermore, that it is a [[group homomorphism|homomorphism]]. Now we may similarly define the map <math>\varphi_{\bar\alpha}:\pi_1(X,x_1)\to\pi_1(X,x_0)</math> by <math>\varphi(g) = \alpha\cdot g\cdot\bar\alpha</math>. One can now easily verify that <math>\varphi_{\bar\alpha}</math> is the inverse of <math>\varphi_\alpha</math>. Thus <math>\varphi_\alpha</math> is an [[isomorphism]], so <math>\pi_1(X,x_0)\cong \pi_1(X,x_1)</math>. | ||

+ | |||

+ | Therefore (up to isomorphism), the group <math>\pi_1(X,x_0)</math> is independent of the choice of <math>x_0</math>. For this reason, we often just write <math>\pi_1(X)</math> for the fundamental of <math>X</math>. | ||

+ | |||

+ | == Functoriality == | ||

+ | |||

+ | Given a (based) continuous map <math>f:(X,x_0)\to(Y,y_0)</math> (that is, <math>f</math> is continuous and <math>f(x_0) = y_0</math>), one may define a group homomorphism <math>f_*:\pi_1(X,x_0)\to\pi_1(Y,y_0)</math> by sending each loop <math>a\in\pi_1(X,x_0)</math> to <math>f\circ a\in \pi_1(Y,y_0)</math>. It is easy to see that <math>f_*</math> sends homotopic loops to homotopic loops (indeed if <math>F</math> is a homotopy from <math>a</math> to <math>a'</math>, then <math>f\circ F</math> is a homotopy from <math>f\circ a</math> to <math>f\circ a'</math>), and thus <math>f_*</math> is a well-defined map. Also <math>f_*</math> clearly preserves concatenations, so <math>f_*</math> is indeed a homomorphism. | ||

+ | |||

+ | Furthermore, it is easy to see that if <math>f</math> and <math>g</math> are maps <math>f:(X,x_0)\to(Y,y_0)</math> and <math>g:(Y,y_0)\to (Z,z_0)</math>, then: | ||

+ | <cmath>(g\circ f)_* = g_*\circ f_*,</cmath> | ||

+ | and if <math>1_X</math> is the identity map on <math>(X,x_0)</math> and <math>1_{\pi(X,x_0)}</math> is the identity map on <math>\pi_1(X,x_0)</math>, then | ||

+ | <cmath>(1_X)_* = 1_{\pi_1(X,x_0)}.</cmath> | ||

+ | Thus we may in fact regard <math>\pi_1</math> as a (covariant) [[functor]] from the [[category of based topological spaces]] to the [[category of groups]]. | ||

+ | |||

+ | One can also show that the induced map <math>f_*</math> depends only on the homotopy type of <math>f</math>, that is if <math>f,g:(X,x_0)\to (Y,y_0)</math> are (based) homotopic maps that <math>f_* = g_*</math>. Indeed, for any loop <math>a\in\pi_1(X,x_0)</math>, if <math>F</math> is a based homotopy from <math>f</math> to <math>g</math>, then <math>F\circ a</math> is a based homotopy from <math>f\circ a</math> to <math>g\circ a</math>, and thus <math>f\circ a = g\circ a</math> in <math>\pi_1(Y,y_0)</math>. | ||

+ | |||

+ | == Homotopy invariance == | ||

+ | |||

+ | In order for the fundamental group to be a useful topological concept, any two spaces that are topologically "the same" must have the same fundamental group. Specifically, if <math>X</math> and <math>Y</math> are [[homeomorphic spaces|homeomorphic]] then <math>\pi_1(X)</math> and <math>\pi_1(Y)</math> are isomorphic. | ||

+ | |||

+ | We will in fact show that <math>\pi_1(X)</math> and <math>\pi_1(Y)</math> are isomorphic if <math>X</math> and <math>Y</math> satisfy the weaker notion of equivalence: [[homotopy equivalence]]. | ||

+ | |||

+ | Say that <math>(X,x_0)</math> and <math>(Y,y_0)</math> are based homotopy equivalent (<math>(X,x_0)\simeq (Y,y_0)</math>) with homotopy equivalences <math>f:(X,x_0)\to (Y,y_0)</math> and <math>g:(Y,y_0)\to (X,x_0)</math>. (By definition, this means that <math>g\circ f \simeq 1_X</math> and <math>f\circ g\simeq 1_Y</math>.) Now consider the induced maps <math>f_*:\pi_1(X,x_0)\to\pi_1(Y,y_0)</math> and <math>g_*:\pi_1(Y,y_0)\to\pi_1(X,x_0)</math>. From the previous section we get that: | ||

+ | <cmath>f_*\circ g_* = (f\circ g)_* = (1_Y)_* = 1_{\pi_1(Y,y_0)}</cmath> | ||

+ | and | ||

+ | <cmath>g_*\circ f_* = (g\circ f)_* = (1_X)_* = 1_{\pi_1(X,x_0)}.</cmath> | ||

+ | Therefore <math>g_*</math> is the inverse of <math>f_*</math>, so in particular <math>f_*</math> must be an isomorphism. Hence <math>\pi_1(X,x_0)\cong \pi_1(Y,y_0)</math>. | ||

+ | |||

+ | This gives us a very useful method for distinguishing topological spaces: if <math>X</math> and <math>Y</math> are topological spaces whose fundamental groups are not not isomorphic then <math>X</math> and <math>Y</math> cannot be homeomorphic (and in fact, they cannot be homotopy equivalent). For instance, one can show that <math>\pi_1(S^1)\cong\mathbb Z</math> and <math>\pi_1(S^2) \cong 0</math> (where <math>S^n</math> is the [[n-sphere]]), and hence a circle is not homeomorphic to a sphere. | ||

+ | [[Category:Topology]] |

## Latest revision as of 19:11, 23 January 2017

Perhaps the simplest object of study in algebraic topology is the **fundamental group**.

Let be a based, topological space (that is, is a topological space, and is some point in ). Note that some authors will require to be path-connected. Now consider all possible "loops" on that start and end at , i.e. all continuous functions with . Call this collection (the **loop space** of ). Now define an equivalence relation on by saying that if there is a (based) homotopy between and (that is, if there is a continuous function with , , and ). Now let be the set of equivalence classes of under .

Now define a binary operation (called *concatenation*) on by
One can check that if and then , and so induces a well-defined binary operation on .

One can now check that the operation makes into a group. The identity element is just the constant loop , and the inverse of a loop is just the loop traversed in the opposite direction (i.e. the loop ). We call the **fundamental group** of .

Note that the fundamental group is not in general abelian. For example, the fundamental group of a figure eight is the free group on two generators, which is not abelian. However, the fundamental group of a circle is , which is abelian.

More generally, if is an h-space, then is abelian, for there is a second multiplication on given by , which is "compatible" with the concatenation in the following respect:

We say that two binary operations on a set are compatible if, for every ,

If share the same unit (such that ) then and both are abelian.

## Independence from base point

At this point, one might wonder how significant the choice of base point, , was. As it turns out, as long as is path-connected, the choice of base point is irrelevant to the final group .

Indeed, pick consider any other base point . As is path connected, we can find a path from to . Let be the reverse path from to . For any , define by One can now easily check that is in fact a well-defined map , and furthermore, that it is a homomorphism. Now we may similarly define the map by . One can now easily verify that is the inverse of . Thus is an isomorphism, so .

Therefore (up to isomorphism), the group is independent of the choice of . For this reason, we often just write for the fundamental of .

## Functoriality

Given a (based) continuous map (that is, is continuous and ), one may define a group homomorphism by sending each loop to . It is easy to see that sends homotopic loops to homotopic loops (indeed if is a homotopy from to , then is a homotopy from to ), and thus is a well-defined map. Also clearly preserves concatenations, so is indeed a homomorphism.

Furthermore, it is easy to see that if and are maps and , then: and if is the identity map on and is the identity map on , then Thus we may in fact regard as a (covariant) functor from the category of based topological spaces to the category of groups.

One can also show that the induced map depends only on the homotopy type of , that is if are (based) homotopic maps that . Indeed, for any loop , if is a based homotopy from to , then is a based homotopy from to , and thus in .

## Homotopy invariance

In order for the fundamental group to be a useful topological concept, any two spaces that are topologically "the same" must have the same fundamental group. Specifically, if and are homeomorphic then and are isomorphic.

We will in fact show that and are isomorphic if and satisfy the weaker notion of equivalence: homotopy equivalence.

Say that and are based homotopy equivalent () with homotopy equivalences and . (By definition, this means that and .) Now consider the induced maps and . From the previous section we get that: and Therefore is the inverse of , so in particular must be an isomorphism. Hence .

This gives us a very useful method for distinguishing topological spaces: if and are topological spaces whose fundamental groups are not not isomorphic then and cannot be homeomorphic (and in fact, they cannot be homotopy equivalent). For instance, one can show that and (where is the n-sphere), and hence a circle is not homeomorphic to a sphere.