# Contents

## Definition

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

1. the binary expansion of $r$ has finitely many digits;

2. there exists $n,a \in \mathbb{N}$ such that $r = \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.