Skip to main content

Question 8.3

Solutions

TZ
leumasicOfficial

3 months ago

a) If there is more than one xx in [a,b][a,b] with f(x)=0f(x)=0, there is not necessarily a second smallest. Case in point, consider the continuous function

f(x)={0,if 0<x2,x,otherwisef(x)= \begin{cases} 0, & \text{if } 0 < x \le 2,\\ x, & \text{otherwise} \end{cases}

on the interval [5,5][-5,5], with f(5)=5f(-5)=-5 and f(5)=5f(5)=5.

To prove that there is a largest xx in [a,b][a,b] with f(x)=0f(x)=0, consider g(x)=f(bx+a)g(x)=f(b-x+a). We have g(a)=f(b)>0g(a)=f(b)>0 and g(b)=f(a)<0g(b)=f(a)<0. We can then apply the same proof structure in Theorem 7-1 of finding the least upper bound to the set

A={x:axb and g is positive on [a,x]}.A=\{x : a \le x \le b \text{ and } g \text{ is positive on } [a,x]\}.

This least upper bound corresponds to the largest xx in [a,b][a,b] with f(x)=0f(x)=0.

b) Let ff be a continuous function on [a,b][a,b] such that f(a)<0f(a)<0 and f(b)>0f(b)>0. Consider

B={x:axb, f(x)<0}.B=\{x : a \le x \le b,\ f(x)<0\}.

Since BB is bounded above by bb and is not empty, it has a least upper bound α\alpha. We can assert that α<b\alpha < b. Obviously, we cannot have α>b\alpha > b because bb is an upper bound of BB by definition. Moreover, αb\alpha \ne b because otherwise by Theorem 6-3 there would exist a δ>0\delta > 0 such that f(x)>0f(x)>0 for αδ<x<α\alpha-\delta < x < \alpha since f(b)>0f(b)>0, thereby invalidating α\alpha as supB\sup B.

We now posit that f(α)=0f(\alpha)=0. For contradiction, suppose f(α)<0f(\alpha)<0. Applying Theorem 6-3 would invalidate α\alpha as an upper bound since there would exist x0x_0 such that α<x0<b\alpha < x_0 < b and f(x0)<0f(x_0)<0. Likewise, suppose f(α)>0f(\alpha)>0. Applying Theorem 6-3 would invalidate α\alpha as the least upper bound since there would exist x1x_1 such that x1<αx_1<\alpha and f(x1)>0f(x_1)>0. Both options lead to contradictions, leaving f(α)=0f(\alpha)=0 as the only possible alternative.

The point α\alpha located by this proof corresponds to the largest xx in [a,b][a,b] such that f(x)=0f(x)=0. The set AA, defined by the textbook's proof of Theorem 7-1, and BB defined in the previous proof differ when the largest xx in [a,b][a,b] such that f(x)=0f(x)=0 is not also the smallest in that interval.

0
Submit a solution
Optional • Markdown

Sign in to share your solution for this question.

Sign in

Navigate

Q 8.3

Navigate

Q 8.3