Open Access
2001/2002 Outer Measures Generated by a Countably Additive Measure on a Ring of Sets
Yong Tae Kim, C. W. Kim
Real Anal. Exchange 27(1): 235-248 (2001/2002).
Abstract

Let $\mathcal{R}$ be any ring of subsets of a set $X$ which is not an algebra and let $\mathcal{A}$ be the algebra generated by $\mathcal{R}$. Suppose that $\mu$ is a countably additive measure on $\mathcal{R}$ and that $\mu^*$ is the outer measure generated by $(\mu,\mathcal{R})$. If $X$ is a countable union of sets in $\mathcal{R}$, then there is a unique countably additive measure $\nu$ on $\mathcal{A}$ which extends $\mu$, and the outer measure generated by $(\nu,\mathcal{A})$ coincides with $\mu^*$. If $X$ is not a countable union of sets in $\mathcal{R}$, then there exists a family $\{ \mu_p : 0 \leq p \leq \infty \}$ of countably additive measures on $\mathcal{A}$ such that each $\mu_p$ agrees with $\mu$ on $\mathcal{R}$. For $0 \leq p \leq \infty$, let $\mu_p^*$ denote the outer measure generated by $(\mu_p, \mathcal{A})$. Then we have $\mu_0^* \leq \mu_p^* \leq \mu_q^* \leq \mu_\infty^* =\mu^*$ for $0< p < q < \infty$. Moreover, if $\mathcal{M}$ and $\mathcal{M}_p$, respectively, denotes the $\sigma$-algebra of $\mu^*$-measurable and $\mu_p^*$-measurable sets, then $\mathcal{M}_p = \mathcal{M}_1 \subset \mathcal{M}_0 = \mathcal{M}_\infty = \mathcal{M}$ for all positive real numbers $p$. As examples, we give countably additive measures on rings for which $\mathcal{M} = \mathcal{M}_1$ and $\mathcal{M} \neq \mathcal{M}_1$, respectively. By the outer measures generated by $\mu$ we shall mean the outer measures $\mu^*$ and $\mu_p^*$ $(0 \leq p \leq \infty)$.

References

1.

K. P. S. Bhaskara Rao and M. Bhaskara Rao, Theory of Charges, Academic Press, London,1983. MR751777 0516.28001 K. P. S. Bhaskara Rao and M. Bhaskara Rao, Theory of Charges, Academic Press, London,1983. MR751777 0516.28001

2.

P. Billingsley, Probability and Measure, 2nd ed., Wiley, New York, 1986.  MR830424 P. Billingsley, Probability and Measure, 2nd ed., Wiley, New York, 1986.  MR830424

3.

J. L. Doob, Measure Theory, Springer–Verlag, New York,1991. MR1253752 J. L. Doob, Measure Theory, Springer–Verlag, New York,1991. MR1253752

4.

M. M. Rao, Measure Theory and Integration, Wiley, New York, 1987. MR891879 M. M. Rao, Measure Theory and Integration, Wiley, New York, 1987. MR891879

5.

H. L. Royden, Real Analysis, 3rd ed., Macmillan, New York, 1988. } MR151555 H. L. Royden, Real Analysis, 3rd ed., Macmillan, New York, 1988. } MR151555
Copyright © 2001 Michigan State University Press
Yong Tae Kim and C. W. Kim "Outer Measures Generated by a Countably Additive Measure on a Ring of Sets," Real Analysis Exchange 27(1), 235-248, (2001/2002). https://doi.org/
Published: 2001/2002
Vol.27 • No. 1 • 2001/2002
Back to Top