[I asked this question on StackExchange](https://math.stackexchange.com/questions/490449/what-are-some-characterizations-of-the-strong-and-total-variation-topologies-on) a few days ago but didn't get any response, so I thought I would try here.


The Wikipedia article on [convergence of measures](http://en.wikipedia.org/wiki/Convergence_of_measures) defines three kinds of convergence: total variation, strong, and weak. For weak convergence, a number of equivalent formulations are given, but not for strong or total variation convergence. I have two questions.


1. Are there some equivalent formulations for those notions of convergence too? In particular, is it true that $\mu\_n$ strongly converges to $\mu$ iff $E\_{\mu\_n} f\to E\_\mu f$ for every bounded measurable function $f$? According to an answer to [this question](https://math.stackexchange.com/questions/308249/convergence-of-probability-measures-in-total-variation-and-limits-of-integrals), the left-to-right direction holds if strong convergence is strengthened to total variation convergence.
2. Are there some nice characterizations of these topologies that are not stated in terms of convergent sequences?



What are some characterizations of the strong and total variation convergence topologies on measures?
To summarize the situation. Let $(X,\mathcal{F})$ a measurable space.
The space $M(X,\mathcal{F})$ of all real-valued signed measures on $(X,\mathcal{F})$ is a Banach space wrto the total variation norm $\|\mu\|:=|\mu|(X)$ where the (non-negative) measure $|\mu|:= \mu\_+ +\mu\_-$ is the variation of $\mu$. The space $M(X,\mathcal{F})$may be isometrically embedded as a norm-closed subspace of the dual space $B(X,\mathcal{F})^\*$ of the Banach space $B(X,\mathcal{F})$ of all bounded measurable functions on $X$, $B(X,\mathcal{F})$ with the uniform norm $\|\cdot\|\_\infty$ ( that dual is in general much larger, since it also contains all additive measures). Note that the space of simple functions $S(X,\mathcal{F})$, linear span of characteristic functions of measurable sets, is norm dense in $B(X,\mathcal{F})$ via the usual approximation $f\_n(x):= \lfloor nf(x)\rfloor/n$.


So the above "strong convergence of measures", that is with test functions in $B(X,\mathcal{F})$, is the weak\* convergence of $B(X,\mathcal{F})^\*$, in the particular cas eof sequences in $M(X,\mathcal{F})$. In particular any such convergent sequence of measures is norm bounded (as any w\* convergent sequence of elements in a dual space), and it is "weakly convergent" in the above sense, that is with characteristic functions, hence also with simple functions as test. It is not norm convergent in general (as an example, take as said e.g. $\mu\_n$ absolutely continuous w.r.to the Lebesgue measure on $X:=[0,1]$
and with densities $g\_n\in L^1$ weakly convergent but not norm convergent). 


Conversely, a norm bounded sequence of measures $\mu\_n$ that weakly converges to $\mu$ wrto test functions $g$ in $S(X,\mathcal{F})$ also converges with test functions $f$ in $B(X,\mathcal{F})$, again an elementary and general fact. You can see it writing
$$\langle \mu\_n, f\rangle - \langle\mu, f\rangle=\langle\mu\_n-\mu, g\rangle+ \langle\mu\_n-\mu, g -f\rangle $$
with a simple function $g$, so that
$$\limsup\_{n\to\infty}|\langle\mu\_n, f\rangle-\langle\mu, f\rangle|\le \limsup\_{n\to\infty}|\langle\mu\_n-\mu, g\rangle|+ \big(\sup\_n \|\mu\_n\|+\|\mu\|\big)\|g -f\|\_\infty $$
whence
$$\limsup\_{n\to\infty}|\langle\mu\_n, f\rangle-\langle\mu, f\rangle|=0,$$


since simple functions are $\|\cdot\|\_\infty$ dense.


