In mathematical analysis, a family of functions is equicontinuous if all the functions are continuous and they have equal variation over a given neighbourhood, in a precise sense described herein. In particular, the concept applies to countable families, and thus sequences of functions.

Equicontinuity appears in the formulation of Ascoli's theorem, which states that a subset of C(X), the space of continuous functions on a compact Hausdorff space X, is compact if and only if it is closed, pointwise bounded and equicontinuous. As a corollary, a sequence in C(X) is uniformly convergent if and only if it is equicontinuous and converges pointwise to a function (not necessarily continuous a-priori). In particular, the limit of an equicontinuous pointwise convergent sequence of continuous functions fn on either metric space or locally compact space[1] is continuous. If, in addition, fn are holomorphic, then the limit is also holomorphic.

The uniform boundedness principle states that a pointwise bounded family of continuous linear operators between Banach spaces is equicontinuous.[2]

Equicontinuity between metric spaces

edit

Let X and Y be two metric spaces, and F a family of functions from X to Y. We shall denote by d the respective metrics of these spaces.

The family F is equicontinuous at a point x0 ∈ X if for every ε > 0, there exists a δ > 0 such that d(ƒ(x0), ƒ(x)) < ε for all ƒ ∈ F and all x such that d(x0x) < δ. The family is pointwise equicontinuous if it is equicontinuous at each point of X.[3]

The family F is uniformly equicontinuous if for every ε > 0, there exists a δ > 0 such that d(ƒ(x1), ƒ(x2)) < ε for all ƒ ∈ F and all x1, x2 ∈ X such that d(x1x2) < δ.[4]

For comparison, the statement 'all functions ƒ in F are continuous' means that for every ε > 0, every ƒ ∈ F, and every x0 ∈ X, there exists a δ > 0 such that d(ƒ(x0), ƒ(x)) < ε for all x ∈ X such that d(x0x) < δ.

  • For continuity, δ may depend on ε, ƒ, and x0.
  • For uniform continuity, δ may depend on ε and ƒ.
  • For pointwise equicontinuity, δ may depend on ε and x0.
  • For uniform equicontinuity, δ may depend only on ε.

More generally, when X is a topological space, a set F of functions from X to Y is said to be equicontinuous at x if for every ε > 0, x has a neighborhood Ux such that

 

for all yUx and ƒ ∈ F. This definition usually appears in the context of topological vector spaces.

When X is compact, a set is uniformly equicontinuous if and only if it is equicontinuous at every point, for essentially the same reason as that uniform continuity and continuity coincide on compact spaces. Used on its own, the term "equicontinuity" may refer to either the pointwise or uniform notion, depending on the context. On a compact space, these notions coincide.

Some basic properties follow immediately from the definition. Every finite set of continuous functions is equicontinuous. The closure of an equicontinuous set is again equicontinuous. Every member of a uniformly equicontinuous set of functions is uniformly continuous, and every finite set of uniformly continuous functions is uniformly equicontinuous.

Examples

edit
  • A set of functions with a common Lipschitz constant is (uniformly) equicontinuous. In particular, this is the case if the set consists of functions with derivatives bounded by the same constant.
  • Uniform boundedness principle gives a sufficient condition for a set of continuous linear operators to be equicontinuous.
  • A family of iterates of an analytic function is equicontinuous on the Fatou set.[5][6]

Counterexamples

edit
  • The sequence of functions fn(x) = arctan(nx), is not equicontinuous because the definition is violated at x0=0.

Equicontinuity of maps valued in topological groups

edit

Suppose that T is a topological space and Y is an additive topological group (i.e. a group endowed with a topology making its operations continuous). Topological vector spaces are prominent examples of topological groups and every topological group has an associated canonical uniformity.

Definition:[7] A family H of maps from T into Y is said to be equicontinuous at tT if for every neighborhood V of 0 in Y, there exists some neighborhood U of t in T such that h(U) ⊆ h(t) + V for every hH. We say that H is equicontinuous if it is equicontinuous at every point of T.

Note that if H is equicontinuous at a point then every map in H is continuous at the point. Clearly, every finite set of continuous maps from T into Y is equicontinuous.

Equicontinuous linear maps

edit

Because every topological vector space (TVS) is a topological group so the definition of an equicontinuous family of maps given for topological groups transfers to TVSs without change.

Characterization of equicontinuous linear maps

edit

A family   of maps of the form   between two topological vector spaces is said to be equicontinuous at a point   if for every neighborhood   of the origin in   there exists some neighborhood   of the origin in   such that   for all  

If   is a family of maps and   is a set then let   With notation, if   and   are sets then   for all   if and only if  

Let   and   be topological vector spaces (TVSs) and   be a family of linear operators from   into   Then the following are equivalent:

  1.   is equicontinuous;
  2.   is equicontinuous at every point of  
  3.   is equicontinuous at some point of  
  4.   is equicontinuous at the origin.
    • that is, for every neighborhood   of the origin in   there exists a neighborhood   of the origin in   such that   (or equivalently,  for every  ).
    • [8]
  5. for every neighborhood   of the origin in     is a neighborhood of the origin in  
  6. the closure of   in   is equicontinuous.
    •   denotes  endowed with the topology of point-wise convergence.
  7. the balanced hull of   is equicontinuous.

while if   is locally convex then this list may be extended to include:

  1. the convex hull of   is equicontinuous.[9]
  2. the convex balanced hull of   is equicontinuous.[10][9]

while if   and   are locally convex then this list may be extended to include:

  1. for every continuous seminorm   on   there exists a continuous seminorm   on   such that   for all   [9]
    • Here,   means that   for all  

while if   is barreled and   is locally convex then this list may be extended to include:

  1.   is bounded in  ;[11]
  2.   is bounded in   [11]
    •   denotes  endowed with the topology of bounded convergence (that is, uniform convergence on bounded subsets of  

while if   and   are Banach spaces then this list may be extended to include:

  1.   (that is,   is uniformly bounded in the operator norm).

Characterization of equicontinuous linear functionals

edit

Let   be a topological vector space (TVS) over the field   with continuous dual space   A family   of linear functionals on   is said to be equicontinuous at a point   if for every neighborhood   of the origin in   there exists some neighborhood   of the origin in   such that   for all  

For any subset   the following are equivalent:[9]

  1.   is equicontinuous.
  2.   is equicontinuous at the origin.
  3.   is equicontinuous at some point of  
  4.   is contained in the polar of some neighborhood of the origin in  [10]
  5. the (pre)polar of   is a neighborhood of the origin in  
  6. the weak* closure of   in   is equicontinuous.
  7. the balanced hull of   is equicontinuous.
  8. the convex hull of   is equicontinuous.
  9. the convex balanced hull of   is equicontinuous.[10]

while if   is normed then this list may be extended to include:

  1.   is a strongly bounded subset of  [10]

while if   is a barreled space then this list may be extended to include:

  1.   is relatively compact in the weak* topology on  [11]
  2.   is weak* bounded (that is,   is  bounded in  ).[11]
  3.   is bounded in the topology of bounded convergence (that is,   is  bounded in  ).[11]

Properties of equicontinuous linear maps

edit

The uniform boundedness principle (also known as the Banach–Steinhaus theorem) states that a set   of linear maps between Banach spaces is equicontinuous if it is pointwise bounded; that is,   for each   The result can be generalized to a case when   is locally convex and   is a barreled space.[12]

Properties of equicontinuous linear functionals

edit

Alaoglu's theorem implies that the weak-* closure of an equicontinuous subset of   is weak-* compact; thus that every equicontinuous subset is weak-* relatively compact.[13][9]

If   is any locally convex TVS, then the family of all barrels in   and the family of all subsets of   that are convex, balanced, closed, and bounded in   correspond to each other by polarity (with respect to  ).[14] It follows that a locally convex TVS   is barreled if and only if every bounded subset of   is equicontinuous.[14]

Theorem — Suppose that   is a separable TVS. Then every closed equicontinuous subset of   is a compact metrizable space (under the subspace topology). If in addition   is metrizable then   is separable.[14]

Equicontinuity and uniform convergence

edit

Let X be a compact Hausdorff space, and equip C(X) with the uniform norm, thus making C(X) a Banach space, hence a metric space. Then Arzelà–Ascoli theorem states that a subset of C(X) is compact if and only if it is closed, uniformly bounded and equicontinuous. [15] This is analogous to the Heine–Borel theorem, which states that subsets of Rn are compact if and only if they are closed and bounded.[16] As a corollary, every uniformly bounded equicontinuous sequence in C(X) contains a subsequence that converges uniformly to a continuous function on X.

In view of Arzelà–Ascoli theorem, a sequence in C(X) converges uniformly if and only if it is equicontinuous and converges pointwise. The hypothesis of the statement can be weakened a bit: a sequence in C(X) converges uniformly if it is equicontinuous and converges pointwise on a dense subset to some function on X (not assumed continuous).

Proof

Suppose fj is an equicontinuous sequence of continuous functions on a dense subset D of X. Let ε > 0 be given. By equicontinuity, for each zD, there exists a neighborhood Uz of z such that

 

for all j and xUz. By denseness and compactness, we can find a finite subset D′D such that X is the union of Uz over zD′. Since fj converges pointwise on D′, there exists N > 0 such that

 

whenever zD′ and j, k > N. It follows that

 

for all j, k > N. In fact, if xX, then xUz for some zD′ and so we get:

 .

Hence, fj is Cauchy in C(X) and thus converges by completeness.

This weaker version is typically used to prove Arzelà–Ascoli theorem for separable compact spaces. Another consequence is that the limit of an equicontinuous pointwise convergent sequence of continuous functions on a metric space, or on a locally compact space, is continuous. (See below for an example.) In the above, the hypothesis of compactness of X  cannot be relaxed. To see that, consider a compactly supported continuous function g on R with g(0) = 1, and consider the equicontinuous sequence of functions {ƒn} on R defined by ƒn(x) = g(xn). Then, ƒn converges pointwise to 0 but does not converge uniformly to 0.

This criterion for uniform convergence is often useful in real and complex analysis. Suppose we are given a sequence of continuous functions that converges pointwise on some open subset G of Rn. As noted above, it actually converges uniformly on a compact subset of G if it is equicontinuous on the compact set. In practice, showing the equicontinuity is often not so difficult. For example, if the sequence consists of differentiable functions or functions with some regularity (e.g., the functions are solutions of a differential equation), then the mean value theorem or some other kinds of estimates can be used to show the sequence is equicontinuous. It then follows that the limit of the sequence is continuous on every compact subset of G; thus, continuous on G. A similar argument can be made when the functions are holomorphic. One can use, for instance, Cauchy's estimate to show the equicontinuity (on a compact subset) and conclude that the limit is holomorphic. Note that the equicontinuity is essential here. For example, ƒn(x) = arctan nx converges to a multiple of the discontinuous sign function.

Generalizations

edit

Equicontinuity in topological spaces

edit

The most general scenario in which equicontinuity can be defined is for topological spaces whereas uniform equicontinuity requires the filter of neighbourhoods of one point to be somehow comparable with the filter of neighbourhood of another point. The latter is most generally done via a uniform structure, giving a uniform space. Appropriate definitions in these cases are as follows:

A set A of functions continuous between two topological spaces X and Y is topologically equicontinuous at the points xX and yY if for any open set O about y, there are neighborhoods U of x and V of y such that for every fA, if the intersection of f[U] and V is nonempty, f[U] ⊆ O. Then A is said to be topologically equicontinuous at xX if it is topologically equicontinuous at x and y for each yY. Finally, A is equicontinuous if it is equicontinuous at x for all points xX.
A set A of continuous functions between two uniform spaces X and Y is uniformly equicontinuous if for every element W of the uniformity on Y, the set
{ (u,v) ∈ X × X: for all fA. (f(u),f(v)) ∈ W }
is a member of the uniformity on X
Introduction to uniform spaces

We now briefly describe the basic idea underlying uniformities.

The uniformity 𝒱 is a non-empty collection of subsets of Y × Y where, among many other properties, every V ∈ 𝒱, V contains the diagonal of Y (i.e. {(y, y) ∈ Y}). Every element of 𝒱 is called an entourage.

Uniformities generalize the idea (taken from metric spaces) of points that are "r-close" (for r > 0), meaning that their distance is < r. To clarify this, suppose that (Y, d) is a metric space (so the diagonal of Y is the set {(y, z) ∈ Y × Y : d(y, z) = 0}) For any r > 0, let

Ur = {(y, z) ∈ Y × Y : d(y, z) < r}

denote the set of all pairs of points that are r-close. Note that if we were to "forget" that d existed then, for any r > 0, we would still be able to determine whether or not two points of Y are r-close by using only the sets Ur. In this way, the sets Ur encapsulate all the information necessary to define things such as uniform continuity and uniform convergence without needing any metric. Axiomatizing the most basic properties of these sets leads to the definition of a uniformity. Indeed, the sets Ur generate the uniformity that is canonically associated with the metric space (Y, d).

The benefit of this generalization is that we may now extend some important definitions that make sense for metric spaces (e.g. completeness) to a broader category of topological spaces. In particular, to topological groups and topological vector spaces.

A weaker concept is that of even continuity
A set A of continuous functions between two topological spaces X and Y is said to be evenly continuous at xX and yY if given any open set O containing y there are neighborhoods U of x and V of y such that f[U] ⊆ O whenever f(x) ∈ V. It is evenly continuous at x if it is evenly continuous at x and y for every yY, and evenly continuous if it is evenly continuous at x for every xX.

Stochastic equicontinuity

edit

Stochastic equicontinuity is a version of equicontinuity used in the context of sequences of functions of random variables, and their convergence.[17]

See also

edit

Notes

edit
  1. ^ More generally, on any compactly generated space; e.g., a first-countable space.
  2. ^ Rudin 1991, p. 44 §2.5.
  3. ^ Reed & Simon (1980), p. 29; Rudin (1987), p. 245
  4. ^ Reed & Simon (1980), p. 29
  5. ^ Alan F. Beardon, S. Axler, F.W. Gehring, K.A. Ribet : Iteration of Rational Functions: Complex Analytic Dynamical Systems. Springer, 2000; ISBN 0-387-95151-2, ISBN 978-0-387-95151-5; page 49
  6. ^ Joseph H. Silverman : The arithmetic of dynamical systems. Springer, 2007. ISBN 0-387-69903-1, ISBN 978-0-387-69903-5; page 22
  7. ^ Narici & Beckenstein 2011, pp. 133–136.
  8. ^ Rudin 1991, p. 44 Theorem 2.4.
  9. ^ a b c d e Narici & Beckenstein 2011, pp. 225–273.
  10. ^ a b c d Trèves 2006, pp. 335–345.
  11. ^ a b c d e Trèves 2006, pp. 346–350.
  12. ^ Schaefer 1966, Theorem 4.2.
  13. ^ Schaefer 1966, Corollary 4.3.
  14. ^ a b c Schaefer & Wolff 1999, pp. 123–128.
  15. ^ Rudin 1991, p. 394 Appendix A5.
  16. ^ Rudin 1991, p. 18 Theorem 1.23.
  17. ^ de Jong, Robert M. (1993). "Stochastic Equicontinuity for Mixing Processes". Asymptotic Theory of Expanding Parameter Space Methods and Data Dependence in Econometrics. Amsterdam. pp. 53–72. ISBN 90-5170-227-2.{{cite book}}: CS1 maint: location missing publisher (link)

References

edit