Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X \subseteq \mathbb{N}^2$ be the set $\{(x,y) \, : \, y \text{ is the greatest power of 2 dividing } x\}$. I'm wondering how the set gets when multipled by the non negative rationals, i.e. what is $\mathbb{Q}_{\geq 0}X$?

share|cite|improve this question
"How the set gets"? – rschwieb Oct 26 '12 at 16:31
up vote 2 down vote accepted

Claim: $$\mathbb Q_{\ge 0}X = \left\{(x,y)\in\mathbb Q_{>0}^2\mid \frac xy\in 2\mathbb N-1\right\}\cup\{(0,0)\}$$


"$\supseteq$": Clearly $(0,0)= 0\cdot (1,1)\in \mathbb Q_{\ge 0}X$ becuse $(1,1)\in X$. Let $x,y,$ be positive rational numbers such that $k:= \frac xy$ is an odd natural number. Then $(k,1)\in X$ and $y\cdot(k,1)=(x,y)\in\mathbb Q_{\ge 0}X$.

"$\subseteq$": Let $(n,m)\in X$ and $q\in \mathbb Q_{\ge0}$. If $q=0$, then $q\cdot(n,m)=(0,0)$ and we are done. Otherwise, $q=\frac rs$ for suitable natural numbers $r,s$. Also, we have $m=2^k$ with $k\in\mathbb N_0$ and $n=um$ with $u$ an odd natural number. Note that $q\cdot(n.m)=(x,y)$ with $x=qn$, $y=qm$. Then $x>0$ and $y>0$ because $q$, $n$ and $m$ are positive. Moreover, $\frac xy=\frac{n}{m}=u$ is an odd natural number, i.e. an element of $2\mathbb N-1$.$_\blacksquare$

share|cite|improve this answer
Thank you! Do you mind giving a short explanation? Or just an intuition? – Mark T. Oct 26 '12 at 16:23

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.