Does Continuity Guarantee Half the Function Value in Convergent Sequences?

  • Thread starter Thread starter sillyus sodus
  • Start date Start date
  • Tags Tags
    Analysis
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
7 replies · 2K views
sillyus sodus
Messages
4
Reaction score
0

Homework Statement


Given a convergent sequence:
[tex]a_n \rightarrow a[/tex]
and a continuous function:
[tex]f:\mathbb{R}\rightarrow\mathbb{R}[/tex]
show that there exists an [tex]N\in\mathbb{N}[/tex] such that [tex]\forall n>N[/tex]:
[tex]f(a_n)\geq\frac{f(a)}{2}[/tex]



Homework Equations


Usual definitions for limit of a sequence and continuous function.


The Attempt at a Solution


I've tried playing around with it but I really don't understand what to do, I know its an easy question and I feel pretty stupid but I'm stuck. Can anyone just get me started on this one?
So far I've rearranged it so it looks like:
[tex]f(a)-f(a_n)\leq f(a_n)[/tex]
Which sort of looks like a limit without the abs values...
I figure that the function of a sequence is a sequence again, btu what am I trying to say here? That it is a divergent sequence?
 
Physics news on Phys.org
False. Let f(x) = -1 (constant function). Let a_n =0 for all n. Here, f(a_n)=f(0)=-1 <-1/2 for all n, yet a_n:n=1,2,... converges in the domain if f.
[Is there another condition?]
 
Sorry, sorry, yes there is another condition:
[tex]f(a)>0[/tex]
 
To not give the answer away, I would just suggest that the problem is now a matter of
fitting into the \epsilon - \delta definition of continuous functions. Note that f(a)/2 < f(a).
 
whaaaa.? So much for the 'for all epsilon >0' part. Whaaa? Well, not my problem anyway...
 
Yes, "For all epsilon> 0", something is true so it is true for any specific value of epsilon. Here we are given that f is continuous so we are free to choose any value of epsilon we like.
 
I have an answer now, basically because [tex]a_n\rightarrow a[/tex] and f is continuous then [tex]f(a_n)\rightarrow f(a)[/tex], so there exists n bigger than N such that [tex]|f(a_n)-f(a)|<\epsilon[/tex] so then just choose [tex]\epsilon = f(a)/2[/tex] do some rearranging and the inequality pops out.

In other words, [tex]f(a_n)[/tex] is a convergent sequence.