1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Lim a_n = L => lim sqrt(a_n) = sqrt(L)

  1. Oct 25, 2011 #1
    Let [tex]\{a_n\}[/tex] be a sequence of positive numbers. If [tex]\lim a_n = A[/tex], prove that [tex]\lim \sqrt{a_n} = \sqrt{A}[/tex].

    I thoght that [tex]f(x) = \sqrt{x}[/tex] is a continuous function, and composing a sequence that has a limit with a continuous function must have a limit that is just evaluating the previous limit in the function.

    But I think I'm not supposed to use that fact, as the concept of limit of sequence comes previously to the definition of continuous function in the course.

    It seems trivial, but still can't find how to start. Any help?
     
  2. jcsd
  3. Oct 25, 2011 #2
    What is your definition of a limit?
     
  4. Oct 25, 2011 #3
    Hi kru_,
    Isn't this standard for sequences?

    A sequence [tex]a_n[/tex] of real numbers has limit [tex]L \in \mathbb{R}[/tex] iff for every [tex]\epsilon > 0[/tex] there exists [tex]n_0 \in \mathbb{N}[/tex] such that for all [tex]n \geq n_0[/tex] one has [tex]|a_n - L| < \epsilon[/tex]
     
  5. Oct 26, 2011 #4
    So you know [itex]|a_n - A| < \epsilon[/itex].

    I think the key hint here is that [itex]|\sqrt{a_n} - \sqrt{A}| = \frac{|a_n - A|}{|\sqrt{a_n} + \sqrt{A}|}[/itex]
     
  6. Oct 26, 2011 #5
    Thank you, but I still can't see how to end it. Most that can see is that

    [itex] | \sqrt{a_n} - \sqrt{A}| < \frac{\epsilon}{|\sqrt{a_n} + \sqrt{A}|} [/itex]

    And I'm not sure if it's still valid if [itex] \lim_{n \to \infty} a_n = 0[/itex]
     
  7. Oct 26, 2011 #6
    You are right that you will need to handle a separate case if the limit is 0. This should be a pretty straightforward case, however. What does the definition of the limit look like if A = 0?


    Focusing on the general case, where A is not 0:

    You know that [itex]|a_n - A| \leq \epsilon[/itex]. The crucial component of this knowledge is that this remains true for all positive epsilon. It remains true for [itex]2\epsilon, 3\epsilon, \frac{3\epsilon}{7}, 4\pi\epsilon, \epsilon^2,..., A\epsilon^2, \sqrt{A}\epsilon[/itex], etc.

    Does this make sense?


    Another thing to consider is what you can do to the term [itex]\frac{|a_n - A|}{|\sqrt{a_n} + \sqrt{A}|}[/itex] to make it bigger.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook