シュニレルマン密度
シュニレルマン密度 (Schnirelmann density) は、整数列の密度の概念の一種である。この概念を定義・研究した数学者L.G.シュニレルマンに因む。
目次 |
定義 [編集]
A を自然数からなる集合とし、
を A の元のうち 1 以上 n 以下のものの個数とする。このとき、実数

が必ず定義され、これを A のシュニレルマン密度という。
例 [編集]
- 自然数全体の集合のシュニレルマン密度は 1 である。
- 奇数全体の集合のシュニレルマン密度は 1/2 である。
- 偶数全体の集合 E のシュニレルマン密度は 0 である (E(1)=0 であるため)。
- 1 と偶数全体からなる集合のシュニレルマン密度は 1/2 である。
- 1 と素数からなる集合のシュニレルマン密度は 0 である。
- 1 と2つの素数の和で表される整数からなる集合のシュニレルマン密度は 正 である(後述)。
性質 [編集]
次の性質は定義から明らかである。

- すべての n に対して

ならば 
ならば
.
- 特に、 A が 1 を含まなければ、
である。また、 A が 2 を含まなければ、
である。
ならば、任意の正の ε に対して、
となる n が存在する。- A が 1 を含んでおり、正の下極限密度を持つとき、
である。
加法的整数論への応用 [編集]
シュニレルマン密度は A の小さな部分に強く依存する。しかし、比較的容易に加法的整数論に関する定理を得ることができるため、シュニレルマンによって早くから研究がなされた。
以下、
と表されるもの全体の集合を A + B と記す。また、
と表されるもの全体の集合を nA と記す。 nA が自然数全体の集合と一致する最小のn に対して A を位数 n の加法的な基 (additive basis)もしくは単に基であるという。たとえば四平方定理より 0 と平方数からなる集合は位数 4 の基である。 どのような整数列が基であるか、また基であるときにその位数がいくつかを知ることが加法的整数論の中心的な課題である。
定理 A と B を自然数の集合で、共に 0 を含むものとする。
とすると、
が成り立つ。
このことは次のようにして分かる。
を A の元全体とする。
ならば 上の不等式の右辺は
に等しいから
(よって
である)の場合を考える。
かつ
ならば、
は C の元であるが A の元ではない。 B が 0 を含んでいることより C は A の元を含んでいるから、
とおくと、

ここで
が常に成り立つことから

となる。
が常に成り立つから、

である。これより定理が示された。
この定理を変形すると

となる。これを帰納的に適用して、

を得る。
また、
定理
かつ A が 0 を含んでいるならば A +B はすべての整数を含んでいる
ことがわかる。実際、
ならば、 n および
の形の数は B に含まれないから、
となり、よって
となる。
上記の二つの定理から、A が 0 を含んでおり、正のシュニレルマン密度を持つならば、ある自然数 n に対して
となり、よって nA はすべての整数を含んでいることがわかる。
ある種の整数列はシュニレルマン密度 0 を持つが、その整数列の一定数の元の和で表される整数の集合が正のシュニレルマン密度を持つ。 したがって、上の結果からそのような整数列は基であることが分かる。
シュニレルマンがこの概念を研究したのはゴールドバッハの予想の研究のためであった。P を 0, 1 と素数からなる集合とすると、これはシュニレルマン密度 0 を持つが、シュニレルマンはブルンの篩を用いて P + P が正のシュニレルマン密度を持つことを示した。よって P は基である。すなわち、ある定数 c が存在し、全ての整数は 高々c 個の素数の和で表される。シュニレルマンは
を示している。このことに因んで、「1 より大きい全ての整数が高々 c 個の素数の和で表される」が正しくなる最小の c をシュニレルマン定数と呼ぶ。ゴールドバッハの予想が正しいなら
となる。
1942年にH.B.マンは、L.G.シュニレルマン自身が夙にランダウとの討論から予想し、「アルファ-ベータ予想」として有名になっていた以下の定理を証明した。
定理 A と B を自然数の集合で、共に 0 を含むものとする。 このとき A + B は全ての自然数を含むか、または
が成り立つ。
よって、 A が 0 を含んでおり、また
ならば A は位数が高々 n の基であることが分かる。
参考文献 [編集]
- L. G. Schnirelmann, Über additive Eigenschaften von Zahlen., Math. Ann. 107 (1932/33), 649--690.
- H. Halberstam and K. F. Roth, Sequences, Clarendon Press, Oxford, 1966, revised edition, Springer-Verlag, New York, 1983.
- Melvyn B. Nathanson, Additive number theory : the classical bases, GTM 164, Springer-Verlag, New York, Tokyo, 1996.


ならば 
ならば
.
である。
となる n が存在する。
とすると、
かつ A が 0 を含んでいるならば A +B はすべての整数を含んでいる