MHB Intermediate Value Theorem .... Browder, Theorem 3.16 .... ....

[Math Amateur]

I am reading Andrew Browder's book: "Mathematical Analysis: An Introduction" ... ...

I am currently reading Chapter 3: Continuous Functions on Intervals and am currently focused on Section 3.1 Limits and Continuity ... ...

I need some help in understanding the proof of Theorem 3.16 ...Theorem 3.16 and its proof read as follows:
View attachment 9549
View attachment 9550
In the above proof by Andrew Browder we read the following:

" ... ... But $$f(b) \gt y$$ implies (since $$f$$ is continuous at $$b$$) that there exists $$\delta \gt 0$$ such that $$f(t) \gt y$$ for all $$t$$ with $$b - \delta \lt t \leq b$$. ... ... "My question is as follows:

How do we demonstrate explicitly and rigorously that since $$f$$ is continuous at $$b$$ and $$f(b) \gt y $$ therefore we have that there exists $$\delta \gt 0$$ such that $$f(t) \gt y$$ for all $$t$$ with $$b - \delta \lt t \leq b$$. ... ... Help will be much appreciated ...

Peter

***NOTE***

The relevant definition of one-sided continuity for the above is as follows:

$$f$$ is continuous from the left at $$b$$ implies that for every $$\epsilon \gt 0$$ there exists $$\delta \gt 0$$ such that for all $$x \in [a, b]$$ ...

we have that $$b - \delta \lt x \lt b \Longrightarrow \mid f(x) - f(b) \mid \lt \epsilon$$

 

[MountEvariste]

We have $f(b) > y$ or $f(b)-y >0$. Define $g(b) = f(b)-y>0$.

Since $f$ is continuous at $b$, $g$ is continuous at $b$.

Thus for all $\epsilon_0 >0$, there exist $\delta_0 >0$ s.t. $t \in [a,b]$ and $|t-b|<\delta_0 $ imply $|g(t)-g(b)| < \epsilon_0$.

In particular, for $ \epsilon := g(b)/2>0$ there exists $\delta >0$ s.t. $t \in [a,b]$ and $|t-b|<\delta $ imply $|g(t)-g(b)| < g(b)/2$.

Therefore $-g(b)/2 <g(t)-g(b) < g(b)/2$. Hence $g(t)> g(b)-g(b)/2 = g(b)/2$.

Rewriting $g(t) > g(b)/2$ in terms of $f$ we have $f(t) > \frac{1}{2}(f(b)+y)> \frac{1}{2}(y+y) = y$ as $f(b)>y$.

Thus $f(t)>y$ whenever $t \in [a,b]$ and $|t-b|<\delta $; that's $t \in [a,b] \cap (b-\delta, b+\delta)$, i.e. whenever $b-\delta < t \le b.$

This calculation can be skipped by appealing to sign-preserving property of limits/continuous functions:

Sign-preserving property (for continuous functions): Let $f: I \to \mathbb{R}$ be continuous at $ c \in I \subseteq \mathbb{R}$.

1. If $f(c)>0$ then there exists $M>0$ and $\delta >0$ s.t. $x \in I$ and $|x-c|< \delta$ implies $f(x) > M$.

2. If $f(c)<0$ then there exists $N<0$ and $\delta >0$ s.t. $x \in I$ and $|x-c|< \delta$ implies $f(x) <N$.

 

[Math Amateur]

We have $f(b) > y$ or $f(b)-y >0$. Define $g(b) = f(b)-y>0$.

Since $f$ is continuous at $b$, $g$ is continuous at $b$.

Thus for all $\epsilon_0 >0$, there exist $\delta_0 >0$ s.t. $t \in [a,b]$ and $|t-b|<\delta_0 $ imply $|g(t)-g(b)| < \epsilon_0$.

In particular, for $ \epsilon := g(b)/2>0$ there exists $\delta >0$ s.t. $t \in [a,b]$ and $|t-b|<\delta $ imply $|g(t)-g(b)| < g(b)/2$.

Therefore $-g(b)/2 <g(t)-g(b) < g(b)/2$. Hence $g(t)> g(b)-g(b)/2 = g(b)/2$.

Rewriting $g(t) > g(b)/2$ in terms of $f$ we have $f(t) > \frac{1}{2}(f(b)+y)> \frac{1}{2}(y+y) = y$ as $f(b)>y$.

Thus $f(t)>y$ whenever $t \in [a,b]$ and $|t-b|<\delta $; that's $t \in [a,b] \cap (b-\delta, b+\delta)$, i.e. whenever $b-\delta < t \le b.$

This calculation can be skipped by appealing to sign-preserving property of limits/continuous functions:

Sign-preserving property (for continuous functions): Let $f: I \to \mathbb{R}$ be continuous at $ c \in I \subseteq \mathbb{R}$.

1. If $f(c)>0$ then there exists $M>0$ and $\delta >0$ s.t. $x \in I$ and $|x-c|< \delta$ implies $f(x) > M$.

2. If $f(c)<0$ then there exists $N<0$ and $\delta >0$ s.t. $x \in I$ and $|x-c|< \delta$ implies $f(x) <N$.

Thanks MountEvariste for an informative and really helpful reply ...

Now working through what you have written ...

Thanks again ...

Peter