singular homological degree of a nullhomotopic map on the sphere

1. Proposition

Given the n-sphere 20240109-singular_homological_degree_of_a_nullhomotopic_map_949909141f105ed08f8a682cdce0401af95716b9.svg for 20240109-singular_homological_degree_of_a_nullhomotopic_map_6f8e9759f41436041ae7604388a79666ccb0d285.svg and a nullhomotopic map 20240109-singular_homological_degree_of_a_nullhomotopic_map_b276a7b97427add85c37af4c85a2e7b8a5691c97.svg. Then the singular homological degree is

20240109-singular_homological_degree_of_a_nullhomotopic_map_28abd3f2a7218a4a0e2a269a18e758a71e20aa35.svg

2. Proof

By assumption, 20240109-singular_homological_degree_of_a_nullhomotopic_map_ad6a03aaa8d3a8bd22f0e7659be6109d78aaf52a.svg factors up to homotopy

20240109-singular_homological_degree_of_a_nullhomotopic_map_4e8ea3953678f33f18bd667367c408145fec3613.svg

see: nullhomotopic map and factorization up to homotopy

Hence, since the homology functor is homotopy invariant

20240109-singular_homological_degree_of_a_nullhomotopic_map_a50efd3b5f11f615da219cba398cf84057292b60.svg

is the zero morphism

Thus by construction of the degree, we get

20240109-singular_homological_degree_of_a_nullhomotopic_map_b5f61053bbdd8916c1b6fa13ab16b0715e3504b7.svg

as it is the neutral element of the abelian group homomorphisms as abelian group

Date: nil

Author: Anton Zakrewski

Created: 2024-10-19 Sa 21:33