Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am currently taking a course in Differential Topology where the book we are using the one by Hirsch. I have had some troubles trying to prove that the weak topology makes the composition of maps, continuous. Up to now, I have been able to prove that, given a sub-basic neighborhood of $C^r(M,N)$, say $\mathcal{N}^r(h;(\phi,U),(\psi,V),K,\epsilon)$, there is a neighborhood of $C^r(P,N)\times C^r(M,P)$, $\mathcal{N}^r(g;(\chi,G),(\psi,V),\bar G,\epsilon'') \times\mathcal{N}^r(f;(\phi,U),(\psi,G),K,\epsilon')$ such that $g \circ f \in \mathcal{N}^r(h;(\phi,U),(\psi,V),K,\epsilon)$. But I have not been that lucky with the 'differential part'.

I think I reached, for $\bar f$ and $\bar g$, $$\| D^l(\phi \circ \bar g \circ \bar f \circ \phi^{-1}) - D^l(\phi \circ g \circ f \circ \psi^{-1}) \| \leq \|D^l (\phi \circ \bar g \circ \chi^{-1}) \| \|D^l(\chi \circ \bar f \circ \phi^{-1}) - D^l(\chi \circ f \circ \phi^{-1})\| + \|D^l (\phi \circ f \circ \chi^{-1}) \| \|D^l(\chi \circ \bar g \circ \phi^{-1}) - D^l(\chi \circ g \circ \phi^{-1})\|,$$ but I can not find a way to conclude it. Any ideas?

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.