Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In Folland's Real analysis, two of properties of measures are stated as follows:

Let $(X,\mathcal{M}, \mu)$ be a measure space.

Continuity from below: If $\{E_j\}_1^{\infty} \subset \mathcal{M}$ and $E_1 \subset E_2 \subset \cdots$, then $\mu(\bigcup_1^{\infty} E_j) = \lim_{j \to \infty} \mu(E_j)$

Similarly,

Continuity from above: If $\{E_j\}_1^{\infty} \subset \mathcal{M}$, $E_1 \supset E_2 \supset \cdots$ and $\mu(E_1) < \infty$. Then $\mu(\bigcap_1^{\infty} E_j) = \lim_{j \to \infty} \mu(E_j)$

I do not understand the point of these statements. How they are related to continuity for example?

share|improve this question
    
OK, thank you :) I added $\mu(E_1) < \infty$. –  Deniz Nov 10 '12 at 17:22
1  
It's reasonable for a continuous increasing function $f$ with real values, defined on the real line, to have $f(t_n)\uparrow f(t)$ when $t_n\uparrow t$ and $f(t_n)\downarrow f(t)$ when $t_n\downarrow t$. As a measure can take possibly infinite values, we have to be careful in this context, but that's the idea. –  Davide Giraudo Nov 10 '12 at 17:48
    
Aside the word "continuity", what else exactly are you not understanding in these statements? –  Thomas E. Nov 10 '12 at 19:21

1 Answer 1

up vote 3 down vote accepted

It's reasonable for a continuous increasing function $f$ with real values, defined on the real line, to have $f(t_n)\uparrow f(t)$ when $t_n\uparrow t$ and $f(t_n)\downarrow f(t)$ when $t_n\downarrow t$. As a measure can take possibly infinite values, we have to be careful in this context, but that's the idea.

The set functions $\mu\colon\cal M\to \overline{\Bbb R}_+$ is increasing in the sense that if $A\subset B$ then $\mu(A)\subset \mu(B)$. If $A_n\uparrow A$, then $\mu(A_n)\uparrow \mu(A)$.

We have to assumed that at least a set in $\{B_n\}$ is of finite measure in the case of decreasing sequence, to avoid counter-examples likes $X=\Bbb R$ with Lebesgue measure and $B_n=[n,+\infty)$ (like if we had a function defined on the real line with values in $\overline{\Bbb R}_+$ and such that $f(x)=0$ if $x\leqslant 0$, $f(x)=+\infty$ otherwise).

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.