[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
21(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/01(土)19:16 ID:lDxwqd7y(14/16) AAS
>>15 さらに補足
この説明で分るように
X から最初に選ぶ元
その残りから 次に選ぶ元
その残りから 次に選ぶ元
・
・
・
全部、任意で良い
Xの元を すきな順番に整列できる
省1
22(1): 02/01(土)19:43 ID:YIkJbYsl(8/11) AAS
>>21
>Xの元を すきな順番に整列できる
大間違い。
順番は選択関数で一意に定まる。
>X から最初に選ぶ元
>その残りから 次に選ぶ元
>その残りから 次に選ぶ元
> ・
> ・
> ・
省3
23(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/01(土)19:46 ID:lDxwqd7y(15/16) AAS
AA省
24: 02/01(土)20:01 ID:YIkJbYsl(9/11) AAS
>>23
足し算が分かった小学生みたいにはしゃぐなよ
25: 02/01(土)20:05 ID:YIkJbYsl(10/11) AAS
>>23
はしゃぎたい気持ちは分かるが>>17にはいつ答えるの？
これに答えないと分かったとは言えないぞ はしゃぐのはまだ早い
26(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/01(土)20:06 ID:lDxwqd7y(16/16) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”]
『 ZF上で実数は どこまで定義可能なのか？』の前に
Zornの補題 をやります ；ｐ）
まず、ここから
(参考)>>14より 再録
alg-d.com/math/ac/wo_z.html
alg-d 壱大整域
トップ > 数学 > 選択公理 > 整列可能定理とZornの補題
省13
27: 02/01(土)20:06 ID:YIkJbYsl(11/11) AAS
あと任意の選択関数ではダメな命題の例を早く答えてね
28(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/02(日)11:23 ID:5scbwZz/(1/12) AAS
AA省
29: 02/02(日)12:17 ID:7z4Dw9JT(1/18) AAS
AA省
30: 02/02(日)12:17 ID:7z4Dw9JT(2/18) AAS
>その後に残ったものに 整列可能定理を適用する
整列定理は整列順序の存在しか主張していない。「好きな順序で整列できる」は妄想。
>3）さて、上記2）で そもそも 整列可能定理とは
> 最後が空集合になるまで繰り返して良いとするものだった
整列定理の証明において元に対する順序数による附番aαを再帰的に定義している。
このaαの定義で選択関数を使っている。だからこの附番のしかたは選択関数で一意に定まる。
「勝手な附番を無限回繰り返して良い」は妄想。
31: 02/02(日)12:18 ID:7z4Dw9JT(3/18) AAS
> なので、整列可能定理における ”お好きなように”は、選択公理（選択関数）でも同じ
意味不明。なにその”お好きなように”って？
おまえは自分の主張すらまともに書けないのでエスパーすると as desired を誤読してるだけ。望み通り整列順序が得られるという意味だ。中学英語からやり直せ。
>余談だが、”Take your choice”（好きなものを取りなさい）goo辞書
>choice には、お好きなように という意味がある
「選択公理 axiom of choice：好き勝手に選択してよい」という連想ゲームは不成立。
君、連想ゲーム好きやね。だから間違える。
32: 02/02(日)12:18 ID:7z4Dw9JT(4/18) AAS
>なお、存在のみで 具体的でない場合も可
>例えば、実数Rの整列では、分るところのみを お好みにして、残りの 不明部分は 存在のみの公理任せも可！ｗ ；ｐ）
上に書いた通り無意味。
>＜反証＞
以上、なんの反証にもなっていない。残念！
33(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/02(日)12:26 ID:5scbwZz/(2/12) AAS
>>28
(引用開始)
>Xの元を すきな順番に整列できる
大間違い。
順番は選択関数で一意に定まる。
(引用終り)
典型的な、大学数学 オチコボレさんのパターンか？ ；ｐ）
下記ですね
下記の 謎の数学者氏 いま 阪大の数学科 准教授だが
彼のいう ＭＭ mathematical maturity 数学的成熟度 が、低いね
省51
34(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/02(日)12:50 ID:5scbwZz/(3/12) AAS
>>33補足
>>28
(引用開始)
>Xの元を すきな順番に整列できる
大間違い。
順番は選択関数で一意に定まる。
(引用終り)
赤 摂也 貼っておきます
『整列可能定理 とは, 次の命題のことに他ならない.
(W) いかなる集合も、その上に適当に関係≦を定義して,整列集合にすることが出来る』
省20
35: 02/02(日)13:04 ID:7z4Dw9JT(5/18) AAS
>>33
>彼のいう ＭＭ mathematical maturity 数学的成熟度 が、低いね
君の独善持論「好きな順序で整列できる」は間違いだから成熟度以前。
>”選択関数”の 理解が 上滑りだよ
君は上滑り以前に理解できていない。
>だから、箱入り無数目で 御大が 指摘する 数学の事項が
>全く理解できないんだよね、あなたは！ｗｗｗ
たった2ページの記事も読めない耄碌爺が何を指摘したと？
>誤解・無理解の選択公理（選択関数）で、ワーワー主張するけど、
>その殆どが、大外しだよｗｗ ；ｐ）
省2
36: 02/02(日)13:24 ID:7z4Dw9JT(6/18) AAS
>>34
>『整列可能定理 とは, 次の命題のことに他ならない.
>(W) いかなる集合も、その上に適当に関係≦を定義して,整列集合にすることが出来る』
>これで すきな順番に → 適当に関係≦を定義して
>と書き換えれば、赤 摂也の 整列可能定理になる
論理記号で書けば∀≦ではなく∃≦だから、その書き換えは大間違い。
∀と∃を取り違えるようでは大学一年の4月に落ちこぼれたのも当然の結果。
>”すきな順番に”が、不適当でない限り
>整列可能定理の射程内ですよ ；ｐ）
どんな順番が不適当なの？
37(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/02(日)18:25 ID:5scbwZz/(4/12) AAS
>>34 補足
下記の ツォルン（Zorn）の補題 → ツェルメロ（Zermelo）の整列定理の証明
ここでも、空集合以外の部分集合の順序構造を使う（詳しくは下記ご参照）
直感的には、>>15で示した 例示 ミニモデルで 集合X={a,b,c,d} で
冪集合 P(X)={ {a,b,c,d},
{a,b,c},{a,b,d},{a,c,d},{b,c,d}
{a,b},{a,c},{b,c}, {a,b},{a,d},{b,d}, {a,c},{a,d},{c,d}, {b,c},{b,d},{c,d},
{a},{b},{c,},{d},
∅ }
これで 包含関係 で 順序が入る
省43
38: 02/02(日)18:42 ID:7z4Dw9JT(7/18) AAS
コピペが趣味なんですか？ 楽しいですか？
39(1): 02/02(日)19:10 ID:eC5TmypE(1/2) AAS
2chｽﾚ:math
>>21
>Xの元を すきな順番に整列できる
P(X)-{φ}からその要素を選択する選択関数をどう決めるか次第でね
ただ選択関数を決めてしまったら順番は一意だけど
>>33
>>順番は選択関数で一意に定まる。
> 典型的な、大学数学 オチコボレさんか？
◆yH25M02vWFhP がな
まさか自分が大学数学理解できてるとうぬぼれてる？
40(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/02(日)19:15 ID:5scbwZz/(5/12) AAS
>>37
ふっふ、ほっほ
コピペ は、シールド 盾
突っかかるやつへの対抗ですよｗ ；ｐ）
特に、大学のテキストPDFのシールドに たまに突っ込む人ありｗ
岩に突撃するが如しｗｗ
たまに 大学教授で、講義で選択公理を教えていたと宣う人に
楯突くとか・・も、完全に倒錯ですねｗ ；ｐ）
外部ﾘﾝｸ:ja.wikipedia.org
シールド
省2
上下前次1-新書関写板覧索設栞歴
あと 962 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s