# Thread:

1. ## Proof involving Lipschitz continuity with constant L

Problem:
Prove that if the function f:[a,b]-->R is Lipschitz continuous with constant L then for every partition P of [a,b]
U(f,P)-L(f,P) <= ||P||*L*(b-a)

Okay so from Lipschitz continuity I see that dY(f(a),f(b)) <= L*dx(a,b) for all a,b in X

So dx(a,b) is the same as (b-a)
Then take a partition P with ||P|| < delta for both sides

Where do i go from here .... i nearly have the right side completed .... or so i think but what should my next move be when it comes to the left side? How does dY(f(a),f(b)) become U(f,P)-L(f,P)?

2. Originally Posted by derek walcott
Problem:
Prove that if the function f:[a,b]-->R is Lipschitz continuous with constant L then for every partition P of [a,b]
U(f,P)-L(f,P) <= ||P||*L*(b-a)

Okay so from Lipschitz continuity I see that dY(f(a),f(b)) <= L*dx(a,b) for all a,b in X

So dx(a,b) is the same as (b-a)
Then take a partition P with ||P|| < delta for both sides

Where do i go from here .... i nearly have the right side completed .... or so i think but what should my next move be when it comes to the left side? How does dY(f(a),f(b)) become U(f,P)-L(f,P)?

Why are you using the metric notation?

$U(f,P)-L(f,P)=\left|U(f,p)-L(f,p)\right|$ $=\left|\sum_{j=1}^{n}(M_j-m_j)\Delta x_j\right|\leqslant\sum_{j=1}^{n}|M_j-m_j|\Delta x_j$. Now, $M_j=f(x*)$ for some $x*\in[x_{j-1},x_j]$ and similarly for $m_j$. But, by Lipschitz $|M_j-m_j|=|f(x*)-f(y*)|\leqslant L|x_{j}-x_{j-1}|\leqslant L\|P\|$. Thus, $\left|U(P,f)-L(P,f)\right|\leqslant\sum_{j=1}^{n}L\|P\|\Delta x_j=L\|P\|\sum_{j=1}^{n}\Delta x_j=L\|P\|(b-a)$.

what exactly does metric notation mean and how does that differ from the notation you are using?

4. Originally Posted by derek walcott
In this context it doesn't really matter. But,the real numbers have much more than a topological structure (a metric) they have an algebraic structure (it is a field). Consequently while the true definition of a Lipschitz continuous function from a metric space $X$ to a metric space $Y$ is $d_Y(f(x),f(y))\leqslant \delta d_x(x,y)$ writing it like that when you have the idea of addition and subtraction can do nothing but confuse you.
{"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 10, "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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9160242676734924, "perplexity_flag": "middle"}