Definition:Nonary Notation

From ProofWiki
Jump to navigation Jump to search

Definition

Septenary notation is the technique of expressing numbers in base $9$.

That is, every number $x \in \R$ is expressed in the form:

$\ds x = \sum_{j \mathop \in \Z} r_j 9^j$

where:

$\forall j \in \Z: r_j \in \set {0, 1, 2, 3, 4, 5, 6, 7, 8}$