Tell me more ×
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.
up vote 2 down vote favorite

If $\{B_n\}_{n=1}^{\infty}$ is a descending collection of sets and $m(B_1)<\infty$, then $$m\left(\bigcap\limits_{n=1}^{\infty}B_k\right)=\lim\limits_{k\rightarrow \infty} m(B_k).$$

Why is it necessary to have $m(B_1)<\infty$?

share|improve this question
2  
It isn’t necessary to have $m(B_1)<\infty$, but it is necessary to have $m(B_k)<\infty$ for some $k$. – Brian M. Scott Oct 1 '12 at 8:18

1 Answer

up vote 4 down vote accepted

Hint: Consider the collection $\{(n,\infty)\}_{n=1}^\infty$.

share|improve this answer
What is $\lim_{n \to \infty} (n,\infty)$? $(\infty, \infty)$? I'm not sure what that is. Is it undefined? Or is it the empty set? – Matt N. Oct 1 '12 at 8:17
1  
@Matt the intersection of all of the sets is empty, but the measure of each set is infinite. So the limit of the measures is infinity, while the measure of the "limit" set is zero. – JSchlather Oct 1 '12 at 8:27
Sorry, does this mean "yes, $(\infty, \infty) = \varnothing$"? – Matt N. Oct 1 '12 at 8:54
1  
@MattN. I suppose that typically for any $a \in \mathbb R$ the convention is that $(a,a)$ is empty, so in the extended real number line we'd still have $(\infty,\infty)$ is empty. – JSchlather Oct 1 '12 at 9:29
Yes, that sounds reasonable. I guess unless we're in the extended reals the expression is indeed undefined. Right? – Matt N. Oct 1 '12 at 11:41

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.