Sources
Help build the largest human-edited directory on the web.
Submit a site - Become an editor
Wikipedia. Licensed under the GNU Free Documentation License.
Are you an expert in this subject? Join the discussion and share your knowledge at Wikipedia.org.
Simple function
From Wikipedia, the free encyclopedia
In mathematics, especially in mathematical analysis, a simple function is a measurable function whose range is finite.
Simple functions are used as a first stage in the development of theories of integration, such as the Lebesgue integral, due to the fact that it is very easy to create a definition of an integral for a simple function, and also, it is straightforward to approximate more general functions by sequences of simple functions.
Contents |
Consider a function of a real variable x. Define f(x) = 0 when x is 0, f(x)=−1 when x is negative, and f(x)=1 when x is positive. Then f is a simple function, since its range is {-1, 0, 1}, which is a finite set, and one can check that this function is measurable on the usual space of Lebesgue measurable sets.
Another example is the indicator function of the rational numbers, which takes the value 1 on the measurable set 
and the value 0 on the measurable set 
Formally, a simple function is a finite linear combination of indicator functions of measurable sets. More precisely, let (X, Σ) be a measurable space. Let A1, ..., An ∈ Σ be a sequence of measurable sets, and let a1, ..., an be a sequence of real or complex numbers. A simple function is a function of the form
By definition, sum, difference, and product of two simple functions is again a simple function, as well multiplication by constant, hence it follows that the collection of all simple functions forms a commutative algebra over the complex field.
For the development of a theory of integration, the following result is important. Any non-negative measurable function 
is the pointwise limit of a monotonic increasing sequence of non-negative simple functions. Indeed, let f be a non-negative measurable function defined over a measure space 
. For each 
, we subdivide the range of f into 22n + 1 intervals of length 2 − n. We set 
for 
and ![I_{n,2^{2n}+1}=[2^n,\infty]](../../../math/8/9/0/89099e9bc96cbd3ccf7c5886ce0811f9.png)
. We define the measurable sets An,k = f − 1(In,k) for 
. Then the increasing sequence of simple functions 
converges pointwise to f as 
.
Note that when f is bounded the convergence is uniform.
If a measure μ is defined on the space (X,Σ), the integral of f with respect to μ is
if all summands are finite.
- J. F. C. Kingman, S. J. Taylor. Introduction to Measure and Probability, 1966, Cambridge.
- S. Lang. Real and Functional Analysis, 1993, Springer-Verlag.
- W. Rudin. Real and Complex Analysis, 1987, McGraw-Hill.
- H. L. Royden. Real Analysis, 1968, Collier Macmillan.
