Homepage › Solution manuals › Walter Rudin › Principles of Mathematical Analysis › Exercise 6.4
Exercise 6.4
Exercise 4: If for all irrational , for all rational , prove that on for any .
Answers
Proof. Let our partition be as follows
where for all . Then,
for , and all refinements of , since both the rationals and the irrationals are dense in , and therefore any subinterval of would contain both a rational and an irrational. □