Can Degree of Maps Determine Path Homotopy on the Unit Circle?

  • Thread starter Thread starter math8
  • Start date Start date
  • Tags Tags
    Degree Path
Click For Summary
SUMMARY

The discussion centers on the relationship between the degree of loops in the unit circle S^1 and their path homotopy. It is established that if two loops, f and g, have the same degree (deg(f) = deg(g)), then they are path homotopic. The unique lifting paths f* and g* are defined such that f*(0) = g*(0) = (1,0) and the degrees are represented as integers, with deg(f) = f*(1) and deg(g) = g*(1). A suggested approach to construct a path homotopy F involves using convex combinations to create a homotopy between the lifting paths in R, which subsequently leads to a homotopy between the original loops f and g.

PREREQUISITES
  • Understanding of loop spaces in topology
  • Familiarity with the concept of path homotopy
  • Knowledge of degree of maps in algebraic topology
  • Basic understanding of lifting paths in covering spaces
NEXT STEPS
  • Study the concept of path homotopy in detail
  • Learn about the degree of maps in algebraic topology
  • Explore the properties of covering spaces and lifting paths
  • Investigate the use of convex combinations in constructing homotopies
USEFUL FOR

Mathematicians, particularly those specializing in algebraic topology, students studying topology, and researchers interested in the properties of loops and homotopies in topological spaces.

math8
Messages
143
Reaction score
0
Let f and g be loops in the unit circle S^1 with base point (1,0). We show if deg(f)=deg(g), then f and g are path homotopic.

I know f,g: [0,1]-->S^1 and there must be unique paths f* and g* (lifting paths) s.t. f*(0)=0 and g*(0)=0 and s.t. pof*=f, pog*=g where p:R-->s^1 is defined by p(t)=(cos 2 pi t, sin 2 pi t).

I also know that deg(f)= f*(1), deg(g)=g*(1) which are integers.

I was thinking about coming up with a path homotopy F:[0,1]x[0,1]-->S^1 s.t. for each t in [0,1]; F(t,0)=f(t) and F(t,1)=g(t)
for each s in [0,1]; F(0,s)=(1,0) and F(1,s)=(1,0).

But I am not sure what path homotopy would work here.
 
Physics news on Phys.org
Hint: Construct a homotopy between f* and g* in R using convex combination. From this you can obtain a homotopy bewteen f and g.
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
3K
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K