Math Help Forum

Math Help Forum Feed Site Feed

Go Back   Math Help Forum > University Math Help > Analysis, Topology and Differential Geometry
Reply
 
Thread Tools Display Modes
  #1  
Old May 30th, 2009, 02:08 PM
Showcase_22's Avatar
Super Member
 
Join Date: Sep 2006
Location: The raggedy edge.
Posts: 669
Country:
Thanks: 328
Thanked 96 Times in 93 Posts
Showcase_22 will become famous soon enoughShowcase_22 will become famous soon enough
Default Left continuity

If f: \mathbb{R} \rightarrow \mathbb{R} is increasing and satisfies the conclusion of the intermediate value theorem, then prove f is left continuous.

My attempt:

\forall r \in [f(a),f(b)] \exists c \in [a,b] \ s.t \ f(c)=r.

Hence pick b=a+\epsilon and let \epsilon=\epsilon_n s.t \epsilon_n=1/n.

Let r_n=f(a+\epsilon_n).

Also let f(a)=c_1 (just to make it different from the definition).

therefore \lim_{n \rightarrow \infty} f(a+\epsilon_n)\rightarrow f(r_{\infty})=f(a)=c_1

Hence it is left continuous.

Is this right? I have a feeling that i've assumed it to prove it
__________________

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.
Reply With Quote
Advertisement
 
  #2  
Old May 30th, 2009, 02:19 PM
Sampras's Avatar
Member
 
Join Date: May 2009
Posts: 235
Thanks: 29
Thanked 33 Times in 30 Posts
Sampras will become famous soon enough
Default

Quote:
Originally Posted by Showcase_22 View Post
If f: \mathbb{R} \rightarrow \mathbb{R} is increasing and satisfies the conclusion of the intermediate value theorem, then prove f is left continuous.

My attempt:

\forall r \in [f(a),f(b)] \exists c \in [a,b] \ s.t \ f(c)=r.

Hence pick b=a+\epsilon and let \epsilon=\epsilon_n s.t \epsilon_n=1/n.

Let r_n=f(a+\epsilon_n).

Also let f(a)=c_1 (just to make it different from the definition).

therefore \lim_{n \rightarrow \infty} f(a+\epsilon_n)\rightarrow f(r_{\infty})=f(a)=c_1

Hence it is left continuous.

Is this right? I have a feeling that i've assumed it to prove it
It seems that you should consider r_n = f(a-\epsilon_n) since you want to show left continuity.
Reply With Quote
The following users thank Sampras for this useful post:
Donate to MHF
  #3  
Old May 30th, 2009, 02:24 PM
Showcase_22's Avatar
Super Member
 
Join Date: Sep 2006
Location: The raggedy edge.
Posts: 669
Country:
Thanks: 328
Thanked 96 Times in 93 Posts
Showcase_22 will become famous soon enoughShowcase_22 will become famous soon enough
Default

\forall r \in [f(a),f(b)] \exists c \in [a,b] \ s.t \ f(c)=r.

Hence pick b=a-\epsilon and let \epsilon=\epsilon_n=1/n.

Let r_n=f(a+\epsilon_n).

Since f is an increasing sequence r_1>r_2>r_3.......

f is bounded below by f(a). Therefore r_{\infty}=f(a).

Also let f(a)=c_1 (just to make it different from the definition).

therefore \lim_{n \rightarrow \infty} f(a-\epsilon_n)\rightarrow f(r_{\infty})=f(a)=c_1

Hence it is left continuous.

Is that better?
__________________

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.
Reply With Quote
  #4  
Old May 30th, 2009, 02:36 PM
Sampras's Avatar
Member
 
Join Date: May 2009
Posts: 235
Thanks: 29
Thanked 33 Times in 30 Posts
Sampras will become famous soon enough
Default

Quote:
Originally Posted by Showcase_22 View Post
\forall r \in [f(a),f(b)] \exists c \in [a,b] \ s.t \ f(c)=r.

Hence pick b=a-\epsilon and let \epsilon=\epsilon_n=1/n.

Let r_n=f(a+\epsilon_n).

Since f is an increasing sequence r_1>r_2>r_3.......

f is bounded below by f(a). Therefore r_{\infty}=f(a).

Also let f(a)=c_1 (just to make it different from the definition).

therefore \lim_{n \rightarrow \infty} f(a-\epsilon_n)\rightarrow f(r_{\infty})=f(a)=c_1

Hence it is left continuous.

Is that better?
I would let r_n = f(a-\epsilon_n). Then r_n is an increasing sequence. And so r_{\infty} = f(a). Now taking r = a, \ c = c_1 in the Intermediate Value Theorem, we get f(a) = c_1. So \lim_{n \to \infty} f(a-\epsilon_n) = r_{\infty} = f(a) = c_1.
Reply With Quote
The following users thank Sampras for this useful post:
Donate to MHF
  #5  
Old June 3rd, 2009, 03:41 AM
Member
 
Join Date: Mar 2009
Posts: 154
Country:
Thanks: 13
Thanked 38 Times in 38 Posts
xalk will become famous soon enough
Default

Quote:
Originally Posted by Showcase_22 View Post
If f: \mathbb{R} \rightarrow \mathbb{R} is increasing and satisfies the conclusion of the intermediate value theorem, then prove f is left continuous.

My attempt:

\forall r \in [f(a),f(b)] \exists c \in [a,b] \ s.t \ f(c)=r.

Hence pick b=a+\epsilon and let \epsilon=\epsilon_n s.t \epsilon_n=1/n.

Let r_n=f(a+\epsilon_n).

Also let f(a)=c_1 (just to make it different from the definition).

therefore \lim_{n \rightarrow \infty} f(a+\epsilon_n)\rightarrow f(r_{\infty})=f(a)=c_1

Hence it is left continuous.

Is this right? I have a feeling that i've assumed it to prove it

Showcase, the intermediate value theorem says:

If f(x) is continuous in [a,b] and if f(a) =A and f(b)=B,then corresponding to any number C between A and B there exists at least one number c in [a,b] such that f(c) =C.

So it seems to me you are trying to prove the basic assumption of the intermediate value theorem,since if a function is continuous then is left,right continuous
Reply With Quote
The following users thank xalk for this useful post:
Donate to MHF
Reply

Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are Off
Pingbacks are Off
Refbacks are Off
Forum Jump


All times are GMT -7. The time now is 09:10 PM.


Powered by vBulletin® Version 3.7.3
Copyright ©2000 - 2009, Jelsoft Enterprises Ltd.
SEO by vBSEO 3.2.0 ©2008, Crawlability, Inc.
©2005 - 2009 Math Help Forum


Math Help Forum is a community of maths forums with an emphasis on maths help in all levels of mathematics.
Register to post your math questions or just hang out and try some of our math games or visit the arcade.