Algebraic Topology · Problem 4.1.1

Homotopy Theory — Allen Hatcher

Mathematics — Topology · homotopy-groups-sum-operations

Problem

Suppose a sum f+′gf +' g of maps f,g:(In,∂In)→(X,x0)f, g: (I^n, \partial I^n) \to (X, x_0) is defined using a coordinate of InI^n other than the first coordinate as in the usual sum f+gf + g. Verify the formula (f+g)+′(h+k)=(f+′h)+(g+′k)(f + g) +' (h + k) = (f +' h) + (g +' k), and deduce that f+′k≃f+kf +' k \simeq f + k so the two sums agree on πn(X,x0)\pi_n(X, x_0), and also that g+′h≃h+gg +' h \simeq h + g so the addition is abelian.

Related theory

Browse the problem library