Difference between revisions of "The fundamental group"

From Maths
Jump to: navigation, search
m (Alec moved page Fundamental group to The fundamental group: Prefer name, leaving redirect. 1476 views.)
m (Proof of claims: Removing whitespace)
Line 8: Line 8:
 
{{Begin Inline Theorem}}
 
{{Begin Inline Theorem}}
 
[[/Proof that it is a group|Proof that {{M|\pi_1(X,b)}} admits a group structure with {{M|\big(:([\ell_1],[\ell_2])\mapsto[\ell_1*\ell_2]\big)}} as the operation]]
 
[[/Proof that it is a group|Proof that {{M|\pi_1(X,b)}} admits a group structure with {{M|\big(:([\ell_1],[\ell_2])\mapsto[\ell_1*\ell_2]\big)}} as the operation]]
{{Begin Inline Proof}}
+
{{Begin Inline Proof}}{{/Proof that it is a group}}
{{/Proof that it is a group}}
+
 
{{End Proof}}{{End Theorem}}
 
{{End Proof}}{{End Theorem}}
 +
 
==References==
 
==References==
 
<references/>
 
<references/>

Revision as of 05:36, 3 November 2016

Grade: A
This page is currently being refactored (along with many others)
Please note that this does not mean the content is unreliable. It just means the page doesn't conform to the style of the site (usually due to age) or a better way of presenting the information has been discovered.
The message provided is:
I cannot believe it's been 15 months and this still isn't complete!
  • Started refactoring Alec (talk) 19:55, 1 November 2016 (UTC)

Definition

Let [ilmath](X,\mathcal{ J })[/ilmath] be a topological space [ilmath]\text{Loop}(X,b)\subseteq C(I,X)[/ilmath] and consider the relation of path homotopic maps, [ilmath]\big((\cdot)\simeq(\cdot)\ (\text{rel }\{0,1\})\big)[/ilmath] on [ilmath]C(I,X)[/ilmath] and restricted to [ilmath]\text{Loop}(X,b)[/ilmath], then:

  • [ilmath]\pi_1(X,b):=\frac{\text{Loop}(X,b)}{\big((\cdot)\simeq(\cdot)\ (\text{rel }\{0,1\})\big)}[/ilmath] has a group structure, with the group operation being:
    • [ilmath]:[\ell_1]\cdot[\ell_2]\mapsto[\ell_1*\ell_2][/ilmath] where [ilmath]\ell_1*\ell_2[/ilmath] denotes the loop concatenation of [ilmath]\ell_1,\ell_2\in\text{Loop}(X,b)[/ilmath].

Proof of claims


References


OLD PAGE

Requires: Paths and loops in a topological space and Homotopic paths

Definition

Given a topological space [ilmath]X[/ilmath] and a point [ilmath]x_0\in X[/ilmath] the fundamental group is[1]

forms a group under the operation of multiplication of the homotopy classes.

Theorem: [ilmath]\pi_1(X,x_0)[/ilmath] with the binary operation [ilmath]*[/ilmath] forms a group[2]


  • Identity element
  • Inverses
  • Association

See Homotopy class for these properties


TODO: Mond p30



See also

References

  1. Introduction to Topology - Second Edition - Theodore W. Gamelin and Rober Everist Greene
  2. Introduction to topology - lecture notes nov 2013 - David Mond