Category:Beatty Sequences

From ProofWiki
Jump to navigation Jump to search

This category contains results about Beatty Sequences.
Definitions specific to this category can be found in Definitions/Beatty Sequences.


Let $x$ be an irrational number.

The Beatty sequence on $x$ is the integer sequence $\BB_x$ defined as:

$\BB_x := \sequence{\floor{n x} }_{n \mathop \in \Z_{\ge 0} }$