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.

The following theorem is stated in Spivak's "Calculus on Manifolds" as a follow-up on the Implicit Function Theorem:

Theorem 2.13: Let $f: \mathbb{R}^n \to \mathbb{R}^p$ be continuously differentiable in an open set containing $a$, where $p \le n$. if $f(a) = 0$ and the $p \times n$ matrix $(D_jf_i(a))$ has rank $p$, then there is an open set $A \subset \mathbb{R}^n$ containing $a$ and a differentiable function $h: A \to \mathbb{R}^n$ with differentiable inverse such that

$$f \circ h (x^1, \dots, x^n) = (x^{n-p+1}, \dots, x^n).$$

I don't see how this can be true. For a simple counter-example, let $f(x) = \sin(x)$ with $n=p=1$. Since $f'(2\pi)=1$, the theorem should hold at $a = 2\pi$, and since $a \in A$ we get for $x = a = 2\pi$:

$$\sin(h(a)) = a = 2\pi,$$

which cannot be true for any $h$. Where is the mistake?

share|improve this question
    
It seems that the direction of $h$ got mixed up here (or there should be $f\circ h^{-1}$ in a neighbourhood of $0$). Then your example $h$ would be $h\colon (-1,1)\to (\pi,3\pi)$, $x\mapsto \arcsin(x)+2\pi$ so that $\sin(h(x))=x$ –  Hagen von Eitzen Oct 2 '12 at 19:16
    
could you please explain by a geometric view of the statement? –  Une Femme Douce Jan 23 '13 at 2:06

1 Answer 1

up vote 4 down vote accepted

You are correct, the Theorem as stated is false. You get the correct statement by replacing $h$ in the equation by $h^{-1}$ (and you also really want $h(a) = 0$). Then it is a consequence of the Implicit Function Theorem. (In fact, it is a more general version of the Inverse Function Theorem.)

share|improve this answer
    
could you please explain by a geometric view of the statement? –  Une Femme Douce Jan 23 '13 at 2:05
1  
However, the error is trivial. @TaxiDriver There's one: If $f$ is smooth enough and $Df(a)$ is surjective, then there's a local right inverse $g$ of $f$ such that $f\circ g=\operatorname{id}$ locally. –  Frank Science Jul 7 '13 at 5:06

Your Answer

 
discard

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.