In mathematics, the regulated integral is a definition of integration for regulated functions, which are defined to be uniform limits of step functions. The use of the regulated integral instead of the Riemann integral has been advocated by Nicolas Bourbaki and Jean Dieudonné.
Definition
Definition on step functions
Let [a, b] be a fixed closed, bounded interval in the real line R. A real-valued function φ : [a, b] → R is called a step function if there exists a finite partition
\( \Pi = \{ a = t_0 < t_1 < \cdots < t_k = b \} \)
of [a, b] such that φ is constant on each open interval (ti, ti+1) of Π; suppose that this constant value is ci ∈ R. Then, define the integral of a step function φ to be
\( \int_a^b \varphi(t) \, \mathrm{d} t := \sum_{i = 0}^{k - 1} c_i | t_{i + 1} - t_i |. \)
It can be shown that this definition is independent of the choice of partition, in that if Π1 is another partition of [a, b] such that φ is constant on the open intervals of Π1, then the numerical value of the integral of φ is the same for Π1 as for Π.
Extension to regulated functions
A function f : [a, b] → R is called a regulated function if it is the uniform limit of a sequence of step functions on [a, b]:
there is a sequence of step functions (φn)n∈N such that || φn − f ||∞ → 0 as n → ∞; or, equivalently,
for all ε > 0, there exists a step function φε such that || φε − f ||∞ < ε; or, equivalently,
f lies in the closure of the space of step functions, where the closure is taken in the space of all bounded functions [a, b] → R and with respect to the supremum norm || - ||∞; or equivalently,
for every t ∈ [a, b), the right-sided limit
\( f(t+) = \lim_{s \downarrow t} f(s) \)
exists, and, for every t ∈ (a, b], the left-sided limit
\( f(t-) = \lim_{s \uparrow t} f(s)
exists as well.
Define the integral of a regulated function f to be
\( \int_{a}^{b} f(t) \, \mathrm{d} t := \lim_{n \to \infty} \int_{a}^{b} \varphi_{n} (t) \, \mathrm{d} t, \)
where (φn)n∈N is any sequence of step functions that converges uniformly to f.
One must check that this limit exists and is independent of the chosen sequence, but this is an immediate consequence of the continuous linear extension theorem of elementary functional analysis: a bounded linear operator T0 defined on a dense linear subspace E0 of a normed linear space E and taking values in a Banach space F extends uniquely to a bounded linear operator T : E → F with the same (finite) operator norm.
Properties of the regulated integral
The integral is a linear operator: for any regulated functions f and g and constants α and β,
\( \int_{a}^{b} \alpha f(t) + \beta g(t) \, \mathrm{d} t = \alpha \int_{a}^{b} f(t) \, \mathrm{d} t + \beta \int_{a}^{b} g(t) \, \mathrm{d} t. \)
The integral is also a bounded operator: every regulated function f is bounded, and if m ≤ f(t) ≤ M for all t ∈ [a, b], then
\( m | b - a | \leq \int_{a}^{b} f(t) \, \mathrm{d} t \leq M | b - a |. \)
In particular:
\( \left| \int_{a}^{b} f(t) \, \mathrm{d} t \right| \leq \int_{a}^{b} | f(t) | \, \mathrm{d} t. \)
Since step functions are integrable and the integrability and the value of a Riemann integral are compatible with uniform limits, the regulated integral is a special case of the Riemann integral.
Extension to functions defined on the whole real line
It is possible to extend the definitions of step function and regulated function and the associated integrals to functions defined on the whole real line. However, care must be taken with certain technical points:
the partition on whose open intervals a step function is required to be constant is allowed to be a countable set, but must be a discrete set, i.e. have no limit points;
the requirement of uniform convergence must be loosened to the requirement of uniform convergence on compact sets, i.e. closed and bounded intervals;
not every bounded function is integrable (e.g. the function with constant value 1). This leads to a notion of local integrability.
Extension to vector-valued functions
The above definitions go through mutatis mutandis in the case of functions taking values in a normed vector space X.
See also
Lebesgue integral
Riemann integral
References
Berberian, S.K. (1979). "Regulated Functions: Bourbaki's Alternative to the Riemann Integral". The American Mathematical Monthly. Mathematical Association of America. 86 (3): 208. doi:10.2307/2321526. JSTOR 2321526.
Gordon, Russell A. (1994). The integrals of Lebesgue, Denjoy, Perron, and Henstock. Graduate Studies in Mathematics, 4. Providence, RI: American Mathematical Society. ISBN 0-8218-3805-9.
vte
Integrals
Types of integrals
Riemann integral Lebesgue integral Burkill integral Bochner integral Daniell integral Darboux integral Henstock–Kurzweil integral Haar integral Hellinger integral Khinchin integral Kolmogorov integral Lebesgue–Stieltjes integral Pettis integral Pfeffer integral Riemann–Stieltjes integral Regulated integral
Integration methods
By parts Substitution Inverse functions Changing order Trigonometric substitution Euler substitution Weierstrass substitution Partial fractions Reduction formulas Parametric derivatives Euler's formula Differentiation under the integral sign Contour integration Numerical integration
Improper integrals
Gaussian integral Dirichlet integral Fermi–Dirac integral
complete incomplete Bose–Einstein integral Frullani integral Common integrals in quantum field theory
Stochastic integrals
Itô integral Russo–Vallois integral Stratonovich integral Skorokhod integral
vte
Functional analysis (topics – glossary)
Spaces
Hilbert space Banach space Fréchet space topological vector space
Theorems
Hahn–Banach theorem closed graph theorem uniform boundedness principle Kakutani fixed-point theorem Krein–Milman theorem min-max theorem Gelfand–Naimark theorem Banach–Alaoglu theorem
Operators
bounded operator compact operator adjoint operator unitary operator Hilbert–Schmidt operator trace class unbounded operator
Algebras
Banach algebra C*-algebra spectrum of a C*-algebra operator algebra group algebra of a locally compact group von Neumann algebra
Open problems
invariant subspace problem Mahler's conjecture
Applications
Besov space Hardy space spectral theory of ordinary differential equations heat kernel index theorem calculus of variation functional calculus integral operator Jones polynomial topological quantum field theory noncommutative geometry Riemann hypothesis
Advanced topics
locally convex space approximation property balanced set Schwartz space weak topology barrelled space Banach–Mazur distance Tomita–Takesaki theory
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
