Inter-universal geometry と ABC予想 (応援スレ) 73 (670レス)
Inter-universal geometry と ABC予想 (応援スレ) 73 http://rio2016.5ch.net/test/read.cgi/math/1753000052/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
495: 132人目の素数さん [sage] 2025/08/11(月) 13:03:37.16 ID:MtMWibfm また妄想か http://rio2016.5ch.net/test/read.cgi/math/1753000052/495
500: 132人目の素数さん [sage] 2025/08/11(月) 16:09:56.18 ID:MtMWibfm ∩は使えないと妄想でグダグダ言ってるど素人がまた暴れとる http://rio2016.5ch.net/test/read.cgi/math/1753000052/500
503: 132人目の素数さん [sage] 2025/08/11(月) 17:29:53.03 ID:MtMWibfm Well-ordering theorem Proof from axiom of choice The well-ordering theorem follows from the axiom of choice as follows.[9] Let the set we are trying to well-order be A, and let f be a choice function for the family of non-empty subsets of A. For every ordinal α, define an element aα that is in A by setting aα= f(A-{aξ|ξ<α}) if this complement A-{aξ|ξ<α} is nonempty, or leave aα undefined if it is. That is, aα is chosen from the set of elements of A that have not yet been assigned a place in the ordering (or undefined if the entirety of A has been successfully enumerated). Then the order < on A defined by aα<aβ if and only if α<β (in the usual well-order of the ordinals) is a well-order of A as desired, of order type sup{α|aα is defined}. as desired ×好きなように(整列できる)←英語が読めないバカ 〇望み通り(整列順序である) http://rio2016.5ch.net/test/read.cgi/math/1753000052/503
504: 132人目の素数さん [] 2025/08/11(月) 18:07:22.51 ID:MtMWibfm >>502 >なお、ここの薄葉 季路氏のグロタンディーク宇宙の定義は、|U| =k (到達不能基数)なるものとしていることを注意しておく >?Uがグロタンディーク宇宙ならば、|U|は到達不能基数である. からその逆は言えないけどいいの? http://rio2016.5ch.net/test/read.cgi/math/1753000052/504
507: 132人目の素数さん [] 2025/08/11(月) 18:52:42.81 ID:MtMWibfm 何も分かってないと白状してて草 http://rio2016.5ch.net/test/read.cgi/math/1753000052/507
508: 132人目の素数さん [] 2025/08/11(月) 18:53:11.91 ID:MtMWibfm 誤爆??? おまえの誤読だが? http://rio2016.5ch.net/test/read.cgi/math/1753000052/508
509: 132人目の素数さん [] 2025/08/11(月) 18:54:39.39 ID:MtMWibfm なにおまえ たてつく気? じゃあ実数の整列順序示せ 好きなように整列できるんだろ? http://rio2016.5ch.net/test/read.cgi/math/1753000052/509
510: 132人目の素数さん [] 2025/08/11(月) 18:56:49.80 ID:MtMWibfm 示せもしないくせになに好きなように整列できるとか口から出まかせ言ってんの? だから落ちこぼれるんだよおまえは 分かったかい? http://rio2016.5ch.net/test/read.cgi/math/1753000052/510
511: 132人目の素数さん [] 2025/08/11(月) 18:58:06.51 ID:MtMWibfm いいからオチコボレは数学板から消えろ 目ざわりなんだよ http://rio2016.5ch.net/test/read.cgi/math/1753000052/511
512: 132人目の素数さん [] 2025/08/11(月) 18:58:49.06 ID:MtMWibfm いいかげん自分がうざがられてると気付け このオチコボレが http://rio2016.5ch.net/test/read.cgi/math/1753000052/512
516: 132人目の素数さん [] 2025/08/11(月) 21:21:17.92 ID:MtMWibfm >>515 > オレがスレ主だよ!! (^^ バカはスレ立て禁止。バカにも人権があると思った? 無いよ >下記を百回音読してねww どこを音読しても実数の整列順序は書いてなくて草 君、言葉が分からないの? 言語障害? 病院行きなよ http://rio2016.5ch.net/test/read.cgi/math/1753000052/516
517: 132人目の素数さん [] 2025/08/11(月) 21:26:03.23 ID:MtMWibfm バカはいまだに Xは整列可能≠X上の具体的整列順序が存在 が分かってないね 整列可能性は選択公理に依存してるんだから具体性が担保されないの当たり前なのにね http://rio2016.5ch.net/test/read.cgi/math/1753000052/517
520: 132人目の素数さん [] 2025/08/11(月) 21:57:45.55 ID:MtMWibfm >>519 倒錯していてもこころが歪んでてもなんでもいいから早く実数の整列順序示してよ イッチョマエの台詞はその後に吐いてね http://rio2016.5ch.net/test/read.cgi/math/1753000052/520
525: 132人目の素数さん [] 2025/08/11(月) 23:05:24.25 ID:MtMWibfm >>521-522 AIも知恵遅れも大間違いで草 http://rio2016.5ch.net/test/read.cgi/math/1753000052/525
526: 132人目の素数さん [] 2025/08/11(月) 23:16:54.34 ID:MtMWibfm >>521 >部分集合として、{1/2, 1/3, 1/4, ...} を考えると、この部分集合には最小元が存在しません はい、大間違い。 最小元が存在しないように見えるのは暗に通常の大小関係を前提にしてるから。ど素人がやりがちな間違い。 >この定理は、実数全体のような特定の集合に適用されるわけではありません。 はい、大間違い。 任意の集合に対して適用できるんだから特定の集合にも適用できる。 >実数全体には、選択公理を仮定しても、整列順序を入れることができません。 はい、大間違い。 証明済みの整列定理を否定してどうするw >実数の連続性: >実数全体は、連続な集合であり、任意の2つの実数の間に別の実数が存在する性質を持ちます。 はい、大間違い。 それは連続性ではなく稠密性。実際同じことが有理数でも言える。 >この連続性のため、実数全体を整列順序で並べると、部分集合の最小元が存在しない場合が生じてしまいます。 はい、大間違い。 連続性のためと言ってるがまったく根拠になってない。 AIってこんなバカだったのかw http://rio2016.5ch.net/test/read.cgi/math/1753000052/526
527: 132人目の素数さん [] 2025/08/11(月) 23:34:07.72 ID:MtMWibfm AI君が根拠と言ってる連続性は実際は稠密性であって、稠密集合である有理数の部分集合{1/2, 1/3, 1/4, ...}にも通常の大小関係に関する最小元は存在しない。 しかし実際には有理数は可算集合、すなわち全単射f:N→Qが存在するのだから、f(0)<f(1)<f(2)<・・・なる整列順序<が存在する。 こんなバカなAIが面白いと日々コピペしてるオチコボレに数学は無理 http://rio2016.5ch.net/test/read.cgi/math/1753000052/527
528: 132人目の素数さん [] 2025/08/11(月) 23:49:14.04 ID:MtMWibfm >f(0)<f(1)<f(2)<・・・なる整列順序<が存在する。 有理数Qの空でない任意の部分集合をPと書く。 自然数Nは整列集合だからminf^(-1)(P)が存在する。 よってminP=f(minf^(-1)(P))が存在する。 よってQは整列集合。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/528
529: 132人目の素数さん [] 2025/08/11(月) 23:59:50.79 ID:MtMWibfm >>522 >最初に有限個でやって、例えば二桁の自然数だけでナンバリングして、それを負にも拡張して、最後に無限個にまで拡張するだけですね。 はい、大間違い。 実数がナンバリングできないことはカントールが証明済み。 >全ての実数に順序を付ければよいので、不可算無限個ある実数の順序をすべて定めてあげれば構成できます。 実数の順序をすべて定める⇒整列順序を構成できる はトートロジー。 間違いではないが、問い「整列順序を構成できるか」に何も答えておらず無意味。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/529
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.024s