Stieltjes Function of Measure is Stieltjes Function

Theorem
Let $\mu$ be a measure on $\R$ with the Borel $\sigma$-algebra $\mathcal B \left({\R}\right)$.

Suppose that for every $n \in \N$:


 * $\mu \left[{-n \,.\,.\, n}\right] < +\infty$

Then $F_\mu: \R \to \overline \R$, the Stieltjes function of $\mu$, is a Stieltjes function.

Proof
By definition, $F_\mu$ is a Stieltjes function it is increasing and left-continuous.

$F_\mu$ is Increasing
Let $x, y \in \R$ such that $x \le y$.

It is apparent that for all $z \in \R$:


 * $z \le 0 \implies F_\mu \left({z}\right) \le 0$
 * $z \ge 0 \implies F_\mu \left({z}\right) \ge 0$

Therefore, only the cases $x \le y \le 0$ and $0 \le x \le y$ remain.

In the first of these cases, note that:


 * $\left[{y \,.\,.\, 0}\right) \subseteq \left[{x \,.\,. 0}\right)$

Hence from Measure is Monotone, it follows that:


 * $F_\mu \left({x}\right) = -\mu \left({\left[{x \,.\,.\, 0}\right)}\right) \le -\mu \left({\left[{y \,.\,.\, 0}\right)}\right) = F_\mu \left({y}\right)$

The remaining case is analogous, using the observation that:


 * $\left[{0 \,.\,.\, x}\right) \subseteq \left[{0 \,.\,.\, y}\right)$

Hence $F_\mu$ is increasing.

$F_\mu$ is Left-Continuous
Suppose that $x > 0$.

Suppose further that $x_k \uparrow x$ is an increasing sequence with limit $x$, and that $0 < x_1 < x$.

Then as an increasing sequence of sets, we have:


 * $\left[{0 \,.\,.\, x_k}\right) \uparrow \left[{0 \,.\,.\, x}\right)$

Now we compute:

Next, suppose $x = 0$.

Suppose further that $x_k \uparrow 0$ is an increasing sequence with limit $0$.

Now, we have the decreasing sequence of sets $\left[{x_k \,.\,.\, 0}\right) \downarrow \varnothing$.

Reasoning as above, but applying Characterization of Measures: $(3'')$ instead yields the result in this case.

Finally, suppose $x < 0$ and $x_k \uparrow x$ is an increasing sequence with limit $x$.

Observe the decreasing sequence of sets $\left[{x_k \,.\,.\, 0}\right) \downarrow \left[{x \,.\,.\, 0}\right)$.

This time, applying Characterization of Measures: $(3')$ yields the result.

Note the additional assumption on $\mu$ was in fact used, in combination with Measure is Monotone.

This is necessary to establish the conditions for the last two applications of Characterization of Measures.

From the Trichotomy Law for Real Numbers and Proof by Cases, the result now follows.