How Do Right-Side Homotopies Affect Homotopy Equivalence?

  • #1
Ben2
37
9
Homework Statement
"Show that the composition of homotopy equivalences X-->Y and Y-->Z is a homotopy equivalence X-->Z..."
Relevant Equations
F(x,t) = f_t(x)
"[A] map f: X-->Y is called a \mathbf{homotopy~equivalence} if there is a map g: Y-->X such that fg\cong\mathbb{1} and gf\cong\mathbb{1}," where "cong" means "is homotopic." "The spaces X and Y are said to be \mathbf{homotopy~equivalent}..." Additional definitions are in Hatcher, "Algebraic Topology", of which this is part of Exercise 3(a), p. 18. My difficulty is proving that if f\cong\mathbb{1} and h is another homotopy, then f = f\mathbb{1}h\congh. That is, how do we handle an arbitrary homotopy on the RIGHT? Does this involve "associativity" of homotopies? Thanks!
 
Physics news on Phys.org
  • #2
Apologies for posting! With the conditions given, (hf)(gk) = h(fg)k\congh(\mathbb{1})k = hk\cong\mathbb{1} and (fh)(kg) = f(hk)g\congf\mathbb{1}g = fg\cong\mathbb{1}. This handles transitivity, while the reflexive and symmetric properties are routine. Thanks to everyone who read this!
 
  • #3
Ben2 said:
Apologies for posting! With the conditions given, (hf)(gk) = h(fg)k\congh(\mathbb{1})k = hk\cong\mathbb{1} and (fh)(kg) = f(hk)g\congf\mathbb{1}g = fg\cong\mathbb{1}. This handles transitivity, while the reflexive and symmetric properties are routine. Thanks to everyone who read this!
Please wrap your Latex with ## or otherwise for easier reading.
 
  • Like
Likes docnet
  • #4
Ben2 said:
Apologies for posting! With the conditions given, ##(hf)(gk) = h(fg)k\cong h(\mathbb{1})k = hk\cong\mathbb{1}## and## (fh)(kg) = f(hk)g\cong f\mathbb{1}g = fg\cong\mathbb{1}##. This handles transitivity, while the reflexive and symmetric properties are routine. Thanks to everyone who read this!
 

Similar threads

  • Calculus and Beyond Homework Help
Replies
5
Views
466
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
9
Views
1K
  • Math Proof Training and Practice
Replies
25
Views
2K
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
Replies
6
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
3K
  • Calculus and Beyond Homework Help
Replies
2
Views
2K
  • Topology and Analysis
Replies
2
Views
1K
  • Math Proof Training and Practice
3
Replies
93
Views
11K
Back
Top