Binary expansion

Every real number in $[0,1]$ is a sum ${\sum }_{j\ge 1}{\epsilon }_j{2}^{-j}$ with binary digits ${\epsilon }_j\in \{0,1\}$.

A base-two positional fraction with a binary point separating nonnegative and negative powers of two. For example, $10.101_2=2+1/2+1/8=21/8$. A finite expansion is a dyadic rational: with $F$ fractional places, its value is an integer divided by $2^F$. Conversely, any nonnegative reduced fraction whose denominator is a power of two has a finite binary expansion. Leading integer zeroes and trailing fractional zeroes do not change its value.

A representation $n={\sum }_{i\ge 0}{a}_i{2}^i$ with $a_i\in \{0,1,2\}$ and only finitely many nonzero coefficients. If $h(n)$ counts these representations, then $h(0)=1$, $h(2m+1)=h(m)$, and $h(2m)=h(m)+h(m-1)$ for $m\ge 1$. The integer parity of $n$ determines whether the coefficient of $2^0$ must be 1 or may be 0 or 2.

A dyadic rational has the form $m/2^k$. Its terminating binary expansion has an alternative expansion ending in infinitely many $1$ digits.