ビーティ数列

数学におけるビーティ列（ビーティれつ、）は正の無理数の整数倍の床関数をとることによって得られるである。ビーティ列の名称は、1926年にそれらについて著したに因む。
レイリー卿に名を因むレイリーの定理は、ビーティ列の補集合（数列に現れない正整数からなる集合）がそれ自身別の無理数で生成されるビーティ列となることを述べる。
ビーティ列はの生成にも用いられる。
定義.
正の無理数 はビーティ列 を生成する。
 ならば もまた正の無理数で、これら二つは等式 を自然に満足する。これらが生成する二つのビーティ列 はビーティ列の相補対を成す。ここに「補」("complementary") は任意の正整数がこれら二つの列のうちどちらかちょうど一つに属することを意味している。
例.
 を黄金比とすれば、 である。この場合、整数列 は下ワイソフ列
であり、補列 は上ワイソフ列
である。これらの列はの最適戦略を定義し、の定義に用いられる。
もう一つの例として、, の場合、数列は 
あるいは に対する列は
これら数列の対に関して、第一の列に現れるどの数も第二の列には現れず、またその逆も言えるということに注意せよ。
歴史.
ビーティ列がその名で呼ばれるようになるのは、1926年に雑誌 "" において が提起した問題に由来する。この問題はおそらく、その雑誌に提案された中でも最も引用される問題の一つである。しかし、それよりもずっと以前の1894年に、同じ数列がレイリーの著書 "The Theory of Sound" の第二版で簡単に言及されている。
レイリーの定理.
レイリーの定理（またはビーティの定理）は与えられた任意の無理数 に対し、無理数 が存在して二つのビーティ列 は正整数全体の成す集合を分割する。すなわち、各正整数はこの二つの整数列のうちちょうど一方に属する
性質.
さらに言えば、formula_3 なる条件とも同値である。
スツルム文字列との関係.
無理数 に付随するビーティ列 の第一階差 は、字母集合 上のである。
一般化.
はレイリーの定理を一般化するもので、整数函数およびその逆函数から定義されるより一般の列の対が、同じ整数全体の集合の分割性質を持つことを示す。
の定理は、正の実数 に対し が全ての整数をちょうど一つずつ含むならば であることを述べる。つまり、三つ以上のビーティ列の組に関するレイリーの定理と同等の定理は存在しない。