現代数学の系譜　カントル　超限集合論2

[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論2 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

741: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2020/03/28(土) 11:16:30.13 ID:MRwZqC/h

>>737
だれか知らないが、コーシー列を誤読しているよ

https://ja.wikipedia.org/wiki/コーシー列
> 収束するかどうか調べるためには、その前に極限値がわからなければ
> ならないのであるが

正確には、下記だ。つまり、
”収束の定義に基づいて点列 (xn) の収束性を判定する場合、極限値 x を推定した上で |xn - x| を評価する必要がある。つまりこの方法で収束するかどうか調べるためには、その前に極限値がわからなければならないのであるが、コーシーの方法ならば極限値の推定は不要であるという利点がある。”
です。上記とは、真逆の意味だよ。分かりますか？
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97
コーシー列
(抜粋)
実数におけるコーシー列
|xn - xm| を評価してコーシー列か判定すれば、極限値を仮定することなく収束性が判定できる。また本質的に同じことだが、級数の収束性を和を仮定せずに判定することもできる。
コーシーの収束判定基準という。
収束の定義に基づいて点列 (xn) の収束性を判定する場合、極限値 x を推定した上で |xn - x| を評価する必要がある。つまりこの方法で収束するかどうか調べるためには、その前に極限値がわからなければならないのであるが、コーシーの方法ならば極限値の推定は不要であるという利点がある。

コーシー列の収束性と空間の完備性
距離空間 (X,d) は、その任意のコーシー列が X 上に極限を持つとき完備であるといい、完備である距離空間を完備距離空間、または単に完備空間という。
“実数の連続性”は、実数全体の成す距離空間 R が完備であることを意味している。 すでに述べたように、Rk や Ck などもすべて完備である。 一方、有理数全体の成す集合 Q やユークリッド空間内の有理点全体 Qkなどを完備でない距離空間の例としてあげることができる。

実数の構成
実数の構成法の一つに、完備化と呼ばれる有理コーシー列から実数を定めるものがある。
(引用終り)

>1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの
>では同値類は異なるよ

いわんとしていることが、正確には理解できないが
空の箱を許容するという意味なら、{実数＋Φ（空）} の可算無限列を作れば良い

http://rio2016.5ch.net/test/read.cgi/math/1576852086/741

749: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2020/03/28(土) 12:43:45.86 ID:MRwZqC/h

(>>593より)
＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜；　＞
により、時枝の複数列の比較は、数学的には本質ではない ことは、すでに示した

さて、時枝の手法は、ある方法で、大きな数d'を与えて
問題の数列の決定番号dに対し d＜d' とできれば
列Xにおいて、Xd'+1から先のしっぽの箱を開けて
列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中できるというもの

これが成立たないことも、すでに>>593に説明した

さらに、ここを掘り下げてみよう！
１．ある方法で、d'が与えられたとする
２．問題の数列 X：X1,X2,・・Xd',Xd'+1,・・ において
　しっぽの箱 Xd'+1,・・ たちを開けて、列Xの同値類を決める
３．そして 同値類の代表列 rXが分かる
４．このとき、2つの場合がおきる
　１）開けた Xd'+1,・・ たちとの比較で、d'＜dとなってしまっている場合（開けたところまでで、すでに代表列rXの箱の数と不一致がある場合）
　　（実は、こうなる確率が１なのだが*) ）この場合、"rXd=Xd"は無意味だ
　　∵ Xdは、すでに開封された箱だから "rXd=Xd"は無意味
　２）もし、d<=d'+1となっている場合(開けたd'+1までの箱の全部が一致の場合)
　　しかしこの場合でも、d=d'+1の可能性が大なのだ
　　∵ d'の箱の比較で、"rXd'≠Xd'"の可能性大。つまり、任意の2つの実数を比較して、"rXd'＝Xd'"なる確率は0にすぎない
５．結局、時枝の数当て 不成立です！！
QED
（＾＾；

注*)（上記の「実は、こうなる確率が１」の説明）
１．dが自然数N全体を渡るとき、有限d'で分けて、n<=d'なるnは有限だが、d'<n なるnは無限
２．従って、自然数N全体からnをランダムに選ぶと、確率 P(n<=d')＝0
　（もっとも、これは正統な確率計算ではない ∵ 自然数Nの一様分布は、正則分布ではないから）
３．なお、時枝記事では、実は、我々は決定番号dを選ぶことができず、ただ代表列rXを選ぶしことしかできない
　　にも関わらず、決定番号dを選ぶことができるが如く錯覚させていることも、時枝トリックの1つだ
　　（これ実は、けっこう重要なのだ）

http://rio2016.5ch.net/test/read.cgi/math/1576852086/749

759: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2020/03/28(土) 21:27:42.03 ID:MRwZqC/h

>>723 補足
　確率空間？（>>747-748）ｗｗ
iid(独立同分布)を仮定すると
可算無限個の箱があっても
箱が1つの場合と同じ確率空間で扱える

これ、確率論の常識ですょ！！
ほとんど、自明でしょｗ
例えば、サイコロの場合、下記です（＾＾；

（参考）
https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E7%A9%BA%E9%96%93
確率空間
(抜粋)
定義
数学、特に確率論において、確率測度（かくりつそくど）とは、可測空間 (S, E) に対し、E 上で定義され P(S) = 1 を満たす測度 P のことである。
このとき、三つ組 (S, E, P) のことを確率空間と呼ぶ。さらに、集合 S を標本空間、S の元を標本あるいは標本点、完全加法族 E の元を事象あるいは確率事象と呼ぶ。また、E の元としての S を全事象という。
事象 E に対し、P の E における値 P(E) を、事象 E の確率という。つまり、E は確率が定義できることがらの集まりである。
必ずしも S の部分集合全てが事象とはならないことに注意されたい。

例
・実数からなる区間 [0, 1] とそのボレル集合族 B からなる可測空間 ([0, 1], B) 上でルベーグ測度 μ を考えれば、μ([0, 1]) の値は区間の長さ |[0, 1]| = 1 ? 0 = 1 に等しいので、μ は ([0, 1], B) 上の確率測度であり、三つ組 ([0, 1], B, μ) は確率空間になる。
・サイコロ投げの確率空間は次のようなものである：
　S = {1, 2, 3, 4, 5, 6}, E = 2^S, P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6)

https://mathtrain.jp/probspace
確率空間の定義と具体例（サイコロ，コイン） | 高校数学の美しい物語 2015/11/06
(抜粋)
確率空間とは (Ω,F,P) の三つ組のことを言います
ただし，
・Ω は集合
・F は Ω の部分集合族（σ -加法族）
・P は F から実数への非負関数（確率測度）
これだけだとよく分からないと思うので，以下で一つずつ解説していきます。
とりあえず「測度論的確率論では，確率を議論するときには確率空間というものの上で考える。そして，確率空間は3つの物のセットのことを表す」と覚えておいて下さい

http://rio2016.5ch.net/test/read.cgi/math/1576852086/759

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.038s