[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
55(1): 2020/07/28(火)11:05:03.25 ID:U9fCF8yb(2/6)調 AAS
>>54
つづき
This is no different to saying that (an) is equivalent to (bn) if and only if
an = bn for all sufficiently large n. Thus the elements in our new system are
equivalence classes of real sequences, denoted by <an>. We now define the
relevant operations and order of our new system.
P14
Chapter 3
Non-standard Analysis
3.1 Construction of the Hyperreals *R
(引用終り)
以上
86(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/01(土)14:19:16.25 ID:4zrQNSRp(2/3)調 AAS
>>68-69
(引用開始)
２．例えば、宝くじでいえば、発行枚数M枚で、番号を１〜M番までとして
一等賞１枚、二等賞を10枚とします。発行枚数Mが有限なら、確率的取り扱いができます
３．ところが、M→∞とすると、「確率測度として成り立っていない」ことになります
つまり、無限枚発行したら、当る確率は0。本来、二等賞は、一等賞の10倍の確率で当たるはず
ところが、1/10という計算が正当化されません。なぜなら、二等賞も、一等賞も、当たる確率0ですから
(引用終り)
繰返すが、上記の発行枚数Mで、M→∞とすると、「確率測度として成り立っていない」ことになります
非正則な分布になります（>>67ご参照）
さて
M→∞の別な例をあげましょう
ブラックジャックというトランプゲームがあります。（下記）
これを単純化して、1〜Mの自然数のカードが各1枚ある
単純に大きい数を引いた人が勝ちとする
XとYさん２名。
Xさんが先にカードを引く。もし、その数がMなら必勝で、1なら必敗。M/2未満なら勝てる確率が低くなる
M/2を基準として、M/2を下回る程度が大きければ、どんどん勝てる確率が低くなる
さて、M→∞とする。Xさんが引いたカードの数をxとすると、" x << M/2(M→∞) " なので必敗！
同じことは、Yさんについても言えるので、矛盾です
この矛盾は、M→∞という非正則な分布で確率を考えたことで起こりました
M→∞という非正則な分布で確率を考えることは、ダメってことです
時枝の決定番号に同じです。（X,Y二人のカード、x,y という数は存在するが、その確率計算は、非正則な分布を使うので、正当化されない！）
QED
（＾＾
（参考）
https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%A9%E3%83%83%E3%82%AF%E3%82%B8%E3%83%A3%E3%83%83%E3%82%AF
ブラックジャック（英語: Blackjack）は、トランプを使用するゲームの一種。
つづく
87: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/01(土)14:19:58.25 ID:4zrQNSRp(3/3)調 AAS
>>86
つづき
遊び方
プレイヤーはディーラー（胴元）との間で1対1の勝負を行う。つまり、プレイヤーが複数いる場合には、ディーラーは複数のプレイヤーと同時に勝負をすることになる。
各プレイヤーの目標は、21を超えないように手持ちのカードの点数の合計を21に近づけ、その点数がディーラーを上回ることである。
手の中のカードの点数は、カード2〜10ではその数字通りの値であり、また、絵札であるK（キング）、Q（クイーン）、J（ジャック）は10と数える。A（エース）は、1と11のどちらか、都合のよい方で数えることができる。
(引用終り)
以上
125(1): 2020/08/04(火)10:35:57.25 ID:IS+2McMD(1/2)調 AAS
箱入り無数目より引用
「箱それぞれに，私が実数を入れる.（中略）そして箱をみな閉じる. 今度はあなたの番である.」
瀬田に質問
「あなた」が数当てで用いる100個の決定番号は「箱をみな閉じる.」の時点で固定される。Y/N
182: 2020/09/18(金)00:56:47.25 ID:zs2UU8cH(1)調 AAS
>>177
なんだかんだ言って結局証明できんやな
いつも口だけやな
191: 2020/09/21(月)20:14:55.25 ID:Lnon6Ca0(1)調 AAS
そうですね
私もそう思います
204: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/01(木)15:15:53.25 ID:7fZLD5Mp(2/2)調 AAS
>>203
つづき
（参考）
https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83
独立同分布（どくりつどうぶんぷ、英: independent and identically distributed; IID, i.i.d., iid）や独立同一分布（どくりつどういつぶんぷ）とは、確率論と統計学において、確率変数の列やその他の系が、それぞれの確率変数が他の確率変数と同じ確率分布を持ち、かつ、それぞれ互いに独立している場合をいう[1]。
https://ai-trend.jp/basic-study/bayes/improper_prior/
AVILEN AI Trend 2020/04/14 ライター：masa
非正則事前分布とは？〜完全なる無情報事前分布〜
積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。
よって、厳密には、非正則な分布は確率密度関数ではありません。
https://ja.wikipedia.org/wiki/%E8%A3%BE%E3%81%AE%E9%87%8D%E3%81%84%E5%88%86%E5%B8%83
裾の重い分布あるいはヘヴィーテイルとは、確率分布の裾がガウス分布のように指数関数的には減衰せず[1]、それよりも緩やかに減衰する分布の総称。 また類似の用語に、ファットテイル、裾の厚い分布、ロングテール、劣指数的(subexponential)などがある。
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7%E5%AE%9A%E7%90%86
コンパクト性定理
コンパクト性定理とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である
つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである
https://fuchino.ddo.jp/kobe/jyohokiso-2012-compactness.pdf
有限から無限への移行原理としての命題論理 渕野昌 2012
P7
命題論理のコンパクト性定理
定理1 Tのすべての有限部分集合が充足可能なら T も充足可能である
コンパクト性定理は，無限の性質が本質的かかわっている定理である
命題論理のコンパクト性定理は，有限の世界で成立する命題のアナロジーが無限の世界でも成立することを証明するときの強力な道具の１つとなる
(引用終り) 以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s