Cauchy-continuous function

Cauchy-continuous function

In mathematics, a Cauchy-continuous, or Cauchy-regular, function is a special kind of continuous function between metric spaces (or more general spaces). Cauchy-continuous functions have the useful property that they can always be (uniquely) extended to the Cauchy completion of their domain.

Definition

Let X and Y be metric spaces, and let f be a function from X to Y. Then f is Cauchy-continuous if and only if, given any Cauchy sequence (x1, x2, …) in X, the sequence (f(x1), f(x2), …) is a Cauchy sequence in Y.

Properties

Every uniformly continuous function is also Cauchy-continuous, and any Cauchy-continuous function is continuous. Conversely, if X is a complete space, then every continuous function on X is Cauchy-continuous too. More generally, even if X is not complete, as long as Y is complete, then any Cauchy-continuous function from X to Y can be extended to a function defined on the Cauchy completion of X; this extension is necessarily unique.

Examples and non-examples

Since the real line ℝ is complete, the Cauchy-continuous functions on ℝ are the same as the continuous ones. On the subspace ℚ of rational numbers, however, matters are different. For example, define a two-valued function so that f(x) is 0 when x2 is less than 2 but 1 when x2 is greater than 2. (Note that x2 is never equal to 2 for any rational number x.) This function is continuous on ℚ but not Cauchy-continuous, since it can't be extended to ℝ. On the other hand, any uniformly continuous function on ℚ must be Cauchy-continuous. For a non-uniform example on ℚ, let f(x) be 2x; this is not uniformly continuous (on all of ℚ), but it is Cauchy-continuous.

A Cauchy sequence (y1, y2, …) in Y can be identified with a Cauchy-continuous function from {1, 1/2, 1/3, …} to Y, defined by f(1/n) = yn. If Y is complete, then this can be extended to {1, 1/2, 1/3, …, 0}; f(0) will be the limit of the Cauchy sequence.

Generalisations

Cauchy continuity makes sense in situations more general than metric spaces, but then one must move from sequences to nets (or equivalently filters). The definition above applies, as long as the Cauchy sequence (x1, x2, …) is replaced with an arbitrary Cauchy net. Equivalently, a function f is Cauchy-continuous if and only if, given any Cauchy filter F on X, then f(F) is a Cauchy filter on Y. This definition agrees with the above on metric spaces, but it also works for uniform spaces and, most generally, for Cauchy spaces.

Any directed set A may be made into a Cauchy space. Then given any space Y, the Cauchy nets in Y indexed by A are the same as the Cauchy-continuous functions from A to Y. If Y is complete, then the extension of the function to A ∪ {∞} will give the value of the limit of the net. (This generalises the example of sequences above, where 0 is to be interpreted as 1/∞.)

References

* Eva Lowen-Colebunders (1989). Function Classes of Cauchy Continuous Maps. Dekker, New York.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • 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

  • Cauchy space — In general topology and analysis, a Cauchy space is a generalization of metric spaces and uniform spaces for which the notion of Cauchy convergence still makes sense. Cauchy spaces were introduced by H. H. Keller in 1968, as an axiomatic tool… …   Wikipedia

  • Cauchy-Riemann equations — In mathematics, the Cauchy Riemann differential equations in complex analysis, named after Augustin Cauchy and Bernhard Riemann, are two partial differential equations which provide a necessary and sufficient condition for a differentiable… …   Wikipedia

  • Cauchy formula for repeated integration — The Cauchy formula for repeated integration allows one to compress n antidifferentiations of a function into a single integral.calar caseLet f be a continuous function on the real line. Then the n^{th} antidifferentiation of f,:f^{ [n] }(x) = int …   Wikipedia

  • Continuous functions on a compact Hausdorff space — In mathematical analysis, and especially functional analysis, a fundamental role is played by the space of continuous functions on a compact Hausdorff space with values in the real or complex numbers. This space, denoted by C(X), is a vector… …   Wikipedia

  • Cauchy's functional equation — is one of the simplest functional equations to represent, however its solution over the real numbers is extremely complicated. The equation is : f(x+y)=f(x)+f(y). Over the rational numbers, it can be shown using elementary algebra that there is a …   Wikipedia

  • Cauchy distribution — Not to be confused with Lorenz curve. Cauchy–Lorentz Probability density function The purple curve is the standard Cauchy distribution Cumulative distribution function …   Wikipedia

  • Cauchy's integral formula — In mathematics, Cauchy s integral formula, named after Augustin Louis Cauchy, is a central statement in complex analysis. It expresses the fact that a holomorphic function defined on a disk is completely determined by its values on the boundary… …   Wikipedia

  • Cauchy's integral theorem — In mathematics, the Cauchy integral theorem in complex analysis, named after Augustin Louis Cauchy, is an important statement about line integrals for holomorphic functions in the complex plane. Essentially, it says that if two different paths… …   Wikipedia

  • Cauchy sequence — In mathematics, a Cauchy sequence, named after Augustin Cauchy, is a sequence whose elements become arbitrarily close to each other as the sequence progresses. To be more precise, by dropping enough (but still only a finite number of) terms from… …   Wikipedia

Share the article and excerpts

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