# The Unapologetic Mathematician

## Associated Metric Spaces and Absolutely Continuous Measures II

Yesterday, we saw that an absolutely continuous finite signed measure $\nu$ on a measure space $(X,\mathcal{S},\mu)$ defines a continuous function on the associated metric space $\mathfrak{S}$, and that a sequence of such finite signed measures that converges pointwise is actually uniformly absolutely continuous with respect to $\mu$.

We’re going to need to assume that $\nu$ is nonnegative. We’d usually do this by breaking $\nu$ into its positive and negative parts, but it’s not so easy to get ahold of the positive and negative parts of $\nu$ in this case. However, we can break each $\nu_n$ into $\nu_n^+$ and $\nu_n^-$. Then we can take the limits $\nu^{\geq0}(E)=\lim_n\nu_v^+(E)$ and $\nu^{\leq0}(E)=\lim_n\nu_v^-(E)$, which will still satisfy $\nu(E)=\nu^{\geq0}(E)-\nu^{\leq0}$. The only difference between this decomposition and the positive and negative parts is that this pair of set functions might have some redundancy that gets cancelled off in this subtraction. And so, without loss of generality, we will assume that all the $\nu_n$ are nonnegative, and that their limit $\nu$ is as well.

Now, given such a sequence, define the limit function $\nu(E)=\lim_n\nu_n(E)$. I say that $\nu$ is itself a finite signed measure, and that $\nu\ll\mu$. Indeed, $\nu(E)$ is finite by assumption, and additivity is easy to check. As for absolute continuity, if $\mu(E)=0$, then each $\nu_n(E)=0$ since $\nu_n\ll\mu$, and so $\nu(E)=0$ as the limit of the constant zero sequence.

What we need to check is continuity. We know that it suffices to show that $\nu$ is continuous from above at $\emptyset$. So, let $\{E_m\}$ be a decreasing sequence of measurable sets whose limit is $\emptyset$. We must show that the limit of $\nu(E_m)$ is zero. But we know that the limit of $\mu(E_m)$ is zero, and thus for a large enough $m$ we can make $\mu(E_m)<\delta$ for any given $\delta$. And since $\nu\ll\mu$ we know that for any $\epsilon$ there is some $\delta$ so that if $\mu(E)<\delta$ then $\nu(E)<\epsilon$. Thus we can always find a large enough $m$ to guarantee that $\nu(E_m)<\epsilon$, and so the limit is zero, as asserted.

Finally, what happens if we remove the absolute continuity requirement from the $\nu_n$? That is: what can we say if $\{\nu_n\}$ is a sequence of finite signed measures on $X$ so that $\nu(E)=\lim_n\nu_n(E)$ exists and is finite for each $E\in\mathcal{S}$. I say that $\nu(E)$ is a signed measure. What we need is to find some measure $\mu$ so that all the $\nu_n\ll\mu$, and then we can use the above result.

Since $\nu_n$ is a finite signed measure, we can pick some upper bound $c_n\geq\lvert\nu_n(E)\rvert$. Then we define

$\displaystyle\mu(E)=\sum\limits_{n=1}^\infty\frac{1}{2^nc_n}\lvert\nu_n\rvert(E)$

If any $\lvert\nu\rvert(E)\neq0$, then $\mu(E)\neq0$, and so $\lvert\nu_n\rvert\ll\mu$. And thus $\nu_n\ll\mu$ for all $n$, as desired.

### Like this:

Posted by John Armstrong | Analysis, Measure Theory

No comments yet.

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 55, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9558295607566833, "perplexity_flag": "head"}