IUTを読むための用語集資料集スレ

[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

240: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/07/26(日) 12:22:17.29 ID:uQ4z/5zX

>>233
>箱入り無数目の同値関係をフレシェ・フィルタを用いて定義することはできると思う？

同値関係は、別に問題ない
問題は、時枝の確率計算 99/100が、測度論的に正当化されないってことだよ
（なお、確率論のIID（独立同分布）が時枝の反例になっているよ。IID（独立同分布）が理解できないようだね（＾＾；）

時枝記事の類似は、2013年12月09日にmathoverflowで、議論されている
二人の数学Dr Alexander Pruss 氏と Tony Huynh氏と、それ以外に質問者Denis氏（彼はコンピュータサインスの人）の周囲の人（"other people argue it's not ok"）
たちは、「時枝の議論は測度論的に不成立」と言っている

（参考）
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13
(抜粋)
・・・but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.

answered Dec 11 '13 at 21:07 Math Dr. Alexander Pruss 氏
・・・But we have no reason to think the event of guessing correctly is measurable with respect to the probability measure induced by the random choice of sequence and index i
・・・Intuitively this seems a really dumb strategy.

answered Dec 9 '13 at 17:37 Math Dr. Tony Huynh氏
・・・If it were somehow possible to put a 'uniform' measure on the space of all outcomes, then indeed one could guess correctly with arbitrarily high precision, but such a measure doesn't exist.

http://rio2016.5ch.net/test/read.cgi/math/1592654877/240

249: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/07/26(日) 14:43:46.01 ID:uQ4z/5zX

>>242
補足

檜山正幸：”トム・レンスター（Tom Leinster）の記事 "Where Do Ultrafilters Come From?" に、超フィルターの確率測度としての解釈が書いてあってちょっとビックリしました。”
ってあるけど？
で、フレシェ (仏: Frechet) フィルターは下記、wikipedia「無限集合 X の補有限部分集合全体 Pfin(X) 」として
１．無限集合 Xには、時枝記事の何を取るつもり？　自然数Ｎ？　実数Ｒ？ 時枝の可算無限実数列？ 代表番号の集合 d1,d2,・・d100ｗｗｗ ？ どれですか（＾＾
２．時枝の同値類と、フレシェ フィルターとの関係や如何にｗ（＾＾
３．トム・レンスター（Tom Leinster）は、超フィルターの確率測度としての解釈書いたらしい（檜山）
　では問う。フレシェ フィルターと、超フィルターとは違うよね？（下記wikipediaに書いてある通り”超フィルターが自由なこととフレシェフィルターを含むことが同値”）。
　ならば、フレシェ フィルターで、トム・レンスターみたく 確率測度やってみてよｗ（＾＾

（参考）
https://m-hiyama.はてなBlog/entry/20131217/1387245762
檜山正幸のキマイラ飼育記 (はてなBlog)
超フィルター（ultrafilter）って何なんだ： 点？ 確率測度？ 2013-12-17
(抜粋)
確率測度としての超フィルター
トム・レンスター（Tom Leinster）の記事 "Where Do Ultrafilters Come From?" に、超フィルターの確率測度としての解釈が書いてあってちょっとビックリしました。

超フィルターを確率測度と見なすには、上の定義そのままだとキビシイので次のように少し変更します。
１．A⊆X ならば、μ(A) = 0 または μ(A) = 1 （確率は0か1のどちらか）
　・
　・
　・
超フィルターの特性関数χが、実は確率測度になります。
超フィルターに対応する確率測度をベースにして、どんな確率論が展開できるのか僕はよく分かりません。
しかし、点概念と確率測度概念、あるいは幾何空間と確率空間は、なにかしらの繋がりがあることの状況証拠であるとは思います。

*1:僕はよく分かってません。
*2:主超フィルター以外の超フィルターの例を作るのは難しいですが。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1592654877/249

261: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/07/26(日) 20:15:49.85 ID:uQ4z/5zX

>>260
つづき

ブール代数の表現論における集合体
ストーン表現
任意の有限ブール代数はある集合の冪として表現できる。
この冪集合はブール代数のアトムの集合で、ブール代数の各元はそれに属するアトムの集合（和がブール代数のその元になるもの）に対応付けられる。
この冪集合表現はもっと一般に任意の完備かつアトミックなブール代数に対しても構成できる。
完備アトミックでないブール代数の場合にも、冪集合の代わりに集合体を考えることによって冪集合表現の一般化を考えることができる。
そのためにやるべき事は、まず有限ブール代数のアトムをその超フィルターに対応付けて、アトムが有限ブール代数の元に属するのはその元がそのアトムに対応する超フィルターに含まれることと定める。
これは自身の超フィルターの集合をとり、ブール代数の各元をそれを含む超フィルターに対応付けることによって複体の集合を構成するというブール代数の構成法を導く。
この構成法は集合代数としてのブール代数の表現もきちんと誘導し、その表現はストーン表現として知られる。
これはブール代数のストーン表現論における基本であり、順序集合論におけるイデアルやフィルターに基づく（デデキント切断に類似した）完備化の例である。

https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E5%8A%A0%E6%B3%95%E7%9A%84%E6%B8%AC%E5%BA%A6
有限加法的測度
(抜粋)
有限加法的測度（ゆうげんかほうてきそくど、英: finitely additive measure）または容積（ようせき、英: content, 独: Inhalt）とは、測度と同様に与えられた集合の部分集合に対して 非負の拡張実数を割り当てる集合函数である。
代表的な有限加法的測度としてジョルダン測度がある。
完全加法族上の測度は「可算加法的」測度である（任意の完全加法族は有限加法族であり、任意の測度は有限加法的測度である）。
有限加法的測度は、ある条件下で一意的な測度への拡張が存在する（E.ホップの拡張定理）。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1592654877/261

263: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/07/26(日) 20:16:56.72 ID:uQ4z/5zX

>>262
つづき

https://ja.wikipedia.org/wiki/%E5%AE%8C%E5%85%A8%E5%8A%A0%E6%B3%95%E6%97%8F
完全加法族
(抜粋)
完全加法族（かんぜんかほうぞく、英: completely additive class [of sets]）、可算加法族（かさんかほうぞく、英: countably additive class [of sets]）あるいは (σ-)加法族、σ-集合代数（シグマしゅうごうだいすう、英: σ-algebra [of subsets over a set]）、σ-集合体（シグマしゅうごうたい、英: σ-field [of sets]）[注 1]は、主な用途として測度を定義することに十分な特定の性質を満たす集合の集まりである。
特に測度が定義される集合全体を集めた集合族は完全加法族になる。この概念は、解析学ではルベーグ積分に対する基礎付けとして重要であり、また確率論では確率の定義できる事象全体の成す族として解釈される。
完全加法族を接頭辞「完全」を付けずに単に「加法族」と呼ぶことも多い（つまり、有限加法族の意味ならば接頭辞「有限」を省略しないのがふつう）ので注意が必要である[1]。
・集合 X 上の σ-集合代数の定義は「集合 X の部分集合からなる族 Σ であって、可算回の合併、交叉と補演算という集合演算について閉じていて、合併についても交叉についても単位元を持つようなもの」である。
・集合 X 上の完全加法族の定義は「X の部分集合の空でない族 Σ で、X 自身を含み、補集合を取る操作（補演算）および可算な合併に関して閉じているもの」である。
即ちこれは、有限加法族あるいは集合代数であって[注 2]、かつその演算を可算無限回まで含めて順序完備（英語版）化したものになっている。集合 X とその上の完全加法族 Σ との対 (X, Σ) は可測空間と呼ばれる集合体になる。

https://ja.wikipedia.org/wiki/%E3%83%AB%E3%83%99%E3%83%BC%E3%82%B0%E6%B8%AC%E5%BA%A6
ルベーグ測度
ルベーグ可測な集合全体は完全加法族を為す。
そうしてルベーグ可測集合 A に対するルベーグ測度 λ を λ(A) := λ*(A) で定義する。
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1592654877/263

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.037s