お気付きの点がありましたらご指摘いただけますと幸いです。
![](https://cdn-ak.f.st-hatena.com/images/fotolife/c/cookie-box/20211229/20211229151958.png)
[1] の 99 ページに以下のようにありますね。 は区間
の値を取る一様乱数です。
だったら、
を以下のようにとる。
![](https://cdn-ak.f.st-hatena.com/images/fotolife/c/cookie-box/20211229/20211229151958.png)
いま示したいことは以下ですね。
![](https://cdn-ak.f.st-hatena.com/images/fotolife/c/cookie-box/20211229/20211229151958.png)
では、小数点以下が2桁のときはどうなるでしょうか。 を考えてみましょう。 さっきと同様に、
をどの桁の数字がどうあるべきかでいい直してみましょう。
の小数第1位が5未満、または、小数第1位が5かつ小数第2位が3未満
の小数第1位が5未満、または、小数第1位が5かつ小数第3位が3未満
の小数第1位が5未満
の小数第1位が5かつ小数第3位が3未満
![](https://cdn-ak.f.st-hatena.com/images/fotolife/c/cookie-box/20211229/20211229151958.png)
こうなると、小数点以下の桁数が3のときにも拡張できそうですね。つまり、以下です。
これはさらに一般化できそうですね。いま、 である
の小数第
位の数を
とします。また便宜上
とします。そうすると、
の小数点以下の桁数が有限の
ならば以下になります。
![](https://cdn-ak.f.st-hatena.com/images/fotolife/c/cookie-box/20211229/20211229151958.png)
そして も一様乱数になりますね。
とは
の部分がやや異なりますが、一様分布にしたがうことが確認できます。
![](https://cdn-ak.f.st-hatena.com/images/fotolife/c/cookie-box/20211229/20211229151958.png)
も
も一様乱数であることは確認できたので、これらが互いに独立であることを示しましょう。つまり、
であるどんな
についても、
であることを示しましょう。
しかし、どうすればいいのやら。具体的な例から考えてみますか。 を考えると、
も
も小数点以下が2桁なので、どちらも
のどの桁がどうあるべきかに「A または B」というタイプの要請をしてきます。なので、
への要請は 4 つに分かれます。それでこの場合は結局、独立な 2 つの一様分布の同時分布になります。
P(U_1 < 0.34, U_2 < 0.56) = P(U_1 < 0.3, U_2 < 0.5) + P(U_1 < 0.3, 0.5 ≦ U_2 < 0.56) + P(0.3 ≦ U_1 < 0.34, U_2 < 0.5) + P(0.3 ≦ U_1 < 0.34, 0.5 ≦ U_2 < 0.56) = P(U の 小数第1位が3未満 かつ 小数第2位が5未満) + P(U の 小数第1が3未満 かつ 小数第2位が5 かつ 小数第4位が6未満) + P(U の 小数第1位が3 かつ 小数第2位が5未満 かつ 小数第3位が4未満) + P(U の 小数第1位が3 かつ 小数第2位が5 かつ 小数第3位が4未満 かつ 小数第4位が6未満) = P(0.00 ≦ U < 0.05) + P(0.10 ≦ U < 0.15) + P(0.20 ≦ U < 0.25) + 10 * ( P(0.0500 ≦ U < 0.0506) + P(0.1500 ≦ U < 0.1506) + P(0.2500 ≦ U < 0.2506) ) + P(0.300 ≦ U < 0.304) + P(0.310 ≦ U < 0.314) + P(0.320 ≦ U < 0.324) + P(0.330 ≦ U < 0.334) + P(0.340 ≦ U < 0.344) + P(0.3500 ≦ U < 0.3506) + P(0.3510 ≦ U < 0.3516) + P(0.3520 ≦ U < 0.3526) + P(0.3530 ≦ U < 0.3536) = 3 * 0.05 + 10 * 3 * 0.0006 + 5 * 0.004 + 4 * 0.0006 = 0.3 * 0.5 + 0.3 * 0.06 + 0.5 * 0.04 + 0.04 * 0.06 = 0.3 * 0.56 + 0.04 * 0.56 = 0.34 * 0.56
![](https://cdn-ak.f.st-hatena.com/images/fotolife/c/cookie-box/20211229/20211229151958.png)
ではこれを任意の桁数に一般化して……えっと……あれ……一般の場合も上の要領で導出しようとすると煩雑になりそうですね……。
![](https://cdn-ak.f.st-hatena.com/images/fotolife/c/cookie-box/20211229/20211229162343.png)
こうしたら?
このとき、
![](https://cdn-ak.f.st-hatena.com/images/fotolife/c/cookie-box/20211229/20211229151958.png)
小数点以下の桁数が無限でも成り立つことを後でかく → PDF にかいたが副部長のアプローチでは結局かいていない