Proving the Intermediate Value Theorem for One-to-One Continuous Functions

  • Thread starter Thread starter Lee33
  • Start date Start date
  • Tags Tags
    Theorem Value
Click For Summary

Homework Help Overview

The discussion revolves around proving the Intermediate Value Theorem (IVT) for one-to-one continuous functions defined on a closed interval. The original poster presents a problem involving a continuous function on the interval [a, b] and explores the implications of the function being one-to-one.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the implications of the IVT in the context of one-to-one functions, particularly questioning how contradictions arise when assuming values outside the range of the function. There is an exploration of the reasoning behind why certain assumptions lead to contradictions regarding the one-to-one nature of the function.

Discussion Status

The discussion is active, with participants engaging in clarifying misunderstandings and reinforcing the reasoning behind the one-to-one property. Some participants express recognition of their mistakes, while others seek further clarification on specific points related to the contradiction in reasoning.

Contextual Notes

Participants are navigating the nuances of the IVT and its application to one-to-one functions, with some uncertainty about the implications of certain assumptions and the definitions involved.

Lee33
Messages
156
Reaction score
0

Homework Statement



Let ##a,b\in \mathbb{R}##, ##a<b## and let ##f## be a continuous real valued function on ##[a,b]##. Prove that if ##f## is one-one then ##f([a,b])## is either ##[f(a),f(b)]## or ##[f(b),f(a)].##

2. The attempt at a solution

Suppose ##f(a) < f(b)## then by IVT we have if ##x\in(a,b)## then ##f(x) \in [f(a),f(b)]##. Arguing by contradiction suppose ##f(x) < f(a)## or ##f(x)>f(b)##. If ##f(x) <f(a)## then by IVT ##f([x,b])## contains all points between ##f(x)## and ##f(b)## and contains ##f(a)## contradiction that ##f## is one to one.

Why does that contradict the assumption that ##f## is one to one?
 
Physics news on Phys.org
Lee33 said:

Homework Statement



Let ##a,b\in \mathbb{R}##, ##a<b## and let ##f## be a continuous real valued function on ##[a,b]##. Prove that if ##f## is one-one then ##f([a,b])## is either ##[f(a),f(b)]## or ##[f(b),f(a)].##

2. The attempt at a solution

Suppose ##f(a) < f(b)## then by IVT we have if ##x\in(a,b)## then ##f(x) \in [f(a),f(b)]##. Arguing by contradiction suppose ##f(x) < f(a)## or ##f(x)>f(b)##. If ##f(x) <f(a)## then by IVT ##f([x,b])## contains all points between ##f(x)## and ##f(b)## and contains ##f(a)## contradiction that ##f## is one to one.

Why does that contradict the assumption that ##f## is one to one?

Draw a picture. Suppose f(a)<=f(b) and x is in (a,b) but f(x)<f(a). Doesn't that mean that there is a y in [x,b] such that f(y)=f(a)?
 
  • Like
Likes   Reactions: 1 person
Thank you! I see my mistake in my reasoning now.
 
Last edited:
Lee33 said:
Thank you! I see my mistake in reasoning now.

I don't think there was any real mistake. Are you clear how on how f(y)=f(a) would contradict one-to-one?
 
Yup, because we already know ##a<x<b## and if ##f(a)\in f([x,b])## we have that ##x\le y\le b## thus ##f(y) = f(a)## which contradicts one to one since ##y\ne a##.
 
Last edited:
Lee33 said:
Yup, because we already know ##a<x<b## and if ##f(a)\in f([x,b])## we have that ##x\le y\le b## thus ##f(y) = f(a)## which contradiction one to one since ##y\ne a##.

Exactly.
 
  • Like
Likes   Reactions: 1 person
Thanks again!
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 11 ·
Replies
11
Views
1K
Replies
1
Views
2K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
2
Views
2K
Replies
4
Views
1K
Replies
1
Views
2K