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.

How I can show that every finite measure can be regarded as a $\sigma$-finite measure but not conversely in general?

share|improve this question
6  
Please write down definition if sigma-finitness. Think of usage of empty sets –  userNaN May 13 '12 at 15:00
3  
For the converse, consider Lebesgue measure on $\Bbb R$. –  David Mitra May 13 '12 at 15:55

2 Answers 2

Let $(X,\mathcal A,\mu)$ a measure space, where $\mu$ is a non-negative measure. $\mu$ is said finite if $\mu(X)<\infty$. The space $(X,\mathcal A,\mu)$ is $\sigma$-finite if we can find a sequence $\{A_n\}_{n=1}^{+\infty}$ of measurable sets of finite measure such that $X=\bigcup_{n\geq 1}A_n$.

  • If $(X,\mathcal A,\mu)$ is finite, it $\sigma$-finite, since you can take $A_1:=X$ and $A_j=\emptyset$ for $j\geq 2$.
  • But the converse is not true. Take $X$ an infinite countable set, $\mathcal A:=2^X$ the collection of all the subsets of $X$ and $\mu$ the counting measure ($\mu(A)$ is the number of elements of $A$ if $A$ is finite and $+\infty$ otherwise). It's $\sigma$-finite space, because if $X=\{x_n,n\in\Bbb N\}$, we can write $X:=\bigcup_{n\geq 1}\{x\}$ and $\mu(\{x\})=1<\infty$, but not finite since $X$ is infinite.
share|improve this answer

I'm going to add another counter-example on top of Davide's one, which is also quite simple. As Davide pointed out a finite measure is $\sigma$-finite trivially by choosing rest of the sequence as empty sets.

Consider the Lebesgue measure $m_{n}$ on $\mathbb{R}^{n}$. Now $\mathbb{R}^{n}=\bigcup_{k=1}^{\infty}B(\bar{0},k)$ and each $B(\bar{0},k)$ has finite measure (e.g. by observing that $m_{n}(B(\bar{0},k))\leq (2k)^{n}$ for all $k\in\mathbb{N}$). Yet $m_{n}(\mathbb{R}^{n})=\infty$.

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.