Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.