I would like to prove that $\sqrt{x}, x\in [0,1]$ is an absolutely continuous function. The way I have been trying to do that is as follows:
$$\sum_{k=1}^n \left( \sqrt{y_k} - \sqrt{x_k} \right) = \sum_{k=1}^n \frac{y_k-x_k}{\sqrt{y_k} + \sqrt{x_k}} \leq \min_{k} \frac{1}{\sqrt{y_k} + \sqrt{x_k}} \sum_{k=1}^n \left(y_k - x_k\right) $$
And assuming this is correct, absolute continuity follows by taking $\delta = \frac{\epsilon}{\min_{k} \frac{1}{\sqrt{y_k} + \sqrt{x_k}}}$. Can you please verify that my proof is correct? Is it alright that $\delta$ depends on the intervals?
Thank you.
This is not correct!!! You have made $\delta$ depend on the choise of intervals which is something you do not want if you look at your definition!
$F$ is abolutely continuous on $[a,b]$ if for any $\epsilon>0$ there exists a $\delta>0$ (depending solenly on $\epsilon$ and the function $F$) such that $\sum_{i=1}^{n}|F(b_i)-F(a_i)|<\epsilon$ for any finite collection $(a_1,b_1),(a_2,b_2),\dots,(a_n,b_n)$ of disjoint sub-intervals of $[a,b]$ of total length $\sum_{i=1}^{n}b_i-a_i$ at most $\delta$.