Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Is my proof correct for lim_(n-> infty) |z_n| = |z| ? Complex Analysis

  1. May 11, 2007 #1
    Is my proof correct for lim_(n-> infty) |z_n| = |z| ??? Complex Analysis

    1. The problem statement, all variables and given/known data
    Show that if lim_{n-> infty} z_n = z


    lim_{n-> infty} |z_n| = |z|

    2. Relevant equations

    3. The attempt at a solution

    Is this correct:

    lim_{n-> infty} |z_n| = |z|


    Assume that the conditions hold;
    lim_{n-> infty} |x_n| = |x| and lim_{n-> infty} |y_n| = |y|

    According to these conditions there exist, for each positive number \epsilon, positive integers n_1 and n_2 such that:

    ||x_n| - |x|| < epsilon/2 whenever n > n_1


    ||y_n| - |y|| < epsilon/2 whenever n > n_2

    Hence, if n_0 is the larger of the two integers n_1 and n_2

    ||x_n| - |x|| < epsilon/2 and ||y_n| - |y|| < epsilon/2 whenever n > n_0


    |(|x_n| + i|y_n|) - (|x| + i|y|) =
    |(|x_n| - |x|) + i(|y_n|-|y|) <= ||x_n| - |x|| + ||y_n| - |y||


    ||z_n| - |z|| < epislon/2 + epsilon/2 = epsilong whenver n > n_0

    Thus it holds that

    lim_(n-> infty) |z_n| = |z| because for every epsilon > 0 there exists N > 0 such that | |z_n| - |z|| < epsilon

    I am using a proof from the text book to draw this from so just wanted to check to see if I've left anything out and if it makes sence!

  2. jcsd
  3. May 11, 2007 #2


    User Avatar
    Science Advisor
    Homework Helper

    Well, being lazy, I'd be tempted to use the triangle inequality for complex numbers:
    [tex]|z-z_n| \geq ||z|-|z_n||[/tex]
    Then take the limit of both sides as [itex]n \rightarrow \infty[/itex]

    What you seem to be doing is splitting the original convergence into the convergence of the real part, and the imaginary part, and then using those to show the convergence of the norm, which is also works. You could make it clearer by making that explicit:

    Given [itex]\epsilon > 0[/itex] there is [itex]N[/itex] so that [itex]n>N \Rightarrow |z-z_n| < \frac{\epsilon}{2}[/itex] from the hypothesis that [itex]z_n[/itex] converges to [itex]z[/itex].

    Then we know that
    and the triangle inequality gives:
    [tex]||z|-|z_n|| \leq |\rm{Real}(z)-\rm{Real}(z_n)|+|\rm{Imaginary}(z)-\rm{Imaginary}(z_n)|< |\frac{\epsilon}{2}+\frac{\epsilon}{2}|=\epsilon[/tex]
    [tex]n>N \Rightarrow ||z|-|z_n|| < \epsilon[/tex]
    Last edited: May 11, 2007
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook