[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
109: 01/10(金)23:55:10.87 ID:PaB4QEGJ(15/15) AAS
なんで細切れにしないと書き込みできんのだ
ほんと５ちゃんってクソ
193(1): 01/12(日)19:22:09.87 ID:DHi6GF9m(4/5) AAS
>>192
基本に忠実に従って議論すれば
箱入り無数目の無限バージョンも成り立って
その勝つ確率は1であるといえる
322: 01/16(木)04:18:49.87 ID:q09NtzhZ(1/5) AAS
>>319
>『一つずつ元が減っていくという関係で
>（部分集合全体のなす集合）のある部分集合が、
>Xを最初の集合として、一列に並ぶ。
>このとき一つずつ減っていく元がfによって選ばれている
>という仕組み。』
>『fがあれば
省14
369(2): 01/18(土)08:27:48.87 ID:xY23/2ac(1/7) AAS
>可算整列可能定理
こんなバカ用語を使ってるのは日本中で一人しかいないって言ってるでしょ。
それに証明を読めば分かるが、集合Xを整列させるのに、集合2^Xの選択公理を用いている。
こんな根本的なことを見落としてるから、コピペ脳はダメだって言われてるんだが。
441(1): 01/19(日)14:48:32.87 ID:xK12QWtu(5/18) AAS
>>427
> 292の証明は、整列定理から作った特別な選択函数を用いれば成立する
> ということは分かりますかね？
なるほど X＝Nとして
∀Y⊂N.((Y≠{})⇒∀n∈Y.(f(Y)≦n))
Yにnより小さい元があればf(Y)<n
Yにnより小さい元がなければf(Y)=n
省10
474(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)16:01:00.87 ID:7RKCNKc8(2/6) AAS
つづき
４）さて 尾畑研 整列集合 定理13.14 より、順序同型 を 考えて
さらに 14.1順序型としての順序数 から 整列集合の順序型→順序数 を使うことを思いつくだろう（Jechのテキストにも書いてある）
もし、この ”整列集合の順序型→順序数”を使わないで、自力で順序を導入して ”整列順序”の「・・任意部分集合が最小元をもつ」を証明しよとすると、大変だろ
ここを処理するのが、一つは 上記 Jechの順序数との対応付け
もう一つが、ツォルンの補題を使うスジです（下記 尾畑研 13.3 整列可能定理 ご参照）
５）また、上記 Jech ”That we can do by induction, using a choicc fimction f for the family S of all nonempty subsets of A.”は
省29
724: 01/28(火)12:28:12.87 ID:SFFxcmct(6/28) AAS
> この関数は、選択公理で許される 選択関数である
いやいやｗ 選択関数を構成できるなら選択公理要らんやろｗ
選択公理は選択関数の存在を「許している」＝「禁止していない」のではなく「保証している」。
君、選択公理ぜんぜん分かってないね。
726(1): 01/28(火)12:28:41.87 ID:SFFxcmct(8/28) AAS
>aα=f(A-{aξ：ξ<α}) は P' 全体に広がる可能性がある
可能性は無い。
α>β ⇒ A-{aξ：ξ<α}⊂A-{aξ：ξ<β} ∧ A-{aξ：ξ<α}≠A-{aξ：ξ<β}
が成立っているから。
さすが大学1年4月に落ちこぼれただけのことはあるね こりゃ酷い
878: 01/31(金)09:02:41.87 ID:eaAKgyxV(1/2) AAS
>>877 論理が分かってないならね
948: 02/02(日)17:15:45.87 ID:f3BDXVWP(1) AAS
>>945
面白いというより
まさに奥行きがあって奥深い。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.063s