# Why use stipulations in Epsilon Delta Proofs?

• hgfhh123
In summary: This can be done in a number of ways. One is to simplify the expression, but you can also show that, even if the expression is bigger than you want, it's still not big enough to ruin things.(In this case, it's not that |x+3| is insignificant, it's just that it doesn't grow as fast as |x-3| as x approaches 3. I wanted to write something more general, though.)
hgfhh123

## Homework Statement

When constructing an Epsilon Delta proof, why do we need to make a stipulation? For example, in most proofs for limits of quadratic functions, it is stipulated, for example, that δ≤1. Why is this needed anyway?

This is my thought process for a quadratic:

Prove that lim(x -->3) x^2 = 9

## The Attempt at a Solution

For every ε > 0 there is δ > 0 such that |x^2 - 9| < ε whenever 0 < |x-3| < δ

|x+3||x-3| < ε

We will try to find a number K such that
|x+3||x-3| < K|x-3| < ε

Which will give us |x+3| < K and |x-3| < ε/K

This is the point at which it is generally stipulated that δ ≤ 1.

Instead, I used the original statement from above: |x-3| < δ

-δ + 3 < x < δ + 3
-δ + 6 < x + 3 < δ + 6

Now, if x+3 = |x+3|, then x+3 must be ≥0.
Therefore, -δ + 6 ≥ 0 --> δ≤6

-δ + 6 < |x + 3| < δ + 6 (with the condition that δ≤6)

Since |x+3| < K and |x + 3| < δ + 6 --> K ≥ δ + 6

We have found K for any δ > 0 we choose, so we have shown that |x+3| < K
for some value K, and so,

|x-3| < ε/K

Thus, we can say that δ ≤ ε/K to guarantee that this is true

Proof:

if 0 < |x-3| < ε/K then |x^2 - 9| < ε
We assumed that |x-3| < ε/K and that |x+3| < K

|x^2 - 9| = |x+3||x-3|
< K|x-3|
< K(ε/K)
< ε

My question is, did I do something wrong by not stipulating that δ is less than or equal to some value? Is my method logically correct?

Last edited:
There was a much easier way to do your proof :

$|x^2-9| = |x-3||x+3| < \delta |x+3|$

Now using the triangle inequality and a little trick for a small calculation, observe that :

$|x+3| = |x-3+6| ≤ |x-3| + 6 < \delta + 6$

So continuing you could say :

$\delta |x+3| < \delta(\delta + 6)$

Okay, now for your 'stipulation'. We now have $|x^2-9|$ completely in terms of delta which is what we set out to do for these kinds of proofs.

So we want to find δ in terms of ε now by satisfying :

$\delta(\delta + 6) ≤ ε$

Notice that this is not so easy to manipulate, which is why we sometimes allow delta to be relatively small and bounded as to make the calculation easier. If we don't then this is much more difficult than it looks.

Hence we can choose delta as small as we like, even as small as 0.000000001, but 1 is used for convenience since it is very easy to work with. So suppose we have δ ≤ 1.

What happens to $\delta(\delta + 6)$? Could you tell me why ε/K does not always work? ( Hint : Think about how big your neighborhood is ).

Our goal is to find a δ such that every number close to 3 (i.e. 0 < |x-3| < δ) causes x^2 to be sufficiently close to 9 (i.e. within ε).

Our approach to the problem is to start by studying the end result: we want
$$|x^2 - 9| < \epsilon$$

which we simplify to
$$|x-3||x+3| < \epsilon$$

How can we ensure $|x-3||x+3|$ is small for x close to 3? Well, we can look at each factor individually.

The closer x is to 3, the closer |x-3| is. Our simplest tool to make this small is to pick δ very small.

If x is very close to 3, however, |x+3| isn't very small: it's around 6. |x+3| would be small if x were near -3, but we can't pick δ in a way to force x to be near -3.

However, there is a solution: because we have a way to make |x-3| small, all we have to do is prevent |x+3| from becoming big.

Fortunately, this is pretty easy: as I mentioned above, if x were near 3, then |x+3| would be near 6. To make a precise and simple statement we can work with, we can simply insist that $|x+3| < 7$ by requiring $2 < x < 4$, which we can do by requiring $\delta \leq 1$.

From the problem we are trying to solve, $x$ is forced to be a number such that |x-3| is smaller than δ. By our additional choice to consider only $\delta \leq 1$, we know |x+3| is smaller than 7. Thus

If $\delta \leq 1$ then $|x+3||x-3| < 7 \delta$​

If we also require $\delta \leq \epsilon/7$ , then we can ensure $|x^2 - 9| < \epsilon$

This analysis has put two conditions on δ such that, if satisfied, the thing we are trying to prove is true. So the problem now boils down to finding a solution to the system of inequalities

$$0 < \delta \qquad \qquad \delta \leq 1 \qquad \qquad \delta \leq \epsilon / 7$$

If this system didn't have a solution, we'd have to try harder (note the analysis we made is not sufficient to prove the limit doesn't exist if this system has no solutions). Fortunately, it does have solutions, such as

$$\delta = \min(1, \epsilon / 7)$$

I wanted to add this sort of thing is typical in analysis, and to some extent calculus. When you want to understand how things behave as x approaches 3, a standard technique is to try and separate things into two types of things:
• Things that have a lot of effect
• Things that don't have much effect

The trick for the first type is to try and express these things as simply as possible, even at the cost of making the rest of the expression more complex. In this case, the important part was |x-3|.

For the parts that don't have much effect, you can usually make very crude simplifications that greatly reduce their complexity: in this case, $x+3$ is uninteresting as x approaches 3, so we want to simply replace it with 6 to simplify the problem.

So we want to understand $|x^2 - 9|$ as behaving the same as the simpler expression $|6(x-3)|$.

And then, you convert the idea into proof. We already understand how to find the limit of $|6(x-3)|$. There is the added complication of ensuring that $|6(x-3)|$ is a sufficiently good approximation for $|x^2 - 9|$, which is where the stipulation comes from.

It might be interesting to note that
$$\left(6(x-3) \right) - \left( x^2 - 9 \right) = -(x-3)^2$$

hgfhh123 said:

## Homework Statement

When constructing an Epsilon Delta proof, why do we need to make a stipulation? For example, in most proofs for limits of quadratic functions, it is stipulated, for example, that δ≤1. Why is this needed anyway?

This is my thought process for a quadratic:

Prove that lim(x -->3) x^2 = 9

## The Attempt at a Solution

For every ε > 0 there is δ > 0 such that |x^2 - 9| < ε whenever 0 < |x-3| < δ

|x+3||x-3| < ε

We will try to find a number K such that
|x+3||x-3| < K|x-3| < ε

Which will give us |x+3| < K and |x-3| < ε/K

This is the point at which it is generally stipulated that δ ≤ 1.

Instead, I used the original statement from above: |x-3| < δ

-δ + 3 < x < δ + 3
-δ + 6 < x + 3 < δ + 6

Now, if x+3 = |x+3|, then x+3 must be ≥0.
Therefore, -δ + 6 ≥ 0 --> δ≤6

-δ + 6 < |x + 3| < δ + 6 (with the condition that δ≤6)

Since |x+3| < K and |x + 3| < δ + 6 --> K ≥ δ + 6

We have found K for any δ > 0 we choose, so we have shown that |x+3| < K
for some value K, and so,

|x-3| < ε/K

Thus, we can say that δ ≤ ε/K to guarantee that this is true
If we just consider your proof below ...

You haven't actually defined how you find K for any particular ε.
Proof:

if 0 < |x-3| < ε/K then |x^2 - 9| < ε
We assumed that |x-3| < ε/K and that |x+3| < K

|x^2 - 9| = |x+3||x-3|
< K|x-3|
< K(ε/K)
< ε

My question is, did I do something wrong by not stipulating that δ is less than or equal to some value? Is my method logically correct?
If you want to find δ as a function of ε, which is valid for any value of ε, where ε>0, that can be done. One such function is :
$\displaystyle \delta=\sqrt{9+\varepsilon}-3\ .$​
(Notice that if ε=7, then δ=1 ... i.e. δ = ε/7 .)

Showing that this δ fulfills the necessary condition, may be quite a bit more difficult than it is to show that δ = min(1, ε/7) fulfills the necessary condition.

## 1. Why do we need stipulations in Epsilon Delta Proofs?

Stipulations are used in Epsilon Delta Proofs to ensure that the limit of a function exists and to prove its value. They help us to define and control the behavior of a function as it approaches a specific value or point.

## 2. What is the purpose of using epsilon and delta in these proofs?

Epsilon and delta are used in these proofs to quantify the closeness of a function's output to its limit. Epsilon represents the margin of error or tolerance, while delta represents the distance between the input and the limit value. Together, they allow us to formally prove the limit of a function.

## 3. Can we prove a limit without using stipulations?

Technically, yes, it is possible to prove a limit without using stipulations. However, using stipulations makes the proof more rigorous and unambiguous, providing a clearer understanding of the behavior of the function. Stipulations also help to avoid any potential loopholes or errors in the proof.

## 4. How do we choose the values of epsilon and delta in these proofs?

The values of epsilon and delta are chosen based on the properties and behavior of the function, as well as the specific limit being evaluated. Typically, we want to choose the smallest possible values for epsilon and delta that satisfy the conditions of the proof.

## 5. Are stipulations only used in Epsilon Delta Proofs?

No, stipulations can also be used in other types of mathematical proofs to ensure the validity and accuracy of the results. They are particularly useful in proofs involving limits, continuity, and convergence.

Replies
7
Views
410
Replies
5
Views
3K
Replies
8
Views
1K
Replies
12
Views
2K
Replies
2
Views
1K
Replies
1
Views
2K
Replies
4
Views
1K
Replies
7
Views
5K
Replies
3
Views
1K
Replies
2
Views
2K