[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
89: １３２人目の素数さん [] 02/03(月)15:00 ID:oyw47Vnz(8/15)
認知症？
90: １３２人目の素数さん [] 02/03(月)15:03 ID:HcxbjtX3(2/5)
当然
91: １３２人目の素数さん [] 02/03(月)17:34 ID:HcxbjtX3(3/5)
>>87
そうかも
92: １３２人目の素数さん [] 02/03(月)17:34 ID:HcxbjtX3(4/5)
>>87
そうかも
93(2): １３２人目の素数さん [] 02/03(月)17:57 ID:Kqr4zqHs(4/4)
>>80 補足
(引用開始)
選択関数ｆが
f({a,b,c,d})=c
f({a,b,d})=d
f({a,b})=b
f({a})=a
なら、整列はc<d<b<a となる
で、他のP(X)-{φ}でのfの値をどう設定しても整列に影響しないが、もし
f({a,b,c,d})=a
とすると、今度はf({b,c,d})の値が必要となる さらに
f({b,c,d})=b
とすると、f({c,d})の値が必要となり、
f({c,d})＝c
とすると、f({d})＝dだから、整列はa<b<c<dとなる
要するにそういうこと これは別にXが無限でも同じ
(引用終り)
それでいいんだよ
そして、いま
集合Xに対する 選択関数fは
可算無限 X={x0,x1,x2,・・} ならば、f(X)＝xi | i∈N
（xiは、可算無限集合Xから一つ選ばれる）
連続無限 X={xt ｜tは実数で t∈[0,∞]} ならば、f(X)＝xt | t∈R
（xtは、連続無限集合Xから一つ選ばれる）
となる
そして、なにをどう選ぶか？
そのとき、その人次第なのです
94: １３２人目の素数さん [] 02/03(月)18:08 ID:oyw47Vnz(9/15)
>>93
>そして、なにをどう選ぶか？
>そのとき、その人次第なのです
まだ分かってなくて草
あったま悪いのうこのサルは
95(1): １３２人目の素数さん [] 02/03(月)18:15 ID:oyw47Vnz(10/15)
>>93
>そして、なにをどう選ぶか？
>そのとき、その人次第なのです
選択公理を仮定しても選択関数が存在することしか言えないのに何をどう選ぶと？
君、選択公理すら分かってないんだね なんでそんなに馬鹿自慢したいの？
96(2): １３２人目の素数さん [] 02/03(月)18:18 ID:oyw47Vnz(11/15)
選択公理は自由に選択できる公理とでも？
数学は連想ゲームじゃないよ
97(1): １３２人目の素数さん [] 02/03(月)18:29 ID:HcxbjtX3(5/5)
わからない
98: １３２人目の素数さん [] 02/03(月)19:33 ID:RHKFtm92(9/12)
>>96
>選択公理は自由に選択できる公理とでも？
確かに人がすべての値を自由に指定できるなら、そもそも選択公理はいらないな
その意味で「なにをどう選ぶか？そのとき、その人次第なのです」は嘘っぱちだな
99: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/03(月)20:51 ID:KN6t4rnq(1/3)
>>83 追加
下記も知っておく方が良い
特に
1.任意の集合は整列可能．
↓
2.任意の全順序集合は整列可能．
↓
3.集合 X が整列可能ならば冪集合 P(X) も整列可能．
これ、Jechの証明は、冪集合 P(X)を利用して 集合 Xの整列可能をしている
一見その逆の主張だね、面白い ；ｐ）
(参考)
alg-d.com/math/ac/wot.html
alg-d 壱大整域
選択公理 > 整列可能定理について
2012年08月05日
定理4 次の命題は同値
1.任意の集合は整列可能．
2.任意の全順序集合は整列可能．
3.集合 X が整列可能ならば冪集合 P(X) も整列可能．
4.順序数αに対して P(α) も整列可能．
証明 (1⇒2) 自明
(2⇒3) (X, ≦)を整列順序集合とする． P(X) に二項関係 < を
A<B ⇔ ある a∈A＼B が存在して任意の b∈B＼A に対して a<b
で定める．これによって P(α) が全順序集合になることを確かめる．
(i) ¬A<A について．
A＼A= ∅ なので明らか
(ii) A<B ⇒ ¬B<A について．
A<Bとすると < の定義より，あるa0∈A＼Bが存在して「任意の b∈B＼A に対して a0<b 」となる．よって明らかに ¬B<A である．
(iii) A<B または A=B または B<A について．
A≠B とすると，X は整列順序集合だから a := min( (A＼B)∪(B＼A) ) が存在する．勿論 a∈A または a∈B であるが，明らかに a∈A ならば A < Bで，a∈B ならば B < A である．
(iv) (A<B かつ B<C) ⇒ A<C について．
¬A<C と仮定する．A=C だとすると A<BかつB<A となり(ii)に反するので A≠B である．故に(iii)から C<A である．A<B, B<C, C<A より
(1) 任意の b∈B＼A に対して a0 < b
(2) 任意の c∈C＼B に対して b0 < c
(3) 任意の a∈A＼C に対して c0 < a
を満たすa0∈A＼B, b0∈B＼C, c0∈C＼Aが存在する．a0∈A＼Cである．
∵ a0 ∉ A＼C と仮定する．即ちa0∈Ac∪Cである．a0∈A＼Bだったから a0 ∈ (Ac∪C)∪(A＼B) = A∪C＼B ⊂ C＼B である．よって(2)により b0 < a0．従って(1)から b0 ∉ B＼A でなければならない．すると同様の議論を繰り返して a0 < c0 < b0 < a0 が導かれ，矛盾．
同様にしてb0∈B＼A, c0∈C＼Bである．従って(1)(2)(3)から a0 < b0 < c0 < a0 となり，矛盾する．
以上より(P(X), <)は全順序集合である．よって，仮定より整列可能である．
(3⇒4) 明らか．
以下略す
100(2): １３２人目の素数さん [] 02/03(月)20:58 ID:oyw47Vnz(12/15)
治らないコピペ癖
101(1): １３２人目の素数さん [] 02/03(月)20:59 ID:pX4W9Cg1(4/4)
ほっとけ
102(1): １３２人目の素数さん [] 02/03(月)21:05 ID:RHKFtm92(10/12)
>>100
他人に対して知ったかぶりたいが、自慢できることはなんも知らないので
せっせと検索して得た結果を自分が考えたような顔してコピペ
でも突っ込まれると実数の連続性も正則行列も選択公理も全然わかってない
どの分野も初歩でアウト スリーアウトチェンジ
103: １３２人目の素数さん [sage] 02/03(月)21:10 ID:MxrKZVM9(1)
選鉱すらできてない冶金学
104(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/03(月)21:38 ID:KN6t4rnq(2/3)
>>95-97
(引用開始)
>そして、なにをどう選ぶか？
>そのとき、その人次第なのです
選択公理を仮定しても選択関数が存在することしか言えないのに何をどう選ぶと？
君、選択公理すら分かってないんだね なんでそんなに馬鹿自慢したいの？
選択公理は自由に選択できる公理とでも？
数学は連想ゲームじゃないよ
わからない by ID:HcxbjtX3
(引用終り)
ID:HcxbjtX3は、御大か
巡回ご苦労さまです
さすがですね
というか、当然ですが
数学で、存在定理（または公理。以下 定理のみで略記する）とは 存在を保証する定理ですが
そこに、人の意志が入る場合と 入らない場合と 両方が可能なのです（当たり前ですが、存在定理は人の意志を拒否しない）
あるいは、特別な場合に 具体的な構成を示すとか
それは、数学のレベルが上がれば分ること
しかし、大学学部1年か2年で詰んで、レベルの高い数学を知らない人には、それが分らないのですね
en.wikipedia.org/wiki/Existence_theorem
Existence theorem
ja.wikipedia.org/wiki/%E5%AD%98%E5%9C%A8%E5%AE%9A%E7%90%86
存在定理
何らかの数学的対象の存在をいう定理の総称。定理の内容や証明において、対象の具体的な構成方法は必ずしも示されない。
ja.wikipedia.org/w/index.php?search=intitle%3A%E5%AD%98%E5%9C%A8%E5%AE%9A%E7%90%86&title=%E7%89%B9%E5%88%A5:%E6%A4%9C%E7%B4%A2&ns0=1
タイトルに「存在定理」を含むページの一覧
高木の存在定理
カラテオドリの存在定理
105: １３２人目の素数さん [] 02/03(月)21:42 ID:RHKFtm92(11/12)
＞大学学部1年か2年で詰んで、レベルの高い数学を知らない人
それ現代数学の系譜 雑談 ◆yH25M02vWFhP
工学部卒の●●が人間面すんなよ
106: １３２人目の素数さん [] 02/03(月)21:47 ID:oyw47Vnz(13/15)
>>104
ポエムはポエム板でどうぞ
107: １３２人目の素数さん [] 02/03(月)21:50 ID:RHKFtm92(12/12)
現代数学の系譜 雑談 ◆yH25M02vWFhP は
現代数学への入門 から やりなおせ
https://ja.wikipedia.org/wiki/%E5%B2%A9%E6%B3%A2%E8%AC%9B%E5%BA%A7_%E7%8F%BE%E4%BB%A3%E6%95%B0%E5%AD%A6%E3%81%B8%E3%81%AE%E5%85%A5%E9%96%80
108(1): １３２人目の素数さん [] 02/03(月)22:47 ID:oyw47Vnz(14/15)
うん、人の意思があーとか言う前に∀と∃の違いからやり直すべき
上下前次1-新書関写板覧索設栞歴
あと 894 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s