ビーティ数列

数学におけるビーティ列（ビーティれつ、英: Beatty sequence, homogeneous Beatty sequence）は正の無理数の整数倍の床関数をとることによって得られる整数列である。ビーティ列の名称は、1926年にそれらについて著したに因む。 レイリー卿に名を因むレイリーの定理は、ビーティ列の補集合（数列に現れない正整数からなる集合）がそれ自身別の無理数で生成されるビーティ列となることを述べる。 ビーティ列はの生成にも用いられる。