Home » Blog » Prove that if the integral of nonnegative function is zero then the function is zero

Prove that if the integral of nonnegative function is zero then the function is zero

Let be an integrable, non-negative function on the interval . Prove that if then at each point at which is continuous.

Proof. The proof is by contradiction. Let be a point at which is continuous, and suppose . This implies since is non-negative by hypothesis. Since is continuous at , we know by the sign-preserving property of continuous functions (Theorem 3.7 in Apostol), that there is some neighborhood about , say such that has the same sign as for all , i.e., such that for all . But then by the monotone property of the integral we know, But then, This is a contradiction since is nonnegative we know Since is strictly positive, the sum of the three pieces of the integral cannot equal One comment

1. Jindrich Michalik says:

The theorem and the proof are good and useful, but I suggest adjusting the title. The note about continuity is important.