S.O.S. Mathematics CyberBoard

Your Resource for mathematics help on the web!
It is currently Fri, 24 May 2013 19:50:35 UTC

All times are UTC [ DST ]




Post new topic Reply to topic  [ 7 posts ] 
Author Message
 Post subject: True or False (proof or counterexample)
PostPosted: Thu, 9 Feb 2012 22:41:22 UTC 
Offline
Senior Member

Joined: Sat, 10 Oct 2009 15:43:22 UTC
Posts: 98
Suppose that f' is continuous in a neighborhood of c and f'(c)>0. Then f is strictly increasing in some neighborhood of c.

I'm having trouble determining this from the information given. I feel as if I can give an obvious counterexample, but the "SOME neighborhood of c" part makes me wary. Any help appreciated.

_________________
let:
a=b
ab=b^2
ab-a^2=b^2-a^2
a(b-a)=(b+a)(b-a)
a=b+a
a=2a
1=2


Top
 Profile  
 
 Post subject: Re: True or False (proof or counterexample)
PostPosted: Fri, 10 Feb 2012 00:51:30 UTC 
Offline
Member of the 'S.O.S. Math' Hall of Fame

Joined: Fri, 1 Jul 2011 01:17:26 UTC
Posts: 322
mgfortes wrote:
Suppose that f' is continuous in a neighborhood of c and f'(c)>0. Then f is strictly increasing in some neighborhood of c.

I'm having trouble determining this from the information given. I feel as if I can give an obvious counterexample, but the "SOME neighborhood of c" part makes me wary. Any help appreciated.


Some neighborhood implies that the neighborhood be small enough that f'(x) > 0 in the neighborhood. There is such a neighborhood, since f'(c) > 0 and f'(x) is continuous.


Top
 Profile  
 
 Post subject: Re: True or False (proof or counterexample)
PostPosted: Fri, 10 Feb 2012 00:54:07 UTC 
Offline
Member of the 'S.O.S. Math' Hall of Fame
User avatar

Joined: Wed, 21 May 2003 04:27:18 UTC
Posts: 992
mgfortes wrote:
Suppose that f' is continuous in a neighborhood of c and f'(c)>0. Then f is strictly increasing in some neighborhood of c.

I'm having trouble determining this from the information given. I feel as if I can give an obvious counterexample, but the "SOME neighborhood of c" part makes me wary. Any help appreciated.


Might this be relevant?

http://en.wikipedia.org/wiki/Darboux's_theorem_(analysis)

_________________
"Mathematicians are like lovers. Grant a mathematician the least principle, and he will draw from it a consequence which you must also grant him, and from this consequence another." Bernard Le Bovier Fontenelle (1657-1757)

"In great mathematics there is a very high degree of unexpectedness, combined with inevitability and economy."
G.H. Hardy (1877-1947)


Top
 Profile  
 
 Post subject: Re: True or False (proof or counterexample)
PostPosted: Fri, 10 Feb 2012 01:47:36 UTC 
Offline
Moderator
User avatar

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 12103
Location: Austin, TX
Justin wrote:
mgfortes wrote:
Suppose that f' is continuous in a neighborhood of c and f'(c)>0. Then f is strictly increasing in some neighborhood of c.

I'm having trouble determining this from the information given. I feel as if I can give an obvious counterexample, but the "SOME neighborhood of c" part makes me wary. Any help appreciated.


Might this be relevant?

http://en.wikipedia.org/wiki/Darboux's_theorem_(analysis)


Not particularly, as is noted in the article, if f' is continuous, then it just follows from the MVT, which is what you really want. Since f is continuous, we know that the inverse image of an open set around f'(c) is an open set surrounding c, but then if we take U=(f'(c)-{f'(c)\over 2},f'(c)+{f'(c)\over 2}), then this is clearly an open neighborhood of f'(c) which contains only positive numbers since f'(c)>0, so its inverse image is the desired neighborhood of c.

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination


Top
 Profile  
 
 Post subject: Re: True or False (proof or counterexample)
PostPosted: Fri, 10 Feb 2012 01:51:29 UTC 
Offline
Member of the 'S.O.S. Math' Hall of Fame
User avatar

Joined: Wed, 21 May 2003 04:27:18 UTC
Posts: 992
Shadow wrote:
Justin wrote:


Not particularly, as is noted in the article, if f' is continuous, then it just follows from the MVT, which is what you really want. Since f is continuous, we know that the inverse image of an open set around f'(c) is an open set surrounding c, but then if we take U=(f'(c)-{f'(c)\over 2},f'(c)+{f'(c)\over 2}), then this is clearly an open neighborhood of f'(c) which contains only positive numbers since f'(c)>0, so its inverse image is the desired neighborhood of c.


Ok, that makes sense, the problem seemed to have an IVT ring to it, but I didn't know if that was strong enough...unlikely since f \in C^1 was an explicit hypothesis. I will see just for kicks if I can work out a proof by contradiction.

_________________
"Mathematicians are like lovers. Grant a mathematician the least principle, and he will draw from it a consequence which you must also grant him, and from this consequence another." Bernard Le Bovier Fontenelle (1657-1757)

"In great mathematics there is a very high degree of unexpectedness, combined with inevitability and economy."
G.H. Hardy (1877-1947)


Top
 Profile  
 
 Post subject: Re: True or False (proof or counterexample)
PostPosted: Fri, 10 Feb 2012 01:57:47 UTC 
Offline
Moderator
User avatar

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 12103
Location: Austin, TX
Justin wrote:
Shadow wrote:
Justin wrote:


Not particularly, as is noted in the article, if f' is continuous, then it just follows from the MVT, which is what you really want. Since f is continuous, we know that the inverse image of an open set around f'(c) is an open set surrounding c, but then if we take U=(f'(c)-{f'(c)\over 2},f'(c)+{f'(c)\over 2}), then this is clearly an open neighborhood of f'(c) which contains only positive numbers since f'(c)>0, so its inverse image is the desired neighborhood of c.


Ok, that makes sense, the problem seemed to have an IVT ring to it, but I didn't know if that was strong enough...unlikely since f \in C^1 was an explicit hypothesis. I will see just for kicks if I can work out a proof by contradiction.


Any direct proof can be made into a proof by contradiction, just assume you're wrong, and go through the usual proof, you arrive at the truth, which is the contradiction to the falsehood. True proofs by contradiction involve existence theorems which don't produce an explicit result. However, this should be possible for you, at least in theory, since the IVT and MVT are not constructive theorems.

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination


Top
 Profile  
 
 Post subject: Re: True or False (proof or counterexample)
PostPosted: Fri, 10 Feb 2012 02:40:35 UTC 
Offline
Senior Member

Joined: Sat, 10 Oct 2009 15:43:22 UTC
Posts: 98
Thank you both for your replies.

Shadow-
That was a fantastic insight and very helpful. Thanks!

_________________
let:
a=b
ab=b^2
ab-a^2=b^2-a^2
a(b-a)=(b+a)(b-a)
a=b+a
a=2a
1=2


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 7 posts ] 

All times are UTC [ DST ]


Who is online

Users browsing this forum: No registered users


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum

Search for:
Jump to:  
Contact Us | S.O.S. Mathematics Homepage
Privacy Statement | Search the "old" CyberBoard

users online during the last hour
Powered by phpBB © 2001, 2005-2011 phpBB Group.
Copyright © 1999-2013 MathMedics, LLC. All rights reserved.
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA