hw26solutions - 2, and thus, Z b a f dx L ( P,f ) m ( y-x )...

This preview shows page 1. Sign up to view the full content.

Math 521 - Advanced Calculus I Instructor: J. Metcalfe Due: April 19, 2010 Assignment 26 1. Suppose f 0, f is continuous on [ a,b ], and that R b a f ( x ) dx = 0. Prove that f ( x ) = 0 for all x [ a,b ]. Suppose not. That is, suppose that f ( x ) = c > 0 for some c [ a,b ]. By continuity, there is a neighborhood V δ ( c ) [ a,b ] so that if y V δ ( c ) then | f ( y ) - c | < c/ 2. (That is, we are applying the deﬁnition of continuity with ε = c/ 2.) Thus, f ( y ) > c/ 2 for y V δ ( c ). Let P be a partition containing two points of V δ ( c ), say x,y V δ ( c ) with y > x , as well as a,b . Then, since f 0, L ( P,f ) m ( y - x ) where m is the minimum of f over [ x,y ]. By the above, however, m > c/
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 2, and thus, Z b a f dx L ( P,f ) m ( y-x ) ( c/ 2)( y-x ) &gt; . This proves the contrapositive. 2. If f ( x ) = 0 for all irrational x , f ( x ) = 1 for all rational x , prove that f 6 R on [ a,b ] for any a &lt; b . Fix any partition P . Since there is a rational between any two real numbers, U ( P,f ) = 1. On the other hand, since there is an irrational between any two real numbers, L ( P,f ) = 0. Since the partition was arbitrary, R b a f dx = 1 6 = 0 = R b a f dx. 1...
View Full Document

This note was uploaded on 07/15/2010 for the course MATH 521 taught by Professor Metcalfe during the Spring '10 term at University of North Carolina Wilmington.

Ask a homework question - tutors are online
{"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}