# Can we use the delta-ep def of a limit to find a limiting value?

I had a random thought recently that we don't really use the delta epsilon definition for evaluating limiting values. So, I decided to have a crack at it just now. Could somebody check whether my reasoning is sound or if I've just assumed some nonsense somewhere?

**Example** Using only the definition of a limit, evaluate $$\lim_{x\to0}x=L$$ for some L. It does not matter whether the limiting value L exists or not.

$Solution.$ Let us consider the function $f:\mathbb{R}\to\mathbb{R}$ for $f(x)=x$. As per our definition for a limit, if $f$ has a $L$ as $x\to0$ then for every $\varepsilon>0$ there exists a $\delta>0$ such that for all $x\in\mathbb{R}$ $$0<|x|<\delta\ \implies\ |x-L|<\varepsilon.$$ Rewriting our first inequality using the triangle inequality give us $$|x|=|(x-L)+L|\geq||x-L|-|L||.$$ Rearranging $0<|x-L|-|L|<\delta$ gives us $$-\delta<|x-L|-|L|<0 \quad \text{or} \quad 0<|x-L|-|L|<\delta.$$ It follows that $$|L|-\delta<|x-L|<|L| \quad \text{or} \quad |L|<|x-L|<|L|+\delta$$ As such, we know $$|x-L|<|L|\ \text{or}\ |x-L|>|L|\ \implies\ |x-L|\neq|L|$$ This means either: (1) $x$ is not 0 and/or $x$ is not $2L$, or (2) $L=0$.

However, the former is a contradiction since $0<|x|<\delta$ implies $|x-L|<\varepsilon$, which would need to hold for $x=0$ since $0\in\mathbb{R}$. Therefore $L=0$ if $L$ exists.

Final comments: My primary concern is that the definition of the function itself is not invoked when I’m manipulating the inequalities to produce some $L$. I had hoped that looking at the domain would be sufficient. So if we looked at $1/x$ instead this approach would correctly show that as $x\to0$ the function is undefined. However, the working would be identical and also redundant, since we would only be looking at the domain. Is there a legal way to do this or is this just a lost cause?

## Answer

**Answers can be viewed only if**

- The questioner was satisfied and accepted the answer, or
- The answer was disputed, but the judge evaluated it as 100% correct.

- answered
- 466 views
- $4.92

### Related Questions

- Integrate $\int x^2(1-x^2)^{-\frac{3}{2}}dx$
- Evaluate the line intergral $\int_C (2x^3-y^3)dx+(x^3+y^3)dy$, and verify the Green's theorem
- Under the hood of Hard Margin SVM
- Evaluate $\int ...\int_{R_n}dV_n(x_1^2 + x_2^2 + ... + x_n^2)$ , where $n$ and $R_n$ is defined in the body of this question.
- Find the average of $f(x)=\sin x$ on $[0, \pi]$.
- Quick question regarding Analytical Applications of Differentiation
- Get the volume and surface area of the paraboloid $z=4-x^2-y^2$ cut by the plane $z=4-2x$
- Let $f:U\subset\mathbb{R} ^3\rightarrow \mathbb{R} ^2$ given by $f(x,y,z)=(sin(x+z)+log(yz^2) ; e^{x+z} +yz)$ where $U = { (x, y, z) ∈ R^3| y, z > 0 }.$ Questions Inside.