[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ12 http://rio2016.5ch.net/test/read.cgi/math/1735693028/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
705: 132人目の素数さん [] 2025/01/28(火) 00:56:56.30 ID:SFFxcmct >>702 https://ja.wikipedia.org/wiki/%E9%9B%86%E5%90%88%E6%97%8F 部分集合族 全体集合 Ω が与えられたとき、Ω 上の集合族とは Ω の冪集合 𝒫(Ω) の部分集合のことを言う。即ち、Ω 上の集合族 S はその任意の元が Ω の部分集合となる集合である。 P(A)-{Φ}は集合族だと教えてやったんだから自分で確認しろよアホw http://rio2016.5ch.net/test/read.cgi/math/1735693028/705
708: 132人目の素数さん [] 2025/01/28(火) 09:24:28.37 ID:SFFxcmct 雑談くん、公開処刑されたのは自分だったことにやっと気づいたのかな? R.I.P. http://rio2016.5ch.net/test/read.cgi/math/1735693028/708
721: 132人目の素数さん [] 2025/01/28(火) 12:27:17.37 ID:SFFxcmct >>709 >繰り返しになるが 集合Aのべき集合P(A) (Aの任意部分集合)は、空集合を含む >そこで、空集合を除いたものを P(A) -Φ と書く P(A)-{Φ}な。 P(A)-Φ=P(A)やぞ。空集合除けてないぞw なんで教えてやってんのに聞かんの? 人の言うことを聞けないと馬鹿は治らないって言ってるよね? http://rio2016.5ch.net/test/read.cgi/math/1735693028/721
722: 132人目の素数さん [] 2025/01/28(火) 12:27:39.33 ID:SFFxcmct > こうして、P'の部分集合 として 集合族の A-{aξ:ξ<α}が取り出せて P'に属す集合を取り出す必要は無い。 取り出す必要があるのはP'に属す任意の集合それぞれの元。 それが選択関数f。 http://rio2016.5ch.net/test/read.cgi/math/1735693028/722
723: 132人目の素数さん [] 2025/01/28(火) 12:27:56.83 ID:SFFxcmct > aα=f(A-{aξ:ξ<α}) つまり f:A-{aξ:ξ<α} → aαができる だからw fが存在しているからaαを定義できるのに、なんでaαからfを作るんだよw 脳みそ腐ってんの? http://rio2016.5ch.net/test/read.cgi/math/1735693028/723
724: 132人目の素数さん [] 2025/01/28(火) 12:28:12.87 ID:SFFxcmct > この関数は、選択公理で許される 選択関数である いやいやw 選択関数を構成できるなら選択公理要らんやろw 選択公理は選択関数の存在を「許している」=「禁止していない」のではなく「保証している」。 君、選択公理ぜんぜん分かってないね。 http://rio2016.5ch.net/test/read.cgi/math/1735693028/724
725: 132人目の素数さん [] 2025/01/28(火) 12:28:28.38 ID:SFFxcmct >6)さらに付言しておくと、集合Aから最初に どの要素を取り出して、次に どの要素を取り出して ・・・ > と続けることを考えると、集合Aの並びは 大きな自由度があり fで一意に定まるから自由度は無い。 http://rio2016.5ch.net/test/read.cgi/math/1735693028/725
726: 132人目の素数さん [] 2025/01/28(火) 12:28:41.87 ID:SFFxcmct >aα=f(A-{aξ:ξ<α}) は P' 全体に広がる可能性がある 可能性は無い。 α>β ⇒ A-{aξ:ξ<α}⊂A-{aξ:ξ<β} ∧ A-{aξ:ξ<α}≠A-{aξ:ξ<β} が成立っているから。 さすが大学1年4月に落ちこぼれただけのことはあるね こりゃ酷い http://rio2016.5ch.net/test/read.cgi/math/1735693028/726
728: 132人目の素数さん [] 2025/01/28(火) 12:51:49.57 ID:SFFxcmct >>710 >で、まとめると 間違いをまとめても間違ったまとめにしかならない。 >”That we can do by induction, using a choice fiunction f for the family S of all nonempty subsets of A.” >は、ヒントでしょ? ヒントじゃなく答えそのもの。 >数学科生なら、この1行のヒントで ”aα=f(A-{aξ:ξ<α})”の構成を悟れ! ということ 悟らなくても We let for every α aα=f(A-{aξ:ξ<α}) if A-{aξ:ξ<α} is nonempty. と明記されてますがなw 書かれていることをきちんと読んで理解することこそ大切。なぜなら正しい証明には必要なことがすべて書かれているから。決して読者に何らかの悟りを要求するようには書かれていない。 君のように何か悟った気になってもそれただの独善妄想だよ。だから大学1年4月に授業に付いていけず落ちこぼれたんだよ。 http://rio2016.5ch.net/test/read.cgi/math/1735693028/728
733: 132人目の素数さん [] 2025/01/28(火) 13:35:19.57 ID:SFFxcmct >>719 >つまり、ある順序数αに対して α+1 があって 極限順序数はどうするの? ξ+1=ωを満たす順序数ξは存在しないが。そういう粗雑さが間違いのもと。 >次に、関数fに食わせる集合は、f(A-{aξ:ξ<α}より aα減った集合だね >A-{aξ:ξ<α} - aα だね それを言うなら A-{aξ:ξ<α} - {aα} な。ほんとおまえは人の話を聞けん奴やのう。アホたれ小僧が。 >そうやって、A-{aξ:ξ<α}からなる集合族を あつめて >P'(Aのべき集合から 空集合を抜いた集合) の部分集合が出来上がる 作る必要が無い。aαが定義されればよいだけ。 >P'の部分集合を作る公理は、選択公理ではなく、置換公理を使うよ (常識でしょ?(^^) トンチンカン 独善持論吐くのやめて人の話を聞きなさい。聞いて理解しなさい。それができないからおまえは人として認められないんだよサル。 http://rio2016.5ch.net/test/read.cgi/math/1735693028/733
735: 132人目の素数さん [] 2025/01/28(火) 13:45:28.88 ID:SFFxcmct >>729 >しかも◆yH25M02vWFhPは、限定に思いっきり失敗してるし その通り。 限定する、すなわちfを定義するために、fで定義されたaαを使っている。 なぜこれで善しと思ったのか。まさに猿知恵。 http://rio2016.5ch.net/test/read.cgi/math/1735693028/735
739: 132人目の素数さん [] 2025/01/28(火) 14:04:27.39 ID:SFFxcmct >>729より >可算集合の整列が、可算選択公理で出来るって >考え無しのオオボケかましたのを正当化しようってか? Aが可算⇔全単射f:N→Aが存在する。 ∀n,m∈N.n<m⇔f(n)<f(m) によって(A,<)を定義したとき、∀B⊂A.f(minf^(-1)(B))=min<B∈B だから、Aは整列集合。 はい、雑談ザルの持論は独善妄想であることが証明されますた。残念! http://rio2016.5ch.net/test/read.cgi/math/1735693028/739
740: 132人目の素数さん [] 2025/01/28(火) 14:35:27.95 ID:SFFxcmct >>730 >そこから >>709 Thomas Jechの "aα=f(A-{aξ:ξ<α})" をどうやって出すの?ww ;p) どうやって出すも何も We let for every α aα=f(A-{aξ:ξ<α}) if A-{aξ:ξ<α} is nonempty. と、Thomas Jechが定義してるんだけど? 君はεN論法による数列の極限の定義をどうやって出したのか疑問で教員に尋ねたと? で、納得する答えが得られなかったからブチギレて解析学の単位を放棄したと? そりゃ大学1年の4月に落ちこぼれますわ。 >いま Aが 可算集合とするよ 可算なら選択公理不要。>>739で証明済み。 以下敢えて選択公理を使って証明するとして。。。 >>>709-710に書いたように、集合族 A-{aξ:ξ<α} を使った 選択関数に限れば >順序数 α は、可算の範囲だよね >ところが、Aのべき集合全体をカバーする順序数は 2^A つまり 非可算だろ だから? >(あたかも 自然数Nを整列させるのに、2^N の 非可算集合で、実数Rを整列させようってか?) なんでNを整列するのにRの整列が要るの? 馬鹿なの? てかなんで「あたかも」でつながるの? ぜんぜんつながってないんだけど 「あたかも」で誤魔化そうとしても無駄なんだけど >おサルさ あんた >あたま カラっぽじゃねw ;p) おサルもあたまからっぽも君 >先制攻撃をしておく 秒で迎撃されてて草 http://rio2016.5ch.net/test/read.cgi/math/1735693028/740
742: 132人目の素数さん [] 2025/01/28(火) 15:19:06.05 ID:SFFxcmct >>734 >血の巡りの悪い人がいるね それが君 >それ>>730に書いたけど Aが可算だとするよ >そうすると、選択関数の定義域を、P' (=Aのべき集合から空集合を除いた集合) >で考えても良いが じゃ終了 >問題は そのままでは そもそも 順序数での添え字付けがないってことだ 使わない添え字がなんで要るの? 馬鹿なの? >(そして もし 添え字付けすれば Aより一つランク上の無限の順序数の添え字要) じゃ終了 >そこで、Jechは より小さい集合族 aα=f(A-{aξ:ξ<α}) >にうまく落とし込んでいるってことだね 妄想。aαを定義してるだけ。 >で、集合族 A-{aξ:ξ<α} の順序数の添え字と 集合Aの要素aとが >過不足なく 対応して 集合Aに 順序数の添え字による 整列順序が入るってしかけだろ? 何ワケワカンナイこと言ってんの? 過不足の無さはsup{α|aα is defined}によるんだけど。 ぜんぜん分かってないじゃん君。 http://rio2016.5ch.net/test/read.cgi/math/1735693028/742
743: 132人目の素数さん [] 2025/01/28(火) 15:19:49.19 ID:SFFxcmct >>可算集合の整列が、可算選択公理で出来るって >>考え無しのオオボケかましたのを正当化しようってか? >話は全く逆だよ >選択公理のパワーは、扱える集合族の添え字の大きさであり なんで添え字に拘るの? 使わない添え字は要らないんだけど。馬鹿なの? >集合族の添え字 一つから 一つの要素が出るので つまりは 要素の整列の長さが決まる 長さはsup{α|aα is defined}ですけど? http://rio2016.5ch.net/test/read.cgi/math/1735693028/743
744: 132人目の素数さん [] 2025/01/28(火) 15:20:25.11 ID:SFFxcmct >この根本的な 選択公理の理解に対する全体像 つまり ランドスケープが欠けているから >トンチンカンなことを、ほざくのですww aαを使って選択関数fを定義するとか言ってる君こそがトンチンカン。 なぜならaαの定義にfを使っている、すなわち循環参照になってるから。 なんで何度言っても理解できないの? 馬鹿だから? じゃ数学諦めなよ。馬鹿に数学は無理だから。 http://rio2016.5ch.net/test/read.cgi/math/1735693028/744
745: 132人目の素数さん [] 2025/01/28(火) 15:21:40.67 ID:SFFxcmct >いま、可算集合Aがあって、可算選択公理を仮定する >Jech の 集合族 A-{aξ:ξ<α} で、順序数の添え字 α は、可算で収まる >ならば、集合族 A-{aξ:ξ<α} は、可算の集合族であり >可算選択公理で、可算集合Aは整列可能となる!■ http://rio2016.5ch.net/test/read.cgi/math/1735693028/745
746: 132人目の素数さん [] 2025/01/28(火) 15:21:52.29 ID:SFFxcmct 大間違い。 Aが可算なら可算選択公理無しで整列可能。>>739で証明済み。 また敢えて選択公理を使って証明しても良いが、その場合可算選択公理では不足で選択公理が必要。 理由は上に書いた通り、君のfの定義は循環参照になっておりwell-definedでないから。 もういいかげん黙れば? 公開処刑されるのがそんなに楽しい? http://rio2016.5ch.net/test/read.cgi/math/1735693028/746
747: 132人目の素数さん [] 2025/01/28(火) 15:44:19.79 ID:SFFxcmct ユーチューブに認知症の親の介護の動画があるんだけど、 通帳の隠し場所の記憶が無くて、介護してもらってる我が子を泥棒呼ばわり、何度説明しても一切聞く耳持たないんだよね 雑談ザルがそっくりなので思い出しちゃった http://rio2016.5ch.net/test/read.cgi/math/1735693028/747
748: 132人目の素数さん [] 2025/01/28(火) 15:54:46.56 ID:SFFxcmct 雑談ザルも持論が正しいと思い込んじゃって、こちらがいくら説明しても一切聞く耳持たないからね 循環参照では?という疑いの目で見直してごらん 思い込みはダメよ http://rio2016.5ch.net/test/read.cgi/math/1735693028/748
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.043s