[Math] Non-zero degree on circle $\Rightarrow$ surjective on disk

algebraic-topologyhomology-cohomology

Recently I came across the following problem that I cant's solve:

Let $f: (D^n, S^{n-1}) \rightarrow (D^n, S^{n-1})$ be a continuous map such that $f|_{S^{n-1}}$ has non-zero degree. Show that $f$ is surjective.

I found an answer to this question at Map Surjective on a Disk but unfortunately I currently don't have the privilege to leave a comment on the appropriate site.

The answer referred to above, makes use of something called the "Extension Theorem" which I don't know.

Is there a more direct way to solve the problem without using this theorem (basically only using more or less elementary homology theory)?

Clearly it follows from $deg(f|_{S^{n-1}}) \neq 0$ that $f|_{S^{n-1}}: S^{n-1} \rightarrow S^{n-1}$ is surjective, but where do I go from there?

Thanks in advance for any help.

Best Answer

For $\mathbf{n=1}$ : a simple argument usig connectedness of the image $f(D^1)$, and the fact that it contains $\lbrace -1,+1\rbrace$ shows that the map is onto.


For $\mathbf{n\geq 2}$ : You can do this using homology. Suppose $f$ misses a point in $D^n$. As you pointed out, this point has to be in the interior of the disk. Using naturality of the long exact homology sequence, there is a commutative diagram $$ \begin{array}{ccc ccc ccc} H_n(D^n)&\rightarrow & H_n(D^n,S^{n-1})&\xrightarrow{\:\partial\:} & H_{n-1}(S^{n-1})&\rightarrow & H_{n-1}(D^n) & \\ \downarrow&&\downarrow&&\downarrow&&\downarrow\\ H_n(D^n\smallsetminus\lbrace\mathrm{pt}\rbrace)&\rightarrow & H_n(D^n\smallsetminus\lbrace\mathrm{pt}\rbrace,S^{n-1})&\xrightarrow{\:\partial\:} & H_{n-1}(S^{n-1})&\rightarrow & H_{n-1}(D^n\smallsetminus\lbrace\mathrm{pt}\rbrace) & \rightarrow &0 \end{array} $$ induced by the map of pairs $f:(D^n,S^{n-1})\to(D^n\smallsetminus\lbrace\mathrm{pt}\rbrace,S^{n-1})$. Since $D^n\smallsetminus\lbrace\mathrm{pt})$ deformation retracts onto $S^{n-1}$, $D^n$ is contractible, and the top homology of the sphere is $\Bbb Z$, we have a diagram \begin{array}{ccc ccc ccc} 0&\rightarrow & H_n(D^n,S^{n-1})&\rightarrow & H_{n-1}(S^{n-1})&\rightarrow & 0 & \\ &&\downarrow&&\downarrow&&\downarrow\\ & & 0&\rightarrow & H_{n-1}(S^{n-1})&\rightarrow & H_{n-1}(D^n\smallsetminus\lbrace\mathrm{pt}\rbrace) & \rightarrow &0 \end{array} (since $n\geq 2$.) The top map is an isomorphism (from exactness), yet by commutativity of the diagram, we must have that the vertical map $H_{n-1}(S^{n-1})\to H_{n-1}(S^{n-1})$ (which is multiplication by $\mathrm{deg}(f)\neq 0$) is $0$. This is a contradiction, and so $f$ is onto.

Related Question