Prove existance of open interval

**John O' Meara** · Nov3-09, 08:47 PM

Suppose that a function f is differentiable at x0 and that f'(x0)>0. Prove that there exists an open interval containing x0 such that if x1 and x2 are any two points in this interval with x1 < x0 < x2 then f(x1) < f(x0) < f(x2). How do I establish an open interval? Do I need the "epsilon delta" definition of a two sided limit? I am studing maths on my own so please help with this easy question.
I know, that if a function f is differentiable at x0, then f is continuous at x0 and as f'(x0) is positive then f is an increasing function at x=x0.

**snipez90** · Nov4-09, 04:12 AM

We are given that

$LaTeX Code: \\lim_{x \\rightarrow x_0} \\frac{f(x) - f(x_0)}{x - x_0} = L > 0$

Let L play the role of epsilon in the definition of this limit.

**John O' Meara** · Nov4-09, 03:24 PM

Limit definition: Let f(x)be defined for all x in some open interval containing the number a, with the possible exception that f(x) need not be defined at a. We will write

$LaTeX Code: \\lim_{x \\rightarrow a}f(x)=L$

if given any number epsilon > 0 we can find a number delta > 0 such that
|f(x) - L| < epsilon if 0 < |x - a| < delta.

If L plays the role of epsilon in the definition above, what plays the role of |f(x) - L|. I just do not get it yet. Thanks.

**snipez90** · Nov4-09, 04:44 PM

Well just compare what I wrote to your definition. The difference quotient in my limit replaces f(x) in your definition. We replace a with x0 but L remains unchanged since I'm simply using the fact that the limit exists and is > 0. Remember the derivative is just the limit of a difference quotient, and the difference quotient is a function, and so we can just apply the epsilon-delta formulation with the difference quotient as our function.

**John O' Meara** · Nov4-09, 07:35 PM

You mean the following: $LaTeX Code: \\left \\frac{f(x) - f(x_{0})}{x - x_{0}} - L \\right < \\epsilon \\mbox{ if } 0 < \\left x - x_{0} \\right < \\delta$ .
So if the conclusion of my definition is true its hypothesis implies the existence of an open interval? Usually theorems work the other way round i.e., you establish its hypothesis and the conclusion follows. Where do I go from here and how do I find a value for delta? Thanks again.

**snipez90** · Nov4-09, 08:01 PM

It's not just the conclusion of the definition of the limit that holds, you have to consider the definition as a whole. Yes usually we have to establish a delta that works given some arbitrary epsilon, but we don't have to do that here since the limit exists. Because the limit exists we can CHOOSE epsilon for our purposes and we know that some delta already exists so that |f(x) - L| is less than the epsilon we chose (clearly we can't actually find a formula for delta since we are working rather generally). As I said before, choose epsilon to be L (since L is a positive number), look carefully at the entire definition of the limit we are working with and figure out where the open intervals come in.

**John O' Meara** · Nov5-09, 04:16 PM

If you mean
Let the inverse of $LaTeX Code: f(x_{0}-L) = a$
Let the inverse of $LaTeX Code: f(x_{0}+L) = b$
Then we have the open interval (a,b)
$LaTeX Code: x_{0}-\\delta =x_{1}, x_{0}+\\delta =x_{2} \\mbox{ and we have }x_{1} < x_{0} < x_{2}$
Then we still have to prove $LaTeX Code: f(x_{1} < f(x_{0}) < f(x_{2})$