Movatterモバイル変換

Jump to content

Uniform continuity

From Wikipedia, the free encyclopedia

Uniform restraint of the change in functions

As the center of the blue window, with real height $2\varepsilon \in \mathbb {R} _{>0}$ and real width $2\delta \in \mathbb {R} _{>0}$ , moves over the graph of $f(x)={\tfrac {1}{x}}$ in the direction of $x=0$ , there comes a point at which the graph of $f {\displaystyle f}$ penetrates the (interior of the) top and/or bottom of that window. This means that $f {\displaystyle f}$ ranges over an interval larger than or equal to $\varepsilon$ over an $x {\displaystyle x}$ -interval smaller than $\delta$ . If there existed a window whereof top and/or bottom is never penetrated by the graph of $f {\displaystyle f}$ as the window moves along it over its domain, then that window's width would need to be infinitesimally small (nonreal), meaning that $f(x)$ isnot uniformly continuous. The function $g(x)={\sqrt {x}}$ , on the other hand,is uniformly continuous.

{\displaystyle 2\varepsilon \in \mathbb {R} _{>0}} — As the center of the blue window, with real height $2\varepsilon \in \mathbb {R} _{>0}$ and real width $2\delta \in \mathbb {R} _{>0}$ , moves over the graph of $f(x)={\tfrac {1}{x}}$ in the direction of $x=0$ , there comes a point at which the graph of $f {\displaystyle f}$ penetrates the (interior of the) top and/or bottom of that window. This means that $f {\displaystyle f}$ ranges over an interval larger than or equal to $\varepsilon$ over an $x {\displaystyle x}$ -interval smaller than $\delta$ . If there existed a window whereof top and/or bottom is never penetrated by the graph of $f {\displaystyle f}$ as the window moves along it over its domain, then that window's width would need to be infinitesimally small (nonreal), meaning that $f(x)$ isnot uniformly continuous. The function $g(x)={\sqrt {x}}$ , on the other hand,is uniformly continuous.

Inmathematics, a realfunction $f {\displaystyle f}$ of real numbers is said to beuniformly continuous if there is a positive real number $\delta$ such that function values over any function domain interval of the size $\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 $\varepsilon$ , then there is a positive real number $\delta$ such that $|f(x)-f(y)|<\varepsilon$ for any $x {\displaystyle x}$ and $y {\displaystyle y}$ in any interval of length $\delta$ within the domain of $f {\displaystyle f}$ .

The difference between uniform continuity and (ordinary)continuity is that in uniform continuity there is aglobally applicable $\delta$ (the size of a function domain interval over which function value differences are less than $\varepsilon$ ) that depends on only $\varepsilon$ , while in (ordinary) continuity there is alocally applicable $\delta$ that depends on both $\varepsilon$ and $x {\displaystyle 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 betweenmetric spaces.

Continuous functions can fail to be uniformly continuous if they are unbounded on a bounded domain, such as $f(x)={\tfrac {1}{x}}$ 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, anyLipschitz map between metric spaces is uniformly continuous, in particular anyisometry (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 ofneighbourhoods of distinct points, so it requires a metric space, or more generally auniform space.

Definition for functions on metric spaces

For a function $f:X\to Y$ withmetric spaces $(X,d_{1})$ and $(Y,d_{2})$ , the following definitions of uniform continuity and (ordinary) continuity hold.

Definition of uniform continuity

$f {\displaystyle f}$ is calleduniformly continuous if for everyreal number $\varepsilon >0$ there exists a real number $\delta >0$ such that for every $x,y\in X$ with $d_{1}(x,y)<\delta$ , we have $d_{2}(f(x),f(y))<\varepsilon$ . The set $\{y\in X:d_{1}(x,y)<\delta \}$ for each $x {\displaystyle x}$ is a neighbourhood of $x {\displaystyle x}$ and the set $\{x\in X:d_{1}(x,y)<\delta \}$ for each $y {\displaystyle y}$ is a neighbourhood of $y {\displaystyle y}$ bythe definition of a neighbourhood in a metric space.
- If $X {\displaystyle X}$ and $Y {\displaystyle Y}$ are subsets of thereal line, then $d_{1}$ and $d_{2}$ can be thestandard one-dimensional Euclidean distance, yielding the following definition: for every real number $\varepsilon >0$ there exists a real number $\delta >0$ such that for every $x,y\in X$ , $|x-y|<\delta \implies |f(x)-f(y)|<\varepsilon$ (where $A\implies B$ is amaterial conditional statement saying "if $A {\displaystyle A}$ , then $B {\displaystyle B}$ ").
Equivalently, $f {\displaystyle f}$ is said to be uniformly continuous if $\forall \varepsilon >0\;\exists \delta >0\;\forall x\in X\;\forall y\in X:\,d_{1}(x,y)<\delta \,\Rightarrow \,d_{2}(f(x),f(y))<\varepsilon$ . Herequantifications ( $\forall \varepsilon >0$ , $\exists \delta >0$ , $\forall x\in X$ , and $\forall y\in X$ ) are used.
Equivalently, $f {\displaystyle f}$ is uniformly continuous if it admits amodulus of continuity.

Definition of (ordinary) continuity

$f {\displaystyle f}$ is calledcontinuous ${\underline {{\text{at }}x}}$ if for everyreal number $\varepsilon >0$ there exists a real number $\delta >0$ such that for every $y\in X$ with $d_{1}(x,y)<\delta$ , we have $d_{2}(f(x),f(y))<\varepsilon$ . The set $\{y\in X:d_{1}(x,y)<\delta \}$ is a neighbourhood of $x {\displaystyle x}$ . Thus, (ordinary) continuity is a local property of the function at the point $x {\displaystyle x}$ .
Equivalently, a function $f {\displaystyle f}$ is said to be continuous if $\forall x\in X\;\forall \varepsilon >0\;\exists \delta >0\;\forall y\in X:\,d_{1}(x,y)<\delta \,\Rightarrow \,d_{2}(f(x),f(y))<\varepsilon$ .
Alternatively, a function $f {\displaystyle f}$ is said to be continuous if there is a function of all positive real numbers $\varepsilon$ and $x\in X$ , $\delta (\varepsilon ,x)$ representing the maximum positive real number, such that at each $x {\displaystyle x}$ if $y\in X$ satisfies $d_{1}(x,y)<\delta (\varepsilon ,x)$ then $d_{2}(f(x),f(y))<\varepsilon$ . At every $x {\displaystyle x}$ , $\delta (\varepsilon ,x)$ is a monotonically non-decreasing function.

Local continuity versus global uniform continuity

In the definitions, the difference between uniform continuity andcontinuity is that, in uniform continuity there is a globally applicable $\delta$ (the size of a neighbourhood in $X {\displaystyle X}$ over which values of the metric for function values in $Y {\displaystyle Y}$ are less than $\varepsilon$ ) that depends on only $\varepsilon$ while in continuity there is a locally applicable $\delta$ that depends on the both $\varepsilon$ and $x {\displaystyle x}$ . Continuity is alocal property of a function — that is, a function $f {\displaystyle f}$ is continuous, or not, at a particular point $x {\displaystyle x}$ of the function domain $X {\displaystyle 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 aninterval, we mean that the function is continuous at every point of the interval. In contrast, uniform continuity is aglobal property of $f {\displaystyle f}$ , in the sense that the standard definition of uniform continuity refers to every point of $X {\displaystyle X}$ . On the other hand, it is possible to give a definition that islocal in terms of the natural extension $f^{*}$ (the characteristics of which at nonstandard points are determined by the global properties of $f {\displaystyle f}$ ), although it is not possible to give a local definition of uniform continuity for an arbitrary hyperreal-valued function, seebelow.

A mathematical definition that a function $f {\displaystyle f}$ is continuous on an interval $I {\displaystyle I}$ and a definition that $f {\displaystyle f}$ is uniformly continuous on $I {\displaystyle I}$ are structurally similar as shown in the following.

Continuity of a function $f:X\to Y$ formetric spaces $(X,d_{1})$ and $(Y,d_{2})$ at every point $x {\displaystyle x}$ of an interval $I\subseteq X$ (i.e., continuity of $f {\displaystyle f}$ on the interval $I {\displaystyle I}$ ) is expressed by a formula starting withquantifications

\forall x\in I\;\forall \varepsilon >0\;\exists \delta >0\;\forall y\in I:\,d_{1}(x,y)<\delta \,\Rightarrow \,d_{2}(f(x),f(y))<\varepsilon

,

(metrics $d_{1}(x,y)$ and $d_{2}(f(x),f(y))$ are $|x-y|$ and $|f(x)-f(y)|$ for $f:\mathbb {R} \to \mathbb {R}$ forthe set of real numbers $\mathbb {R}$ ).

For uniform continuity, the order of the first, second, and thirdquantifications ( $\forall x\in I$ , $\forall \varepsilon >0$ , and $\exists \delta >0$ ) are rotated:

\forall \varepsilon >0\;\exists \delta >0\;\forall x\in I\;\forall y\in I:\,d_{1}(x,y)<\delta \,\Rightarrow \,d_{2}(f(x),f(y))<\varepsilon

.

Thus for continuity on the interval, one takes an arbitrary point $x {\displaystyle x}$ of the interval, and then there must exist a distance $\delta$ ,

\cdots \forall x\,\exists \delta \cdots ,

while for uniform continuity, a single $\delta$ must work uniformly for all points $x {\displaystyle x}$ of the interval,

\cdots \exists \delta \,\forall x\cdots .

Properties

Every uniformly continuous function iscontinuous, but the converse does not hold. Consider for instance the continuous function $f\colon \mathbb {R} \rightarrow \mathbb {R} ,x\mapsto x^{2}$ where $\mathbb {R}$ isthe set of real numbers. Given a positive real number $\varepsilon$ , uniform continuity requires the existence of a positive real number $\delta$ such that for all $x_{1},x_{2}\in \mathbb {R}$ with $|x_{1}-x_{2}|<\delta$ , we have $|f(x_{1})-f(x_{2})|<\varepsilon$ . But

f\left(x+\delta \right)-f(x)=2x\cdot \delta +\delta ^{2},

and as $x {\displaystyle x}$ goes to be a higher and higher value, $\delta$ needs to be lower and lower to satisfy $|f(x+\beta )-f(x)|<\varepsilon$ for positive real numbers $\beta <\delta$ and the given $\varepsilon$ . This means that there is no specifiable (no matter how small it is) positive real number $\delta$ to satisfy the condition for $f {\displaystyle f}$ to be uniformly continuous so $f {\displaystyle f}$ is not uniformly continuous.

Anyabsolutely continuous function (over a compact interval) is uniformly continuous. On the other hand, theCantor function is uniformly continuous but not absolutely continuous.

The image of atotally bounded 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 thediscrete metric to the integers endowed with the usualEuclidean metric.

TheHeine–Cantor theorem asserts thatevery continuous function on acompact set is uniformly continuous. In particular,if a function is continuous on aclosed bounded interval of the real line, it is uniformly continuous on that interval. TheDarboux integrability of continuous functions follows almost immediately from this theorem.

If a real-valued function $f {\displaystyle f}$ is continuous on $[0,\infty )$ and $\lim _{x\to \infty }f(x)$ exists (and is finite), then $f {\displaystyle f}$ is uniformly continuous. In particular, every element of $C_{0}(\mathbb {R} )$ , the space of continuous functions on $\mathbb {R}$ that vanish at infinity, is uniformly continuous. This is a generalization of the Heine-Cantor theorem mentioned above, since $C_{c}(\mathbb {R} )\subset C_{0}(\mathbb {R} )$ .

Examples and nonexamples

Examples

Linear functions $x\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.
If a function is differentiable on an open interval and its derivative is bounded, then the function is uniformly continuous on that interval.
EveryLipschitz continuous map between two metric spaces is uniformly continuous. More generally, everyHölder continuous function is uniformly continuous.
Theabsolute 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, theWeierstrass function is uniformly continuous.
Every member of auniformly equicontinuous set of functions is uniformly continuous.

Nonexamples

Functions that are unbounded on a bounded domain are not uniformly continuous. Thetangent function is continuous on the interval $(-\pi /2,\pi /2)$ but isnot uniformly continuous on that interval, as it goes to infinity as $x\to \pi /2$ .
Functions whose derivative tends to infinity as $x {\displaystyle x}$ grows large cannot be uniformly continuous. The exponential function $x\mapsto e^{x}$ is continuous everywhere on the real line but is not uniformly continuous on the line, since its derivative is $e^{x}$ , and $e^{x}\to \infty$ as $x\to \infty$ .

Visualization

For a uniformly continuous function, for every positive real number $\varepsilon >0$ there is a positive real number $\delta >0$ such that two function values $f(x)$ and $f(y)$ have the maximum distance $\varepsilon$ whenever $x {\displaystyle x}$ and $y {\displaystyle y}$ are within the maximum distance $\delta$ . Thus at each point $(x,f(x))$ of the graph, if we draw a rectangle with a height slightly less than $2\varepsilon$ and width a slightly less than $2\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.)

For uniformly continuous functions, for each positive real number $\varepsilon >0$ there is a positive real number $\delta >0$ such that when we draw a rectangle around each point of the graph with a width slightly less than $2\delta$ and a height slightly less than $2\varepsilon$ , the graph lies completely inside the height of the rectangle.
For functions that are not uniformly continuous, there is a positive real number $\varepsilon >0$ such that for every positive real number $\delta >0$ there is a point on the graph so that when we draw a rectangle with a height slightly less than $2\varepsilon$ and a width slightly less than $2\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.

History

The first published definition of uniform continuity was byHeine 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 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.^[1]

Other characterizations

Non-standard analysis

Innon-standard analysis, a real-valued function $f {\displaystyle f}$ of a real variable ismicrocontinuous at a point $a {\displaystyle a}$ precisely if the difference $f^{*}(a+\delta )-f^{*}(a)$ is infinitesimal whenever $\delta$ is infinitesimal. Thus $f {\displaystyle f}$ is continuous on a set $A {\displaystyle A}$ in $\mathbb {R}$ precisely if $f^{*}$ is microcontinuous at every real point $a\in A$ . Uniform continuity can be expressed as the condition that (the natural extension of) $f {\displaystyle f}$ is microcontinuous not only at real points in $A {\displaystyle A}$ , but at all points in its non-standard counterpart (natural extension) $^{*}A$ in $^{*}\mathbb {R}$ . 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 {\displaystyle f}$ . (seenon-standard calculus for more details and examples).

Cauchy continuity

For a function between metric spaces, uniform continuity impliesCauchy continuity (Fitzpatrick 2006). More specifically, let $A {\displaystyle A}$ be a subset of $\mathbb {R} ^{n}$ . If a function $f:A\to \mathbb {R} ^{n}$ is uniformly continuous then for every pair of sequences $x_{n}$ and $y_{n}$ such that

\lim _{n\to \infty }|x_{n}-y_{n}|=0

we have

\lim _{n\to \infty }|f(x_{n})-f(y_{n})|=0.

Relations with the extension problem

Let $X {\displaystyle X}$ be a metric space, $S {\displaystyle S}$ a subset of $X {\displaystyle X}$ , $R {\displaystyle R}$ a complete metric space, and $f:S\rightarrow R$ a continuous function. A question to answer:When can $f {\displaystyle f}$ be extended to a continuous function on all of $X {\displaystyle X}$ ?

If $S {\displaystyle S}$ is closed in $X {\displaystyle X}$ , the answer is given by theTietze extension theorem. So it is necessary and sufficient to extend $f {\displaystyle f}$ to the closure of $S {\displaystyle S}$ in $X {\displaystyle X}$ : that is, we may assume without loss of generality that $S {\displaystyle S}$ is dense in $X {\displaystyle X}$ , and this has the further pleasant consequence that if the extension exists, it is unique. A sufficient condition for $f {\displaystyle f}$ to extend to a continuous function $f:X\rightarrow R$ is that it isCauchy-continuous, i.e., the image under $f {\displaystyle f}$ of a Cauchy sequence remains Cauchy. If $X {\displaystyle X}$ is complete (and thus the completion of $S {\displaystyle S}$ ), then every continuous function from $X {\displaystyle X}$ to a metric space $Y {\displaystyle Y}$ is Cauchy-continuous. Therefore when $X {\displaystyle X}$ is complete, $f {\displaystyle f}$ extends to a continuous function $f:X\rightarrow R$ if and only if $f {\displaystyle f}$ is Cauchy-continuous.

It is easy to see that every uniformly continuous function is Cauchy-continuous and thus extends to $X {\displaystyle X}$ . The converse does not hold, since the function $f:R\rightarrow R,x\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 {\displaystyle 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\mapsto a^{x}$ can be given a precise definition only for rational values of $x {\displaystyle x}$ (assuming the existence of qth roots of positive real numbers, an application of theIntermediate Value Theorem). One would like to extend $f {\displaystyle f}$ to a function defined on all of $R {\displaystyle R}$ . The identity

f(x+\delta )-f(x)=a^{x}\left(a^{\delta }-1\right)

shows that $f {\displaystyle f}$ is not uniformly continuous on the set $Q {\displaystyle Q}$ of all rational numbers; however for any bounded interval $I {\displaystyle I}$ the restriction of $f {\displaystyle f}$ to $Q\cap I$ is uniformly continuous, hence Cauchy-continuous, hence $f {\displaystyle f}$ extends to a continuous function on $I {\displaystyle I}$ . But since this holds for every $I {\displaystyle I}$ , there is then a unique extension of $f {\displaystyle f}$ to a continuous function on all of $R {\displaystyle R}$ .

More generally, a continuous function $f:S\rightarrow R$ whose restriction to every bounded subset of $S {\displaystyle S}$ is uniformly continuous is extendable to $X {\displaystyle X}$ , and the converse holds if $X {\displaystyle X}$ islocally compact.

A typical application of the extendability of a uniformly continuous function is the proof of the inverseFourier transformation 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 $V {\displaystyle V}$ and $W {\displaystyle W}$ , the notion of uniform continuity of a map $f:V\to W$ becomes: for any neighborhood $B {\displaystyle B}$ of zero in $W {\displaystyle W}$ , there exists a neighborhood $A {\displaystyle A}$ of zero in $V {\displaystyle V}$ such that $v_{1}-v_{2}\in A$ implies $f(v_{1})-f(v_{2})\in B.$

Forlinear transformations $f:V\to W$ , uniform continuity is equivalent to continuity. This fact is frequently used implicitly infunctional analysis to extend a linear map off a dense subspace of aBanach space.

Generalization to uniform spaces

Just as the most natural and general setting for continuity istopological spaces, the most natural and general setting for the study ofuniform continuity are theuniform spaces. A function $f:X\to Y$ between uniform spaces is calleduniformly continuous if for everyentourage $V {\displaystyle V}$ in $Y {\displaystyle Y}$ there exists an entourage $U {\displaystyle U}$ in $X {\displaystyle X}$ such that for every $(x_{1},x_{2})$ in $U {\displaystyle U}$ we have $(f(x_{1}),f(x_{2}))$ in $V {\displaystyle V}$ .

In this setting, it is also true that uniformly continuous maps transform Cauchy sequences into Cauchy sequences.

Eachcompact Hausdorff space 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

Contraction mapping – Function reducing distance between all points
Uniform convergence – Mode of convergence of a function sequence
Uniform isomorphism – Uniformly continuous homeomorphism

References

^Rusnock & Kerr-Lawson 2005.

Further reading

Bourbaki, Nicolas (1989).General Topology: Chapters 1–4 [Topologie Générale]. Springer.ISBN 0-387-19374-X. Chapter II is a comprehensive reference of uniform spaces.
Dieudonné, Jean (1960).Foundations of Modern Analysis. Academic Press.
Fitzpatrick, Patrick (2006).Advanced Calculus. Brooks/Cole.ISBN 0-534-92612-6.
Kelley, John L. (1955).General topology. Graduate Texts in Mathematics. Springer-Verlag.ISBN 0-387-90125-6.{{cite book}}:ISBN / Date incompatibility (help)
Kudryavtsev, L.D. (2001) [1994],"Uniform continuity",Encyclopedia of Mathematics,EMS Press
Rudin, Walter (1976).Principles of Mathematical Analysis. New York:McGraw-Hill.ISBN 978-0-07-054235-8.
Rusnock, P.; Kerr-Lawson, A. (2005), "Bolzano and uniform continuity",Historia Mathematica,32 (3):303–311,doi:10.1016/j.hm.2004.11.003

v
t
e

Metric spaces (Category)

Basic concepts

Main results

Maps

Types of
metric spaces

Sets

Examples

Manifolds	Euclidean distance Riemannian
Functional analysis andMeasure theory	Chebyshev distance Inner product space Lévy metric Lévy–Prokhorov metric Metrizable topological vector space Normed space Taxicab geometry Wasserstein metric
General topology	Discrete space Intrinsic metric Laakso space Product metric

Related

Generalizations

Retrieved from "https://en.wikipedia.org/w/index.php?title=Uniform_continuity&oldid=1298016041"

Hidden categories:

[8]ページ先頭

©2009-2026 Movatter.jp