I'm reading Allen Hatcher's topology book.In order to prove a theorem about homotopic maps induce the same homomorphism of homology groups,given a homotopy [tex]F:X \times I \to Y[/tex] from f to g,the author construct a prism operators(adsbygoogle = window.adsbygoogle || []).push({});

[tex]P:C_n (X) \to C_{n + 1} (Y)[/tex] by [tex]P(\sigma ) = \sum\nolimits_i {( - 1)^i F \circ (\sigma \times 1)|[v_0 ,...,v_i ,w_i ,...,w_n ]} [/tex] for [tex]\sigma :\Delta ^n \to X[/tex],where [tex]{F \circ (\sigma \times 1)}[/tex] is the composition [tex]\Delta ^n \times I \to X \times I \to Y[/tex].

I don't understand how sigma*1 acts on the n+1 simplex,sigma acts on n simplex,what the 1 acts on?Why[tex]F \circ (\sigma \times 1)|[\mathop v\limits^ \wedge _0 ,w_0 ,...,w_n ][/tex] equals to [tex]g \circ \sigma = g_\# (\sigma )[/tex]

Need helps,thank you!

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# An detail in proving the homotopy invariance of homology

Loading...

Similar Threads - detail proving homotopy | Date |
---|---|

I Simpler way to prove smoothness | Jan 31, 2017 |

I Prove what the exterior derivative of a 3-form is... | Apr 11, 2016 |

Prove a metric is bilinear | Jun 30, 2015 |

How to prove a vector bundle is non-trivial using transition functions | Apr 5, 2014 |

Equivariant Homotopy | Feb 12, 2013 |

**Physics Forums - The Fusion of Science and Community**