Can someone confirm the result of this exercise? Im not sure if I had overlook something. Thank you.
Calculate $\mu_F(\{a\})$ where $\mu_F$ is the Lebesgue-Stieltjes measure induced by a measuring-generating function $F$.
Context: here $F:\Bbb R\to\Bbb R$ is increasing and left-continuous and we set $$\nu_F([a,b)):=\begin{cases}F(b)-F(a),&b>a\\0,&\text{otherwise}\end{cases}\tag1$$
Then the Lebesgue-Stieltjes measure induced by $F$ is defined by
$$\mu_F(A):=\inf\left\{\sum_{k=1}^\infty\nu_F([a_k,b_k)):A\subset\bigcup_{k=1}^\infty[a_k,b_k)\right\}\tag2$$ for some measurable $A\subset\Bbb R$ and any countable collection of left-closed intervals $[a_k,b_k)$.
Note that for any chosen $m\in\Bbb N$ then $C_m:=\left\{\big[a-\frac1n,a-\frac1{n+1}\big):n\in\Bbb N_{\ge m}\right\}$ is a cover of $\{a\}$ because $\bigcup C_m=[a-1/m,a]$. Then we find that $$ \sum_{k=m}^\infty\nu_F\left(\Big[a-1/k,a-\frac1{k+1}\Big)\right)=\sum_{k=m}^\infty \left(F\Big(a-\frac1{n+1}\Big)-F\Big(a-\frac1n\Big)\right)\\ =\lim_{n\to\infty}F(a-1/n)-F(a-1/m)=F(a)-F(a-1/m)\tag3 $$ where in the last limit we used the left-continuity of $F$. Thus $$ \mu_F(\{a\})\le\inf\left\{\sum_{k=m}^\infty\nu_F(I_m):I_m\in C_m,\, m\in\Bbb N\right\}\\=\inf\Big\{F(a)-F(a-1/m): m\in\Bbb N\Big\}=0\tag4 $$ where we used again the left continuity of $F$, that is, for each $\epsilon>0$ there is a $N\in\Bbb N$ such that $F(a)-F(a-1/n)<\epsilon$ for all $n\ge N$. Because the Lebesgue-Stieltjes measure is non-negative then we conclude that $\mu_F(\{a\})=0$.
