現代数学の系譜古典ガロア理論を読む35 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜古典ガロア理論を読む35 [無断転載禁止]©2ch.net (667ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

87(6): 現代数学の系譜古典ガロア理論を読む 2017/06/21(水)21:19 ID:jkQw9XXq(3/5) AAS
>>84-86
ID:17miKOtAさん、ID:4pLWwsgZさん、どうも。スレ主です。
お二人に質問を返して悪いですが、下記如何でしょうか。ここらをはっきりさせて議論する方が、話が早いと思いますので。
　　　記
１．時枝記事の設定>>12は、”箱が「可算無限個」”だと。これはいいですね
　　で、先頭の箱から１から始まる自然数の番号を振ることができる。これもいいですね
　　1,・・・,ｎ,・・・とします。
　　質問は、nの取り得る範囲です。これは、”1<= n <∞、即ち、区間で書けば[1,∞)の間の自然数”だと
　　Y or N
２．現代数学の標準的な自然数の構成法、例えば、ジョン・フォン・ノイマンによる構成法はご存知ですか？
省3

88(3): 現代数学の系譜古典ガロア理論を読む 2017/06/21(水)21:21 ID:jkQw9XXq(4/5) AAS
>>87 つづき
追伸
現代数学の標準的な自然数の構成法を、前スレでも紹介したので、下記引用します。
2chｽﾚ:math
251 返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/06/07(水) 07:30:20.38 ID:qnt5rUPR [3/25]
(抜粋)
下記引用ご参照。現代数学の標準的な自然数の構成法だ
何を言いたいかと言えば、「任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する」を繰り返すことによって、”可算無限個の”自然数を構成しているんだ！！
だから、有限モデルから>>223の有限モデルから、一つずつ箱を増やして、”可算無限個の”箱のモデルに到達することは、なんらの問題もないってこと

これが、現代数学の標準的な自然数の構成法だと
省19

89: 現代数学の系譜古典ガロア理論を読む 2017/06/21(水)21:22 ID:jkQw9XXq(5/5) AAS
>>83
ID:pOgGfbevさん、どうも。スレ主です。
ワッチョイ（下記参照）
!extend:on:vvvvvv:1000:512
!extend:on:vvvvvv:1000:512
を付けてトライしましたが、なんどかやって、はじかれて、それで無しにしました。

数学板で、ワッチョイを付けているスレがあまりないので、板設定と相性が悪いのかも。
あるいは、多分やり方が悪い可能性もあり、また、他のトラブルもあり、数日新スレ立てができませんでした。
なお、次のスレ立てでは、ワッチョイを再トライします（＾＾

（参考）
省2

90(2): 2017/06/21(水)21:32 ID:17miKOtA(6/6) AAS
>>87
＞（無限公理により）無限に到達しますよ。
無限公理は∞が自然数だと主張する公理ではありませんよ

>>1(ID:jkQw9XXq)に質問致します

「nの取り得る範囲が1<= n <∞である場合
　nが∞になる確率P(∞)は存在せず、
　したがってその値が１になることもない」

この単純(simple)かつ素朴(naive,innocent)な事実が理解できますか？

Y or N

91(3): 2017/06/21(水)22:26 ID:4pLWwsgZ(3/3) AAS
>>87
そのあたりのことは
2chｽﾚ:math
2chｽﾚ:math
に既に書いた

2chｽﾚ:math
ちなみに過去のスレ主の解答は(決定番号を求めるための)無限数列の構成には(可算)選択公理を使うだったから
無限数列に対する決定番号は数学的帰納法(ペアノの公理)では求められないとスレ主は自分で書いているわけだ

92(4): 2017/06/22(木)06:22 ID:su9ryMmm(1/6) AAS
>>91
>(決定番号を求めるための)無限数列(=代表元?)
>の構成には(可算)選択公理を使う
正しくは非可算選択公理　
なぜなら同値類の数が非可算個だから
各同値類の要素数は無関係

93(3): 2017/06/22(木)06:32 ID:su9ryMmm(2/6) AAS
「全部の項が0の無限数列」と
「ｎ番目までの項が1で、その後の全部の項が0の無限数列」は
　同値　

だが
「全部の項が0の無限数列」と
「全部の項が1の無限数列」は
同値でない

ついでにいうと
・無限数列には”最後の項”はない
　”最後の自然数”というものはないから
省3

94(2): 2017/06/22(木)06:51 ID:su9ryMmm(3/6) AAS
「全部の項が0の無限数列を、列の頭から順々に１に置き換えて
　ｎ番目までの項が1で、その後の全部の項が0の無限数列をつくっていけば、
　最後には全部の項が1の無限数列になる」
と心の底から思い込んでる文系の方も多々いらっしゃるとのことですが
そんなことは数学では全然認めてませんよ

95(2): 現代数学の系譜古典ガロア理論を読む 2017/06/22(木)11:48 ID:MHGinDmi(1/20) AAS
>>90-94
みなさん、どうも。スレ主です。

昨日のID:17miKOtAさん＝今日の ID:su9ryMmmさんと見ると
昨日のID:4pLWwsgZさんと
計２人かな？

えーと、こちらの質問>>87は都合が悪いのでスルーですか？　まあ、良いでしょう。また、後でやりましょう

つづく

96(3): 現代数学の系譜古典ガロア理論を読む 2017/06/22(木)11:52 ID:MHGinDmi(2/20) AAS
>>95 つづき
それでは、順番に行きましょうか

>>90
Q1
・”無限公理は∞が自然数だと主張する公理ではありませんよ”
A1
・無限公理は現代数学において、可算無限集合である自然数の集合を構成するための公理ですね
（下記および>>88のジョン・フォン・ノイマンの構成法ご参照）
外部ﾘﾝｸ:ja.wikipedia.org
公理的集合論
省17

97(1): 現代数学の系譜古典ガロア理論を読む 2017/06/22(木)11:54 ID:MHGinDmi(3/20) AAS
>>96 つづき

>>91
Q
・前段は主張がよく分からないので、無視させて貰って、下記後段
>2chｽﾚ:math
>ちなみに過去のスレ主の解答は(決定番号を求めるための)無限数列の構成には(可算)選択公理を使うだったから
>無限数列に対する決定番号は数学的帰納法(ペアノの公理)では求められないとスレ主は自分で書いているわけだ

A
・「無限数列に対する決定番号は数学的帰納法(ペアノの公理)では求められないとスレ主は自分で書いている」と言われますが、読み違いでは？
私は、2chｽﾚ:math の引用の中で、肯定（できる）の言葉しか使っていない。（決定番号は）”求められない”と読んだのは、貴方の読み違いでは？
省1

98(6): 現代数学の系譜古典ガロア理論を読む 2017/06/22(木)11:58 ID:MHGinDmi(4/20) AAS
>>97 つづき

>>92
Q
・>正しくは非可算選択公理　なぜなら同値類の数が非可算個だから
A
・ああ、そうかも知れないですね。ほぼ同意です。

>>93
Q
・”また「∞番目までの項が1で、その後の全部の項が0の無限数列」もない
　０＜∞　で、自然数ｎについて　ｎ＜∞ならばｎ＋１＜∞になるような
省26

99(2): 現代数学の系譜古典ガロア理論を読む 2017/06/22(木)12:02 ID:MHGinDmi(5/20) AAS
>>98 つづき

>>94
Q
・”「全部の項が0の無限数列を、列の頭から順々に１に置き換えて
　ｎ番目までの項が1で、その後の全部の項が0の無限数列をつくっていけば、
　最後には全部の項が1の無限数列になる」
と心の底から思い込んでる文系の方も多々いらっしゃるとのことですが
そんなことは数学では全然認めてませんよ”
A
・単純な話で、ペアノの公理（下記）から、任意の自然数 a にはその後者a + 1が存在する
省8

100: 2017/06/22(木)12:03 ID:vUjvl9dU(1/3) AAS
大学一年の数学すら理解してない馬鹿が拡張実数だのを聞きかじって醜態を晒すの図

101: 2017/06/22(木)12:09 ID:vUjvl9dU(2/3) AAS
決定番号は任意の自然数を取ることができます
から
決定番号は∞を取ることができます
に何故か飛躍する馬鹿

102: 現代数学の系譜古典ガロア理論を読む 2017/06/22(木)12:32 ID:MHGinDmi(6/20) AAS
>>96 訂正

・ええ、理解できますよ。Yです。
　↓
・ええ、理解できますよ。”はい”です。

補足
否定文
「nの取り得る範囲が1<= n <∞である場合
　nが∞になる確率P(∞)は存在せず、
　したがってその値が１になることもない」
に対して、日本語で、”はい”＝”同意”という意味です。
省1

103: 2017/06/22(木)13:50 ID:ojwLeay5(1) AAS
運営のバカタレ

104(2): 2017/06/22(木)14:46 ID:q10HGmSZ(1/6) AAS
おっちゃんです。
あ～、腰が痛くなって来た。腰がツーンだ。文机の上で書くのは腰に来るね。
気休めにここに書きましょう。
まだやってたのか。
スレ主にはコピペが一番。これからもドシドシコピペやってくれ。
取り敢えず、腰痛対策のコピペよろしく。 ◎
Rock54: Caution(BBR-MD5:0f403478eb164e360cc51f287148ded6)

105(1): 2017/06/22(木)14:50 ID:q10HGmSZ(2/6) AAS
知らないうちに
> ◎
>Rock54: Caution(BBR-MD5:0f403478eb164e360cc51f287148ded6)
が付いていたけど、これって何だ。

106(1): 2017/06/22(木)14:52 ID:q10HGmSZ(3/6) AAS
たまたまなのか。

上下前次 1-新書関写板覧索設栞歴

あと 561 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.021s