TheoremBase

Limit of a Real Function at a Point of an Interval

The epsilon-delta definition of the limit of a real-valued function at a point of an interval, and the notation for it. Uniqueness of the limiting value is established separately.

Statement

In the setting of The Real Line: Standing Notation and Background for Calculus on Intervals, let I⊆RI\subseteq\mathbb{R} be an interval containing at least two points, let f:I→Rf:I\to\mathbb{R}, let c∈Ic\in I, and let L∈RL\in\mathbb{R}.

1. (The definition.) One says that f(x)f(x) tends to LL as xx tends to cc if for every ε>0\varepsilon>0 there exists δ>0\delta>0 such that every x∈Ix\in I satisfying 0<∣x−c∣<δ0<|x-c|<\delta satisfies

∣f(x)−L∣<ε.|f(x)-L|<\varepsilon .

2. (Notation.) In that case LL is called the limit of ff at cc and is denoted by

lim⁡x→cf(x),\lim_{x\to c}f(x) ,

so that one writes lim⁡x→cf(x)=L\lim_{x\to c}f(x)=L.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…