- #1
Darth Frodo
- 212
- 1
Hi all I'm currently working my way through proving the FToC by proving something that is a foundation for it. So I need to prove that;
L(f,P[itex]_{1}[/itex]) ≥ L(f,P) where P[itex]\subset[/itex]P[itex]_{1}[/itex] i.e where P[itex]_{1}[/itex] is a refinement of P.
So, Let P[itex]_{1}[/itex] = P [itex]\cup[/itex] {c} where c [itex]\in[/itex] [x[itex]_{k-1}[/itex],x[itex]_{k}[/itex]]
Let L' = inf{x|x [itex]\in[/itex] [x[itex]_{k-1}[/itex],c]}
Let L'' = inf{x|x[itex]\in[/itex]} [c,x[itex]_{k}[/itex]]
L = inf{x|x[itex]\in[/itex] [x[itex]_{k-1}[/itex],x[itex]_{k}[/itex]]}
So from this the next line is;
L'(c-x[itex]_{k-1}[/itex]) + L''(x[itex]_{k}[/itex]-c) ≥ L(x[itex]_{k}[/itex]-x[itex]_{k-1}[/itex])
Now this is the line I can't fully grasp. How was this line come up with? I can understand it from a geometrical/graphical/pictorial point of view, but from an analytic point of view I cannot.
So far this is what I have,
L' + L'' ≥ L
And If I multiply by the differences in the x-ordinates I still don't get the same line. Any help would be appreciated.
How exactly did that mystery line happen?
L(f,P[itex]_{1}[/itex]) ≥ L(f,P) where P[itex]\subset[/itex]P[itex]_{1}[/itex] i.e where P[itex]_{1}[/itex] is a refinement of P.
So, Let P[itex]_{1}[/itex] = P [itex]\cup[/itex] {c} where c [itex]\in[/itex] [x[itex]_{k-1}[/itex],x[itex]_{k}[/itex]]
Let L' = inf{x|x [itex]\in[/itex] [x[itex]_{k-1}[/itex],c]}
Let L'' = inf{x|x[itex]\in[/itex]} [c,x[itex]_{k}[/itex]]
L = inf{x|x[itex]\in[/itex] [x[itex]_{k-1}[/itex],x[itex]_{k}[/itex]]}
So from this the next line is;
L'(c-x[itex]_{k-1}[/itex]) + L''(x[itex]_{k}[/itex]-c) ≥ L(x[itex]_{k}[/itex]-x[itex]_{k-1}[/itex])
Now this is the line I can't fully grasp. How was this line come up with? I can understand it from a geometrical/graphical/pictorial point of view, but from an analytic point of view I cannot.
So far this is what I have,
L' + L'' ≥ L
And If I multiply by the differences in the x-ordinates I still don't get the same line. Any help would be appreciated.
How exactly did that mystery line happen?