The fundamental group

From Maths
Revision as of 05:36, 3 November 2016 by Alec (Talk | contribs) (Proof of claims: Removing whitespace)

Jump to: navigation, search
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