Prove existance of open interval

  • Thread starter John O' Meara
  • Start date
  • Tags
    Interval
In summary, We are given that a function f is differentiable at x0 with f'(x0)>0. This means that f is continuous at x0 and is an increasing function at x=x0. By the definition of the limit, we know that if the limit exists and is positive, then 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). Therefore, we can establish an open interval by choosing any positive value for epsilon and finding a corresponding delta that satisfies the definition of the limit.
  • #1
John O' Meara
330
0
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.
 
Last edited:
Mathematics news on Phys.org
  • #2
We are given that

[tex]\lim_{x \rightarrow x_0} \frac{f(x) - f(x_0)}{x - x_0} = L > 0[/tex]

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


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

[tex]\lim_{x \rightarrow a}f(x)=L[/tex]

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.
 
  • #4
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.
 
  • #5


You mean the following: [tex] \left \frac{f(x) - f(x_{0})}{x - x_{0}} - L \right < \epsilon \mbox{ if } 0 < \left x - x_{0} \right < \delta [/tex].
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.
 
  • #6
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.
 
  • #7
If you mean
Let the inverse of [tex] f(x_{0}-L) = a [/tex]
Let the inverse of [tex] f(x_{0}+L) = b [/tex]
Then we have the open interval (a,b)
[tex]x_{0}-\delta =x_{1}, x_{0}+\delta =x_{2} \mbox{ and we have }x_{1} < x_{0} < x_{2} [/tex]
Then we still have to prove [tex] f(x_{1} < f(x_{0}) < f(x_{2}) [/tex]
 

1. What is an open interval?

An open interval is a set of real numbers between two distinct numbers, where the endpoints are not included in the interval. It is represented by using parentheses, such as (a,b).

2. How do you prove the existence of an open interval?

In order to prove the existence of an open interval, you must show that there are real numbers a and b that satisfy the condition a < x < b for all x in the interval. This can be done by providing specific values for a and b, or by using a proof by contradiction.

3. Can an open interval have infinite length?

Yes, an open interval can have infinite length if the endpoints are not included in the interval. For example, the open interval (0, ∞) has an infinite length.

4. How is an open interval different from a closed interval?

An open interval does not include its endpoints, while a closed interval includes both of its endpoints. For example, the interval (0,1) is open and does not include 0 or 1, while the interval [0,1] is closed and includes both 0 and 1.

5. What is the significance of proving the existence of an open interval?

Proving the existence of an open interval is important in mathematics because it allows us to define and work with infinite sets of real numbers. It also has practical applications in calculus and analysis, where open intervals are used to define limits, derivatives, and integrals.

Similar threads

  • Programming and Computer Science
Replies
7
Views
3K
Replies
4
Views
1K
Replies
5
Views
2K
  • Calculus and Beyond Homework Help
Replies
30
Views
2K
Replies
9
Views
882
  • Calculus and Beyond Homework Help
Replies
4
Views
842
  • General Math
Replies
3
Views
750
Replies
2
Views
1K
  • Linear and Abstract Algebra
Replies
6
Views
2K
Back
Top