Prove by definition the statement lim x->4 √x = 2

  • Context: Undergrad 
  • Thread starter Thread starter roam
  • Start date Start date
  • Tags Tags
    Definition
Click For Summary

Discussion Overview

The discussion revolves around proving the limit statement lim x->4 √x = 2 using the formal definition of limits. Participants explore the epsilon-delta definition and provide various approaches and corrections related to the proof. Additionally, there are inquiries about other limits, specifically lim x->0 x^2sin(1/x) and lim x->∞ (1+e^x)/e^x.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant presents a proof using ε and δ, suggesting δ = ε^2, but another participant questions the validity of taking the square root of both sides without additional conditions.
  • Another participant clarifies the formal definition of limits, emphasizing the need for δ to depend on ε and providing a different approach to the proof.
  • Participants express understanding of the limit proof process and ask about the limit of lim x->0 x^2sin(1/x), seeking opinions on its existence or whether it is infinite.
  • A participant proposes a limit involving e^x and attempts to prove it, while another suggests a simplification of the expression.

Areas of Agreement / Disagreement

There is no consensus on the correctness of the initial proof presented. Participants express differing views on the validity of the steps taken, particularly regarding the assumptions made. The discussion about the other limits remains open-ended, with participants sharing thoughts but not reaching a definitive conclusion.

Contextual Notes

Some participants highlight potential issues with the assumptions in the proofs, particularly regarding the conditions under which certain inequalities hold. The discussions on the limits of x^2sin(1/x) and (1+e^x)/e^x are exploratory and do not resolve whether those limits exist or are infinite.

Who May Find This Useful

Readers interested in limit proofs, epsilon-delta definitions, and mathematical reasoning in calculus may find this discussion beneficial.

roam
Messages
1,265
Reaction score
12
Prove by definition the statement

lim x->4 √x = 2

This is what I've done:
Given ε>0

|(√x)-2| = |√x-2|< ε if |x-4|< ε^2

I choose δ = ε^2

0<|x-4|< ε^2
=> |x-2|< √ε^2 = ε

Hence lim x->4 √x = 2

So, what do you think? Did I do the process correctly?
 
Last edited:
Physics news on Phys.org
Well what you actually need to prove is that

[tex]\forall\epsilon>0,\exists\delta(\epsilon)>0[/tex] such that whenever

[tex]0<|x-4|<\delta=>|\sqrt{x}-2|<\epsilon \ \ ??[/tex]

[tex]\lim_{x\rightarrow 4}\sqrt{x}=2[/tex]

so

[tex]|(\sqrt{x}-2)\frac{\sqrt{x}+2}{\sqrt{x}+2}|=|\frac{x-4}{\sqrt{x}+2}|<\frac{\delta}{\sqrt{x}+2}<\frac{\delta}{2}=\epsilon=>\delta=2\epsilon[/tex]

Now since x-->4, it is safe to assume that

0<x<5 , now let's take the square root of both sides

[tex]0<\sqrt{x}<\sqrt{5} /+2=>2<\sqrt{x}+2<\sqrt{5}+2=>\frac{1}{\sqrt{x}+2}<\frac{1}{2}[/tex]

Now to be absolutely sure that this holds we choose [tex]\delta=min(2\epsilon, 1)[/tex]

This is all we needed. Do you understand how it goes now?
 
Last edited:
Yes, I understand it now. Thank you!

My other question is; consider: lim x->0 x^2sin(1/x)

What do you think of the limit (i.e. it exists or it's infinite) ?
How can we prove that this limit is/isn't infinite? What's the working?

Thanks.
 
roam said:
Prove by definition the statement

lim x->4 √x = 2

This is what I've done:
Given ε>0

|(√x)-2| = |√x-2|< ε if |x-4|< ε^2

I choose δ = ε^2

0<|x-4|< ε^2
=> |x-2|< √ε^2 = ε
How does that follow? Surely you didn't take the square root of both sides! This is the crucial part of your proof and it is not at all obvious. It isn't even true without other conditions: if x= 5, [itex]\epsilon= 2[/itex], then 0<|x-4|= 1< [itex]\epsilon^2[/itex]= 4 but |x- 2|= 3 is NOT less than [itex]\epsilon[/itex]= 2.

Hence lim x->4 √x = 2

So, what do you think? Did I do the process correctly?
 
Last edited by a moderator:
roam said:
Yes, I understand it now. Thank you!

My other question is; consider: lim x->0 x^2sin(1/x)

What do you think of the limit (i.e. it exists or it's infinite) ?
How can we prove that this limit is/isn't infinite? What's the working?

Thanks.


Well, what are your thoughts on it? Show what you did so far, what have you tried?
 
If the sin(1/x) is bothering you, let y= 1/x and replace all xs with y.
 
Yes, I have also tried another question, I don't know if I'm right but I'll try it:
lim x->∞ (1+e^x)/e^x

I have sketched the graph and I think the limit is 1.

Now to prove the limit:

Let ε>0 be given.

We choose K = ln(1/ε)>0
so that;
x>k = ln(1/ε) => 1/ε<e^x => e^-x <ε
|((1+e^x)/e^x)|-1 = e^-x< ε

Please correct me if I'm wrong. I'd appreciate that.
 
Perhaps it would be simpler as (1+ ex)/ex= e-x+ 1.
 

Similar threads

  • · Replies 28 ·
Replies
28
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
7
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
8K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K