0
$\begingroup$

So this question is actually $3$ parts.

  • a) Prove $n < 2^n$ which I have already done.

  • b) Prove that for every real number $\epsilon > 0$, there exists a natural number $n$ such that $0 < \frac{1}{2^n} < \epsilon$.

  • c) A number of the form $\frac{m}{2^n}$ where $m$ and $n$ are integers with $n \geq 0$ is called a dyadic rational number. Prove that for any $x, y \in\mathbb{R}$ with $x < y$, there exists a dyadic rational number $r \in \mathbb{R}$ such that $x < r < y$.

I've already solved part a. I'm not sure where to go on part b and c. I'm thinking I need to use the Archimedean property, but I"m not sure how.

  • 0
    Note that $\frac{1}{2^n} – 2017-01-30

2 Answers 2

2

If you showed that $n < 2^n$ for every positive integer $n$, then you've also shown that

$\frac{1}{2^n} < \frac{1}{n}$

for all positive integers. Given $\varepsilon$, it should be easy now to find $n$ large enough to satisfy the relation in part $b)$

For part $c)$, pick $n$ large enough that $q: = \frac{1}{2^n} < y -x$. Then consider multiples $mq$ of this $q$. In particular, consider the smallest multiple $mq$ in which $x < mq$. By choice, $(m-1)q \leqslant x$, so that

$mq = (m-1)q + q < x + (y-x) = y$

Thus $x < mq < y$. Of course, $mq = \frac{m}{2^n}$ is dyadic

  • 0
    Okay, we have a corollary to the Archimedean principle stating "For any positive real number e, there exists a natural number n such that 0 < 1/n < e." So, for part b, I'm just making recognizing that 1/n < 1/2^n, so we know that 0 < 1/n < 1/2^n < e, which ends the proof for that one. I'm not sure how to format this properly by the way. – 2017-01-30
  • 0
    It's not $\frac{1}{n} < \frac{1}{2^n}$, but rather the other way around: $\frac{1}{2^n} < \frac{1}{n}$. The second of these inequalities (which is the true one) is what you have already proven. Next, to have $\frac{1}{n} < \varepsilon$ is the same as having $1 < n \varepsilon$. This is where the archimedian principle comes in: there must be an integer multiple of $\varepsilon$ that surpasses $1$. – 2017-01-30
  • 0
    Okay. Using the corollary, we know that 1/2^n < e though, right? We just don't know that 0 < 1/2^n. That's what I'm trying to prove. Correct? – 2017-01-30
  • 0
    If you want to use the corollary, then yes you have $1/2^n < 1/n < \varepsilon$. Proving that $0 < 1/2^n$ should be easy. You know that $\frac{1}{2}$ is positive. So multiplying it to itself any number of times must result in a positive number, and thus $\frac{1}{2^n} = \frac{1}{2} \cdots \frac{1}{2} > 0$ (with $n$ factors in the product of halves). Stay with my edits, I keep making typos. – 2017-01-30
  • 0
    Yeah, that makes sense. Thanks. Also, we have a proposition stating that if 0 – 2017-01-30
  • 0
    Yep, that's what I was doing originally anyway. – 2017-01-30
0

Hint :Part B :for fixed $e$$$\dfrac{1}{2^n}<\epsilon \to 2^n>\dfrac1\epsilon \to\\log_{2}{2^n}>\log_{2}{\dfrac1\epsilon} \to n>\log_{2}{\dfrac1\epsilon} \to n \geq \lfloor \log_{2}{\dfrac1\epsilon}\rfloor +1$$