Derivative 0 => constant function

Printable View

October 7th 2010, 05:15 AM
EinStone

Derivative 0 => constant function

Suppose that M, N are smooth manifolds and that M is connected. Let $f: M \rightarrow N$ be differentiable so that $d_x f = 0$ for all $x \in M$ .

Show that f must be constant.

Anyone got any hint? Why do we need M to be connected?
October 7th 2010, 05:52 AM
Defunkt

If we don't require M to be connected, then we can let $M=[0,1] \cup [2,3] ~, ~ N = [0,1]$ and $f(x) = \left\{ \begin{array}{lr} 1 & x \in [0,1]\\ 0 & x \in [2,3] \end{array} \right.$
October 7th 2010, 09:18 AM
EinStone

Ok, I see. Now how to start proving this?
October 8th 2010, 06:15 AM
HallsofIvy

Use proof by contradiction. Suppose that $f(x)\ne f(y)$ and show that this leads to a non-zero derivative.

All times are GMT -8. The time now is 11:50 PM.