Tricki

Finding an interval for rational numbers with a high denominator

Quick description

Some problems require one to find an interval of in which rational numbers, when written in lowest terms as , have a denominator that is greater than a certain number. This sort of problem can be difficult to approach because given an interval, it may be hard to visualise what rational numbers lie in it. However, given the right notation the solution to this sort of problem becomes almost intuitive.

Prerequisites

Definition of continuity, basic facts about real and rational numbers, intervals of real numbers, neighbourhoods.

Example 1

Every rational number can be written in the form , where and and are integers without any common divisors. Consider the function defined on by:

(This is Thomae's function). Prove that is continuous at all irrational numbers and discontinuous at all rational numbers.