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

in differential geometry we define a function $f:M \rightarrow N$ between differential manifolds to be differentiable, if the function $y \circ f \circ x^{-1}$ (where $y$ and $x$ are appropriate coordinate charts) is differentiable. I was wondering now:

Let's say $f$ is a function $f:\mathbb{R}^n \rightarrow \mathbb{R}^m$ and let $g,h$ be diffeomorphisms $g: \mathbb{R}^m \rightarrow \mathbb{R}^m$ and $h:\mathbb{R}^n \rightarrow \mathbb{R}^n$. If we know now that the composition $g \circ f \circ h$ is differentiable. Can we conclude then, that $f$ itself is a differentiable function?

Intuitively i would think that this is true but I don't see how I could proof that right now.

share|cite|improve this question
up vote 2 down vote accepted

If $\phi = g \circ f \circ h$ is differentiable, then since $f = g^{-1} \circ \phi \circ h^{-1}$, $f$ must be differentiable. ($g,h$ are diffeomorphisms.)

share|cite|improve this answer
aah... goddammit, thanks! I didn't expect it to be that easy :) – eddard Nov 14 '12 at 19:53

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.