## Abstract

Suppose that Σ is a field of subsets of the set S, and suppose that μ and γ are complex-valued finitely additive set functions defined on Σ. Assume that μ is bounded and γ is finite and absolutely continuous with respect to μ. (A word of warning is in order here. The statement “γ is absolutely continuous with respect to μ” is often interpreted as “μ(E) = 0 implies γ(E) = 0”. This is not the meaning used here. Our definition is “for every ε > 0 there is a ε > 0 such that |μ(E)| < δ implies |γ(E)| < ε.” Unless μ is bounded and countably additive, the two definitions are not equivalent.) THEOREM 1. There exists a sequence {f_{n}} of μ-simple functions on S, such that uniformly for E∈Σ where v(μ) is the total variation of μ. Theorem 1 is established by a pure existence proof, and gives no indication of how to find f_{n}. A more constructive result is given below. A partition of S is a finite collection of sets E_{i} belonging to Σ, such that S is the disjoint union of the E_{i}, and such that μ(E_{i}) ≠ 0, i = 1,···, n. The set P of partitions may be directed by refinement, that is, by the following partial order: P_{1} < P_{2} if for every E∈P_{1} there exist F_{1},···, F_{r}∈P_{2} (r may depend on E) such that E and differ by a μ-null set. If P is a partition of S, define the μ-simple function to be, where x_{E} is the characteristic function of E. THEOREM 2. If μ is positive, then uniformly for E ∈ Σ, where P is directed as explained above.

Original language | English (US) |
---|---|

Pages (from-to) | 35-45 |

Number of pages | 11 |

Journal | Pacific Journal of Mathematics |

Volume | 23 |

Issue number | 1 |

DOIs | |

State | Published - Oct 1967 |

## All Science Journal Classification (ASJC) codes

- General Mathematics