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

[過去ﾛｸﾞ] 現代数学の系譜カントル超限集合論他 3 (548ﾚｽ)
上下前次 1-新

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

1(12): 2020/07/18(土)10:01 ID:ywyns0bH(1/11) AAS
このスレでは、超限集合論その他関連する事項を、全て扱います
脱線ありですｗ

１）テンプレ１
過去スレ
現代数学の系譜　カントル　超限集合論2
2chｽﾚ:math
現代数学の系譜　カントル　超限集合論
2chｽﾚ:math

関連スレ
１）現代数学はインチキのデパート
省22

2(8): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/18(土)10:03 ID:ywyns0bH(2/11) AAS
なお、
おサル＝サイコパス＊のピエロ、不遇な「一石」、サイコパス、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アホ男です（＾＾；
( 外部ﾘﾝｸ:textream.yahoo.co.jp 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊）（Yahoo!でのあだ名が、「一石」）
（＊＊）注；外部ﾘﾝｸ:en.wikipedia.org Hyperboloid
Hyperboloid of two sheets ：画像ﾘﾝｸ[png]:upload.wikimedia.org
外部ﾘﾝｸ:ja.wikipedia.org 双曲面
二葉双曲面：画像ﾘﾝｸ[png]:upload.wikimedia.org
おサル、あいつは双曲幾何の修論でも書いたみたいだなｗ（＾＾）

＜＊）サイコパスの特徴＞
（参考）外部ﾘﾝｸ:blog.goo.ne.jp サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
省10

3(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/18(土)10:05 ID:ywyns0bH(3/11) AAS
＜参考リンク（お薦めサイト）＞
１）渕野先生
外部ﾘﾝｸ[html]:fuchino.ddo.jp 渕野昌 (Sakae Fuchino)
外部ﾘﾝｸ:researchmap.jp 渕野昌フチノサカエ (Sakae FUCHINO)

２）藤田博司先生
外部ﾘﾝｸ[html]:www.math.sci.ehime-u.ac.jp 藤田博司愛媛大学
外部ﾘﾝｸ[html]:www.math.sci.ehime-u.ac.jp 藤田博司集合論ノート
外部ﾘﾝｸ:researchmap.jp 藤田博司フジタヒロシ (Hiroshi Fujita)

３）Stanford Encyclopedia of Philosophy
外部ﾘﾝｸ:plato.stanford.edu
省15

4(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/18(土)10:10 ID:ywyns0bH(4/11) AAS
>>3
つづき

６）代替集合論（よくまとまっている）
外部ﾘﾝｸ[pdf]:www.ivis.co.jp
代替集合論＊（Alternative Set Theories）の調査 2019年 6月 19日（水）古賀明彦わかみず会用資料
（補足）
外部ﾘﾝｸ[html]:www.cs-study.com
代替的な集合論 (Alternative Set Theory) 26th Sep. 2019 (Updated) 6th May 2018 (First) Akihiko Koga

７）圏論
外部ﾘﾝｸ:martbm.はてなブログ/entry/20170723/1500777080 URLが通らないので検索してください
省20

5: 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/18(土)10:12 ID:ywyns0bH(5/11) AAS
>>4
つづき

９）一階〜高階、型理論、モデル理論
外部ﾘﾝｸ:ja.wikipedia.org
一階述語論理
外部ﾘﾝｸ:ja.wikipedia.org
二階述語論理
外部ﾘﾝｸ:ja.wikipedia.org
高階述語論理
外部ﾘﾝｸ:ja.wikipedia.org
省15

6: 2020/07/18(土)10:15 ID:KijQf58W(1) AAS
糞スレ

7(8): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/18(土)10:16 ID:ywyns0bH(6/11) AAS
なお、時枝ｗ
＜転載＞
Inter-universal geometry と ABC予想 (応援スレ) 47
2chｽﾚ:math
583 自分：現代数学の系譜雑談 ◆yH25M02vWFhP [] 投稿日：2020/06/06(土) 09:46:06.53 ID:SrYikU2t [5/10]
(参考：>>370より)
現代数学の系譜工学物理雑談古典ガロア理論も読む80
2chｽﾚ:math
(抜粋)
時枝問題（数学セミナー201511月号の記事）
省13

8(13): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/18(土)10:19 ID:ywyns0bH(7/11) AAS
>>7
前スレより
2chｽﾚ:math
「反例の存在証明」
＜まず確認＞
１．箱への数の入れ方は、「どんな実数を入れるかはまったく自由」である
２．したがって、”独立同分布である i.i.d. IID”（下記）で、箱に数を入れることは可能
３．時枝記事の”勝つ戦略”なるものは
　「ある1つの箱を残して、他の箱を全て開けることを許せば、
　その1つの箱の実数を確率99％（あるいは確率1-ε（εは任意に小さく取れる））で的中できる」
省26

9(11): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/18(土)10:20 ID:ywyns0bH(8/11) AAS
>>8
前スレより
2chｽﾚ:math
補足
＜反例証明2＞
１．時枝の戦略で、100列並べる前のある箱ｍ (=100d+k ：並べ変えた100列中のｋ列のｄ番目の箱）
　が、99％の確率で的中できるとして、時枝戦略による予想では、その箱の数がA0だと示されたとする
２．ところで、時枝記事では、箱に入れる数は、どの箱も出題者の自由だった
３．そこで、>>878と同じようにIIDを仮定すると、そのｍ番目に入れる数もまた、時枝記事のルール上自由だ
　よって、そのｍ番目以外を固定したとして
省7

10(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/18(土)10:22 ID:ywyns0bH(9/11) AAS
>>9
前スレより
2chｽﾚ:math
補足

＜時枝戦略が一見正しいように見える仕掛け＞
・時枝戦略が不成立など、高校生でも直観で分かる
・ＩＩＤ独立同分布なのに、あるｍ番目の箱のみ的中確率99％などなりようがない
・ＩＩＤ独立同分布なのに、あるｍ番目の箱の数を、ｍ番目以外の他の箱を開けて、推測が出来たり、推測の手がかりが得られることはない
・そんなことは、高校生でも分かることだが、ではなぜ当たるように見えるのか？　そのトリックは？
・おそらく、可算無限個の箱にトリックがある
省16

11: 2020/07/18(土)13:42 ID:34X7G75E(1/8) AAS
なにちゃっかりスレチなこと書いてんだｗ

＜証明＞
瀬田は勝つ戦略の存在を理解できません！
一目ですｗ（＾＾；
QED！！

12: 2020/07/18(土)13:47 ID:34X7G75E(2/8) AAS
>>8
時枝戦略の反例は数当てできない実数列なので反例になっていない

13: 2020/07/18(土)13:51 ID:34X7G75E(3/8) AAS
>>8
>２．したがって、”独立同分布である i.i.d. IID”（下記）で、箱に数を入れることは可能
ではIIDで定めた実数列を提示して下さい。可能なんですよね？
できるできる詐欺ですか？

14(1): 2020/07/18(土)13:56 ID:34X7G75E(4/8) AAS
>>8
>３．時枝記事の”勝つ戦略”なるものは
>　「ある1つの箱を残して、他の箱を全て開けることを許せば、
>　その1つの箱の実数を確率99％（あるいは確率1-ε（εは任意に小さく取れる））で的中できる」
>　ということだった
いいえ。
時枝記事に書かれている確率は、ある一つの箱の中身を当てる確率ではなく、100個の箱から99個以上のアタリ箱を選ぶ確率ですよ？
時枝記事について語りたいなら正しく読むことから始めましょう。

15: 2020/07/18(土)14:02 ID:34X7G75E(5/8) AAS
>>9
>１．時枝の戦略で、100列並べる前のある箱ｍ (=100d+k ：並べ変えた100列中のｋ列のｄ番目の箱）
>　が、99％の確率で的中できるとして
この仮定、間違っています。(>>14)
間違った仮定から間違った結論を導いてもナンセンスなだけです。
時枝記事について語りたいなら正しく読むことから始めましょう。

16: 2020/07/18(土)14:08 ID:34X7G75E(6/8) AAS
>>10
>・時枝戦略が不成立など、高校生でも直観で分かる
時枝記事は直観に反するから雑誌記事になり得るのです。
実際、大学数学の知識の無い瀬田は見事にひっかかってますよね？

17(1): 2020/07/18(土)14:11 ID:34X7G75E(7/8) AAS
早くIIDで定めた実数列を提示して下さいねー。可能なんですよねー？
できるできる詐欺ですかー？

18: 2020/07/18(土)17:57 ID:MUPMdT1w(1/3) AAS
84スレ
2chｽﾚ:math
に、ここの>>7-10を抜粋引用の上、徹底的に反駁してやったので読めｗ

19: 2020/07/18(土)18:09 ID:MUPMdT1w(2/3) AAS
>>17
どんな実数列100列を選んだところで、
その決定番号は必ず自然数になるし
他の決定番号より大きな決定番号は
たかだか1つしかない

この時点で　◆yH25M02vWFhPは死んだｗ

このスレ終了ｗｗｗｗｗｗｗｗｗｗｗｗ

20: 2020/07/18(土)18:15 ID:MUPMdT1w(3/3) AAS
◆yH25M02vWFhPには逆立ちしても理解できない話
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp

21: 2020/07/18(土)18:18 ID:34X7G75E(8/8) AAS
既存スレの指摘にまともに反論できていないのに、わざわざ新スレ立ててこっそりやるのは
「反論が無いのはようやく不成立を理解したからだろう」とかやるつもりに違いない。
サイコパスらしい手口だ。バカ丸出し。

22(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/18(土)21:42 ID:ywyns0bH(10/11) AAS
なんか、アホなおサルが最後必死に埋めて
時枝隠しをしようとしたのかな？

なんか気付いたら、スレが埋められていたので
あんたらの恥（時枝）を、彫り出しただけのことですｗ（＾＾

23: 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/18(土)21:43 ID:ywyns0bH(11/11) AAS
>>22 誤変換訂正

あんたらの恥（時枝）を、彫り出しただけのことですｗ（＾＾
　↓
あんたらの恥（時枝）を、掘り出しただけのことですｗ（＾＾

24(2): 2020/07/19(日)07:11 ID:v7bzJjCy(1/2) AAS
>>24
ん？次スレ(雑談84スレ)立ってるじゃん

有難く使えよ

25(2): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/19(日)13:19 ID:2Y0qBKwb(1/2) AAS
>>24
　＞>>24
って、再帰か？　（＾＾
あんたが、有難く使えよば良いだろ（＾＾；

26: 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/19(日)13:20 ID:2Y0qBKwb(2/2) AAS
>>25 タイポ訂正

あんたが、有難く使えよば良いだろ（＾＾；
　↓
あんたが、有難く使えば良いだろ（＾＾；

27: 2020/07/19(日)15:42 ID:v7bzJjCy(2/2) AAS
>>25
で、「箱入り無数目」の記事を貴様が読み間違ってたことには気づけたか？

ほんと４年半もなにやってたんだ　🐎🦌ｗｗｗｗｗｗｗ

28(7): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/26(日)10:17 ID:uQ4z/5zX(1/4) AAS
>>10
補足

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

（参考）
外部ﾘﾝｸ:mathoverflow.net
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.
省5

29(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/26(日)10:37 ID:uQ4z/5zX(2/4) AAS
>>28
可測非可測の話で、ヴィタリ集合は時枝でも取り上げられている
が、確率論ではもう一つ、「全事象の確率は1であるというコルモゴロフの確率の公理に反する」確率分布の話がある

（参考）
外部ﾘﾝｸ:ja.wikipedia.org
ヴィタリ集合
ヴィタリ集合 Giuseppe Vitali (1905)によって作られたルベーグ不可測な実数集合の基本的な例である。
ヴィタリの定理はそのような集合が存在することを保証する存在定理である。不可算に多くのヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。
（「（ヴィタリ集合）V は可測であってはいけない。つまりルベーグ測度 λ はいかなる値（有限あるいは無限）も λ(V) の値として定義してはいけない。」）

外部ﾘﾝｸ:ai-trend.jp
省20

30(5): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/26(日)11:29 ID:uQ4z/5zX(3/4) AAS
>>29 補足
>非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。

これを時枝記事について考えると

１）例えば、宝くじを有限ｎ枚発行して、一等賞くじ（時枝に合わせ）100枚あるとする
２）ｎ枚に連番 1〜ｎを打ち、一等賞くじ 100枚： 1<= m1,m2,・・・,m100 <=n（有限）とする
３）当たりくじ100枚（ m1,m2,・・・,m100 ）から、1枚を選んだとき、
　それが、m100である確率 p＝1/100
４）このような p＝1/100の計算は、”有限ｎ枚発行”の条件下では、正当化できる
　しかし、無限大を考えてｎ→∞ とすると、p＝1/100の計算は、必ずしも正当化できない
５）例えば、”1<= m1,m2,・・・,m100 <=n（有限）”が成立っていないと
省13

31: 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/26(日)11:30 ID:uQ4z/5zX(4/4) AAS
>>30 タイポ訂正

なお、数学的には、時枝記事の成否は、そｎ反例存在： iid(独立同分布)で、終わっています
　　↓
なお、数学的には、時枝記事の成否は、その反例存在： iid(独立同分布)で、終わっています

32: 2020/07/26(日)20:41 ID:9ZaudBKU(1/5) AAS
>>30
>４）このような p＝1/100の計算は、”有限ｎ枚発行”の条件下では、正当化できる
「さて， 1〜100 のいずれかをランダムに選ぶ.」から分かる通りn=100ですけど？

>　しかし、無限大を考えてｎ→∞ とすると、p＝1/100の計算は、必ずしも正当化できない
何の話してんの？

33: 2020/07/26(日)20:47 ID:9ZaudBKU(2/5) AAS
>>30
>６）さらに、例えば、99枚の札 n1,n2,・・・,n99 を選んだとき
>　もし、もう一枚自然数の集合Nからn100を選べるとして、”max( n1,n2,・・・,n99 ) ＜＝ n100 のとき勝ち”というゲームを考えると
何の話してんの？箱入り無数目の話するんじゃなかったの？

34: 2020/07/26(日)20:49 ID:9ZaudBKU(3/5) AAS
>>30
>普通には、勝つ確率 p=1 と考えるのが自然でしょうが（∵選ぶn100には上限無し）（注：この類似設定が時枝記事で出てくる）
どこに？
出て来る箇所を具体的にコピペしてもらえる？

35: 2020/07/26(日)20:58 ID:9ZaudBKU(4/5) AAS
>>30
>７）時枝の数当ては、このような、非正則な分布を使っているので、時枝記事の”確率99/100で勝てる”は、数学的に正当化されないのです
「さて， 1〜100 のいずれかをランダムに選ぶ.」から分かる通り時枝戦略の確率分布は{1,2,…,100}上の一様分布ですよ？
非正則な分布を使っているというならその箇所を引用して下さいねー　妄想はダメですよー

36: 2020/07/26(日)21:24 ID:9ZaudBKU(5/5) AAS
瀬田は相変わらず妄想ばっかりだなｗ
記事に書かれてないことを勝手に妄想していったい何がしたいんだかｗ

37(5): 2020/07/27(月)11:33 ID:dppBRBhf(1/5) AAS
＜転載＞
IUTを読むための用語集資料集スレ
2chｽﾚ:math
266 名前：１３２人目の素数さん[sage] 投稿日：2020/07/27(月) 07:24:54.40 ID:iLzqinnX
２つの無限列s1,s2∈R^Nについて
一致する項の番号の集合が
Nの補有限部分集合（つまりNにおける有限集合の補集合)
ならば同値、というだけのことだろう
（これが、フレシェ・フィルタを用いた同値関係の再定義）
(引用終り)
省14

38: 2020/07/27(月)11:34 ID:dppBRBhf(2/5) AAS
>>37
つづき

外部ﾘﾝｸ:mie-u.repo.nii.ac.jp
二重大学教育学部研究紀要第56巻自然科学 (2005)
一般の汎関数空間上の Fourier変換 (domainが測度空間の場合)
桑原克典新田貴士著
(抜粋)
ここでは自然数全体の集合上のフレシェ・フィルターを含む超フィルターを用
いる一般的な2回の拡大で議論を行った。

このＦ0はフィルターとなるが、これをフレシェ・フィルターという。
省3

39(3): 2020/07/27(月)14:54 ID:dppBRBhf(3/5) AAS
>>37
補足

Frechet filterの英wikipedia記事と
”Examples
On the set N of natural numbers, the set of infinite intervals B = { (n,∞) : n ∈ N} is a Frechet filter base, i.e., the Frechet filter on N consists of all supersets of elements of B.”
あと、MathWorld
”Cofinite Filter
If S is an infinite set, then the collection F_S={ A ⊆ S:S-A is finite} is a filter called the cofinite (or Frechet) filter on S.”

（参考）
外部ﾘﾝｸ:en.wikipedia.org
省17

40(1): 2020/07/27(月)15:07 ID:dppBRBhf(4/5) AAS
>>39
＞ supersets

補足
supersetは、subsetの逆だな
あまり使わないかも

外部ﾘﾝｸ:ejje.weblio.jp
Weblio記号和英辞書での「superset of」の意味
superset of
記号：⊃
(真)部分集合の逆方向
省6

41: 2020/07/27(月)15:12 ID:dppBRBhf(5/5) AAS
>>40 文字化け訂正

If B is a subset of A, then A is a superset of B, written A superset= B.
If A is a proper superset of B, this is written A superset B.
　↓
If B is a subset of A, then A is a superset of B, written A ⊇ B.
If A is a proper superset of B, this is written A ⊃ B.

42(4): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/27(月)21:41 ID:slbIBvLt(1/6) AAS
>>39 補足
外部ﾘﾝｸ[pdf]:arxiv.org
Filters and Ultrafilters in Real Analysis 2012
Max Garcia Mathematics Department California Polytechnic State University

Abstract
We study free filters and their maximal extensions on the set of natural numbers.
We characterize the limit of a sequence of real numbers in terms of the Fr´echet filter, which involves only one quantifier as opposed to the three non-commuting quantifiers in the usual definition.
We construct the field of real non-standard numbers and study their properties.
We characterize the limit of a sequence of real numbers in terms of non-standard numbers which only requires a single quantifier as well.
We are trying to make the point that the involvement of filters and/or non-standard numbers leads to a reduction in the number of quantifiers and hence, simplification, compared to the more traditional ε, δ-definition of limits in real analysis.
省17

43: 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/27(月)21:45 ID:slbIBvLt(2/6) AAS
>>42

これは、フレシェ・フィルターなどを使う”non-standard numbers”、いわゆる超準解析についての論文ですね

44(1): 2020/07/27(月)22:54 ID:Bn7Io8Ul(1/4) AAS
>>37
>それって、時枝記事について、何も言ってないに等しいぞ！
当たり前だろｗ　同値関係を別の方法で再定義するってだけなんだからｗ
解答できなかったからって発狂すんなよｗ

45(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/27(月)22:57 ID:slbIBvLt(3/6) AAS
>>44
だから？
なんだって？

46(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/27(月)23:02 ID:slbIBvLt(4/6) AAS
>>42
例えば
”We are trying to make the point that the involvement of filters and/or non-standard numbers leads to a reduction in the number of quantifiers and hence, simplification, compared to the more traditional ε, δ-definition of limits in real analysis.”
ってあるよね

つまり、
”traditional ε, δ-definition of limits in real analysis”
に対して、Frechet Filter とか、 Ultrafiltersとかを使って、
”Non-Standard Characterization of Limits in R”（いわゆる超準解析）
を展開することを論じている

「同値関係を別の方法で再定義するってだけ」？
省2

47: 2020/07/27(月)23:31 ID:Bn7Io8Ul(2/4) AAS
>>45
フィルタがあが口癖の瀬田がフィルタを全然解ってないってことよ

48: 2020/07/27(月)23:33 ID:Bn7Io8Ul(3/4) AAS
>>46
>「同値関係を別の方法で再定義するってだけ」？
>あほらし
>おへそが茶を沸かすだなｗ
その台詞、正答後だったらカッコよかったんだけどねｗ

49(2): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/27(月)23:39 ID:slbIBvLt(5/6) AAS
>>39
補足

外部ﾘﾝｸ:en.wikipedia.org
Frechet filter
より

”Examples
On the set N of natural numbers, the set of infinite intervals B = { (n,∞) : n ∈ N} is a Frechet filter base, i.e., the Frechet filter on N consists of all supersets of elements of B.[citation needed]”

このExampleは、時枝無関係でしょ
つまり、
”On the set N of natural numbers, the set of infinite intervals B = { (n,∞) : n ∈ N} is a Frechet filter base,”
省5

50(2): 現代数学の系譜雑談 ◆yH25M02vWFhP 2020/07/27(月)23:44 ID:slbIBvLt(6/6) AAS
>>49 タイポ訂正

「ランダムな可算無限数列のシッポの箱を開けたら、開けたところの直前のまだ開けていない箱が、確率99％で的中できる」というデタラメ命題が主張するけど
　↓
「ランダムな可算無限数列のシッポの箱を開けたら、開けたところの直前のまだ開けていない箱が、確率99％で的中できる」というデタラメ命題が主張するけど

追加
”On the set N of natural numbers, the set of infinite intervals B = { (n,∞) : n ∈ N} is a Frechet filter base,”
って、”the set of infinite intervals B = { (n,∞) : n ∈ N}”って、フレシェ・フィルターに”∞”使われていますよｗｗｗ（＾＾
当然だけどな
超準（ノンスタ）だから、
（>>42より）
省2

51: 2020/07/27(月)23:50 ID:Bn7Io8Ul(4/4) AAS
>>49
白紙答案の瀬田、相変わらず勝手に妄想して勝手に発狂してるｗ
誰がフレシェフィルタ使えば箱入り無数目が証明できると言ったんだ？
妄想バカに数学は無理ｗ

52: 2020/07/28(火)00:00 ID:96c6EGvu(1/3) AAS
>>50
>”On the set N of natural numbers, the set of infinite intervals B = { (n,∞) : n ∈ N} is a Frechet filter base,”
>って、”the set of infinite intervals B = { (n,∞) : n ∈ N}”って、フレシェ・フィルターに”∞”使われていますよｗｗｗ（＾＾
>当然だけどな
>超準（ノンスタ）だから、
バカだねえｗ
Bのどの元にも∞は属さないよｗ　おまえ()の意味わからんの？ｗ　なにがノンスタだよバカｗ

ついでにおまえ[citation needed]までコピペしちゃってるけど意味分ってる？要出典だよｗ　バカｗ

53: 2020/07/28(火)00:01 ID:96c6EGvu(2/3) AAS
瀬田って恐ろしいほどのバカだねｗ
自分のコピペくらい理解しとけよｗ

54(2): 2020/07/28(火)11:04 ID:U9fCF8yb(1/6) AAS
>>42
補足

下記PDFで
”This new system would be constructed in a manner similar to Cauchy’s construction of the real numbers”
”Let us consider the factor ring
R~^N = R^N/ 〜Fr
where 〜Fr is the equivalence relation defined by
(an)〜Fr(bn) if and only if {n : an = bn} ∈ Fr.
This is no different to saying that (an) is equivalent to (bn) if and only if
an = bn for all sufficiently large n. ”
省25

55(1): 2020/07/28(火)11:05 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
省2

56: 2020/07/28(火)11:09 ID:U9fCF8yb(3/6) AAS
>>54

ところで、このPDF
外部ﾘﾝｸ[pdf]:arxiv.org
Filters and Ultrafilters in Real Analysis 2012
Max Garcia Mathematics Department California Polytechnic State University

に、フレシェ・フィルター Fr を使って
”where 〜Fr is the equivalence relation defined by
(an)〜Fr(bn) if and only if {n : an = bn} ∈ Fr.”
数列のシッポの同値ってやってますよね

で？
省7

57(7): 2020/07/28(火)13:39 ID:U9fCF8yb(4/6) AAS
>>55
”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.”

１．Fr フレシェ・フィルター使って、
　”to saying that (an) is equivalent to (bn) if and only if an = bn for all sufficiently large n. ”
　つまりは、十分大きなｎの先で一致する数列、(an) と (bn) との同値（equivalent）が定義できる
２．で？ Fr フレシェ・フィルターって、(an) と (bn) とか、具体的な数列には無関係なんですよね
　（>>50 "On the set N of natural numbers, the set of infinite intervals B = { (n,∞) : n ∈ N} is a Frechet filter base," とか PDF P8の”2.1.1 Definition (Fr´echet Filter). ”の通り）
省11

58: 2020/07/28(火)13:43 ID:U9fCF8yb(5/6) AAS
>>57

つづき

９．その説明が、下記2013年12月09日にmathoverflowで、議論されている
　二人の数学Dr Alexander Pruss 氏と Tony Huynh氏の説明で
　二人は、「時枝の議論は測度論的に不成立」と言っています（>>28）

（>>28より再録）
外部ﾘﾝｸ:mathoverflow.net
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.
省7

59: 2020/07/28(火)13:51 ID:U9fCF8yb(6/6) AAS
>>57 タイポ訂正

４．一方時枝は、数列 (an) で、ある自然数数ここではmとして、mより大きな数列 (an) の数値が分かれば
　その値から、am （あるいは i <m なる ai ）の値が分かるという主張
　　↓
４．一方時枝は、数列 (an) で、ある自然数ここではmとして、mより大きな数列 (an) の数値が分かれば
　その値から、am （あるいは i <m なる ai ）の値が分かるという主張

自然数数→自然数
な（＾＾；

60: 2020/07/28(火)21:50 ID:96c6EGvu(3/3) AAS
>>57
>６．それって、明らかにムリゲーでしょｗ。なぜなら、数列 (an) のシッポとそれより前の am ないし i <m なる ai の値は、無関係なんだから
同値類と決定番号が理解できないアホにはそう思えるんだろうね
100列作れば単独最大の決定番号はたかだか1列なんだから代表からのカンニングに失敗するもたかだか一列
という論理が理解できないんだろう
バカには無理なので諦めて下さい

61: 2020/07/29(水)00:57 ID:+yeFOzcU(1/4) AAS
>>57
>７．そして、それは、大学の確率教程のIID（独立同分布）を知っていれば、反例になることはすぐ分かる
>　大学の確率教程のIID（独立同分布）を使って、確率変数 X1,X2,・・・Xn,・・・なる可算無限数列を作れば
>　コイントスなら確率1/2、サイコロなら確率1/6 なととなって、確率99/100％なんて、どこからも出てこない
コイントスだろうがサイコロだろうが実数だろうが時枝解法なら確率99/100以上です。
時枝解法は当てずっぽう解法ではなく代表から情報をもらう解法ですから、当てずっぽうでの確率は関係ありません。
バカには無理なので諦めて下さい。

62: 2020/07/29(水)00:59 ID:+yeFOzcU(2/4) AAS
>>57
>確率99/100％なんて、どこからも出てこない
「さて， 1〜100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 」
から出てきますけど？
バカには無理なので諦めて下さい。

63: 2020/07/29(水)01:11 ID:+yeFOzcU(3/4) AAS
>>57
もし
「さて， 1〜100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 」
を否定したいなら、n>m かつ n<m を満たす自然数の組n,mの例を挙げて下さいねー

64: 2020/07/29(水)11:53 ID:+yeFOzcU(4/4) AAS
「s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 」
を否定する瀬田は自然数全体の集合が全順序であることを否定するトンデモ。一流とか三流とか以前。

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

あと 484 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.040s