nonzero homological degree and surjectivity on the disk

1. Proposition

Let 20240110-nonzero_homological_degree_and_surjectivity_of_the_disk_fe0064fa792bb23784298a5c71a25f1d280b2d9b.svg be a continuous map on the disk, such that

20240110-nonzero_homological_degree_and_surjectivity_of_the_disk_774d2f816d93213a46de665ab74b1324750bc983.svg

and the degree of the restriction is nonzero

20240110-nonzero_homological_degree_and_surjectivity_of_the_disk_0bfaf9dcb72670454ec573f3968dd1d004b4ea63.svg

Then 20240110-nonzero_homological_degree_and_surjectivity_of_the_disk_50706fcb59084c951cf44498a2491f2cd0455273.svg is surjective

2. Proof

Suppose 20240110-nonzero_homological_degree_and_surjectivity_of_the_disk_50706fcb59084c951cf44498a2491f2cd0455273.svg is not surjective, then there exists a point 20240110-nonzero_homological_degree_and_surjectivity_of_the_disk_ffb16816bd7a68ff65dfd2078c3562479b9bb9c7.svg such that 20240110-nonzero_homological_degree_and_surjectivity_of_the_disk_88f383d0bad47d8f2f0cd49b6ad20c845dd01c3d.svg. Then define a map

20240110-nonzero_homological_degree_and_surjectivity_of_the_disk_48d757a01b8178d773e47c53fc76c603b2598091.svg

it follows, that

20240110-nonzero_homological_degree_and_surjectivity_of_the_disk_7f395e2565af5f1d930d86e1ffb0af64f72b026b.svg

and therefore 20240110-nonzero_homological_degree_and_surjectivity_of_the_disk_befb86e4b9ec8421b86f2b56729f924b9c6dd27b.svg has nonzeroo degree.

Furthermore, it factorizes as

20240110-nonzero_homological_degree_and_surjectivity_of_the_disk_3a59e949724b249716a3256590a82430a67b6cfb.svg

applying the singular homology functor gives

20240110-nonzero_homological_degree_and_surjectivity_of_the_disk_352d474de71e269db99df58d047cd436a7611bf3.svg

which is a contradiction, as 20240110-nonzero_homological_degree_and_surjectivity_of_the_disk_61af72fda08a618ce9af0d53d8e36c5c8383eb2e.svg, but it doesnt factor

Date: nil

Author: Anton Zakrewski

Created: 2024-10-19 Sa 21:41