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