ビーティ数列

無理数の正の倍数の整数部分からなる数列

数学におけるビーティ列(ビーティれつ、: Beatty sequence, homogeneous Beatty sequence)とは、1 より大きい無理数整数倍の床関数をとることによって得られる整数列である。ビーティ列の名称は、1926年にそれらについて著したサミュエル・ビーティ英語版に因む。

レイリー卿に名を因むレイリーの定理は、ビーティ列の補集合(ただし全体集合は正整数からなる集合)がそれ自身別の無理数で生成されるビーティ列となることを述べる。

ビーティ列はスツルム語英語版の生成にも用いられる。

定義

編集

正の無理数 r はビーティ列 r ≔ ⌊r⌋, ⌊2r⌋, ⌊3r⌋, … を生成する。

r > 1 ならば sr/r − 1 もまた 1 より大きい無理数で、これら2つは等式 1/r + 1/s = 1 を満たす。これらが生成する2つのビーティ列 r, sビーティ列の相補対を成す。ここに「補」("complementary") は任意の正整数がこれら2つの列のうちどちらかちょうど1つに属することを意味している。

(例1)

rφ黄金比とすれば、s = φ + 1 (= φ2) である。これに対するビーティ数列の内、(⌊nr⌋)下ワイソフ列

1, 3, 4, 6, 8, 9, 11, 12, 14, 16, 17, 19, 21, 22, 24, 25, 27, 29, …オンライン整数列大辞典の数列 A000201

であり、補列 (⌊ns⌋)上ワイソフ列

である。これらの列はワイソフのゲームの必勝形を与え、ワイソフ配列英語版の定義に用いられる。

(例2)

r2 とすると、s = 2 + 2 となる。これに対するビーティ数列は

  • 1, 2, 4, 5, 7, 8, 9, 11, 12, 14, 15, 16, 18, 19, 21, 22, 24, …A001951);
  • 3, 6, 10, 13, 17, 20, 23, 27, 30, 34, 37, 40, 44, 47, 51, 54, 58, …A001952).

(例3)

rπ とすると、s = π/π − 1 となる。これに対するビーティ数列は

  • 3, 6, 9, 12, 15, 18, 21, 25, 28, 31, 34, 37, 40, 43, 47, 50, 53, …A022844);
  • 1, 2, 4, 5, 7, 8, 10, 11, 13, 14, 16, 17, 19, 20, 22, 23, 24, 26, …A054386).

歴史

編集

ビーティ列がその名で呼ばれるようになるのは、1926年に雑誌 American Mathematical Monthly英語版においてサミュエル・ビーティ英語版 が提起した問題に由来する[1][2]。この問題はおそらく、その雑誌に提案された中でも最も引用される問題の一つである。しかし、それよりもずっと以前の1894年に、同じ数列がレイリーの著書 The Theory of Sound[3]の第二版で簡単に言及されている。

レイリーの定理

編集

レイリーの定理(またはビーティの定理)とは、与えられた任意の無理数 r > 1 に対し、無理数 s > 1 が存在して、2つのビーティ列 r, ℬs は正整数全体の成す集合を分割し、各正整数はこの2つの整数列のうちちょうど一方に属する[3]:123という定理である。

性質

編集
命題
m ∈ ℬr となるための必要十分条件は
 

なることである。ここに、[x]1c の小数部分 [x]1x − ⌊x である。

証明:
 

さらに言えば、  なる条件とも同値である。

証明:
 

スツルム文字列との関係

編集

無理数 r に付随するビーティ列 r第一階差 ⌊(n + 1)r⌋ − ⌊nr は、字母集合 {⌊r⌋, ⌊r⌋ + 1} 上の特性スツルム語英語版である。

一般化

編集

ランベック–モーザーの定理英語版はレイリーの定理を一般化するもので、整数函数およびその逆函数から定義されるより一般の列の対が、同じ整数全体の集合の分割性質を持つことを示す。

ウスペンスキー英語版の定理は、正の実数 α1, …, αn に対し (⌊i⌋)k,i≥1 が全ての整数をちょうど一つずつ含むならば n ≤ 2 であることを述べる。つまり、3つ以上のビーティ列の組に関するレイリーの定理と同等の定理は存在しない[4][5]

出典

編集
  1. ^ Beatty, Samuel (1926). “Problem 3173”. American Mathematical Monthly 33 (3): 159. doi:10.2307/2300153. 
  2. ^ Beatty, S.; Ostrowski, A.; Hyslop, J.; Aitken, A. C. (1927). “Solutions to Problem 3173”. American Mathematical Monthly 34 (3): 159-160. doi:10.2307/2298716. JSTOR 2298716. 
  3. ^ a b Rayleigh, 3rd Baron (1894). The Theory of Sound. 1 (Second ed.). Macmillan 
  4. ^ Uspensky, J. V. (1927), “On a problem arising out of the theory of a certain game”, Amer. Math. Monthly 34: 516-521 
  5. ^ Graham, R. L. (1963), “On a theorem of Uspensky”, Amer. Math. Monthly 70: 407-409, https://mathweb.ucsd.edu/~fan/ron/papers/63_01_uspensky.pdf 

関連文献

編集
  • Holshouser, Arthur; Reiter, Harold (2001). “A generalization of Beatty's Theorem”. Southwest Journal of Pure and Applied Mathematics 2: 24–29. オリジナルの2014-04-19時点におけるアーカイブ。. https://web.archive.org/web/20140419014134/http://math.uncc.edu/preprint/2002/generalization-beattys-theorem. 
  • Stolarsky, Kenneth (1976). “Beatty sequences, continued fractions, and certain shift operators”. Canadian Mathematical Bulletin 19 (4): 473-482. doi:10.4153/CMB-1976-071-6. MR0444558.  Includes many references.

外部リンク

編集