Exercise 6.4

Exercise 4: If f ( x ) = 0 for all irrational x , f ( x ) = 1 for all rational x , prove that f R on [ a , b ] for any a < b .

Answers

(Matt “Frito” Lundy)
For any partition P , we have

U ( P , f ) = b a > 0

L ( P , f ) = 0 ,

so f R .

User profile picture
2023-08-07 00:00
Comments

Proof. Let our partition P be as follows

P = { a = x 1 , x 2 , , x n 1 , x n = b }

where x n 1 < x n for all n . Then,

U ( P , f , α ) = i = 1 n M i Δ α i = b a , L ( P , f , α ) = i = 1 n m i Δ α i = 0 ,

for P , and all refinements of P , since both the rationals and the irrationals are dense in , and therefore any subinterval of [ a , b ] would contain both a rational and an irrational. □

User profile picture
2023-09-01 19:38
Comments