Can a Positive Continuous Function Integrate to Zero?

Click For Summary
SUMMARY

If a continuous function f: [a,b] → ℝ is nonnegative and the integral ∫ab f(x)dx = 0, then f(x) must equal 0 for all x in [a,b]. This conclusion is reached through proof by contradiction. If f(x) is not zero at some point c in [a,b], then by the continuity of f, there exists an interval around c where f(x) is greater than zero, leading to a contradiction since the integral cannot be zero.

PREREQUISITES
  • Understanding of continuous functions in real analysis
  • Knowledge of integral calculus and properties of definite integrals
  • Familiarity with proof techniques, particularly proof by contradiction
  • Basic concepts of limits and continuity
NEXT STEPS
  • Study the properties of continuous functions and their integrals
  • Learn more about proof techniques in mathematics, especially proof by contradiction
  • Explore the implications of the Intermediate Value Theorem in relation to continuous functions
  • Investigate examples of nonnegative functions and their integrals to solidify understanding
USEFUL FOR

Mathematics students, educators, and anyone interested in real analysis, particularly those studying properties of integrals and continuity in functions.

selenne431
Messages
1
Reaction score
0
Suppose that [itex]f: [a,b] \rightarrow \mathbb{R}[/itex] is continuous and [itex]f(x) \geq 0[/itex] for all [itex]x \in [a,b][/itex]. Prove that if [itex]\int^b_a f(x)dx=0[/itex], then [itex]f(x)=0[/itex] for all [itex]x \in [a,b][/itex].
Attempt
I had attempted to do this problem by contradiction, except I did not understand how to finish the problem. I would appreciate a few helpful hints on this one.
 
Physics news on Phys.org
You were right in the fact that a direct proof would be much to hard for this problem, but a contradiction is hard to come up with. See if you can prove it by contrapositive Suppose f(x) doesn't equal zero, however according to your givens it has to be greater than or equal to zero , then it follows f(x)>0. You should be able to apply some calculus knowledge here to help finish off this proof and save the day proving that the integral of f(x)dx from a to b is greater than zero as well thus making your contrapositive just and completing your informal proof.
 
Proof by contradiction is a good way to do this.

Suppose you have a continuous function f such that f(x) is nonnegative and the integral from a to b is 0 AND f(x) is NOT 0 everywhere on [a,b].

You should be able to run into a contradiction.

Hint: Since f is not 0, pick some c in [a,b] where f(c)>0. Let f(c) = w > 0. Then by continuity argue that for some interval around c, f(x) > w/2. Then make a rectangle under the graph.
 

Similar threads

Replies
8
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 8 ·
Replies
8
Views
4K
Replies
7
Views
2K
Replies
1
Views
2K
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K