23

「任意に選んだ2数が互いに素である確率」を成り立たせる確率測度は存在するか?

1890
2

はじめに

Mathlogで「 任意に選んだ2数が互いに素である確率 」という記事を見かけました.
この記事で述べられている主張は以下のようなものです(表現は少し変えてあります).

2つの自然数をランダムに選ぶとき,それらが互いに素である確率はζ(2)1=6π2である.

え〜??

この主張は色々と不思議ですが,突っ込みたいのは「自然数をランダムに選ぶってどういうこと??」ということです.
だって,自然数は(可算)無限個あるのだから,各自然数を等しい確率p(>0)で選ぶとすると,pがどんな数であっても各自然数を選ぶ確率をすべて足し合わせるとその値はp×=となってしまいます.
そのため,自然数をランダムに選ぶなんてことは不可能なのではないかと思われます.

しかし,その記事の証明を見ると,「自然数をランダムに選ぶ」ことにおいて本質的な事柄は以下だと思われます.

(☆) 自然数をランダムに選ぶとき,それがkの倍数になる確率は1kである.

これは直感的には理解できます.
なぜなら,自然数のうちkの倍数である自然数はk個に1個あるから,もし自然数全体から自然数をランダムに選べるとすれば,選んだ自然数がkの倍数になる確率が1kであるのは自然だと思われるからです.

そこで,「自然数をランダムに選ぶ」ことを実現するために,一つ一つの自然数に対してそれが選ばれる確率を定めるのではなく,性質(☆)をもつ(N,P(N))上の確率測度を定めればいいのではないかというアイデアが思いつきます.
しかし,残念ながら,そのような確率測度は存在しません
本記事ではそれを示します.

なお,本記事では,自然数全体の集合N0を要素にもたないとします.

確率空間の定義と性質

まず,問題を定式化するために,確率測度の定義とあとで用いる性質について述べます.
個々の定義や命題について特に解説はしません.

(1)Ωを集合とし,FP(Ω)Ωの部分集合の族とする(P(Ω)Ωの部分集合全体の集合を表す).Fσ-加法族であるとは,Fが以下の条件を満たすときにいう.

  1. ΩF

  2. AFならばAc=ΩAF

  3. AnF(nN)ならばn=1AnF

集合Ωσ-加法族Fの組(Ω,F)可測空間という.

  1. (Ω,F)を可測空間とする.F上の関数μ:F[0,]で以下の条件を満たすものを((Ω,F)上の)測度といい,3つ組(Ω,F,μ)測度空間という.
  1. μ()=0

  2. (σ-加法性) 互いに素な集合の列AnF(nN),AiAj=(ij)に対してμ(n=1An)=n=1μ(An)

特に,μ(Ω)=1であるとき,μ確率測度であるといい,3つ組(Ω,F,μ)確率空間という.

また,μが2つ目の条件の代わりに次の条件

2'. (有限加法性)A1,A2F,A1A2=に対してμ(A1A2)=μ(A1)+μ(A2)

を満たすとき,μは有限加法的測度であるという.

測度の連続性

(Ω,F)を可測空間とする.μ:F[0,]は有限加法的測度でありμ(Ω)<であるとする.このとき,次の条件は同値である.

  1. μσ-加法的である.

  2. AnF(nN)が単調増加(A1A2であること.これをAnとかく)のとき,
    μ(n=1An)=limnμ(An)

  3. AnF(nN)が単調減少(A1A2であること.これをAnとかく)のとき,
    μ(n=1An)=limnμ(An)

  4. AnF(nN)が単調減少でn=1An=(これをAnとかく)のとき,
    limnμ(An)=0

命題1の系

(Ω,F,μ)を測度空間とするとき,AnF(nN)に対して
μ(n=1An)=limNμ(n=1NAn)が成り立つ.

本題

問題の定式化

「はじめに」で述べたことは以下のように定式化できます.
考える可測空間を(N,P(N))とします.
自然数kNに対して,kの倍数全体の集合をNk={nN|nkの倍数}とおきます.

このとき,「性質(☆)をもつ(N,P(N))上の確率測度を定めることができるか?」ということは,

(N,P(N))上の確率測度μ:P(N)[0,1]であって,任意の自然数kNに対してμ(Nk)=1kを満たすものは存在するか?

と言い換えられます.

「はじめに」でも述べたように,このような確率測度μは存在しません.
これを命題として書きます.

(N,P(N))上の確率測度μ:P(N)[0,1]であって,任意の自然数kNに対してμ(Nk)=1kを満たすものは存在しない

題意の確率測度が存在しないことの証明

以下,上述した命題を示します.
題意の条件を満たす(N,P(N))上の確率測度μが存在したとして矛盾を導きます.
Nk={nN|nkの倍数}です.
また,PNを素数全体の集合とします.

q1,q2,qnPを相異なる素数とする.

(1)i=1nNqi=Nq1q2qnが成り立つ.

(2)
μ(i=1nNqi)=1i=1n(11qi)
が成り立つ.

μ(i=1nNqi)は,直感的な確率の言葉でいえば,自然数をランダムに選ぶときにそれがq1,q2,,qnのどれかの倍数になる確率を表すといえます.

私は整数論のセンスに乏しいため,包除原理によってゴリ押しで示します.

(1)q1,q2,qnは相異なる素数であるから,i=1nNqiq1q2qnの倍数全体,すなわちNq1q2qnに等しい.

  1. 一般に,A1,A2,,AmP(N)に対して,包除原理
    μ(i=1mAi)=k=1m(1)k1I{1,2,,m},|I|=kμ(iIAi)が成り立つ(右辺の内側の和は,m以下の自然数の集合{1,2,,m}の部分集合I{1,2,,m}のうち要素数がkであるもの全体にわたって和をとることを表す).
    これを用いると,
    μ(i=1nNqi)=k=1n(1)k1I{1,2,,n},|I|=kμ(iINqi)であり,(1)より
    μ(i=1nNqi)=k=1n(1)k1I{1,2,,n},|I|=kμ(NiIqi)=k=1n(1)k1I{1,2,,n},|I|=kiI1qi
    となる.
    ここで,i=1n(1xi)の展開を考えると,
    i=1n(1xi)=1+k=1n(1)kI{1,2,,n},|I|=kiIxi
    であるから,
    μ(i=1nNqi)=1i=1n(11qi)
    となる.

準備が整ったので,本題の命題を証明します.
測度の連続性(命題1)から矛盾を導きます.

命題3の証明

素数に小さい順に番号をつけてP={p1,p2,}とする.
nNに対して An=i=nNpiとおく.
集合列(An)nNは単調減少でありn=1An=である,すなわちAn

nNに対して,測度の連続性(命題2)と命題4より
μ(An)=μ(i=nNpi)=limNμ(i=nNNpi)=limN(1i=nN(11pi))
である.
limNi=nN(11pi)を求めたい.
まずi=1(11pi)を求める.
これは,ゼータ関数のオイラー積表示より
i=1(11pi)=(i=1111pi)1=(k=11k)1=0
である.
よって,
limNi=nN(11pi)=limN(i=1n1(11pi))1i=1N(11pi)=(i=1n1(11pi))10=0
となるから,
μ(An)=limN(1i=nN(11pi))=10=1.

これが任意のnNについて成り立つからlimnμ(An)=1となるが,いまAnであるから測度の連続性(命題1の4つ目の条件)に矛盾する.したがって,題意の条件を満たす確率測度μは存在しない.

以上によって,性質(☆)をもつ(N,P(N))上の確率測度が存在しないことが示されました.

おわりに

本記事では,性質(☆)をもつ(N,P(N))上の確率測度が存在しないことを示しました.
これは,自然数全体から1つの自然数を,「任意の自然数kNに対して,選ぶ自然数がkの倍数になる確率が1kになる」という意味でランダムに選ぶことはできない,ということです.

なお,冒頭で紹介した記事での議論が無意味なものかというとそうではなく,たとえば,n以下の自然数をランダムに2つ選ぶ(これは有限個のものから選ぶのでちゃんと選べる)ときにそれらが互いに素になる確率をanとすれば,limnan=ζ(2)1=6π2になるといえそうです(ほんとかな?).

直感的な議論を厳密に検証するのは面白いですね.

参考文献

投稿日:20201111
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

fumyuu
fumyuu
25
3331
数学見習い。解析がすき。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 確率空間の定義と性質
  3. 本題
  4. 問題の定式化
  5. 題意の確率測度が存在しないことの証明
  6. おわりに
  7. 参考文献