# Why in the ε-δ definition of a limit is x∈D instead of just ℝ

Mathematics Asked by Tiffany on December 25, 2020

ε-δ definition:

$$(forall epsilon >0) (exists delta >0)(forall x in D) (0 < lvert x – a rvert < delta Rightarrow lvert f(x) – L rvert < epsilon)$$

I don’t understand why in the epsilon-delta limit definition x is defined as being x∈D instead of just using x∈ $$mathbb{R}$$. Would specific issues arise for certain functions or types of functions if I were to use x∈ $$mathbb{R}$$ instead?

I would like suggest as answer conception of limit with respect to some set D in metrical spaces, for example Rudin W. - Principles of mathematical analysis,1976, 83-84p. :

4.1 Definition. Let $$X$$ and $$Y$$ be metric spaces; suppose $$D subset X$$, $$f$$ maps $$D$$ into $$У$$, and $$p$$ is a limit point of $$D$$. We write $$f(x) to q$$ as $$x to p$$, or $$limlimits_{x to p}f(x)=q$$ if there is a point $$qin Y$$ with the following property: For every $$varepsilon >0$$ there exists a $$delta > 0$$ such that $$d_Y(f(x),q) for all points $$forall x in D$$ for which $$0. The symbols $$d_X$$ and $$d_Y$$ refer to the distances in $$X$$ and $$Y$$, respectively.

If $$X$$ and/or $$Y$$ replaced by the real line, the complex plane, or euclidean space, the distances are replaced by absolute values or by norms.

Answered by zkutch on December 25, 2020

I think that $$D$$ is the domain of the function. Take for example the function $$f(x)=ln(x)$$.

You know that this function is a map between $$underbrace{(0,infty)}_Dtomathbb R$$, so in this case it does not make sense to study continuity at a point $$x = -2$$ ,for example, as this function is not defined here. If you have a function $$f: mathbb R to mathbb R$$, for example $$f(x)=x$$, then your $$D = mathbb R$$ and then you can let $$x in mathbb R$$.

Answered by Eduardo Magalhães on December 25, 2020

## Related Questions

### If I’m given the distances of some point $p$ from $n$ coplanar points, can I tell whether $p$ is also coplanar?

2  Asked on February 2, 2021

### Reference request: The area of the modular curve $mathcal{H}/SL(2,mathbb{Z})$ is $pi/3$.

0  Asked on February 2, 2021 by stupid_question_bot

### What is the connection between the Radon-Nikodym derivative and the fundamental theorem of calculus in $mathbb{R}^n$?

0  Asked on February 2, 2021 by 5fec

### Find the General solution $u(t,x)$ to the partial differential equation $u_x+tu=0$.

3  Asked on February 1, 2021 by c-web

### Does the set $left{ left(begin{array}{c} x\ y end{array}right)inmathbb{R}^{2}|xleq yright}$ span all of $mathbb{R}^2$

3  Asked on February 1, 2021 by user75453

### Proof regarding continuity and Dirichlet function.

1  Asked on February 1, 2021 by mathcurious

### variation of Vitali in $mathbb{R}^2$

1  Asked on February 1, 2021 by samantha-wyler

### Seifert-Van Kampen Theorem Application

0  Asked on February 1, 2021

### Show whether the sequence converges (sequence given as a sum)

2  Asked on February 1, 2021

### Why this inequality is correct

2  Asked on February 1, 2021 by nizar

### Show that the number of faces in a planar connected graph on $n$ vertices is bounded from above by $2n-4$

1  Asked on February 1, 2021 by carl-j

### Definition of commutative and non-commutative algebra and algebra isomorphism

1  Asked on February 1, 2021 by theoreticalphysics

### Derivative of Inverse of sum of matrices

1  Asked on February 1, 2021 by ronaldinho

### The time gap between the two instants, one before and one after 12:00 noon, when the angle between the hour hand and the minute hand is 66°

1  Asked on February 1, 2021 by nmasanta

### How can I approximate $left(1+frac{2}{4x-1}right)^{x}$

4  Asked on February 1, 2021 by no-one-important

### Simulating Brownian motion in R. Is this correct?

1  Asked on February 1, 2021 by parseval

### Factoristaion of $x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1$

2  Asked on January 31, 2021 by a-level-student

### self intersection of two Lorentzian manifolds also Lorentzian in this case?

0  Asked on January 31, 2021 by jack-zimmerman

### Prove that if G is isomorphic to H, then $alpha(G) = alpha(H)$

1  Asked on January 31, 2021 by marconian