Limit (mathematics)

Template:Pp-pc In mathematics, a limit is the value that a function (or sequence) approaches as the argument (or index) approaches some value. Limits of functions are essential to calculus and mathematical analysis, and are used to define continuity, derivatives, and integrals. The concept of a limit of a sequence is further generalized to the concept of a limit of a topological net, and is closely related to limit and direct limit in category theory. The limit inferior and limit superior provide generalizations of the concept of a limit which are particularly relevant when the limit at a point may not exist.

Notation

In formulas, a limit of a function is usually written as $$\underset{x\to c}{lim}f(x)=L,$$ and is read as "the limit of $f$ of $x$ as $x$ approaches $c$ equals $L$". This means that the value of the function $f$ can be made arbitrarily close to $L$, by choosing $x$ sufficiently close to $c$. Alternatively, the fact that a function $f$ approaches the limit $L$ as $x$ approaches $c$ is sometimes denoted by a right arrow (→ or $\to$), as in $$f(x)\to L\text{ as }x\to c,$$ or in

$$f(x)\underset{x\to c}{\overset{}{\to }}L,$$

which reads "$f$ of $x$ tends to $L$ as $x$ tends to $c$".

History

According to Hankel (1871), the modern concept of limit originates from Proposition X.1 of Euclid's Elements, which forms the basis of the Method of exhaustion found in Euclid and Archimedes: "Two unequal magnitudes being set out, if from the greater there is subtracted a magnitude greater than its half, and from that which is left a magnitude greater than its half, and if this process is repeated continually, then there will be left some magnitude less than the lesser magnitude set out."

Grégoire de Saint-Vincent gave the first definition of limit (terminus) of a geometric series in his work Opus Geometricum (1647): "The terminus of a progression is the end of the series, which none progression can reach, even not if she is continued in infinity, but which she can approach nearer than a given segment."

In the Scholium to Template:Lang in 1687, Isaac Newton had a clear definition of a limit, stating that "Those ultimate ratios ... are not actually ratios of ultimate quantities, but limits ... which they can approach so closely that their difference is less than any given quantity". Bruce Pourciau further argues that, in addition to Newton actually having a more sophisticated understanding of limits than he is generally credited with, he also provided the first epsilon argument.

The modern definition of a limit goes back to Bernard Bolzano who, in 1817, developed the basics of the epsilon-delta technique to define continuous functions. However, his work remained unknown to other mathematicians until thirty years after his death.

Augustin-Louis Cauchy in 1821, followed by Karl Weierstrass, formalized the definition of the limit of a function which became known as the (ε, δ)-definition of limit.

The modern notation of placing the arrow below the limit symbol was invented by John Gaston Leathem in 1905 and popularized by G. H. Hardy's 1908 textbook A Course of Pure Mathematics.

Types of limits

In sequences

Real numbers

A sequence of real numbers $a_0,a_1,\dots$ is said to converge to a limit $L$ if the terms of the sequence give an arbitrarily good approximation of the number $L$, after discarding finitely many initial terms. An example is the sequence $0,0.3,0.33,0.333,0.3333,$ and so on. Each term in the sequence is an approximation to the rational number $1/3=0.333\dots$. If an approximation is desired that lies within a given error $ϵ$, then all of the terms of the sequence except finitely many lie within the target error. For example, to get within $ϵ=0.001$ of $1/3$, the approximations $0$, $0.3$, and $0.33$ are outside the error window, but after discarding those three approximations, all of the remaining approximations are within the error range $ϵ=0.001$. The same approximation property holds for every positive error $ϵ$.

More precisely, a sequence $\{a_n{\}}_{n\in \mathbb{N}}$ of real numbers is said to be convergent if there exists an $L\in ℝ$ such that for each positive real number $ϵ$, there exists a positive integer $N$ (depending on $ϵ$) such that every term $a_n$ with $n>N$ is within distance $ϵ$ of $L$. The number $L$ is unique, when it exists. It is called the limit of the sequence $\{a_n{\}}_{n\in \mathbb{N}}$, and this is written $$\underset{n\to \mathrm{\infty }}{lim}{a}_n=L.$$

The definition of the limit of a sequence can thus be summarized: Template:Blockquote

If such an $L$ does not exist, $\{a_n{\}}_{n\in \mathbb{N}}$ is said to be divergent.

A sequence is said to tend to infinity if all but finitely many terms exceed each given number. An example is the sequence $1,2,3,\dots$ of positive integers. This tends to infinity because, for any given bound $M$, every element of the sequence is greater than $M$ after discarding the finite number that are not. Formally, $\{a_n{\}}_{n\in \mathbb{N}}$ tends to infinity if, given any real $M$, there exists a positive integer $N$ such that $a_n>M$ for every $n>N$. This is written as $\underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{\infty }$.

Similarly, the sequence is said to tend to negative infinity if all but finitely many terms are less than any given lower bound. This is written as $\underset{n\to \mathrm{\infty }}{lim}{a}_n=-\mathrm{\infty }$.

In each case where $\underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{\infty }$ or $\underset{n\to \mathrm{\infty }}{lim}{a}_n=-\mathrm{\infty }$, the sequence is said to have an infinite limit. But it does not have a limit in the sense of being convergent to a real number, since $\mathrm{\infty }$ and $-\mathrm{\infty }$ are not real numbers.

Metric space

The discussion of sequences above is for sequences of real numbers. The notion of limits can be defined for sequences valued in more abstract spaces, such as metric spaces. If $M$ is a metric space with distance function Template:Nowrap and $\{a_n{\}}_{n\ge 0}$ is a sequence in Template:Nowrap then the limit (when it exists) of the sequence is an element $a\in M$ such that, given Template:Nowrap there exists an $N$ such that for each Template:Nowrap we have $$d(a,a_n)<\epsilon .$$ An equivalent statement is that $a_n\to a$ if the sequence of real numbers Template:Nowrap

Example: Template:Mathbbⁿ

An important example is the space of $n$-dimensional real vectors, with elements $𝐱=(x_1,\cdots ,x_n)$ where each of the $x_i$ are real, an example of a suitable distance function is the Euclidean distance, defined by $$d(𝐱,𝐲)=\Vert 𝐱-𝐲\Vert =\sqrt{\sum _i(x_i-y_i{)}^2}.$$ The sequence of points $\{{𝐱}_n{\}}_{n\ge 0}$ converges to $𝐱$ if the limit exists and Template:Nowrap

Topological space

In some sense the most abstract space in which limits can be defined are topological spaces. If $X$ is a topological space with topology Template:Nowrap and $\{a_n{\}}_{n\ge 0}$ is a sequence in Template:Nowrap then the limit (when it exists) of the sequence is a point $a\in X$ such that, given a (open) neighborhood $U\in \tau$ of Template:Nowrap there exists an $N$ such that for every Template:Nowrap $$a_n\in U$$ is satisfied. In this case, the limit (if it exists) may not be unique. However it must be unique if $X$ is a Hausdorff space.

Function space

This section deals with the idea of limits of sequences of functions, not to be confused with the idea of limits of functions, discussed below.

The field of functional analysis partly seeks to identify useful notions of convergence on function spaces. For example, consider the space of functions from a generic set $E$ to Template:Nowrap Given a sequence of functions $\{f_n{\}}_{n>0}$ such that each is a function Template:Nowrap suppose that there exists a function such that for each Template:Nowrap $$f_n(x)\to f(x)\text{ or equivalently }\underset{n\to \mathrm{\infty }}{lim}{f}_n(x)=f(x).$$

Then the sequence $f_n$ is said to converge pointwise to Template:Nowrap However, such sequences can exhibit unexpected behavior. For example, it is possible to construct a sequence of continuous functions which has a discontinuous pointwise limit.

Another notion of convergence is uniform convergence. The uniform distance between two functions $f,g:E\to ℝ$ is the maximum difference between the two functions as the argument $x\in E$ is varied. That is, $$d(f,g)=\underset{x\in E}{max}|f(x)-g(x)|.$$ Then the sequence $f_n$ is said to uniformly converge or have a uniform limit of $f$ if $f_n\to f$ with respect to this distance. The uniform limit has "nicer" properties than the pointwise limit. For example, the uniform limit of a sequence of continuous functions is continuous.

Many different notions of convergence can be defined on function spaces. This is sometimes dependent on the regularity of the space. Prominent examples of function spaces with some notion of convergence are Lp spaces and Sobolev space.

In functions

A function Template:Math for which the limit at infinity is Template:Mvar. For any arbitrary distance Template:Mvar, there must be a value Template:Mvar such that the function stays within Template:Math for all Template:Math.

Suppose Template:Mvar is a real-valued function and Template:Mvar is a real number. Intuitively speaking, the expression

$$\underset{x\to c}{lim}f(x)=L$$

means that Template:Math can be made to be as close to Template:Mvar as desired, by making Template:Mvar sufficiently close to Template:Mvar. In that case, the above equation can be read as "the limit of Template:Mvar of Template:Mvar, as Template:Mvar approaches Template:Mvar, is Template:Mvar".

Formally, the definition of the "limit of $f(x)$ as $x$ approaches $c$" is given as follows. The limit is a real number $L$ so that, given an arbitrary real number $\epsilon >0$ (thought of as the "error"), there is a $\delta >0$ such that, for any $x$ satisfying Template:Nowrap it holds that Template:Nowrap This is known as the [[(ε, δ)-definition of limit|Template:Math-definition of limit]].

The inequality $0<|x-c|$ is used to exclude $c$ from the set of points under consideration, but some authors do not include this in their definition of limits, replacing $0<|x-c|<\delta$ with simply Template:Nowrap This replacement is equivalent to additionally requiring that $f$ be continuous at Template:Nowrap

It can be proven that there is an equivalent definition which makes manifest the connection between limits of sequences and limits of functions. The equivalent definition is given as follows. First observe that for every sequence $\{x_n\}$ in the domain of $f$, there is an associated sequence Template:Nowrap the image of the sequence under Template:Nowrap The limit is a real number $L$ so that, for all sequences Template:Nowrap the associated sequence Template:Nowrap

One-sided limit

It is possible to define the notion of having a "left-handed" limit ("from below"), and a notion of a "right-handed" limit ("from above"). These need not agree. An example is given by the positive indicator function, Template:Nowrap defined such that $f(x)=0$ if Template:Nowrap and $f(x)=1$ if Template:Nowrap At Template:Nowrap the function has a "left-handed limit" of 0, a "right-handed limit" of 1, and its limit does not exist. Symbolically, this can be stated as, for this example, Template:Nowrap and Template:Nowrap and from this it can be deduced $\underset{x\to c}{lim}f(x)$ does not exist, because Template:Nowrap

Infinity in limits of functions

It is possible to define the notion of "tending to infinity" in the domain of Template:Nowrap $$\underset{x\to +\mathrm{\infty }}{lim}f(x)=L.$$

This could be considered equivalent to the limit as a reciprocal tends to 0: $$\underset{x^{\prime }\to 0^{+}}{lim}f(1/x^{\prime })=L.$$

or it can be defined directly: the "limit of $f$ as $x$ tends to positive infinity" is defined as a value $L$ such that, given any real Template:Nowrap there exists an $M>0$ so that for all Template:Nowrap Template:Nowrap The definition for sequences is equivalent: As Template:Nowrap we have Template:Nowrap

In these expressions, the infinity is normally considered to be signed ($+\mathrm{\infty }$ or Template:Nowrap and corresponds to a one-sided limit of the reciprocal. A two-sided infinite limit can be defined, but an author would explicitly write $\pm \mathrm{\infty }$ to be clear.

It is also possible to define the notion of "tending to infinity" in the value of Template:Nowrap $$\underset{x\to c}{lim}f(x)=\mathrm{\infty }.$$

Again, this could be defined in terms of a reciprocal: $$\underset{x\to c}{lim}\frac{1}{f(x)}=0.$$

Or a direct definition can be given as follows: given any real number Template:Nowrap there is a $\delta >0$ so that for Template:Nowrap the absolute value of the function Template:Nowrap A sequence can also have an infinite limit: as Template:Nowrap the sequence Template:Nowrap

This direct definition is easier to extend to one-sided infinite limits. While mathematicians do talk about functions approaching limits "from above" or "from below", there is not a standard mathematical notation for this as there is for one-sided limits.

Nonstandard analysis

In non-standard analysis (which involves a hyperreal enlargement of the number system), the limit of a sequence $(a_n)$ can be expressed as the standard part of the value $a_H$ of the natural extension of the sequence at an infinite hypernatural index Template:Math. Thus, $$\underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{st}(a_H).$$ Here, the standard part function "st" rounds off each finite hyperreal number to the nearest real number (the difference between them is infinitesimal). This formalizes the natural intuition that for "very large" values of the index, the terms in the sequence are "very close" to the limit value of the sequence. Conversely, the standard part of a hyperreal $a=[a_n]$ represented in the ultrapower construction by a Cauchy sequence Template:Nowrap is simply the limit of that sequence: $$\mathrm{st}(a)=\underset{n\to \mathrm{\infty }}{lim}{a}_n.$$ In this sense, taking the limit and taking the standard part are equivalent procedures.

Limit sets

Limit set of a sequence

Let $\{a_n{\}}_{n>0}$ be a sequence in a topological space Template:Nowrap For concreteness, $X$ can be thought of as Template:Nowrap but the definitions hold more generally. The limit set is the set of points such that if there is a convergent subsequence $\{a_{n_k}{\}}_{k>0}$ with Template:Nowrap then $a$ belongs to the limit set. In this context, such an $a$ is sometimes called a limit point.

A use of this notion is to characterize the "long-term behavior" of oscillatory sequences. For example, consider the sequence Template:Nowrap Starting from n=1, the first few terms of this sequence are Template:Nowrap It can be checked that it is oscillatory, so has no limit, but has limit points Template:Nowrap

Limit set of a trajectory

This notion is used in dynamical systems, to study limits of trajectories. Defining a trajectory to be a function Template:Nowrap the point $\gamma (t)$ is thought of as the "position" of the trajectory at "time" Template:Nowrap The limit set of a trajectory is defined as follows. To any sequence of increasing times Template:Nowrap there is an associated sequence of positions Template:Nowrap If $x$ is the limit set of the sequence $\{x_n\}$ for any sequence of increasing times, then $x$ is a limit set of the trajectory.

Technically, this is the $\omega$-limit set. The corresponding limit set for sequences of decreasing time is called the $\alpha$-limit set.

An illustrative example is the circle trajectory: Template:Nowrap This has no unique limit, but for each Template:Nowrap the point $(\cos (\theta ),\sin (\theta ))$ is a limit point, given by the sequence of times Template:Nowrap But the limit points need not be attained on the trajectory. The trajectory $\gamma (t)=t/(1+t)(\cos (t),\sin (t))$ also has the unit circle as its limit set.

Uses

Limits are used to define a number of important concepts in analysis.

Series

A particular expression of interest which is formalized as the limit of a sequence is sums of infinite series. These are "infinite sums" of real numbers, generally written as $$\sum _{n=1}^{\mathrm{\infty }}{a}_n.$$ This is defined through limits as follows: given a sequence of real numbers $\{a_n\}$, the sequence of partial sums is defined by $$s_n=\sum _{i=1}^n{a}_i.$$ If the limit of the sequence $\{s_n\}$ exists, the value of the expression $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ is defined to be the limit. Otherwise, the series is said to be divergent.

A classic example is the Basel problem, where Template:Nowrap Then $$\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^2}=\frac{{\pi }^2}{6}.$$

However, while for sequences there is essentially a unique notion of convergence, for series there are different notions of convergence. This is due to the fact that the expression $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ does not discriminate between different orderings of the sequence $\{a_n\}$, while the convergence properties of the sequence of partial sums can depend on the ordering of the sequence.

A series which converges for all orderings is called unconditionally convergent. It can be proven to be equivalent to absolute convergence. This is defined as follows. A series is absolutely convergent if $\sum _{n=1}^{\mathrm{\infty }}|a_n|$ is well defined. Furthermore, all possible orderings give the same value.

Otherwise, the series is conditionally convergent. A surprising result for conditionally convergent series is the Riemann series theorem: depending on the ordering, the partial sums can be made to converge to any real number, as well as Template:Nowrap

Power series

A useful application of the theory of sums of series is for power series. These are sums of series of the form $$f(z)=\sum _{n=0}^{\mathrm{\infty }}{c}_n{z}^n.$$ Often $z$ is thought of as a complex number, and a suitable notion of convergence of complex sequences is needed. The set of values of $z\in ℂ$ for which the series sum converges is a circle, with its radius known as the radius of convergence.

Continuity of a function at a point

The definition of continuity at a point is given through limits.

The above definition of a limit is true even if Template:Nowrap Indeed, the function Template:Math need not even be defined at Template:Mvar. However, if $f(c)$ is defined and is equal to Template:Nowrap then the function is said to be continuous at the point Template:Nowrap

Equivalently, the function is continuous at $c$ if $f(x)\to f(c)$ as Template:Nowrap or in terms of sequences, whenever Template:Nowrap then Template:Nowrap

An example of a limit where $f$ is not defined at $c$ is given below.

Consider the function

$$f(x)=\frac{x^2-1}{x-1}.$$

then Template:Math is not defined (see Indeterminate form), yet as Template:Mvar moves arbitrarily close to 1, Template:Math correspondingly approaches 2:

Template:Math	Template:Math	Template:Math	Template:Math	Template:Math	Template:Math	Template:Math
Template:Math	Template:Math	Template:Math	Template:Math	Template:Math	Template:Math	Template:Math

Thus, Template:Math can be made arbitrarily close to the limit of 2—just by making Template:Mvar sufficiently close to Template:Nowrap In other words, $$\underset{x\to 1}{lim}\frac{x^2-1}{x-1}=2.$$

This can also be calculated algebraically, as $\frac{x^2-1}{x-1}=\frac{(x+1)(x-1)}{x-1}=x+1$ for all real numbers Template:Math.

Now, since Template:Math is continuous in Template:Mvar at 1, we can now plug in 1 for Template:Mvar, leading to the equation $$\underset{x\to 1}{lim}\frac{x^2-1}{x-1}=1+1=2.$$

In addition to limits at finite values, functions can also have limits at infinity. For example, consider the function $$f(x)=\frac{2x-1}{x}$$ where:

• Template:Math
• Template:Math
• Template:Math

As Template:Mvar becomes extremely large, the value of Template:Math approaches Template:Math, and the value of Template:Math can be made as close to Template:Math as one could wish—by making Template:Mvar sufficiently large. So in this case, the limit of Template:Math as Template:Mvar approaches infinity is Template:Math, or in mathematical notation,$$\underset{x\to \mathrm{\infty }}{lim}\frac{2x-1}{x}=2.$$

Continuous functions

An important class of functions when considering limits are continuous functions. These are precisely those functions which preserve limits, in the sense that if $f$ is a continuous function, then whenever $a_n\to a$ in the domain of Template:Nowrap then the limit $f(a_n)$ exists and furthermore is Template:Nowrap

In the most general setting of topological spaces, a short proof is given below:

Let $f:X\to Y$ be a continuous function between topological spaces $X$ and Template:Nowrap By definition, for each open set $V$ in Template:Nowrap the preimage $f^{-1}(V)$ is open in Template:Nowrap

Now suppose $a_n\to a$ is a sequence with limit $a$ in Template:Nowrap Then $f(a_n)$ is a sequence in Template:Nowrap and $f(a)$ is some point.

Choose a neighborhood $V$ of Template:Nowrap Then $f^{-1}(V)$ is an open set (by continuity of $f$) which in particular contains Template:Nowrap and therefore $f^{-1}(V)$ is a neighborhood of Template:Nowrap By the convergence of $a_n$ to Template:Nowrap there exists an $N$ such that for Template:Nowrap we have Template:Nowrap

Then applying $f$ to both sides gives that, for the same Template:Nowrap for each $n>N$ we have Template:Nowrap Originally $V$ was an arbitrary neighborhood of Template:Nowrap so Template:Nowrap This concludes the proof.

In real analysis, for the more concrete case of real-valued functions defined on a subset Template:Nowrap that is, Template:Nowrap a continuous function may also be defined as a function which is continuous at every point of its domain.

Limit points

In topology, limits are used to define limit points of a subset of a topological space, which in turn give a useful characterization of closed sets.

In a topological space Template:Nowrap consider a subset Template:Nowrap A point $a$ is called a limit point if there is a sequence $\{a_n\}$ in $S\setminus \{a\}$ such that Template:Nowrap

The reason why $\{a_n\}$ is defined to be in $S\setminus \{a\}$ rather than just $S$ is illustrated by the following example. Take $X=ℝ$ and Template:Nowrap Then $2\in S$, and therefore is the limit of the constant sequence Template:Nowrap But $2$ is not a limit point of $S$.

A closed set, which is defined to be the complement of an open set, is equivalently any set $C$ which contains all its limit points.

Derivative

The derivative is defined formally as a limit. In the scope of real analysis, the derivative is first defined for real functions Template:Nowrap The derivative at $x\in E$ is defined as follows. If the limit of $$\frac{f(x+h)-f(x)}{h}$$ as $h\to 0$ exists, then the derivative at $x$ is this limit.

Equivalently, it is the limit as $y\to x$ of $$\frac{f(y)-f(x)}{y-x}.$$

If the derivative exists, it is commonly denoted by Template:Nowrap

Properties

Sequences of real numbers

For sequences of real numbers, a number of properties can be proven. Suppose $\{a_n\}$ and $\{b_n\}$ are two sequences converging to $a$ and $b$ respectively.

• Sum of limits is equal to limit of sum$$a_n+b_n\to a+b.$$
• Product of limits is equal to limit of product$$a_n\cdot b_n\to a\cdot b.$$
• Inverse of limit is equal to limit of inverse (as long as $a\ne 0$)$$\frac{1}{a_n}\to \frac{1}{a}.$$

Equivalently, the function $f(x)=1/x$ is continuous about nonzero $x$.

Cauchy sequences

Template:See also A property of convergent sequences of real numbers is that they are Cauchy sequences. The definition of a Cauchy sequence $\{a_n\}$ is that for every real number $\epsilon >0$, there is an $N$ such that whenever $m,n>N$, $$|a_m-a_n|<\epsilon .$$

Informally, for any arbitrarily small error $\epsilon$, it is possible to find an interval of diameter $\epsilon$ such that eventually the sequence is contained within the interval.

Cauchy sequences are closely related to convergent sequences. In fact, for sequences of real numbers they are equivalent: any Cauchy sequence is convergent.

In general metric spaces, it continues to hold that convergent sequences are also Cauchy. But the converse is not true: not every Cauchy sequence is convergent in a general metric space. A classic counterexample is the rational numbers, $\mathbb{Q}$, with the usual distance. The sequence of decimal approximations to $\sqrt{2}$, truncated at the $n$th decimal place is a Cauchy sequence, but does not converge in $\mathbb{Q}$.

A metric space in which every Cauchy sequence is also convergent, that is, Cauchy sequences are equivalent to convergent sequences, is known as a complete metric space.

One reason Cauchy sequences can be "easier to work with" than convergent sequences is that they are a property of the sequence $\{a_n\}$ alone, while convergent sequences require not just the sequence $\{a_n\}$ but also the limit of the sequence $a$.

Order of convergence

Beyond whether or not a sequence $\{a_n\}$ converges to a limit $a$, it is possible to describe how fast a sequence converges to a limit. One way to quantify this is using the order of convergence of a sequence.

A formal definition of order of convergence can be stated as follows. Suppose $\{a_n{\}}_{n>0}$ is a sequence of real numbers which is convergent with limit $a$. Furthermore, $a_n\ne a$ for all $n$. If positive constants $\lambda$ and $\alpha$ exist such that $$\underset{n\to \mathrm{\infty }}{lim}\frac{|a_{n+1}-a|}{{|a_n-a|}^{\alpha }}=\lambda$$ then $a_n$ is said to converge to $a$ with order of convergence $\alpha$. The constant $\lambda$ is known as the asymptotic error constant.

Order of convergence is used for example the field of numerical analysis, in error analysis.

Computability

Limits can be difficult to compute. There exist limit expressions whose modulus of convergence is undecidable. In recursion theory, the limit lemma proves that it is possible to encode undecidable problems using limits.

There are several theorems or tests that indicate whether the limit exists. These are known as convergence tests. Examples include the ratio test and the squeeze theorem. However they may not tell how to compute the limit.

See also

• Asymptotic analysis: a method of describing limiting behavior
  • Big O notation: used to describe the limiting behavior of a function when the argument tends towards a particular value or infinity
• Banach limit defined on the Banach space ${\ell }^{\mathrm{\infty }}$ that extends the usual limits.
• Convergence of random variables
• Convergent matrix
• Limit in category theory
  • Direct limit
  • Inverse limit
• Limit of a function
  • One-sided limit: either of the two limits of functions of a real variable x, as x approaches a point from above or below
  • List of limits: list of limits for common functions
  • Squeeze theorem: finds a limit of a function via comparison with two other functions
• Limit superior and limit inferior
• Modes of convergence
  • An annotated index

References

• Template:Citation