nLab
dyadic rational number

Contents

Definition

A dyadic rational number is a rational number rr \in \mathbb{Q} such that the following equivalent conditions hold

  1. the binary expansion of rr has finitely many digits;

  2. there exists n,an,a \in \mathbb{N} such that r=a2 nr = \frac{a}{2^n}.

References

Last revised on April 29, 2017 at 02:34:41. See the history of this page for a list of all contributions to it.