22/01/01 20:04:18.99 aQTTqsY7.net
>>571
あーーーやっぱりMarapapiyasだー嫌だ嫌だ嫌だ嫌だ
仏陀最大の敵だぁあああ…怖いよぅ、怖いよぅ、怖過ぎるよぅ…
601:１３２人目の素数さん
22/01/01 20:14:23.87 t569GMxm.net
>>550
一つ思い出したけど日本語版ウィキペディアは
ほんの2～3名の執筆者が出典も付けずに自習ノートのような半可通な記事を大量生産していた時期があり
その時期の数学ポータル担当管理者は無名院生、
その院生を唆して終身管理者制度を密室投票状態で通そうとしたのが前述の管理者Su-no-G
いまのこのスレで毎日暴れているひとの少なくとも一人はそのSu-no-G(の生まれ変わり)的なひとだから
学部生ですら使うなと言われている日本語版ウィキペディアを引用して毎日大量コピペをしているように見えるね
602:１３２人目の素数さん
22/01/01 21:05:30.49 3z2olBkR.net
>>499
自分が変質者であることを認めたa_watcher
603:１３２人目の素数さん
22/01/01 21:24:38.14 .net
aQTTqsY7氏へ
t569GMxm氏は「あのお方」ではないでしょう
そういえば「あのお方」はこんな曲がお好きでした
URLﾘﾝｸ(www.youtube.com)
604:１３２人目の素数さん
22/01/01 21:28:29.74 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∪{ω}に対応する列は普通に出来ますよ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
無限公理
定義
ZF公理系における公式な定義は次の通りである。
略
空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する：
定義中の集合 A は以下の性質を満たすことを確認できる。
>>556
>はい、ZF内では集合の元は集合に限られますからあなたのaωは存在できませんね。
>で、拘らないのは良いですが、どの公理系の話をしてるんです？
それ（存在できません）は、未証明ですね。ZFで良いですよ。どうぞ証明をｗ
605:１３２人目の素数さん
22/01/01 21:33:18.58 lBjAMPml.net
>>574
>学部生ですら使うなと言われている日本語版ウィキペディアを引用して毎日大量コピペをしているように見えるね
半分浮き足立っているのかな？ｗ
”使うなと言われている日本語版ウィキペディア”ね
だったら、英文なら良いんでしょ？ｗｗ
かつ、いまの日本語版ウィキペディアの多くは、英ウィキペディアの翻訳が多いですよ
知らないみたいですね
両方対比すれば、すぐ分かりますけどねｗ
606:１３２人目の素数さん
22/01/01 21:33:30.91 sINw/e2i.net
やっぱり底辺大准教(55歳)が定期発狂連投
このスレの荒らしの少なくとも一人が底辺大准教授(55歳)である事が連日確認できてしまうね
607:１３２人目の素数さん
22/01/01 21:35:38.03 lBjAMPml.net
>>577 タイポ訂正
（正確には、全ての自然数の要素を含む集合Aであって、A⊂Nですが（下記））
↓
（正確には、全ての自然数の要素を含む集合Aであって、A⊃Nですが（下記））
失礼しました
数学記号を出すのが大変なんだよね
うっかりしていました
608:１３２人目の素数さん
22/01/01 21:36:11.45 t569GMxm.net
>>576
ベビメタのイジメ絶対ダメって
底辺大准教のテーマソングでしょ
普通のひとはそんな曲に思い入れはないと思うよ
609:１３２人目の素数さん
22/01/01 21:39:22.92 t569GMxm.net
さっきまで「きみ何歳」連呼していた
ID無し氏＝ID:aQTTqsY7が
涙目で「イジメ絶対ダメ」を貼る
心境変化の原
610:因は何だろうね >>571リストが的確過ぎて鬼の目にも涙目でといったところか、月刊ムーは誰かの愛読書らしいし
611:１３２人目の素数さん
22/01/01 21:44:31.82 .net
>>581
BABYMETALの曲は「あのお方」のテーマ曲ですね
URLﾘﾝｸ(www.youtube.com)
612:１３２人目の素数さん
22/01/01 21:50:16.48 t569GMxm.net
なるほど、天羽優子のテーマ曲か
学生誤爆ハラスメントでしつこいネットハラスメントをしていたクズだから戒めの為にその曲を座敷牢で聞かされてるんだろうな
613:１３２人目の素数さん
22/01/01 21:52:22.47 .net
>>577
＞それ（存在できません）は、未証明ですね。
いや既証明です
ωがシングルトンなら後続順序数です
したがってωが極限順序数であることと矛盾します
だからあなたは
ωは実はシングルトンではなく無限集合だ
と「変節」した筈ですが
変節結構 君子豹変 おめでとう
614:１３２人目の素数さん
22/01/01 21:53:58.31 t569GMxm.net
ベビメタがブレイクして多くの人が聴いた曲は
その曲ではなくてラップの入ったミクスチャ曲の方だよね
もう何年も前のヒット曲だから名前が出てこないけど
…いま探したらコレか URLﾘﾝｸ(youtu.be)
615:１３２人目の素数さん
22/01/01 21:55:31.91 .net
>>584
いや、現人神SU-METALのテーマ曲です
URLﾘﾝｸ(www.youtube.com)
616:１３２人目の素数さん
22/01/01 21:59:55.46 .net
>>586
噂では「あのお方」はBABYMETALの初期からの信徒で
ファースト・セカンド・サードの三枚のアルバムを
全て購入しているとのこと
今一番のお気に入りはこの曲とか
URLﾘﾝｸ(www.youtube.com)
あいかわらずぶっとんでますな
617:１３２人目の素数さん
22/01/01 22:08:21.39 t569GMxm.net
うーん(笑
そういや同期にも研究室でHM/HR鳴らす院生が居たなって思い出した
618:１３２人目の素数さん
22/01/01 22:45:20.51 g0+F40r5.net
>>584
お前まったく相手にされてないなwww
619:１３２人目の素数さん
22/01/01 22:59:11.26 rlZ8PATo.net
>>577
>その一つが、可算無限多重シングルトンです。添え字付きカッコ{}を使いますが
>全然別モノではないですよ
可算無限多重シングルトンなるものは無限集合ではなくシングルトンでもなく、そもそも集合でもない
よってまったくの別モノですね
620:１３２人目の素数さん
22/01/01 23:09:28.09 rlZ8PATo.net
>>577
>それ（存在できません）は、未証明ですね。ZFで良いですよ。どうぞ証明をｗ
あなたはω{の右隣りのかっこが無いことを認めました。
>>502
>ω{のすぐ右の{は存在しない
それはaω={x}とおいたときxに最外カッコが無いということですよ？
最外カッコが無ければxの元を特定できないのでxは集合たり得ません。よってaωも集合たり得ません。
まだ理解してなかったんですか？頭悪いですね。
621:１３２人目の素数さん
22/01/01 23:32:49.01 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・・も、同じ状態と認めたらどうですか？
(参考)
URLﾘﾝｸ(en.wikipedia.org)
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]
622:１３２人目の素数さん
22/01/02 00:06:56.47 h/uSD3oa.net
>>501,548,590でこの人のポジションが判った
501＝底辺大准教55歳本人宣言
548＝底辺大准教55歳のいつもの小汚い妄想
ここまではいつも通り
>>590＝「インテリ追っかけ婆が『同担』を蹴落とす時の言葉」と解釈すれば筋道が通る
最初から知ってたけど、底辺大准教氏は単なるインテリ追っかけ婆なんだね
だから追っかけ対象の気を引こうと意地悪をしたり、
支離滅裂な言いがかりをつけて嫌がらせをしたり、
他の目的でここに居る人に露骨なライバル心を剥き出しにして喧嘩をふっかけて回っているんだね
それ菊池誠のところでも田崎晴明のところでもやってたよね、最初からそれは知ってる話だわ
623:１３２人目の素数さん
22/01/02 00:14:28.27 h/uSD3oa.net
一旦理解してしまうと
日々の言動の不可解さが氷結する
己の身の丈に合わない虚勢を張って
完全にボロ負けの議論を何年間でも引っ張って
ストローマン論法で勝っているフリをしたり
容姿を整える努力を放棄したまま
自分の容姿を芸能人に喩えたり
意中のアイドルの前では大人しく
アイドル弄りに専念するかと思いきや
自分が加害者なのに被害者だと言い張ったり
それ全部、社会性の低い追っかけ婆の振る舞いだったんだね
624:１３２人目の素数さん
22/01/02 00:23:37.17 h/uSD3oa.net
そういう追っかけ活動は
一般論としてはアイドルと追っかけの間の問題だけど
こいつがまだ起こしているトラブルは常に
アイドルを追い詰めアイドルの仕事を妨害し
アイドルを追っかけ婆のポジションまで貶す活動に
なってしまっているから、
結果的に誹謗中傷や名誉毀損、偽計業務妨害、讒訴恫喝、虚偽による科学活動の妨害といったシャレにならない犯罪行為になる
追っかけの犯罪行為をやめさせるには、
その動機や原因を正しく理解し、
それよりもメリットのある活動へと導くしかないんじゃないかな、追っかけはストーカーだから難しいとは思うけど
625:１３２人目の素数さん
22/01/02 00:24:13.93 h/uSD3oa.net
まだ起こしている→起こしている
626:１３２人目の素数さん
22/01/02 00:27:43.58 oB/Enoq3.net
>>594、595、596
あなた頭大丈夫？
ママは心配です
627:１３２人目の素数さん
22/01/02 00:37:59.41 h/uSD3oa.net
雑な推論ではあるけれど、単なる追っかけが犯罪行為に踏み込む直接的動機は「ワナビー」だろう
普通の追っかけは
アイドルと親しくなり、特別な存在として認めてもらい、とっておきの質問をして裏話を教えてもらったり
ゆくゆくは結婚したい等がゴールだろう
ワナビーはそこから更に踏み込む
憧れのアイドルと自分を同化して、
628:自分がアイドルになりたい、 いま目の前に居るアイドルこそ最大のライバルだから、そのライバルを蹴落とし潰してそのポジションを自分が手に入れれば、目的を達成する事ができる だからアイドルの重要な仕事の妨害を平然とする 自分の興味の対象は病的なアカデミックハラスメント事案の発展的解消(誰も不幸にならない問題解決)にあるので、この変態ワナビーをどう扱うべきかが問題になる
629:１３２人目の素数さん
22/01/02 00:39:04.18 h/uSD3oa.net
>>598
お前の話だから黙って部屋の隅で膝を抱えて息を止めておけカス
630:１３２人目の素数さん
22/01/02 00:44:58.21 oB/Enoq3.net
>>600
完全にノイローゼですね
お正月はお医者さん休みだからあれほど薬は多めに貰っておくように言ったのに
ママはパパがいるから大丈夫よ 心配しないで！
631:１３２人目の素数さん
22/01/02 00:49:05.30 h/uSD3oa.net
>>588から連想したのが>>594-599のようなストーリー
632:１３２人目の素数さん
22/01/02 00:50:12.78 h/uSD3oa.net
>>601
お前の犯罪行為に関する話だから黙ってろゴミカスアラ還婆
633:１３２人目の素数さん
22/01/02 00:52:43.36 h/uSD3oa.net
>>588に関しては、あの人もアイドルヲタだからそういった心理がわからんでもないし、ファン同士のいざこざも嫌だというニュアンスで受け取った
その意思をあえて無視するべき理由はない
634:１３２人目の素数さん
22/01/02 00:54:59.77 h/uSD3oa.net
「あのお方」というのが実際に誰なのか、自分は知らないし、自分はアイドルヲタではないから理解の至らない点もあるとは思う
635:１３２人目の素数さん
22/01/02 01:00:07.36 h/uSD3oa.net
少なくとも、菊池誠や田崎晴明が長年(およそ25年以上)心を砕いてきた事の一端を心から理解できたことは今夜の大きな収穫だと思う
636:１３２人目の素数さん
22/01/02 01:09:26.69 oB/Enoq3.net
>>601
私はBABYMETALとかクソみたいな音楽には興味ないわよ
ハードロックとベビーメタルはバカが聞く音楽だからね
あなたはハードロックやベビーメタル聞いたから頭がおかしくなったのね
637:１３２人目の素数さん
22/01/02 01:10:27.16 oB/Enoq3.net
ベビーメタル → ヘビーメタルね
638:１３２人目の素数さん
22/01/02 01:12:27.01 oB/Enoq3.net
ハードロックやヘビーメタル好きな人は性格悪い
ガンダム好きなヤツも性格悪い
パソコンでゲームやってるヤツも
だいたい仕事でもないのにパソコン得意なヤツは気持ち悪い
639:１３２人目の素数さん
22/01/02 01:42:18.23 h/uSD3oa.net
広義のアカハラ問題を起こす下等生物のレスは一切読まない
640:１３２人目の素数さん
22/01/02 02:33:19.11 oB/Enoq3.net
>>610
さようなら
a_watcher
641:１３２人目の素数さん
22/01/02 02:54:24.63 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・・も、同じ状態と認めたらどうですか？
状態とは？
642:１３２人目の素数さん
22/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・・の存在を
無限公理と同様に論理式で記載してみせてくれるかな？
643:１３２人目の素数さん
22/01/02 08:04:59.64 DhlSCn4I.net
>>551
>つまりあなたは「一般化した＜無限上昇列としての ０＜・・・＜ω が存在する。」と言いたい訳ですね？
>それなら良いですよ？但し、末項が存在し、且つ、その直前項が存在しないという変な列ですけどね。当然二項関係＜も独自再定義が要るでしょうね。頑張って定義して下さい。
>それで、世間で云うところの＜無限上昇列としての ０＜・・・＜ω が存在しないことは認めますね？
戻るが
認める必要は、ないよね
Ordinal number （encyclopediaofmath.org）>>464
URLﾘﾝｸ(encyclopediaofmath.org)
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に埋め込めば簡単に理解できる
上記 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ω→ωω と出来ることは、分かる人には分かるだろう）
分からなければ、関連書物を探して読んでください。あるいは、友人がいるなら、聞いてくださいね
644:１３２人目の素数さん
22/01/02 08:15:59.89 .net
>>591
雑談氏は
１．ωはurelement xを要素とするシングルトンである
２．xはurelementであって集合ではないから順序数ではなく
「ωはxの後者」という批判は当たらない
という理屈で押し通したいらしい
しかしながら上記のurelemnt法は、
任意の自然数nについてn<ωであることを証明できない
おそらく、「定義すればいい」という後付けの理屈で
押し通すのだろうが、不細工の極みである
ωを「有限重シングルトンの無限集合」とすれば
∈のみからn＜ωが証明できるから、わざわざ
新たに定義する必要がない
そういう意味で
「可算無限多重シングルトンなるものを集合とするなら
シングルトンではなく無限集合とするしかない」
645:１３２人目の素数さん
22/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
という無限<列の存在は導けない
残念でした
646:１３２人目の素数さん
22/01/02 08:25:45.02 DhlSCn4I.net
>>497 新一の「心の一票」関連
Inter-universal geometry とABC 予想47
ｽﾚﾘﾝｸ(math板: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
(引用終り)
URLﾘﾝｸ(de.wikipedia.org)
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
647: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予想からみの研究しているから
648:１３２人目の素数さん
22/01/02 09:34:19.28 DhlSCn4I.net
”過去と現在の研究の報告 (2008-03-25 現在）”
これは、結構重要な文献だね
ここに、IUTの構想が示されている
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
・過去と現在の研究の報告 (2008-03-25 現在）
新たな枠組への道
Hodge-Arakelov 理論では、数論的な Kodaira-Spencer 射が構成されるなど、ABC 予想との関連性を仄めかすような魅力的な側面があるが、そのまま「ABC 予想の証明」に応用するには、根本的な障害があり不十分である。このような障害を克服するためには、通常の数論幾何のスキーム論的な枠組を超越した枠組が必要であろうとの直感の下、2000 年夏から 2006 年夏に掛けて、そのような枠組を
構築するためには何が必要か模索し始め、またその枠組の土台となる様々な数学的インフラの整備に着手した。このような研究活動を支えた基本理念は、次のようなものである：
注目すべき対象は、特定の数論幾何的設定に登場する個々のスキーム等ではなく、それらのスキームを統制する抽象的な組合せ論的パターンないしはそのパターンを記述した組合せ論的アルゴリズムである。
このような考え方を基にした幾何のことを、「宇宙際（Inter-universal=IU）幾何」と呼ぶことにした。念頭においていた現象の最も基本的な例として次の三つが挙げられる：
・ログ・スキームの幾何におけるモノイド
・遠アーベル幾何における数論的基本群＝ガロア圏
・退化な安定曲線の双対グラフ等、抽象的なグラフの構造
この三つの例に出てくる「モノイド」、「ガロア圏」、「グラフ」は、いずれも、「圏」という概念の特別な場合に当たるものと見ることができる。（例えば、グラフの場合、グラフ上のパスを考えることによって圏ができる。）従って、IU 幾何の（すべてではないが）重要な側面の一つは、
「圏の幾何」
で表されるということになる。特に、遠アーベル幾何の場合、この「圏の幾何」に対応するのは、絶対遠アーベル幾何（＝基礎体の絶対ガロア群を、元々与えられたものとして見做さない設定での遠アーベル幾何）である。
この 6 年間（＝ 2000 年夏～2006 年夏）の、「圏の幾何」や絶対遠アーベル幾何を主テーマとした研究の代表的な例として、次のようなものが挙げられる：
以下略
649:１３２人目の素数さん
22/01/02 09:41:12.34 .net
>>617-618
2022年7月6日に全てが決まる
望月新一氏がIMUから何も賞を授与されなかったら
・・・あなたは負けを認めて黙ってくださいね
650:１３２人目の素数さん
22/01/02 09:53:34.92 n6vtp5W4.net
ニセ科学批判カルトが多用する特異語 [改訂版]
1. ニセ科学
2. エセ科学
3. トンデモ
4. ペテン師
5. デマ
6. 自分が本当の被害者
7. hissi.org
8. 自殺
9. ウィキペディア(wikipedia)
10. 理研|STAP細胞|小保方
11. 月刊ムー|オカルト
12. watcher
651:１３２人目の素数さん
22/01/02 09:54:54.28 n6vtp5W4.net
13. 負けを認めて黙れ (思想信条表現の自由の侵害発言)
652:１３２人目の素数さん
22/01/02 09:58:40.98 .net
>>621
ウソは思想信条ではありませんな
ただの病気です
653:１３２人目の素数さん
22/01/02 10:08:27.10 h/uSD3oa.net
↑底辺大准教55歳
654:１３２人目の素数さん
22/01/02 10:09:40.07 n6vtp5W4.net
ニセ科学批判カルトが多用する特異語 [改訂版]
1. ニセ科学
2. エセ科学
3. トンデモ
4. ペテン師
5. デマ
6. 自分が本当の被害者
7. hissi.org
8. 自殺
9. ウィキペディア(wikipedia)
10. 理研|STAP細胞|小保方
11. 月刊ムー|オカルト
12. 信者|信奉者|教祖
13. 負けを認めて黙れ (思想・信条・学問・表現の自由の侵害発言)
14. ウソ
655:１３２人目の素数さん
22/01/02 10:20:34.76 DhlSCn4I.net
>>614 追加
>URLﾘﾝｸ(encyclopediaofmath.org)
>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を順序数に拡張しないと、不便で仕方ないよね）
これ分からなければ、関連書物を探して読んでください。あるいは、友人がいるなら、聞いてくださいね
656:１３２人目の素数さん
22/01/02 11:12:48.56 .net
>>625
＞有理数体Q中では、至る所 二項関係＞の無限降鎖が存在する
Q上の＞は、∋ではないけど
知らなかった？
Qは整数の組として実現できるよ
本探して読んでね 大学で数学習った人なら皆知ってるよ
知らないヤツは大学行ってないか落ちこぼれかのどっちかね
657:１３２人目の素数さん
22/01/02 11:20:05.67 h/uSD3oa.net
↑底辺大准教55歳
658:１３２人目の素数さん
22/01/02 11:38:46.56 .net
2022年7月6日に全てが決まる
望月新一氏がIMUから何も賞を授与されなかったら
・・・現代数学の系譜 雑談 ◆yH25M02vWFhPは負けを認めて黙ってくださいね
659:１３２人目の素数さん
22/01/02 11:50:02.57 h/uSD3oa.net
↑底辺大准教55歳の連投タイム
660:１３２人目の素数さん
22/01/02 12:32:36.86 c+Wvs6m3.net
>>614
あんたも分からない人ですねえ
それは一般化した<列の話でしょ？って言いましたよね？脳みそ持ってないの？
で、<の独自再定義はできたの？x<1のxは存在しないんでしょ？
661:１３２人目の素数さん
22/01/02 12:41:26.79 bTMXpddk.net
わからないのかもしれないし、わからないふりしてるだけかもしれないし、感情の声が分かろうとする自分の理性を殺してるのかもしれない
セタからわかったというセリフが出ることはない
彼に数学が理解できる知能はない
662:１３２人目の素数さん
22/01/02 12:47:49.47 .net
>>631
urelementとかいいだす時点で
とにかく自分の考えが正当化できればいい
という幼稚な自己本位しかないんでしょう
雑談 ◆yH25M02vWFhP 氏は
60過ぎのお爺さんらしいですが
中身は3歳児のまま
妻と子供は苦労したんでしょうね
663:１３２人目の素数さん
22/01/02 13:00:55.14 6/sBzBI7.net
a_watcherって性格が暗いね
664:１３２人目の素数さん
22/01/02 13:03:04.89 c+Wvs6m3.net
>>625
>・1/n where n∈N とすれば、1>1/2>1/3>・・>1/n>・・>0
はい、大間違い。
n∈N ⇒ 1/n>0
>松坂和夫での無限降鎖で、それにa_ω=0を添加したもので、全体として二項関係＞の無限降鎖
はい、大間違い。
二項関係>を独自再定義しない限りx>0のxが存在しないので降鎖になりません。
665:１３２人目の素数さん
22/01/02 13:10:48.34 h/uSD3oa.net
>>633
ニセ科学批判カルトが多用する特異語 [改訂版]
1. ニセ科学|エセ科学
2. トンデモ|ペテン師|デマ|ウソ|病気
3. 信者|信奉者|教祖
4. 負けを認めて黙れ (思想・信条・学問・表現の自由の侵害発言)
5. 自殺|氏ね
6. 自分が本当の被害者
7. 月刊ムー|オカルト
8. 理研|STAP細胞|小保方
9. 岡崎|丘裂き|生物多様性
10. hissi.org|ウィキペディア(wikipedia)
11. watcher|ウォッチャ|ヲチ
666:１３２人目の素数さん
22/01/02 13:14:51.35 c+Wvs6m3.net
>>625
<無限降鎖 1>1/2>1/3>・・>1/n>・・ なんて分からん奴おらんし
<無限降鎖 1>1/2>1/3>・・>1/n>・・>0 なる間違い書いてるし
それで↓の上から目線は一体何なん？頭イカれてるんか？
>これ分からなければ、関連書物を探して読んでください。あるいは、友人がいるなら、聞いてくださいね
667:１３２人目の素数さん
22/01/02 13:17:30.18 .net
>>636
彼はどんな本も読んでないし、友人もいないから聞かないんでしょう
668:１３２人目の素数さん
22/01/02 13:21:15.30 h/uSD3oa.net
↑底辺大准教55歳友達無し
669:１３２人目の素数さん
22/01/02 15:57:23.82 6/sBzBI7.net
だよねー
このウォッチャとかいう人気持ち悪いよね
>>638もそう思うでしょ？
URLﾘﾝｸ(togetter.com)
URLﾘﾝｸ(www.twitter.com)
(deleted an unsolicited ad)
670:１３２人目の素数さん
22/01/02 17:03:55.16 .net
予言スレで、望月新一氏のブログの文章を全文掲載の上
コメントをつけた
ｽﾚﾘﾝｸ(math板)
彼には知的誠意の欠片もないな
671:１３２人目の素数さん
22/01/02 17:11:32.29 ZR6yJH4Z.net
全くのド正論ですね。
信者や取り巻きにはなぜこのような常識、正論が通じないのか。
ところでお前なんでidないの？
672:１３２人目の素数さん
22/01/02 17:48:04.28 19PA46d7.net
フェセンコ氏もようやく騙されたことに気がついた？
673:１３２人目の素数さん
22/01/02 18:00:04.86 .net
>>641
正直にいいますが、IDがあるとhissiチェッカーで追っかけられるので
馬鹿が「お前は今日＊＊通投稿した、ID真っ赤だぞ！」と騒ぐんですね
別にどうでもいいんですけど、いちいち言われるのが面倒なんで
浪人買ってる人は、名前欄に!id:ignoreって入れればID消せると聞いて
利用させていただいてます IDでトレースするとか不健全だと思いますよ
世の中にはコテハン＆トリップ付きで
馬鹿なこと書きまくる人がいますが
痛々しいとしかいいようがないですね
674:１３２人目の素数さん
22/01/02 18:02:25.53 .net
まあ、浪人買ってまで書き込むするのは
５ｃｈ経営者にムダ金支払ってるっていう
批判はその通りかと思います
しかしなんてことないリンクを張っただけで
再三アクセス禁止食らうのはおかしなことですよ
まあ、それが５ｃｈの商売なんでしょうけど
675:
22/01/02 18:09:47.04 .net
私もね、さすがに馬鹿馬鹿しいと思うんで
正月三が日までは浪人＆ID無しで書き込みしますけど
浪人が切れたらしばらく延長しないことにしますよ
書き込みできませんけど、別にもうしなくてもいいかな
様子は見ますけどね
７月６日を過ぎても愛国🐎🦌は性懲りもなく書き込みするんでしょう
でももうさすがにみんな冷笑するでしょう
今でももうそういう雰囲気ですけどね それが確実になる
もし、IUTが理論として不完全でも、有意義ならもっと注目しますよ
でもそうなってないでしょ 要するに意義すら認められてない
単にABC予想を証明するためにCor 3.12という予想を思い付き
それをもっともらしくするための理屈を考えようとして
大失敗した、というのが現実でしょう
676:
22/01/02 18:12:15.12 .net
あ、ここでも
!id:ignore !ken:6
使えるんですねｗ
677:
22/01/02 18:12:56.38 .net
なんだ早くいってよ
678:
22/01/02 18:13:31.55 .net
これはどうかな？
679:
22/01/02 18:14:08.60 .net
これはどうだ？
680:
22/01/02 18:15:04.10 .net
じゃ、これは？
681:
22/01/02 18:17:09.44 .net
これは？
682:
22/01/02 18:19:17.00 .net
つい、遊んじゃいました
683:１３２人目の素数さん
22/01/02 18:47:42.02 n6vtp5W4.net
底辺大ワナビーおばさん55歳の大連投か
いくらアイドル学者に嫌がらせをしても
おばさんは決してアイドル学者にはなれない
684:１３２人目の素数さん
22/01/02 21:16:50.20 ++41mmIz.net
↑ﾊﾞｶ↓
685:１３２人目の素数さん
22/01/02 21:21:36.82 DhlSCn4I.net
>>72
(引用開始)
>なお、∈の「ループ」については、望月氏の和文のIUT入門講義資料の中で言及していて
>”∈の「ループ」そのものではないが、∈の「ループ」類似を考える”みたいな記述があったよ
>（後で探してみる）
>だから、「”∈の「ループ」そのもの”は、基礎の公理に反す」までは、望月氏は自覚あるよ
「”∈の「ループ」そのもの”は、基礎の公理に反す」は、下記のIUT IVでした（和文ではなかった）
(引用終り)
見つかったよ
∈の「ループ」の資料
下記2003年資料にある
手書き原稿なので、正確には引用できないので、原文ご参照請う
”「属性方程式」 a∈a を解きたい。
（’基礎の公理’により、通常の集合論では有り得ない。）”
と記されているよ（意味は不明だが）
(参考引用)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Hokudai%202003-11).pdf
[10] 数論的log schemeの圏論的表示から見た楕円曲線の数論 （北海道大学 2003年11月）. PDF
P1（下の方）
「属性方程式」 a∈a を解きたい。
（’基礎の公理’により、通常の集合論では有り得ない。）
§1.2 IUキカによる「解消」(resolition)：一言でいうと、宇宙(universe)の拡大を使ってラベルを貼る。
a4∈・・・
||
a3∈{a3,b3}
||
a2∈{a2,b2}
||
a1∈{a1,b1}
そして、aiたち→a,biたち→b,
と同一視する
||
quotientを作る。
cf. a∈a→ ○↑ ループ
(引用終り)
以上
686:１３２人目の素数さん
22/01/02 21:23:18.72 6/sBzBI7.net
成績Fおじさん
↓↓↓↓↓↓↓↓
687:１３２人目の素数さん
22/01/02 22:02:31.45 DhlSCn4I.net
>>634
>松坂和夫での無限降鎖で、それにa_ω=0を添加したもので、全体として二項関係＞の無限降鎖
>はい、大間違い。
>二項関係>を独自再定義しない限りx>0のxが存在しないので降鎖になりません。
>>636
><無限降鎖 1>1/2>1/3>・・>1/n>・・ なんて分からん奴おらんし
><無限降鎖 1>1/2>1/3>・・>1/n>・・>0 なる間違い書いてるし
なんか、勘違いしているようだね
勘違いは、おサルだけかと思ったら
へんなやつ
下記の全順序を百回音読してよ
通常の不等号>の二項関係は、実数全体の成す集合 Rに使えるよ
だったら、”無限降鎖 1>1/2>1/3>・・>1/n>・・>0”が、なんで間違いなのかね？
それに、全順序の説明に、”関連する概念 鎖”と書かれていますよ
上記「二項関係>を独自再定義しない限りx>0のxが存在しないので降鎖になりません」って？
そんな考えなら、どうやれば、実数R全体が二項関係>に関して全順序になるって示せるんだ？
（整列可能定理も知らないのかもな）
実数R全体が二項関係>に関して全順序になるから、”1>1/2>1/3>・・>1/n>・・>0”も二項関係>に関して全順序列
列を”鎖”に読み替えるのは、単に用語の問題だ
本質的な問題は、降鎖の松坂の定義>>477での”列(a_n)n∈N”のNを、考える列に合わせて、どう拡張するかだけの話じゃん
つづく
688:１３２人目の素数さん
22/01/02 22:03:07.61 DhlSCn4I.net
>>
689:657 つづき (参考) https://ja.wikipedia.org/wiki/%E5%85%A8%E9%A0%86%E5%BA%8F 全順序 全順序（ぜんじゅんじょ、英: total order）とは、集合での二項関係で、推移律、反対称律かつ完全律の全てを満たすもののことである。 即ち、集合 X が関係 ≦ による全順序をもつとは、X の任意の元 a, b, c に対して、次の3条件を満たすことである： 反対称律：a ≦ b かつ b ≦ a ならば a = b 推移律：a ≦ b かつ b ≦ c ならば a ≦ c 完全律（比較可能）：a ≦ b または b ≦ a の何れかが必ず成り立つ 例 ・集合 X に対して、Xから全順序集合への単射写像 f が存在するとき、x1 < x2 ⇔ f(x1) < f(x2) で X での順序を定めると、X は全順序集合になる。 ・実数全体の成す集合 R は通常の大小関係 ("<" あるいは ">") によって全順序付けられる。従ってその部分集合としての、自然数全体の成す集合 N, 整数全体の成す集合 Z, 有理数全体の成す集合 Q なども全順序集合になる。これらは何れも、ある性質に関して最小の全順序集合として（同型を除いて）唯一の例を与えることが示せる（ここで、全順序集合 A がある性質に関して「最小」とは、同じ性質を持つ任意の B に対して A に順序同型な B の部分集合が存在することをいう）。 ・N は上界を持たない最小の全順序集合である。 ・Z は上界も下界も持たない最小の全順序集合である。 ・Q は R の中で稠密となる最小の全順序集合である。ここでいう稠密性は a < b なる任意の実数 a, b に対し、a < q < b となる有理数 q が必ず存在することを言う。 ・R は順序位相（後述）に関して連結となる最小の非有界全順序集合である。 関連する概念 鎖 全順序の同義語としても用いられる鎖（さ、英: chain）は、また適当な半順序集合の全順序部分集合に対しても用いられる。後者の意味での鎖はツォルンの補題で極めて重要な役割を果たす。 (引用終り) 以上
690:１３２人目の素数さん
22/01/02 22:11:01.56 Ftji40/f.net
>>595
氷結ではなく氷解な
5chに張り付いてばかりいないで本くらい読めチンカス
691:１３２人目の素数さん
22/01/02 22:17:42.07 c+Wvs6m3.net
>>655
>意味は不明だが
じゃ投稿しなくていいよ
692:１３２人目の素数さん
22/01/02 22:22:17.51 8BzGmh5Z.net
a_watcherはふたりエッチしか読まないからな
693:１３２人目の素数さん
22/01/02 22:44:30.32 c+Wvs6m3.net
>>657
>だったら、”無限降鎖 1>1/2>1/3>・・>1/n>・・>0”が、なんで間違いなのかね？
あなたの全順序、整列順序の理解が初歩的に間違ってるからです
>そんな考えなら、どうやれば、実数R全体が二項関係>に関して全順序になるって示せるんだ？
正しい二項関係の定義、全順序の定義を適用すればいいだけです
>本質的な問題は、降鎖の松坂の定義>>477での”列(a_n)n∈N”のNを、考える列に合わせて、どう拡張するかだけの話じゃん
x>0のxが存在しないのになんで二項関係>が成立すると思うんですか？
自分ではなく二項関係の定義の方が間違いだと信じてるんですか？それは病気ですね
694:１３２人目の素数さん
22/01/02 22:51:22.73 c+Wvs6m3.net
>>658
コピペは不要 きちんと読んで理解して下さい
斜め読みで分かった気になってはダメです
695:１３２人目の素数さん
22/01/02 23:17:40.01 54RkX1I7.net
日本の科学界の小保方化現象か
笑えないな
696:１３２人目の素数さん
22/01/03 00:49:20.24 Efsk05BW.net
ω ←キンタマ
697:１３２人目の素数さん
22/01/03 04:49:13.17 fVRIjb9K.net
>>657
>だったら、”無限降鎖 1>1/2>1/3>・・>1/n>・・>0”が、なんで間違いなのかね？
末項0の直前項が存在しないので二項関係になってないからだと何度言えば分かるんですか？
二項関係の定義確認してないんですか？（実数R上で考えるとして）(,0)はR×Rの元ではありません。カンマの左に実数が必要です。
定義の確認すらサボる人に数学は到底無理なので諦めて数学板から去ってはいかがでしょう？
698:
22/01/03 08:05:56.21 .net
>>657
>”無限降鎖 1>1/2>1/3>・・>1/n>・・>0”が、なんで間違いなのかね？
有理数の>は∋ではないけど
知らなかった？
1∋1/2 ではないよ
1/2�
699:ｹ1/3 ではないよ … 有理数の0は{}ではないよ なんも知らないんだね、雑談君
700:
22/01/03 08:16:50.61 .net
>>657
> 1>1/2>1/3>・・>1/n>・・
これは無限降鎖だよ
だから{…,1/n,…,1/3,1/2,1}は整列集合ではないよ
（∵最小元がないから）
ついでにいうと上記に0を添加した集合
{0,…,1/n,…,1/3,1/2,1}
も整列集合ではないよ
（∵上記集合には最小元が存在するけど
空でない任意の部分集合に最小元が存在しないと整列集合ではないから
例えば0を抜いた集合には最小元がないから整列集合じゃない）
整列集合の定義、確認しような
URLﾘﾝｸ(ja.wikipedia.org)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
数学において、整列順序付けられた集合または整列集合とは、
整列順序を備えた集合のことをいう。
ここで、集合 S 上の整列順序関係 (wellorder) とは、
S 上の全順序関係 "≤" であって、
S の空でない任意の部分集合が必ず ≤ に関する最小元をもつもの
をいう。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
701:
22/01/03 08:22:22.72 .net
>>657
＞どうやれば、実数R全体が二項関係>に関して全順序になるって示せるんだ？
＞（整列可能定理も知らないのかもな）
実数Rは、通常の大小関係>では整列順序でないけど
その証拠に任意のr∈Rについて、rの後者、すなわち
「ｒより大きい最小のs∈R」なんて存在しないけど
全順序と整列順序の違い、わかってない？
整列順序なら、全順序であるだけでなく
「任意の元について後者が存在する」
という条件を満たすよ
（いかなる部分集合にも最小元が存在すれば「」内の性質を満たす
逆は・・・頑張って証明してみてくれ）
702:
22/01/03 08:26:00.64 .net
>>655
>§1.2 IUキカによる「解消」(resolition)：
>一言でいうと、宇宙(universe)の拡大を使ってラベルを貼る。
> a4∈・・・
> ||
> a3∈{a3,b3}
> ||
> a2∈{a2,b2}
> ||
>a1∈{a1,b1}
>そして、aiたち→a,biたち→b,
>と同一視する
> ||
>quotientを作る。
>cf. a∈a→ ○↑ ループ
そもそもa1∈{a1,b1}とか言ってる時点で
基礎の公理に反していることに気づかんのか？ 望月新一君は
こんなこと、学部生、いや、大学１年生でも気づくぞ（呆）
703:
22/01/03 08:37:50.66 .net
>>662
>あなた（＝雑談君）の全順序、整列順序の理解が初歩的に間違ってる
そもそも、彼は整列順序を理解してない
具体的に云うと、定義を確認してない
雑談君は、無駄コピペする前に、
整列集合の定義、まっさきに確認しような
URLﾘﾝｸ(ja.wikipedia.org)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
数学において、整列順序付けられた集合または整列集合とは、
整列順序を備えた集合のことをいう。
ここで、集合 S 上の整列順序関係 (wellorder) とは、
”S 上の全順序関係 "≤" であって、
S の空でない任意の部分集合が必ず ≤ に関する最小元をもつもの"
をいう。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
704:
22/01/03 08:43:41.60 .net
>>669
>整列順序なら、全順序であるだけでなく
>「任意の元について後者が存在する」
>という条件を満たすよ
>（いかなる部分集合にも最小元が存在すれば「」内の性質を満たす
> 逆は・・・頑張って証明してみてくれ）
逆はいえないことがわかってしまった・・・ＯＴＬ
整数全体の集合は全順序で、しかも
「任意のｚ∈Ｚに後者が存在する」
が、整列順序でない
「最小元をもち、任意の元について後者が存在する」ならＯＫか
（ちなみに{0,…,1/n,…,1/3,1/2,1}の場合、0の後者が存在しないのでＮＧ）
705:１３２人目の素数さん
22/01/03 08:44:53.07 P3WmsXme.net
NGしてみると連投癖の異常性が一目瞭然だな
普通の人はよく考えて考えがまとまってから投稿する
普通じゃない人はカエルが虫に反応するように忙しなく脈絡のない動きをする
706:
22/01/03 08:54:25.03 .net
>>673
NGしたら、数学的に意味のある書き込みは皆無になるんじゃね？
707:１３２人目の素数さん
22/01/03 09:15:23.52 M7Pqf1pT.net
>>662
>>本質的な問題は、降鎖の松坂の定義>>477での”列(a_n)n∈N”のNを、考える列に合わせて、どう拡張するかだけの話じゃん
> x>0のxが存在しないのになんで二項関係>が成立すると思うんですか？
>自分ではなく二項関係の定義の方が間違いだと信じてるんですか？それは病気ですね
やれやれ、下記のPDF全文を含め、百回音読してください
それでも分からなければ、東北大 尾畑先生か、九大 原隆先生に聞いてください
(参考)
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
第12章 順序集合
P157
12.1 順序関係と順序集合
P161
問 12.4 Q を通常の大小によって順序集合とみなす. 次の部分集合 A, B の最大元, 最小元, 上限, 下限を求めよ.
(A略)
B ={1 ?1/n | n ∈ N }
(引用終り)
答えは、明らかに
B の最大元：存在しない（n ∈ Nの範囲では）
上限：1
最小元：0
下限：0
だな
そこで、N→N∪{ω}とする
そうすると
B’ ={1 ?1/n | n ∈ N∪{ω} }
で、
B’ の最大元：1（n ∈ N∪{ω}の範囲で（但し1/ω＝1とする））
上限：1
最小元：0
下限：0
だな
ここで、部分集合 C={1/n | n ∈ N }を考える
C の最大元：1
上限：1
最小元：存在しない（n ∈ Nの範囲では）
下限：0
そこで、N→N∪{ω}とする
C’ ={1/n | n ∈ N∪{ω} }
で、
C’の最大元：1
上限：1
最小元：0
下限：0
C’の元を列記すると
C’ ={1,1/2,1/3,・・,0 } （N∪{ω}の範囲で（但し1/ω＝1とする））
ここで、C’の元が、通常の＞記号で全順序になることは自明
よって、1>1/2>1/3>・・>0 を得る
つづく
708:１３２人目の素数さん
22/01/03 09:15:58.65 M7Pqf1pT.net
>>675
つづき
（追加(参考)）
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
実数の構成に関するノート?
原 隆 （九州大学数理学研究院）
?九州大学 2006, 2007 年春学期「数学 II」「微分積分学・同演習 A」への補足
目 次
2 実数の構成（デデキントの切断による） 5
2.1 切断による実数の構成（定義）... 5
2.2 実数の順序... . 6
2.3 実数の加減... . 9
2.4 正の実数に乗法を入れる... 11
2.5 正の実数に除法を入れる... 15
2.6 実数に乗法と除法を入れる... . 17
2.7 デデキントの定理：実数の連続性... . 19
2.8 上限と下限... . 20
P6
2.2 実数の順序
上のように構成した「実数」が我々の知っている（期待している）性質を満たしている事を，以下延々と示して
いく．まずこの節では順序を考える（小平「解析入門」の 1.2 節，b) に詳しい）．
(引用終り)
以上
709:１３２人目の素数さん
22/01/03 09:20:55.45 M7Pqf1pT.net
>>675 文字化け訂正
B ={1 ?1/n | n ∈ N }
↓
B ={1 -1/n | n ∈ N }
B’ ={1 ?1/n | n ∈ N∪{ω} }
↓
B’ ={1 -1/n | n ∈ N∪{ω} }
”-”記号が文字化けする
目視では、気付かなかった
710:
22/01/03 09:27:34.15 .net
>>675
>百回音読してください
君こそ、整列順序の定義、百回音読！
URLﾘﾝｸ(ja.wikipedia.org)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
数学において、整列順序付けられた集合または整列集合とは、
整列順序を備えた集合のことをいう。
ここで、集合 S 上の整列順序関係 (wellorder) とは、
”S 上の全順序関係 "≤" であって、
S の空でない任意の部分集合が必ず ≤ に関する最小元をもつもの"
をいう。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
711:１３２人目の素数さん
22/01/03 10:39:17.44 WwZXdDub.net
実数論は数学ではないな
実数論は実数論
数学の研究には必要ない
712:１３２人目の素数さん
22/01/03 10:45:01.42 P3WmsXme.net
底辺大准教授「数学各分野は数学ではないな数学の研究には必要ない」
不必要なのは底辺大准教授
713:１３２人目の素数さん
22/01/03 11:13:52.19 M7Pqf1pT.net
>>593 補足
> だが、その前に、無限公理で、エンドレスの無限状態 0,1.・・n-1,n,・・ を認めたならば
> ・・n{n-1{・・1{0{}0}1・・}n-1}n・・も、同じ状態と認めたらどうですか？
これ(エンドレスの無限状態)が理解できないと、”ガロア理論の発展 ? 無限次ガロア理論と遠アーベル幾何”(下記玉川)
が理解できないでしょ？
遠アーベル幾何が理解できないと、IUTも理解できないよ
頑張ってね
(参考)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
平成18年度(第28回)数学入門公開講座テキスト(京都大学数理解析研究所，平成18年7月31日～8月3日開催)
ガロア理論とその発展
玉川安騎男
§0. はじめに
ガロア理論とは、Evariste Galois (1811-1832) によって創始された、代
数方程式の解の置換に関する理論です。その基本定理は「体」と「群」と
いう代数学の基本概念を用いて述べることができ、現在でも整数論の研
究の中で最も基本的な道具の１つであり続けています。
この講義では、まず、ガロア理論の基本定理の感じをつかんでもらう
ことを目標にしたいと思います。次に、ガロア理論の古典的に有名な応用
（ギリシャ数学３大難問のうちの角の３等分問題と立方体倍積問題の否定
的解決、あるいは、５次以上の方程式の加減乗除とべき根のみを用いた解
の公式の非存在の証明、など）の中から題材を選んで解説したいと思いま
す。最後に、遠アーベル幾何など、現代の整数論・数論幾何におけるガロ
ア理論の展開についても紹介したいと思います。
§5. ガロア理論の発展 ? 無限次ガロア理論と遠アーベル幾何
5.1. 無限次ガロア理論
上記の同値な条件のいずれか（したがって全て）が成立する時、L/K
をガロア拡大と言い、このとき、Aut(L/K) を Gal(L/K) と記し、L の
K 上のガロア群と呼びます。一般には Gal(L/K) は有限群になりません
が、「副有限群」という特別な種類の群になり、「位相」が入って「位相
群」となることがわかります。この場合も、次のようなガロア対応が存在
します。
つづく
714:１３２人目の素数さん
22/01/03 11:14:35.08 M7Pqf1pT.net
>>681
つづき
URLﾘﾝｸ(ja.wikipedia.org)
射有限群（英語: pro-finite group）あるいは副有限群は、有限群の射影系の極限になっているような位相群である。ガロア群やp-進整数を係数とする代数群など、数論的に興味深い様々な群が射有限群の構造を持つ。
射有限群は完全不連結でコンパクトなハウスドルフ位相群として定義される。同値な定義として、離散有限群の成す射影系（逆系）の射影極限（逆極限）として得られる位相群に同型であるような群を射有限群と定めるいうこともできる。
URLﾘﾝｸ(en.wikipedia.org)
Profinite group
(引用終り)
以上
715:１３２人目の素数さん
22/01/03 11:29:28.17 WwZXdDub.net
実数論もそうだけど
ルベーグ積分なんかも
時間の無駄だと思うよ
716:
22/01/03 12:22:45.82 .net
>>681
>無限公理で、エンドレスの無限状態 0,1.・・n-1,n,・・ を認めたならば
>・・n{n-1{・・1{0{}0}1・・}n-1}n・・も、同じ状態と認めたらどうですか？
相変わらず頭オカシイな 雑談君は
0,1.・・n-1,n,・・を
0{}0,1{0{}0}1,…,n-1{…1{0{}0}1,…}n-1,n{n-1{…1{0{}0}1,…}n-1}n,…とするよ
上記の列のそれぞれの項はみな集合だね 否定しようもないね
だから何の問題もないよ
一方、君が絶叫しつづける
・・n{n-1{・・1{0{}0}1・・}n-1}n・・
って集合かい？
違うよね？
もし・・n{n-1{・・1{0{}0}1・・}n-1}n・・が
実は0{}0,1{0{}0}1,…,n-1{…1{0{}0}1,…}n-1,n{n-1{…1{0{}0}1,…}n-1}n,…
だというなら、何の問題もないけどね
ただ、シングルトンではなくなる、というだけで
もうシングルトンとかいう🐎🦌妄想、捨てたら？
まったく意味ないし
717:
22/01/03 12:26:51.77 .net
>>679
>実数論は数学ではないな
>数学の研究には必要ない
>>683
>ルベーグ積分なんかも時間の無駄
実に呆れるほど簡単だからね
理解できないヤツの気がしれないよ
・・・と煽ってみる
718:１３２人目の素数さん
22/01/03 13:13:45.43 M7Pqf1pT.net
>>655 追加引用
(参考引用)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Hokudai%202003-11).pdf
[10] 数論的log schemeの圏論的表示から見た楕円曲線の数論 （北海道大学 2003年11月）. PDF
P2
重要なポイント
「IUキカ（幾何）」
局認型 'a' '日本語型'
つまり、○ウ（宇宙）を拡大していくとき
{{{{a1,b1},a2,b2},a3,b3},a4,b4}・・・
「aiはa1さんのi代目の子孫」→「通常の集合論」(全知型)'the' '英語型'}ラベルの仕組み
ではなく
「aiは(∃a型のキカ(幾何))」
↑
○ウ（宇宙）の特定によらない記述
・・cf.
Frob/Fp：Fp[t]→Fp[t^1/p]→Fp[t^1/p^2]→・・
↑ ↑
ここ上の ここ上の
代数キカ 代数キカ
(幾何) (幾何)
’一種の解析・極限’
↓
ここまで行けば
「a∈a」の解が！
’代数(=極限への近似しかできない)’
(引用終り)
＜所感＞
・これだけ読んでも分からんが
・多分、その場で聞いていた
719:北大の人も。「ポカーン」でしょうね ・でも、望月先生は、大真面目で真剣だったと思う ・なお「○ウ（宇宙）を拡大していくとき {{{{a1,b1},a2,b2},a3,b3},a4,b4}・・・」と記されている。これが、望月氏の考える”宇宙”なのでしょうかね？ （私見では、これ ”{{{{a1,b1},a2,b2},a3,b3},a4,b4}・・・”って、普通に集合でしょ？ ”宇宙”って大袈裟すぎる、これだけならば） ・なお、「a∈a」の解か。 ”「属性方程式」 a∈a を解きたい”？>>655 、さっぱり意味不明です 正直、分かりません。が ∈と ’基礎の公理’により、「通常の集合論では有り得ない。」 の関連記述を IUT IVの付録に、あれだけ詳しく解説したのは、 この北大講義 2003年と類似のことが、IUT本論文中にあるからなのでしょうね、多分 ショルツェ氏が、はまったドツボもここらでは と思う今日この頃です
720:１３２人目の素数さん
22/01/03 14:08:41.78 CYUloPa7.net
>>685
要は、必要になったときに
必要なだけ理解すればいいということ
細部に時間かけてもしょうがない
721:１３２人目の素数さん
22/01/03 14:58:29.86 M7Pqf1pT.net
なんか、一元体F1をモデルに想定していたようですね
望月IUT 1997年以前
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 出張・講演
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(1997nen%20izen).pdf
[3] 通常p進曲線の理論 （1997年以前）. PDF
P11
V. 数体上大域的な理論の可能性:
もぅ少し哲学的な観点をとると、その一意化理論は、Z 上の) Mg,r に対して、 v といぅ素点において、 Z か「俗にいう」 F1 （＝Z の中に潜むとされる仮想的な「定数体」)への descent data を与えることでもある
従って、もしそれぞれの素点で構成した descent data が旨く張り合っていさえすれば、Z 上の Mg,r をまるごと F1 まで降ろすことができる筈である。 その辺の可能性を今後 徹底的に調べていきたい
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
一元体
しばしば、一元体を F1 あるいは Fun[note 1] で表す。
722:１３２人目の素数さん
22/01/03 14:59:50.52 M7Pqf1pT.net
>>687
どうもです
同意です
723:
22/01/03 15:06:57.85 .net
>>686
>{{{{a1,b1},a2,b2},a3,b3},a4,b4}・・・
>>655の式の通りなら
{{{{{…},b1],b2},b3],b4}…
だがな
図が間違ってるよね 学部生でもわかるレベルで
724:
22/01/03 15:09:01.61 .net
>>687
>必要になったときに必要なだけ理解すればいい
必要じゃないなら理解しなくていい
あなたに永遠にその時が訪れないなら
あなたには数学は無縁だったということ
725:
22/01/03 15:11:49.45 .net
>>688
>なんか、一元体F1をモデルに想定していたようですね
肝心のF1を定義できていないから、数学的に無意味ですね
726:
22/01/03 15:14:55.36 .net
>>690の]を}に修正
>>686
>{{{{a1,b1},a2,b2},a3,b3},a4,b4}・・・
>>655の式の通りなら
{{{{{…},b1},b2},b3},b4}…
だがな
図が間違ってるよね 学部生でもわかるレベルで
727:１３２人目の素数さん
22/01/03 15:33:07.84 fVRIjb9K.net
>>675
>やれやれ、下記のPDF全文を含め、百回音読してください
>それでも分からなければ、東北大 尾畑先生か、九大 原隆先生に聞いてください
尾畑先生は「>無限列 1>1/2>1/3>・・>0 が存在する」なんておっしゃってませんが。
それあなたのオリジナルですよね？もちろん間違いです。理由は>666。
>C’の元を列記すると
>C’ ={1,1/2,1/3,・・,0 } （N∪{ω}の範囲で（但し1/ω＝1とする））
列記は不可能ですよ。0の前者が存在しませんから。
>ここで、C’の元が、通常の＞記号で全順序になることは自明
>よって、1>1/2>1/3>・・>0 を得る
「よって」の前後がつながりません。あなたが全順序を初歩的に誤解してるに過ぎません。
あれほど言ったのに全順序の定義を確認してませんね？定義も確認しない人には数学は無理なので諦めましょう。
728:１３２人目の素数さん
22/01/03 15:37:39.96 fVRIjb9K.net
>>676
理解しなければいくらコピペしても無駄ですよ？
それで、肝心な
「>無限列 1>1/2>1/3>・・>0 が存在する」
はコピペしないんですか？
729:１３２人目の素数さん
22/01/03 15:38:26.54 CYUloPa7.net
>>691
数学の何たるかがわかっていないようだなｗ
730:１３２人目の素数さん
22/01/03 15:42:38.86 fVRIjb9K.net
>>681
>これ(エンドレスの無限状態)が理解できないと、”ガロア理論の発展 ? 無限次ガロア理論と遠アーベル幾何”(下記玉川)
>が理解できないでしょ？
「無限」しか共通項無くて草
無限を理解してないのは他ならぬあなたです
731:１３２人目の素数さん
22/01/03 16:05:17.22 fVRIjb9K.net
>>657
>そんな考えなら、どうやれば、実数R全体が二項関係>に関して全順序になるって示せるんだ？
>（整列可能定理も知らないのかもな）
Rは通常の大小関係>で整列集合ではありません。
実際、{x∈R|x>0}は>に関する最小元を持ちません。
整列可能定理で>無限列を正当化することはできません。
あなたは全順序も整列可能定理も分かってません。
732:
22/01/03 16:05:42.37 .net
>>696
ええ、あなたと同じく
733:
22/01/03 16:06:51.82 .net
>>698
そもそも雑談君は、整列順序が分かってないから
定義すら確認しない直感🐎🦌に数学は無理
734:１３２人目の素数さん
22/01/03 16:09:41.53 Efsk05BW.net
長野の成績Fおじさんは算数もできないよ
九九も五の段までしかできないし
735:１３２人目の素数さん
22/01/03 16:30:50.52 P3WmsXme.net
山形底辺大准教(55歳)のヒステリー連投で埋まったスレw
736:
22/01/03 17:27:16.66 .net
>>701
＞九九も五の段までしかできないし
実はそれで十分だけどね
６×ｎ＝（１０－４）×ｎ＝１０×ｎ－４×ｎ
７×ｎ＝（１０－３）×ｎ＝１０×ｎ－３×ｎ
８×ｎ＝（１０－２）×ｎ＝１０×ｎ－２×ｎ
９×ｎ＝（１０－１）×ｎ＝１０×ｎ－１×ｎ
737:１３２人目の素数さん
22/01/03 17:32:37.52 P3WmsXme.net
年始年末スレ監視して即レスするとは底辺だな
738:
22/01/03 17:39:50.69 .net
６×１
＝１０×１－４×１
＝１０ー４
＝６
６×２
＝１０×２ー４×２
＝２０ー８
＝１２
６×３
＝１０×３ー４×３
＝３０ー１２
＝１８
６×４
＝１０×４－４×４
＝４０ー１６
＝２４
６×５
＝１０×５ー４×５
＝５０ー５×４
＝５０ー２０
＝３０
６×６
＝１０×６ー４×６
＝６０ー６×４
＝６０ー（４０ー１６）
＝６０ー２４
＝３６
６×７
＝１０×７ー４×７
＝７０ー７×４
＝７０ー（１０×４ー３×４）
＝７０ー（４０ー４×３）
＝７０ー（４０－１２）
＝７０ー２８
＝４２
６×８
＝１０×８ー４×８
＝８０ー（８×４）
＝８０ー（１０×４－２×４）
＝８０ー（４０ー４×２）
＝８０ー（４０ー８）
＝８０ー３２
＝４８
６×９
＝１０×９ー４×９
＝９０ー９×４
＝９０ー（１０×４ー４）
＝９０ー（４０ー４）
＝９０ー３６
＝５４
739:
22/01/03 17:47:52.18 .net
７×１
＝１０×１ー３×１
＝１０ー３
＝７
７×２
＝１０×２ー３×２
＝２０ー６
＝１４
７×３
＝１０×３－３×３
＝３０ー９
＝２１
７×４
＝１０×４ー３×４
＝４０ー４×３
＝４０ー１２
＝２８
７×５
＝１０×５ー３×５
＝５０ー５×３
＝５０ー１５
＝３５
７×６
＝１０×６－３×６
＝６０ー６×３
＝６０ー（１０×３－４×３）
＝６０－（３０－１２）
＝６０－１８
＝４２
７×７
＝１０×７ー３×７
＝７０－７×３
＝７０ー（３０ー９）
＝７０－２１
＝５９
７×８
＝１０×８ー３×８
＝８０ー８×３
＝８０ー（１０×３ー２×３）
＝８０ー（３０ー３×２）
＝８０－（３０ー６）
＝８０－２４
＝５６
７×９
＝１０×９ー３×９
＝９０ー９×３
＝９０ー（１０×３ー１×３）
＝９０ー（３０ー３）
＝９０－２７
＝６３
740:
22/01/03 17:48:57.40 .net
>>706
一か所訂正ｗ
７×７
＝１０×７ー３×７
＝７０－７×３
＝７０ー（３０ー９）
＝７０－２１
＝４９
741:
22/01/03 17:56:07.47 .net
８×１
＝１０×１ー２×１
＝１０－２
＝８
８×２
＝１０×２ー２×２
＝２０ー４
＝１６
８×３
＝１０×３ー２×３
＝３０ー３×２
＝３０ー６
＝２４
８×４
＝１０×４ー２×４
＝４０－４×２
＝４０－８
＝３２
８×５
＝１０×５－２×５
＝５０－５×２
＝５０－１０
＝４０
８×６
＝１０×６ー２×６
＝６０ー６×２
＝６０ー（１０×２ー４×２）
＝６０－（２０－８）
＝６０－１２
＝４８
８×７
＝１０×７ー２×７
＝７０ー７×２
＝７０ー（１０×２ー３×２）
＝７０ー（２０ー６）
＝７０－１４
＝５６
８×８
＝１０×８ー２×８
＝８０ー８×２
＝８０ー（１０×２ー２×２）
＝８０－（２０－４）
＝８０－１６
＝６４
８×９
＝１０×９ー２×９
＝９０ー９×２
＝９０ー（１０×２ー１×２）
＝９０－（２０ー２）
＝９０－１８
＝７２
742:
22/01/03 18:03:18.35 .net
つまり足し算と
ａ×ｂ＝ｂ×ａと
ｍ＝１０ーｎとしてｍ×ｘ＝（１０－ｎ）×ｘ＝１０×ｘ－ｎ×ｘと
１０×ｎ＝ｎ０ （ｎ＝１~９）と
１×１＝１
２×１＝２
２×２＝４
３×１＝３
３×２＝６
３×３＝９
４×１＝４
４×２＝８
４×３＝１２
４×４＝１６
５×１＝５
５×２＝１０
５×３＝１５
５×４＝２０
５×５＝２５
の１５個の掛け算さえ覚えれば九九はできる
743:１３２人目の素数さん
22/01/03 18:06:48.83 M7Pqf1pT.net
>>698
>Rは通常の大小関係>で整列集合ではありません。
>実際、{x∈R|x>0}は>に関する最小元を持ちません。
>整列可能定理で>無限列を正当化することはできません。
何を主張しているか、意味不明だな
あん
744:た、自分が賢いつもりだろうが、カントール以来100年以上の数学の議論を踏まえないで、 こんな場末の5ｃｈの数日の議論で、何か数学の新しい議論しているつもりかい？ もっと謙虚に、基礎文献を読み込んだらどうかｗ １．”整列可能定理で(通常の)>無限列を正当化することはできません”は正しいが、 下記の通り、”V=L は ZFC と(相対的に)無矛盾であり、ZFC+V=L ではある特定の論理式が R（実際には任意の集合）を整列順序付けることが従う”（整列集合wikipedia） とあるよ ２．列の長さは、ωに限らないよ 列（数学） 一般化の通り、”一般に、ある集合 X の元の集まりで、整列集合あるいは順序数によって添字付けられるものを広い意味で X の元の列と呼ぶことがある”だよ ３．実際、下記”0, 2, 4, 6, 8, …, 1, 3, 5, 7, 9, …”は、順序型は ω + ω 同様に、Z を整列集合にする二項関係 Rが考えられて、 ”0, 1, 2, 3, 4, …, ?1, ?2, ?3, …”は、”順序型は順序数 ω + ω に順序同型である”だよ (参考) https://ja.wikipedia.org/wiki/%E5%88%97_(%E6%95%B0%E5%AD%A6) 列（数学） 項の個数をその列の項数あるいは長さ (length, size) という。項数が有限である列を有限列（ゆうげんれつ、finite sequence）と、そうでないものを無限列（むげんれつ、infinite sequence）と呼ぶ。 整数全体のなす集合からある集合への写像を (..., a?2, a?1, a0, a1, a2, ...) のように書いて、両側無限列あるいは双方向無限列 (doubly or bi-infinite sequence) と呼ぶ。 これは、負の整数で添字付けられた列を正の整数で添字付けられた列に接いだものと考えることができることによる名称である。 つづく
745:１３２人目の素数さん
22/01/03 18:07:36.21 M7Pqf1pT.net
>>710
つづき
一般化
整列集合である自然数全体やその切片を順序数と考えるならば、通常の列は有限順序数 n または最小の超限順序数 ω で添字付けられていると考えることができる。このことから一般に、ある集合 X の元の集まりで、整列集合あるいは順序数によって添字付けられるものを広い意味で X の元の列と呼ぶことがある。特に極限数 α をとれば、α によって添字付けられる列を考えることができる。この語法では通常の（無限）列は ω で添字付けられた列ということになる。
列の概念は、添字集合となる整列集合を有向集合に取り替えて有向点族（あるいはネット）、一般の集合にとりかえて元の族の概念に一般化される。
URLﾘﾝｸ(ja.wikipedia.org)
整列集合
集合 S 上の整列順序関係 (well-order) とは、S 上の全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≦) を慣例に従ってしばしば単純に S で表す。
（選択公理に同値な）整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの補題とも同値である。
例と反例
自然数の全体 N
N における別な整列順序としては、例えば、どの偶数もどんな奇数よりも小さいものとし、偶数同士あるいは奇数同士では通常の大小関係を適用することで得られる順序
0, 2, 4, 6, 8, …, 1, 3, 5, 7, 9, …
が挙げられる。この順序に関する整列集合の順序型は ω + ω である。任意の元が直後の元を持つ（したがって最大元は存在しない）が、直前の元を持たない元が 0 と 1 の二つ存在する。
つづく
746:１３２人目の素数さん
22/01/03 18:08:08.36 M7Pqf1pT.net
>>711
つづき
整数の全体 Z
たとえば、次のような二項関係 R を考えれば、Z を整列集合にすることができる。
この関係 R は要するに
0, 1, 2, 3, 4, …, ?1, ?2, ?3, …
となる順序として表すことができる。この整列順序 R に関する整列集合 Z の順序型は順序数 ω + ω に順序同型である。
Z の別な整列順序の例としては、x ≦Z y ⇔ |x| < |y| または [|x| = |y| かつ x ≦ y] として定まる順序 ≦Z が挙げられる。図示すれば
0, ?1, 1, ?2, 2, ?3, 3, ?4, 4, …
である。これは ω を順序型とする整列順序である。
実数からなる集合
正の実数全体の成す集合 R+ に通常の大小関係 ≦ を考えたものは整列順序ではない。例えば開区間 (0, 1) は最小元を持たない。一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。しかし、ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。ただし、R 上の定義可能な整列順序の存在は ZFC と(相対的に)無矛盾である。例えば V=L は ZFC と(相対的に)無矛盾であり、ZFC+V=L ではある特定の論理式が R（実際には任意の集合）を整列順序付けることが従う。
(引用終り)
以上
747:
22/01/03 18:11:12.12 .net
ａ×ｂ＝ｂ×ａで、九九の８１通りのうち４５通り覚えればいい
というのは見てわかるレベルの話だが、
>>709で述べた、実は九九の１５通りだけ覚えればいい
というのは分配法則と足し算を使うので見ただけじゃわからんレベル
（実はもっと圧縮できるかもしれんので暇な人は考えてみて）
748:１３２人目の素数さん
22/01/03 18:18:36.80 M7Pqf1pT.net
文字化け訂正
>>710
”0, 1, 2, 3, 4, …, ?1, ?2, ?3, …”は、”順序型は順序数 ω + ω に順序同型である”だよ
↓
”0, 1, 2, 3, 4, …, -1, -2, -3, …”は、”順序型は順序数 ω + ω に順序同型である”だよ
(..., a?2, a?1, a0, a1, a2, ...)
↓
(..., a-2, a-1, a0, a1, a2, ...)
>>712
0, 1, 2, 3, 4, …, ?1, ?2, ?3, …
↓
0, 1, 2, 3, 4, …, -1, -2, -3, …
0, ?1, 1, ?2, 2, ?3, 3, ?4, 4, …
↓
0, -1, 1, -2, 2, -3, 3, -4, 4, …
マイナス記号 ”- ”が文字化けしている
749:こいつにクビにしろ！半澤 淳（はんざわじゅん)(45才)
22/01/03 18:20:31.58 mEAABgyf.net
こいつにクビにしろ！！
ウンコよりくせー男！！
半澤 淳（はんざわじゅん)(45才)
hanzawajyun
〒215-0023
川崎市麻生区片平４－５－５ 106号室
090-4170-2753
山形県出身
山形商業高校卒 1995年
750:
22/01/03 18:24:02.94 .net
>>710
>もっと謙虚に、基礎文献を読み込んだらどうか
それは自分自身にいいなよ 雑談君
自分が賢いつもりなんだろうが、
基礎的な集合論の本すら読まないで
ネット検索の結果を流し読みでコピペしただけで、
何か数学の新しい知識を学習できたつもりかい？
>ZFC+V=L ではある特定の論理式が
>R（実際には任意の集合）を整列順序付けることが従う
>とあるよ
まず、R上の整列順序の存在を示すだけならZFCで十分で、V=L要らないけど
次に、ZF+V=Lから、選択公理が証明できるので、ZFC+V=LじゃなくZF+V=Lでいいけど
最後に、R上の整列順序は、R上の通常の順序とは全く異なるけど
もしかして
「ZF+V=Lでは、R上の通常の順序が整列順序だと証明できる！」
と読んだ？
それ誤読だよ
P.S.
>列の長さは、ωに限らないよ
勝手に定義しちゃダメだよ
751:１３２人目の素数さん
22/01/03 18:26:13.85 fVRIjb9K.net
>>710
>１．”整列可能定理で(通常の)>無限列を正当化することはできません”は正しいが、
「>無限列 1>1/2>1/3>・・>0」が存在するとした根拠が誤りだったことを認めたようですね。
もちろん存在しませんよ。理由は>>666。認めますか？
752:
22/01/03 18:38:42.27 .net
>>713
３×ｎ＝（５×ｎ－２×ｎ）
４×ｎ＝（５×ｎ－１×ｎ）
をつかえば
もっと圧縮できそう
３×１
＝５×１－２×１
＝５－２
＝３
３×２
＝５×２－２×２
＝１０－４
＝６
３×３
＝５×３－２×３
＝１５－３×２
＝１５－（１０－４）
＝１５－６
＝９
４×１
＝５×１－１×１
＝５－１
＝４
４×２
＝５×２－１×２
＝１０－２
＝８
４×３
＝５×３－１×３
＝１５－３×１
＝１５－（５－２）
＝１５－３
＝１２
これで、５の段の５×１～５×５の５個と
１×１＝１
２×１＝２
２×２＝４
の３個の合計８個を覚えればＯＫとわかった
753:
22/01/03 18:42:10.60 .net
>>709 >>718
７の段どころか３の段すら、一個も覚えなくていい、というのは凄い
754:
22/01/03 18:47:11.23 .net
７×７
＝１０×７ー３×７
＝７０－７×３
＝７０ー（１０×３ー３×３）
＝７０－（３０ー３×３）
＝７０－（３０ー（５×３－２×３））
＝７０ー（３０－（１５ー３×２））
＝７０ー（３０－（１５－（５×２ー２×２）））
＝７０ー（３０－（１５－（１０ー４）））
＝７０ー（３０ー（１５ー６））
＝７０ー（３０ー９）
＝７０－２１
＝４９
なるほど・・・
755:１３２人目の素数さん
22/01/03 18:49:32.70 GjWUcXkn.net
前スレｽﾚﾘﾝｸ(math板)
に�
756:ﾟるけど、 >822１３２人目の素数さん2021/12/26(日) 07:30:13.92ID:sq730M9g >>819 >(IUT)理論の「定義」で、無限において有限値に収束させるので、 >圏/(圏と同値)を用いたのでは >マジレスだが、圏にどういう同値関係を入れたんだ？ は、望月が（証明抜きの）構想でそう書いていた。 https://www.kurims.kyoto-u.ac.jp/~motizuki/Suuronteki%20log%20scheme%20no%20kenrontekihyouji%20kara%20mita%20daen%20kyokusen%20no%20suuron%20(Hokudai%202003-11).pdf これは”基礎の公理”で、655氏の§1.2の下記引用の直後に書かれていた。 >だから>「”∈の「ループ」そのもの”は、基礎の公理に反す」までは、望月氏は自覚あるよ 一緒の解析・極限までいけば、 a∈aの解が得られると考えて、 そのために§1.3で 「圏/(圏と同値)」を考えることを、圏のIU幾何の構想をしていて、 ＞圏にどういう同値関係を入れたんだ？ は、§2.1数体→§2.2p進局所体→、、、と進めて、 §3.1で圏同値の同型類のスキーム、楕円の素点、、、と進めて、 §５で、Frobenius射まで 圏同値の関係について、証明は略し、§のStep毎に、流れ(このpdfの目的と思われる）が書かれてて、 §1.3に、圏/(圏と同値)は”圏のIU幾何”の基本定理と書かれていた。
757:
22/01/03 19:13:18.90 .net
>>721
ｽﾚﾘﾝｸ(math板:819番)
>(IUT)理論の「定義」で、無限において有限値に収束させる
質問１
IUTで有用なのはぶっちゃけ
「無限において有限値に収束させる”計算”」
といっていい？
質問２
質問１の”計算”を正当化するのに、”∈ループ” a∈a は不可欠？
質問３
質問１の”計算”は（その意義はともかくとして）
IUTで正当化出来ているといっていい？
758:１３２人目の素数さん
22/01/03 19:40:19.98 fVRIjb9K.net
本来なら>>722のような問いを望月さん自ら説明すべきなんだよなあ
なのにブログへの投稿をシャットアウト
学者とは思えぬ態度
759:１３２人目の素数さん
22/01/03 20:16:28.20 2WnnibVH.net
新年のっけからSetAが恥を深めとる
無限大自然数は任意有限自然数ではありませんよー
はい、ω重シングルトンは任意多重シングルトンではありません、さようなら｡
760:１３２人目の素数さん
22/01/03 20:52:48.35 P3WmsXme.net
底辺准教氏のID無しとIDありをNGすると
このスレは正常運行してんだな
NGしないと狂人の繰り言スレになるけど
761:１３２人目の素数さん
22/01/03 21:59:43.63 M7Pqf1pT.net
>>655 追加
∈の「ループ」の資料とF1 について、下記あり
Need 'global Hodge Theory '
↓
Solve 'a∈a'！ 'membership Equation'
(contradicts 'axiom of foundation'！)
と出てくる
また、“ABC Conjecture → Need geometry/F1 (e.g., derivative)”とも
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 出張・講演
英語
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(RIMS%20Kyoto%202004-09).pdf
[9] Anabelian Geometry from an Inter-universal Point of View (京都大学数理解析研究所 2004年9月)
P2
§2 The Membership Equation:
motivation
ABC Conjecture → Need geometry/F1 (e.g., derivative)
→Need 'global Hodge Theory '(cf. Hodge-Arakelov Theory: close, but still scheme-theoretic)
↓
Solve 'a∈a'！ 'membership Equation'
(contradicts 'axiom of foundation'！)
↓
from quotient by identifying ai's→a, bi's→b,
a4∈・・・
||
a3∈{a3,b3}
||
a2∈{a2,b2}
||
a1∈{a1,b1}
762:１３２人目の素数さん
22/01/03 22:20:31.23 CYUloPa7.net
底辺准教氏が実は望月氏だったりしてなｗ
763:１３２人目の素数さん
22/01/04 00:23:00.30 H
764:NURFQHn.net
765:１３２人目の素数さん
22/01/04 00:27:05.79 frZcmJTe.net
>>726 追加
”then consider loops of mutation ('simulate a∈a')：
A → B → C → D → A・・・”
に
”using a・a^∞＝a^∞ to differential the F.L. '○H'→ ABC inequality”
かよ
これ2005年なので、IUTそのままじゃないだろうが、
トンデモないことを発想しているね、望月先生は！ｗ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(RIMS%20Kyoto%202005-12).pdf
[13] Inter-universal Hodge-Arakelov Theory (京都大学数理解析研究所 2005年12月)
(抜粋)
P1
§1. Scheme-theoretic Hodge-Arakelov Theory
original motivation： ABC Conjecture ('absolute derivative of L/F1')
P2
§2. Inter-Universal Geometry
(P2の最下段)
・・consider Species:' type of mathematical object'}'set theoretic realization of objects of a category functors'
mutation: A → B
↑ ↑
species
P3
then consider loops of mutation ('simulate a∈a')：
A → B → C → D → A・・・
e.g.: anabelian geometry (certain schemes)-πq→(certain profinite gps)-？→(certain schemes)
・・・when considering formal composites of operations:
(P3の中段)
・・・need to (shift & commute) to form infinite product a^∞ s.t.
a・a^∞＝a^∞
i.e., a1(a0(a-1(a-2(・・・)))
||
a0(a-1(a-2(・・・)))
P4
(P4の下段)
using a・a^∞＝a^∞ to differential the F.L. '○H'→ ABC inequality
766:１３２人目の素数さん
22/01/04 00:32:07.42 frZcmJTe.net
>>728
>商集合上の∈がオリジナルの∈とは別モノなのかも知れない。そうでなければ基礎の公理と矛盾。
>全然分からんけど
どうもです
同意です
分からん
それに、基礎の公理って、そんなに絶対視するほどのものかね？
基礎の公理を採用しない集合論もあるみたいだし（と言っても詳しくないけど）
私としては、理解できない、奇妙な発想をしていることは確かですね
で、集合論やめて、圏論じゃということみたい
そこだけは、分かった
767:１３２人目の素数さん
22/01/04 03:26:48.44 XPKO7vGO.net
>>727
それは無い
身元や学歴で不要な虚勢を張ったり
頭が最も活性化する午前中から
匿名掲示板で一日中罵詈雑言連投をするのは
学問的成果を何も生み出せなかった50代底辺准教の20年前からよく知られている行動
768:１３２人目の素数さん
22/01/04 03:36:04.58 XPKO7vGO.net
問題の基本設定を自分の思い込みとすり替え
問題が自分の思い込みとズレているから
虚偽だと主張する循環論法も底辺准教55歳の特徴
13年前には非線形非平衡熱統計物理の未科学問題を
高校レベルの古典熱力学(平衡)と矛盾しているから
「ニセ科学」と言い張り雪氷学会研究会に迷惑をかけ
2017-2020年に問題を解明する論文が登場しても自身の幼稚な勘違いを謝罪していない
最近ではフェルマーの最終定理を55歳まで知らずに
別の問題と混同して言いがかりをつけていた珍事があった
769:１３２人目の素数さん
22/01/04 09:39:56.7
770:6 ID:w5onYOJb.net
771:１３２人目の素数さん
22/01/04 10:39:09.18 FulmjHNG.net
55歳までフェルマーの最終定理を知らなかった
底辺准教55歳の涙目の言い訳はこちら
858 名前:１３２人目の素数さん
:2021/12/14(火) 21:20:34.40 ID:BP6HCV2/
俺がフェルマーの最終定理を調べたのは
１週間くらい前だが？
お前らまともな説明してたの一人だけじゃん。
後はバカにするだけでなんの説明もなし。
866 名前:１３２人目の素数さん
:2021/12/15(水) 23:02:20.46 ID:R5pJ8YRY
フェルマーの定理って大体わかったから用はないは。
自称理系教員がどういう人生を送ったら
55歳までフェルマーの最終定理すら知らずに過ごせるのか
山形大学の闇は深い
772:１３２人目の素数さん
22/01/04 16:37:58.94 LK/4LLjE.net
>>726 >>729 追加
ふと、思ったが
１．この奇妙な ”Solve 'a∈a'！ 'membership Equation'”は、F1（一元体）由来かも知れないね（下記）
２．”Solve 'a∈a'！”＝”同義反復（もどき）” として、望月はIU幾何を構想したのでしょう
３．望月は、圏論で、同義反復（もどき）＝F1もどきを、IU幾何の内に構築した。まさに望月ワールドで望月宇宙かも
４．ショルツェ氏はそれをチラ見して、「なんだ？ 同義反復だから、モノドロミーが自明で、それじゃ不等式が出ないぞ」という
５．望月氏怒るｗ。「なにを言うか、同義反復そのものじゃない！ 一番苦労したところで、Ind（不定性）があるから、完全な同義反復じゃないぞ！」というも、理解されずに物別れに終わる
この解釈なら、宇宙際とは、望月宇宙（望月ワールド）と、通常の数学宇宙とを、つなぐ意味になるなｗ
こっちの方が、用語”宇宙”の使い方としては、しっくり来るかもね
なお、
F1：”通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである”（下記）
同様
可算無限シングルトンも、最後はそれ類似でもいいけどね。
でも、ZFC内かZFCから基礎の公理を除いた体系内には、収まるだろうと思うよ
URLﾘﾝｸ(ja.wikipedia.org)
一元体
標数 1 の体
しばしば、一元体を F1 あるいは Fun[note 1] で表す。
通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。
773:１３２人目の素数さん
22/01/04 16:40:36.54 QWAeEoji.net
ニセ科学批判カルトが多用する�
774:ﾁ異語 [改訂版] 1. ニ セ 科 学 | エ セ 科 学 2. ト ン デ モ | ペ テ ン 師 | デ マ | ウ ソ | 病 気 3. 信 者 | 信 奉 者 | 教 祖 4. 負 け を 認 め て 黙 れ 【思想・信条・学問・表現の自由の侵害発言】 5. 自 殺 | 氏 ね 6. 自 分 が 本 当 の 被 害 者 7. 月 刊 ム ー | オ カ ル ト 8. 理 研 | S T A P 細 胞 | 小 保 方 9. 岡 崎 | 丘 裂 き | 生 物 多 様 性 10. h i s s i . o r g | ウ ィ キ ペ デ ィ ア (w i k i p e d i a) 11. 悪 魔 の 証 明