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
    You have to show that for every open interval $(a,b)$, $k$ is unbounded on $(a,b)$. That is, for every $M$ there exists $x \in (a,b)$ with $|k(x)| \ge M$. Can you see how to show this?2011-10-27
  • 0
    So am I proving the absences of an upper and lower bound?2011-10-27
  • 0
    Since $k(x)\ge 0$ for all $x$, you need only show that given an interval $(a,b)$ and a number $M$, there is some $x\in(a,b)$ such that $k(x)\ge M$.2011-10-27
  • 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
    I'm not sure I follow.2011-10-27
  • 0
    Is n/p necessarily rational or irrational? Per the problem, given x irrational, then k(x) = 0, so if t = n/p, then k(t) = 0.2011-10-27
  • 1
    @Jon: Here $n$ is intended to represent an integer, so $n/p$ is rational. I’ve now clarified the question.2011-10-27
  • 0
    Thanks for the clarification.2011-10-27