X



トップページ数学
1002コメント829KB

現代数学の系譜 工学物理雑談 古典ガロア理論も読む75

■ このスレッドは過去ログ倉庫に格納されています
0001現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/15(木) 21:38:04.61ID:brP98meI
この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。

このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜(^^
最近、AIと数学の関係が気になって、その関係の記事を集めています〜(^^
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。

スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。

スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを(^^

なお、
小学レベルとバカプロ固定
サイコパスのピエロ(不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets (Yahoo!でのあだ名が、「一石」。知能が低下してサルになっています)
(参考)http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
(なお、サイコの発言集「実際に人を真っ二つに斬れたら 爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述(^^; )
High level people (知能の低い者が、サルと呼ばれるようになり、残りました。w(^^; )
低脳幼稚園児のAAお絵かき
上記は、お断り!!
小学生がいますので、18金(禁)よろしくね!(^^

(旧スレが1000オーバー(又は間近)で、新スレを立てた)
0234哀れな素人
垢版 |
2019/08/17(土) 16:34:11.65ID:W8+WGsHp
>>230
以前に何度も説明しているだろが(笑

お前らは僕がどんな重要なことを書いても、
アホだから、その重要さに気付かない(笑
0235哀れな素人
垢版 |
2019/08/17(土) 16:36:28.29ID:W8+WGsHp
>>232
お前はそのペアノの公理の意味が分っているのか(笑

と言ってもバカには無理か(笑

>>233
お前を叩くためにいつまでもここに来る(笑
0236哀れな素人
垢版 |
2019/08/17(土) 16:41:44.73ID:W8+WGsHp
ID:h0TAsPzg
ID:+5QXhyrz

これはどちらもアホのサルだが、
違うとしてもまったく同レベルのアホだ(笑

文章も中高生じみていて見分けが付かない(笑
0237132人目の素数さん
垢版 |
2019/08/17(土) 16:46:22.69ID:+5QXhyrz
>>235
おまえみたいなバカに叩けるの?(笑
0238132人目の素数さん
垢版 |
2019/08/17(土) 16:51:10.00ID:+5QXhyrz
>>234
何を出し惜しみしてんだ?
どうせゴミ屑並みの説明なんだろ?(笑
聞いてつかわすから言ってみな
0239132人目の素数さん
垢版 |
2019/08/17(土) 16:56:30.67ID:4Tqla7J5
>>223

>したがって
>>可算無限個を定義するのに、
>>非可算無限個の{}を必要
>なんてことはない

アホww
カッコの数は部分集合の数に対応してるんだぞww
0240哀れな素人
垢版 |
2019/08/17(土) 17:03:23.82ID:W8+WGsHp
ID:4Tqla7J5

これもたぶんアホ猿だろう(笑

何か面白いスレはないかと他スレを覗いてみたが、
どのスレも過疎だ(笑

このスレだけは賑わっているが、
まともな人間はこのスレにはやってこない(笑

スレ主の大量のコピペのせいもあるが
サル石というキチガイがいるからでもある(笑
0242132人目の素数さん
垢版 |
2019/08/17(土) 17:19:49.83ID:+5QXhyrz
>>240
>まともな人間はこのスレにはやってこない(笑
まったくだ
国文バカやらサル畜生やらキチガイばっか(笑
0243哀れな素人
垢版 |
2019/08/17(土) 17:21:39.19ID:W8+WGsHp
>>241
イミフなレス乙(笑
お前は文章が中高生じみているから
それだけで中二のアホだと判断される(笑
だから誰もこのスレに来ない(笑

ところでサル石は、そんなに数学に自信があるなら、
自分の数学ブログでも開けばいいのである(笑

レベルの高い人はみんな開いている(笑

なぜ開かないのか(笑

自信がないからか(ゲラゲラ
0244哀れな素人
垢版 |
2019/08/17(土) 17:23:01.78ID:W8+WGsHp
>>242
サル畜生でキチガイのお前が言うことではない(笑
0245哀れな素人
垢版 |
2019/08/17(土) 17:28:59.68ID:W8+WGsHp
ID:h0TAsPzg
ID:+5QXhyrz
ID:4Tqla7J5

実はこれは全部アホのサル石なのである(笑

スレ主は成立派が二名いると思っているが、
実はサル石だけである(笑
0246哀れな素人
垢版 |
2019/08/17(土) 17:30:04.63ID:W8+WGsHp
今夕はここまで(笑
0247132人目の素数さん
垢版 |
2019/08/17(土) 17:34:30.97ID:4Tqla7J5
>>243

お前も、サルと同レベルのケンカをしているぞwww。

このレスに常駐すると、みんな、頭がおかしくなるのかな・・・。
まともなのは、宇宙人と更新している人だけかww
0248132人目の素数さん
垢版 |
2019/08/17(土) 18:05:02.59ID:+5QXhyrz
>このレスに常駐すると、みんな、頭がおかしくなるのかな・・・。
一番頭がおかしいのは3年半も嘘デタラメ垂れ流し続けてるキチガイだけどなw
0249現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 18:25:30.03ID:sbItYGIt
スレ74 https://rio2016.5ch.net/test/read.cgi/math/1564659345/924-
>「p進距離」は一見不思議な距離の定義ですが、オストロフスキーの定理 - Wikipediaを紹介、証明することで

追加参考
http://www.math.sci.hiroshima-u.ac.jp/algebra/index-j.html
広島大学理学部数学科 代数数理講座
http://www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/gairon.pdf
有理数体上のノルム 都築 暢夫 大学院講義「数学概論」 2005
「数学概論」の最後の 2 回は、有理数体上のノルムを完全に決定した A.Ostrowski の定理を紹介する。
(抜粋)
3.2. 積公式. ノルムに関する定理を一つ紹介する。例えば類体論等において、大域的な対象の局
所的な寄与を加え得ると自明になることがよくあるが、積公式は最初の重要な例である。

上の定理は、Riemann 球面上 (複素射影直線) の留数定理の類似である。すなわち、f(z) を
Riemann 球面上の有理型関数とすると、f(z) は高々有限個の点 p1, ・ ・ ・ , pr で零点か極を持ち、そ
の位数を n1, ・ ・ ・ , nr とすると

となる。実際、有理数 a の各素数 p での np = ?log|a|p/logp は、a の p での位数、すなわち、a
の p 進展開
a = anp pnp + anp+1pnp+1 + ・ ・ ・ (anp ≠ 0)
の初項の位数を表わす。対数をとると、これらに logp を掛けたものを足し合わせると 0 になる。
ただし、∞ の部分は少し異なり、単純な類似ではない。
∞ のところは可微分多様体としてのメトリックを置き、Spec Z 上の代数幾何を考察する方法
を Arakerov 幾何といい、数論の重要な一分野をなしている。

3.3. 有理整数環 Z 上のセミノルム.

20 世紀前半の代数幾何においては、(セミ) ノルム (または付値) を点と考えるやり方も重要な方
法であった。60 年代に、A.Grothendieck によるスキーム論が登場して、ある意味忘れられた感が
あるが、リジット解析による代数幾何の再構成 (60 年代の J.Tate に始まる) により、その重要さが
再認識されてきている。ここで述べた M(Z) は、V.G.Berkovich による Z の解析空間であり、
スキーム Spec Z とは異なる通常の感覚の位相空間が伴っている。
藤原一宏による Zariski-Riemann空間等の拡張もあり、今後の発展が期待される分野である。
0251132人目の素数さん
垢版 |
2019/08/17(土) 18:42:22.45ID:+5QXhyrz
>>250
はぁ? 俺がいつどんな嘘デタラメ垂れ流した? 具体的に言ってみ? 言えないなら謝罪しろ
0252132人目の素数さん
垢版 |
2019/08/17(土) 18:46:39.26ID:+5QXhyrz
俺が嘘デタラメ垂れ流した
という嘘デタラメを平気で垂れ流すキチガイサイコパス、それがスレ主
0253132人目の素数さん
垢版 |
2019/08/17(土) 18:48:28.48ID:+5QXhyrz
キチガイサイコパスのスレ主は自分が働いた悪事を人のせいにするクズっぷり
0254現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 18:56:01.92ID:sbItYGIt
>>224
サルの数学は定義がないのか?w(^^
まず、”同相”の定義を書いて見ろ
ばかサル

"同相でないものを同相にするのに
どういう操作が必要か?
答え
「ある箇所から
 0222・・・
 2000・・・
 となる2つの3進小数をくっつけて1つにする」"

だってさw
”同相”の定義を書いた瞬間に、この
「ある箇所から  0222・・・  2000・・・
 となる2つの3進小数をくっつけて1つにする」

これに火が付くもんな〜!w(^^
これが、ナンセンスだと丸分かりだからな〜w
おサルは、定義を書く脳もなければ、定義を書いた瞬間に、おサルの数学のバカさ加減が露呈するからな〜ww(^^

「ある箇所から  0222・・・  2000・・・
 となる2つの3進小数をくっつけて1つにする」だってww(^^
"同相でないものを同相”にする操作だってさ、おサルさん、それ妄想でしょw

(引用開始)
>>176 返信:132人目の素数さん[] 投稿日:2019/08/17(土) 09:48:05.61 ID:h0TAsPzg [7/13]
>3進カントール集合を[0,1]と同相にする簡単な方法は?
朝鮮人スレ主は上記の文章を
「3進カントール集合を[0,1]と同相”だと示す”簡単な方法は? 」
と読み違えた。

>>167 返信:132人目の素数さん[] 投稿日:2019/08/17(土) 09:28:56.48 ID:h0TAsPzg [1/13]
誰も同相だとはいってない
同相でないものを同相にするのに
どういう操作が必要か?
というのが問い
その答えが
「ある箇所から
 0222・・・
 2000・・・
 となる2つの3進小数をくっつけて1つにする」
これが位相を変える操作だと気づけないスレ主って…馬鹿だろw
(引用終り)

(引用開始)
>>21 名前:132人目の素数さん[] 投稿日:2019/08/16(金) 06:40:27.76 ID:WjfkqcDK [2/40]
スレ主に質問
・3進カントール集合を[0,1]と同相にする簡単な方法は?

>>32 名前:132人目の素数さん[] 投稿日:2019/08/16(金) 08:09:36.85 ID:WjfkqcDK [6/40]
>>21
スレ主にしつこく質問
・3進カントール集合を[0,1]と同相にする簡単な方法は?
(引用終り)
0255現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 19:05:22.90ID:sbItYGIt
>>254
>はぁ? 俺がいつどんな嘘デタラメ垂れ流した? 具体的に言ってみ? 言えないなら謝罪しろ

ああ、>>254
まず、”同相”の定義を書いて見ろ

で、
"同相でないものを同相にするのに
どういう操作が必要か?
答え
「ある箇所から
 0222・・・
 2000・・・
 となる2つの3進小数をくっつけて1つにする」"
だってさw

>>176 返信:132人目の素数さん[] 投稿日:2019/08/17(土) 09:48:05.61 ID:h0TAsPzg [7/13]
>3進カントール集合を[0,1]と同相にする簡単な方法は?
朝鮮人スレ主は上記の文章を
「3進カントール集合を[0,1]と同相”だと示す”簡単な方法は? 」
と読み違えた。
(引用終り)
だったね

>>167 返信:132人目の素数さん[] 投稿日:2019/08/17(土) 09:28:56.48 ID:h0TAsPzg [1/13]
誰も同相だとはいってない
同相でないものを同相にするのに
どういう操作が必要か?
というのが問い
(引用終り)
だったね

3進カントール集合を[0,1]とは、同相ではないんだね(同相の定義によると思うが)
で、同相でない、3進カントール集合を[0,1]と同相にする簡単な方法は?

答え
「ある箇所から
 0222・・・
 2000・・・
 となる2つの3進小数をくっつけて1つにする」"
だってさw

早く、”同相”の定義を書いて見ろ

”答え
「ある箇所から
 0222・・・
 2000・・・
 となる2つの3進小数をくっつけて1つにする」"
が、嘘デタラメでなければ(ちゃんと証明できるなら)、即座にスレを締めて、数学板を去りますよww(^^;

再度いう、答え
「ある箇所から
 0222・・・
 2000・・・
 となる2つの3進小数をくっつけて1つにする」"
は、嘘デタラメ垂れ流し〜w(^^:

早く、”同相”の定義を書いてくれ〜w(^^;
0256132人目の素数さん
垢版 |
2019/08/17(土) 19:07:33.39ID:h0TAsPzg
>>239
>カッコの数は部分集合の数に対応してるんだぞww

それ誤解
0257132人目の素数さん
垢版 |
2019/08/17(土) 19:12:03.24ID:h0TAsPzg
>>254-255
日本語が分からず
「カントール集合は[0,1]と同相」
と読み違えた在阪朝鮮人は北朝鮮に帰れ

ま、祖国に帰っても将軍様の高射砲で
バラバラになるのがオチだけどなw

>答え
>「ある箇所から
> 0222・・・
> 2000・・・
> となる2つの3進小数をくっつけて1つにする」"
>だってさw

正解に反駁できず在阪朝鮮人キム某発狂wwwwwww
0258132人目の素数さん
垢版 |
2019/08/17(土) 19:13:36.78ID:+5QXhyrz
>>255
>まず、”同相”の定義を書いて見ろ
知るかボケ!
俺は3進カントール集合の話など一言もしてないわ
おまえが勝手に人違いしているだけだ

はい、俺がいつどんな嘘デタラメ垂れ流したか言えなかったので謝罪だ
ほれ、謝罪だよ謝罪、さっさと謝れよ
0259132人目の素数さん
垢版 |
2019/08/17(土) 19:15:37.22ID:h0TAsPzg
>答え
>「ある箇所から
> 0222・・・
> 2000・・・
> となる2つの3進小数をくっつけて1つにする」"
>が、嘘デタラメでなければ(ちゃんと証明できるなら)

おまえ証明できないの?
やっぱ落ちこぼれだなwww

2進無限小数をカントルの基本列と考えれば
異なる表現で同値(つまり同じ実数)になるのは
「ある箇所から
 0111・・・
 1000・・・
 となる2つの2進小数」
の場合だけだがwwwwwww
0260132人目の素数さん
垢版 |
2019/08/17(土) 19:18:09.47ID:h0TAsPzg
>>258
>俺は3進カントール集合の話など一言もしてないわ
俺が3進カントール集合の話をしたが

だからいってるだろう
反スレ主の書き込みしてるのは少なくとも2人いるって

謝罪は無用だ
さっさと北朝鮮へ帰れ 在阪韓国人キムw
0261現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 19:30:41.51ID:sbItYGIt
>>251
>はぁ? 俺がいつどんな嘘デタラメ垂れ流した? 具体的に言ってみ? 言えないなら謝罪しろ

サルは、”有理数体 Q の一点コンパクト化(英語版)”を知らなかったらしい
”p 進数体「Qp は完全不連結局所コンパクトな位相体になる」”

有理数体 Qで
アルキメデス付値と、非アルキメデス付値とがある
アルキメデス付値しか、知らなかったらしいな

確かに、アルキメデス付値=通常の距離で、有理数体 Qをコンパクト化しようと思えば
まず、完備化して実数体Rにして、それを一点コンパクト化するしかないわな(そこまではサルでも分るさ(^^ )
スレ74 https://rio2016.5ch.net/test/read.cgi/math/1564659345/914-
914 名前:132人目の素数さん[] 投稿日:2019/08/15(木) 14:53:58.23 ID:R2b+aaQz

点列コンパクトの定義さえ理解していれば
「0以上1以下の有理数全体の集合」が
ノンコンパクトであることが脊髄反射で答えられる

ついでにいえば、ここまでヒントやれば
よほどの馬鹿でない限り、
「0以上1以下の有理数全体の集合」に
どれだけ点を追加すればコンパクトになるか
分かる

答えてみ?落ちこぼれのアホスレ主w
あらかじめいっとくけど・・・1点じゃ無理だぞw

スレ74 https://rio2016.5ch.net/test/read.cgi/math/1564659345/935-
935 名前:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
p 進数体「Qp は完全不連結局所コンパクトな位相体になる」(下記)ww(^^;
https://ja.wikipedia.org/wiki/P%E9%80%B2%E6%95%B0
p進数
Qp は完全不連結局所コンパクトな位相体になる

さて(>>13より)
(ご参考:下記より)
”有理数体 Q の一点コンパクト化(英語版)は (0)、(1) を満たすが (2)、(3) を満たさない”
”ハウスドルフでない局所コンパクト空間の例
・有理数の空間 Q の一点コンパクト化(英語版)はコンパクトゆえ、各点が(閉)近傍を持つという意味では局所コンパクトだが、コンパクト近傍からなる近傍基を持つという意味での局所コンパクト性は持たない。”
https://ja.wikipedia.org/wiki/%E5%B1%80%E6%89%80%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E7%A9%BA%E9%96%93
局所コンパクト空間
0262現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 19:40:00.70ID:sbItYGIt
>>258
これは失礼
ID:+5QXhyrzは、もう一匹の方のサルか(^^;

だったら、これな
>>192 返信:132人目の素数さん[] 投稿日:2019/08/17(土) 10:52:37.17 ID:+5QXhyrz [2/27]
Pruss(^^
if i is chosen uniformly independently of that strategy (where the "independently" here isn't in the probabilistic sense), we win with probability at least (n−1)/n. That's right.
Prussは間違いを認めた。未だに認められないのはおまえ一人(^^;
(引用終り)

「Prussは間違いを認めた」が”嘘デタラメ垂れ流し”(>>251-252)な
正しくは、下記だ
スレ74 https://rio2016.5ch.net/test/read.cgi/math/1564659345/78
78 名前:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日:2019/08/03(土)
>>68より)
Pruss氏の指摘(2013)とほぼ同じことを指摘している(下記)

(なぜ、mathoverflow>>465 の手法が成立たないのか? ”CONGLOMERABILITY”が成立ってないというのが、数学DR Alexander Pruss氏の指摘(2013)で、それを2018年の著書で詳しく解説している)
スレ65 https://rio2016.5ch.net/test/read.cgi/math/1557142618/750-754
https://books.google.co.jp/books?id=RXBoDwAAQBAJ&;pg=PA77&lpg=PA77&dq=%22conglomerability%22+assumption+math&source=bl&ots=8Ol1uFrjJQ&sig=ACfU3U1bAurNGJm5872wDblskzsSgsU0iA&hl=ja&sa=X&ved=2ahUKEwioiPyV_IPiAhXHxrwKHUeaArUQ6AEwCXoECEoQAQ#v=onepage&q=%22conglomerability%22%20assumption%20math&f=false
Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018
P75
(抜粋)
2.5.3 COUNTABLE ADDITITVITY AND CONGLOMERABILITY
(引用終り)

つづく
0263現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 19:40:28.83ID:sbItYGIt
>>262
つづき

(mathoverflowの”conglomerability”関連箇所)
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice Dec 9 '13
 (抜粋)
(Alexander Pruss氏)
<12>
(抜粋)
The probabilistic reasoning depends on a conglomerability assumption・・
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, and we have no reason to think that the conglomerability assumption is appropriate.
A quick way to see that the conglomerability assumption is going to be dubious is to consider the analogy of the Brown-Freiling argument against the Continuum Hypothesis (see here for a discussion).
http://www.mdpi.com/2073-8994/3/3/636
(引用終り)
以上
0264132人目の素数さん
垢版 |
2019/08/17(土) 19:45:26.20ID:+5QXhyrz
>>262
>「Prussは間違いを認めた」が”嘘デタラメ垂れ流し”(>>251-252)な
え? おまえ↓の意味わからんの? バカ?
we win with probability at least (n−1)/n. That's right.
0265現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 19:46:28.67ID:sbItYGIt
>>260
>だからいってるだろう
>反スレ主の書き込みしてるのは少なくとも2人いるって

確かに、サルが二匹いることは分った
というか、二匹いることは認識している注*)

但し、人間からは、
なかなかサルの見分けは
難しいな(^^;

注*)
テンプレより
>>2より)
知能が低下してサルになっています
>>3より)
知能の低い者が、サルと呼ばれるようになり、残りました。w(^^;)
0266現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 19:48:29.21ID:sbItYGIt
>>264
>we win with probability at least (n−1)/n. That's right.

誤読だよ
そこ、英文解釈なら、ひっかけ出題になるところさ
全体を読まないと、部分だけ読んでも正解にならない例ですよ
東大京大の英語なら、点が取れないタイプだな
0267132人目の素数さん
垢版 |
2019/08/17(土) 19:59:38.66ID:h0TAsPzg
>>266
朝鮮学校では英語を教えないらしいw

Prussは正しいと認めている
そう思わないのは在阪朝鮮人のスレ主、キム某だけw
0268132人目の素数さん
垢版 |
2019/08/17(土) 20:02:32.30ID:h0TAsPzg
>we win with probability at least (n−1)/n.

我々は少なくとも確率 (n−1)/nで勝つ

こんな簡単な英文も翻訳できないのか?在阪朝鮮人キムw
0270132人目の素数さん
垢版 |
2019/08/17(土) 20:11:46.58ID:+5QXhyrz
>>266
バカ丸出し
What we have then is this: For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here
isn't in the probabilistic sense), we win with probability at least (n−1)/n. That's right. But now the question is whether we can translate this to
a statement without the conditional "For each fixed opponent strategy". – Alexander Pruss Dec 19 '13 at 15:05
How about describing the riddle as this game, where we have to first explicit our strategy, then an opponent can choose any sequence. then it is
obvious than our strategy cannot depend on the sequence. The riddle is "find how to win this game with proba (n-1)/n, for any n." – Denis Dec 19 '13 at 19:43
But the opponent can win by foreseeing what which value of i we're going to choose and which choice of representatives we'll make. I suppose we would
ban foresight of i? – Alexander Pruss Dec 19 '13 at 21:25
yes the order would be: 1)describe the probabilistic strategy 2)opponent choses a sequence 3)probabilistic variable i is instanciated – Denis Dec 19 '13 at 23:02
この流れを分かってないの、おまえだよw

Prussは論破されて悔し紛れに
「ランダム選択される列を予め予想できれば出題者側が勝てる」と言っているw
まるで誰かさんみたいな屁理屈だなw その予想は数当てより困難だぞw ていうか不可能だぞw 予想不可能だからランダムっていうんだよw
0271132人目の素数さん
垢版 |
2019/08/17(土) 20:14:47.65ID:+5QXhyrz
ランダム選択なのに「予想できれば勝ち」と言っちゃうPrussさん
彼が出版した確率の本、だいじょうぶなのかな〜w
0272132人目の素数さん
垢版 |
2019/08/17(土) 20:17:50.26ID:h0TAsPzg
>>269
キミ
「カッコの数は部分集合の数に対応してる」
なんて口から出まかせいうから恥かくんだよw
0273132人目の素数さん
垢版 |
2019/08/17(土) 20:20:27.28ID:h0TAsPzg
>>270
>「ランダム選択される列を予め予想できれば出題者側が勝てる」

要するにPrussは
”if i is chosen uniformly independently of that strategy”
の"independently"を否定したいらしいが、それは無理だろうw
0274132人目の素数さん
垢版 |
2019/08/17(土) 20:21:38.74ID:+5QXhyrz
Pruss氏「ランダム選択の結果を事前予想できれば時枝は不成立」
だそうですw
哲学に転向して正解だったかもw
0275132人目の素数さん
垢版 |
2019/08/17(土) 20:22:44.46ID:4Tqla7J5
>>272

恥をかいているのはお前の方だぞww

>なんて口から出まかせいうから恥かくんだよw

いつも、口から出まかせ言っているのはお前だぞ。
中途半端に数学を理解した上で、馬鹿げたことばかり言っている。ww
0276132人目の素数さん
垢版 |
2019/08/17(土) 20:26:17.91ID:4Tqla7J5
>>272

>「カッコの数は部分集合の数に対応してる」

この意味がわからんのか、分からんふりしているのかはわからんがな。
0277132人目の素数さん
垢版 |
2019/08/17(土) 20:28:36.35ID:4Tqla7J5
>>272

そういえば、君はいつも人の話を曲解していたな。
どう"曲解”して、間違いだと言っているのか知らんが、
くだらないゴミ議論はゴメンだぞ。ww
0278132人目の素数さん
垢版 |
2019/08/17(土) 20:29:38.98ID:h0TAsPzg
>>276
>>「カッコの数は部分集合の数に対応してる」
>この意味がわからんのか

意味はわかるが、その主張が正しくない
0279現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 20:30:23.48ID:sbItYGIt
>>240
哀れな素人さん、どうも。スレ主です。

>何か面白いスレはないかと他スレを覗いてみたが、
>どのスレも過疎だ(笑

Oh! Yes! (^^
全く同意です
以前は、若干巡回もしていましたが
いまは全部止めました
但し、IUTスレだけは面白いので、巡回して覗いています(^^;

>このスレだけは賑わっているが、
>まともな人間はこのスレにはやってこない(笑

まあね(^^
そもそも、5chに”まともな人間”なるものがどれだけ居るのかが、問題となるw(^^;

>サル石というキチガイがいるからでもある(笑

枯れ木も山の賑わい
サル石もスレの賑わい
0280132人目の素数さん
垢版 |
2019/08/17(土) 20:33:11.42ID:+5QXhyrz
議論終盤のPrussの主張はあまりに荒唐無稽で、Denisに論破された悔し紛れの屁理屈と考えるのが妥当w

最後Denisに
yes the order would be: 1)describe the probabilistic strategy 2)opponent choses a sequence 3)probabilistic variable i is instanciated.
と諭され、さすがにこれ以上の抵抗は無理と諦めたw

結局Prussは間違っていたが、誰かさんみたいに嘘デタラメを垂れ流し続ける醜態は晒さなかったw
0281132人目の素数さん
垢版 |
2019/08/17(土) 20:33:48.38ID:h0TAsPzg
ωの{}の数が可算無限個である理由

もっとも外側の{}(1つ)を除けば
あとは可算個の有限集合
有限集合の{}の数は有限個
有限個の可算和はせいぜい可算無限

したがって非可算無限になりようがない
0282132人目の素数さん
垢版 |
2019/08/17(土) 20:36:09.37ID:h0TAsPzg
>IUTスレだけは面白い

在阪朝鮮人は
「望月先生は絶対正しい!」
と思い込んでそうwwwwwww
0283132人目の素数さん
垢版 |
2019/08/17(土) 20:37:24.44ID:h0TAsPzg
望月が根っからの詐欺師だとは思わないが
今の状況を見る限り自分の誤りを直視せずに
いいわけばかりしてる点でどっかのだれかと
そっくりだw
0284132人目の素数さん
垢版 |
2019/08/17(土) 20:38:14.40ID:+5QXhyrz
まあそこら辺、工業高校卒の英語力では無理なんだろうな(苦笑)

>誤読だよ (>>266
0285132人目の素数さん
垢版 |
2019/08/17(土) 20:40:25.17ID:h0TAsPzg
>>281で、ID:4Tqla7J5は死んだようだ

御冥福をお祈りします(-||-)
0286132人目の素数さん
垢版 |
2019/08/17(土) 20:41:42.31ID:4Tqla7J5
>>278

君が"正しくない"解釈をしているだけ。
そして、その解釈は、大抵、数学的につまらない方向にいく。

相手が正論を言うとき、
君は、その手を使って、ごまかしにかかる。
例えば、時枝問題、カントール集合。

ただし、相手が本当に間違っている場合は、
比較的まともな話をする。
例えば、完備化(コンパクト化)について。

分かってるんだよ。ww
0288132人目の素数さん
垢版 |
2019/08/17(土) 20:45:43.31ID:4Tqla7J5
>>282-283

たとえ間違っていたとしても、
挑戦的な研究をすること自体に価値がある。
間違い探しと攻撃しかしない輩よりはずっといい。
0289132人目の素数さん
垢版 |
2019/08/17(土) 20:46:52.82ID:h0TAsPzg
>>287
キミには反論不能w

キミは数学のスの字もわからん馬鹿www

炎に焼かれて死になwwwwwww
0290132人目の素数さん
垢版 |
2019/08/17(土) 20:48:25.76ID:h0TAsPzg
>>288
研究には自分の誤りに気付くことも含まれる
望月は自分の誤りに気づけない時点で研究に失敗してる
0291132人目の素数さん
垢版 |
2019/08/17(土) 20:49:40.47ID:h0TAsPzg
在阪朝鮮人の主張を「正論」という時点で
ID:4Tqla7J5は正真正銘の馬鹿w
0292132人目の素数さん
垢版 |
2019/08/17(土) 20:50:42.54ID:h0TAsPzg
ωの{}の数が可算無限個である理由

もっとも外側の{}(1つ)を除けば
あとは可算個の有限集合
有限集合の{}の数は有限個
有限個の可算和はせいぜい可算無限

したがって非可算無限になりようがない

こんなこと数学科の学生なら3秒でわかるwww
0293現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 20:52:58.37ID:sbItYGIt
>>270
>Prussは論破されて悔し紛れに

誤読だよ

ところで
以前は、テンプレで下記
”<数学ディベート>について”
を入れていたんだが、いまは手抜きで略しているがね

数学でさ、”論破されて”とか”悔し紛れ”とか、笑えるわ(^^
話は確率論・確率過程論で、かつ測度論(probability measure)の議論になっているけど

その専門的な議論に、 Denis氏はコンピュータサイエンスの人だから、全く専門的な議論についていけていない
で、数学ではこういうことはよくあるが、高度な数学の議論になると、バックグラウンドの無い人とは議論にならない

丁度、時枝記事の話もそうだ

で、Pruss氏は、mathoverflowで1年かけて、測度論・確率論・確率過程論を講義して
riddle の解説(不成立)を、Pruss氏に理解させることは、無理(彼が理解できるレベルに達していない)と分ったわけさ(^^

おれが、おサルさんに、このスレで測度論・確率論・確率過程論を講義して、時枝不成立を理解させることが不可能と同じ
こちらが確率過程論をうまく解説できないという力量問題もあるが、こういうスレの限界でもあると思うよ
(大学で1年間くらいの講義を修得しないと理解できないと思われる相手との話は、だいたい議論は噛み合わないってことな)

(参考)
スレ66 https://rio2016.5ch.net/test/read.cgi/math/1558877381/18-
18 自分:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日:2019/05/26
<数学ディベート>について
過去スレより
http://rio2016.2ch.net/test/read.cgi/math/1494038985/189-190
189 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/09
いやはや、(文系) High level people たち( ID:jEMrGWmk さん含め)の、数学ディベートもどきは面白いですね(^^;
”手強い?”とは・・、まさに、ディベートですね
私ら、理系の出典(URL)とコピペベース、ロジック(論証)&証明重視のスタンスと、ディベートもどきスタイル(2CHスタイル?)とは、明白に違いますね
私ら、(文系) High level people たちとの議論は、時間とスペースの無駄。レベルが高すぎてついていけませんね。典拠もなしによく議論しますね。よく分かりましたよ(^^;
0294132人目の素数さん
垢版 |
2019/08/17(土) 20:59:04.80ID:4Tqla7J5
>>290

だから、失敗自体は別に恥ではないんだよ。
むしろ、失敗を恥だと思うことが恥。ww

>>291

「在阪朝鮮人の主張を「正論」という時点で」

この発言の時点でね。もう何も言えねえ。ww

>>292

>こんなこと数学科の学生なら3秒でわかるwww

そりゃ、そうだろ。トートロジーだからな。

帰納的に定義されているんだから、帰納法で考えろ。
最後は、supする必要があるぞ。

あるいは2進数でコード化してみろ。
0295132人目の素数さん
垢版 |
2019/08/17(土) 21:00:35.23ID:h0TAsPzg
>>293
>話は確率論・確率過程論で、かつ測度論の議論になっているけど

それが間違い

話は集合論w
0296132人目の素数さん
垢版 |
2019/08/17(土) 21:01:09.48ID:+5QXhyrz
>>293
いや、妄想語られてもw
おまえの言ってること、一個も裏付けが無いじゃんw
0297132人目の素数さん
垢版 |
2019/08/17(土) 21:01:51.18ID:h0TAsPzg
>>294
>失敗を恥だと思うことが恥。

だから失敗を認めないんだねキミは
・・・恥ずかしい奴wwwwwww

キミはスレ主なみの白痴だよ
生きてるだけで恥

死ねよ 今すぐ
0298現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 21:04:14.87ID:sbItYGIt
>>289-291
また、サイコパスの火病(>>2)が再発かね、おサルさん(^^

>炎に焼かれて死になwwwwwww

殺人願望出たか(>>2)

>望月は自分の誤りに気づけない時点で研究に失敗してる

なんで、望月先生がここで出てくるのかね?w(^^

>>275より)
いつも、口から出まかせ言っているのはお前だぞ。
中途半端に数学を理解した上で、馬鹿げたことばかり言っている。ww
(引用終り)

これ、正しいよ(^^
まあ、見る人は見ているだねー(^^;
0300132人目の素数さん
垢版 |
2019/08/17(土) 22:12:22.50ID:+5QXhyrz
>>293
>で、Pruss氏は、mathoverflowで1年かけて、測度論・確率論・確率過程論を講義して
>riddle の解説(不成立)を、Pruss氏に理解させることは、無理(彼が理解できるレベルに達していない)と分ったわけさ(^^
時枝記事を読むレベルに無いバカが何を口から出まかせ言ってんだか(^^
おまえが時枝記事を読むレベルにないことはこの発言から明らか(^^;
「決定番号を考えるだけなら可算選択公理で十分」

バカ丸出し(^^;
0301現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 22:13:47.15ID:sbItYGIt
>>263 補足

https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice Dec 9 '13
 (抜粋)
(Alexander Pruss氏)
<12>
The probabilistic reasoning depends on a conglomerability assumption・・
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, and we have no reason to think that the conglomerability assumption is appropriate.
A quick way to see that the conglomerability assumption is going to be dubious is to consider the analogy of the Brown-Freiling argument against the Continuum Hypothesis (see here for a discussion).
http://www.mdpi.com/2073-8994/3/3/636
(引用終り)

かくいう私も、最初これを読んだとき、意味が取れなかった
”conglomerability”? はて? という感じで
”Brown-Freiling argument”も調べたが、いまいち分らなかった

ところが、最近 >>262の下記を見つけてね。やっぱり、
”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”だねと、分ったのだった

(なぜ、mathoverflow>>465 の手法が成立たないのか? ”CONGLOMERABILITY”が成立ってないというのが、数学DR Alexander Pruss氏の指摘(2013)で、それを2018年の著書で詳しく解説している)
スレ65 https://rio2016.5ch.net/test/read.cgi/math/1557142618/750-754
https://books.google.co.jp/books?id=RXBoDwAAQBAJ&;pg=PA77&lpg=PA77&dq=%22conglomerability%22+assumption+math&source=bl&ots=8Ol1uFrjJQ&sig=ACfU3U1bAurNGJm5872wDblskzsSgsU0iA&hl=ja&sa=X&ved=2ahUKEwioiPyV_IPiAhXHxrwKHUeaArUQ6AEwCXoECEoQAQ#v=onepage&q=%22conglomerability%22%20assumption%20math&f=false
Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018
P75
(抜粋)
2.5.3 COUNTABLE ADDITITVITY AND CONGLOMERABILITY
(引用終り)
0302132人目の素数さん
垢版 |
2019/08/17(土) 22:14:47.86ID:+5QXhyrz
バカ主は選択公理も分かってなければ、時枝解法で選択公理がどう使われてるかも分かってない
サル畜生にはサル知恵しかありませんでした(^^;
0303132人目の素数さん
垢版 |
2019/08/17(土) 22:16:49.74ID:+5QXhyrz
>>301
じゃあ時枝解法の確率変数を書いてみ?
おまえ雄弁に語る割に確率変数一つ書けないじゃんw
サル畜生にはサル知恵しかありませんでした(^^;
0304132人目の素数さん
垢版 |
2019/08/17(土) 22:22:36.62ID:+5QXhyrz
こら、サル畜生、白状しなさい

私は選択公理も分かってませんでした。訳も分からずコピペしてました。

とw
0305現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 22:22:38.20ID:sbItYGIt
>>300
(引用開始)
おまえが時枝記事を読むレベルにないことはこの発言から明らか(^^;
「決定番号を考えるだけなら可算選択公理で十分」

バカ丸出し(^^;
(引用終り)

おお、よく分っているね
一見、決定番号の集合をDとして
ある、決定番号dをもつ、代表になりうる候補の数列の集合は明らかに非可算

(∵ 箱に任意の実数を入れてよい場合はな(箱にサイコロの目やコインの{0,1}を入れる場合とは事情が違う))
そこに気付けば、時枝不成立の理解も近いぞw(^^;
0306現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 22:35:33.67ID:sbItYGIt
>>305
>じゃあ時枝解法の確率変数を書いてみ?

確率空間、ほいよ>>199より
これ、i.i.d. 独立同分布に尽きる気がします
(説明)
1.箱が1個。確率変数X1
 サイコロ,コインなら、確率空間は、下記の定義の通り。
 サイコロΩ={1,2,3,4,5,6}で、1〜6の数が箱に入り、各確率1/6
 コイン1枚なら、Ω={0,1}で、0か1の数が箱に入り、各確率1/2
2.箱がn個。確率変数X1,X2,・・・,Xn
 i.i.d. 独立同分布とすると、各箱は上記1の通り
3.箱が可算無限個。確率変数X1,X2,・・・ →X∞
 i.i.d. 独立同分布とすると、各箱は上記1の通り
4.時枝は、これで尽きている。上記1〜3のどの箱の確率変数も例外なし!
QED(^^
https://mathtrain.jp/probspace
確率空間の定義と具体例(サイコロ,コイン) | 高校数学の美し物語 2015/11/06
0307現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/17(土) 22:36:21.81ID:sbItYGIt
>>306 補足

(おサル)
>>210
>これ、i.i.d. 独立同分布に尽きる気がします
問いに無いi.i.d.なる仮定を勝手に持ち込んでる時点でおまえの負けw
(引用終り)

(おれ)
スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18-
時枝問題(数学セミナー201511月号の記事)
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^πを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.」
「勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
「ばかばかしい,当てられる筈があるものか,と感じられるだろう.
何か条件が抜け落ちているのではないか,と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ,一個を除いてそれらを見た上で,除いた一個を当てよ,というのだ.」

問いに無いi.i.d.なる仮定を勝手に持ち込んでるが、おれの勝ち
∵ ”どんな実数を入れるかはまったく自由”、”問題を読み直していただきたい、条件はほんとうに上記のとおり”
0310現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/18(日) 07:17:55.14ID:CwMq/yUw
>>198
>∞は、{ や }の数が2^∞になるぅ
>可算無限個を定義するのに、
>非可算無限個の{}を必要となんて、
>滅茶苦茶な気がする。

Ω星人さん、どうも。スレ主です。
地球では、下記wikipediaより
”例えば、0 := {}, suc(a) := {a} と定義したならば、
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。”
らしい。
可算個の{}で済むらしい(^^
(参考)
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
形式的な定義
集合論において標準的となっている自然数の構成は以下の通りである。

このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々である[3]。
以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。

例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。

また、0 := {{}}, suc(a) := a ∪ {a} と定義したならば、
0 := {{}}
1 := {{}, 0} = {{}, {{}}}
2 := {{}, 0, 1} = {{}, {{}}, {{},{{}}} }
3 := {{}, 0, 1, 2} = {{}, {{}}, {{},{{}}}, {{},{{}},{{},{{}}}} }
のような多少複雑な自然数になる。
0311現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/18(日) 07:36:04.88ID:CwMq/yUw
>>310

追加参考
https://padic.wicurio.com/index.php?%EF%BC%92%E5%85%83%E9%9B%86%E5%90%88%E3%81%AE%E5%AD%98%E5%9C%A8
Encyclopedia of P-adic Numbers
Top > 2元集合の存在
(抜粋)
ここまでで空集合という集合が存在することが保証されました。
しかし、現在課されている公理だけでは空集合以外の集合の存在が原理的に証明出来ません。
そこで、空集合以外の集合の存在を保証する公理を1つ課そうと思います。

公理1(対公理)
2つの任意の集合aとbに対し、クラス{x?(x=a)∨(x=b)}は集合である。

命題4(空集合でない集合の存在)
以下の集合はいずれも互いに相異なる。
Φ,{Φ},{{Φ}},{{{Φ}}},{{{{Φ}}}}

証明
Φ not∈ΦかつΦ∈{Φ}より、Φ≠{Φ}である。
{Φ}not ∈Φかつ{Φ}∈{{Φ}}より、Φ≠{{Φ}}である。

この辺りがスラスラと厳密に証明できるようになっていれば、等号の扱いに問題がないと言って良いでしょう。

https://padic.wicurio.com/index.php?%E8%87%AA%E7%84%B6%E6%95%B0%E3%81%AE%E5%AE%9A%E7%BE%A9
Encyclopedia of P-adic Numbers
Top > 自然数の定義
(抜粋)
公理3(無限公理)
ある集合Nが存在して、0∈Nでありかつ任意のn∈Nに対してn∪{n}∈Nを満たす。

無限公理によって、Nは集合をなします。
これで一安心、と言いたいところですが、共通部分を用いて最小性を保証しただけのNが、一体どんな集合なのかは少々分かりにくいです。
そこで、Nという集合の特徴付けや基本性質を以下にまとめました。

コラム 数学的帰納法
コラム 自然数と順序数
コラム 順序数の三分律
コラム Nの特徴付け
コラム 超限帰納法
0312現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/18(日) 08:07:17.78ID:CwMq/yUw
>>249 追加

おっちゃん、どうも、スレ主です。
文献読まないだろうが、メモ貼る
(ζ 関数 (第 III 部) が見つからないが(^^; )

(メモ)
http://www.math.sci.hiroshima-u.ac.jp/algebra/member/tsuzuki-j.html
広島大学理学部数学科 代数数理講座
都築暢夫
2005年度
数学概論:講義ノート,
代数学D・代数数理基礎講義B:講義ノート1, 講義ノート2

http://www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/chap1.pdf
平成 17 年度後期代数学 D・代数学基礎講義 B
都築 暢夫
第 I 部  ζ 関数の解析的性質
(抜粋)
ζ(s) は s = 1 に 1 位の極を持つ全平面上の有理型関数に解析接続され、関数等式を持
ち、素数の分布と密接な関係を持つ。それらの性質を解説するのが第 I 部の目的である。

http://www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/chap2.pdf
平成 17 年度後期代数学 D・代数学基礎講義 B
都築 暢夫
第 II 部 代数体の整数論
(抜粋)
第 II 部では、代数体の整数論、中でも代数体の整数環が Dedekind 環になることを証明する。一般に代数
体の整数環においては、素因数分解の一意性が成り立たない。しかし、イデアル分解に概念を拡張させると
素イデアル分解の一意性が成り立つ。この事実を利用して、Riemann ζ 関数は、自然に代数体の Dedekind
ζ 関数 (第 III 部) へ拡張される。
0313現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/18(日) 08:20:07.80ID:CwMq/yUw
>>311 追加

ここらは、スレ60からスレ61で大分議論した記憶があるね
例えば
スレ61 https://rio2016.5ch.net/test/read.cgi/math/1551963737/55-
Kunen, Kenneth (1980), Set TheoryのPDFなど見つけたんだよね
これは、藤田 博司先生の日本語版を持っている人には役に立つだろう(^^

スレ61 https://rio2016.5ch.net/test/read.cgi/math/1551963737/58-
(抜粋)
Kunen, Kenneth (1980), Set Theory: An Introduction to Independence Proofs, Elsevier, ISBN 978-0-444-86839-8
検索すると、海賊版かもしらんが、下記PDFヒット
これ、しばしばお世話になっている藤田 博司先生の和訳があるかな?
http://blacaman.tripod.com/cursos/pdf/2012-2_0941.pdf
An Introduction to Independence Proofs K KUNEN 著 First edition: 1980 Seventh impression: 1999

https://www.amazon.co.jp/dp/4535783829/ref=pd_lpo_sbs_14_t_1?_encoding=UTF8&psc=1&refRID=8NKTZE2Q63MR3BRQEWQX
集合論―独立性証明への案内 単行本 ? 2008/1/1
(抜粋)
ケネス キューネン (著), Kenneth Kunen (原著), 藤田 博司 (翻訳)
ナラバ博士
5つ星のうち5.0
第2章の章末問題はとくに面白い
2009年4月5日
形式: 単行本
集合論のうち,とくに20世紀第3四半期における強制法(フォーシング)の研究に焦点をあてた入門書である。
数学科(数理科学コース)の1・2年向けの集合論の授業では,数学全分野のための予備知識として19世紀後半の集合論を扱うのがふつうであろう。
本書が扱うのはより高度な話題である。原書は研究分野としての集合論への入門書として評価が高い。
評者は大学院修士課程1年生のときに原書を通読した。
強制法への伏線として第2章でマーティンの公理を扱っており,この章の章末問題には面白いものが多いと感じた。
時間をかけて翻訳した本書の訳は大変読みやすく,ところどころに親切な訳注が添えられている。
0314哀れな素人
垢版 |
2019/08/18(日) 08:41:03.96ID:Ji2z7QFZ
おや、昨日のID:4Tqla7J5はサル石とは別人だったか(笑
てっきりサル石が三つ目のIDで自演しているのだろうと思った(笑

このスレに、たまに顔を出す例の男だな(笑
せめてこの男のようなレベルの者が、あと数人来てくれれば、
このスレももっとましなものになるのだが(笑

それにしてもスレ主が大量のコピペを貼りまくるので、
このスレに来るといつも動きが鈍くなって、
投稿するのも一苦労だ(笑

スレ主よ、投稿をもっと短くしろ(笑
0315現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/18(日) 08:43:55.04ID:CwMq/yUw
>>306-307 補足
この程度のことは(確率空間、確率変数)は、確率過程論から自明で
Sergiu Hart氏も当然知っている。「2.箱がn個。確率変数X1,X2,・・・,Xn」までは、書いている
さらに、当然「3.箱が可算無限個。確率変数X1,X2,・・・ →X∞」も知っているが、書かなかったのだろう(^^;

(参考)
スレ62 https://rio2016.5ch.net/test/read.cgi/math/1551963737/915-
(抜粋)
915 名前:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日:2019/03/27(水)
Sergiu Hart氏のPDF http://www.ma.huji.ac.il/hart/puzzle/choice.pdf
このP2に
Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.
とある

ここで”independently and uniformly”が、独立同分布(IID)を含意することは、知る人がみればすぐ分かること
で、例えば、{0, 1, ・・・, 9}ならば、的中確率は、1/10(for Player 2)(つまり、出題者Player 1は、確率9/10で勝てる)
つまり、独立同分布(IID)を仮定すれば、どの箱も同じで、例外はない

game1(選択公理を使う)→game2(選択公理を使わない)→boxes is finite (有限の場合は通常確率論通り)
と並べて説明している
まあ、落語の落ちですね。最後”boxes is finite (有限の場合は通常確率論通り)”ですから

ま、確率過程論の知識がある人(落ちこぼれ以外の数学科卒生)なら、独立同分布(IID)で、箱が有限及び無限とも同じ結論になる(通常確率論通り)は自明だし
それは、確率過程論について、上記(>>912)重川先生とか逆瀬川先生(下記)を読めば分かる。読めなければ、時枝不成立は分からないでしょうね〜(^^
しかし、このスレで私が確率過程論をするわけにはいかない。このスレの余白は狭すぎるw(^^
http://www.f.waseda.jp/sakas/stochastics/stochastics.pdf/aspText.pdf
「確率過程とその応用」管理人 逆瀬川浩孝 早稲田大学
0316哀れな素人
垢版 |
2019/08/18(日) 08:46:06.82ID:Ji2z7QFZ
ところで僕は昨夜、「無限公理のインチキ」に記事を追加し、
更に「「空集合は任意の集合の部分集合である」というインチキ」
という記事を追加した。

というのは今の高校生は
こんなデタラメを教えられていると知ったからだ。

われわれの頃はこんなふざけたことは教えられなかった。
今の数学教育は無茶苦茶になっている。
0317現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/18(日) 08:52:44.78ID:CwMq/yUw
>>315 補足
>ここで”independently and uniformly”が、独立同分布(IID)を含意することは、知る人がみればすぐ分かること

いま思うと
「独立同分布(IID」という重要キーワードをわざと
”independently and uniformly”にして
はぐらかしている気もしてきたな〜(^^
0318現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/18(日) 08:56:42.65ID:CwMq/yUw
哀れな素人さん、どうも。スレ主です。
>>314
それにしてもスレ主が大量のコピペを貼りまくるので、
このスレに来るといつも動きが鈍くなって、
投稿するのも一苦労だ(笑
スレ主よ、投稿をもっと短くしろ(笑
(引用終り)

コピペしていると、google検索で、いろんなキーワードでヒットします
なので、自分で「どっかあったな」と検索するときに便利です
かつ、他人も、google検索したら、このガロアスレがヒットことも多い
そういう仕掛けです(^^;
0319132人目の素数さん
垢版 |
2019/08/18(日) 09:13:49.09ID:K18skXTH
>>299
>メンタル弱いな。
アタマヨワイな

中卒?
0320現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
垢版 |
2019/08/18(日) 09:15:37.17ID:CwMq/yUw
>>316
>「「空集合は任意の集合の部分集合である」というインチキ」という記事を追加した

下記の話ですか?(^^
これは、完全に宗教でしょ?
「空集合の定義」次第でしょうね
「無限の定義」と対でしょうね
「神は細部に宿る」でしょうかねw(^^;
http://blog.thetheorier.com/entry/emptyset
空集合はなぜ任意の集合の部分集合なのか もう一人のY君 20160429
(抜粋)
目次
空集合の定義
部分集合の定義
何を示せば良いか
(ちょっと脱線)推論図について
矛盾の性質
まとめ
(引用終り)

http://co-world.me/2017/11/01/post-19/
「神は細部に宿る」の、仕事における本当の意味 Coの世界 2017/11/1 2018/3/28
(抜粋)
INDEX
「神は細部に宿る」という言葉、知っていますか?
「神は細部に宿る」を理解できなかった新卒時代

ヤフーの新卒研修の時に初めて「神は細部に宿る」という言葉を聞きました
そのお話をしてくださったのか森岡康一さんでした
当時はPS本部という横断部署があり、そこで部長だった森岡さん
しばらくしてからヤフー辞めてFacebookの日本法人へ行き、現在はKDDIのSyn.構想の立役者です
そんな方のお話を聞けただなんて、今思えばとても贅沢な話です
森岡さんはひたすらに「神は細部に宿る」ということを熱弁されてました
だから細かいところにまで気を配らないといけない、と

https://japan.cnet.com/article/35126896/
「Syn.」構想の失敗から得たもの KDDI傘下Supership、データ活用で14兆円市場狙う 笹田仁20181012 CNET Japan
(抜粋)
「Syn.」構想の失敗から得たもの
 前身は、「Syn.(シンドット)ホールディングス」。2014年10月に、スマホ時代の“中心のない”ポータル「Syn.」構想を掲げ、互いに連携する多様なサービスを提供していた会社だ。しかし、サービスの利用者数が伸び悩み、2018年7月9日にはSyn.関連サービスを終了させた
 代表取締役CEOを務める森岡康一氏は、「Syn.構想は大きなものだったが、サービスを提供する各社の足並みがそろわず、構想が先走りしてしまった。その結果ユーザーをあまり獲得できなかった」と反省しながらも、「失敗から得るものもあった。そのような意味では良いチャレンジだった」と振り返った
0321132人目の素数さん
垢版 |
2019/08/18(日) 09:19:41.76ID:K18skXTH
>>306
>確率空間、ほいよ

在阪朝鮮人が朝鮮語「ホイヨー」を使ったら
その後は全部ウソw

アイヌ系日本人の私が本当のことを教えてあげようw

列がn個:列の附番が確率変数
 確率空間は、下記の定義の通り。
 Ω={1,2,…,n}で、1〜nの数のいずれかが選ばれ、各確率1/n

時枝は、これで尽きている。箱は確率変数にあらずw
0322哀れな素人
垢版 |
2019/08/18(日) 09:23:21.08ID:Ji2z7QFZ
ID:K18skXTH

これはサル石(笑
メンタルが弱いというか、未熟で幼稚な不良中二男である(笑

日大卒のアホなのに東大卒と虚勢を張っている(笑
学歴コンプレックスの塊なので、すぐに相手を中卒と罵る(笑
0323132人目の素数さん
垢版 |
2019/08/18(日) 09:24:52.29ID:K18skXTH
>>305
>決定番号dをもつ、代表になりうる候補の数列の集合は明らかに非可算

在阪朝鮮人は選択公理も理解できない馬鹿w

非可算集合から1つ選ぶから非可算選択公理が必要、と思うのが馬鹿w

非可算個の集合族(注:集合族の各集合は有限集合でもよい)から
”それぞれ”1つづつ選ぶ場合に、非可算選択公理が必要

つまり、この場合同値類が非可算個あるのが重要であって
1つ1つの同値類が非可算選択公理かどうかは関係ない
0324132人目の素数さん
垢版 |
2019/08/18(日) 09:27:16.38ID:K18skXTH
>>310
0 := {{}}, suc(a) := a ∪ {a} と定義しても
自然数全体の集合ωの{}は可算個

在阪朝鮮人には死んでも分かるまいがねwwwwwww
0325哀れな素人
垢版 |
2019/08/18(日) 09:33:36.39ID:Ji2z7QFZ
非可算個などというアホなことを書いている白痴(笑

非可算集合などというものがあると思っている馬鹿東北人(笑

アイヌ系と書いているが実は同和の穢多(笑
0326132人目の素数さん
垢版 |
2019/08/18(日) 09:36:13.24ID:K18skXTH
そもそも時枝記事のツボは箱の選び方にあるので
ある箱を決めてその箱の中身が代表元の対応する項と
一致する確率を考えただけで「時枝記事は間違ってる」
とほざくのは池沼
0327哀れな素人
垢版 |
2019/08/18(日) 09:37:37.43ID:Ji2z7QFZ
確率変数とか選択公理とか、
そういう教科書の定義みたいなことばかり書いて
具体的な問題は何一つ解けないアホだから
「分らない問題はここに書いてね」のようなスレには行かず
毎日毎日やることがないからこのスレでスレ主にからむ馬鹿(笑

他にやることはないのかアホニート(笑
0328132人目の素数さん
垢版 |
2019/08/18(日) 09:38:02.15ID:K18skXTH
アイヌ系こそ本来の日本人

関西人は所詮中国系・朝鮮系渡来人w

おまえらなにかというと中国・韓国を敵視するけど
もとは同じ民族なんだから仲良くしろよ ドアホw
0329132人目の素数さん
垢版 |
2019/08/18(日) 09:39:14.48ID:K18skXTH
時枝問題は確率論の問題ではなく集合論の問題

1.無限公理の下では、無限列が存在する
 (この時点で、哀れな素人の異議申し立ては却下)
2.選択公理の下では、同値類の代表元が選出できる
 (この時点で、哀れな素人の異議申し立ては却下)
3.尻尾の同値類の定義から、決定番号は自然数
  自然数の定義から、∞は自然数ではない
 (この時点で、朝鮮人スレ主の「決定番号∞」の異議申し立ては却下w)
4.順序の定義から、他の列より大きい決定番号をもつ列はたかだか1つ
 (この時点で、Riddleは反論不能w)
0330哀れな素人
垢版 |
2019/08/18(日) 09:40:02.19ID:Ji2z7QFZ
依然として時枝成立と自信満々に思っている池沼(笑

前スレの>>731>>736が理解できないことを自白した白痴(笑
0331哀れな素人
垢版 |
2019/08/18(日) 09:43:59.30ID:Ji2z7QFZ
お前、北海道か東北出身の田舎者だろ(笑

あるいは在日朝鮮人です、同和の穢多ですと白状しろ(笑

東京生まれの下層民ですと正直に言え(笑
0333哀れな素人
垢版 |
2019/08/18(日) 09:51:45.40ID:Ji2z7QFZ
スレ主よ、お前も前スレの>>731>>736が
理解できていないことを僕は分っている(笑

お前とサル石は、時枝問題こそ意見を異にするとはいえ、
現代数学を信仰している点でまったく同類だからだ(笑

しかしお前をアホと罵倒したりはしない(笑
なぜなら僕はサル石を叩くためにここにいるからだ(笑
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況