# Question on Lipschitz condition.

I want help in showing that $f$ is Lipschitz on $[0,1]$ $\implies$ that $f$ can written in the form $$f(x) = f(0) + \int_0^x h(x)~dt$$ for some bounded Lebesgue measurable function $h$ on $[0,1]$.

$f$ being Lipschitz on $[0,1]$ implies there is some constant $K$ such that $|f(x)-f(y)|\leq K |x-y|$ for every $x,y \in [0,1]$.

Can I argue as follows:

I know that if $f$ is Lipschitz on $[0,1]$, then $f$ is abosolutely continuous on $[0,1]$ and so $f$ is a definite integral. i.e. $$f(x) = f(0) +\int_0^x f'(t)~dt,$$ So I can take $f' = h$. Can I do this or there is a better way of approaching it.

-
Can't you use that if $f$ is absolutely continuous then it's differentiable almost everywhere and then apply the fundamental theorem of calculus? – Matt N. Mar 22 '12 at 17:10
I thought that's what I did...no? – Jack Mar 22 '12 at 17:12
– t.b. Mar 22 '12 at 17:12
Thanks for the link. – Jack Mar 22 '12 at 17:21

1
Note, you should argue why $f'$ is bounded. – David Mitra Mar 22 '12 at 17:23
show 5 more comments
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 19, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9360526204109192, "perplexity_flag": "head"}