Help Prove: \int_{a}^{b}f > 0 for Continuous, Non-Negative f on [a,b]

[stunner5000pt]

i need some help with this proof. Please do not give me the solution i want to figure this on my own. ALl i need is your hints and steering.
Also note that i am on a first year level intro to real analysis course. I do however know the upper and lower reimann sums which is probably how this problem is to be solved.

Suppose f is continuous and non negative on [a,b]. Suppose f(c) > 0 for some c in (a,b). Prove that \int_{a}^{b} f > 0 .

What worries me here is that f(c) does not include f(a) and f(b) exclusively. however how would i go about proving that? Would i have to use limits to show that for some epsilon \lim_{\epsilon \rightarrow 0} f(x - \epsilon) > 0 and the same would apply for the f(b) paart??
I know that if i picked a partition P = {a,a+E,b-E,b} i would encounter this problem because of the explicit value (limit rather) of function at a nad b not being greater than zero.

P.S. i can't find a website that shows how to prove limits formally (although i have learned it in the past i cannot find it in my notes).

 

[Galileo]

Since f is continuous, there's an \epsilon such that f(x)>0 for |x-c|<\epsilon.
You only have to deal with this region.
You need some more results than this, but I don't know what you may or may not assume to know.

 

[stunner5000pt]

Since f is continuous, there's an \epsilon such that f(x)>0 for |x-c|<\epsilon.
You only have to deal with this region.
You need some more results than this, but I don't know what you may or may not assume to know.

what do you mena more results... Throw the stuff at me... ill probably know it after all my course went pretty deep into this stuff

 

[HallsofIvy]

1. As Galileo said, you can always choose a small interval around c so that f(x) is positive in that interval- that will give a positive addition to the Riemann sums.

2. Since you are given that the function is never negative, there will never be any negative terms to cancel that positive number.

 

[stunner5000pt]

CLEARLY this is going to be wayyyyyy off but what i understand from what you said is that i pick some delta > 0 in an interval P:=[ c- \delta, c , c+\delta ]. For this interval since F is nonnegative and f(c) > 0 for all c then f(c - \delta) > 0 \{and} \ f(c+\delta) > 0. This is clearly not enough.. some explicit proof would be required... I'm working on that.
I'm thinking it would go suppose f(c + delta) was not zero then blah blah (right?)

 

[xanthym]

The given properties of f(x) should enable you to show the existence of a non-empty interval over which f(x) > 0.

In case you need review of formal limit definitions (& proofs using them) and some properties of continuous functions, here are 3 Web Pages which may help you:
http://archives.math.utk.edu/visual.calculus/1/definition.6/index.html
http://archives.math.utk.edu/visual.calculus/1/continuous.5/index.html
http://archives.math.utk.edu/visual.calculus/1/continuous.7/index.html



~~

 

[stunner5000pt]

damn I'm stupid at this

xanthym how would i go about doing that?? I know that the function is postitive over the interval (a,b) but what does taht say about the endpoints?/

 

[matrix_204]

i think this problem is in Spivak 3rd edition. Its perhaps knowns as the best and hardest calculus books, specially analysis. I don't know if its helpful but u gota have some resources when doing this course.
Neways, i remember somestuff when i did this problem.
Let [c,d] be an interval in [a,b] with f(x)>f(c)/2 for all x in [c,d].
Now you should be able to get an idea of what the proof should come out too, and look carefully at this partition P={a,c,d,b}.

 

[stunner5000pt]

yes i have come across Spivak. It is a very good book. Too bad taht we used Salas Hille Etgen One variable calculus in my course which was totally (TOTALLY) useless because that book has nothing to do with analysis, whatsoever

but tyhanks for the hint it really helps