How Do You Prove the Limit of a Complex Function Using Epsilon-Delta?

[conana]

Homework Statement

Use epsilon-delta proof to show that \lim_{z\to z_0}(z^2+c)=z_0^2+c.

Homework Equations

\forall\epsilon>0 \exists\delta>0 \forall z (|z-z_0|<\delta\Rightarrow|f(z)-\omega_0|<\epsilon)

The Attempt at a Solution

So f(z)=z^2+c and \omega_0=z_0^2+c. In order to write my proof I first need to find delta in terms of epsilon.

Let \epsilon>0. Then

\begin{align*}|f(z)-\omega_0|&lt;\epsilon &amp;\Rightarrow|(z^2+c)-(z_0^2+c)|&lt;\epsilon \\<br /> <br /> &amp;\Rightarrow|z^2-z_0^2|&lt;\epsilon\\<br /> <br /> &amp;\Rightarrow|(z+z_0)(z-z_0)|&lt;\epsilon\\<br /> <br /> &amp;\Rightarrow|z+z_0||z-z_0|&lt;\epsilon\\<br /> <br /> &amp;\Rightarrow|z-z_0|&lt;\dfrac{\epsilon}{|z+z_0|}\end{align*}

And from here I'm kind of stumped. I need to get that z out of the right hand side so that i can choose delta in terms of epsilon only. I know that with functions of a real variable you can restrict the value of |x-x_0|&lt;1 or something like that so you can put an upper and lower bound on delta, but I am not sure exactly how to employ this technique since pulling z's out of absolute value sign is a little different that pulling out x's.

Any help would be greatly appreciated. Thanks in advance.

 

[rasmhop]

I know that with functions of a real variable you can restrict the value of |x-x_0|&lt;1 or something like that so you can put an upper and lower bound on delta, but I am not sure exactly how to employ this technique since pulling z's out of absolute value sign is a little different that pulling out x's.

This technique still works perfectly fine with complex functions and doesn't depend on pulling out variables of the absolute value sign. You just make sure to choose \delta &lt; 1 so if you want say \delta&lt;\epsilon/2 (not the right value in this problem), then you just require \delta &lt; \min(\epsilon/2,1) such that \delta&lt;\epsilon/2 and \delta&lt;1. Of course if you want an explicit value you could just let \delta=\min(\epsilon/2,1)/2.

Anyway the thing to note is that we would really like an expression in terms of |z-z_0| so we use the triangle inequality:
\begin{align*}<br /> |z+z_0||z-z_0| &amp;= |z-z_0 + 2z_0||z-z_0| \\<br /> &amp;\leq (|z-z_0| + 2|z_0|)|z-z_0| \\<br /> &amp;&lt; \delta^2 + 2|z_0|\delta<br /> \end{align*}
If you choose your delta small enough this should work fine.