[過去ログ] 現代数学の系譜11 ガロア理論を読む34 [無断転載禁止]©2ch.net (686レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
247
(3): 2017/06/07(水)06:47 ID:2m0pPKpw(4/16) AAS
>>243
>箱の中の実数を当てて勝つための戦略は何か

もし、「同値類の代表元をどうやって具体的に取り出すか?」を
議論するつもりなら無駄

そこんとこは、選択公理に基づいて
「空でない各同値類からなんでもいいから一つ代表元を選べる」
といってるだけだから

逆に「当てられない」というんなら、
「代表元なんか選べない 選択公理は間違ってる」
ってことになるが、その場合、どうして当てられないか
省2
248
(3): 2017/06/07(水)07:12 ID:2m0pPKpw(5/16) AAS
スレッド主の考え方では有限列でも無限列でも”しっぽの同値類”は
「最後の桁が一致するかどうか」だけで決まるから記号の数がP個なら
同値類の数もP個、ということになる

しかし、実際には無限列の場合の尻尾の同値類は非可算無限個である

スレッド主の考え方では無限列の場合の決定番号の分布は
∞    (1−1/P)
∞−1 (1−1/P)(1/P)
∞−2 (1−1/P)(1/P)^2
・・・
∞−n (1−1/P)(1/P)^n
省4
249: 現代数学の系譜11 ガロア理論を読む 2017/06/07(水)07:29 ID:qnt5rUPR(1/25) AAS
sage
250
(4): 現代数学の系譜11 ガロア理論を読む 2017/06/07(水)07:29 ID:qnt5rUPR(2/25) AAS
>>244>>246
ID:2m0pPKpwさん、どうも。スレ主です。レスありがとう

>無限列でdが∞だったら、同じしっぽ持つわけないじゃん

>無限モデルでは最後のnがないんだがな
>まさか∞は最後の自然数とかいうんじゃないだろうな?
>スレッド主はペアノの公理を知らんのか?
>任意のnについて、nが自然数ならn+1も自然数だぞ
>測度論とかホザく暇があったら自然数論から勉強しろよな

まさにまさに、殆ど当たっているがおしいね
相似なんだよね、おれに言わせれば。無限のとらえ方などが
省7
251
(7): 現代数学の系譜11 ガロア理論を読む 2017/06/07(水)07:30 ID:qnt5rUPR(3/25) AAS
>>250 つづき

2.
さて、本題は>>226に書いた下記
「3.もうお分かりだろうが、nもいくらでも大きくなる。可算無限個の列なら、n→∞を考えると、決定番号が有限になる確率0*)
*)確率収束というのかな、よく分かりませんが(^^」

のところ、下記引用ご参照。現代数学の標準的な自然数の構成法だ
何を言いたいかと言えば、「任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する」を繰り返すことによって、”可算無限個の”自然数を構成しているんだ!!
だから、有限モデルから>>223の有限モデルから、一つずつ箱を増やして、”可算無限個の”箱のモデルに到達することは、なんの問題もないってこと

これが、現代数学の標準的な自然数の構成法だよと
だから、まさにまさに、殆ど当たっているがおしいねと
省18
252: 現代数学の系譜11 ガロア理論を読む 2017/06/07(水)07:42 ID:qnt5rUPR(4/25) AAS
>>251 訂正

だから、有限モデルから>>223の有限モデルから、一つずつ箱を増やして、”可算無限個の”箱のモデルに到達することは、なんの問題もないってこと
 ↓
だから、>>223の有限モデルから、一つずつ箱を増やして、”可算無限個の”箱のモデルに到達することは、なんの問題もないってこと
253
(10): 現代数学の系譜11 ガロア理論を読む 2017/06/07(水)07:46 ID:qnt5rUPR(5/25) AAS
>>247-248

ID:2m0pPKpwさん、どうも。スレ主です。レスありがとう。朝早いんだね
さて、>>250-251 ご参照

ああ、カキコが途中だったんだね
すまんかった(^^

>>247の選択公理の話は、>>139-140に書いてあるが、不遇な数学科卒さんの正式なレスを待っているんだ
なので、不遇な数学科卒さん以外のレスは、無視させてもらうよ!(^^

数学科卒なら、”数学の命題”として>>139の(命題A)と(命題B)とについての「成立 or 不成立」の表明と、もし成立するというなら、その証明(略証でも可)を示してほしいと
この要求は、ゆずらないよ!!^^
省3
254
(3): 2017/06/07(水)08:57 ID:DGBiGTbj(2/10) AAS
何かもはや+∞を選んで、残りの無限列の箱を開けて
それらの無限個の実数列の決定番号の中の最大値を書き下す
というようなことについて意味がある議論をするには、
もはや超準解析が必要になる気がしないでもないな。
超準解析でそのような議論が出来るかどうかは分からないが。

>>253
今日の ID:2m0pPKpw が書いた>>244-248のレスのうち、
スレ主宛てに書かれた>>244>>246>>248の中で、ID:2m0pPKpw は「スレッド主」という特徴的な書き方をしている。
スレ主が「不遇な数学科卒さん」と呼んでいる人も同じく「スレッド主」という特徴的な書き方をしていた。
記憶では、今までスレ主のことを「スレッド主」と書いた人を見たことはない。「スレッド主」と書く人は新参戦者だよ。
省2
255
(1): 2017/06/07(水)09:04 ID:DGBiGTbj(3/10) AAS
>>253
>>254の後半に書いたスレ主宛てのレス(下から2行目)の訂正:
当初チャンを否定 → 当初2チャンを否定
256
(1): 2017/06/07(水)09:11 ID:DGBiGTbj(4/10) AAS
>>253
あと、>>254の後半のスレ主宛てへのレスにおける「その人」は、
スレ主が「不遇な数学科卒さん」と呼んでいる人のことね。
257
(1): 2017/06/07(水)09:11 ID:o6/ezBKA(1) AAS
スレ主とおっちゃんは無駄な数学用語知ってるが内容が
全然伴ってないことが丸分かりなところがそっくりだ
258
(1): 2017/06/07(水)09:22 ID:DGBiGTbj(5/10) AAS
>>257
2チャンは気休めのつもりで書いている。
普段、6、7時間以上学習していると、没頭して集中して考えることや長い文章を書くことが
しばしばあって、脳ミソが疲れて来ることがあるんだよ。
何か頭の中がスッカラカンになったというか。そんな感じだよ。
259
(1): 2017/06/07(水)09:31 ID:DGBiGTbj(6/10) AAS
私にとっては、時枝記事なんか眼中にないんだ。
現在、普段していることとは関係がないからな。
260
(2): 現代数学の系譜11 ガロア理論を読む 2017/06/07(水)10:03 ID:qnt5rUPR(6/25) AAS
>>254-256>>258-259
おっちゃん、どうも、スレ主です。

>何かもはや+∞を選んで、残りの無限列の箱を開けて
>それらの無限個の実数列の決定番号の中の最大値を書き下す
>というようなことについて意味がある議論をするには、
>もはや超準解析が必要になる気がしないでもないな。
>超準解析でそのような議論が出来るかどうかは分からないが。

おっちゃんも、かなり時枝解法の理解が進んだね。ありがとう!(^^

>スレ主が「不遇な数学科卒さん」と呼んでいる人も同じく「スレッド主」という特徴的な書き方をしていた。

そうかもな〜。だが、欲しいのは厳密な確認だ!
省5
261
(1): 現代数学の系譜11 ガロア理論を読む 2017/06/07(水)10:36 ID:qnt5rUPR(7/25) AAS
>>250 自己レス
>本論の前に、>>221の「3.説明」で示したように、決定番号がiである場合の数と、決定番号がi+1である場合の数とは、その比1:10は分かるよね
>で、P進数を想定すれば、その比1:Pも良いよね
>ここ大事だから押さえておいてね。つまり、場合の数の計算で、決定番号が1増えるごとにP倍になると。また、決定番号の大きい場合の数が圧倒的に多いということも

下記引用は、一石(OneStone)ことID:1maZ/hoI氏の発言だが
「まさにまさに、殆ど当たっているがおしいね」と
可算無限なんだから、上記で「極限→∞を考えるべし」だよ

(引用)
スレ31 2chスレ:math
251 返信:132人目の素数さん[] 投稿日:2017/05/24(水) 06:49:52.84 ID:1maZ/hoI
省26
262
(1): 2017/06/07(水)10:47 ID:DGBiGTbj(7/10) AAS
>>260
数セミ自体購入して読んだことはなく、私にとっては普段していることと関係がなく、
時枝問題は考えるに値しない。そんな議論はするに値しない。
そんな問題を考えるなら、マトモな確率論を学習する方が効率がよくて価値があると思う。
図書館で読んだことはあるけど、1960〜80年代位の数セミはマトモでよかったね。
数学のテキストのように使える部分が比較的多くて面白かったよ。
エレガントな解答を求むの部分にもそういうところを感じたね。
263
(1): 2017/06/07(水)10:52 ID:s2hcleNl(1/2) AAS
無限ってやっぱり難しいんだね 材料工学のひとにはw
264
(3): 2017/06/07(水)11:00 ID:DGBiGTbj(8/10) AAS
>>263
私は工学系出身でも材料工学系でもないんだが。
工学の知識はチンプンカンプンだよ。
265
(1): 現代数学の系譜11 ガロア理論を読む 2017/06/07(水)11:18 ID:qnt5rUPR(8/25) AAS
>>262>>264
おっちゃん、どうも、スレ主です。

>図書館で読んだことはあるけど、1960〜80年代位の数セミはマトモでよかったね。

「1960〜80年代位の数セミはマトモ」というのは、うまくコメントできないが・・(後述)
私も、学生時代に、大学の図書館で、数セミは何冊も拾い読みしていた

社会人になっても、書店で目に付けば開いて見るよ。面白そうなら買いだね
時枝記事の号もたまたま買っていた。時枝記事は読んで無かった。大して面白そうじゃなかったからね

「1960〜80年代位の数セミはマトモ」というのは、思い返すと、21世紀の現代数学のレベル(山でいえば標高)と抽象度が上がっているのが一因だと思う
一方で、高校数学のレベルが下がっている気がする
省6
266
(3): 現代数学の系譜11 ガロア理論を読む 2017/06/07(水)11:37 ID:qnt5rUPR(9/25) AAS
>>264
おっちゃん、どうも、スレ主です。

>私は工学系出身でも材料工学系でもないんだが。
>工学の知識はチンプンカンプンだよ。

ああ、工学と言っても、別に難しいことではなく、”生活の知恵”と”社会常識 & 法律”と”現実的解を必要な時間内に出す”ということ
まあ、¥さんも学部は「最初工学部」とかどこかで語っていた気がするが・・

分かり易い例で言えば、建築工学で、建物を建てようすると、建築基準法を知っていなければならない
で、日本は地震国なので、耐震基準なるものがあって、それも必要だ。ここ ”社会常識 & 法律”
そこを、具体的にどう纏めるかは、”生活の知恵”

で、”現実的解を必要な時間内に出す”については、例えばある客が、どこかの駅前の広さxxx平米にビルを建てたいとなったときに、話を聞いて「じゃあ、こういうビルで、期間はこれだけで、費用はこれだけ」と提示する
省5
1-
あと 420 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.028s