Dyadic fraction

Dyadic rationals in the interval from 0 to 1.

In mathematics, a dyadic fraction or dyadic rational is a rational number whose denominator is a power of two, i.e., a number of the form a/2b where a is an integer and b is a natural number; for example, 1/2 or 3/8, but not 1/3. These are precisely the numbers whose binary expansion is finite.

The inch is customarily subdivided in dyadic rather than decimal fractions; similarly, the customary divisions of the gallon into half-gallons, quarts, and pints are dyadic. The ancient Egyptians also used dyadic fractions in measurement, with denominators up to 1/64, using a notation based on the Eye of Horus (see, e.g., Curtis).

The set of all dyadic fractions is dense in the real line: any real number x can be arbitrarily closely approximated by dyadic rationals of the form \lfloor 2^i x \rfloor / 2^i. Compared to other dense subsets of the real line, such as the rational numbers, the dyadic rationals are in some sense a relatively "small" dense set, which is why they sometimes occur in proofs. (See for instance Urysohn's lemma.)

The sum, product, or difference of any two dyadic fractions is itself another dyadic fraction:

\frac{a}{2^b}+\frac{c}{2^d}=\frac{2^{d-b}a+c}{2^d} \quad (d\ge b)
\frac{a}{2^b}-\frac{c}{2^d}=\frac{2^{d-b}a-c}{2^d} \quad (d\ge b)
\frac{a}{2^b}-\frac{c}{2^d}=\frac{a-2^{b-d}c}{2^b} \quad (d< b)
\frac{a}{2^b}\times \frac{c}{2^d} = \frac{ a \times c}{2^{b+d}}.

However, the result of dividing one dyadic fraction by another is, in general, not a dyadic fraction. Thus, the dyadic fractions form a subring of the rational numbers Q. Algebraically, this subring is the localization of the integers Z with respect to the set of powers of two.

The surreal numbers are generated by an iterated construction principle which starts by generating all finite dyadic fractions, and then goes on to create new and strange kinds of infinite, infinitesimal and other numbers.

Dyadic solenoid

Main article: Solenoid (mathematics)

As an additive abelian group the dyadic rationals are the direct limit of infinite cyclic subgroups of the rational numbers,

\varinjlim \left\{2^{-i}\mathbb{Z}\mid i = 0, 1, 2, \dots \right\}

In the spirit of Pontryagin duality, there is a dual object, namely the inverse limit of the unit circle group under the repeated squaring map

\zeta\mapsto\zeta^2.

The resulting dual is a topological group D called the dyadic solenoid, an example of a solenoid group.

An element of the dyadic solenoid can be represented as an infinite sequence of complex numbers q0, q1, q2, ..., with the properties that each qi lies on the unit circle and that, for all i > 0, qi2 = qi-1. The group operation on these elements multiplies any two sequences componentwise.

As a topological space the dyadic solenoid is an indecomposable continuum.

See also

References

Open source encyclopedia content modification information:

This page was last modified on 6 December 2009 at 21:54.

Authorship and Review

Open source encyclopedia content provided here is not reviewed directly by MedLibrary.org. Content is sourced directly from Wikipedia and is authored by an open community of volunteers. It is not produced by or in any way affiliated with MedLibrary.org.

Usage Guidelines

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article on "Dyadic fraction", which is available in its original form here:

http://en.wikipedia.org/w/index.php?title=Dyadic_fraction

All material adapted used from Wikipedia is available under the terms of the GNU Free Documentation License. Wikipedia® itself is a registered trademark of the Wikimedia Foundation, Inc.