Regulated function

From Wikipedia, the free encyclopedia

In mathematics, a regulated function (or ruled function) is a "well-behaved" function of a single real variable. Regulated functions arise as a class of integrable functions, and have several equivalent characterisations. Regulated functions were introduced by Georg Aumann in 1954; the corresponding regulated integral was promoted by the Bourbaki group, including Jean Dieudonné.

Definition

Let X be a Banach space with norm || - ||X. A function f : [0, T] X is said to be a regulated function if one (and hence both) of the following two equivalent conditions holds true (Dieudonné 1969, §7.6):

It requires a little work to show that these two conditions are equivalent. However, it is relatively easy to see that the second condition may be re-stated in the following equivalent ways:

  • for every δ > 0, there is some step function φδ : [0, T] X such that
\|f-\varphi _{{\delta }}\|_{{\infty }}=\sup _{{t\in [0,T]}}\|f(t)-\varphi _{{\delta }}(t)\|_{{X}}<\delta ;
  • f lies in the closure of the space Step([0, T]; X) of all step functions from [0, T] into X (taking closure with respect to the supremum norm in the space B([0, T]; X) of all bounded functions from [0, T] into X).

Properties of regulated functions

Let Reg([0, T]; X) denote the set of all regulated functions f : [0, T] X.

  • Sums and scalar multiples of regulated functions are again regulated functions. In other words, Reg([0, T]; X) is a vector space over the same field K as the space X; typically, K will be the real or complex numbers. If X is equipped with an operation of multiplication, then products of regulated functions are again regulated functions. In other words, if X is a K-algebra, then so is Reg([0, T]; X).
  • The supremum norm is a norm on Reg([0, T]; X), and Reg([0, T]; X) is a topological vector space with respect to the topology induced by the supremum norm.
  • As noted above, Reg([0, T]; X) is the closure in B([0, T]; X) of Step([0, T]; X) with respect to the supremum norm.
  • If X is a Banach space, then Reg([0, T]; X) is also a Banach space with respect to the supremum norm.
  • Reg([0, T]; R) forms an infinite-dimensional real Banach algebra: finite linear combinations and products of regulated functions are again regulated functions.
  • Since a continuous function defined on a compact space (such as [0, T]) is automatically uniformly continuous, every continuous function f : [0, T] X is also regulated. In fact, with respect to the supremum norm, the space C0([0, T]; X) of continuous functions is a closed linear subspace of Reg([0, T]; X).
{\mathrm  {Reg}}([0,T];X)=\overline {{\mathrm  {BV}}([0,T];X)}{\mbox{ w.r.t. }}\|\cdot \|_{{\infty }}.
  • If X is a Banach space, then a function f : [0, T] X is regulated if and only if it is of bounded φ-variation for some φ:
{\mathrm  {Reg}}([0,T];X)=\bigcup _{{\varphi }}{\mathrm  {BV}}_{{\varphi }}([0,T];X).
  • If X is a separable Hilbert space, then Reg([0, T]; X) satisfies a compactness theorem known as the Fraňková-Helly selection theorem.
  • The set of discontinuities of a regulated function is countable: to see this it is sufficient to note that given \epsilon >0, the set of points at which the right and left limits differ by more than \epsilon is finite. In particular, the discontinuity set has measure zero, from which it follows that a regulated function has a well-defined Riemann integral.
  • The integral, as defined on step functions in the obvious way, extends naturally to Reg([0, T]; X) by defining the integral of a regulated function to be the limit of the integrals of any sequence of step functions converging uniformly to it. This extension is well-defined and satisfies all of the usual properties of an integral. In particular, the regulated integral
    • is a bounded linear function from Reg([0, T]; X) to X; hence, in the case X = R, the integral is an element of the space that is dual to Reg([0, T]; R);
    • agrees with the Riemann integral.

References

  • Aumann, Georg (1954), Reelle Funktionen, Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Bd LXVIII (in German), Berlin: Springer-Verlag, pp. viii+416  MR 0061652
  • Dieudonné, Jean (1969), Foundations of Modern Analysis, Academic Press, pp. xviii+387  MR 0349288
  • Fraňková, Dana (1991), "Regulated functions", Math. Bohem. 116 (1): 20–59, ISSN 0862-7959  MR 1100424
  • Gordon, Russell A. (1994), The Integrals of Lebesgue, Denjoy, Perron, and Henstock, Graduate Studies in Mathematics, 4, Providence, RI: American Mathematical Society, pp. xii+395, ISBN 0-8218-3805-9  MR 1288751
  • Lang, Serge (1985), Differential Manifolds (Second ed.), New York: Springer-Verlag, pp. ix+230, ISBN 0-387-96113-5  MR 772023
This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.