[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ11 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
936(1): 01/01(水)18:53 ID:mZ2ntjQv(20/32) AAS
小出しに分けたら投稿できた。
なんなの？
937(2): 01/01(水)18:53 ID:SnhQCod3(7/8) AAS
>>930
コメントがないことが同意見を意味することの証明が
書かれれば何かコメントしたくなるだろう
938: 01/01(水)19:02 ID:mZ2ntjQv(21/32) AAS
>>931
あと君、無駄なコピペやめな
いくらコピペしても君が理解してないのバレてるから
それで肝心な>>929のコピペは未だ？
君、無駄なコピペばっかして肝心なコピペはなぜかしないね 馬鹿なの？
939: 01/01(水)19:02 ID:mZ2ntjQv(22/32) AAS
>>937
じゃ失せな
940(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/01(水)19:20 ID:2b7XvZNh(13/16) AAS
>>937
ID:SnhQCod3 は、御大か
OTKゼミ ご指導ありがとうございます
>>936
>小出しに分けたら投稿できた。
>なんなの？
それよくある
5ｃｈ便所板の仕様でしょ！ｗ ；ｐ）
>>935
>言わずもがな
省19
941(1): 01/01(水)19:22 ID:mZ2ntjQv(23/32) AAS
>>931
あと君、整列定理大好きだけど、整列定理が主張してるのは「何らかの整列順序の存在」であって、具体的にどんな順序かについては何も言ってないよ。
ちょうど選択公理が何らかの選択関数の存在しか主張しておらず、具体的にどんな関数かについては何も言ってないのと同じ。
まあ同値命題だから当然だけどね。
だから
>可算無限集合 { {},{{}},{{{}}},{{{{}}}},・・・ } を 整列集合とするために （整列可能定理を使って）
>{}≦{{}}≦{{{}}}≦{{{{}}}}≦・・・
>とできるのです
は真っ赤な嘘。
なんで「何らかの整列順序が存在する」から「具体的な整列順序を構成できる」が結論されると思うの？ 馬鹿なの？
942(1): 01/01(水)19:29 ID:mZ2ntjQv(24/32) AAS
>>940
>整列定理も使えますよ！
使えるのは当たり前。任意の集合についての主張なんだから。
しかし使ったところで君が書いたような整列順序は出てこないぞ。具体的な整列順序は整列定理とまったく関係無い。
だから
>その上で、可算無限集合 { {},{{}},{{{}}},{{{{}}}},・・・ } を 整列集合とするために （整列可能定理を使って）
>{}≦{{}}≦{{{}}}≦{{{{}}}}≦・・・
>とできるのです
の「整列可能定理を使って」は真っ赤な嘘。
ほんとに何一つ分かってないんだね君
943(1): 01/01(水)19:34 ID:mZ2ntjQv(25/32) AAS
>>940
>なにか 整列定理を使わないで済ませられるときでも、整列定理は常に適用可能！！
>だって、整列定理の本質は、『公理』なのだからねｗ ；ｐ）
恐らく選択公理と同値命題と言いたいのだろうが、そのこと自体は正しくても、君の主張はまったく的外れでトンチンカン。
944(1): 01/01(水)19:41 ID:mZ2ntjQv(26/32) AAS
>>940
>そこ、記号の濫用（乱用？ｗ or 記号の流用）と思ってくれ
乱用しちゃダメじゃんｗ
”∈”に、引き摺られているよ。あなたはｗｗ
引き摺られてるも何も∈の定義は唯一無二。
>∈→∈' と書き換えると
>{}∈' {{}}∈' {{{}}}∈' {{{{}}}}∈' ・・・ と書ける
>ここで、∈' は 元の集合の記号から離れて 順序関係を表すんだよ
>{}∈' {{{}}} が、言える
>そう読み替えてくださいｗ ；ｐ）
省3
945(2): 01/01(水)19:50 ID:mZ2ntjQv(27/32) AAS
>>940
>そう読み替えてくださいｗ ；ｐ）
言わんこっちゃないｗ
>>922
>なお、∈の定義を変更して順序関係だと強弁するのもアウト！
>数学記号の定義を勝手に変えてはダメ
946(2): 01/01(水)20:55 ID:SnhQCod3(8/8) AAS
>>945
言いたいことはほぼ分かった
947(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/01(水)20:56 ID:2b7XvZNh(14/16) AAS
ふっふ、ほっほ
順番に行こうか ；ｐ）
>>944-945
∈→∈' と書き換える利点は、ZFCで出来るノイマン宇宙 ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
において
a1∈a2∈a3・・∈an∈an+1∈an+2・・のような列が構成できて
しかし、例えば an not∈ an+2のようなときにでも
常に、a1 ∈' a2 ∈' a3 ・・ ∈ 'an ∈ 'an+1 ∈ 'an+2 ・・
のように、（無限降下列を持たない）整列順序が構成できること
「無限降下列を持たない」は、基礎の公理で 保証されている
省13
948: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/01(水)21:02 ID:2b7XvZNh(15/16) AAS
>>946
ID:SnhQCod3 は、御大か
OTKゼミ ご指導ありがとうございます
>言いたいことはほぼ分かった
お互いの言い分が、
”ほぼ分かった”ってことですなｗ ；ｐ）
949(2): 01/01(水)21:31 ID:mZ2ntjQv(28/32) AAS
>>947
>そして、整列定理には、具体性はないだろうが、
>ある具体的な条件と組み合わせることは
>なんら制限されないってことだね
じゃあ実際に具体的な条件とやらと組み合わせて何か意味のあることを示してみて
その発言がただ口で言ってるだけの空虚な言葉じゃないなら
950: 01/01(水)21:34 ID:mZ2ntjQv(29/32) AAS
>>946
そんなしょーもないところが？
もっと他に分かるべきところがあるんじゃないの？
951(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/01(水)22:47 ID:2b7XvZNh(16/16) AAS
>>949
(引用開始)
>そして、整列定理には、具体性はないだろうが、
>ある具体的な条件と組み合わせることは
>なんら制限されないってことだね
じゃあ実際に具体的な条件とやらと組み合わせて何か意味のあることを示してみて
その発言がただ口で言ってるだけの空虚な言葉じゃないなら
(引用終り)
だから、この議論のそもそもの始まりの
{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
省15
952(1): 01/01(水)22:59 ID:mZ2ntjQv(30/32) AAS
>>951
言ってることがまったく意味不明
アンカ>>949打ってるのに>>949への回答にまったくなってないし
ゼロ点としか言い様がありません 点数あげようにもまったく意味不明なのであげ様が無い
953(1): 01/01(水)23:07 ID:mZ2ntjQv(31/32) AAS
>>951
>suc(a) := {a} と定義したならば
前者が後者に属すという定義なんだから
>{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
となるのはまったく当たり前で、それがなんだと言ってるの？ まったく意味不明
ε'なる未定義記号が出て来るし、なんで書き換えで順序数を表すのかもまったく意味不明
てか順序数とは何かを分かって言ってる？ 順序数を表すとはどういうこと？ まったく意味不明
954(1): 01/01(水)23:13 ID:mZ2ntjQv(32/32) AAS
ここまで意味不明なレス書けるって逆に凄い才能だね
∈'って何？ 順序数を表すって何？ 何がどうだったら順序数を表してることになるの？ もう勘弁して下さい
955(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/02(木)08:06 ID:Zl89R8aT(1/3) AAS
>>952-954
(引用開始)
>suc(a) := {a} と定義したならば
前者が後者に属すという定義なんだから
>{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
となるのはまったく当たり前で、それがなんだと言ってるの？ まったく意味不明
(引用終り)
ふっふ、ほっほ
1）”suc(a) := {a} と定義したならば”は、忘れて
いま、{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ 単独で考えたとき
省29
上下前次1-新書関写板覧索設栞歴
あと 47 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s