3
$\begingroup$

This problem has me stumped. I'm not sure how to proceed.

Let $A = (0,\infty)$ and let $k: A \to \mathbb{R}$ be defined as follows: $ k(x) = \begin{cases} 0 & \text{for } x \in \mathbb{R}_+\setminus\mathbb{Q} \\\\ n & \text{for } x = \frac mn \in \mathbb{Q}_+ \text{ with } (m,n) = 1 \end{cases}$ Prove that $k$ is unbounded on every open interval in $A$. Conclude that $k$ is not continuous at any point of $A$.

  • 0
    @Jon: Yes, that's equivalent.2011-10-27

2 Answers 2

2

For an interval $(a,b)$ lets show that for every natural $M$ there are only a finite number of rationals $\frac{p}{q}$ such that $a < \frac{p}{q} < b$ and $0 \leq q \leq M$.
The second inequality gives us a finite number of values for $q$, so for each of these values we have from the first inequality that $aq < p < qb$ so $p$ can only take a finite amount of values for each value of $q$, this gives us a finite number of possible combinations for $p$ and $q$.

To apply this, just notice that for every interval $(a,b)$ if $k(x)$ was bounded then for every rational $\frac{p}{q} \in (a,b)$ with $(p,q) = 1$, then $k(\frac{p}{q}) = q \leq M$. Using the above we will end with only a finite number of rationals in $(a,b)$ which is false. Then $k(x)$ is unbounded on $(a,b)$.

  • 0
    Great. I think the issue I was having was the application of the second inequality to the interval. Thank you for the help :)2011-10-27
1

HINT: If $p$ is prime, $n$ is an integer, and $n/p$ is not an integer, what is $k(n/p)$?

  • 0
    Thanks for the clarification.2011-10-27