Intermediate Value Theorem question

  • Thread starter Thread starter Portuga
  • Start date Start date
  • Tags Tags
    Theorem Value
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
8 replies · 2K views
Portuga
Messages
56
Reaction score
6
Consider a continuous function [itex]f[/itex] in [itex][a,b][/itex] and [itex]f(a) < f(b)[/itex]. Suppose that [itex]\forall s \neq t[/itex] in [itex][a,b][/itex], [itex]f(s) \neq f(t)[/itex]. Proof that [itex]f[/itex] is strictly increasing function in [itex][a,b][/itex].

Homework Equations



I.V.T: If [itex]f[/itex] is continuous in [itex][a,b][/itex] and [itex]\gamma[/itex] is a real in [itex][f(a),f(b)][/itex], then there'll be at least one [itex]c[/itex] in [itex][a,b][/itex] such that [itex]f(c) = \gamma[/itex].

The Attempt at a Solution



This exercise is very strange to me. Besides I can apply the I.V.T to show that for any sub interval in [a,b] there will be an intermediate value in [itex]f(a), f(b)[/itex], I can easily draw and counter example of what it pretends:
https://www.dropbox.com/s/dtj28xo4ilaai4z/pf.eps?dl=0

I am missing something important?

Thanks in advance!
 
Physics news on Phys.org
Portuga said:
Consider a continuous function [itex]f[/itex] in [itex][a,b][/itex] and [itex]f(a) < f(b)[/itex]. Suppose that [itex]\forall s \neq t[/itex] in [itex][a,b][/itex], [itex]f(s) \neq f(t)[/itex]. Proof that [itex]f[/itex] is strictly increasing function in [itex][a,b][/itex].

Homework Equations



I.V.T: If [itex]f[/itex] is continuous in [itex][a,b][/itex] and [itex]\gamma[/itex] is a real in [itex][f(a),f(b)][/itex], then there'll be at least one [itex]c[/itex] in [itex][a,b][/itex] such that [itex]f(c) = \gamma[/itex].

The Attempt at a Solution



This exercise is very strange to me. Besides I can apply the I.V.T to show that for any sub interval in [a,b] there will be an intermediate value in [itex]f(a), f(b)[/itex], I can easily draw and counter example of what it pretends:
https://www.dropbox.com/s/dtj28xo4ilaai4z/pf.eps?dl=0

I am missing something important?

Thanks in advance!

Your example violates the hypotheses of the claim: your function ##f(x)## has ##f(s) = f(t)## for several pairs ##(s,t)## with ##s \neq t##.
 
BvU said:
Picture doesn't make it. Blank screen. Can you copy/paste it in the post ?
upload_2017-7-5_11-24-35.png
 
  • Like
Likes   Reactions: BvU
I did the first one in libreoffice, so I made the mistake pointed by Ray.
 
Portuga said:
Portuga said:
Suppose that [itex]\forall s \neq t[/itex] in [itex][a,b][/itex], [itex]f(s) \neq f(t)[/itex].
Your drawing violates the assumption that ##f(s) \neq f(t)##
Portuga said:
Proof that [itex]f[/itex] is strictly increasing function in [itex][a,b][/itex].

Minor point. The verb is "to prove". The noun is "proof".
 
Thank you! Now I got the point! Sorry for my poor English! Thank you very much. Now it's clear for me!
 
Portuga said:
Sorry for my poor English!
No need for an apology. Lots of native speakers of English also get this wrong (prove vs. proof), sometimes spelling "prove" as "proove."