Vtyjkyuk

In Churchill's "Complex Variables and Applications", when proving the following statement:

$f'(z) = 0 spacespace forall z in mathbbDsubset mathbbC implies f(z) = constant spacespace forall z in mathbbD$

First we write $f = u + iv$. Since $f'(z)$ exists in all points on the domain and it equals $0$, then $u'_x + i v'_x = 0$ and, because it fulfills the Cauchy-Riemann equations, $v'_y - i u'_y = 0$.

So $u'_x = u'_y = v'_x = v'_y = 0$.

Then he goes on proving that for every path between any two points in $mathbbD$, the directional derivatives of $u$ and $v$ are $0$ and thus $u(x,y) = a$, $spacespace$ $v(x,y) = b$ and $f(z) = a + ib = constant$ for all $z in mathbbD$.

I don't understand why this last step is necessary. If the derivatives of $u$ and $v$ are already known to be $0$, doesn't that already imply that $u$ and $v$ must be constant, and so is $f$?

I apologize if this is too basic, but I'm very rusty on my multivariable real calculus.

I agree with you. If $u_x$ and $u_y$ are both the null function, then $u$ is constant. The same argument applies to $v$. Therefore, $f$ is constant.

The problem here is that the C-R equations are only concerned with derivatives in the $x$ and $y$ directions but none of the infinitely many directions inbetween. Therefore it doesn‘t follow entirely trivially that $f$ is constant.

However, we can assume the set that $f$ is defined on to be open and locally path connected. It is easy to show that any two points $z_0$ and $z_1$ in a path component can be joined by a sequence of horizontal and vertical paths. Along each of those sub-paths the change in $f$ is zero, so going along the path we get $f(z_0) = f(z_1)$. Thus $f$ is constant on the path component, i.e. locally constant.