[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む29 [無断転載禁止]©2ch.net (548ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
92(1): 現代数学の系譜11 ガロア理論を読む 2017/01/22(日)16:11 ID:aSVenMI/(27/29) AAS
>>90
> 90個近くしかないのに、もう新スレ立てるのか？
いや、準備だよ
いま書いておかないと、また直し忘れて、そのままになりそうだからね
>>88 のようなことをしておくと、覚えている確率が上がっているとおもう
93(2): 現代数学の系譜11 ガロア理論を読む 2017/01/22(日)16:16 ID:aSVenMI/(28/29) AAS
>>89
>>44 「この結果から、xが正の超越数のときは、f(x)＝x^x x＞0 が有理数となることがある。」
y=f(x)＝x^x x＞0 が、y有理数の場合があるってことね
あまり証明を追う気が無いけど
まあ、そういう場合もあるかもね
94(2): 現代数学の系譜11 ガロア理論を読む 2017/01/22(日)16:36 ID:aSVenMI/(29/29) AAS
>>91
>問題にしているのは上の無限数列の?にどうやって具体的な数字を入れるかということ
選択公理と選択関数で可能だろ？それ（”無限数列の?にどうやって具体的な数字を入れる”）を可能にするのが選択公理と選択関数で、 よく勉強してね
>√2の小数表示の全ての数字をそのような方法でスレ主は指定できるの？
できる！ そのための選択公理だよ。この場合、可算選択公理で可だろうが
級数展開でパソコンで計算できるよ （下記）
そして、必要な桁まで、時間さえあれば
それを数理的には無限に可能とする
省10
95(2): 2017/01/22(日)16:43 ID:sQU/mf/o(8/9) AAS
>>92
あっそう。まあ、いいけど。
>>93
任意の整数は有理数な。
じゃ、おっちゃん寝る。
96(1): 2017/01/22(日)16:51 ID:sQU/mf/o(9/9) AAS
>>93
おっと、書き忘れたが、
>>95で書いた>>93へのレスの文は、標数0のときのことね。
標数0で考えたとき、任意の整数は有理数。
有理数や実数は標数0で考えることになる。
じゃ、おっちゃん寝る。
97(2): 2017/01/22(日)22:08 ID:zru0gIau(4/4) AAS
>>94
2chｽﾚ:math
> Sergiu Hart氏>>47のgame2においては、選択公理を使わないバージョンだから
>>51
> 箱に入れるのは0から9までの自然数であると限定して無限数列(a1, a2, ... , ak, 0, 0, ... )
> を考えるとすると数当てはk+1番目以降の0を当てることになる
> この場合上の無限数列と有限小数0.a1a2 ... akを対応づけることができる
これはgame2をさらに限定した数当てを考えていることになる
2chｽﾚ:math
> Sergiu Hart氏>>47のgame2（循環小数モデル 選択公理不要版） ＜＜ Sergiu Hart氏game1 (可算無限 箱に任意の実数 最初に問題の数列並べておく）
省1
98(2): 2017/01/24(火)20:52 ID:gToWkypi(1) AAS
>>94
スレ主は問題点を見落としていそうなので補足すると
>>22
> (2) のステップは不要だろ
2chｽﾚ:math
> Ａ２ (2) のステップは不要だろ。(1) で、a1, a2, ... , ak, (空), (空), ... , (空), ... で、akを数列のしっぽと定義して、有限数列の長さkの同値類分類をすることだけで完結できる
> それでこそ、”有限の極限を介して無限を扱う”を貫徹していることになる
(たとえば√2の小数表示の)全ての数字をまるごと指定するしか方法がないのならスレ主が書いた方法で
極限をとることはできないので時枝戦略が不成立であるというスレ主の主張は成り立たないですよ
>>97のgame2の限定版でシッポの0の数当てが失敗するのはスレ主の主張ではたとえば√2の小数表示を
省5
99: 現代数学の系譜11 ガロア理論を読む 2017/01/27(金)23:23 ID:FA9/2xU8(1/3) AAS
>>95-96
おっちゃん、ご苦労さん
100(1): 現代数学の系譜11 ガロア理論を読む 2017/01/27(金)23:36 ID:FA9/2xU8(2/3) AAS
>>97-98
おいおい、選択公理の変種があるぜ。わかってないね（下記）
選択公理は１種類じゃない
早く、（文系）High level people は、28へ行けよ
うんざりだ
外部ﾘﾝｸ:ja.wikipedia.org
選択公理の変種
選択公理には様々な変種が存在する。
可算選択公理
詳細は「可算選択公理」を参照
省8
101: 現代数学の系譜11 ガロア理論を読む 2017/01/27(金)23:38 ID:FA9/2xU8(3/3) AAS
なお、しばらく忙しいので、適当に流すよ
102(2): 2017/01/28(土)02:01 ID:EwkKBBRb(1/4) AAS
>>100
シッポが0である数列のみを出題して決定番号を用いて0を当てる場合に
可算選択公理でもシッポが0でない√2の小数表示の全ての数字をまるごと出題は
数当てのルール上できないですよ
スレ主は極限をとることでシッポが0である(２つの数列が同値である)として数当て戦略が
不成立と言っていたわけで(可算)選択公理を使う場合は(決定番号に相当する)シッポの0の開始位置も
具体的に指定しなければならない
103(1): 現代数学の系譜11 ガロア理論を読む 2017/01/28(土)07:18 ID:cIMCvfu9(1/30) AAS
>>102
（文系）High level people にも困ったもんだ
数学はディベートじゃない
ディベートは論争して優劣を競うが
数学は論争じゃない
私の問題点を指摘するのは結構だが
自分の側の主張の立証が一番大事なんだよ
それを忘れているんじゃないか？
端的にいって、>>102は何を言いたいのはさっぱりわからん。早く28へどうぞ
104: 現代数学の系譜11 ガロア理論を読む 2017/01/28(土)07:19 ID:cIMCvfu9(2/30) AAS
>>103 訂正
何を言いたいのはさっぱりわからん。早く28へどうぞ
↓
何を言いたいのかさっぱりわからん。早く28へどうぞ
105(1): 現代数学の系譜11 ガロア理論を読む 2017/01/28(土)07:45 ID:cIMCvfu9(3/30) AAS
>>102
さきに、>>76-77に書いたように、時枝記事>>2-5は、既存の確率変数の無限族の理論で、
X1，X2，X3，… が独立変数であるにもかかわらず
例えば、「n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，」
既存の確率変数の無限族の理論では、「当てられっこない・・・他の箱から情報は一切もらえないのだから」
となるべきところ、”「確率は99/100」で可能だ。「確率1-ε で勝てることも明らかであろう」”という
つまり、A:時枝解法理論>>2-3と、B:コルモゴロフ流 確率変数の無限族の理論 Xn とが真っ向対立する
理論Aと理論Bが矛盾するとき
もし同じ公理系内なら、少なくともどちらかが間違っている（両立はありえない）
時枝は、>>4でZFC公理系を宣言している。勿論、コルモゴロフ流 確率変数の無限族の理論もZFC公理系
省5
106(2): 現代数学の系譜11 ガロア理論を読む 2017/01/28(土)09:12 ID:cIMCvfu9(4/30) AAS
再録
これ（下記）をどう思っているのか？ 存念を聞きたい
>>76 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/01/22(日) 14:16:18.33 ID:aSVenMI/
>>75
もう一度言っておくが、
時枝>>4
素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
省12
107(1): 現代数学の系譜11 ガロア理論を読む 2017/01/28(土)09:34 ID:cIMCvfu9(5/30) AAS
外部ﾘﾝｸ[htm]:members.jcom.home.ne.jp
超準解析１:
(抜粋)
〜ダーツを一点に当てる確率〜
さて、ここに昔からありがちな問題がある。君がダーツを投げるとき、ある一点に厳密に当たる確率は一体どれくらいか?そして、この種の問題には、非常にありがちな一つの答えがいつも与えられる。その確率は、ゼロであると。なぜならば、各点における確率がもし有限の値なら、ダーツ板の全体における積分が発散してしまうから だ。
これ(確率がゼロであること)は、いわゆる必要条件だというわけである。
高校のころからこうした答えは、常に私を悩ませてきた。その確率は、aとdxdyをかけたものではなぜいけないのだろうか?
人は言う。そうした無限小の取り扱い方は、厳密ではないと。なぜなら、実数体はアルキメデス的だからだ、と。そう、われわれはアルキメデスと戦わなければならない。 いきなり妙な言葉が出てきたので読者を困惑させてしまったかもしれないが
ライプニッツやオイラーが気ままに使ってきた微小量〜adxdyという記号〜は、明らかに実数体に関するアルキメデスの公理を満たさない。なぜなら、もしアルキメデスの公理を満足してしまったとすると、adxdyはn倍すればどんな数よりも、例えば1よりも大きくなる。それならば、この量はn分の1よりも大きい。
しかし、微小量の定義はあらゆる数より0に近い数のことだから、ここで行き詰ってしまう。お前の言っている微小量には、実体は無いではないかと。
省3
108: 現代数学の系譜11 ガロア理論を読む 2017/01/28(土)09:34 ID:cIMCvfu9(6/30) AAS
外部ﾘﾝｸ[htm]:members.jcom.home.ne.jp
超準解析２:
(抜粋)
簡単に言ってしまえば、これがε−δ論法であり、最も本質的な点である。最も本質的な点とは、この議論には微小量が出て来ないということである。もちろん、εは微小量なのだが、建前上は"任意の数"ということになっている。任意だから、いくらでも小さくてよい。すると、収束円はいくらでも小さくなり、ついに一つの実数まで縮んでしまう。
こうして厳密な極限の方法を我々は得た。そして関数の極限が定義され、導関数の極限が定義され、リーマン和の極限も定義される。これら全ての概念にコーシー列が密接に関わっている。コーシーは、極限というあいまいな実体を点列の運動という概念によって 一挙に捉え、ヴィジュアル化したのであった。
〜なにか問題が？〜
簡単に言えば、ε−δによる微分は厳密性を得た代わりに、微小量の直感性を失った。導関数は定義されてももはやそれはdfとdxの比ではなく、単なる一つの関数を表す記号なのである。dfやdxは単なる記号であり、単独では意味を持たない。
しかし、導関数が微小量の比であるというイメージはとても納得できるし、コーシー流の微分でもこのイメージを避けて通ることは出来ない。頭の中のイメージと紙の上の証明とでは、全く違うことをやっているのである。
私は、数学は視覚的に明らかである方がよいと思う。それは、上に挙げた参考文献を書かれた小平邦彦先生もおっしゃっていることである。 数学とは、心の中で起こる数学的現象を解析する学問なのだ。それでは、感覚的に優れた微小量という存在を厳密に扱うにはどうすれば良いだろうか?
省2
109(1): 現代数学の系譜11 ガロア理論を読む 2017/01/28(土)09:35 ID:cIMCvfu9(7/30) AAS
外部ﾘﾝｸ[htm]:members.jcom.home.ne.jp
超準解析３:
(抜粋)
超準解析にはその学問的価値に比して、日本語の本が非常に少ない。(ような気がする。)
しかし、H.Jerome.Keisler教授が無料のpdfを自らのホームページでアップロードしている。およそ900ページの超大作である 。(それでいて、freshmanのために執筆したと書いてある!!)ちなみに私は読んでいない。というか読めない。
本章の目的は超準解析を広く流布し、モナドのイメージを掴んでもらうことであるから、公理的な記述は出来るだけ避けようと思う。公理的な記述に飢えたら、このサイトにこだわらず広く本を漁ってほしい。
超準解析が、皆様の多彩なアイディアの助けとなることを祈る。
(引用終り)
110: 現代数学の系譜11 ガロア理論を読む 2017/01/28(土)09:40 ID:cIMCvfu9(8/30) AAS
>>107
>〜ダーツを一点に当てる確率〜
>君がダーツを投げるとき、ある一点に厳密に当たる確率は一体どれくらいか?そして、この種の問題には、非常にありがちな一つの答えがいつも与えられる。その確率は、ゼロであると。なぜならば、各点における確率がもし有限の値なら、ダーツ板の全体における積分が発散してしまうから だ。
そう
宝くじ
当りは１枚
発行枚数を無限に多くする
一人が当たる確率はゼロ
だが
当たる人は必ず存在する
111: 現代数学の系譜11 ガロア理論を読む 2017/01/28(土)09:55 ID:cIMCvfu9(9/30) AAS
2017年から振り返ってみると面白い
外部ﾘﾝｸ[pdf]:repository.kulib.kyoto-u.ac.jp
ゲージ場/量子確率論/超準解析/・・・再び場の理論へ :
中西襄先生還暦記念シンポジウム : 場の理論の過去・現
在・未来を始めるにあたって(場の理論の基礎的諸問題)
Author(s) 小嶋, 泉
Citation 数理解析研究所講究録 (1994)
上下前次1-新書関写板覧索設栞歴
あと 437 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s