Inter universal geom ..
[2ch|▼Menu]
2:132人目の素数さん
21/08/01 09:45:07.55 w67oYbiw.net
前スレ: Inter-universal geometry と ABC予想 (応援スレ) 57
スレリンク(math板)
詳しいテンプレは、下記旧スレへのリンク先ご参照
(手抜きです。)
Inter-universal geometry と ABC予想 (応援スレ) 52
スレリンク(math板:1番)-13
(参考)
URLリンク(twitter.com)
math_jin 出版序文リンク Andrew Putman 2021年3月6日
URLリンク(drive.google.com)
20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) (下記)は、新しい局面に入りました。
査読が終り出版されました。IUTが正しいことは、99%確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
(なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです!(^^;)
(前“応援”スレが、1000又は1000近くになったので、新スレ立てた。)
つづく
(deleted an unsolicited ad)

3:132人目の素数さん
21/08/01 09:45:41.78 w67oYbiw.net
つづき
URLリンク(mainichi.jp)
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
URLリンク(cdn.mainichi.jp)
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、(ショルツ教授からの)再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
URLリンク(www.youtube.com)
数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン
つづく

4:132人目の素数さん
21/08/01 09:46:12.23 w67oYbiw.net
つづき
<IUT国際会議 2つのシリーズ>
1.
URLリンク(www.kurims.kyoto-u.ac.jp)
RIMS
Promenade in Inter-Universal Teichmuller Theory
Org.: Collas (RIMS); Debes, Fresse (Lille).
The seminar takes place every two weeks on Thursday for 2 hours by Zoom 17:30-19:30, JP time (9:30-11:30, UK time; 10:30-12:30 FR time) ? we refer to the Programme for descriptions of the talks and associated references. URLリンク(www.kurims.kyoto-u.ac.jp)
2.
URLリンク(www.kurims.kyoto-u.ac.jp)
URLリンク(www.maths.nottingham.ac.uk)
宇宙際タイヒミューラー理論への誘い(いざない)
場所:420号室+オンライン  期間:2021-08-31?2021-09-03
組織委員:星裕一郎(京都大学数理解析研究所)
     望月新一(京都大学数理解析研究所)
     Ivan Fesenko (英・ノッティンガム大学)
     田口雄一郎 (東京工業大学)

つづく

5:132人目の素数さん
21/08/01 09:46:31.18 w67oYbiw.net
つづき
<過去スレより再録>
スレ46 スレリンク(math板:273番)
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
1.まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
2.「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
 (これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ)
3.数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
 あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
4.査読者や、柏原・玉川がグルだとか、小学生はいう
 しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です
ワケワカ小学生は、どうぞ相応しいスレへ お願いしますww(^^;
スレ46 スレリンク(math板:883番)
1.RIMSを まず 普通の論文と見れば良いと思うのだが? つまり、「ちゃんと査読された」ということを認める
2.21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
3.数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね?
応援スレだが、この普通のことしか言ってないけどねw(^^
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
笑える幼稚な議論
それは、別スレでやれよw(^^;

6:132人目の素数さん
21/08/01 09:47:16.28 w67oYbiw.net
なお、
おサル=サイコパス*)のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。(突然“維新〜!”と絶叫したりするからです(^^; )
( URLリンク(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets**) (Yahoo!でのあだ名が、「一石」)
(**)注;URLリンク(en.wikipedia.org) Hyperboloid
Hyperboloid of two sheets :URLリンク(upload.wikimedia.org)
URLリンク(ja.wikipedia.org) 双曲面
二葉双曲面 :URLリンク(upload.wikimedia.org)
おサル、あいつは 双曲幾何の修論でも書いたみたいだなw(^^)
<*)サイコパスの特徴>
(参考)URLリンク(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
URLリンク(kotowaza-allguide.com)
鳥なき里の蝙蝠 故事ことわざ辞典
【読み】 とりなきさとのこうもり
【意味】 鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。
つづく

7:132人目の素数さん
21/08/01 09:47:34.93 w67oYbiw.net
つづき
<サイコパスのおサルのバカ発言>
過去スレ55 スレリンク(math板:813番)
813 名前:132人目の素数さん[sage] 投稿日:2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
>>789-790
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
>"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね
(引用終り)
1.「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜 オカ、シムラ、モチヅキ」
 てめえ、何様のつもりだ? 5ch数学板で便所の落書きしている数学落ちこぼれさんでしょ
 何をえらそうに!
2.「確かにモチヅキは数学界に対して「知的負債」を負ってるね
 自分の思いつきが論理的に正しいことを示す、という負債をね」
 てめえ、何様のつもりだ?
 論文書いて、査読してもらって、真摯に対応して査読を通してもらって出版してもらう
 ここまでは、終わったのです(^^
3.そして、今年6月末から4回の国際会議で、
 IUT普及の義務を果たします
4.おサルが理解できるように?
 それは無理!
 ”(スレ55 スレリンク(math板:158番)より)
 <上昇列 0<・・・<ω が有限列にしかなり得ない
 ことも分からん「考えなしの素人」に数学はムリ”
 これじゃ。三歳児レベルの知能じゃんかw
 このおサルには、IUTは百年早いぜw(^^;
(引用終り) 以上
なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ
上記は、お断りです!!
小学生がいますので、18金(禁)よろしくね!(^^
つづく

8:132人目の素数さん
21/08/01 09:47:50.00 w67oYbiw.net
つづき
(参考)
関連: 望月新一(数理研) URLリンク(www.kurims.kyoto-u.ac.jp)
URLリンク(www.kurims.kyoto-u.ac.jp)
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
URLリンク(www.kurims.kyoto-u.ac.jp)
<PRIMS出版記念論文>
[9] On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/ Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on Inter-universal Teichmuller Theory. PDF NEW!! (2021-03-06)
新一の「心の一票」 - 楽天ブログ shinichi0329/ (URLが通らないので検索たのむ)
math jin:(IUTT情報サイト)ツイッター math_jin (URLが通らないので検索たのむ)
URLリンク(twitter.com)
星裕一郎 ツイッター
URLリンク(www.kurims.kyoto-u.ac.jp)
星裕一郎の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (2019) (Indexあり)URLリンク(repository.kulib.kyoto-u.ac.jp)
続・宇宙際 Teichmuller 理論入門 PDF (2018) (Indexあり) URLリンク(repository.kulib.kyoto-u.ac.jp)
つづく
(deleted an unsolicited ad)

9:132人目の素数さん
21/08/01 09:48:05.61 w67oYbiw.net
つづき
URLリンク(www.kurims.kyoto-u.ac.jp)
Go YAMASHITA (gokun)
URLリンク(www.kurims.kyoto-u.ac.jp)
山下剛サーベイ URLリンク(www.kurims.kyoto-u.ac.jp) (Indexが充実しているので、IUT辞書として使える)
A proof of the abc conjecture after Mochizuki.preprint. Go Yamashita last updated on 8/July/2019.
Yourpedia 宇宙際タイヒミュラー理論 (URLが通らないので検索たのむ)
URLリンク(ja.wikipedia.org) 宇宙際タイヒミュラー理論 Wikipedia
URLリンク(en.wikipedia.org) 英Inter-universal Teichmuller theory 英 Wikipedia
URLリンク(ja.wikipedia.org) ABC予想
URLリンク(en.wikipedia.org) 英abc conjecture
URLリンク(www.math.arizona.edu) から Recent Research へ入る
Kirti Joshi Recent Research論文集
新論文(IUTに着想を得た新理論) URLリンク(arxiv.org)
Construction of Arithmetic Teichmuller Spaces and some applications
Preliminary version for comments Kirti Joshi June 23, 2021
つづく

10:132人目の素数さん
21/08/01 09:48:20.59 w67oYbiw.net
つづき
URLリンク(www.uvm.edu)
[ Taylor Dupuy's Homepage] 論文集
なお、(メモ)TAYLOR DUPUYは、arxiv投稿で [SS17]を潰した(下記)
URLリンク(arxiv.org)
PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO FROM MOCHIZUKI’S COROLLARY 3.12
TAYLOR DUPUY AND ANTON HILADO Date: April 30, 2020.
P14
Remark 3.8.3. (1) The assertion of [SS17, pg 10] is that (3.3) is the only relation between
the q-pilot and Θ-pilot degrees. The assertion of [Moc18, C14] is that [SS17, pg 10] is
not what occurs in [Moc15a]. The reasoning of [SS17, pg 10] is something like what
follows:
P15
(2) We would like to point out that the diagram on page 10 of [SS17] is very similar to
the diagram on §8.4 part 7, page 76 of the unpublished manuscript [Tan18] which
Scholze and Stix were reading while preparing [SS17].
References
[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017. 1, 1, 1e, 2, 7.5.3 ( URLリンク(www.kurims.kyoto-u.ac.jp) )
[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2
つづく

11:132人目の素数さん
21/08/01 09:49:45.45 w67oYbiw.net
つづき
なお
"[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017."は、2018の気がする
”[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2”が見つからない。”the unpublished manuscript [Tan18]”とはあるのだが(^^
代わりに、ヒットした下記でも、どぞ (2018の何月かが不明だが、2018.3のSS以降かも)
URLリンク(www.kurims.kyoto-u.ac.jp)(slides).pdf
Introduction to Inter-universal Teichm¨uller theory
Fucheng Tan RIMS, Kyoto University 2018
To my limited experiences, the following seem to be an option for people who wish to get to
know IUT without spending too much time on all the details.
・ Regard the anabelian results and the general theory of Frobenioids as blackbox.
・ Proceed to read Sections 1, 2 of [EtTh], which is the basis of IUT.
・ Read [IUT-I] and [IUT-II] (briefly), so as to know the basic definitions.
・ Read [IUT-III] carefully. To make sense of the various definitions/constructions in the
second half of [IUT-III], one needs all the previous definitions/results.
・ The results in [IUT-IV] were in fact discovered first. Section 1 of [IUT-IV] allows one to
see the construction in [IUT-III] in a rather concrete way, hence can be read together with [IUT-III], or even before.
S. Mochizuki, The ´etale theta function and its Frobenioid-theoretic manifestations.
S. Mochizuki, Inter-universal Teichm¨uller Theory I, II, III, IV.
URLリンク(www.kurims.kyoto-u.ac.jp)
教員名: 譚 福成(Tan, Fucheng)
P-adic Hodge theory plays an essential role in Mochizuki's proof of Grothendieck's
Anabelian Conjecture. Recently, I have been studying anabeian geometry and
Mochizuki's Inter-universal Teichmuller theory, which is in certain sense a global
simulation of p-adic comparison theorem.
取り敢えずこんなところで(^^

12:132人目の素数さん
21/08/01 09:50:48.39 8szAMdzl.net
IUTは以下のスレッドへ
Inter-univeral geometry と ABC予想44
スレリンク(math板)

13:132人目の素数さん
21/08/01 14:33:06.36 w67oYbiw.net
どうぞ、ご随に(^^

14:132人目の素数さん
21/08/01 14:58:31.00 8szAMdzl.net
本日の傑作書き込み
スレリンク(math板:965番)
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
965132人目の素数さん2021/08/01(日) 14:16:59.02ID:w67oYbiw
>>レーヴェンハイム・スコーレムの下方定理もあるよ
>有限モデルが存在する、と書いてあります? 書いてないですよね
>可算モデルが存在する、としか書いてないですよね?
可算無限集合には、自明に有限集合を含むでしょ? 書かなくてもね
そして、・・・”(N, +, ×, 0, 1) の理論(真の一階算術の理論)”に、
mod nを考えたら、有限モデルできますよ
おっと、変な例作って、「この例は成り立たない」とか言わないようにね
めんどくさいので、応答しませんよ
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

15:132人目の素数さん
21/08/01 15:00:56.63 8szAMdzl.net
>>14で紹介した書き込みのどこがどう傑作か?
スレリンク(math板:978番)
978132人目の素数さん2021/08/01(日) 14:40:43.62ID:8szAMdzl
w67oYbiwさんだけでなく、それ以外の人にも問題
自然数論の5つの公理(ペアノ)
1.自然数 0 が存在する。
2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する(suc(a) は a + 1 の "意味")。
3.0 はいかなる自然数の後者でもない(0 より前の自然数は存在しない)。
4.異なる自然数は異なる後者を持つ:a ≠ b のとき suc(a) ≠ suc(b) となる。
5.0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
さて、mod nの算術はどの公理に反するでしょう?

16:132人目の素数さん
21/08/01 15:34:05.53 8szAMdzl.net
>>15の答えは 3
mod nでは、n+1の後者が0になります
「0 より前の自然数は存在しない」
という公理を知らずに
「mod nの算術は、自然数の有限モデル!」
と断言したw67oYbiwこと1の痛々しさを
今月このスレでとりあげつづけたいと思います

17:132人目の素数さん
21/08/01 15:46:03.88 w67oYbiw.net
「日本一わかりやすいABC予想」小山先生、図書館から借りてきました
望月IUTについても、その意義に触れています
小山先生は、東工大に近いから、そちらかの情報も得ていると思います
URLリンク(www.)アマゾン/dp/4828308989
日本一わかりやすいABC予想 小山 信也 (著), 箱ア 沙也加 (編集), 長原 佑愛 (イラスト)ビジネス教育出版社 (June 15, 2021)
純くん
ABC予想の意味が本当に良く判る良書 July 13, 2021
ABC予想は2012年に解決が宣言されてから、長年、査読が完了しなかったので、現在50代の数学マニア(私)が生きている間には、証明が正しいか、誤っているかは、私が生きている間には判明しないと諦めていた。もしかすると、数学界では査読を放棄しているのではないかとさえ、思っていた。ところが、8年越しに学術誌に掲載されたため、数学界で正式に認められたことが判明し、一安心した。が、ABC予想を、数学のプロではない数学マニアに理解できるレベルの解説本がこれほど早く出版されるとは考えていなかった。それは、1990年代のフェルマー予想の解決の時の経験から、そう考えていた。本書は、題名の通り、本当に「日本一わかりやすいABC予想」の解説本であり、数学好きなら優秀な中学3年生でも理解できる
柳龍太
本当に日本一わかりやすい!! June 15, 2021
みなさんもABC予想が望月教授によって証明されたというような内容が新聞の一面に掲載されていたことは記憶に新しいのではないだろうか?しかし、ABC予想がどのような主張なのか、またそもそも予想って?数学の定理の意義って?社会にどう役に立つの?などといった疑問を持っている方も多いだろう。ABC予想がどのような主張なのかが説明されている本は現在多数出版されているがどれも踏み込んだ数学の内容が必要であるものが多く、簡単に主張や面白さが分かればいいのになという人や、そもそも予想とはなにか?のような疑問を持つ人に対して書かれた本ではないだろう。しかしこの本は論文掲載から証明が認められるまでのプロセスであったり、予想がそもそもどのように生まれるのかということから説明してあり、日本一わかりやすいとタイトルにあるだけあるなと感じさせられる内容であった。

18:132人目の素数さん
21/08/01 15:52:51.33 w67oYbiw.net
>>16
おサル必死で笑える
有限集合と無限集合では、当然異なる部分ありますよね
必死で重箱の隅をつついて、失地挽回ですか?
笑えます
無限集合でしか成り立たない項目を挙げて
「これは、有限集合では成り立たない」
そういう主張は無意味ですよ
同様に、連続無限でしか成り立たない性質で、可算無限集合では成り立たない例を取り上げて、
「これが下記のレーヴェンハイム-スコーレムの定理の反例」という主張、それはお笑いでしかない
アホやw
URLリンク(ja.wikipedia.org)
レーヴェンハイム-スコーレムの定理
例と帰結
自然数を N、実数を R とする。この定理によれば、(N, +, ×, 0, 1) の理論(真の一階算術の理論)には非可算なモデルがあり、(R, +, ×, 0, 1) の理論(実閉体の理論)には可算なモデルがある。もちろん同型の違いを除いて、(N, +, ×, 0, 1) と (R, +, ×, 0, 1) を特徴付ける公理化が存在する。レーヴェンハイム?スコーレムの定理は、それらの公理化が一階ではあり得ないことを示している。例えば、線型順序の完備性は実数が完備な順序体であることを特徴付けるのに使われるが、その線型順序の完備性は一階の性質ではない。

19:132人目の素数さん
21/08/01 16:11:44.07 w67oYbiw.net
>>18 補足
確かに考えてみると
前スレ下記
”(N, +, ×, 0, 1) の理論(真の一階算術の理論)”に、mod nを考えた、有限モデル
が、下記の”いくらでも大きな有限のモデルを持つ理論”の有限モデルに該当するかどうか?
それは、微妙かも。それと、下方は上方の逆ですからね、逆は必ずしも真ならずですが
そこらを突いてくるならともかくも、
アホざるの話>>16は、明らかにアホですねw(^^
(参考)
前スレ Inter-universal geometry と ABC予想 (応援スレ) 57
スレリンク(math板:965番)
>>レーヴェンハイム・スコーレムの下方定理もあるよ
>有限モデルが存在する、と書いてあります? 書いてないですよね
>可算モデルが存在する、としか書いてないですよね?
可算無限集合には、自明に有限集合を含むでしょ? 書かなくてもね
そして、下記の「例と帰結」で、”(N, +, ×, 0, 1) の理論(真の一階算術の理論)”に、mod nを考えたら、有限モデルできますよ
URLリンク(ja.wikipedia.org)
レーヴェンハイム?スコーレムの定理
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。
例と帰結
自然数を N、実数を R とする。この定理によれば、(N, +, ×, 0, 1) の理論(真の一階算術の理論)には非可算なモデルがあり、(R, +, ×, 0, 1) の理論(実閉体の理論)には可算なモデルがある。もちろん同型の違いを除いて、(N, +, ×, 0, 1) と (R, +, ×, 0, 1) を特徴付ける公理化が存在する。レーヴェンハイム?スコーレムの定理は、それらの公理化が一階ではあり得ないことを示している。例えば、線型順序の完備性は実数が完備な順序体であることを特徴付けるのに使われるが、その線型順序の完備性は一階の性質ではない。

20:132人目の素数さん
21/08/01 16:48:24.74 8szAMdzl.net
>>19
そもそも、どこにも
「定理の下方部分は、無限のモデルを持つ理論はいくらでも大きな有限のモデルを持たねばならないことをも示す。」
とは書いてませんが、もしかして幻視が見えましたか? w67oYbiw

21:132人目の素数さん
21/08/01 16:51:13.37 8szAMdzl.net
>>18
>有限集合と無限集合では、当然異なる部分ありますよね
言い訳は無意味ですよ
自然数論の有限モデルが存在する、という主張は
当然ながら、自然数論の全ての公理を真とするという意味です
素人がよく間違えることですが、球面幾何は
「平行線公準のみを満たさない」
という意味での非ユークリッド幾何ではありません
他にも満たさない公理が存在するからです

22:132人目の素数さん
21/08/01 16:54:36.25 8szAMdzl.net
>>18
>無限集合でしか成り立たない項目を挙げて
>「これは、有限集合では成り立たない」
>そういう主張は無意味ですよ
無限集合でしか成り立たない項目があることを認めましたね
「無限のモデルを持つ理論はいくらでも大きな有限のモデルを持たねばならない」
は、レーヴェンハイム・スコーレム定理でもなんでもないただの誤りだと認めましたね
無限集合でしか成り立たないなら、その有限モデルは存在しません

23:132人目の素数さん
21/08/01 17:09:43.67 8szAMdzl.net
>>18
>必死で笑える
>笑えます
自分に?w67oYbiw

24:132人目の素数さん
21/08/01 17:18:56.12 w67oYbiw.net
>>22
(引用開始)
無限集合でしか成り立たない項目があることを認めましたね
「無限のモデルを持つ理論はいくらでも大きな有限のモデルを持たねばならない」
は、レーヴェンハイム・スコーレム定理でもなんでもないただの誤りだと認めましたね
無限集合でしか成り立たないなら、その有限モデルは存在しません
(引用終り)
自分が数学のトリビア命題しか言えないって
自慢したいのか?
レーヴェンハイム・スコーレム定理自身には
おサルさん、1ミリも入れていないこと明白じゃん
もちろん、おれも、レーヴェンハイム・スコーレム定理自身には
1ミリも入れていないけどさ (ほんの表面だかだが、まだおサルよりもましな気がしますがね)
だけど、おサルは、数学科修士がご自慢だったよね
ご苦労さんだね、必死の姿が哀れに見えるのは、おれだけかい?

25:132人目の素数さん
21/08/01 17:25:10.94 V7faUAjY.net
>>24
そんなことどうでもいいから早く積分計算の抜粋と確率変数を答えてくれない?
できないなら妄想だったことを認めましょう

26:132人目の素数さん
21/08/01 18:10:59.82 V7faUAjY.net
え???答えられないの?また逃げるの?
あなた自分で言ったよね?積分が発散するから時枝戦略はイカサマだと、確率変数が分かってないと
自分の発言の後始末くらい自分でつけようね 3歳児じゃないんだから

27:132人目の素数さん
21/08/01 19:24:49.16 V7faUAjY.net
しっぽの同値類の代表系を一つ決められる。Y/N
出題列から100列を作る方法を一つ決められる。Y/N
出題列が固定されると100列及び100列それぞれの決定番号も固定される。Y/N
100列の決定番号はどれも自然数でる。Y/N
100列の決定番号には最大値がある。Y/N
100列のうち最大決定番号を持つ列は1列以上である。Y/N
100列のうち単独最大決定番号を持つ列は1列以下である。Y/N
100列のいずれかをランダムに選んだ時、単独最大決定番号を持つ列を選ばない確率は99/100以上である。Y/N
単独最大決定番号を持つ列を選ばなかった場合、代表列から情報を得て数当てに成功する。Y/N
時枝戦略の勝率は99/100以上である。Y/N

28:132人目の素数さん
21/08/01 19:30:39.91 w67oYbiw.net
前スレ Inter-universal geometry と ABC予想 (応援スレ) 57
スレリンク(math板:948番)
”実数係数多項式
f(x)=a0+a1x+・・・anx^n”>>941を言っているの?
過去の議論で、実数係数多項式で議論すれば、十分だとありましたよね
忘れたの?
(引用終り)
下記引用英文の通りだね。ちょっと解説するよ
1. ̄p( ̄z)は、p(z)の複素共役で、p(z)がn次多項式だとすると、
 q(z)=p(z)* ̄p( ̄z)は、2n次多項式 (ここに、記号 ̄は、複素共役を表す。)
2.q(z)が実係数であることは、xを実変数として書き換えると、
 複素共役 ̄q(x)= ̄p( ̄x)*p(x)=p(x)* ̄p( ̄x)=q(x)
 つまり、 ̄q(x)=q(x) となることから分かる(∵z= ̄zならzは実数)
3.で、q(z)が根を持てば、それは p(z) or ̄p( ̄z)の根
4.q(z)は実係数で、q(z)=0なら、その複素共役もq( ̄z)=0となる
(つまり、実係数の多項式が真の複素根zを持てば、その複素共役 ̄zになるというよく知られた事実を再確認した)
5.だから、実係数q(z)が、いま真の複素根αを持てば、z-αで割って、複素係数の式 q(z)/(z-α)が作れて、この式は複素共役根 ̄αを持つ
6.複素共役 αと ̄αは双対だから、はいずれにせよ、実係数q(z)が真の複素数根を持つということと、複素係数のp(z)が真の複素数根を持つということは同値です
7.だから、実係数の多項式のみを考察すれば良いのです
(参考)
URLリンク(en.wikipedia.org)
Fundamental theorem of algebra
Proofs
Some proofs of the theorem only prove that any non-constant polynomial with real coefficients has some complex root. This is enough to establish the theorem in the general case because, given a non-constant polynomial p(z) with complex coefficients, the polynomial
q(z)=p(z)* ̄p( ̄z)
has only real coefficients and, if z is a zero of q(z), then either z or its conjugate is a root of p(z).

29:132人目の素数さん
21/08/01 19:43:38.33 w67oYbiw.net
>>25
まず、確率変数くらい、自分で勉強しなよ
どこでも、検索すれば、すぐ分かるでしょ?
そして、ヒントを出すよ
1.箱が一つ、サイコロの目を入れて、蓋を閉める。中の数を当てるゲームの的中確率は。確率変数が使えるよ
2.箱がn個、サイコロの目を入れて、蓋を閉める。ある箱の中の数を当てるゲームの的中確率は。確率変数が使えるよ
 各箱は独立とします。サイコロは同じとすれば、iid(独立同分布)です
まず、この二つの場合を、自習自得してくださいね
最初から、無限個の箱を考えるから、混乱するのですw

30:132人目の素数さん
21/08/01 19:55:33.52 w67oYbiw.net
>>28 訂正
(つまり、実係数の多項式が真の複素根zを持てば、その複素共役 ̄zになるというよく知られた事実を再確認した)
 ↓
(つまり、実係数の多項式が真の複素根zを持てば、その複素共役 ̄zも根になるというよく知られた事実を再確認した)
細かいけど
よろしくね
すぐ分かると思うが

31:132人目の素数さん
21/08/01 20:51:32.10 V7faUAjY.net
>>29
>まず、確率変数くらい、自分で勉強しなよ
時枝戦略の確率変数が何かを聞いてるのにそんなんで誤魔化せると思った?

32:132人目の素数さん
21/08/01 20:54:18.10 V7faUAjY.net
>>29
>1.箱が一つ、サイコロの目を入れて、蓋を閉める。中の数を当てるゲームの的中確率は。確率変数が使えるよ
>2.箱がn個、サイコロの目を入れて、蓋を閉める。ある箱の中の数を当てるゲームの的中確率は。確率変数が使えるよ
> 各箱は独立とします。サイコロは同じとすれば、iid(独立同分布)です
で?時枝戦略の確率変数は何?また逃げるの?

33:132人目の素数さん
21/08/01 21:01:25.89 8szAMdzl.net
>>29
>1.箱が一つ、サイコロの目を入れて、蓋を閉める。中の数を当てるゲームの的中確率は。確率変数が使えるよ
>2.箱がn個、サイコロの目を入れて、蓋を閉める。ある箱の中の数を当てるゲームの的中確率は。確率変数が使えるよ
有限個しか考えられないんじゃ
「箱入り無数目」の方法は絶対に理解できないな

34:132人目の素数さん
21/08/01 21:02:51.93 V7faUAjY.net
>>29
>最初から、無限個の箱を考えるから、混乱するのですw
最初から無限列で考えればいいのに有限列で考えるから間違えるのですw
時枝証明には有限列はまったく出てこないので完全に無関係なのにw

35:132人目の素数さん
21/08/01 22:44:03.61 w67oYbiw.net
二匹のサルが、自分の不勉強を棚に上げて
「確率変数を教えてくれくれ」か?
教えてくれくれ言わずにさ
自分で勉強しなさい
確率変数も分からんのに
時枝は無理ですよ

36:132人目の素数さん
21/08/01 22:49:24.77 V7faUAjY.net
>>35
>「確率変数を教えてくれくれ」か?
またゴマカシか
誰が確率変数を教えてくれと言ったw
時枝戦略における確率変数を答えよと言った。いつまで逃げるつもりなのか?

37:132人目の素数さん
21/08/01 22:50:14.41 V7faUAjY.net
>>35
確率変数も書けないのになんで不成立と主張するんだ?真性のアホ?

38:132人目の素数さん
21/08/01 22:51:38.68 V7faUAjY.net
>>35
>二匹のサルが、自分の不勉強を棚に上げて
>「確率変数を教えてくれくれ」か?
>教えてくれくれ言わずにさ
>自分で勉強しなさい
>確率変数も分からんのに
>時枝は無理ですよ
見よ これが詐欺師の手口である

39:132人目の素数さん
21/08/01 22:55:27.36 V7faUAjY.net
自分が確率変数を書けないことを誤魔化すのに必死の詐欺師w

40:132人目の素数さん
21/08/01 23:04:32.05 V7faUAjY.net
>>35
確率変数は関数なんだろ?
ほれ、書いてみな、どんな関数?
数学では詐欺は通用しませんよ?

41:132人目の素数さん
21/08/01 23:13:29.74 V7faUAjY.net
>>35
え???
まさかどんな関数かも分からずに不成立とかほざいてたの?
ちょw それ勘弁やわw 白痴過ぎんだろいくらなんでもw

42:132人目の素数さん
21/08/01 23:19:38.45 V7faUAjY.net
>>35
ていうか関数の書き方って知ってる?
大学一年4月に授業について行けなくなった落ちこぼれには無理かな?

43:132人目の素数さん
21/08/01 23:26:29.51 V7faUAjY.net
>>35
え???
まじ関数の書き方分からないの?
ちょw そりゃ数学なんて到底無理だわw 白痴だとは思ってたがまさかそこまでとはw

44:132人目の素数さん
21/08/01 23:52:50.00 w67oYbiw.net
>>24
>レーヴェンハイム・スコーレム定理自身には
>おサルさん、1ミリも入れていないこと明白じゃん
レーベンハイム・スコーレム Akihiko Koga(下記)を読みました
・”「論理体系がモデルを持つ」という性質は,「少なくともそのモデルは矛盾を起こさない」ことを 保証すること”だそうです(^^
・証明に、コンパクト性定理を使うという
・コンパクト性定理:一階述語論理の文の集合がモデルを持つこと(充足可能であること)と、その集合の任意の有限部分集合がモデルを持つことが同値である
・コンパクト性定理から、可算無限集合が無矛盾であることは、その集合の任意の有限部分集合が無矛盾と同値です
・よって、下方定理として、可算無限集合から有限部分集合に落とすのは、コンパクト性定理から自明ですな
URLリンク(www.cs-study.com)
形式的論理体系の定義から
レーベンハイム・スコーレムの定理までの大急ぎのまとめ
by Akihiko Koga
27th Mar. 2020 (Update)
レーベンハイム・スコーレムの定理(Lowenheim-Skolem Theorem)を 非常に手短に説明しなければならないので,ここで少しずつ書きながら, 本番の資料を改良していこうと思う.なお,その勉強会の顛末とその時の資料の表紙に ついては 某勉強会での連続体仮説の解説についての顛末に書いた(2019.04.25 追記).
レーベンハイム・スコーレムの定理(レーベンハイム発表 1915年,スコーレムによる厳密な証明 1920年)は,一階の記号論理体系(一階述語論理)の「モデル(その体系の公理系を 満たす数学的な実例)」のサイズに関する定理である.後でもう少し詳しく説明するが,前提と なる枠組み,つまり,記号論理の体系やモデルなどの概念についてちょっと説明しておく.
「論理体系がモデルを持つ」という性質は,「少なくともそのモデルは矛盾を起こさない」ことを 保証することであり,とても重要な性質である.
つづく

45:132人目の素数さん
21/08/01 23:53:33.82 w67oYbiw.net
>>44
つづき
レーベンハイム・スコーレムの定理は,このときの記号を解釈するための「実体の集合 M」の 大きさに関する命題である.より詳しく言うと, 記号論理の体系がモデルを持つと 分かったとき,そのモデルを非常に巨大な大きさにしたり,またはその逆に, 非常に小さくしたりできると いう定理である.
上でも述べたように,記号論理のある公理の集合Aがモデルを持つ,つまり,その公理集合を満たす数学的な実例が あるということは,その公理集合が無矛盾であるとみなせることを意味する.
URLリンク(ja.wikipedia.org)
レーヴェンハイム?スコーレムの定理
Anatoly Ivanovich Maltsev (1936年) が完全に汎用的な形式でレーヴェンハイム-スコーレムの定理を証明した[6]。彼が引用したスコーレムのメモによれば、アルフレト・タルスキが1928年にこの定理を既に証明していたという。このため一般化した定理を「レーヴェンハイム-スコーレム-タルスキの定理」とも呼ぶ。しかし、タルスキは自分が証明したことを覚えておらず、彼がコンパクト性定理を使わずにどうやって証明しえたのかは謎のままである。
URLリンク(ja.wikipedia.org)
コンパクト性定理
コンパクト性定理(英: Compactness theorem)とは、一階述語論理の文の集合がモデルを持つこと(充足可能であること)と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである。
(引用終り)
以上

46:132人目の素数さん
21/08/01 23:55:12.47 w67oYbiw.net
>>40
(引用開始)
確率変数は関数なんだろ?
ほれ、書いてみな、どんな関数?
数学では詐欺は通用しませんよ?
(引用終り)
笑えます
その言い草
確率変数が分かっていないこと
丸わかりのおサルさんですね
アホや

47:132人目の素数さん
21/08/02 00:02:27.05 UMYhzcCZ.net
>>46
また逃げたw
「今日のところはこのくらいにしてやる」と言いながら後ずさりw マンガだなw
いーからほれ、書いてみな? 書けねーんだろw 丸わかりw

48:132人目の素数さん
21/08/02 00:08:41.22 UMYhzcCZ.net
>>46
はい、アホは確率変数書けずに泣きながら逃げていきましたー
確率変数も書けずに時枝なんて100年早いよ 大学一年4月に落ちこぼれた君は高校数学の復習から 近所の高校生に教えてもらいな

49:132人目の素数さん
21/08/02 00:14:14.72 UMYhzcCZ.net
「大学4年の確率論がー」が口癖のアホ、実は時枝戦略の確率変数を書けませんでしたとさw
どんな詐欺師よw 笑えるなw

50:132人目の素数さん
21/08/02 00:21:14.02 UMYhzcCZ.net
そういえば詐欺師くんは
「さて, 1〜100 のいずれかをランダムに選ぶ.」
が離散一様分布ではないとほざいてたねw
高校生にも負けるレベルじゃんよw まじ近所の高校生に頼んで教えてもらいなよ 時枝?100年はえーわ

51:132人目の素数さん
21/08/02 00:31:10.16 UMYhzcCZ.net
高校生なら大学レベルを知らない自覚があるから教え様がある。
詐欺師くんは高校生以下なのに大学4年レベルと妄想してるから教え様が無い。
妄想症治療は専門医以外には無理だからね。

52:132人目の素数さん
21/08/02 00:38:33.65 UMYhzcCZ.net
しかしすごいよね
自分が大学4年レベルとの妄想を維持するためには詐欺の手口も辞さないんだから
人格障害って恐ろしいね

53:132人目の素数さん
21/08/02 07:28:11.58 MQR4OP/h.net
>>46 補足
学習能力ゼロやね
”確率変数”は、まず下記ね
サイコロ1つの場合をしっかり、学習してね
分かりますか?
サイコロ博打で、ツボにサイコロを一つ入れる
”確率変数”は、サイコロ1つの場合は下記の通り
ツボの中で、サイコロの目がクルクル変わったりはしません
一旦入れたツボの中のサイコロの目は、変わりません
”固定”?w。一旦入れたツボの中のサイコロの目は変わりませんから、固定もクソもない(変わったらイカサマでしょうw)
でも、確率論では、”確率変数”です。”確率変数”で、確率を扱います
分かりましたか?
お返事「はい」は?www(^^
(参考)
URLリンク(bellcurve.jp)
Social Survey Research Information Co., Ltd.
統計用語集
確率変数
random variable
ある現象がいろいろな値を取り得るとき、取り得る値全体を確率変数Xとして表す。どのような値をとるかは決まっていないが、取りうる値、もしくは取りうる値の範囲とその値をとる確率または確率密度が決まっている数のこと。一般に離散型と連続型の二つが用いられる。
<離散型の例>例えば、一つのさいころを振り、出てくる目の値について考える。この時、確率変数はX=1,2,3,4,5,6となり、すべてのXについてP(X)=1/6となる。偶数の目が出る場合については、P(X=2,4,6)=1/2と表される。
つづく

54:132人目の素数さん
21/08/02 07:28:53.84 MQR4OP/h.net
>>53
つづき
URLリンク(bellcurve.jp)
Social Survey Research Information Co., Ltd.
11-1. 確率変数と確率分布
■確率変数
「確率変数」は、ある変数の値をとる確率が存在する変数のことです。例えば、さいころを投げて出る目は{1, 2, 3, 4, 5, 6}のいずれかであり、それぞれの目が出る確率は1/6であることから、さいころを投げて出る目は確率変数であると言えます。
URLリンク(bellcurve.jp)
この場合、確率変数の値(=さいころの出る目)をXとおくと次のように表すことができます。右側のカッコの中はXがとる値の範囲であり、この例では「確率変数Xが1から6までの整数の値を取る」ことを表しています。
P(X)=1/6 (X=1,2,3,4,5,6)
さいころの場合、出る目の値をそのまま確率変数がとる値とすることができますが、事象に数字がない場合でも、それぞれ事象に数値を設定することで確率変数がとる値とすることができます。例えば1枚のコインを投げる場合に、表が出る事象に「1」を、裏が出る事象に「0」を対応させると、確率変数になります。
URLリンク(bellcurve.jp)
表が出る事象も裏が出る事象のどちらも確率は1/2であることから、確率変数Xを用いて次のように書けます。
P(X)=1/2 (X=0,1)
■確率分布

(追加)
URLリンク(ja.wikipedia.org)
確率変数(かくりつへんすう、英: random variable, aleatory variable, stochastic variable)とは、統計学の確率論において、起こりうることがらに割り当てている値(ふつうは実数や整数)を取る変数。各事象は確率をもち、その比重に応じて確率変数はランダム[1]:391に値をとる。
確率空間 (Ω,F,P) において、標本空間 Ω の大きさが連続体濃度の場合、確率変数とは、Ω 上で定義された実数値関数で、F 可測であるものといえる。確率変数値をとる Ω の部分集合が事象であり従って確率をもつために「F 可測」は必要になる。
(引用終り)
以上

55:132人目の素数さん
21/08/02 08:38:14.59 UMYhzcCZ.net
>>53
また逃げたw
時枝戦略の確率変数を早く書いて下さいねー どーして逃げるんですか?

56:132人目の素数さん
21/08/02 09:23:20.72 humQtTeu.net
日本語のwikipediaの確率変数の項は酷い出来やな


最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch

80日前に更新/43 KB
担当:undef