Dear all, suppose is a continous function on [TEX[a,b][/TEX]. is countable. Assume is differentiable on , the the derivative . Show that

Note: We assume only that is differentiable on

I do not know how to prove. Do you know? Help me, thank you...

Printable View

- Nov 19th 2012, 06:30 PMxinglongdadaHow to prove $f(a)\leq f(b)$?
Dear all, suppose is a continous function on [TEX[a,b][/TEX]. is countable. Assume is differentiable on , the the derivative . Show that

Note: We assume only that is differentiable on

I do not know how to prove. Do you know? Help me, thank you... - Nov 20th 2012, 02:23 PMRBowmanRe: How to prove $f(a)\leq f(b)$?
Since E is a countable subset of (a,b), let E = {e

_{i}} with a < e_{1}< e_{2}< ... < b.

Then we have that f is continuos on [a, e_{1}], and differentiable on (a, e_{1}). The mean value theorem applies and we find that f(a) f(e_{1}). We can prove this by contradiction. Assuming f(a) > f(e_{1}), we would have by the MVT a c_{1}, s.t. f'(c_{1}) = (f(e_{1})-f(a))/(e_{1}-a) < 0, a contradiction to f'(x) 0.

Similiarly, we can find that f(e_{1}) f(e_{2}). Continuing in this way we can argue that for any e_{i}< e_{j}, f(e_{i}) f(e_{j}).

I think this may be a step toward proving the desired, f(a) f(b), but I haven't yet worked it completely. Will finish and post the rest soon, unless you or someone else can finish it. - Jan 9th 2013, 12:55 AMxinglongdadaRe: How to prove $f(a)\leq f(b)$?
Do anyone knows how to prove it? Thank you ...