Limit (mathematics)
|
|
In mathematics, the concept of a "limit" is used to describe the behavior of a function, as its argument gets "close" to either some point, or infinity; or the behavior of a sequence's elements, as their index approaches infinity. Limits are used in calculus and other branches of mathematical analysis to define derivatives and continuity.
The concept of the "limit of a function" is further generalized to the concept of topological net, while the limit of a sequence is closely related to limit and direct limit in category theory.
| Contents |
Limit of a function
Main article: limit of a function
Limit of a function at a point
Suppose f(x) is a real function and c is a real number. The expression:
- <math> \lim_{x \to c}f(x) = L <math>
means that <math>f(x)<math> can be made to be as close to <math>L<math> as desired by making <math>x<math> sufficiently close to <math>c<math>. In that case, we say that "the limit of f(x), as x approaches c, is L". Note that this statement can be true even if <math>f(c) \neq L<math>. Indeed, the function f(x) need not even be defined at c.
Two examples help illustrate this concept.
Consider <math> f(x) = \frac{x}{x^2 + 1} <math> as x approaches 2. In this case, f(x) is defined at 2 and equals its limit of 0.4:
| f(1.9)=0.4121 |
| f(1.99)=0.4012 |
| f(1.999)=0.4001. |
As x approaches 2, f(x) approaches 0.4 and hence we have <math>\lim_{x\to 2}f(x)=0.4<math>. In the case where <math>f(c) = \lim_{x\to c} f(x)<math>, f is said to be continuous at x=c. But it is not always the case. Consider
- <math>g(x)=\left\{\begin{matrix} x/(x^2+1), & \mbox{if }x\ne 2 \\ 0, & \mbox{if }x=2. \end{matrix}\right.<math>
The limit of g(x) as x approaches 2 is 0.4 (just as in f(x)), but <math>\lim_{x\to 2}g(x)\neq g(2)<math>; g is not continuous at x=2.
Formal definition
A limit is formally defined as follows: Let <math>f<math> be a function defined on an open interval containing <math>c<math> (except possibly at <math>c<math>) and let <math>L<math> be a real number. The statement
- <math> \lim_{x \to c}f(x) = L <math>
means that for each <math> \varepsilon\ >0<math> there exists a <math> \delta\ >0<math> such that for all <math> x <math> where <math>0<|x-c|< \delta\ <math>, then <math>| f (x)-L|< \varepsilon\ <math>.
Limit of a function at infinity
One need not examine limits only as x approaches some finite number; one can also examine the limit of a function as x approaches positive or negative infinity.
For example, consider <math>f(x) = \frac{2x}{x + 1}<math>.
- f(100) = 1.9802
- f(1000) = 1.9980
- f(10000) = 1.9998
As x becomes extremely large, f(x) approaches 2. In this case,
- <math> \lim_{x \to \infty} f(x) = 2 <math>
If one considers the codomain of f is the extension real line, then limit of a function at infinity could be considered as a special case of limit of a function at a point.
Limit of a sequence
Main article: limit of a sequence
Consider the following sequence: 1.79, 1.799, 1.7999,... We could observe that the numbers are "approaching" the 1.8, the limit of the sequence.
Formally, suppose x1, x2, ... is a sequence of real numbers. We say that the real number L is the limit of this sequence and we write
- <math> \lim_{n \to \infty} x_n = L <math>
if and only if
- for every ε>0 there exists a natural number n0 (which will depend on ε) such that for all n>n0 we have |xn - L| < ε.
Intuitively, this means that eventually all elements of the sequence get as close as we want to the limit, since the absolute value |xn - L| can be interpreted as the "distance" between xn and L. Not every sequence has a limit; if it does, we call it convergent, otherwise divergent. One can show that a convergent sequence has only one limit.
The limit of a sequence and the limit of a function are closely related. On one hand, the limit of a sequence is simply the limit at infinity of a function defined on natural numbers. On the other hand, a limit of a function f at x, if it exists, is the same as the limit of the sequence xn=f(x+1/n).
Topological net
Main article: net (topology)
All of the above notions of limit can be unified and generalized to arbitrary topological spaces by introducing topological nets and defining their limits. The article on nets elaborates on this.
An alternative is the concept of limit for filters on topological spaces.
Limit in category theory
Main article: limit (category theory)
See also
eo:Limeso es:Límite matemático fr:Limite (mathématiques) he:גבול (מתמטיקה) id:Limit io:Limito ja:極限 nl:Limiet pl:Granica (matematyka) pt:Limite fi:Raja-arvo sv:Gränsvärde zh:极限