Thread: real analysis limits

Can you please help me with these proofs?

(1) Let A on R and let f : A --> R be such that f(x) > 0 for all x on A.

Prove that if lim x -->c f(x) exists and is nonzero, for some c on A, then lim x -->c square root(f(x)) = square root (lim x-->c f(x)).


(2) If f, defined on an interval [a,infinity), is a decreasing function and is bounded below then lim x -->infinity f(x) exists.

Originally Posted by varkoume.com

Can you please help me with these proofs?

(1) Let A on R and let f : A --> R be such that f(x) > 0 for all x on A.

Prove that if lim x -->c f(x) exists and is nonzero, for some c on A, then lim x -->c square root(f(x)) = square root (lim x-->c f(x)).


(2) If f, defined on an interval [a,infinity), is a decreasing function and is bounded below then lim x -->infinity f(x) exists.

We actualy want to prove:




For that you must prove: given ε>0 there exists a δ>0 such that:


..........if xεA and 0<|x-c|<δ , then . The trick of that case is hiding in the last inequality:

........................... .......................1



Ιf we now multiply by and at the same time divide by we get:


.

Now since f(x)>0 ====> >0=====> .

Hence < .......................======>

< .

Overall now we have :


.................................................. 2

This last inequality is very important to the proof that follows:


Note the work we have done so far can be considered as an aside work.

Now for the proof :

Let ε>0 then .

But , since ,then for any E>0 we can find a δ>0 such that :

........................if xεA and 0<|x-c|<δ ,then |f(x)-m|<E...............

Since the above holds for any E>0,it will hold for .

And for that E we can find a δ>0, such that:

...........if xεA and 0<|x-c|< δ,then |f(x)-m|< .................................................. .3

Now we are nearly done,so let:

...........xεA and 0<|x-c|<δ.............................................

............then in combination of (2) and (3) we get the desired result:


................................ .................................................. .....................

Of course if one can write a more detailed proof the more he/she gets to the inside of the proof,and i think this should be the ultimate goal of every student in analysis,otherwise one may run into the possibility of ,what you may remember one year you may have forgotten the next.

thanks a lot..this is very helpful..but i still can't solve the 2nd problem ;/

Originally Posted by varkoume.com

Can you please help me with these proofs?

(1) Let A on R and let f : A --> R be such that f(x) > 0 for all x on A.

Prove that if lim x -->c f(x) exists and is nonzero, for some c on A, then lim x -->c square root(f(x)) = square root (lim x-->c f(x)).


(2) If f, defined on an interval [a,infinity), is a decreasing function and is bounded below then lim x -->infinity f(x) exists.

We want to prove that:


There exists an m such that:

Now since f is bounded below and decreasing ,thru the axiom of continuity of real Nos, there exists a real No m such that:


......for all y belonging to the range of f ,yεR(f), .................................................. ......................................1


......for all ε>0 ,there exists a yεR(f) ,such that .................................................. .......................2


Now let us prove that this m is the limit of f(x) as x goes to infinity.

To prove that,we must prove that:

For all ε>0 there exists a δ>0,such that:

.........if xε[a, ) and x>δ ,then |f(x)-m|<ε................

So,let ε>0,then according to (2) THERE exists a yεR(f) and .

But since yεR(f) there exists xε[a, ),and y=f(x).

Here is the trick of the problem.We put for that x=δ,and since x>0 ,δ>0.

(Note we,for simplicity ,consider the case where a>0).

So far we have prove that:

Given ε>0 ,there exists δ>0.It remains to see what happens :


...............if xε[a, ) and x>δ...........................


But x>δ====> and since f is decreasing that implies ,and according to (2):


...................... .................................................. .............................3

Also according to (1) : ,since f(x)εR(f), which implies that m -ε< f(x).............................................. ........................................4


Combining (3) and (4) we get:

.........m-ε<f(x)<m+ε ,which is equivalent to: |f(x) - m|<ε,which is the desired result.

thanks