The Unapologetic Mathematician

The Metric Space of a Measure Ring

Let $(\mathcal{S},\mu)$ be a measure ring. We’ve seen how we can get a metric space from a measure, and the same is true here. In fact, since we’ve required that $\mu$ be positive — that $\mu(E)=0$ only if $E=\emptyset$ — we don’t need to worry about negligible elements.

And so we write $\mathfrak{S}=\mathfrak{S}(\mu)$ for the metric space consisting of the elements $E\in\mathcal{S}$ with $\mu(E)<\infty$. This has a distance function $\rho$ defined by $\rho(E,F)=\mu(E\Delta F)$. We also write $\mathfrak{S}=\mathfrak{S}(\mu)$ for the metric associated with the measure algebra associated with the measure space $(X,\mathcal{S},\mu)$. We say that a measure space or a measure algebra is “separable” if the associated metric space is separable.

Now, if we set

\displaystyle\begin{aligned}f(E,F)&=E\cup F\\g(E,F)&=E\cap F\end{aligned}

then $f:\mathfrak{S}\times\mathfrak{S}\to\mathfrak{S}$, $g:\mathfrak{S}\times\mathfrak{S}\to\mathfrak{S}$, and $\mu:\mathfrak{S}\to\mathbb{R}$ itself are all uniformly continuous.

Indeed, if we take two pairs of sets $E_1$, $E_2$, $F_1$, and $F_2$, we calculate

\displaystyle\begin{aligned}\mu\left((E_1\cup F_1)\setminus(E_2\cup F_2)\right)&=\mu\left((E_1\cup F_1)\cap(E_2^c\cap F_2^c)\right)\\&=\mu\left((E_1\cup F_1)\cap(E_2^c\cap F_2^c)\right)\\&=\mu\left((E_1\cap E_2^c\cap F_2^c)\cup(F_1\cap E_2^c\cap F_2^c)\right)\\&\leq\mu(E_1\cap E_2^c\cap F_2^c)+\mu(F_1\cap E_2^c\cap F_2^c)\\&\leq\mu(E_1\setminus E_2)+\mu(F_1\setminus F_2)\end{aligned}

Similarly, we find that $\mu\left((E_2\cup F_2)\setminus(E_1\cup F_1)\right)\leq\mu(E_2\setminus E_1)+\mu(F_2\setminus F_1)$. And thus

\displaystyle\begin{aligned}\rho\left((E_1\cup F_1),(E_2\cup F_2)\right)&=\mu\left((E_1\cup F_1)\Delta(E_2\cup F_2)\right)\\&=\mu\left((E_1\cup F_1)\setminus(E_2\cup F_2)\right)+\mu\left((E_2\cup F_2)\setminus(E_1\cup F_1)\right)\\&\leq\mu(E_1\setminus E_2)+\mu(F_1\setminus F_2)+\mu(E_2\setminus E_1)+\mu(F_2\setminus F_1)\\&=\mu(E_1\Delta E_2)+\mu(F_1\Delta F_2)\\&=\rho(E_1,E_2)+\rho(F_1,F_2)\end{aligned}

And so if we have control over the distance between $E_1$ and $E_2$, and the distance between $F_1$ and $F_2$, then we have control over the distance between $E_1\cup F_1$ and $E_2\cup F_2$. The bounds we need on the inputs uniform, and so $f$ is uniformly continuous. The proof for $g$ proceeds similarly.

To see that $\mu$ is uniformly continuous, we calculate

\displaystyle\begin{aligned}\left\lvert\mu(E)-\mu(F)\right\rvert&=\left\lvert\left(\mu(E)-\mu(E\cap F)\right)-\left(\mu(F)-\mu(F\cap E)\right)\right\rvert\\&=\left\lvert\mu\left(E\setminus(E\cap F)\right)-\mu\left(F\setminus(F\cap E)\right)\right\rvert\\&=\left\lvert\mu(E\setminus F)-\mu(F\setminus E)\right\rvert\\&\leq\mu(E\setminus F)+\mu(F\setminus E)\\&=\mu(E\Delta F)\\&=\rho(E,F)\end{aligned}

Now if $(X,\mathcal{S},\mu)$ is a $\sigma$-finite measure space so that the $\sigma$-ring $\mathcal{S}$ has a countable set of generators, then $\mathfrak{S}(\mu)$ is separable. Indeed, if $\{E_n\}$ is a countable sequence of sets that generate $\mathcal{S}$, then we may assume (by $\sigma$-finiteness) that $\mu(E_n)<\infty$ for all $n$. The ring generated by the $\{E_n\}$ is itself countable, and so we may assume that $\{E_n\}$ is itself a ring. But then we know that for every $E\in\mathfrak{S}(\mu)$ and for every positive $\epsilon$ we can find some ring element $E_n$ so that $\rho(E,E_n)=\mu(E\Delta E_n)<\epsilon$. Thus $\{E_n\}$ is a countable dense set in $\mathfrak{S}(\mu)$, which is thus separable.

August 6, 2010 - Posted by | Analysis, Measure Theory

1. […] of the Metric Space of a Measure Space Our first result today is that the metric space associated to the measure ring of a measure space is […]

Pingback by Completeness of the Metric Space of a Measure Space « The Unapologetic Mathematician | August 9, 2010 | Reply

2. […] of Metric Spaces of Measure Rings Today we collect a few facts about the metric space associated to a measure ring […]

Pingback by Properties of Metric Spaces of Measure Rings « The Unapologetic Mathematician | August 12, 2010 | Reply

3. […] Metric Spaces and Absolutely Continuous Measures I If is the metric space associated to a measure space , and if is a finite signed measure that is absolutely continuous with respect to […]

Pingback by Associated Metric Spaces and Absolutely Continuous Measures I « The Unapologetic Mathematician | August 16, 2010 | Reply

4. […] continuous finite signed measure on a measure space defines a continuous function on the associated metric space , and that a sequence of such finite signed measures that converges pointwise is actually uniformly […]

Pingback by Associated Metric Spaces and Absolutely Continuous Measures II « The Unapologetic Mathematician | August 17, 2010 | Reply

5. […] the metric space has a diameter of — no two sets can differ by more than , and — we can find a dense […]

Pingback by The Measure Algebra of the Unit Interval « The Unapologetic Mathematician | August 25, 2010 | Reply