Inter-universal geometry と ABC予想 (応援スレ) 63

1 名前：１３２人目の素数さん [2021/12/28(火) 23:28:06.67 ID:IQKnQwAx.net] （前“応援”スレが、1000又は1000近くになったので、新スレ立てる） 前スレ：Inter-universal geometry と ABC予想 (応援スレ) 62 https://rio2016.5ch.net/test/read.cgi/math/1638933969/ 詳しいテンプレは、下記旧スレへのリンク先ご参照 Inter-universal geometry と ABC予想 (応援スレ) 52 https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13 （参考） https://twitter.com/math_jin math_jin 出版序文リンク Andrew Putman 2021年3月6日 https://drive.google.com/file/d/1n1XMCNyQxswQGrxPIZnCCMx6wJka0ybh/view 望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。 査読が終り出版されました。また、“Explicit”版が公開され、査読は完了したようです。 IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加したようです。 IUTが正しいことは、99％確定です。 このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。 （なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；） つづく (deleted an unsolicited ad) 568 名前：１３２人目の素数さん [2022/01/01(土) 16:19:37.39 ID:rlZ8PATo.net] >>532 >”上昇”という用語を省いたら、無限列 0, 1, 2, 3, 4, 5, …ω は認めるよね いいえ、末項ωの直前の項が無いので列の定義に反します 列の定義は繰り返し教えてますよね？そろそろ理解してもらえませんか？ 569 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 16:32:44.35 ID:lBjAMPml.net] >>535 >>”上昇”という用語を省いたら、無限列 0, 1, 2, 3, 4, 5, …ω は認めるよね >いいえ、末項ωの直前の項が無いので列の定義に反します なんだ？ 下記の 列 (数学) 一般化 を百回音読したらどうだ？ 読んでる本、古くね？ https://ja.wikipedia.org/wiki/%E5%88%97_(%E6%95%B0%E5%AD%A6) 列 (数学) 一般化 「有向点族」および「族 (数学)」も参照 整列集合である自然数全体やその切片を順序数と考えるならば、通常の列は有限順序数 n または最小の超限順序数 ω で添字付けられていると考えることができる。このことから一般に、ある集合 X の元の集まりで、整列集合あるいは順序数によって添字付けられるものを広い意味で X の元の列と呼ぶことがある。特に極限数 α をとれば、α によって添字付けられる列を考えることができる。この語法では通常の（無限）列は ω で添字付けられた列ということになる。 列の概念は、添字集合となる整列集合を有向集合に取り替えて有向点族（あるいはネット）、一般の集合にとりかえて元の族の概念に一般化される。 https://en.wikipedia.org/wiki/Sequence Sequence Set theory An ordinal-indexed sequence is a generalization of a sequence. If α is a limit ordinal and X is a set, an α-indexed sequence of elements of X is a function from α to X. In this terminology an ω-indexed sequence is an ordinary sequence. 570 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 16:36:15.44 ID:t569GMxm.net] ソースがウィキペディアってどこの山形大学数学科の標準なんだよw 草が生えまくるぞ 571 名前：１３２人目の素数さん [2022/01/01(土) 16:38:54.69 ID:rlZ8PATo.net] >>532 >が、無限列 0< 1< 2< 3< 4, 5< …<ω を扱うには、 >定義域を拡張して、列(a_n)n∈N∪ω とするのが良かろう 良くないです。<ωの直前の項が無いという破綻に陥りますから。 >それで、”＜無限上昇列 ”を 定義域 N∪ωに拡張すれば、”無限列 0< 1< 2< 3< 4, 5< …<ω ”を扱える あなたがそのような変なものを独自定義するのはあなたの自由ですが、「＜無限上昇列 ０＜・・・＜ω が存在する」は間違いだと認めますね？ ＜無限上昇列には世間で認知されている正式な定義が存在していて、あなたが独自定義した変なものとは別モノですから。 572 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 16:40:36.90 .net] >>532 >After all natural numbers comes the first infinite ordinal,ω, >すべての自然数が最初の無限の序数になります、ω、 翻訳間違いですね 正しくは以下 「すべての自然数の後に最初の無限順序数ωが来ます」 さて >”上昇”という用語を省いたら、無限列 0, 1, 2, 3, 4, 5, …ω は認めるよね ダメでしょうね　無限列の定義は 項に対して「自然数で」番号付けできること だって御存知 573 名前：ですよね　 まさか知らなかったの？　あなた年齢幾つ？ >＜ を間に入れても良いよね、 無限列 0< 1< 2< 3< 4, 5< …<ω となるよ 「間」といいました？ ωと他の順序数全体の間ってあります？ もし間があるとすると 0, 1, 2, 3, 4, 5, … の最大値がありますよね？ それって何ですか？ まさかそんなものが本当にあると心から思ってます？ あなた年齢幾つ？ >>　<列は自然数全体の集合を定義域とする写像s:N→Xであって、 >>n<m ⇒ s(n)<s(m) を満たすものですから。 >違う >単なる列には、”自然数全体の集合を定義域とする”の規定は不要です あなたが勝手に決めることではないですが あなた年齢幾つ？ [] [ここ壊れてます] 574 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 16:42:22.63 ID:zFkCupja.net] ソースとしてウィキペディア記事の翻訳コピペをしてるのが底辺大准教55歳でしょ 日本語版が匿名掲示板運用ボランティア一味に乗っ取られ、ルール違反の多重アカウント投票を取り締まるuser check係自身が多重アカウント投票で選出されたデタラメ期の管理者の一人、Su-no-G系統の人だろうな日本語版ウィキペディア記事を平気で引用しちゃう大学関係者 575 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 16:43:33.84 ID:zFkCupja.net] >>539ID無しは底辺大准教55歳本人なので相手をする価値無し 576 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 16:44:46.37 .net] >>533 >ω＝{0,1,2,・・,n,・・} （全ての自然数を尽くす） >これで、}のすぐ左の元は、決まらない（その意味で存在しない） その通り 従ってω={x}という形で表せない なぜならxは0,1,2,・・,n,・・の最大元だから しかし0,1,2,・・,n,・・の最大元が存在しないとしたら… しかたないのでω={0,1,2,・・,n,・・}とでもするしかない 0,1,2,・・,n,・・じゃなくてもその中の無限個の元を選べばいいですけどね 577 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 16:45:05.29 ID:zFkCupja.net] 底辺大准教55歳が教育機関従事者としてダメなのは >>539で何度も繰り返している意味のない罵倒癖 まさか知らなかったの？　あなた年齢幾つ？ まさかそんなものが本当にあると心から思ってます？ あなた年齢幾つ？ あなたが勝手に決めることではないですが あなた年齢幾つ？ 578 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 16:46:45.54 ID:zFkCupja.net] > まさか知らなかったの？　あなた年齢幾つ？ > まさかそんなものが本当にあると心から思ってます？あなた年齢幾つ？ > あなたが勝手に決めることではないですが あなた年齢幾つ？ その答えは 滋賀県長浜市虎姫高校出身山形県山形市在住55歳 だね バカだから意味のない罵倒を繰り返す 579 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 16:52:04.56 .net] >>538 >　＜無限上昇列には世間で認知されている正式な定義が存在していて 誤　＜無限上昇列 ０＜・・・＜ω 正　＜無限上昇列 ０＜・・・ω ωはその左のいかなる順序数ｘについてもｘ＜ωであるが ω自体の左には＜は書かない なぜなら＜を書いたらその左に順序数を書かなくてはならないが そんなものは存在しないから 580 名前：１３２人目の素数さん [2022/01/01(土) 16:54:38.75 ID:rlZ8PATo.net] >>533 >ええ、だから、>>502よりω＝{0,1,2,・・,n,・・} （全ての自然数を尽くす） >これで、}のすぐ左の元は、決まらない（その意味で存在しないと言ってもいい） はい、最大自然数なるものは存在しませんから >でも、ω＝{0,1,2,・・,n,・・}を集合と認めるわけだ はい、無限公理で認められてますから >こっちを認めて、あっちを認めないというのは、いわゆるダブルスタンダードですよ なんでダブスタなんですか？ 一方は公理で認められた無限集合、他方は集合たり得ない変なもの、全然別モノですけど？ 581 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 17:01:07.76 .net] まさかと思うんですが・・・ lBjAMPmlさんは　 「無限集合は存在しない！」 といってます？ lBjAMPmlさん　あなた年齢幾つ？ 582 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 17:01:24.31 ID:g0+F40r5.net] >>544 おやおや元旦から山形大学の学生実験で成績Fを取り長野県飯田市に引き籠っているデブで糖尿病のケツの穴の皮で出来たチンポの皮を持つチンポからアメリカザリガニ臭のするおっさんが新年から発狂ですか？ 583 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 17:18:48.36 ID:lBjAMPml.net] >>529 >何をどう言い訳してみても”ツェルメロの順序数”がZFCの中の議論である限り“ツェルメロのω”なるものも集合になるしかない ID:AINN/vbo氏、下記の「それでなんで数学何年も勉強した人間のためはれると思ってるん？」 か、なるほど、数理論理君ね あんたの”数学何年も勉強した”って、まさか数学板を何年も徘徊していることかい？ｗ ところで、以前も書いたけど、私は「ZFCの中の議論」には拘らないよ デルタ関数>>500が、通常の関数の概念の外になったが如くでも良いよ ところで、数理論理君って、基礎論勉強したとか言いながら、基礎論の知識ショボくね？ 基礎論の議論の内側には、全く入ってこれないじゃんｗ それは、見ている人がみな感じていることだと思うけどね ここで、一見IUTと関係ない議論をしているように見えるだろうが １）IUTアンチの二大巨頭の おサルさん>>7と数理論理君 の化けの皮をはぐ狙いが一つ ２）もう一つは、IUTのIVの付録に基礎論を論じている部分があるのと、 　IUTの”宇宙”という用語が（個人的に）イマイチ*)だと思うのでその議論もある 　（ *)”宇宙”という用語が、IUTの中で何を指しているのか？ ちょっと大袈裟すぎという感じがしているんだけど） (参考) hissi.org/read.php/math/20220101/QUlOTi92Ym8.html 必死チェッカーもどき 数学 > 2022年01月01日 ID:AINN/vbo 5 位/66 ID中 Total 6 使用した名前一覧 １３２人目の素数さん 書き込んだスレッド一覧 高校数学の質問スレ Part415 面白い数学の問題おしえて〜な 40問目 Inter-universal geometry と ABC予想 (応援スレ) 63 書き込みレス一覧 高校数学の質問スレ Part415 165 ：１３２人目の素数さん[]：2022/01/01(土) 09:48:43.16 ID:AINN/vbo >>161 てか尿瓶って全然数学勉強した事ないよね？ それでなんで数学何年も勉強した人間のためはれると思ってるん？ 584 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 17:28:56.87 ID:lBjAMPml.net] >>537 >ソースがウィキペディアってどこの山形大学数学科の標準なんだよw >草が生えまくるぞ その見識古いと思うよ 特に、英ウィキペディアは、プロ数学者でも評価高いらしいぜ 実際、あなたの持っている本（和書）の記載と、英ウィキペディアの記載とを比べてみな いま議論している 集合論とか基礎論で良いよ（他の分野でも、和書との比較ならOK） 多分、本（和書）の記載が圧倒的にショボくて、古いと気付くだろう 585 名前：１３２人目の素数さん [2022/01/01(土) 17:36:59.58 ID:rlZ8PATo.net] >>536 >下記の 列 (数学) 一般化 を百回音読したらどうだ？ つまりあなたは「一般化した＜無限上昇列としての　０＜・・・＜ω　が存在する。」と言いたい訳ですね？ それなら良いですよ？但し、末項が存在し、且つ、その直前項が存在しないという変な列ですけどね。当然二項関係＜も独自再定義が要るでしょうね。頑張って定義して下さい。 それで、世間で云うところの＜無限上昇列としての　０＜・・・＜ω　が存在しないことは認めますね？ 586 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 17:38:56.30 .net] >>549 >デルタ関数が、通常の関数の概念の外になったが如くでも良いよ 無限重シングルトンが、通常のシングルトンの外になってもいい、ってことですね やっと正解に辿り着けたね　おめでとう！！！！！！！ 587 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 17:40:43.23 .net] >>550 wikipediaは悪くないな wikipediaを読まずにコピペするだけで 満足しちゃう態度が悪いんだよ コピペした文章を一度は読もう　そして理解しよう 588 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 17:47:05.82 .net] >>536 列 (数学) https://ja.wikipedia.org/wiki/%E5%88%97_(%E6%95%B0%E5%AD%A6) ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 定義 集合 S に値を取る項数n の有限列とは、 {1, 2, ..., n} から S への写像 a : {1, 2, ..., n} → S のことである。 同様に、S に値を取る無限列とは、 自然数全体のなす集合 N={1,2,3,…}から S への写像 a : N → S である。 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 定義をすっ飛ばして、一般化の箇所を引用したらダメだよ 数学書の読み方も知らないのかな？ lBjAMPmlさん　あなた年齢幾つ？ 589 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 17:51:50.41 .net] 列 (数学) https://ja.wikipedia.org/wiki/%E5%88%97_(%E6%95%B0%E5%AD%A6) ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 一般化 一般に、ある集合 X の元の集まりで、 整列集合あるいは順序数によって添字付けられるものを 広い意味で X の元の列と呼ぶことがある。 a : α→X (αは整列集合あるいは順序数） この語法では通常の（無限）列は ω で添字付けられた列ということになる。 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー いわずもがなだが αが順序数なら、α自身はαの元ではない ωも、ω自身の元ではない 590 名前：１３２人目の素数さん [2022/01/01(土) 17:53:03.43 ID:rlZ8PATo.net] >>549 >ところで、以前も書いたけど、私は「ZFCの中の議論」には拘らないよ はい、ZF内では集合の元は集合に限られますからあなたのaωは存在できませんね。 で、拘らないのは良いですが、どの公理系の話をしてるんです？ 591 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 17:58:18.63 ID:zFkCupja.net] ID無しのひとはもうさんざ身元バレしたのだからもう書き込まなくていいよ 592 名前：１３２人目の素数さん [2022/01/01(土) 17:58:50.03 ID:EdZz+tuI.net] >>549 この何を根拠にしてるのかわからん上から目線 593 名前：尿瓶と一緒 自分の事天才とでも思ってるんかねぇ？ [] [ここ壊れてます] 594 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 18:00:14.20 ID:zFkCupja.net] >>549 hossi.orgを貼って他の荒らしを晒す癖は 底辺大准教55歳の特徴だね これも身元バレ済み 595 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 18:01:20.60 .net] >>558 永遠の幼児みたいなので生暖かく見守ってあげてね 596 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 18:54:27.35 ID:t569GMxm.net] ID無しのひとが永遠の幼児だな 597 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 18:56:01.36 ID:aQTTqsY7.net] SetAが数学的自殺のみならず文学的自殺も自発的かつ積極的に敢行↓ >>526 > >>525 > >「有限小数しかない数学なら0.999…≠1だよね」発言やらかした > > 例えば、コンピュータ内のデジタルの内部では、有限小数しかないよ > やらかしでも、なんでもないよ > > 例えば > コンピュータ内の場合、有限小数しかないから > ”0.999…≠1”は、ありだよ > > 1＝(1/9)*9 で > 右辺 1/9＝0.111111・・でどこか有限桁で打ち切るとする > (1/9)*9＝0.999999・・（有限桁）で終わるから > 0.999…≠1となるよね > （下記OKWAVEも、見てね） > > (参考) > okwave.jp > OKWAVE anonym1908 > 2017/12/23 00:42 > タイトル: 0.999...=1 を証明せよ、に思うこと > > みんなの回答 > Water_5 > ベストアンサー率17% (56/314) > 0.999... と 1は等しくありません｡ > > ０＜ｘ＜１、つまりX軸上を考えます。・・・・・・・・（C) > ｆ（ｘ）＝ｘ > ０＜ｆ（０．９９９・・・）＝０．９９９・・・＜ｆ(1)＝１　/　（C)式より > であって決して”１”ではありません｡ > しかし､ > 　　lim　ｆ（ｘ）＝１ > 　　ｘ---->１ > が成り立ち　極限値として０．９９９・・・・・＝１が成り立つ｡ > > noname#232800 > あのー私の考えね｡ > 二進数に「0.1」って無いんですよ。パソコンの中って、二進数と浮動小数しかないんです｡ > 従って、人間の脳には　0.99999999999　が存在しますが､ 598 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 19:02:18.82 ID:t569GMxm.net] ニセ科学批判カルトが多用する特異語 1. ニセ科学 2. エセ科学 3. トンデモ 4. ペテン師 5. デマ 6. 自分が本当の被害者 6. hissi.org 7. 自殺 599 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 19:05:22.13 ID:t569GMxm.net] 8. ウィキペディア(wikipedia) 600 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 19:07:13.07 ID:aQTTqsY7.net] 但しSetAがω重一元豚かつω重独身豚である事は正しい 601 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 19:21:41.51 ID:t569GMxm.net] 9. 豚 10. 独身 602 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 19:37:14.85 ID:aQTTqsY7.net] いいか完全無収入セタ > 右辺 1/9＝0.111111・・でどこか有限桁で打ち切るとする > (1/9)*9＝0.999999・・（有限桁）で終わるから バーーーーカ。あのな 0.999… を有限桁で「打ち切る」つまり「切り捨て」したら『表記から』して 0.999…999 に 『変わる』（←お前と亡くなったと思われる安達翁と自称物理学研究生と語らうバカボンパパにとっては超重要事実）のは 世界万人公知かつ共通初学自明なんだけど｡ >>猿踊り一石MaraPapiyas 甘やかし過ぎ 603 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 19:40:23.04 ID:t569GMxm.net] 11. 理研|STAP細胞|小保方 604 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 19:51:31.63 ID:aQTTqsY7.net] >>563-564 ニセ科学批判カルト ニセ科学批判カルト批判カルトなお前 ニセ科学批判公的機関 ニセ科学批判学術機関 ニセ科学批判公的役職 ニセ科学批判学術権威 お前は何だ？例えばムー大陸説は無い。だがムー文明は存在した。大陸に非ず、超多連列島だった｡ いい加減にシンパだのアンチだのニュートラルから脱却しろや、この洗脳迎合主義者が｡ 605 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 19:54:02.70 ID:aQTTqsY7.net] >>566 ん？その追加レスの仕方… >>568 んんんんん!! しまった、相手が猿踊り一石Marapapiyasと気付かずレスしてしまった!!殺される殺される殺される殺される殺されるー!! 606 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 19:54:23.73 ID:t569GMxm.net] ニセ科学批判カルトが多用する特異語　[改訂版] 1. ニセ科学 2. エセ科学 3. トンデモ 4. ペテン師 5. デマ 6. 自分が本当の被害者 6. hissi.org 7. 自殺 8. ウィキペディア(wikipedia) 11. 理研|STAP細胞|小保方 12. 月刊ムー|オカルト 607 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 20:01:09.53 ID:aQTTqsY7.net] 殺される殺される殺される殺される 殺されるどころか滅ぼされて転生すらできない滅ぼされる滅ぼされる滅ぼされる滅ぼされる もう生き続ける事は諦めて死んで生まれ変われる事を期待するしかない嫌だ嫌だ嫌だ嫌だ 608 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 20:04:18.99 ID:aQTTqsY7.net] >>571 あーーーやっぱりMarapapiyasだー嫌だ嫌だ嫌だ嫌だ 仏陀最大の敵だぁあああ…怖いよぅ、怖いよぅ、怖過ぎるよぅ… 609 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 20:14:23.87 ID:t569GMxm.net] >>550 一つ思い出したけど日本語版ウィキペディアは ほんの2〜3名の執筆者が出� 610 名前：Tも付けずに自習ノートのような半可通な記事を大量生産していた時期があり その時期の数学ポータル担当管理者は無名院生、 その院生を唆して終身管理者制度を密室投票状態で通そうとしたのが前述の管理者Su-no-G いまのこのスレで毎日暴れているひとの少なくとも一人はそのSu-no-G(の生まれ変わり)的なひとだから 学部生ですら使うなと言われている日本語版ウィキペディアを引用して毎日大量コピペをしているように見えるね [] [ここ壊れてます] 611 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:05:30.49 ID:3z2olBkR.net] >>499 自分が変質者であることを認めたa_watcher 612 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:24:38.14 .net] aQTTqsY7氏へ t569GMxm氏は「あのお方」ではないでしょう そういえば「あのお方」はこんな曲がお好きでした https://www.youtube.com/watch?v=BhL47b5ZcRY 613 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:28:29.74 ID:lBjAMPml.net] >>546 >>こっちを認めて、あっちを認めないというのは、いわゆるダブルスタンダードですよ >なんでダブスタなんですか？ >一方は公理で認められた無限集合、他方は集合たり得ない変なもの、全然別モノですけど？ 分かってないね 無限公理で認めたのは、可算無限集合たる自然数Nの集合ですよ （正確には、全ての自然数の要素を含む集合Aであって、A⊂Nですが（下記）） で、この自然数Nの元は、ノイマン後者関数で閉じていて、0,1,2,・・・とエンドレス無限になっています 集合の元が可算無限個あるから、Nは可算無限集合になります この可算無限を用いて、他のいろんな可算無限集合を作ることができる 例えば、Ordinal number （encyclopediaofmath.org）>>464の 0,1/2,2/3,3/4,…,(n-1)/n…,1とか 　1/2,1/3,1/4,…,　　1/n…,0とかね つーか、そもそも それが無限公理の狙いの一つですよね Nから、いろんな可算無限集合を作ることができるのです その一つが、可算無限多重シングルトンです。添え字付きカッコ{}を使いますが 全然別モノではないですよ なお、上記の有理数列で、ω相当の1とか0とか付けておきましたよｗ encyclopediaofmathのように、有理数体Qに埋め込めば、N∪{ω}に対応する列は普通に出来ますよ (参考) https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86 無限公理 定義 ZF公理系における公式な定義は次の通りである。 略 空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する： 定義中の集合 A は以下の性質を満たすことを確認できる。 >>556 >はい、ZF内では集合の元は集合に限られますからあなたのaωは存在できませんね。 >で、拘らないのは良いですが、どの公理系の話をしてるんです？ それ（存在できません）は、未証明ですね。ZFで良いですよ。どうぞ証明をｗ 614 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:33:18.58 ID:lBjAMPml.net] >>574 >学部生ですら使うなと言われている日本語版ウィキペディアを引用して毎日大量コピペをしているように見えるね 半分浮き足立っているのかな？ｗ ”使うなと言われている日本語版ウィキペディア”ね だったら、英文なら良いんでしょ？ｗｗ かつ、いまの日本語版ウィキペディアの多くは、英ウィキペディアの翻訳が多いですよ 知らないみたいですね 両方対比すれば、すぐ分かりますけどねｗ 615 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:33:30.91 ID:sINw/e2i.net] やっぱり底辺大准教(55歳)が定期発狂連投 このスレの荒らしの少なくとも一人が底辺大准教授(55歳)である事が連日確認できてしまうね 616 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:35:38.03 ID:lBjAMPml.net] >>577 タイポ訂正 （正確には、全ての自然数の要素を含む集合Aであって、A⊂Nですが（下記）） 　↓ （正確には、全ての自然数の要素を含む集合Aであって、A⊃Nですが（下記）） 失礼しました 数学記号を出すのが大変なんだよね うっかりしていました 617 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:36:11.45 ID:t569GMxm.net] >>576 ベビメタのイジメ絶対ダメって 底辺大准教のテーマソングでしょ 普通のひとはそんな曲に思い入れはないと思うよ 618 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:39:22.92 ID:t569GMxm.net] さっきまで「きみ何歳」連呼していた ID無し氏＝ID:aQTTqsY7が 涙目で「イジメ絶対ダメ」を貼る 心境変化の原 619 名前：因は何だろうね >>571リストが的確過ぎて鬼の目にも涙目でといったところか、月刊ムーは誰かの愛読書らしいし [] [ここ壊れてます] 620 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:44:31.82 .net] >>581 BABYMETALの曲は「あのお方」のテーマ曲ですね https://www.youtube.com/watch?v=1ce456Nnkt8 621 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:50:16.48 ID:t569GMxm.net] なるほど、天羽優子のテーマ曲か 学生誤爆ハラスメントでしつこいネットハラスメントをしていたクズだから戒めの為にその曲を座敷牢で聞かされてるんだろうな 622 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:52:22.47 .net] >>577 ＞それ（存在できません）は、未証明ですね。 いや既証明です ωがシングルトンなら後続順序数です したがってωが極限順序数であることと矛盾します だからあなたは ωは実はシングルトンではなく無限集合だ と「変節」した筈ですが 変節結構　君子豹変　おめでとう 623 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:53:58.31 ID:t569GMxm.net] ベビメタがブレイクして多くの人が聴いた曲は その曲ではなくてラップの入ったミクスチャ曲の方だよね もう何年も前のヒット曲だから名前が出てこないけど …いま探したらコレか　https://youtu.be/WIKqgE4BwAY 624 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:55:31.91 .net] >>584 いや、現人神SU-METALのテーマ曲です https://www.youtube.com/watch?v=hPVx7IazcEw 625 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 21:59:55.46 .net] >>586 噂では「あのお方」はBABYMETALの初期からの信徒で ファースト・セカンド・サードの三枚のアルバムを 全て購入しているとのこと 今一番のお気に入りはこの曲とか https://www.youtube.com/watch?v=SKOR2r0pLjU あいかわらずぶっとんでますな 626 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 22:08:21.39 ID:t569GMxm.net] うーん(笑 そういや同期にも研究室でHM/HR鳴らす院生が居たなって思い出した 627 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 22:45:20.51 ID:g0+F40r5.net] >>584 お前まったく相手にされてないなwww 628 名前：１３２人目の素数さん [2022/01/01(土) 22:59:11.26 ID:rlZ8PATo.net] >>577 >その一つが、可算無限多重シングルトンです。添え字付きカッコ{}を使いますが >全然別モノではないですよ 可算無限多重シングルトンなるものは無限集合ではなくシングルトンでもなく、そもそも集合でもない よってまったくの別モノですね 629 名前：１３２人目の素数さん [2022/01/01(土) 23:09:28.09 ID:rlZ8PATo.net] >>577 >それ（存在できません）は、未証明ですね。ZFで良いですよ。どうぞ証明をｗ あなたはω{の右隣りのかっこが無いことを認めました。 　>>502 　>ω{のすぐ右の{は存在しない それはaω={x}とおいたときxに最外カッコが無いということですよ？ 最外カッコが無ければxの元を特定できないのでxは集合たり得ません。よってaωも集合たり得ません。 まだ理解してなかったんですか？頭悪いですね。 630 名前：１３２人目の素数さん mailto:sage [2022/01/01(土) 23:32:49.01 ID:lBjAMPml.net] >>591 >可算無限多重シングルトンなるものは無限集合ではなくシングルトンでもなく、そもそも集合でもない １．可算無限多重シングルトンなるものを、概念としては認めたわけですね。それは進歩ですね ２．で、次の「無限集合」の定義は？ 濃度(cardinal)ですか？ 明らかに、濃度は無限ではない（カッコ{}の深さは無限ですが） ３．「シングルトンでもなく」の証明は？ ４．「そもそも集合でもない」の証明は？ ZFですか？ urelement を認める集合論もありますよ（下記など） 　「ωを先にノイマン基数割当で定義した後、そのωを使って、添え字付きカッコとして、”Φの外にω重カッコ”を構成する」>>481 　としました 　ω{・・n{n-1{・・1{0{}0}1・・}n-1}n・・}ωで、両外のω{}ωを外した 　・・n{n-1{・・1{0{}0}1・・}n-1}n・・を、urelement と考えても良い 　だが、その前に、無限公理で、エンドレスの無限状態 0,1.・・n-1,n,・・ を認めたならば 　・・n{n-1{・・1{0{}0}1・・}n-1}n・・も、同じ状態と認めたらどうですか？ (参考) https://en.wikipedia.org/wiki/Urelement Urelement Urelements in set theory The Zermelo set theory of 1908 included urelements, and hence is a version we now call ZFA or ZFCA (i.e. ZFA with axiom of choice).[1] Adding urelements to the system New Foundations (NF) to produce NFU has surprising consequences. Quine atoms An alternative approach to urelements is to consider them, instead of as a type of object other than sets, as a particular type of set. Quine atoms (named after Willard Van Orman Quine) are sets that only contain themselves, that is, sets that satisfy the formula x = {x}.[7] 631 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 00:06:56.47 ID:h/uSD3oa.net] >>501,548,590でこの人のポジションが判った 501＝底辺大准教55歳本人宣言 548＝底辺大准教55歳のいつもの小汚い妄想 ここまではいつも通り >>590＝「インテリ追っかけ婆が『同担』を蹴落とす時の言葉」と解釈すれば筋道が通る 最初から知ってたけど、底辺大准教氏は単なるインテリ追っかけ婆なんだね だから追っかけ対象の気を引こうと意地悪をしたり、 支離滅裂な言いがかりをつけて嫌がらせをしたり、 他の目的でここに居る人に露骨なライバル心を剥き出しにして喧嘩をふっかけて回っているんだね それ菊池誠のところでも田崎晴明のところでもやってたよね、最初からそれは知ってる話だわ 632 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 00:14:28.27 ID:h/uSD3oa.net] 一旦理解してしまうと 日々の言動の不可解さが氷結する 己の身の丈に合わない虚勢を張って 完全にボロ負けの議論を何年間でも引っ張って ストローマン論法で勝っているフリをしたり 容姿を整える努力を放棄したまま 自分の容姿を芸能人に喩えたり 意中のアイドルの前では大人しく アイドル弄りに専念するかと思いきや 自分が加害者なのに被害者だと言い張ったり それ全部、社会性の低い追っかけ婆の振る舞いだったんだね 633 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 00:23:37.17 ID:h/uSD3oa.net] そういう追っかけ活動は 一般論としてはアイドルと追っかけの間の問題だけど こいつがまだ起こしているトラブルは常に アイドルを追い詰めアイドルの仕事を妨害し アイドルを追っかけ婆のポジションまで貶す活動に なってしまっているから、 結果的に誹謗中傷や名誉毀損、偽計業務妨害、讒訴恫喝、虚偽による科学活動の妨害といったシャレにならない犯罪行為になる 追っかけの犯罪行為をやめさせるには、 その動機や原因を正しく理解し、 それよりもメリットのある活動へと導くしかないんじゃないかな、追っかけはストーカーだから難しいとは思うけど 634 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 00:24:13.93 ID:h/uSD3oa.net] まだ起こしている→起こしている 635 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 00:27:43.58 ID:oB/Enoq3.net] >>594、595、596 あなた頭大丈夫？ ママは心配です 636 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 00:37:59.41 ID:h/uSD3oa.net] 雑な推論ではあるけれど、単なる追っかけが犯罪行為に踏み込む直接的動機は「ワナビー」だろう 普通の追っかけは アイドルと親しくなり、特別な存在として認めてもらい、とっておきの質問をして裏話を教えてもらったり ゆくゆくは結婚したい等がゴールだろう ワナビーはそこから更に踏み込む 憧れのアイドルと自分を同化して、自分がアイドルになりたい、 いま目の前に居るアイドルこそ最大のライバルだから、そのライバルを蹴落とし潰してそのポジションを自分が手に入れれば、目的を達成する事ができる だからアイドルの重要な仕事の妨害を平然とする 自分の興味の対象は病的なアカデミックハラスメント事案の発展的解消(誰も不幸にならない問題解決)にあるので、この変態ワナビーをどう扱うべきかが問題になる 637 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 00:39:04.18 ID:h/uSD3oa.net] >>598 お前の話だから黙って部屋の隅で膝を抱えて息を止めておけカス 638 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 00:44:58.21 ID:oB/Enoq3.net] >>600 完全にノイローゼですね お正月はお医者さん休みだからあれほど薬は多めに貰っておくように言ったのに ママはパパがいるから大丈夫よ 心配しないで！ 639 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 00:49:05.30 ID:h/uSD3oa.net] >>588から連想したのが>>594-599のようなストーリー 640 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 00:50:12.78 ID:h/uSD3oa.net] >>601 お前の犯罪行為に関する話だから黙ってろゴミカスアラ還婆 641 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 00:52:43.36 ID:h/uSD3oa.net] >>588に関しては、あの人もアイドルヲタだからそういった心理がわからんでもないし、ファン同士のいざこざも嫌だというニュアンスで受け取った その意思をあえて無視するべき理由はない 642 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 00:54:59.77 ID:h/uSD3oa.net] 「あのお方」というのが実際に誰なのか、自分は知らないし、自分はアイドルヲタではないから理解の至らない点もあるとは思う 643 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 01:00:07.36 ID:h/uSD3oa.net] 少なくとも、菊池誠や田崎晴明が長年(およそ25年以上)心を砕いてきた事の一端を心から理解できたことは今夜の大きな収穫だと思う 644 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 01:09:26.69 ID:oB/Enoq3.net] >>601 私はBABYMETALとかクソみたいな音楽には興味ないわよ ハードロックとベビーメタルはバカが聞く音楽だからね あなたはハードロックやベビーメタル聞いたから頭がおかしくなったのね 645 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 01:10:27.16 ID:oB/Enoq3.net] ベビーメタル → ヘビーメタルね 646 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 01:12:27.01 ID:oB/Enoq3.net] ハードロックやヘビーメタル好きな人は性格悪い ガンダム好きなヤツも性格悪い パソコンでゲームやってるヤツも だいたい仕事でもないのにパソコン得意なヤツは気持ち悪い 647 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 01:42:18.23 ID:h/uSD3oa.net] 広義のアカハラ問題を起こす下等生物のレスは一切読まない 648 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 02:33:19.11 ID:oB/Enoq3.net] >>610 さようなら a_watcher 649 名前：１３２人目の素数さん [2022/01/02(日) 02:54:24.63 ID:c+Wvs6m3.net] >>593 >１．可算無限多重シングルトンなるものを、概念としては認めたわけですね。 well-definedでない何か変なモノとの認識しかないです >２．で、次の「無限集合」の定義は？ 有限集合でない集合ですけど？ 有限集合とは{0,1,…,n}との間に全単射が存在する集合ですけど？ >３．「シングルトンでもなく」の証明は？ 「シングルトンは集合」の対偶 >４．「そもそも集合でもない」の証明は？ >>592 >ZFですか？ はい >urelement を認める集合論もありますよ（下記など） >>577でZFでよいと言ったのはあなたですよね？ 自分で言ったことも覚えてないんですか？ >　だが、その前に、無限公理で、エンドレスの無限状態 0,1.・・n-1,n,・・ を認めたならば >　・・n{n-1{・・1{0{}0}1・・}n-1}n・・も、同じ状態と認めたらどうですか？ 状態とは？ 650 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 06:42:03.69 .net] >>593 >・・n{n-1{・・1{0{}0}1・・}n-1}n・・を、urelement と考えても良い urelementには｛｝要らないですね >だが、その前に、無限公理で、エンドレスの無限状態 0,1.・・n-1,n,・・ を認めたならば 無限公理は以下の論理式だが ∃x.({}∈x＆∀y.y∈x⇒s(y)∈x) sは、後者関数で、xとs(x)が異なるならなんでもいい 見れば明らかだがどこにも…はない >・・n{n-1{・・1{0{}0}1・・}n-1}n・・も、 >同じ状態と認めたらどうですか？ ・・n{n-1{・・1{0{}0}1・・}n-1}n・・の存在を 無限公理と同様に論理式で記載してみせてくれるかな？ 651 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 08:04:59.64 ID:DhlSCn4I.net] >>551 >つまりあなたは「一般化した＜無限上昇列としての　０＜・・・＜ω　が存在する。」と言いたい訳ですね？ >それなら良いですよ？但し、末項が存在し、且つ、その直前項が存在しないという変な列ですけどね。当然二項関係＜も独自再定義が要るでしょうね。頑張って定義して下さい。 >それで、世間で云うところの＜無限上昇列としての　０＜・・・＜ω　が存在しないことは認めますね？ 戻るが 認める必要は、ないよね Ordinal number （encyclopediaofmath.org）>>464 https://encyclopediaofmath.org/wiki/Ordinal_number For 652 名前： instance, the ordinal number of the set N of all positive integers, ordered by the relation ≦, is ω. The ordinal number of the set consisting of 1 and numbers of the form 1-1/n where n∈N, ordered by the relation ≦, is ω+1. (引用終り) 有理数体Qで、順序数をQに埋め込めば簡単に理解できる 上記 The ordinal number of the set consisting of 1 and numbers of the form 1-1/n where n∈N で、n=1 から初めて 0,1/2,2/3,3/4,・・(n-1)/n,・・,1とできる さらに、2-1/n where n∈N を考える 1,1+1/2,1+2/3,1+3/4,・・1+(n-1)/n,・・,2 とできる 上記2列を直列すると 0,1/2,2/3,3/4,・・(n-1)/n,・・,1,1+1/2,1+2/3,1+3/4,・・1+(n-1)/n,・・,2 とできる これで、対応 1→ω、2→2ω を考えれば、0〜2ωの列が出来る そして、0,1/2,2/3,3/4,・・(n-1)/n,・・,1,1+1/2,1+2/3,1+3/4,・・1+(n-1)/n,・・,2 が、二項関係＜で全順序列であることは自明 同様に、0,1,2,・・,ω,ω+1,ω+2,・・,2ω もまた、二項関係＜で全順序列であることも自明だろう 上記で、”列 (数学)一般化 (wikipedia)”>>536 が、構成できたことは、お分かりだろう Nを2ωまで拡張すれば、松坂和夫>>477の降鎖、昇鎖の定義で”列(a_n)n∈N”の部分を拡張できることも、自明 （同じように、2ω→nω→ωω と出来ることは、分かる人には分かるだろう） 分からなければ、関連書物を探して読んでください。あるいは、友人がいるなら、聞いてくださいね [] [ここ壊れてます] 653 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 08:15:59.89 .net] >>591 雑談氏は １．ωはurelement　xを要素とするシングルトンである ２．xはurelementであって集合ではないから順序数ではなく 　　「ωはxの後者」という批判は当たらない という理屈で押し通したいらしい しかしながら上記のurelemnt法は、 任意の自然数nについてn<ωであることを証明できない おそらく、「定義すればいい」という後付けの理屈で 押し通すのだろうが、不細工の極みである ωを「有限重シングルトンの無限集合」とすれば ∈のみからn＜ωが証明できるから、わざわざ 新たに定義する必要がない そういう意味で 「可算無限多重シングルトンなるものを集合とするなら 　シングルトンではなく無限集合とするしかない」 654 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 08:20:17.44 .net] >>614 ＞0,1/2,2/3,3/4,・・(n-1)/n,・・,1 それは 0<1/2<2/3<3/4<・・<(n-1)/n<・・<1 という列ではない なぜなら、x<1となる最右のxが存在しないから 0<1/2<1 0<1/2<2/3<1 0<1/2<2/3<3/4<1 … という有限<列は無限個存在するが、そこから 0<1/2<2/3<3/4<・・<(n-1)/n<・・<1 という無限<列の存在は導けない 残念でした 655 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 08:25:45.02 ID:DhlSCn4I.net] >>497 新一の「心の一票」関連 Inter-universal geometry とABC 予想47 https://rio2016.5ch.net/test/read.cgi/math/1635332056/271 271 名前：１３２人目の素数さん[sage] 投稿日：2022/01/02(日) 01:36:28.35 ID:Py/WSZ9Z ＞まさに長らく宇宙際タイヒミューラー理論について誤解に基く内容の主張を展開していた欧米の数学者の一人 なぜボカす 273 名前：１３２人目の素数さん[] 投稿日：2022/01/02(日) 05:12:17.65 ID:caBkwt8U >>271 これショルツェのことなの？ 275 名前：１３２人目の素数さん[sage] 投稿日：2022/01/02(日) 07:30:02.37 ID:k1HXZrLc >>273 Machiel van Frankenhuijsen (引用終り) https://de.wikipedia.org/wiki/Machiel_van_Frankenhuijsen Machiel van Frankenhuijsen Machiel van Frankenhuijsen, zitiert auch als van Frankenhuysen, (* 7. Januar 1967 in Roermond) ist ein niederlandischer Mathematiker, der sich mit Zahlentheorie beschaftigt. Frankenhuysen ging in Nijmegen zur Sch 656 名前：ule und studierte ab 1985 an der Katholischen Universitat Nijmegen, wo er 1990 sein Diplom ablegte[1] (Uber die Riemannhypothese) und 1995 bei A. C. M. van Rooij promoviert wurde (Hyperbolic Spaces and the abc conjecture). Van Frankenhuysen befasste sich mit der abc-Vermutung und ihrer Verbindung zur Mordell-Vermutung und dem Satz von Thue-Siegel-Roth, mit der Riemann-Hypothese, auch in Zusammenhang mit dem Beweisversuch von Connes, und mit der Theorie komplexer Dimensionen (Polstellen einer assoziierten ?geometrischen Zetafunktion“) in der fraktalen Geometrie. (引用終り) 確かに、Machiel van Frankenhuijsen ありかも 1995 (Hyperbolic Spaces and the abc conjecture)とあるし Van Frankenhuysen befasste sich mit der abc-Vermutung und ihrer Verbindung zur Mordell-Vermutung und dem Satz von Thue-Siegel-Roth, mit der Riemann-Hypothese, と abc予想からみの研究しているから [] [ここ壊れてます] 657 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 09:34:19.28 ID:DhlSCn4I.net] ”過去と現在の研究の報告 (2008-03-25 現在）” これは、結構重要な文献だね ここに、IUTの構想が示されている https://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html https://www.kurims.kyoto-u.ac.jp/~motizuki/Kako%20to%20genzai%20no%20kenkyu.pdf ・過去と現在の研究の報告 (2008-03-25 現在） 新たな枠組への道 Hodge-Arakelov 理論では、数論的な Kodaira-Spencer 射が構成されるなど、ABC 予想との関連性を仄めかすような魅力的な側面があるが、そのまま「ABC 予想の証明」に応用するには、根本的な障害があり不十分である。このような障害を克服するためには、通常の数論幾何のスキーム論的な枠組を超越した枠組が必要であろうとの直感の下、2000 年夏から 2006 年夏に掛けて、そのような枠組を 構築するためには何が必要か模索し始め、またその枠組の土台となる様々な数学的インフラの整備に着手した。このような研究活動を支えた基本理念は、次のようなものである：　 注目すべき対象は、特定の数論幾何的設定に登場する個々のスキーム等ではなく、それらのスキームを統制する抽象的な組合せ論的パターンないしはそのパターンを記述した組合せ論的アルゴリズムである。　 このような考え方を基にした幾何のことを、「宇宙際（Inter-universal=IU）幾何」と呼ぶことにした。念頭においていた現象の最も基本的な例として次の三つが挙げられる： ・ログ・スキームの幾何におけるモノイド ・遠アーベル幾何における数論的基本群＝ガロア圏 ・退化な安定曲線の双対グラフ等、抽象的なグラフの構造 この三つの例に出てくる「モノイド」、「ガロア圏」、「グラフ」は、いずれも、「圏」という概念の特別な場合に当たるものと見ることができる。（例えば、グラフの場合、グラフ上のパスを考えることによって圏ができる。）従って、IU 幾何の（すべてではないが）重要な側面の一つは、　 「圏の幾何」 で表されるということになる。特に、遠アーベル幾何の場合、この「圏の幾何」に対応するのは、絶対遠アーベル幾何（＝基礎体の絶対ガロア群を、元々与えられたものとして見做さない設定での遠アーベル幾何）である。 この 6 年間（＝ 2000 年夏〜2006 年夏）の、「圏 658 名前：の幾何」や絶対遠アーベル幾何を主テーマとした研究の代表的な例として、次のようなものが挙げられる： 以下略 [] [ここ壊れてます] 659 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 09:41:12.34 .net] >>617-618 2022年7月6日に全てが決まる 望月新一氏がIMUから何も賞を授与されなかったら ・・・あなたは負けを認めて黙ってくださいね 660 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 09:53:34.92 ID:n6vtp5W4.net] ニセ科学批判カルトが多用する特異語　[改訂版] 1. ニセ科学 2. エセ科学 3. トンデモ 4. ペテン師 5. デマ 6. 自分が本当の被害者 7. hissi.org 8. 自殺 9. ウィキペディア(wikipedia) 10. 理研|STAP細胞|小保方 11. 月刊ムー|オカルト 12. watcher 661 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 09:54:54.28 ID:n6vtp5W4.net] 13. 負けを認めて黙れ (思想信条表現の自由の侵害発言) 662 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 09:58:40.98 .net] >>621 ウソは思想信条ではありませんな ただの病気です 663 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 10:08:27.10 ID:h/uSD3oa.net] ↑底辺大准教55歳 664 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 10:09:40.07 ID:n6vtp5W4.net] ニセ科学批判カルトが多用する特異語　[改訂版] 1. ニセ科学 2. エセ科学 3. トンデモ 4. ペテン師 5. デマ 6. 自分が本当の被害者 7. hissi.org 8. 自殺 9. ウィキペディア(wikipedia) 10. 理研|STAP細胞|小保方 11. 月刊ムー|オカルト 12. 信者|信奉者|教祖 13. 負けを認めて黙れ (思想・信条・学問・表現の自由の侵害発言) 14. ウソ 665 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 10:20:34.76 ID:DhlSCn4I.net] >>614 追加 >https://encyclopediaofmath.org/wiki/Ordinal_number >For instance, the ordinal number of the set N of all positive integers, ordered by the relation ≦, is ω. >The ordinal number of the set consisting of 1 and numbers of the form 1-1/n where n∈N, ordered by the relation ≦, is ω+1. >有理数体Qで、順序数をQに埋め込めば簡単に理解できる 有理数体Qで、松坂和夫>>477の（無限）降鎖も簡単に実現できる ・1/n where n∈N とすれば、1>1/2>1/3>・・>1/n>・・>0 　松坂”列(a_n)n∈N”に当てはめて 　a_1=1>a_2=1/2>a_3=1/3>・・>a_n=1/n>・・>a_ω=0 　これは、”a_1=1>a_2=1/2>a_3=1/3>・・>a_n=1/n>・・”部分が、 　松坂和夫での無限降鎖で、それにa_ω=0を添加したもので、全体として二項関係＞の無限降鎖 ・もっと卑近な例は、負整数∈Qを使う 　-1>-2>-3>・・>-n>・・>-∞ で、上記同様 　a_1=-1>a_2=-2>a_3=-3>・・>a_n=-n>・・>a_ω=-∞ となる 　-∞は、Q内ではないが、記号の濫用で、-∞＝-ωと考えることもできる 　上記同様、”-1>-2>-3>・・>-n>・・”部分が、 　松坂和夫での無限降鎖で、それにa_ω=∞＝-ωを添加したもので、全体として二項関係＞の無限降鎖 まあ、当然だが、自然数N中では、無限降鎖は出来ない しかし、有理数体Q中では、至る所 二項関係＞の無限降鎖が存在する （そして、有理数体Q中の 二項関係＞の全順序列を扱うとき、明らかにn∈Nでは不足している（実数Rでも同様）。適宜 Nを順序数に拡張しないと、不便で仕方ないよね） これ分からなければ、関連書物を探して読んでください。あるいは、友人がいるなら、聞いてくださいね 666 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 11:12:48.56 .net] >>625 ＞有理数体Q中では、至る所 二項関係＞の無限降鎖が存在する Q上の＞は、∋ではないけど 知らなかった？ Qは整数の組として実現できるよ 本探して読んでね　大学で数学習った人なら皆知ってるよ 知らないヤツは大学行ってないか落ちこぼれかのどっちかね 667 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 11:20:05.67 ID:h/uSD3oa.net] ↑底辺大准教55歳 668 名前：１３２人目の素数さん mailto:sage [2022/01/02(日) 11:38:46.56 .net] 2022年7月6日に全てが決まる 望月新一氏がIMUから何も賞を授与されなかったら ・・・現代数学の系譜 雑談 ◆yH25M02vWFhPは負けを認めて黙ってくださいね

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef