Regulated function

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:

\| f - \varphi_{\delta} \|_{\infty} = \sup_{t \in [0, T]} \| f(t) - \varphi_{\delta} (t) \|_{X} < \delta;

Properties of regulated functions

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

\mathrm{Reg}([0, T]; X) = \overline{\mathrm{BV} ([0, T]; X)} \mbox{ w.r.t. } \| \cdot \|_{\infty}.
\mathrm{Reg}([0, T]; X) = \bigcup_{\varphi} \mathrm{BV}_{\varphi} ([0, T]; X).

References

This article is issued from Wikipedia - version of the Thursday, March 24, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.