Two questions on Lebesgue Decomposition of an increasing function? I come up with the question in doing Stein's Real analysis, Chap3. Ex. 24, which assert that any increasing function $f$ on $[a,b]$ can be decomposed as $$F=F_A+F_C+F_J,$$ with $F_A$ is absolutely continuous, $F_J$ is a jump function, and $F_C$ is a singular function, i.e., it is continuous and  $F'_C=0$, a.e.. Both $F_A$, $F_J$, $F_C$ are increasing on $[a,b]$. Moreover, the decomposition is unique upto a constant.
My questions are:


*

*Did we need to add the boundedness of $F$? such that it is a BV function on $[a,b]$?(since only in this case I have proved the existence.)

*How to show the uniqueness?


Any help or suggestion will be welcome.

Any increasing function on a closed interval is bounded. This is because everything lies between $F(a)$ and $F(b)$.
For uniqueness, it suffices to show that two out of three are unique. But the AC part is uniquely determined by the derivative of the function (which exists a.e.) and the jump function is uniquely determined by the jumps of the original function. Thus, the decomposition is unique.
