Finding an interval for rational numbers with a high denominator

a repository of mathematical know-how

Finding an interval for rational numbers with a high denominator

Title: *

Area of mathematics: *

A comma-separated list of areas of mathematics to which this article applies. Use ">" to tag in a subcategory. Example: Analysis > Harmonic analysis, Combinatorics

Keywords:

A comma-separated list of keywords associated with this article. Example: free group

Used in:

A comma-separated list of examples of where this technique is used. Example: Cauchy-Schwarz inequality

Parent articles:		Order

Body:

[QUICK DESCRIPTION]
Some problems require one to find an interval of $\R$ in which rational numbers, when written in lowest terms as $p/q$, 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]
Every rational number $x$ can be written in the form $\frac{p}{q}$, where $q>0$ and $p$ and $q$ are integers without any common divisors. Consider the function defined on $\R$ by:
[maths]f(x) = 
\begin{cases}
  \frac{1}{q} &\text{if }x\text{ is rational, }x=\tfrac{p}{q}\text{ in lowest terms}\\
  0           &\text{if }x\text{ is irrational.}
\end{cases}[/maths]
(This is [[w:Thomae's_function|Thomae's function]]). Prove that $f$ is continuous at all irrational numbers and discontinuous at all rational numbers.
[GENERAL DISCUSSION]

This is a stub

A stub is an article that is not sufficiently complete to be interesting.

Notifications

File attachments

Changes made to the attachments are not permanent until you save this post. The first "listed" file will be included in RSS feeds.

Attach new file:

Images are larger than 640x480 will be resized. The maximum upload size is 1 MB. Only files with the following extensions may be uploaded: jpg jpeg gif png svg.

Revision information

Log message:

An explanation of the additions or updates being made to help other authors understand your motivations.

Finding an interval for rational numbers with a high denominator

Recent articles

Active forum topics

Recent comments