Today’s problem appeared as Problem 2 on the UCLA Spring 2019 Analysis Qual:
Problem 2. Let be Borel probability measures on
such that
is atomless, i.e.
for all
and suppose
as measures. Define
and
Show that
uniformly on
Solution: Note that are bounded monotonically increasing functions with
Since
has no atoms, one has that
has no jump discontinuities, and since a monotonic function can only have jump discontinuities, we conclude that
is continuous on
By a classic result from the theory of monotone functions, if a sequence of monotone functions converges pointwise to a continuous monotone function, then the convergence is uniform (which we quickly prove below as a lemma). Supposing this, it suffices to show that
pointwise. But indeed, for any
define
to be
on
on
and
on
Then,
is clearly continuous and
increases monotonically to
It follows that since
in the weak
topology that
as
Now, by the Monotone Convergence Theorem,
increases to
and
increases to
as
Thus, if for sake of contradiction, say,
for some
and infinitely many
then since


![Rendered by QuickLaTeX.com \mu([0,t])-\int f_K d\mu < \frac{\epsilon}{2},](https://www.stepanmalkov.com/wp-content/ql-cache/quicklatex.com-33b4f17a073adfec2b85788bf1b40265_l3.png)
![Rendered by QuickLaTeX.com \int f_{K} d\mu_{n_j} \leq \mu([0,t])-\epsilon](https://www.stepanmalkov.com/wp-content/ql-cache/quicklatex.com-6e112952f427ebb4d8d85c74c0e864bb_l3.png)



![Rendered by QuickLaTeX.com \mu_n([0,t]) \to \mu([0,t])](https://www.stepanmalkov.com/wp-content/ql-cache/quicklatex.com-e6b123ba330b823085cfddbe19bd8ab9_l3.png)

Proof of lemma: Suppose be increasing functions on
and suppose
pointwise and
is continuous. Then, for any
pick
such that
and pick a finite set of points
such that any
satisfies
for some
By pointwise convergence, let
be large enough such that
for all
Then, for any

![Rendered by QuickLaTeX.com x \in [0,1],](https://www.stepanmalkov.com/wp-content/ql-cache/quicklatex.com-a7af062ce5dc0e9e6f1b59166de20c83_l3.png)

Remark: The statement need not hold if has an atom. Take, say,
be the Dirac delta at
and let
Then, clearly,
does not converge to
uniformly, even though
i.e.
for all