[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ11 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
956(1): 01/02(木)09:38 ID:Tl/1XTBE(1/5) AAS
>>955
引用開始
1）”suc(a) := {a} と定義したならば”は、忘れて
いま、{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ 単独で考えたとき
この {}, {{}}, {{{}}}, {{{{}}}}, ・・・ という列を
整列順序 {}≤{{}}≤{{{}}}≤{{{{}}}}≤・・・ として解釈可能だということ
引用終了
間違い。
整列順序は二項関係。二項関係はどの集合上かが指定されて初めて意味を持つ。
尚、{ {},{{}},{{{}}},{{{{}}}},・・・ }:=X上の順序関係≧についてなら>>934に示した通り（君は示せなかったが）。
957(1): 01/02(木)09:39 ID:Tl/1XTBE(2/5) AAS
続き
> それは、二つの面から裏付けられる
> 一つは、整列可能定理（＝選択公理）で、整列可能定理と∈を組み合わせて
> 整列順序 {}≤{{}}≤{{{}}}≤{{{{}}}}≤・・・ が得られるということ
大間違い。
整列定理からはいかなる具体的な整列順序も出ない。もっぱら>>934で示した理由で整列順序であることが示される。
∈も間違い。∈は推移律を満たさないので順序関係たりえない。
958(1): 01/02(木)09:40 ID:Tl/1XTBE(3/5) AAS
続き
> もう一つは、∈ には 正則性公理で 無限降下列が存在しないことが保証されるってこと
整列順序自体が整礎。正則性公理とは関係無い。
そもそも∈と≦を混同してるのが基本中の基本中の基本から間違い。
959(1): 01/02(木)09:41 ID:Tl/1XTBE(4/5) AAS
続き
> 上記『{}∈{{{}}} は偽』とか、勝手な妄想」
> これは、下記の推移性の面からの批判として一理あるのだが
一理あるのではなく∈が順序関係でないことは完全な真
960(1): 01/02(木)09:41 ID:Tl/1XTBE(5/5) AAS
続き
> しかし、それは ∈→∈’（≤と等価）に書き換えて、改めて ∈’の順序関係として定義し直せば
無意味。≦でよいだけ。
> あなたの推移性の問題の指摘は、すぐに解消できるのです
> それ 自明でしょ？
> だから、『{}∈{{{}}} は偽』という 推移性の批判は、すぐに解消できる話で
> つまらん ヤクザの因縁だということｗ ；ｐ）
順序関係でない∈を順序関係だと強弁し、間違いを指摘されたら誤魔化してるだけ。解消したのではない。
それが気に入らないとヤクザの因縁？ それこそがヤクザの因縁
961: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/02(木)09:54 ID:Zl89R8aT(2/3) AAS
>>956-960
言いたいことは、それだけか？
寝言は聞いた
逝ってよし！！ｗｗｗ ；ｐ）
962(2): 01/02(木)10:35 ID:m+OftNCd(1) AAS
大事な所だけもう一度言う。
整列定理からは如何なる具体的整列順序も出ない。よって「整列定理を用いて」は大間違い。
それ以外はゴミのような間違いなので繰り返さない。
963: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/02(木)19:12 ID:Zl89R8aT(3/3) AAS
>>962
>大事な所だけもう一度言う。
>整列定理からは如何なる具体的整列順序も出ない。よって「整列定理を用いて」は大間違い。
整列定理については、下記 尾畑研究室 東北大
整列可能定理を音読してね
その上で、おれも言っておくが
・整列可能定理は、一階述語論理では選択公理と同値と言われる
・つまり、その本質は 整列可能”公理”である
・そもそも公理は、具体的な色がついていない
・具体的な色がついていないから、いろんな場面で万能に使えるってこと
省30
上下前次1-新書関写板覧索設栞歴
あと 39 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s