レイリーの定理の排他性と相補性について、もう一度整理しておきたい。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

α、βを1１/α＋１/β＝１を満たす正の無理数とする。このとき,２つの整数列A={[nα]},B={[nβ]}において、

[1]排他性： A∩B=φ

[2]相補性： A∪B={1,2,3,・・・}

すなわち、２つの数列は共通項がなく、併せてすべての整数を与える

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝