nLab simple function

Simple functions

Simple functions

Idea

Simple functions are (almost) the most basic notion of measurable function in measure theory. Given a measure, it's easy to define the integral of a simple function, and we extend this to more general functions by continuity.

Definitions

Let XX be a measurable space. We may want XX to be equipped with some more data; if XX is a measure space, then this is plenty of data. However, for the most basic definitions, it's enough if XX is simply a measurable space. This is the domain of our simple functions.

Another necessary datum is the simple functions' codomain KK, which we will eventually want to be at least a Banach space over the real numbers. (In the simplest example, KK is \mathbb{R} itself, or perhaps the space \mathbb{C} of complex numbers.) We take KK to be a measurable space using its Borel sets.

Definition

A measurable function from XX to KK is simple if its range is finite.

Since a simple function ff is measurable and a singleton is Borel, each fibre of ff is a measurable set in XX; the function ff is given by the (finitely many) nonempty fibres and their (singleton) images. This suggests another way to look at simple functions:

Definition

A simple function from XX to KK is a formal KK-linear combination of measurable subsets of XX.

Here we identify a measurable set AA with its characteristic function χ A\chi_A, so the formal linear combination ic iA i\sum_i c_i A_i is identified with the function ic iχ A i\sum_i c_i \chi_{A_i}, which is measurable and whose range is contained in the finite set of sums of the c ic_i. (If there are nn terms in the linear combination, then there are at most 2 n2^n such sums.)

However, the naïve notion of equality of linear combinations is finer than equality of the corresponding functions, so we must combine Definition with a definition of equality:

Definition

Two simple functions from XX to KK, in the sense of Definition , are equal if their corresponding functions from XX to KK are equal as functions.

Then we have a canonical bijection between the set of simple functions as in Definition and the set of equivalence classes of simple functions as in Definition .

Arguably, even this is not really the correct notion of equality, since functions may be equal for the purpose of integration without being literally equal. If XX is equipped with a σ\sigma-ideal of null sets (or a δ\delta-filter of full sets), then we may consider a yet coarser notion of equality:

Definition

Two simple functions, in the sense of either Definition or Definition , are almost equal if they (or their corresponding functions) are equal almost everywhere.

Sometimes, we wish to restrict attention to those simple functions which we expect to have a finite integral. If XX is equipped with an ideal of bounded sets (which in a measure space are sets with finite measure), then we may do this:

Definition

A simple function of bounded support is a simple function in the sense of Definition such that the fibre over every non-zero number is bounded, or equivalently (in the sense of Definition ) a formal linear combination of bounded measurable sets.

In some approaches to measure theory, one starts with a δ\delta-ring of measurable sets, which may be reinterpreted as the bounded sets in the generated σ\sigma-algebra of relatively measurable sets, and then the simple functions will automatically have bounded support.

Finally, there is one more useful restriction (and slight generalisation) of simple functions, applicable when KK is ordered:

Definition

A positive simple function is a simple function in the sense of Definition whose range is contained in the positive cone K +K^+ of KK, or equivalently (in the sense of Definition ) a formal K +K^+-linear combination of measurable sets. An extended positive simple function (note the red herring) takes values in the extended positive cone K¯ +\bar{K}^+, or equivalently is a K¯ +\bar{K}^+-linear combination.

Integration

Let XX be equipped with a measure μ\mu, so (X,μ)(X,\mu) is a measure space. (In particular, XX has the structure necessary for all of the definitions above, including both Definitions and .)

If ff is a simple function from XX to KK, then we wish to define the integral of ff. In general, this is a little tricky, but it's easy if ff either is positive or has bounded support. It is easiest to write down the definition if we think of simple functions using Definition . Then we have:

Definition

The integral of the simple function ff, represented by the linear combination ic iA i\sum_i c_i A_i, is ic iμ(A i)\sum_i c_i \mu(A_i).

Proposition

The integral of a positive simple function always exists (but may be infinite). It is finite if μ\mu is a finite measure, and it is positive (possibly 00 or \infty) if μ\mu is a positive measure. Also, if μ\mu is positive, then the integral of an extended positive simple function always exists.

(However, the integral of an extended positive simple function with respect to a finite positive measure need not be finite.)

Proposition

The integral of a simple function with bounded support always exists and is finite (being a finite linear combination of finite numbers).

Proposition

Two (positive or with bounded support) simple functions ff and gg are almost equal (with respect to μ\mu) if and only if the integral of fgf - g is zero.

Definition

The L 1L^1-norm of a simple function is the integral of its pointwise norm (which is a positive simple function to \mathbb{R}) with respect to the absolute value of the measure μ\mu (which is a positive measure):

f 1f(x)|μ(dx)|. {\|f\|}_1 \coloneqq \int {\|f(x)\|} {|\mu(\mathrm{d}x)|} .

In this context, we usually start with a positive measure μ\mu; in that case, of course, there is no need to bother taking the absolute value of μ\mu.

Proposition

The simple functions of bounded support form a normed vector space Simp cSimp_c under the L 1L^1-norm, if we consider them up to almost equality.

If we don't use almost equality, then we get in general only a seminorm, but if we pass to a quotient space with a norm, then Proposition tells us that we are now using almost equality (and shows that Definition is well defined when applied to Definition ).

Definition

The completion of the normed vector space Simp cSimp_c (under the L 1L^1-norm) is the Banach space L 1L^1 of absolutely integrable functions (an example of a Lebesgue space).

Proposition

Taking the integral of a simple function of bounded support is a continuous linear functional on Simp cSimp_c, so it extends to all of L 1L^1.

In this way, we may define the integral of any absolutely integrable function.

There might be some technical requirements for this to be true. I'll try to check on that.

Last revised on January 9, 2013 at 00:33:08. See the history of this page for a list of all contributions to it.