Menu

Prove that if $f(x)$ has a greatest lower bound $L$ , then for every $\epsilon\gt 0$ there exists an $\bar{x}$ in the domain of $f(x)$ such that $|f(\bar{x})-L|\lt\epsilon$ .

Primary tabs

Lesson Parent:

Geometry of Functions II: The Extreme-Value Theorem

Problem:

Answer:

It is true that if $f(x)$ has a greatest lower bound $L$ , then for every $\epsilon\gt 0$ there exists an $\bar{x}$ in the domain of $f(x)$ such that $|f(\bar{x})-L|\lt\epsilon$ .

Solution:

Since $L$ is an lower bound then for every $x$ in the domain of $f(x)$ then <Sign in to see all the formulas>.

Let's denote $n$ as any positive integer. Now since $L$ is also the greatest lower bound then $L+1/n$ cannot be a lower bound. Since $L+1/n$ is not a lower bound, there exists <Sign in to see all the formulas> in the domain of $f(x)$ such that <Sign in to see all the formulas>.

Therefore, for every positive integer $n$ there exists an <Sign in to see all the formulas> such that <Sign in to see all the formulas>. By subtracting $L$ we see that <Sign in to see all the formulas>. Therefore, <Sign in to see all the formulas>.

Now we know that for every <Sign in to see all the formulas> there exists a natural number $n$ such that <Sign in to see all the formulas>. So now we know that for every <Sign in to see all the formulas> there exists an <Sign in to see all the formulas> such that <Sign in to see all the formulas>.

Prove that if f(x)f(x) has a greatest lower bound LL, then for every ϵ>0\epsilon\gt 0 there exists an ˉx\bar{x} in the domain of f(x)f(x) such that |f(ˉx)−L|<ϵ|f(\bar{x})-L|\lt\epsilon.

Primary tabs

SAMPLE SOLUTION

GAIN AN ADVANTAGE

Prove that if $f(x)$ has a greatest lower bound $L$ , then for every $\epsilon\gt 0$ there exists an $\bar{x}$ in the domain of $f(x)$ such that $|f(\bar{x})-L|\lt\epsilon$ .