Equicontinuity

Equicontinuity

In mathematical analysis, a family of functions is equicontinuous if all the functions are continuous and they have equal variation over a given neighbourhood (a precise definition appears below). More generally, "equicontinuous" applies to any collection ("family") of functions (not necessarily in a sequence).

If a sequence of continuous functions converges pointwise, then the limit is not necessarily continuous (a counterexample is given by the family defined by "f""n"("x") = arctan "nx", which converges to a multiple of the discontinuous sign function). However, if the sequence is equicontinuous, then we can conclude that the limit is continuous.

Definitions

Let "X" and "Y" be two metric spaces, and "F" a family of functions from "X" → "Y".

The family "F" is equicontinuous at a point "x"0 &isin; "X" if for every ε > 0, there exists a δ > 0, such that "d"("f"("x"0), "f"("x")) < ε for all "f" &isin; "F" and all "x" such that "d"("x"0, "x") < δ. The family is equicontinuous if it is equicontinuous at each point of "X".

The sequence "F" is uniformly equicontinuous if for every ε > 0, there exists a δ > 0, "d"("f"("x"1), "f"("x"2)) < ε for all "f" &isin; "F" and all "x"1, "x"2 &isin; "X" such that "d"("x"1, "x"2) < δ.

For comparison, the statement 'all functions "f" in "F" are continuous' means that for every ε > 0, every "f" &isin; "F", and every "x"0 ∈ X, there exists a δ > 0, such that "d"("f"("x"0), "f"("x")) < ε for all "x" &isin; "X" such that "d"("x"0, "x") < δ. So, for continuity, δ may depend on ε, "x" and "f"; for equicontinuity, δ must be independent of "f"; and for uniform equicontinuity, δ must be independent of both "f" and "x".

Properties

As promised in the introduction, the limit of a pointwise convergent, equicontinuous sequence is continuous.

Theorem 1: Let {"f""n"} be an equicontinuous sequence of functions. If "f""n"("x") → "f"("x") for every "x" ∈ "X", then the function "f" is continuous.

The condition in the above theorem can be slightly weakened. It suffices if the sequence converges pointwise on a dense subset.

Theorem 2: Let {"f""n"} be an equicontinuous sequence of functions from "X" ⊂ R to R. Suppose that "f""n"("x") converges for all "x" ∈ "D", where "D" is a dense subset of "X". Then, "f""n"("x") converges for all "x" ∈ "X", and the limit function is continuous.

If the domain of the functions "f""n" is the closed interval [0, 1] , we can say a bit more. Firstly, the properties of equicontinuity and uniform equicontinuity are equivalent.

Theorem 3: Every equicontinuous sequence of functions from [0, 1] to R is uniformly equicontinuous.

Furthermore, equicontinuity and pointwise convergence imply uniform convergence.

Theorem 4: Let {"f""n"} be an equicontinuous sequence of functions from [0, 1] to R. If "f""n"("x") → "f"("x") for every "x" ∈ [0, 1] , then "f""n"("x") → "f"("x") uniformly in "x".

The final result can be viewed as a generalization of the Bolzano-Weierstrass theorem to functions.

Ascoli's theorem: Let {"f""n"} be an equicontinuous sequence of uniformly bounded functions from [0, 1] to R. Then there is a subsequence which converges uniformly.

The term "uniformly bounded" means that |"f""n"("x")| < "C" for some "C", independent of "x" and "n".

More generally, any pointwise bounded, equicontinuous sequence of complex-valued functions defined on a compact space K is uniformly bounded on "K" and contains a uniformly convergent subsequence.

Theorem 5: Let "K" be a compact metric space, and let "S" be a collection of complex-valued functions on "K". Then with respect to the uniform norm, "S" is compact if and only if "S" is (uniformly) closed, pointwise bounded, and equicontinuous. (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.)

Generalizations

The definition for equicontinuity generalizes to functions between arbitrary metric spaces. Suppose that {"f""n"} is a sequence of functions from "X" to "Y". This sequence is equicontinuous if for every ε > 0 and every "x" ∈ X, there exists a δ, such that for all "n" and all "x"&prime; ∈ X with "d""X"("x", "x"&prime;) < δ we have "d""Y"("f""n"("x"), "f""n"("x"&prime;)) < ε, where "d""X" and "d""Y" denote the metrics on "X" and "Y", respectively. The definition for uniform equicontinuity can be generalized in the same manner.

Theorem 1 is still valid in this setting, but Theorem 2 only holds if the codomain "Y" is complete.

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 "x" ∈ "X" and "y" ∈ "Y" if for any open set "O" about "y", there are neighborhoods "U" of "x" and "V" of "y" such that for every "f" ∈ "A", if the intersection of "f" ["U"] and "V" is nonempty, "f"("U") ⊆ "O". One says "A" is said to be topologically equicontinuous at "x" ∈ "X" if it is topologically equicontinuous at "x" and "y" for each "y" ∈ "Y". Finally, "A" is equicontinuous if it is equicontinuous at "x" for all points "x" ∈ "X".

: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 &times; X": for all "f" ∈ "A". ("f"("u"),"f"("v")) ∈ "W" }:is a member of the uniformity on "X"

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 "x" ∈ "X" and "y" ∈ "Y" 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 "y" ∈ "Y", and evenly continuous if it is evenly continuous at "x" for every "x" ∈ "X".

For metric spaces, there are standard topologies and uniform structures derived from the metrics, and then these general definitions are equivalent to the metric-space definitions.Fact|date=February 2007


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • equicontinuity — noun The condition of being equicontinuous …   Wiktionary

  • Arzelà–Ascoli theorem — In mathematics, the Arzelà–Ascoli theorem of functional analysis gives necessary and sufficient conditions to decide whether every subsequence of a given sequence of real valued continuous functions defined on a closed and bounded interval has a… …   Wikipedia

  • Alexandra Bellow — (1935 ndash;) is a mathematician who has made substantial contributions to the fields of ergodic theory, probability and analysis. BiographyShe was born in Bucharest, Romania, as Alexandra Bagdasar. Her parents were both physicians. Her mother,… …   Wikipedia

  • Continuous function — Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables Implicit differentiation Taylor s theorem Related rates …   Wikipedia

  • Fredholm integral equation — In mathematics, the Fredholm integral equation is an integral equation whose solution gives rise to Fredholm theory, the study of Fredholm kernels and Fredholm operators. The integral equation was studied by Ivar Fredholm. Equation of the first… …   Wikipedia

  • Compact operator — In functional analysis, a branch of mathematics, a compact operator is a linear operator L from a Banach space X to another Banach space Y, such that the image under L of any bounded subset of X is a relatively compact subset of Y. Such an… …   Wikipedia

  • Consistent estimator — {T1, T2, T3, …} is a sequence of estimators for parameter θ0, the true value of which is 4. This sequence is consistent: the estimators are getting more and more concentrated near the true value θ0; at the same time, these estimators are biased.… …   Wikipedia

  • List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… …   Wikipedia

  • Giulio Ascoli — (January 20, 1843 ndash; July 12, 1896), was an Italian Jewish mathematician who taught at the Politecnico di Milano university. He made contributions to the theory of functions of a real variable and to Fourier series. For example, Ascoli… …   Wikipedia

  • equicontinuous — adjective Describing a neighbourhood of functions, all of which are continuous See Also: equicontinuity …   Wiktionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”