Uniform Continuity - Revision history

Khanh at 06:01, 6 November 2021

2021-11-06T06:01:09Z

Khanh at 03:51, 21 October 2021

2021-10-21T03:51:00Z

Lila: Created page with "File:Continuity and uniform continuity 2.gif|thumb|upright=1.5|The graph of $f(x)=\tfrac1x$ escapes the top and/or bottom of the $\text{height}\times \text{w..."$

2021-10-20T17:22:30Z

Created page with "File:Continuity and uniform continuity 2.gif|thumb|upright=1.5|The graph of <math>f(x)=\tfrac1x</math> escapes the top and/or bottom of the <math>\text{height}\times \text{w..."

New page

[[File:Continuity and uniform continuity 2.gif|thumb|upright=1.5|The graph of <math>f(x)=\tfrac1x</math> escapes the top and/or bottom of the <math>\text{height}\times \text{width}=2\varepsilon\times2\delta</math> window, however small the <math>\delta</math>, so <math>f(x)</math> is '''not''' uniformly continuous. The function <math>g(x)=\sqrt x</math>, on the other hand, '''is''' uniformly continuous.]]
In [[mathematics]], a [[function (mathematics)|function]] ''f'' is '''uniformly continuous''' if, roughly speaking, it is possible to guarantee that ''f''(''x'') and ''f''(''y'') be as close to each other as we please by requiring only that ''x'' and ''y'' be sufficiently close to each other; unlike ordinary [[Continuous function|continuity]], where the maximum distance between ''f''(''x'') and ''f''(''y'') may depend on ''x'' and ''y'' themselves.

Continuous functions can fail to be uniformly continuous if they are unbounded on a finite domain, such as <math>f(x) = \tfrac1x</math> on (0,1), or if their slopes become unbounded on an infinite domain, such as <math>f(x)=x^2</math> on the real line. However, any [[Lipschitz continuity|Lipschitz map]] between [[metric space]]s is uniformly continuous, in particular any [[isometry]] (distance-preserving map).

Although ordinary 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 (mathematics)|neighbourhood]]s of distinct points, so it requires a metric space, or more generally a [[uniform space]].

== Definition for functions on metric spaces ==
Given [[metric spaces]] <math> (X,d_1) </math> and <math> (Y,d_2) </math>, a function <math> f : X \to Y </math> is called '''uniformly continuous''' if for every [[real number]] <math> \varepsilon > 0 </math> there exists real <math> \delta > 0 </math> such that for every <math> x,y \in X </math> with <math> d_1(x,y) < \delta </math>, we have that <math> d_2(f(x),f(y)) < \varepsilon </math>.

If ''X'' and ''Y'' are subsets of the [[real line]], ''d''1 and ''d''2 can be the [[Real_line#As_a_metric_space|standard one-dimensional Euclidean distance]], yielding the definition: for all <math> \varepsilon > 0 </math> there exists a <math> \delta > 0 </math> such that for all <math> x,y \in X, |x - y| < \delta \implies |f(x) - f(y)| < \varepsilon </math>.

The difference between uniform continuity, versus ordinary continuity at every point, is that in uniform continuity the value of <math>\delta</math> depends only on <math>\varepsilon</math> and not on the point in the domain.

== Local continuity versus global uniform continuity ==
[[Continuous function|Continuity]] itself is a ''local'' property of a function—that is, a function ''f'' is continuous, or not, at a particular point, and this can be determined by looking only at the values of the function in an (arbitrarily small) neighbourhood of that point. When we speak of a function being continuous on an [[interval (mathematics)|interval]], we mean only that it is continuous at each point of the interval. In contrast, uniform continuity is a ''global'' property of ''f'', in the sense that the standard definition refers to ''pairs'' of points rather than individual points. 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, see [[Uniform continuity#Non-standard analysis|below]].

The mathematical statements that a function is continuous on an interval ''I'' and the definition that a function is uniformly continuous on the same interval are structurally very similar. Continuity of a function for every point ''x'' of an interval can thus be expressed by a formula starting with the [[Quantification (logic)|quantification]]
: <math>\forall x \in I \; \forall \varepsilon > 0 \; \exists \delta > 0 \; \forall y \in I : \, |x - y|<\delta \, \Rightarrow \, |f(x) - f(y)| < \varepsilon \,,</math>
whereas for uniform continuity, the order of the first, second, and third quantifiers are rotated:
: <math>\forall \varepsilon > 0 \; \exists \delta > 0 \; \forall x, y \in I : \, |x - y|<\delta \, \Rightarrow \, |f(x)-f(y)|<\varepsilon </math>
Thus for continuity at each point, one takes an arbitrary point ''x,'' and then there must exist a distance ''δ'',
: <math>\cdots \forall x \, \exists \delta \cdots ,</math>
while for uniform continuity a single ''δ'' must work uniformly for all points ''x'' (and ''y''):
: <math>\cdots \exists \delta \, \forall x \, \forall y \cdots .</math>

== Examples and counterexamples ==

* Every [[Lipschitz continuous]] map between two metric spaces is uniformly continuous. In particular, every function which is differentiable and has bounded derivative is uniformly continuous. More generally, every [[Hölder continuous]] function is uniformly continuous.
* Despite being nowhere differentiable, the [[Weierstrass function]] is uniformly continuous
* Every member of a [[Uniform equicontinuity|uniformly equicontinuous]] set of functions is uniformly continuous.
* The [[tangent function]] is continuous on the interval (−''π''/2, ''π''/2) but is ''not'' uniformly continuous on that interval.
* The exponential function ''x'' <math>\scriptstyle\mapsto</math> ''e''''x'' is continuous everywhere on the real line but is not uniformly continuous on the line.

== Properties ==

Every uniformly continuous function is [[continuous function|continuous]], but the converse does not hold. Consider for instance the function <math>f \colon \mathbb{R} \rightarrow \mathbb{R}, x
\mapsto x^2</math>. Given an arbitrarily small positive real number <math>\varepsilon</math>, uniform continuity requires the existence of a positive number <math>\delta</math> such that for all <math>x_1, x_2</math> with <math>|x_1 - x_2| < \delta</math>, we have <math>|f(x_1)-f(x_2)| < \varepsilon</math>. But
: <math>f\left(x+\frac{\delta}{2}\right)-f(x) = 2x\cdot\frac{\delta}{2} + \frac{\delta^2}{4},</math>
and for all sufficiently large ''x'' this quantity is greater than <math>\varepsilon</math>.

Any [[absolutely continuous]] function is uniformly continuous. On the other hand, the [[Cantor function]] is uniformly continuous but not absolutely continuous.

The image of a [[totally bounded space|totally 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 the [[discrete metric]] to the integers endowed with the usual [[Euclidean metric]].

The [[Heine–Cantor theorem]] asserts that every continuous function on a [[compact set]] is uniformly continuous. In particular, if a function is continuous on a [[interval (mathematics)|closed bounded interval]] of the real line, it is uniformly continuous on that interval. The [[Darboux integral|Darboux integrability]] of continuous functions follows almost immediately from this theorem.

If a real-valued function <math>f</math> is continuous on <math>[0, \infty)</math> and <math>\lim_{x \to \infty} f(x)</math> exists (and is finite), then <math>f</math> is uniformly continuous. In particular, every element of <math>C_0(\mathbb{R})</math>, the space of continuous functions on <math>\mathbb{R}</math> that vanish at infinity, is uniformly continuous. This is a generalization of the Heine-Cantor theorem mentioned above, since <math>C_c(\mathbb{R}) \subset C_0(\mathbb{R}) </math>.

== Visualization ==
For a uniformly continuous function, there is for every given <math>\varepsilon > 0</math> a <math>\delta > 0</math> such that two values <math>f(x)</math> and <math>f(y)</math> have a maximal distance <math>\varepsilon</math> whenever <math>x</math> and <math>y</math> do not differ for more than <math>\delta</math>. Thus we can draw around each point <math>(x,f(x))</math> of the graph a rectangle with height <math>2\varepsilon</math> and width <math>2\delta</math> so that the graph lies completely inside the rectangle and not directly above or below. For functions that are not uniformly continuous, this isn't possible. The graph might lie inside the rectangle for certain midpoints on the graph but there are always midpoints of the rectangle on the graph where the function lies above or below the rectangle.

<gallery widths="400" heights="300">
File:Gleichmäßig stetige Funktion.svg|For uniformly continuous functions, there is for each <math>\varepsilon > 0</math> a <math>\delta > 0</math> such that when we draw a rectangle around each point of the graph with width <math>2\delta</math> and height <math>2\varepsilon</math>, the graph lies completely inside the rectangle.
File:Nicht gleichmäßig stetige Funktion.svg|For functions that are not uniformly continuous, there is an <math>\varepsilon > 0</math> such that regardless of the <math>\delta > 0</math> there are always points on the graph, when we draw a <math>2\varepsilon\times2\delta</math> rectangle around it, there are values directly above or below the rectangle. There might be midpoints where the graph is completely inside the rectangle but this is not true for every midpoint.
</gallery>

==Resources==
* [https://en.wikipedia.org/wiki/Uniform_continuity Uniform continuity], Wikipedia

@@ Line 56: / Line 56: @@
 </gallery>
-==Resources==
+== Licensing ==
-* [https://en.wikipedia.org/wiki/Uniform_continuity Uniform continuity], Wikipedia
+Content obtained and/or adapted from:

@@ Line 1: / Line 1: @@
 [[File:Continuity and uniform continuity 2.gif|thumb|upright=1.5|The graph of <math>f(x)=\tfrac1x</math> escapes the top and/or bottom of the <math>\text{height}\times \text{width}=2\varepsilon\times2\delta</math> window, however small the <math>\delta</math>, so <math>f(x)</math> is '''not''' uniformly continuous. The function <math>g(x)=\sqrt x</math>, on the other hand, '''is''' uniformly continuous.]]
-In [[mathematics]], a [[function (mathematics)|function]] ''f'' is '''uniformly continuous''' if, roughly speaking, it is possible to guarantee that ''f''(''x'') and ''f''(''y'') be as close to each other as we please by requiring only that ''x'' and ''y'' be sufficiently close to each other; unlike ordinary [[Continuous function|continuity]], where the maximum distance between ''f''(''x'') and ''f''(''y'') may depend on ''x'' and ''y'' themselves.
+In mathematics, a function ''f'' is '''uniformly continuous''' if, roughly speaking, it is possible to guarantee that ''f''(''x'') and ''f''(''y'') be as close to each other as we please by requiring only that ''x'' and ''y'' be sufficiently close to each other; unlike ordinary continuity, where the maximum distance between ''f''(''x'') and ''f''(''y'') may depend on ''x'' and ''y'' themselves.
-Continuous functions can fail to be uniformly continuous if they are unbounded on a finite domain, such as <math>f(x) = \tfrac1x</math> on (0,1), or if their slopes become unbounded on an infinite domain, such as <math>f(x)=x^2</math> on the real line. However, any [[Lipschitz continuity|Lipschitz map]] between [[metric space]]s is uniformly continuous, in particular any [[isometry]] (distance-preserving map).
+Continuous functions can fail to be uniformly continuous if they are unbounded on a finite domain, such as <math>f(x) = \tfrac1x</math> on (0,1), or if their slopes become unbounded on an infinite domain, such as <math>f(x)=x^2</math> on the real line. However, any Lipschitz map between metric spaces is uniformly continuous, in particular any isometry (distance-preserving map).
-Although ordinary 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 (mathematics)|neighbourhood]]s of distinct points, so it requires a metric space, or more generally a [[uniform space]].
+Although ordinary continuity can be defined for functions between general topological spaces, defining uniform continuity requires more structure.  The concept relies on comparing the sizes of neighbourhoods of distinct points, so it requires a metric space, or more generally a uniform space.
 == Definition for functions on metric spaces ==
-Given [[metric spaces]] <math> (X,d_1) </math> and <math> (Y,d_2) </math>, a function <math> f : X \to Y </math> is called '''uniformly continuous''' if  for every [[real number]] <math> \varepsilon > 0 </math> there exists real <math> \delta > 0 </math> such that for every <math> x,y \in X </math> with <math> d_1(x,y) < \delta </math>, we have that <math> d_2(f(x),f(y)) < \varepsilon </math>.
+Given metric spaces <math> (X,d_1) </math> and <math> (Y,d_2) </math>, a function <math> f : X \to Y </math> is called '''uniformly continuous''' if  for every real number <math> \varepsilon > 0 </math> there exists real <math> \delta > 0 </math> such that for every <math> x,y \in X </math> with <math> d_1(x,y) < \delta </math>, we have that <math> d_2(f(x),f(y)) < \varepsilon </math>.
-If ''X'' and ''Y'' are subsets of the [[real line]], ''d''<sub>1</sub> and ''d''<sub>2</sub> can be the [[Real_line#As_a_metric_space|standard one-dimensional Euclidean distance]], yielding the definition: for all <math> \varepsilon > 0 </math> there exists a <math> \delta > 0 </math> such that for all <math> x,y \in X, |x - y| < \delta \implies |f(x) - f(y)| < \varepsilon </math>.
+If ''X'' and ''Y'' are subsets of the real line, ''d''<sub>1</sub> and ''d''<sub>2</sub> can be the standard one-dimensional Euclidean distance, yielding the definition: for all <math> \varepsilon > 0 </math> there exists a <math> \delta > 0 </math> such that for all <math> x,y \in X, |x - y| < \delta \implies |f(x) - f(y)| < \varepsilon </math>.
 The difference between uniform continuity, versus ordinary continuity at every point, is that in uniform continuity the value of <math>\delta</math> depends only on <math>\varepsilon</math> and not on the point in the domain.
 == Local continuity versus global uniform continuity ==
-[[Continuous function|Continuity]] itself is a ''local'' property of a function—that is, a function ''f'' is continuous, or not, at a particular point, and this can be determined by looking only at the values of the function in an (arbitrarily small) neighbourhood of that point.  When we speak of a function being continuous on an [[interval (mathematics)|interval]], we mean only that it is continuous at each point of the interval.  In contrast, uniform continuity is a ''global'' property of ''f'', in the sense that the standard definition refers to ''pairs'' of points rather than individual points.  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, see [[Uniform continuity#Non-standard analysis|below]].
+Continuity itself is a ''local'' property of a function—that is, a function ''f'' is continuous, or not, at a particular point, and this can be determined by looking only at 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 only that it is continuous at each point of the interval.  In contrast, uniform continuity is a ''global'' property of ''f'', in the sense that the standard definition refers to ''pairs'' of points rather than individual points.  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, see below.
-The mathematical statements that a function is continuous on an interval ''I'' and the definition that a function is uniformly continuous on the same interval are structurally very similar. Continuity of a function for every point ''x'' of an interval can thus be expressed by a formula starting with the [[Quantification (logic)|quantification]]
+The mathematical statements that a function is continuous on an interval ''I'' and the definition that a function is uniformly continuous on the same interval are structurally very similar. Continuity of a function for every point ''x'' of an interval can thus be expressed by a formula starting with the quantification
 : <math>\forall x \in I \; \forall \varepsilon > 0 \; \exists \delta > 0 \; \forall y \in I :  \, |x - y|<\delta \, \Rightarrow \, |f(x) - f(y)| < \varepsilon \,,</math>
 whereas for uniform continuity, the order of the first, second, and third quantifiers are rotated:
@@ Line 27: / Line 27: @@
 == Examples and counterexamples ==
-* Every [[Lipschitz continuous]] map between two metric spaces is uniformly continuous. In particular, every function which is differentiable and has bounded derivative is uniformly continuous. More generally, every [[Hölder continuous]] function is uniformly continuous.
+* Every Lipschitz continuous map between two metric spaces is uniformly continuous. In particular, every function which is differentiable and has bounded derivative is uniformly continuous. More generally, every Hölder continuous function is uniformly continuous.
-* Despite being nowhere differentiable, the [[Weierstrass function]] is uniformly continuous
+* Despite being nowhere differentiable, the Weierstrass function is uniformly continuous
-* Every member of a [[Uniform equicontinuity|uniformly equicontinuous]] set of functions is uniformly continuous.
+* Every member of a uniformly equicontinuous set of functions is uniformly continuous.
-* The [[tangent function]] is continuous on the interval (−''π''/2,&nbsp;''π''/2) but is ''not'' uniformly continuous on that interval.
+* The tangent function is continuous on the interval (−''π''/2,&nbsp;''π''/2) but is ''not'' uniformly continuous on that interval.
 * The exponential function ''x''&nbsp;<math>\scriptstyle\mapsto</math>&nbsp;''e''<sup>''x''</sup> is continuous everywhere on the real line but is not uniformly continuous on the line.
 == Properties ==
-Every uniformly continuous function is [[continuous function|continuous]], but the converse does not hold.  Consider for instance the function <math>f \colon \mathbb{R} \rightarrow \mathbb{R}, x
+Every uniformly continuous function is continuous, but the converse does not hold.  Consider for instance the function <math>f \colon \mathbb{R} \rightarrow \mathbb{R}, x
 \mapsto x^2</math>.  Given an arbitrarily small positive real number <math>\varepsilon</math>, uniform continuity requires the existence of a positive number <math>\delta</math> such that for all <math>x_1, x_2</math> with <math>|x_1 - x_2| < \delta</math>, we have <math>|f(x_1)-f(x_2)| < \varepsilon</math>.  But
 : <math>f\left(x+\frac{\delta}{2}\right)-f(x) = 2x\cdot\frac{\delta}{2} + \frac{\delta^2}{4},</math>
 and for all sufficiently large ''x'' this quantity is greater than <math>\varepsilon</math>.
-Any [[absolutely continuous]] function is uniformly continuous. On the other hand, the [[Cantor function]] is uniformly continuous but not absolutely continuous.
+Any absolutely continuous function is uniformly continuous. On the other hand, the Cantor function is uniformly continuous but not absolutely continuous.
-The image of a [[totally bounded space|totally 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 the [[discrete metric]] to the integers endowed with the usual [[Euclidean metric]].
+The image of a totally 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 the discrete metric to the integers endowed with the usual Euclidean metric.
-The [[Heine–Cantor theorem]] asserts that every continuous function on a [[compact set]] is uniformly continuous.  In particular, if a function is continuous on a [[interval (mathematics)|closed bounded interval]] of the real line, it is uniformly continuous on that interval. The [[Darboux integral|Darboux integrability]] of continuous functions follows almost immediately from this theorem.
+The Heine–Cantor theorem asserts that every continuous function on a compact set 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 <math>f</math> is continuous on <math>[0, \infty)</math> and <math>\lim_{x \to \infty} f(x)</math> exists (and is finite), then <math>f</math> is uniformly continuous. In particular, every element of <math>C_0(\mathbb{R})</math>, the space of continuous functions on <math>\mathbb{R}</math> that vanish at infinity, is uniformly continuous.<!-- This is true for some more general X instead of R, but I don't know how general X can get. --> This is a generalization of the Heine-Cantor theorem mentioned above, since <math>C_c(\mathbb{R}) \subset C_0(\mathbb{R}) </math>.
+If a real-valued function <math>f</math> is continuous on <math>[0, \infty)</math> and <math>\lim_{x \to \infty} f(x)</math> exists (and is finite), then <math>f</math> is uniformly continuous. In particular, every element of <math>C_0(\mathbb{R})</math>, the space of continuous functions on <math>\mathbb{R}</math> that vanish at infinity, is uniformly continuous. This is a generalization of the Heine-Cantor theorem mentioned above, since <math>C_c(\mathbb{R}) \subset C_0(\mathbb{R}) </math>.
 == Visualization ==

Uniform Continuity - Revision history

Khanh at 06:01, 6 November 2021

Khanh at 03:51, 21 October 2021

Lila: Created page with "File:Continuity and uniform continuity 2.gif|thumb|upright=1.5|The graph of f(x)=\tfrac1x escapes the top and/or bottom of the \text{height}\times \text{w..."

Lila: Created page with "File:Continuity and uniform continuity 2.gif|thumb|upright=1.5|The graph of $f(x)=\tfrac1x$ escapes the top and/or bottom of the $\text{height}\times \text{w..."$