In

File:Gleichmäßig stetige Funktion.svg, For uniformly continuous functions, for each positive real number $\backslash varepsilon\; >\; 0$ there is a positive real number $\backslash delta\; >\; 0$ such that when we draw a rectangle around each point of the graph with a width slightly less than $2\backslash delta$ and a height slightly less than $2\backslash varepsilon$, the graph lies completely inside the height of the rectangle.
File:Nicht gleichmäßig stetige Funktion.svg, For functions that are not uniformly continuous, there is a positive real number $\backslash varepsilon\; >\; 0$ such that for every positive real number $\backslash delta\; >\; 0$ there is a point on the graph so that when we draw a rectangle with a height slightly less than $2\backslash varepsilon$ and a width slightly less than $2\backslash delta$ around that point, there is a function value directly above or below the rectangle. There might be a graph point where the graph is completely inside the height of the rectangle but this is not true for every point of the graph.

mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, a real function
Function or functionality may refer to:
Computing
* Function key, a type of key on computer keyboards
* Function model, a structured representation of processes in a system
* Function object or functor or functionoid, a concept of object-oriente ...

$f$ of real numbers is said to be uniformly continuous if there is a positive real number $\backslash delta$ such that function values over any function domain interval of the size $\backslash delta$ are as close to each other as we want. In other words, for a uniformly continuous real function of real numbers, if we want function value differences to be less than any positive real number $\backslash epsilon$, then there is a positive real number $\backslash delta$ such that $,\; f(x)\; -\; f(y),\; <\; \backslash epsilon$ at any $x$ and $y$ in any function interval of the size $\backslash delta$.
The difference between uniform continuity and (ordinary) continuity is that, in uniform continuity there is a globally applicable $\backslash delta$ (the size of a function domain interval over which function value differences are less than $\backslash epsilon$) that depends on only $\backslash varepsilon$, while in (ordinary) continuity there is a locally applicable $\backslash delta$ that depends on the both $\backslash varepsilon$ and $x$. So uniform continuity is a stronger continuity condition than continuity; a function that is uniformly continuous is continuous but a function that is continuous is not necessarily uniformly continuous. The concepts of uniform continuity and continuity can be expanded to functions defined between metric spaces
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...

.
Continuous functions can fail to be uniformly continuous if they are unbounded on a bounded domain, such as $f(x)\; =\; \backslash tfrac1x$ on $(0,1)$, or if their slopes become unbounded on an infinite domain, such as $f(x)=x^2$ on the real (number) line. However, any Lipschitz map
In mathematical analysis, Lipschitz continuity, named after German mathematician Rudolf Lipschitz, is a strong form of uniform continuity for functions. Intuitively, a Lipschitz continuous function is limited in how fast it can change: there exis ...

between metric spaces is uniformly continuous, in particular any isometry
In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' mea ...

(distance-preserving map).
Although continuity can be defined for functions between general topological spaces, defining uniform continuity requires more structure. The concept relies on comparing the sizes of neighbourhood
A neighbourhood (British English, Irish English, Australian English and Canadian English) or neighborhood (American English; see spelling differences) is a geographically localised community within a larger city, town, suburb or rural are ...

s of distinct points, so it requires a metric space, or more generally a uniform space
In the mathematical field of topology, a uniform space is a set with a uniform structure. Uniform spaces are topological spaces with additional structure that is used to define uniform properties such as completeness, uniform continuity and unifo ...

.
Definition for functions on metric spaces

For a function $f\; :\; X\; \backslash to\; Y$ withmetric spaces
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...

$(X,d\_1)$ and $(Y,d\_2)$, the following definitions of uniform continuity and (ordinary) continuity hold.
Definition of uniform continuity

* $f$ is called uniformly continuous if for everyreal number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...

$\backslash varepsilon\; >\; 0$ there exists a real number $\backslash delta\; >\; 0$ such that for every $x,y\; \backslash in\; X$ with $d\_1(x,y)\; <\; \backslash delta$, we have $d\_2(f(x),f(y))\; <\; \backslash varepsilon$. The set $\backslash $ for each $x$ is a neighbourhood of $x$ and the set $\backslash $ for each $y$ is a neighbourhood of $y$ by the definition of a neighbourhood in a metric space.
** If $X$ and $Y$ are subsets of the real line
In elementary mathematics, a number line is a picture of a graduated straight line (geometry), line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real ...

, then $d\_1$ and $d\_2$ can be the standard one-dimensional Euclidean distance, yielding the following definition: for every real number $\backslash varepsilon\; >\; 0$ there exists a real number $\backslash delta\; >\; 0$ such that for every $x,y\; \backslash in\; X$, $,\; x\; -\; y,\; <\; \backslash delta\; \backslash implies\; ,\; f(x)\; -\; f(y),\; <\; \backslash varepsilon$ (where $A\; \backslash implies\; B$ is a material conditional
The material conditional (also known as material implication) is an operation commonly used in logic. When the conditional symbol \rightarrow is interpreted as material implication, a formula P \rightarrow Q is true unless P is true and Q is ...

statement saying "if $A$, then $B$").
* Equivalently, $f$ is said to be uniformly continuous if $\backslash forall\; \backslash varepsilon\; >\; 0\; \backslash ;\; \backslash exists\; \backslash delta\; >\; 0\; \backslash ;\; \backslash forall\; x\; \backslash in\; X\; \backslash ;\; \backslash forall\; y\; \backslash in\; X\; :\; \backslash ,\; d\_1(x,y)\; <\; \backslash delta\; \backslash ,\; \backslash Rightarrow\; \backslash ,d\_2(f(x),f(y))\; <\; \backslash varepsilon$. Here quantifications ($\backslash forall\; \backslash varepsilon\; >\; 0$, $\backslash exists\; \backslash delta\; >\; 0$, $\backslash forall\; x\; \backslash in\; X$, and $\backslash forall\; y\; \backslash in\; X$) are used.
* Alternatively, $f$ is said to be uniformly continuous if there is a function of all positive real numbers $\backslash varepsilon$, $\backslash delta(\backslash varepsilon)$ representing the maximum positive real number, such that for every $x,y\; \backslash in\; X$ if $d\_1(x,y)\; <\; \backslash delta(\backslash varepsilon)$ then $d\_2(f(x),f(y))\; <\; \backslash varepsilon$. $\backslash delta(\backslash varepsilon)$ is a monotonically non-decreasing function.
Definition of (ordinary) continuity

* $f$ is called continuous $\backslash underline$ if for everyreal number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...

$\backslash varepsilon\; >\; 0$ there exists a real number $\backslash delta\; >\; 0$ such that for every $y\; \backslash in\; X$ with $d\_1(x,y)\; <\; \backslash delta$, we have $d\_2(f(x),f(y))\; <\; \backslash varepsilon$. The set $\backslash $ is a neighbourhood of $x$. Thus, (ordinary) continuity is a local property of the function at the point $x$.
* Equivalently, a function $f$ is said to be continuous if $\backslash forall\; x\; \backslash in\; X\; \backslash ;\; \backslash forall\; \backslash varepsilon\; >\; 0\; \backslash ;\; \backslash exists\; \backslash delta\; >\; 0\; \backslash ;\; \backslash forall\; y\; \backslash in\; X\; :\; \backslash ,\; d\_1(x,y)\; <\; \backslash delta\; \backslash ,\; \backslash Rightarrow\; \backslash ,\; d\_2(f(x),f(y))\; <\; \backslash varepsilon$.
* Alternatively, a function $f$ is said to be continuous if there is a function of all positive real numbers $\backslash varepsilon$ and $x\; \backslash in\; X$, $\backslash delta(\backslash varepsilon,\; x)$ representing the maximum positive real number, such that at each $x$ if $y\; \backslash in\; X$ satisfies $d\_1(x,y)\; <\; \backslash delta(\backslash varepsilon,x)$ then $d\_2(f(x),f(y))\; <\; \backslash varepsilon$. At every $x$, $\backslash delta(\backslash varepsilon,\; x)$ is a monotonically non-decreasing function.
Local continuity versus global uniform continuity

In the definitions, the difference between uniform continuity and continuity is that, in uniform continuity there is a globally applicable $\backslash delta$ (the size of a neighbourhood in $X$ over which values of the metric for function values in $Y$ are less than $\backslash varepsilon$) that depends on only $\backslash varepsilon$ while in continuity there is a locally applicable $\backslash delta$ that depends on the both $\backslash varepsilon$ and $x$. Continuity is a ''local'' property of a function — that is, a function $f$ is continuous, or not, at a particular point $x$ of the function domain $X$, and this can be determined by looking at only the values of the function in an arbitrarily small neighbourhood of that point. When we speak of a function being continuous on an interval, we mean that the function is continuous at every point of the interval. In contrast, uniform continuity is a ''global'' property of $f$, in the sense that the standard definition of uniform continuity refers to every point of $X$. On the other hand, it is possible to give a definition that is ''local'' in terms of the natural extension $f^*$(the characteristics of which at nonstandard points are determined by the global properties of $f$), although it is not possible to give a local definition of uniform continuity for an arbitrary hyperreal-valued function, seebelow
Below may refer to:
*Earth
*Ground (disambiguation)
*Soil
*Floor
*Bottom (disambiguation)
Bottom may refer to:
Anatomy and sex
* Bottom (BDSM), the partner in a BDSM who takes the passive, receiving, or obedient role, to that of the top or ...

.
A mathematical definition that a function $f$ is continuous on an interval $I$ and a definition that $f$ is uniformly continuous on $I$ are structurally similar as shown in the following.
Continuity of a function $f:X\; \backslash to\; Y$ for metric spaces
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...

$(X,d\_1)$ and $(Y,d\_2)$ at every point ''$x$'' of an interval $I\; \backslash subseteq\; X$ (i.e., continuity of $f$ on the interval $I$) is expressed by a formula starting with quantifications
: $\backslash forall\; \backslash varepsilon\; >\; 0\; \backslash ;\; \backslash forall\; x\; \backslash in\; I\; \backslash ;\; \backslash exists\; \backslash delta\; >\; 0\; \backslash ;\; \backslash forall\; y\; \backslash in\; I\; :\; \backslash ,\; d\_1(x,y)\; <\; \backslash delta\; \backslash ,\; \backslash Rightarrow\; \backslash ,\; d\_2(f(x),f(y))\; <\; \backslash varepsilon$,
(metrics $d\_1(x,y)$ and $d\_2(f(x),f(y))$ are $,\; x\; -\; y,$ and $,\; f(x)\; -\; f(y),$ for $f:\backslash mathbb\; \backslash to\; \backslash mathbb$ for the set of real numbers $\backslash mathbb$).
For uniform continuity, the order of the first, second, and third quantifications ($\backslash forall\; x\; \backslash in\; I$, $\backslash forall\; \backslash varepsilon\; >\; 0$, and $\backslash exists\; \backslash delta\; >\; 0$) are rotated:
: $\backslash forall\; \backslash varepsilon\; >\; 0\; \backslash ;\; \backslash exists\; \backslash delta\; >\; 0\; \backslash ;\; \backslash forall\; x\; \backslash in\; I\; \backslash ;\; \backslash forall\; y\; \backslash in\; I\; :\; \backslash ,\; d\_1(x,y)\; <\; \backslash delta\; \backslash ,\; \backslash Rightarrow\; \backslash ,d\_2(f(x),f(y))\; <\; \backslash varepsilon$.
Thus for continuity on the interval, one takes an arbitrary point $x$ of the interval'','' and then there must exist a distance $\backslash delta$,
: $\backslash cdots\; \backslash forall\; x\; \backslash ,\; \backslash exists\; \backslash delta\; \backslash cdots\; ,$
while for uniform continuity, a single $\backslash delta$ must work uniformly for all points $x$ of the interval,
: $\backslash cdots\; \backslash exists\; \backslash delta\; \backslash ,\; \backslash forall\; x\; \backslash cdots\; .$
Properties

Every uniformly continuous function iscontinuous
Continuity or continuous may refer to:
Mathematics
* Continuity (mathematics), the opposing concept to discreteness; common examples include
** Continuous probability distribution or random variable in probability and statistics
** Continuous ...

, but the converse does not hold. Consider for instance the continuous function $f\; \backslash colon\; \backslash mathbb\; \backslash rightarrow\; \backslash mathbb,\; x\; \backslash mapsto\; x^2$ where $\backslash mathbb$ is the set of real numbers. Given a positive real number $\backslash varepsilon$, uniform continuity requires the existence of a positive real number $\backslash delta$ such that for all $x\_1,\; x\_2\; \backslash in\; \backslash mathbb$ with $,\; x\_1\; -\; x\_2,\; <\; \backslash delta$, we have $,\; f(x\_1)-f(x\_2),\; <\; \backslash varepsilon$. But
: $f\backslash left(x\; +\; \backslash delta\; \backslash right)-f(x)\; =\; 2x\backslash cdot\; \backslash delta\; +\; \backslash delta^2,$
and as $x$ goes to be a higher and higher value, $\backslash delta$ needs to be lower and lower to satisfy $,\; f(x\; +\; \backslash beta)\; -f(x),\; <\; \backslash varepsilon$ for positive real numbers $\backslash beta\; <\; \backslash delta$ and the given $\backslash varepsilon$. This means that there is no specifiable (no matter how small it is) positive real number $\backslash delta$ to satisfy the condition for $f$ to be uniformly continuous so $f$ is not uniformly continuous.
Any absolutely continuous
In calculus, absolute continuity is a smoothness property of functions that is stronger than continuity and uniform continuity. The notion of absolute continuity allows one to obtain generalizations of the relationship between the two central oper ...

function (over a compact interval) is uniformly continuous. On the other hand, the Cantor function
In mathematics, the Cantor function is an example of a function that is continuous, but not absolutely continuous. It is a notorious counterexample in analysis, because it challenges naive intuitions about continuity, derivative, and measure. Th ...

is uniformly continuous but not absolutely continuous.
The image of a totally bounded In topology and related branches of mathematics, total-boundedness is a generalization of compactness for circumstances in which a set is not necessarily closed. A totally bounded set can be covered by finitely many subsets of every fixed “size ...

subset under a uniformly continuous function is totally bounded. However, the image of a bounded subset of an arbitrary metric space under a uniformly continuous function need not be bounded: as a counterexample, consider the identity function from the integers endowed with the discrete metric
Discrete may refer to:
*Discrete particle or quantum in physics, for example in quantum theory
* Discrete device, an electronic component with just one circuit element, either passive or active, other than an integrated circuit
*Discrete group, a ...

to the integers endowed with the usual Euclidean metric
In mathematics, the Euclidean distance between two points in Euclidean space is the length of a line segment between the two points.
It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, therefore oc ...

.
The Heine–Cantor theorem
In mathematics, the Heine–Cantor theorem, named after Eduard Heine and Georg Cantor, states that if f \colon M \to N is a continuous function between two metric spaces M and N, and M is compact, then f is uniformly continuous. An important speci ...

asserts that ''every continuous function on a compact set
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i ...

is uniformly continuous''. In particular, ''if a function is continuous on a closed bounded interval of the real line, it is uniformly continuous on that interval''. The Darboux integrability of continuous functions follows almost immediately from this theorem.
If a real-valued function $f$ is continuous on $[0,\; \backslash infty)$ and $\backslash lim\_\; f(x)$ exists (and is finite), then $f$ is uniformly continuous. In particular, every element of $C\_0(\backslash mathbb)$, the space of continuous functions on $\backslash mathbb$ that vanish at infinity, is uniformly continuous. This is a generalization of the Heine-Cantor theorem mentioned above, since $C\_c(\backslash mathbb)\; \backslash subset\; C\_0(\backslash mathbb)$.
Examples and nonexamples

Examples

* Linear functions $x\; \backslash mapsto\; ax\; +\; b$ are the simplest examples of uniformly continuous functions. * Any continuous function on the interval $[0,1]$ is also uniformly continuous, since $[0,1]$ is a compact set. * Every function which is differentiable and has bounded derivative is uniformly continuous. * EveryLipschitz continuous
In mathematical analysis, Lipschitz continuity, named after German mathematician Rudolf Lipschitz, is a strong form of uniform continuity for functions. Intuitively, a Lipschitz continuous function is limited in how fast it can change: there exis ...

map between two metric spaces is uniformly continuous. More generally, every Hölder continuous Hölder:
* ''Hölder, Hoelder'' as surname
* Hölder condition
* Hölder's inequality
* Hölder mean
* Jordan–Hölder theorem In abstract algebra, a composition series provides a way to break up an algebraic structure, such as a group or a modul ...

function is uniformly continuous.
* The absolute value function is uniformly continuous, despite not being differentiable at $x\; =\; 0$. This shows uniformly continuous functions are not always differentiable.
* Despite being nowhere differentiable, the Weierstrass function
In mathematics, the Weierstrass function is an example of a real-valued function (mathematics), function that is continuous function, continuous everywhere but Differentiable function, differentiable nowhere. It is an example of a fractal curve ...

is uniformly continuous.
* Every member of a uniformly equicontinuous set of functions is uniformly continuous.
Nonexamples

* Functions that are unbounded on a bounded domain are not uniformly continuous. Thetangent function
In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all ...

is continuous on the interval $(-\backslash pi/2,\; \backslash pi/2)$ but is ''not'' uniformly continuous on that interval, as it goes to infinity as $x\; \backslash to\; \backslash pi/2$.
* Functions that have slopes that become unbounded on an infinite domain cannot be uniformly continuous. The exponential function $x\; \backslash mapsto\; e^x$ is continuous everywhere on the real line but is not uniformly continuous on the line, since its derivative tends to infinity as $x\; \backslash to\; \backslash infty$.
Visualization

For a uniformly continuous function, for every positive real number $\backslash varepsilon\; >\; 0$ there is a positive real number $\backslash delta\; >\; 0$ such that two function values $f(x)$ and $f(y)$ have the maximum distance $\backslash varepsilon$ whenever $x$ and $y$ are within the maximum distance $\backslash delta$. Thus at each point $(x,f(x))$ of the graph, if we draw a rectangle with a height slightly less than $2\backslash varepsilon$ and width a slightly less than $2\backslash delta$ around that point, then the graph lies completely within the height of the rectangle, i.e., the graph do not pass through the top or the bottom side of the rectangle. For functions that are not uniformly continuous, this isn't possible; for these functions, the graph might lie inside the height of the rectangle at some point on the graph but there is a point on the graph where the graph lies above or below the rectangle. (the graph penetrates the top or bottom side of the rectangle.)History

The first published definition of uniform continuity was by Heine in 1870, and in 1872 he published a proof that a continuous function on an open interval need not be uniformly continuous. The proofs are almost verbatim given byDirichlet
Johann Peter Gustav Lejeune Dirichlet (; 13 February 1805 – 5 May 1859) was a German mathematician who made deep contributions to number theory (including creating the field of analytic number theory), and to the theory of Fourier series and ...

in his lectures on definite integrals in 1854. The definition of uniform continuity appears earlier in the work of Bolzano where he also proved that continuous functions on an open interval do not need to be uniformly continuous. In addition he also states that a continuous function on a closed interval is uniformly continuous, but he does not give a complete proof.
Other characterizations

Non-standard analysis

Innon-standard analysis
The history of calculus is fraught with philosophical debates about the meaning and logical validity of fluxions or infinitesimal numbers. The standard way to resolve these debates is to define the operations of calculus using epsilon–delta ...

, a real-valued function ''$f$'' of a real variable is microcontinuous at a point ''$a$'' precisely if the difference $f^*(a\; +\; \backslash delta)\; -\; f^*(a)$ is infinitesimal whenever ''$\backslash delta$'' is infinitesimal. Thus ''$f$'' is continuous on a set ''$A$'' in $\backslash mathbb$ precisely if $f^*$ is microcontinuous at every real point $a\; \backslash in\; A$. Uniform continuity can be expressed as the condition that (the natural extension of) $f$ is microcontinuous not only at real points in $A$, but at all points in its non-standard counterpart (natural extension) $^*A$ in $^*\backslash mathbb$. Note that there exist hyperreal-valued functions which meet this criterion but are not uniformly continuous, as well as uniformly continuous hyperreal-valued functions which do not meet this criterion, however, such functions cannot be expressed in the form $f^*$ for any real-valued function $f$. (see non-standard calculus
In mathematics, nonstandard calculus is the modern application of infinitesimals, in the sense of nonstandard analysis, to infinitesimal calculus. It provides a rigorous justification for some arguments in calculus that were previously considered m ...

for more details and examples).
Cauchy continuity

For a function between metric spaces, uniform continuity implies Cauchy continuity . More specifically, let $A$ be a subset of $\backslash mathbb^n$. If a function $f:A\; \backslash to\; \backslash mathbb^n$ is uniformly continuous then for every pair of sequences $x\_n$ and $y\_n$ such that :$\backslash lim\_\; ,\; x\_n-y\_n,\; =0$ we have :$\backslash lim\_\; ,\; f(x\_n)-f(y\_n),\; =0.$Relations with the extension problem

Let $X$ be a metric space, $S$ a subset of $X$'','' $R$ a complete metric space, and $f:\; S\; \backslash rightarrow\; R$ a continuous function. A question to answer: ''When can $f$ be extended to a continuous function on all of $X$?'' If ''$S$'' is closed in $X$, the answer is given by theTietze extension theorem
In topology, the Tietze extension theorem (also known as the Tietze–Urysohn–Brouwer extension theorem) states that continuous functions on a closed subset of a normal topological space can be extended to the entire space, preserving boundedness ...

. So it is necessary and sufficient to extend ''$f$'' to the closure of $S$ in $X$: that is, we may assume without loss of generality that ''$S$'' is dense in $X$, and this has the further pleasant consequence that if the extension exists, it is unique. A sufficient condition for $f$ to extend to a continuous function $f:\; X\; \backslash rightarrow\; R$ is that it is Cauchy-continuous, i.e., the image under ''$f$'' of a Cauchy sequence remains Cauchy. If $X$ is complete (and thus the completion of ''$S$''), then every continuous function from ''$X$'' to a metric space ''$Y$'' is Cauchy-continuous. Therefore when ''$X$'' is complete, ''$f$'' extends to a continuous function $f:\; X\; \backslash rightarrow\; R$ if and only if ''$f$'' is Cauchy-continuous.
It is easy to see that every uniformly continuous function is Cauchy-continuous and thus extends to ''$X$''. The converse does not hold, since the function $f:\; R\; \backslash rightarrow\; R,\; x\; \backslash mapsto\; x^2$ is, as seen above, not uniformly continuous, but it is continuous and thus Cauchy continuous. In general, for functions defined on unbounded spaces like ''$R$'', uniform continuity is a rather strong condition. It is desirable to have a weaker condition from which to deduce extendability.
For example, suppose $a\; >\; 1$ is a real number. At the precalculus level, the function $f:\; x\; \backslash mapsto\; a^x$ can be given a precise definition only for rational values of ''$x$'' (assuming the existence of qth roots of positive real numbers, an application of the Intermediate Value Theorem
In mathematical analysis, the intermediate value theorem states that if f is a continuous function whose domain contains the interval , then it takes on any given value between f(a) and f(b) at some point within the interval.
This has two import ...

). One would like to extend $f$ to a function defined on all of $R$. The identity
: $f(x+\backslash delta)-f(x)\; =\; a^x\backslash left(a^\; -\; 1\backslash right)$
shows that ''$f$'' is not uniformly continuous on the set ''$Q$'' of all rational numbers; however for any bounded interval ''$I$'' the restriction of ''$f$'' to $Q\; \backslash cap\; I$ is uniformly continuous, hence Cauchy-continuous, hence $f$ extends to a continuous function on ''$I$''. But since this holds for every ''$I$'', there is then a unique extension of ''$f$'' to a continuous function on all of ''$R$''.
More generally, a continuous function $f:\; S\; \backslash rightarrow\; R$ whose restriction to every bounded subset of ''$S$'' is uniformly continuous is extendable to ''$X$'', and the converse holds if ''$X$'' is locally compact In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which ev ...

.
A typical application of the extendability of a uniformly continuous function is the proof of the inverse Fourier transformation
A Fourier transform (FT) is a mathematical transform that decomposes functions into frequency components, which are represented by the output of the transform as a function of frequency. Most commonly functions of time or space are transformed, ...

formula. We first prove that the formula is true for test functions, there are densely many of them. We then extend the inverse map to the whole space using the fact that linear map is continuous; thus, uniformly continuous.
Generalization to topological vector spaces

In the special case of twotopological vector spaces
In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis.
A topological vector space is a vector space that is als ...

$V$ and $W$, the notion of uniform continuity of a map $f:V\backslash to\; W$ becomes: for any neighborhood $B$ of zero in $W$, there exists a neighborhood $A$ of zero in $V$ such that $v\_1-v\_2\backslash in\; A$ implies $f(v\_1)-f(v\_2)\backslash in\; B.$
For linear transformation
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pre ...

s $f:V\backslash to\; W$, uniform continuity is equivalent to continuity. This fact is frequently used implicitly in functional analysis
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. Inner product space#Definition, inner product, Norm (mathematics)#Defini ...

to extend a linear map off a dense subspace of a Banach space
In mathematics, more specifically in functional analysis, a Banach space (pronounced ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vector ...

.
Generalization to uniform spaces

Just as the most natural and general setting for continuity istopological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points ...

s, the most natural and general setting for the study of ''uniform'' continuity are the uniform space
In the mathematical field of topology, a uniform space is a set with a uniform structure. Uniform spaces are topological spaces with additional structure that is used to define uniform properties such as completeness, uniform continuity and unifo ...

s. A function $f:X\; \backslash to\; Y$ between uniform spaces is called ''uniformly continuous'' if for every entourage
An entourage () is an informal group or band of people who are closely associated with a (usually) famous, notorious, or otherwise notable individual. The word can also refer to:
Arts and entertainment
* L'entourage, French hip hop / rap collecti ...

''$V$'' in ''$Y$'' there exists an entourage ''$U$'' in ''$X$'' such that for every $(x\_1,x\_2)$ in $U$ we have $(f(x\_1),f(x\_2))$ in $V$.
In this setting, it is also true that uniformly continuous maps transform Cauchy sequences into Cauchy sequences.
Each compact Hausdorff space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i ...

possesses exactly one uniform structure compatible with the topology. A consequence is a generalization of the Heine-Cantor theorem: each continuous function from a compact Hausdorff space to a uniform space is uniformly continuous.
See also

* *References

Further reading

* Chapter II is a comprehensive reference of uniform spaces. * * * * * *{{citation, last1=Rusnock, first1=P., last2=Kerr-Lawson, first2=A., title=Bolzano and uniform continuity, journal=Historia Mathematica, volume=32, year=2005, pages=303–311, number=3, doi=10.1016/j.hm.2004.11.003, doi-access=free Theory of continuous functions Calculus Mathematical analysis General topology