[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
89: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/10(金)12:24:11.72 ID:HEywEVY2(8/12) AAS
>>82 タイポ訂正
可算選択公理でさえ、R is a Lindel や in R, a point x is an accumulation point of a subset A iff there exists a sequence in A＼{x} that converges to x,
↓
可算選択公理でさえ、R is a Lindelöf や in R, a point x is an accumulation point of a subset A iff there exists a sequence in A＼{x} that converges to x,
106: 01/10(金)23:53:41.72 ID:PaB4QEGJ(12/15) AAS
>>102
>まず、先へ進もうねｗ ；ｐ）
根本的に分かってない君は先へは進めない
進みたかったらまず基本に戻って勉強し直そう
言っとくがコピペは勉強ではないよ
231: 01/13(月)15:40:39.72 ID:TxxvswZ2(9/15) AAS
>>222
Rの非可算性＝RとNとの一対一対応が存在しない という意味なら
対角線論法で証明でき、その場合、可算選択公理など全く必要ない
ただ
Rの非可算性＝RはNより大きい順序数と一対一対応する という意味なら
当然ながらRの整列可能性を主張するわけなので、例えば
Ｒの全ての部分集合からその中の要素１つを選ぶ選択関数の存在を認める
選択公理が必要である
（上記の関数があれば、Ｒから１つずつ要素を取り除くことによって
Ｒの整列を作ることが可能である
省1
262(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/14(火)12:21:36.72 ID:rO5NkXOo(2/3) AAS
>>260
ふっふ、ほっほ
>>15より
前スレより
rio2016.5ch.net/test/read.cgi/math/1724969804/973-983
>つまり(ZFCではなく)ZF上で実数は定義不可能と言いたいのですか？
アホは食言しているがｗ
その件は、『(ZFCではなく)ZF上で実数は定義不可能と言いたいのですか？』
と あるが これアホが言ったことで
いま、アホの二人を”公開処刑”中です！ｗ ；ｐ）
省18
301(3): 01/15(水)17:10:39.72 ID:l2ptd/jY(1) AAS
>>292
その証明、正しい？
どこにそれ載ってる？
398: 01/18(土)17:03:09.72 ID:6E7jiXBj(17/19) AAS
>>390
> 選択函数fがあっても、すべての値を使うのではなく、一部の値しか使われない。
> fのすべての値を使ってるわけではないが、fがあれば（整列できることが）すっきり示される。
> このご指摘の意味分ってないでしょ？
> ”Xの任意の空でない部分集合Y”は、やり過ぎ
> それだと、無駄に複雑にしているだけ
> 最小限として、”一列に並ぶ”、”一つずつ減っていく元”を実現するには、
> 選択関数を べき集合で 任意の空でない部分集合Y＝2^Xは、無駄に複雑にしているだけ
やっぱり阪大工学部卒は大学数学が全く分からん凡人だったか
ま、京大でも東工大でも東大でも工学部卒はこんなもんだけどな
省7
554: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/23(木)21:19:09.72 ID:y/IThbaj(5/6) AAS
>>553 タイポ訂正
それはとこかく、いま Jechの証明 の任意集合Aが、ある集合の濃度を持つとしよう（ZFC内ではね）
↓
それはともかく、いま Jechの証明 の任意集合Aが、ある集合の濃度を持つとしよう（ZFC内ではね）
668(2): 01/27(月)12:33:01.72 ID:cJ26k4mE(1/2) AAS
>>666-667
御託は並べなくていいよ
なんで656に書く時、下の二行削ったの？
それで必要な情報が全部抜けたんだけど おまえ●●？
"Let A be a set. To well-order A, it suffices to construct a transfinite one-to-one sequence （aα: α < θ) that enumerates A.
That we can do by induction, using a choice function f for the family S of all nonempty subsets of A."
717(1): 01/28(火)11:41:14.72 ID:6Ob7TBNE(1) AAS
>>710
> ”That we can do by induction, using a choice fiunction f for the family S of all nonempty subsets of A.”
> は、ヒントでしょ？
誤 fiunction
正 function
君は全く読まずにコピペするんだね どんだけいい加減な仕事してんだ
さて、上記の文章は君の誤りをズバリ指摘する答えでしょ
a choice function f for the family S of "all" nonempty subsets of A.
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s