ガロア第一論文と乗数イデアル他関連資料スレ12 (901ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
149: 01/12(日)09:11 ID:F+I6x7M1(1/26) AAS
雑談くんは背理法の勉強からやり直した方が良い
背理法も分からないんじゃ大学数学なんてとてもじゃないが無理だから
コピペなんてしてる場合じゃないぞ
150: 01/12(日)09:17 ID:F+I6x7M1(2/26) AAS
なんで否定すべき背理法の仮定を証明する必要があるんだ
しかも否定されるんだから証明不可能なのに
君、滅茶苦茶だよ 自覚した方が良いよ
151(1): 01/12(日)09:23 ID:F+I6x7M1(3/26) AAS
コピペはやめた方が良いぞ
勉強しないことの言い訳におまえの中でなってるから
157: 01/12(日)09:54 ID:F+I6x7M1(4/26) AAS
>>152
>ダメでしょｗ
>集合族が可算集合だからといって、
>集合族に属する各々の集合が可算集合とは限らんのだから
ですね。
集合族Xに属する各々の集合にもし最小元が存在すれば選択関数をφ(x)=min(x)で定義すれば良いが、
可算の整列可能定理を仮定しただけでは最小元の存在は言えないね。∀x∈Xが可算でない限り。
159: 01/12(日)10:06 ID:F+I6x7M1(5/26) AAS
雑談くん、性懲りも無くまたコピペを繰り返す
いくらコピペしても背理法すら理解できないんだから無駄なのに
>赤ペン入れると
雑談くんは赤ペンじゃ済まない 根本的に分かってないから
165: 01/12(日)11:07 ID:F+I6x7M1(6/26) AAS
>>164
負け惜しみ乙
「ZFで実数は存在しない」は間違い。言い訳無用。
そもそも
>有理コーシー列は出来てもそこで詰む
が意味不明過ぎてなんの言明にもなっていない
168(1): 01/12(日)12:14 ID:F+I6x7M1(7/26) AAS
>>167
>・よって、 任意可算集合の整列可能については、可算選択公理を認めるべし
不要。
xが可算であるとは、Nからxへの全単射fが存在するということ。
x上の二項関係≦を、f(0)≦f(1)≦f(2)≦・・・と定義すれば、≦は整列順序。
証明：Nは通常の大小関係で整列集合だから、xの任意の空でない部分集合yの最小元 f(min(f^(-1)(y))) が存在する。
169: 01/12(日)12:26 ID:F+I6x7M1(8/26) AAS
>>167
>・可算選択公理を認めると、任意可算集合については
> 濃度比較が可能だろう
任意可算集合は定義から自明に同濃度ですが？
170: 01/12(日)12:34 ID:F+I6x7M1(9/26) AAS
雑談くん、相変わらず何も分かってないね
分からないなら黙ってれば？ わざわざ馬鹿自慢しなくていいよ
172: 01/12(日)12:42 ID:F+I6x7M1(10/26) AAS
馬鹿が何か言ってる
174(1): 01/12(日)13:00 ID:F+I6x7M1(11/26) AAS
空でない任意の集合xのべき集合に選択公理を適用すれば、xの任意の空でない部分集合をその代表元に対応させる写像fが存在する。
x上の二項関係≦を f(x)≦f(x-{f(x)})≦f(x-{f(x),f(x-{f(x)})})≦・・・ で定義すれば≦は整列順序。
ここで写像fは具体的でないので≦も具体的でない。すなわち整列定理からはいかなる具体的整列順序も出てこない。
雑談くんには理解できないだろうなぁ（遠い目）
175(1): 01/12(日)13:08 ID:F+I6x7M1(12/26) AAS
>>173
>この 対角要素を構成する具体的な列 が、どうか？
>が問題となる
ならない
T値列は任意でよいから
>そこで、可算選択公理の出番なのよ
不要
Tが可算という仮定だけでT値列の存在が言えるから
雑談くんは自分が正しいという思い込みが強い
問題はその思い込みには何の根拠も無いこと
177(3): 01/12(日)13:40 ID:F+I6x7M1(13/26) AAS
>>176
>これが 理解できていれば、選択関数は
>整列可能定理の 関係R の構成を通じて 具体化可能だ！と
じゃあ実数の整列順序を構成してみて
整列可能定理でできるんでしょ？ よろぴくー
179(1): 01/12(日)13:57 ID:F+I6x7M1(14/26) AAS
>>178
>”T値列は任意でよい”は、言えない
じゃあ Tの元すべてを含む任意のT値列でよい に訂正。
任意でよいんだから
>この 対角要素を構成する具体的な列 が、どうか？
>が問題となる
は間違い 理解できる？
181: 01/12(日)15:11 ID:F+I6x7M1(15/26) AAS
さて雑談くんは実数の整列順序を構成できるでしょうか
できないにグラハム数ペソ
182: 01/12(日)16:06 ID:F+I6x7M1(16/26) AAS
雑談くんは実数の整列順序の構成を考える前に背理法の勉強した方がいいよ
前者はフィールズ賞メダリストでも無理だが後者なら高校生でもできるから
187: 01/12(日)18:57 ID:F+I6x7M1(17/26) AAS
>>184
>対角線論法のために ある整列（もどき）を構成したときに
構成不要。Nとの間に全単射があることが対角線論法の仮定だから。
>それが、果たして 自然数Nと 集合T との全単射が できるかどうか の証明が求められるのです
証明不要。Nとの間に全単射があることが対角線論法の仮定だから。
まだ分かってなくて草
190(1): 01/12(日)19:10 ID:F+I6x7M1(18/26) AAS
>>184
NからTへの全単射fがあることが対角線論法の仮定。
仮定によりTの元を余すことなく f(0),f(1),・・・ と並べられる。
仮定は証明不要。
背理法の仮定は偽だから証明不可能。
なんか難しいことある？ なんで分からないかが分からない
195: 01/12(日)19:31 ID:F+I6x7M1(19/26) AAS
>>193
出題列を無限本に分ければ勝率1にできると？
大間違い。
Dの存在が言えないから戦略不成立。
197(1): 01/12(日)20:15 ID:F+I6x7M1(20/26) AAS
>>196
>この s1,s2,s3 ・・・が
>f(0),f(1),・・・ に該当するか 否かの保証がないでしょ？ｗ
保証が必要な理由は？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.504s*