nLab dyadic rational number

Redirected from "dyadic rationals".
Contents

Contents

Idea

A dyadic rational number is a rational number rr \in \mathbb{Q} such that the binary expansion of rr has finitely many digits.

Definition

As a subset of the rational numbers

A dyadic rational number is a rational number rr \in \mathbb{Q} such that there exists nn \in \mathbb{N} and aa \in \mathbb{Z} such that r=a2 nr = \frac{a}{2^n}.

As the localisation of the integers at 2

The commutative ring of dyadic rational numbers [1/2]\mathbb{Z}[1/2] is the localization of the integers \mathbb{Z} away from 22.

As an initial object of a category

For lack of a better name, let us define a set with dyadic rational numbers to be a set AA with a function ι×A\iota \in \mathbb{Z} \times \mathbb{N} \to A, such that

a.b.c.d.(a2 d=c2 b)(ι(a,b)=ι(c,d))\forall a \in \mathbb{Z}. \forall b \in \mathbb{N}. \forall c \in \mathbb{Z}. \forall d \in \mathbb{N}. (a \cdot 2^d = c \cdot 2^b) \implies (\iota(a, b) = \iota(c, d))

The integer a:a:\mathbb{Z} represents the integer if one ignores the separator in the binary numeral representation of the dyadic rational number, and the natural number b:b:\mathbb{N} represents the number of digits to the left of the final digit where the separator ought to be placed after in the binary numeral representation of the dyadic rational number. The axiom above is used to state that equivalent numeral representations are equal: i.e. 1.00 = 1.000 with binary numeral representations.

A homomorphism of sets with dyadic rational numbers between two sets with dyadic rational numbers AA and BB is a function f:ABf:A \to B such that

a.b.f(ι A(a,b))=ι B(a,b)\forall a \in \mathbb{Z}. \forall b \in \mathbb{N}. f(\iota_A(a, b)) = \iota_B(a, b)

The category of sets with dyadic rational numbers is the category SwDRNSwDRN whose objects Ob(SwDF)Ob(SwDF) are sets with dyadic rational numbers and whose morphisms Mor(A,B)Mor(A,B) for sets with dyadic rational numbers AOb(SwDRN)A \in Ob(SwDRN), BOb(SwDRN)B \in Ob(SwDRN) are homomorphisms of sets with dyadic rational numbers. The set of dyadic rational number, denoted [1/2]\mathbb{Z}[1/2], is defined as the initial object in the category of sets with dyadic rational number.

Properties

Algebraic closure

The algebraic closure [1/2]¯\overline{\mathbb{Z}[1/2]} of the dyadic rational numbers is called the field of algebraic numbers, and is thus isomorphic to ¯\overline{\mathbb{Q}}, the algebraic closure of the rational numbers.

Topologies

There are several interesting topologies on [1/2]\mathbb{Z}[1/2] that make [1/2]\mathbb{Z}[1/2] into a topological group under addition, allowing us to define interesting fields by taking the completion with respect to this topology:

  1. The discrete topology is the most obvious, which is already complete.

  2. The absolute-value topology is defined by the metric d(x,y)|xy|d(x,y) \coloneqq {|x - y|}; the completion is the field of real numbers.

    (This topology is totally disconnected.)

  3. The 22-adic topology is defined by the ultrametric d(x,y)1/nd(x,y) \coloneqq 1/n where nn is the highest exponent on 22 in the prime factorization of |xy|{|x - y|}; the completions of each metric are the fields of 22-adic numbers.

References

Last revised on November 23, 2023 at 21:47:41. See the history of this page for a list of all contributions to it.