PlanetMath: properties for measure

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (200)
Orphanage
Unclass'd
Unproven (511)
Corrections (9)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

properties for measure

(Theorem)

Theorem [1,2,3,4] Let $(E,\mathcal{B},\mu)$ be a measure space, i.e., let be a set, let $\mathcal{B}$ be a $\sigma$ -algebra of sets in , and let $\mu$ be a measure on $\mathcal{B}$ . Then the following properties hold:

Monotonicity: If $A,B\in \mathcal{B}$ , and $A\subset B$ , then $\mu(A)\le \mu(B)$ .
If in $\mathcal{B}$ , $A\subset B$ , and $\mu(A)< \infty$ , then
$\displaystyle \mu(B\setminus A) = \mu(B)-\mu(A).$
For any in $\mathcal{B}$ , we have
$\displaystyle \mu(A\cup B)+\mu(A\cap B) = \mu(A) + \mu(B).$
Subadditivity: If $\{A_i\}_{i=1}^\infty$ is a collection of sets from $\mathcal{B}$ , then
$\displaystyle \mu\big(\bigcup_{i=1}^\infty A_i\big) \le \sum_{i=1}^\infty \mu(A_i).$
Continuity from below: If $\{A_i\}_{i=1}^\infty$ is a collection of sets from $\mathcal{B}$ such that $A_i\subset A_{i+1}$ for all , then
$\displaystyle \mu\big(\bigcup_{i=1}^\infty A_i\big) = \lim_{i\to \infty} \mu(A_i).$
Continuity from above: If $\{A_i\}_{i=1}^\infty$ is a collection of sets from $\mathcal{B}$ such that $\mu(A_1)<\infty$ , and $A_i\supset A_{i+1}$ for all , then
$\displaystyle \mu\big(\bigcap_{i=1}^\infty A_i\big) = \lim_{i\to \infty} \mu(A_i).$

Remarks In (2), the assumption $\mu(A)<\infty$ assures that the right hand side is always well defined, i.e., not of the form $\infty-\infty$ . Without the assumption we can prove that $\mu(B) = \mu(A) + \mu(B\setminus A)$ (see below). In (3), it is tempting to move the term $\mu(A\cap B)$ to the other side for aesthetic reasons. However, this is only possible if the term is finite.

Proof. For (1), suppose $A\subset B$ . We can then write as the disjoint union $B=A\cup (B\setminus A)$ , whence

$\displaystyle \mu(B) = \mu(A\cup (B\setminus A)) = \mu(A) + \mu(B\setminus A).$

Since $\mu(B\setminus A)\ge 0$ , the claim follows. Property (2) follows from the above equation; since $\mu(A)<\infty$ , we can subtract this quantity from both sides. For property (3), we can write $A\cup B =A\cup (B\setminus A)$ , whence

$\displaystyle \mu(A\cup B)$	$\displaystyle =$	$\displaystyle \mu(A)+\mu(B\setminus A)$
	$\displaystyle \le$	$\displaystyle \mu(A)+\mu(B).$

If $\mu(A\cup B)$ is infinite, the last inequality must be equality, and either of $\mu(A)$ or $\mu(B)$ must be infinite. Together with (1), we obtain that if any of the quantities $\mu(A), \mu(B), \mu(A\cap B)$ or $\mu(A\cup B)$ is infinite, both sides in the equation are infinite and the claim holds. We can therefore without loss of generality assume that all quantities are finite. From $A\cup B = B\cup (A\setminus B)$ , we have

$\displaystyle \mu(A\cup B) = \mu(B)+\mu(A\setminus B)$

and thus

$\displaystyle 2\mu(A\cup B) = \mu(A)+ \mu(B) + \mu(A\setminus B) + \mu(B\setminus A).$

For the last two terms we have

$\displaystyle \mu(A\setminus B) + \mu(B\setminus A)$	$\displaystyle =$	$\displaystyle \mu( (A\setminus B) \cup (B\setminus A))$
	$\displaystyle =$	$\displaystyle \mu( (A\cup B) \setminus (A\cap B) )$
	$\displaystyle =$	$\displaystyle \mu(A\cup B) - \mu(A\cap B),$

where, in the second equality we have used properties for the symmetric set difference, and the last equality follows from property (2). This completes the proof of property (3). For property (4), let us define the sequence $\{D_i\}_{i=1}^\infty$ as

$\displaystyle D_1 = A_1, \,\,\,\,\,\,\,\, D_i = A_i \setminus \bigcup_{k=1}^{i-1} A_k .$

Now $D_i\cap D_j=\emptyset$ for

, so $\{D_i\}$ is a sequence of disjoint sets. Since $\cup_{i=1}^\infty D_i =\cup_{i=1}^\infty A_i$ , and since $D_i\subset A_i$ , we have

$\displaystyle \mu(\bigcup_{i=1}^\infty A_i)$	$\displaystyle =$	$\displaystyle \mu(\bigcup_{i=1}^\infty D_i)$
	$\displaystyle =$	$\displaystyle \sum_{i=1}^\infty \mu(D_i)$
	$\displaystyle \le$	$\displaystyle \sum_{i=1}^\infty \mu(A_i),$

and property (4) follows.

TODO: proofs for (5)-(6).

Bibliography

1: G.B. Folland, Real Analysis: Modern Techniques and Their Applications, 2nd ed, John Wiley & Sons, Inc., 1999.
2: A. Mukherjea, K. Pothoven, Real and Functional analysis, Plenum press, 1978.
3: D.L. Cohn, Measure Theory, Birkhäuser, 1980.
4: A. Friedman, Foundations of Modern Analysis, Dover publications, 1982.

Anyone with an account can edit this entry. Please help improve it!

"properties for measure" is owned by matte. [ full author list (2) | owner history (1) ]

(view preamble)

This object's parent.

Log in to rate this entry.
(view current ratings)

Cross-references: disjoint, sequence, completes, without loss of generality, equality, inequality, infinite, equation, disjoint union, proof, finite, side, term, well defined, right hand side, collection, subadditivity, monotonicity, properties, measure, measure space
There are 3 references to this entry.

This is version 5 of properties for measure, born on 2003-07-16, modified 2006-09-13.
Object id is 4460, canonical name is PropertiesForMeasure.
Accessed 3525 times total.

Classification:

AMS MSC:	28A10 (Measure and integration :: Classical measure theory :: Real- or complex-valued set functions)
	60A10 (Probability theory and stochastic processes :: Foundations of probability theory :: Probabilistic measure theory)

Pending Errata and Addenda

None.[ View all 2 ]

Discussion

forum policy

No messages.

Interact