Halmos developed measure theory based on $\sigma$-rings. Nowadays measure theory is based on $\sigma$-algebras. I would like to know how to bridge the two theories if possible.

Namely, let $(X, \mathcal R, \mu)$ be a measure space, where $\mathcal R$ is a $\sigma$-ring. Let $\mathcal A$ be the smallest $\sigma$-algebra containing $\mathcal R$. Can $\mu$ be extended to a measure on $\mathcal A$?. If yes, is the extension unique?

My guess is that if $\mu$ is $\sigma$-finite, i.e. every member of $\mathcal R$ is covered by a countable union of members of finite measure, then the extension is unique.

  • $\begingroup$ It just means assigning a measure to $X$ and to complements of sets in $\cal R$. $\endgroup$ – Asaf Karagila Jul 23 '15 at 8:37
  • $\begingroup$ @AsafKaragila How to do that? If $\mathcal R\neq\mathcal A$ (or equivalently $X\notin\mathcal R$) then the collection of complements of sets in $\mathcal R$ ($X$ is one of them) is not a $\sigma$-ring. It misses the empty set. You are probably thinking of exploiting $\mu(R)+\mu(R^c)=\mu(X)$ for $R\in\mathcal R$. But what value should $\mu(R^c)$ get if $\mu(R)=\infty$? $\endgroup$ – drhab Jul 23 '15 at 9:19
  • $\begingroup$ Surely $\mu$ can be extended. If you define $\mu^*(B)$ as the infinum of (countable) sums $\sum\mu(R_i)$ where the $R_i\in\mathcal R$ cover $B$ then $\mu^*$ is an outer measure that coincides with $\mu$ on $\mathcal R$. Then there is a $\sigma$-algebra that contains $\mathcal R$ hence also contains $\mathcal A$ such that $\mu^*$ restricted to it is a measure. $\endgroup$ – drhab Jul 23 '15 at 9:45
  • $\begingroup$ @drhab: Since $\cal R$ is closed under countable unions and relative complements, this is the same as defining it as $\inf\{\mu(R)\mid R\in\mathcal R\land B\subseteq R\}$. $\endgroup$ – Asaf Karagila Jul 23 '15 at 9:47
  • $\begingroup$ @AsafKaragila Yes, you are right. That is in fact more elegant and it is nice for the OP that you remark this. But also in my view it is good to keep the link with the general theory (outer measures etc.) in sight. $\endgroup$ – drhab Jul 23 '15 at 9:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.