16/09/09 22:35:44.77 +p+yyndB.net
だれかがアホを書かない限り、おれも書かない。￥さんと同じだよ
531:１３２人目の素数さん
16/09/09 23:13:06.58 AmjRU62I.net
>>490
＞教育的見地から、「有限」などとアホな主張を繰り返さないようにクギをさしておきます
決定番号は有限値だとクギをさしておく。
s∈R^N を取るごとに決定番号 d(s) は有限値である。
ただし { d(s)｜s∈R^N } ⊂ N は有界ではない。
そして、このことは何の矛盾も引き起こさない。
スレ主の論法のキモは、s と比較されるべき s' を次々と取り替えて
d(s) の値を更新することで、あたかも d(s) が発散するかのように
見せかけているところにある。しかし、「 s' を次々と差し替える」
という行為そのものが不可能なので、スレ主の論法は破綻する。実際、
1. R^N の ～ に関する完全代表系を1つ取って固定する。これを T とする。
2. x∈R^N を任意に取る。T の定義から、x～t を満たす t∈T がただ1つ存在する。
3. ∃n_0≧1, ∀n≧n_0 [ x_n＝t_n ] が成り立つ。
4. そのような n_0 のうち最小のものを d(x) と置く。
5. こうして、決定番号 d(x) が定義されて、写像 d：R^N → N が定まる。
この流れにおいて、x と比較される t は T 内に1つしかないからだ。
次々と別の s' に差し替えることは出来ない。
532:１３２人目の素数さん
16/09/09 23:22:21.39 AmjRU62I.net
ちなみに、>>493の 1～5 から分かるように、
d は T を固定するごとに決まるので、d は T に依存している。
よって、本来なら d ではなく d_T と書き、
d(s) のことは d_T(s) と書くのが望ましいと思われる。
ここで、T に依存しないように d を構成することは不可能である。
なぜなら、もし T に依存せずに d が作れたならば、
この場合にはスレ主の
533:論法が使えて、s と比較されるべき s' を 次々と取り替えることが可能になり、d(s) の値が well-defined に 決まらないからだ。 しかし、実際には、T ごとに d_T が定義されて、d_T は well-defined に決まり、 もちろん任意の s∈R^N に対して d_T(s) は有限値となる。 そして、{ d_T(s)｜s∈R^N } ⊂ N は有界ではない。 そして、これらのことは何の矛盾も引き起こさない。
534:１３２人目の素数さん
16/09/10 00:14:54.32 1RTeFNgE.net
そこまでしてスレ主に構うとかお前バファリンかよ
535:１３２人目の素数さん
16/09/10 01:46:56.82 oiQyPxlq.net
>>491
> 無限小数に直して一列の箱に詰める
> 箱は1箱目から順次、すべて開けてよい
無限小数を一列の箱に順次詰める場合にアリスはボブに全ての数字を提示できますか？
たとえば箱を使わずに数字を直接ボブに示すことを考えた場合はどうですか？
箱を使う場合のバリエーションとしてボブはアリスが選んだqを当てる前に箱の中身の
全てが正しい数字かどうかをアリスに1箱目から順次すべて開けて確認させれば良い
アリスの確認終了後にボブはアリスが選んだqを当てる
536:１３２人目の素数さん
16/09/10 01:50:07.30 1RTeFNgE.net
人間には無限小数を一列の箱に詰めることすらできないな
537:491
16/09/10 02:42:56.65 y7oy2hRC.net
>>496
箱をわざわざ持ち出したのはGame2と対比したかったからです。
無限個の箱を使おうが、無限個の数字を直接一つ一つ伝えていこうが、
ボブはいつまでたっても無限小数を最後まで見通せない。
（なぜか？ 見通せないという仮定で>>491を書いているからですｗ）
有理数q（の分母分子）を直接伝えないかぎりボブにはqが分からない。
ある無限小数が目の前にあり、それが有理数だと教えられても、
小数の桁すべてを見通すことができないので、人間はその有理数を確定できない。
そういう『現実性』を仮定すればGame2は成り立たないことになる。
しかしその現実性は普段親しんでいる数学とはあまりにもかけ離れている。
だけど現実世界を考えれば逆だよね。
無限の実在をそうやすやすと認めるわけにはいかない。
我々は無限の概念には慣れっこになっているけど、
しかしその無限はGame2のような信じがたい事実も導く。
その戸惑いを>>491で吐露したまでです。
> 箱を使う場合のバリエーションとしてボブはアリスが選んだqを当てる前に箱の中身の
> 全てが正しい数字かどうかをアリスに1箱目から順次すべて開けて確認させれば良い
> アリスの確認終了後にボブはアリスが選んだqを当てる
"全て"の確認を終了する、なんてことは出来ないと>>491では仮定しているのです。
538:１３２人目の素数さん
16/09/10 12:41:01.62 4WoMFUrX.net
パチンコの箱に玉が何個入るか当てられない。
大気中の酸素分子の数もわからない。
人間は自分たちの身の回りのことさえ何もわかっていないのだ。
539:１３２人目の素数さん
16/09/10 13:30:02.31 1RTeFNgE.net
金玉袋の玉の数ならわかるよ
540:１３２人目の素数さん
16/09/10 13:58:06.96 q7Skbg74.net
>>500
500ゲットか、狙ったのか？
金玉袋か
こてこての関西ギャグかい？
541:１３２人目の素数さん
16/09/10 13:59:07.44 q7Skbg74.net
>>493-494
どうも。スレ主です。
Tさん、代数だけでなく、もう少し広く集合論、基礎論とか解析を勉強した方が良いね
>決定番号は有限値だとクギをさしておく。
>s∈R^N を取るごとに決定番号 d(s) は有限値である。
>ただし { d(s)｜s∈R^N } ⊂ N は有界ではない。
そういう訳の分からんことを書くと、院試では首が飛ぶだろうよ
そもそもが、＜命題：決定番号の可能な範囲は、１から無限大（上記の自然が無限あるという意味で）まである（決して有限の範囲ではありえない！）＞
で、”決定番号の可能な範囲”とは値域だよ
つまりは、dom(d(s))だよ
そして、N⊆dom(d(s))だ
∵>>467で示したように、任意のn∈Nに対して、決定番号がnとなる数列s' | s' ∈ U の存在が示せる（>>467の３項において、d=n-1とおけばよい）
そして、この文脈において、決定番号→自然数と言い換えてみな
「自然数は有限値だとクギをさしておく」って主張になっちまう（＾＾
それはおかしいだろうよ（＾＾
542:１３２人目の素数さん
16/09/10 13:59:59.38 q7Skbg74.net
>>493
細かいが、証明のロジックもおかしい(重箱の隅ですまんが、教育的見地からゆるせ)
> 1. R^N の ～ に関する完全代表系を1つ取って固定する。これを T とする。
> 2. x∈R^N を任意に取る。T の定義から、x～t を満たす t∈T がただ1つ存在する。
・先に”完全代表系を1つ取って固定”したら、任意x∈R^N でx∈Tは言
543:えないだろう ・任意x∈R^N でx∈Tが言えないとすれば、x～t を満たす t∈T の存在も言えない ∵完全代表系だから ・”1つ存在”もおかしい。x∈Tで、かつ、いくつかt1,t2,t3,・・・ti∈Tとすれば、x～t1,t2,t3,・・・tiだろ？ というか、任意のt∈Tでx～t ∵完全代表系だから （こういう記述が答案の冒頭にあると、答案採点者としては”不合格の推定”が働く。「こいつ分かってないな」と。答案書き出しの表現は、誤解されないように特に気を付けた方がいいな。（この記載が修正可能なのか、はたまた、修正して証明のロジックが成り立つのかまでは見てないがね））
544:１３２人目の素数さん
16/09/10 14:02:19.43 q7Skbg74.net
>>502 補足
そこらの勘違いが、この問題のキモだと思うよ (後述の英文サイトなどもご参照)
決定番号 d(s) の確率を考えようとすると、自然に決定番号 d(s) の分布が問題になる
例えば、 d(s) が仮に一様分布だとしよう。URLﾘﾝｸ(ja.wikipedia.org) 一様分布 - Wikipedia
（引用）
確率変数を x ( α ? x ? β ) とする。 x が整数であるときの離散型の一様分布の確率分布 Pr ( x = X )、 一様分布の確率密度関数は以下の式で定義される。
1/(β ? α)
またいずれの場合も確率の期待値は以下で表される。
(α + β)/ 2
（引用おわり）
つまり、決定番号 d(s) に上限がないとすれば、β→∞を考えなければならないということ
が、d(s) は明らかに一様分布ではない。d(s) が大きいほど、出現頻度は大きい
ここで、確率分布に詳しい人がすぐ気付くことは、普通考える確率分布では、確率変数 x ( α ? x ? β ) で、βが有限か、あるいはβが有限でない場合βが大きくなると分布はゼロになるんだと
例えば、
ベータ分布は前者の例 URLﾘﾝｸ(ja.wikipedia.org)
正規分布は、後者の例 URLﾘﾝｸ(ja.wikipedia.org)
しかし、普通考える確率分布と比較すると、d(s)の確率分布がおかしい（d(s)が増大してもゼロに収束しない）ことは、確率分布に詳しい人ならだれでも気付く
545:１３２人目の素数さん
16/09/10 14:04:03.78 q7Skbg74.net
>>504 訂正文字化け
確率変数を x ( α ? x ? β )
↓
確率変数を x ( α＜ x ＜ β )
1/(β ? α)
↓
1/(β －α)
546:１３２人目の素数さん
16/09/10 14:06:19.94 q7Skbg74.net
>>502 補足
>決定番号は有限値だとクギをさしておく。
>s∈R^N を取るごとに決定番号 d(s) は有限値である。
>ただし { d(s)｜s∈R^N } ⊂ N は有界ではない。
こういう記述は素朴で微笑ましいが、このスレを低レベルのカキコで埋めて貰っても仕方ないので書いておく
人は、古代ギリシャから無限の存在に気付いていた
古くは、アキレスと亀 URLﾘﾝｸ(ja.wikipedia.org)
１９世紀 カントールに代表される無限集合の研究で、可算無限、連続無限が意識されるようになった URLﾘﾝｸ(ja.wikipedia.org)
で、決定番号 d(s) についてだけなら、難しく考えずに、まずはd(s) の値域 dom(d(s))を考えれば良い
>>327のある数列のd(s)として、dom(d(s))＝{1,2,3,・・・,n,・・・・}＝Nだと
関数のイメージとしては、数直線ｘ上にある１から始まる自然数の点がdom(d(s))だ
確かに、目に見える範囲では、有限だろうさ
が、２１世紀の数学ではそれを可算無限というんだ
「有限値・・」などと口走ったら、「何を勉強してきたんだ」と言われるだろう
そして、記号∞との関係では、リーマン球 URLﾘﾝｸ(ja.wikipedia.org) リーマン球面 - Wikipedia
をイメージすることだ
記号∞は、リーマン球では北極に位置する点だ。数直線ｘは、北極∞を通る大円に写像される
自然数nが大きくなると、ｎは北極∞に近づく。極限は北極∞ということ。
現
547:代数学では、∞を無限遠点として付け加えて理論展開することも可能だ。しかし、∞を無限遠点として付け加えない立場も両方とも可能だよ 要するに、つねにリーマン球をイメージするようにすれば、∞無限遠点の意味づけはクリアーになるだろう（ここらは複素関数論で扱うだろう） つづく
548:１３２人目の素数さん
16/09/10 14:08:29.04 q7Skbg74.net
>>506 つづき
上記のように解析においては、有限と無限はあまり混乱しないが
代数においては、有限と無限の言葉使いがよく混乱する
例えば、有限単純群の理論がある URLﾘﾝｸ(ja.wikipedia.org) 単純群 - Wikipedia
有限単純群の中に、いくつかの無限系列の族がある。簡単な例では、Zp ? 素数位数の巡回群。素数pは考えている範囲では有限だが、取り得るp値の範囲としては無限だ
有限と無限の言葉使いの混乱の例はさておいて
いま確率が問題になっているのだから、決定番号d(s)の値域dom(d(s))がどうなっていて、dom(d(s))の範囲がどうかとか、d(s)の平均値や分散、標準偏差・・・
そういう確率分布を特徴づける値がどうかと
その場合には、dom(d(s))の範囲は無限大まで考えるべし、正規分布同様にだ
549:１３２人目の素数さん
16/09/10 14:08:43.70 In99m3fl.net
またスレ主の馬鹿自慢が始まった
550:１３２人目の素数さん
16/09/10 14:08:56.13 q7Skbg74.net
ところで、Tさんが隠しているらしい＊）ネタばらし
＊）「隠し」とは、断定はできないが。もし、意図して隠しているなら、それは不都合な真実だろう
>>450 アリスとボブ
URLﾘﾝｸ(blog.computationalcomplexity.org)
Solution to the Alice-Bob-Box problem. July 18, 2016 Posted by GASARCH Computational Complexity
(抜粋)
Peter Winkler told me this problem at the Joel Spencer 70th Bday conference. He got it from Sergui Hart who does not claim to be the inventor of it.
（抜粋おわり）
なお、Peter Winkler氏は時枝記事にも登場した人だ>>86
Sergui Hart氏は、>>263のPUZZLESのページで、”Choice Games”のＰＤＦを投稿した人だ
551:１３２人目の素数さん
16/09/10 14:10:21.11 1RTeFNgE.net
いやお前もう黙ってろよ
552:１３２人目の素数さん
16/09/10 14:10:54.54 q7Skbg74.net
>>507 つづき
英 stackexchange
URLﾘﾝｸ(math.stackexchange.com)
Predicting Real Numbers edited May 15 '13 Jared Mathematics Stack Exchange
(抜粋)
Here is an astounding riddle that at first seems impossible to solve. I'm certain the axiom of choice is required in any solution, and I have an outline of one possible solution, but would like to see how others might think about it.
100 rooms each contain countably many boxes labeled with the natural numbers. Inside of each box is a real number. For any
553:natural number n, all 100 boxes labeled n (one in each room) contain the same real number. In other words, the 100 rooms are identical with respect to the boxes and real numbers. Knowing the rooms are identical, 100 mathematicians play a game. After a time for discussing strategy, the mathematicians will simultaneously be sent to different rooms, not to communicate with one another again. While in the rooms, each mathematician may open up boxes (perhaps countably many) to see the real numbers contained within. Then each mathematician must guess the real number that is contained in a particular unopened box of his choosing. Notice this requires that each leaves at least one box unopened. 99 out of 100 mathematicians must correctly guess their real number for them to (collectively) win the game. What is a winning strategy? （抜粋おわり）
554:１３２人目の素数さん
16/09/10 14:12:51.62 q7Skbg74.net
>>511 つづき
英 mathoverflowは参考になる
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice - MathOverflow: edited Dec 9 '13 Denis
(抜粋)
The question is about a modification of the following riddle (you can think about it before reading the answer if you like riddles, but that's not the point of my question):
The Riddle: We assume there is an infinite sequence of boxes, numbered 0,1,2,…
. Each box contains a real number. No hypothesis is made on how the real numbers are chosen.
You are a team of 100 mathematicians, and the challenge is the following: each mathematician can open as many boxes as he wants, even infinitely many, but then he has to guess the content of a box he has not opened.
Then all boxes are closed, and the next mathematician can play. There is no communication between mathematicians after the game has started, but they can agree on a strategy beforehand.
You have to devise a strategy such that at most one mathematician fails. Axiom of choice is allowed.
（この後＜11＞でAlexander Prussによる確率分布の議論があるよ）
（抜粋おわり）
555:１３２人目の素数さん
16/09/10 14:13:47.09 q7Skbg74.net
>>512
英 mathoverflowで>>512関連
URLﾘﾝｸ(mathoverflow.net)
Can an infinite number of mathematicians guess the number in a box with only one error? - MathOverflow edited Dec 26 '13 user44653
(抜粋)
In this question＊） the following observation was made:
＊）上記 Probabilities in a riddle involving axiom of choice - MathOverflow: edited Dec 9 '13 Denis mathoverflow にリンクされている
Consider a sequence of boxes numbered 0, 1, ... each containing one real number. The real number cannot be seen unless the box is opened.
Define a play to be a series of steps followed by a guess. A step opens a set of boxes. A guess guesses the contents of an unopened box. A strategy is a rule that determines the steps and guess in a play, where each step or guess depends only on the values of the previously opened boxes of that play.
Then for every positive integer k , there is a set S of k strategies such that, for any sequence of (closed) boxes, there is at at most one strategy in S that guesses incorrectly.
My question is this: Can k be countably infinite (instead of a positive integer)? If not, is there a proof?
[Edit: the original question also asked whether k can be uncountable; this was answered by D
556:an Turetsky in the negative in comments]. （抜粋おわり）
557:１３２人目の素数さん
16/09/10 14:15:47.79 q7Skbg74.net
>>513 つづき
これは内容的には無視していいかもしれんが、mathoverflowより時期が早いよね
URLﾘﾝｸ(brainden.com)
100 mathematicians, 100 rooms, and a sequence of real numbers Asked by Jrthedawg, July 22, 2013 New Logic/Math Puzzles - BrainDen.com - Brain Teasers
(抜粋)
Question
I am a collector of math and logic puzzles, and this must be the best I've ever seen.
100 rooms each contain countably many boxes labeled with the natural numbers. Inside of each box is a real number.
For any natural number n, all 100 boxes labeled n (one in each room) contain the same real number. In other words, the 100 rooms are identical with respect to the boxes and real numbers.
Knowing the rooms are identical, 100 mathematicians play a game.
After a time for discussing strategy, the mathematicians will simultaneously be sent to different rooms, not to communicate with one another again.
While in the rooms, each mathematician may open up boxes (perhaps countably many) to see the real numbers contained within.
Then each mathematician must guess the real number that is contained in a particular unopened box of his choosing.
Notice this requires that each leaves at least one box unopened.
99 out of 100 mathematicians must correctly guess their real number for them to (collectively) win the game.
What is a winning strategy?
（抜粋おわり）
558:１３２人目の素数さん
16/09/10 14:20:24.19 q7Skbg74.net
ここら英文見ていると、「決定番号は有限値」なんてアホいう人は一人もおらん。もっとも、あえて無限という人もおらんけど
少なくとも、「決定番号は有限値」だから（解法成立）という理由付けをする人はおらんぜ
ごまかしと隠しはいかん。議論はもっとオープンにしないと
>>498さんには悪いが、議論が煮詰まり過ぎに見えたから、新しい燃料を投下させてもらった
あまりに議論が低レベルになると、見ている方はつまらんから（おそらく￥さんもだろう）
なお、英文サイトのカキコでは、PUZZLESであったりriddle（なぞなぞの意）であったりする（いまだ数学理論にあらず＊））ということも注意しておく
（ ＊）数学論文として整式に投稿された文は、arxiv含めまだ無いのでは？ （時枝の記事を除く））
英文サイトを参考にして議論を深めて貰えれば、暫く観客でいますよ（＾＾；
559:１３２人目の素数さん
16/09/10 14:21:53.73 q7Skbg74.net
>>515 訂正
整式に投稿された
↓
正式に投稿された
560:１３２人目の素数さん
16/09/10 14:38:49.86 oiQyPxlq.net
>>498
> なぜか？ 見通せないという仮定で>>491を書いているからです
> "全て"の確認を終了する、なんてことは出来ないと>>491では仮定しているのです。
つまりアリスはボブに出題できない(=出題が終了しない)という仮定をしているわけでしょう？
出題されていない数をボブが当てることは不可能
出題者が可算無限個の数字全てを出題するためにも「いつまでたっても無限小数を最後まで見通せない」ことを
クリアしなくてはならないから数当て戦略が成立しないような無限数列は出題できないという考え方もできる
同値類の決定を必要としないバリエーションも考えることができて
1. 可算無限個ある箱の有限個に数を入れた場合には数当て戦略を使って空箱を当てることは可能
2. 可算無限個ある全ての箱の外側に数字が書かれていて出題者は箱の中に数字を入れる
空箱の場合は0が入っているとして解答者は箱の外側の数字と箱の中の数字の和を当てる
出題者が有限個の箱に数字を入れた場合は数当て戦略は成立する
可算無限個ある全ての箱に出題者が数字を入れることができれば数当て戦略は不成立
(以下スレ主用資料)
URLﾘﾝｸ(ja.wikipedia.org)
> 自然数全体の集合 ω は (中略) ω は順序数である。
> すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω
> 0 でも後続順序数でもない順序数を極限順序数と呼ぶ。
> ω は最小の極限順序数である。
(スレ主は自然数(決定番号)を1ずつ増やしていけばいつかは無限大にできると勘違いしているようだが
そもそも n + 1 = ω となるような自然数nは存在しない)
代表元が0, 0, 0, ... , 0, ... と1, 1, 1, ... , 1, ... とすると以下の数列の決定番号は
0, 0, 0, ... , 0, ... : 決定番号=1
1, 0, 0, ... , 0, ... : 決定番号=2
1, 1, 0, ... , 0, ... : 決定番号=3
以下同様にして数列の全ての数字が1になったとすると
1, 1, 1, ... , 1, ... : 決定番号=1となるので無限大になることはない
561:１３２人目の素数さん
16/09/10 14:39:22.47 btYyKbMd.net
>>502
＞そして、この文脈において、決定番号→自然数と言い換えてみな
＞「自然数は有限値だとクギをさしておく」って主張になっちまう（＾＾
＞それはおかしいだろうよ（＾＾
自然数全体の集合は有界ではないが、1つ1つの自然数は
どれも有限値である。何がおかしいんだ？どうもスレ主は
「有限値」
という言葉の使い方がおかしいようだな。
>>503
＞・先に”完全代表系を1つ取って固定”したら、任意x∈R^N でx∈Tは言えないだろう
スレ主は「完全代表系」の意味を理解してないなｗ
任意の x∈R^N に対して、x～t を満たす t∈T がただ1つ存在する。
これが、T が満たす性質である。任意の x∈R^N で x∈T が言える必要はないのである。
そもそも、任意の x∈R^N で x∈T が言えてしまったら、R^N⊂T すなわち R^N＝T
となってしまって、「完全代表系」という概念を作る意味がなくなってしまうがな。
バカかこいつは。
＞・任意x∈R^N でx∈Tが言えないとすれば、x～t を満たす t∈T の存在も言えない ∵完全代表系だから
任意 x∈R^N で x∈T が言えるなら、R^N⊂T すなわち R^N＝T となってしまい、
「完全代表系」という概念を作る意味がなくなってしまう。バカかこいつは。
＞・”1つ存在”もおかしい。x∈Tで、かつ、いくつかt1,t2,t3,・・・ti∈Tとすれば、x～t1,t2,t3,・・・tiだろ？
スレ主は「完全代表系」の意味を理解してないなｗ
各 x∈R^N ごとに、x～t を満たす t∈T はただ1つしか存在しないよｗ
それが「完全代表系」の満たすべき定義だからだ。
そして、そのような不思議な性質を満たす T が存在することは
選択公理によって保証される。実際に完全代表系の一例を>>427でも構成済み。
562:１３２人目の素数さん
16/09/10 14:51:30.42 btYyKbMd.net
R^Nの～に関する完全代表系を1つ取って T と書く。
スレ主によれば、任意 x∈R^N で x∈T が言えなければ
完全代表系とは認められないらしい。
となれば、R^N⊂T が成り立つことになる。
すなわち、R^N＝T が成り立つことになる。
よって、スレ主によれば、R^Nの～に関する完全代表系は R^N 自身ということになる。
バカじゃねーの。
wikipedia でも何でもいいから、完全代表系の定義を確認してこいよ。
完全代表系の定義の仕方には複数の流儀が存在するが、どのような定義を採用しても、
R^N それ自体が ～ に関して完全代表形になることなんて ありえねーよ。
563:１３２人目の素数さん
16/09/10 15:12:14.23 y7oy2hRC.net
>>517
> つまりアリスはボブに出題できない(=出題が終了しない)という仮定をしているわけでしょう？
> 出題されていない数をボブが当てることは不可能
論理的には貴方の言う通りだよ。
だけど>>491,>>498で俺が言いたいのはそういうことじゃないんだ。
アリスに無限を操らせないことには、物事すべて有限、で話が終わってしまう。
無限小数が認めるか否か、という話がしたいわけでもない。
アリスの話がしたいのではなく、ボブの無能力さを言いたいだけなのよ。
無限に対する実際の人間の無力さね。
>>491や>>498は数学的にではなく、読み物として読んでくださいな。
数学的には戦略が成り立つのは間違いなくて、今はちょっと数学から離れた話をしてたんだ。
564:１３２人目の素数さん
16/09/10 15:58:30.86 1RTeFNgE.net
>>519
なにも同一視しなきゃよくね
565:１３２人目の素数さん
16/09/10 16:09:21.71 btYyKbMd.net
>>521
※ここでの～は文脈上もちろん>>427で定義したもの
566:１３２人目の素数さん
16/09/11 08:03:10.07 ExO0BbwP.net
>>517-519
どうも。スレ主です。
完全代表系、全く別のことを考えていました（＾＾；
完全代表系については、ご指摘の通りです ｍ（＿ ＿）ｍ
教育的見地から深くお詫びしておきます ｍ（＿ ＿）ｍ
（完全代表系については下記ご参照）
URLﾘﾝｸ(hooktail.sub.jp)
完全代表系と商集合 [物理のかぎしっぽ]
567:１３２人目の素数さん
16/09/11 08:03:48.06 ExO0BbwP.net
>>518
>自然数全体の集合は有界ではないが、1つ1つの自然数は
>どれも有限値である。何がおかしいんだ？
さてその上で、下記ご参照
URLﾘﾝｸ(rikei-index.blue.coocan.jp)
理系インデックス
URLﾘﾝｸ(rikei-index.blue.coocan.jp)
無限級数に対してよくある誤解
(抜粋)
参考
次の無限はすべて意味が異なる。
（１） 無限級数としての無限
（２） 帰納法としての無限
（３） 無限集合としての無限
（４） 発散としての無限
（５） 広義実数としての無限
これらは混同されることが多い。
（３） 「 無限集合としての無限 」
例えば、自然数全体は無限集合である。
一方、任意の自然数は 『 有限 』 である。
（５） 「 広義実数としての無限 」
広義実数としての ∞ と、発散としての ∞ は意味が異なる。
発散の ∞ は 「 その数がいくらでも大きな有限値をとること 」 を意味する。
一方、広義実数の ∞ は、単なる記号である。
高校生は、この２つの ∞ を混同することが多い。
（引用おわり）
568:１３２人目の素数さん
16/09/11 08:04:55.42 ExO0BbwP.net
>>524 つづき
さて、話は飛ぶが、下記”集合論において標準的となっている自然数の構成”で、”無限集合の公理”にご注目
569: 任意の自然数nに後者n+1がある。それを続ければ、無限集合としての自然数の集合が得られる。これは公理です。論理による証明（他の公理から導く定理）ではない。それを強調しておく https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 自然数 - Wikipedia (抜粋) 集合論において標準的となっている自然数の構成は以下の通りである。 空集合を 0 と定義する。 自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。 無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。 このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。 以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。 （引用おわり）
570:１３２人目の素数さん
16/09/11 08:07:51.94 ExO0BbwP.net
>>525 つづき
で、上記>>524のように「次の無限はすべて意味が異なる」とあることを思い出そう
”任意の自然数は 『 有限 』 である”と強調することが、大きな意味を持つ場合もあるが、それがあだになる場合も
例えば、>>493で”R^N の ～ に関する完全代表系を1つ取って固定する。これを T とする。”、 ”次々と別の s' に差し替えることは出来ない。”として『 有限 』と強調するような
いま問題にしていることは、時枝解法>>289にあるように100列から特定の列を選んで、「正しい確率は99/100」が導けるかどうかだ
とすると、作為的に”完全代表系を1つ取って固定する”では、「正しい確率は99/100」は導けない
一つの考えとしては、「正しい確率は99/100」を導くために、大数の法則を利用して URLﾘﾝｸ(ja.wikipedia.org)
シミュレーションをやってみようと
そうすると、いろんな数列といろんな代表系をランダムに発生させることを考える
シミュレーションを考えるときに、キモになるのが、”決定番号の可能な範囲”＝値域 dom(d(s)) と、d(s)の確率分布（平均値だとか標準偏差が分かるとうれしい）
そのときには、＜命題：決定番号の可能な範囲は、１から無限大（上記の自然が無限あるという意味で）まである（決して有限の範囲ではありえない！）＞と考えることが正しい
もちろん、シミュレーションで無限大はやれないとしても、まず有限の範囲でやって、ｎ（＝シミュレーションの規模）を順次大きくして、結果が収束するかを見る
（余談だが、ｎを順次大きくして結果が収束してくると、「ほぼ無限大を近似しているかなと」判断する場合が多い）
なので、ここら代数系の人がよくやる”完全代表系を1つ取って固定する”、”自然数は 『 有限 』”に、嵌まりやすいことが、この手のパラドックスの落とし穴かと思う次第
571:１３２人目の素数さん
16/09/11 08:10:30.42 ExO0BbwP.net
>>526 つづき
再度強調しておくが、>>515に記したように、英語圏では2013年に話題になったようだ
それから２年以上、いまだPUZZLESであったりriddle（なぞなぞの意）であったりする（プロの数学者は正規の数学として取り上げない）
だから、この時枝記事は、狭義のパラドックスだよと
以上、おじゃま虫でした
あとは、存分にお願いします。ハイレベルの議論を期待しています（＾＾
572:１３２人目の素数さん
16/09/11 08:24:27.02 ExO0BbwP.net
年表を作っておこう
１． URLﾘﾝｸ(math.stackexchange.com)
Predicting Real Numbers edited May 15 '13 Jared Mathematics Stack Exchange
２． URLﾘﾝｸ(brainden.com)
100 mathematicians, 100 rooms, and a sequence of real numbers Asked by Jrthedawg, July 22, 2013 New Logic/Math Puzzles - BrainDen.com - Brain Teasers
３． URLﾘﾝｸ(www.ma.huji.ac.il)
PUZZLES ”Choice Games”Sergiu Hart November 4, 2013
４． URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice - MathOverflow: edited Dec 9 '13 Denis
５． URLﾘﾝｸ(mathoverflow.net)
Can an infinite number of mathematicians guess the number in a box with only one error? - MathOverflow edited Dec 26 '13 user44653
６．>>48 URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー2015年11月号 日本評論社 箱入り無数目・・・・時枝 正 36
７．アリスとボブ URLﾘﾝｸ(blog.computationalcomplexity.org)
Solution to the Alice-Bob-Box problem. July 18, 2016 Posted by GASARCH Computational Complexity
こうしてみると、箱入り無数目系のPUZZLESやriddle（なぞなぞの意）は、それなりに面白い話題なんだろうね（＾＾；
では
573:１３２人目の素数さん
16/09/11 09:44:37.77 4uBrwKmZ.net
>>526
お前は本当に黙っていたほうがいい
574:１３２人目の素数さん
16/09/11 09:49:16.26 BBHX837B.net
>>523
完全代表系を理解してなかったら時枝の記事を理解できるわけがない
575:１３２人目の素数さん
16/09/11 10:55:45.60 XYZFFLvl.net
>>526
R^N の ～ に関する完全代表系Tを任意に取ることは出来て、
Tを適当に1つ選んで取るとTの代表元 s＝(s1，s2，s3，…)∈R^N は定まる。
Tの点 s'＝(s'1，s'2，s'3，…) を任意に取ると、
或る自然数nが存在して、m≧nのとき sn＝s'm になるから、
>”次々と別の s' に差し替えることは出来ない。”として『 有限 』
と「なる」。”
時枝解法では、はじめからそういうような数列を考えているから何も問題ない。
>>427に従うと、R^N から M＝R^N/～ への全単射があって、R^N とMとは同一視出来るから、
M＝R^N として考えても構わない。むしろ、便宜上はそうした方が簡単になる。
576:１３２人目の素数さん
16/09/11 13:13:58.95 B0Lht4Va.net
>>526
まずは時枝記事を理解してからしゃべろうな
もっともお前の場合は学部レベルの勉強が先だが
577:￥ ◆2VB8wsVUoo
16/09/11 17:59:16.53 M5fLCYO8.net
￥
578:１３２人目の素数さん
16/09/11 18:07:49.54 0EShiXw6.net
>>525
> 任意の自然数nに後者n+1がある。それを続ければ、無限集合としての自然数の集合が得られる。
1.「任意の自然数nに後者n+1がある」
有限の値をとる自然数nがあれば必ずそれより大きな自然数n+1(当然有限の値をとる)が存在することには
終わりがない
2.「それを続ければ、無限集合としての自然数の集合が得られる」
1.が終わらないことで無限集合であることを示しているのならば自然数の全てを数え終わることは当然できないので
無限大が出てくる余地はない
スレ主がやっているように無限大を自然数の延長として扱おうとするのならば自然数の全てを数え終わることを
仮定しなければいけないがスレ主はどのようにすれば自然数の全てを数え終わるとみなせるかを示していない
要は時枝問題は自然数の全てを数え終わることを仮定すると数当て戦略が成立するといっている
579:１３２人目の素数さん
16/09/11 22:00:19.50 BBHX837B.net
>>531
> >>427に従うと、R^N から M＝R^N/～ への全単射があって、R^N とMとは同一視出来るから、
> M＝R^N として考えても構わない。むしろ、便宜上はそうした方が簡単になる。
誤答おじさんかな？
全単射があれば同一視？
M=R^Nとして考えても構わない？
厄介なのはスレ主だけじゃないね。
580:１３２人目の素数さん
16/09/12 11:04:53.43 kZQ9HXru.net
>>535
そうだよ。>>531はおっちゃんだよ。
>>427と同様にして、R^N に以下のようにして同値関係～を定義する。
s＝(s_1,s_2,s_3,…)，s'＝(s'_1,s'_2,s'_3,…)∈R^N に対して、
s～s' ⇔ ∃n_0≧1, ∀n≧n_0 [ s_n＝s'_n ]。
この～が実際に同値関係になっていることの証明は省略。
上で定義したような同値関係～は一意に定義されることを示そう。
同値関係～とは異なる同値関係∽が存在して、
s＝(s_1,s_2,s_3,…)，s'＝(s'_1,s'_2,s'_3,…)∈R^N に対して、
s∽s' ⇔ ∃n_0≧1, ∀n≧n_0 [ s_n＝s'_n ] となったとしよう。
この∽が実際に同値関係になっていることの証明は省略。
2つの同値関係～、∽はRの点と R^N の点との「関係」だから、
定義から、s～s' ⇔ s∽s'。従って、～＝∽ になり矛盾する。
だから、同値関係∽は存在せず、定義されない。
これで、上で定義したような同値関係～は確かに一意に定義される。
581:１３２人目の素数さん
16/09/12 11:13:13.65 kZQ9HXru.net
>>535
(>>536の続き)
>>427と同様に、s∈R^N に対して、sの同値類を Γ(s) と書くことにする。
すなわち、Γ(s)＝{ t∈R^N｜s～t } と定義する。Γ(s)⊂R^N である。次に、
M＝{ A⊂R^N｜∃s∈R^N [ A＝Γ(s) ] } ( ＝ R^N/～ )
とおく。確かに、Mは R^N の～に関する商集合である。
一意に定義されるような同値関係～を「関係」として扱うと、
Γ(s)～{s} となる。だから、R^N からMへの標準的な全射
f：R^N→M s→Γ(s) は全単射になる。sと {s} を、つまり R^N とMとを同一視すると
全単射fは、任意の s∈R^N に対して、f(s)～s として扱うことが出来る。
つまり、Γ(s)～s となる。逆写像 f^{-1} も全単射だから、
f^{-1}(Γ(s))～f^{-1}(s) となる。従って、f^{-1}(Γ(s))＝s から、
s～f^{-1}(s) となって、f(s)～s となる。
R^N に以下のようにして同値関係 = を定義する。
s＝(s_1,s_2,s_3,…), s'＝(s'_1,s'_2,s'_3,…)∈R^N に対して、
s = s' ⇔ {s}
582:= {s'}. この = が実際に同値関係になっていることの証明は省略。 そして、上と同様にして考えると、今定義したような同値関係 = は 一意に定義されることが分かる。そして、「=」は通常の同値関係「＝」 いわゆる等号「＝」と同じ扱いが出来る。 任意の s∈R^N に対して f(s)～s、f(s) = {s} つまり f(s)＝s が両方成り立つ から、2つの関係「～」と、「=」つまり「＝」とは、同一視出来る。だから、 f(s)～s と f(s)＝s とは同じ扱いになる。
583:１３２人目の素数さん
16/09/12 11:28:20.62 kZQ9HXru.net
>>535
(>>537の続き)
Rと R^N の各濃度は両方連続体濃度cに等しいから、R^N に選択公理を
適用すると、R^N から可測集合Rを本来の連結性を保ちつつ非可測集合にする
ことが出来る。ここで、＜を非可測集合Rにおける反射的かつ推移的関係とする。
すると、R上の恒等写像 I_R は確かに存在し、Rは連結だから、x,y∈R に対して
x＜y,x＜y とすると x＝y となる。だから、関係＜は、濃度が連続体濃度cに
等しく非可測な集合Rの順序関係になる。Rに定義した順序関係＜も一意に定義されるから、
結局連結な非可測集合Rは直線Rに戻せる。なのだから、選択公理を適用すると、
R^N は直線Rの中に埋め込むことが出来る。f(s)～s と f(s)＝s とは同じ扱いになって、
f：R^N→M s→Γ(s) は全単射だから、fは Dom(f)＝R^N＝R として扱える。
だから、便宜上は R^N＝R として扱っても構わない。
584:１３２人目の素数さん
16/09/12 12:17:57.27 kZQ9HXru.net
>>535
>>538の訂正：x＜y,x＜y とすると →
x＜y,y＜x とすると
585:１３２人目の素数さん
16/09/12 12:20:26.56 kZQ9HXru.net
あれ？ 2行で書いてしまった。まあ、いいや。
586:１３２人目の素数さん
16/09/12 13:45:04.21 XuCvpGz+.net
>>537
＞Γ(s)～{s} となる。
なんでだよ
～はどこの同値関係なんだよ
587:１３２人目の素数さん
16/09/12 14:16:59.47 kZQ9HXru.net
>>541
～は R^N の同値関係だが、現代数学概説Ⅰ読んだことある？
>>537から>>540までの集合の部分は、その本に沿って考えている。
つまり、はじめは対応Γとかは一価の写像ではなく、多価写像として扱う流儀のやり方で考えている。
完全代表系は出て来ないから、>>427以降の方法とは異なるやり方で考えている。
もし読んでないなら、読んでみるといい。完全代表系は定義されていない。
むしろ、完全代表系は初耳。
588:１３２人目の素数さん
16/09/12 14:28:17.09 Ye9L1hvL.net
>>完全代表系は初耳
代数ではごく普通に使われる術語
基礎的学習が不十分なのが丸分かりw
589:１３２人目の素数さん
16/09/12 14:45:01.57 kZQ9HXru.net
>>543
マトモな岩波講座基礎数学の代数の本では、完全代表系は使われていないと思うが。
それがはじめて発行される少し前に発行された現代数学概説Ⅱでも、
完全代表系は定義されてなかったんだよな。
590:１３２人目の素数さん
16/09/12 14:46:05.09 XuCvpGz+.net
>>542
なんでR^N上の同値関係がR^Nの元ではないΓ(s)や{s}に使われてるの？
591:１３２人目の素数さん
16/09/12 14:49:07.49 Ye9L1hvL.net
>>544
おまいは岩波の基礎数学しか読んで居ないのか？
マトモな数学科の学生ならあり得ない状況
592:１３２人目の素数さん
16/09/12 15:19:27.51 kZQ9HXru.net
>>545
同値関係を導入して定義する方法も、現代数学概説Ⅰの
やり方とアナタの方法とでは異なると思うよ。
現代数学概説Ⅰでは、集合Mから集合Nの対応 Γ＝(G,M,N) φ≠G⊂M×N
や逆対応 Γ^{-1} を考えたりした後多価写像から一価の写像が導入されて、
それを通常の写像として定義している。それから長い議論が続いた後、
集合M、Nの関係RやRのgraph G_R を考えて、Rの逆関係 R^{-1} を導入して、
それから同値関係という概念が定義されている。
593:１３２人目の素数さん
16/09/12 15:23:30.74 XuCvpGz+.net
じゃあとりあえずその定義を書けよ
594:￥ ◆2VB8wsVUoo
16/09/12 15:26:42.74 wdbNdCQa.net
￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5714 ：名無しさん：20
595:16/09/01(木) 22:40:59 ID:??? > >>5711 > 黙ってろカスが。お前こんなことずっと続けてて父親に申し訳ないと思わないのか。 > >5718 ：￥ ◆2VB8wsVUoo ：2016/09/02(金) 07:47:45 ID:??? > >>5714 > マジレスしておくが、芳雄にはきちんと罰だけは受けて貰う。あんな酷い事をし > ておきながら、無傷であの世に逃亡というのは絶対に許されない。死ぬ前に充分 > な精神的苦痛をタップリと味わうべき。あの糞野郎だけは絶対に許されないので。 > 芳雄に対する怒りと憎しみは、馬鹿板に対する怒りとは比べ物にはならんわ。 > > ￥ > >5720 ：￥ ◆2VB8wsVUoo ：2016/09/02(金) 08:54:09 ID:??? > >>5714 > 言って置くが、被害を受け始めた高校生の頃から私は芳雄を論理分析し、その欠 > 陥や弱点を精密に理解し、そしてその横暴極まりない無責任な態度に対抗しなが > ら狙い撃ちにして来た。私は芳雄のせいで甚大な被害を被ったのであり、それを > 「親が責任を取る」という様ないい加減な逃げ口上で逃亡し、無責任を通す卑怯 > な行為は到底許されない。なのでその報いだけでもきちんと受けさせてやるだけ。 > > 糞芳雄の野郎、このまま逃げ切りは許さない。自分から言い放った『親としての > 責任』というものが微塵でも残ってるのであれば、それ相当の行為が自らなされ > て当然というものだろう。手を切り落とすもよし、足を切り落とすもよし。或い > は自分で主張した釜ヶ崎に自分で行って、そして労務者にでも殴られて撲殺され > るのもいいだろう。 > > とにかく自分で言った事だけは、きちんと自分から実行するべき。知らぬ存ぜぬ > で、無責任な逃げ切りだけは許されない。ソレこそが芳雄が言う所の卑怯者だか > らだ。糞芳雄は恥を知るべき。今からでもいいから、尊厳の意味を理解するべき。 > > ￥ >
596:１３２人目の素数さん
16/09/12 15:44:46.85 kZQ9HXru.net
>>546
代数幾何や解析数論、線型代数や表現論を代数というかは微妙だが、
殆ど確実に代数といえるモノについてはそうだな。
これでも岩波講座基礎数学の代数の部分すべては読んでいない。
他は、現代数学 群論や現代数学概説Ⅰ位だ。他にも読もうとは考えてはいるが。
あと、以前も書いたと思ったが、私は数学科の学生や数学科卒ではない。
スレ主と同じように独学。
597:１３２人目の素数さん
16/09/12 15:58:15.91 kZQ9HXru.net
>>548
現代数学概説Ⅰは、定義の部分も行間を埋めて読むところがあるような本である。
アナタが納得いくように定義を書くとなると、多分長くなる。
そうすると、定義をここに書くのが面倒だから、>>542で、
現代数学概説Ⅰを読んでないなら読んでみるといい
と書いたのだ。現代数学概説Ⅰは基本的にはブルバキ流のやり方になっている。
598:１３２人目の素数さん
16/09/12 15:58:36.16 fkH8Ufcj.net
数学専攻の常識が無いのなら、
こういう時こそネット検索するべきだろ。
語学で例文を、語釈を探す要領で。
用例、定義が大量にヒットする。
検索コピペ厨のスレ主みたいになっても困るが。
599:１３２人目の素数さん
16/09/12 16:19:39.81 4CU1ruGB.net
>>551
少なくとも俺には
＞>>427と同様にして、R^N に以下のようにして同値関係～を定義する。
＞s＝(s_1,s_2,s_3,…)，s'＝(s'_1,s'_2,s'_3,…)∈R^N に対して、
＞s～s' ⇔ ∃n_0≧1, ∀n≧n_0 [ s_n＝s'_n ]。
この定義からどうやってR^N/～上に関係～を持ち込んだのかまったくわからないのだが
ここからΓ(s)～{s}になることを説明しろよ
600:１３２人目の素数さん
16/09/12 16:19:47.54 XuCvpGz+.net
>>551
少なくとも俺には
＞>>427と同様にして、R^N に以下のようにして同値関係～を定義する。
＞s＝(s_1,s_2,s_3,…)，s'＝(s'_1,s'_2,s'_3,…)∈R^N に対して、
＞s～s' ⇔ ∃n_0≧1, ∀n≧n_0 [ s_n＝s'_n ]。
この定義からどうやってR^N/～上に関係～を持ち込んだのかまったくわからないのだが
ここからΓ(s)～{s}になることを説明しろよ
601:１３２人目の素数さん
16/09/12 17:00:10.60 kZQ9HXru.net
>>553-554
R^N からMへの標準的な全射 f：R^N→M s→Γ(s) は全単射だから、
通常は M＝R^N/～ 上に関係「＝」を持ち込んで、Γ(s)＝{s} のときは、
sと {s} を、つまり R^N とMとを同一視して、Γ(s)＝s として扱う。
このやり方に倣うと、同様に f：R^N→M s→Γ(s) は全単射であって、
～は関係だから、M＝R^N/～ 上に関係「～」を持ち込んで、
Γ(s)～{s} のときは、sと {s} を、つまり R^N とMとを同一視して、
Γ(s)～s として扱えると考えた。その説明を>>537に書き、
この説明は、現代数学概説Ⅰに沿った説明。
602:１３２人目の素数さん
16/09/12 17:06:33.94 XuCvpGz+.net
>>555
＞>>553-554
＞R^N からMへの標準的な全射 f：R^N→M s→Γ(s) は全単射だから、
なんで？
603:１３２人目の素数さん
16/09/12 17:44:51.78 kZQ9HXru.net
>>556
s,s'∈R^N に対して Γ(s)＝Γ(s') とする。すると、対応の定義から
R^N からMへの対応 Γ の逆対応 Γ^{-1} はMから R^N への対応になる。
Γ^{-1}(Γ(s))＝Γ^{-1}(Γ(s')) から (Γ○Γ^{-1})(s)＝(Γ○Γ^{-1})(s') で、
I_{R^N}(s)＝I_{R^N}(s') だから、s＝s'。従って、Γは R^N からMへの単射になる。
そして、Γは R^N からMへの全射になる。だから、Γは R^N からMへの全単射。
従って、f：R^N→M s→Γ(s) の定義から、fは R^N からMへの全単射になる。
これも現代数学概説Ⅰに則っている。もう、今日は寝る。
604:１３２人目の素数さん
16/09/12 22:40:42.01 XuCvpGz+.net
>>557
Rに以下のようにして同値関係～を定義する。s，s'∈R に対して、
s～s' ⇔ s-s'∈R
この～が実際に同値関係になっていることの証明は省略。
s∈R に対して、sの同値類を Γ(s) と書くことにする。
すなわち、Γ(s)＝{ t∈R｜s～t } と定義する。Γ(s)⊂R である。次に、
M＝{ A⊂R｜∃s∈R [ A＝Γ(s) ] } ( ＝ R/～ )
とおく。確かに、Mは R の～に関する商集合である。
s,s'∈R に対して Γ(s)＝Γ(s') とする。すると、対応の定義から
R からMへの対応 Γ の逆対応 Γ^{-1} はMから R への対応になる。
Γ^{-1}(Γ(s))＝Γ^{-1}(Γ(s')) から (Γ○Γ^{-1})(s)＝(Γ○Γ^{-1})(s') で、
I_{R}(s)＝I_{R}(s') だから、s＝s'。従って、Γは R からMへの単射になる。
そして、Γは R からMへの全射になる。だから、Γは R からMへの全単射。
従って、f：R→M s|→Γ(s) の定義から、fは R からMへの全単射になる。
なるほど、こんなことも証明できるのか
605:１３２人目の素数さん
16/09/13 14:47:38.26 IX7Ou+oF.net
>>558
その同値関係のもとではMは1元集合だから、
fは明らかに全単射にならず、おかしいって言いたいんでしょ
でも誤答おじさんはバカだから気づいてないと思うよ
606:１３２人目の素数さん
16/09/13 21:51:34.85 K5s+tpXB.net
>>558-559
誤答おじさんはお馬鹿だけどスレ主と違って悪者じゃない。
あまりいじめないように・・・
607:１３２人目の素数さん
16/09/14 03:04:04.07 O/W/lQyd.net
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
608:１３２人目の素数さん
16/09/14 05:14:02.14 0iDsebHn.net
>>558-559
おっちゃんだ。どうせ、f：R^N→M s→Γ(s) が R^N からMへの
全単射なることを示すには、やはり基本に忠実に
(1)：任意の Γ(s)∈M s∈R^N に対して f(s)＝Γ(s) なること
(2)：s,s'∈R^N に対して f(s)＝f(s') のとき s＝s' なること
の2点を示さないといけません、といいたい訳だろ。そのことは、お見通しだ。
一昨日>>558を見て気付いたよ。>>557書いたときも、
何かいつもと違う論法を使って全単射性を示していると感じたのだ。>>557の
>従って、f：R^N→M s→Γ(s) の定義から、fは R^N からMへの全単射になる。
という判断は(1)、(2)を示してなく飛躍があって間違いだ。
609:１３２人目の素数さん
16/09/14 05:32:25.45 0iDsebHn.net
いや、「一昨日」ではなく「昨日」か。
まあ、そこら辺はどうでもいいんだが。
610:１３２人目の素数さん
16/09/14 12:53:34.64 NYbOXgmW.net
お見通しだ。じゃなくて常識的な感覚として商集合への自然な写像が全単射になることがどういうことかわかってないのか
611:１３２人目の素数さん
16/09/14 13:07:01.58 ag8WKWX4.net
ダブり無し、漏れ無しの完全代表系ならな
612:１３２人目の素数さん
16/09/14 13:58:02.12 0iDsebHn.net
>>564-565
>>557の場合は R^N と R^N/～ とを同一視出来ることになる。
>>558では R と R/～ とを同一視出来ることになる。
だが、R と R/～ の同一視はムリ。
613:１３２人目の素数さん
16/09/14 15:10:15.20 0iDsebHn.net
まったく、完全代表系を持ち出さなくても時枝記事は理解出来るのに、
>>530は一体何をいっているんだ。標準的な全射が全単射fのときは、
fの定義域と地域を同一視して、fは恒等写像と考えることが多いのだ。
代数についても同様。代数に必ず完全代表系を持ち出さないといけないなら、
マトモな岩波講座基礎数学の代数の分冊とかが存在する訳がない。
614:１３２人目の素数さん
16/09/14 15:19:50.58 0iDsebHn.net
>>567の訂正：
fの定義域と地域 → fの定義域と値域
615:１３２人目の素数さん
16/09/14 15:25:13.69 NYbOXgmW.net
>>567
Zに同値関係～を次のように定めよう:
x～y⇔|x|=|y|
このとき、ZとZ/～の間に全単射はあるか？
また、この同値関係から定まる自然な写像は全単射か？
616:￥ ◆2VB8wsVUoo
16/09/14 15:28:20.81 H6bVav0z.net
￥
>287 名前：１３２人目の素数さん ：2016/09/13(火) 10:52:30.44 ID:rMlOB3oq
> 痴漢でもなんでも、業績を上げていれば世間はほっておかない。
> 哲也がヤケッパチになったのは、自分がただの有象無象の一人に過ぎないことを思い知ったから。
> 痴漢行為はヤケッパチになった結果としての所業だろう。
>
617:１３２人目の素数さん
16/09/14 15:46:38.43 0iDsebHn.net
>>570
絶対値の定義から、Zと Z/～ との間に全単射は存在しない。
そして、標準的な全射は全単射ではない。
618:１３２人目の素数さん
16/09/14 15:50:26.92 RwWbIjbq.net
とん♪ ちん♪ か～ん♪
619:１３２人目の素数さん
16/09/14 15:52:26.42 0iDsebHn.net
>>569
>>571は>>570ではなく、>>569宛てのレス。
620:１３２人目の素数さん
16/09/14 16:05:38.32 0iDsebHn.net
>>569
あ～、>>562と同様にして
Zと Z/～ との間に全単射が存在することは構成的に示せるな。
だが、標準的な全射は全単射ではない。
621:１３２人目の素数さん
16/09/14 16:23:00.21 0iDsebHn.net
>>569
>>571(>>573)は取り下げで、>>574が>>569への解答。
622:１３２人目の素数さん
16/09/14 16:47:16.92 0iDsebHn.net
>>569
>>574の
>だが、標準的な全射は全単射ではない。
は
>そして、標準的な全射は全単射で「ある」。
と訂正。定義から自然に従うな。>>557や>>562と同様にして示せる。
623:１３２人目の素数さん
16/09/14 17:10:01.91 0iDsebHn.net
>>569
あっ幾度も失礼。1≠-1 だが、Γ(1)＝Γ(-1)＝{a∈Z|a～b} a,bは両方1か-1
だから、>>557や>>562と同様な論法は通用しないな。そして
Zと Z/～ との間に全単射が存在せず、従って、標準的な全射は全射だな。
624:１３２人目の素数さん
16/09/14 17:17:38.45 0iDsebHn.net
>>569
結局、Zと Z/～ との間には全射が存在して単射は存在せず、
従って、標準的な全射は全射のままだな。あと、>>577の
>Γ(1)＝Γ(-1)＝{a∈Z|a～b} a,bは両方1か-1
の部分は「Γ(1)＝Γ(-1)」に訂正。
625:１３２人目の素数さん
16/09/14 19:13:22.02 CGNa9jTp.net
読まされる身にもなれ馬鹿
とりあえずいきなり掲示板に書き込むのは止めてローカルでテキストに書き込め
そしてそれを1時間かけて見直しておkなら掲示板に書け
お前は幼稚園児かよ、こんなこと指摘させて
626:￥ ◆2VB8wsVUoo
16/09/14 19:25:31.95 H6bVav0z.net
￥
>287 名前：１３２人目の素数さん ：2016/09/13(火) 10:52:30.44 ID:rMlOB3oq
> 痴漢でもなんでも、業績を上げていれば世間はほっておかない。
> 哲也がヤケッパチになったのは、自分がただの有象無象の一人に過ぎないことを思い知ったから。
> 痴漢行為はヤケッパチになった結果としての所業だろう。
>
627:￥ ◆2VB8wsVUoo
16/09/14 21:33:45.28 H6bVav0z.net
￥
628:￥ ◆2VB8wsVUoo
16/09/14 21:34:01.90 H6bVav0z.net
￥
629:￥ ◆2VB8wsVUoo
16/09/14 21:34:17.43 H6bVav0z.net
￥
630:￥ ◆2VB8wsVUoo
16/09/14 21:34:33.18 H6bVav0z.net
￥
631:￥ ◆2VB8wsVUoo
16/09/14 21:34:49.56 H6bVav0z.net
￥
632:￥ ◆2VB8wsVUoo
16/09/14 21:35:06.15 H6bVav0z.net
￥
633:￥ ◆2VB8wsVUoo
16/09/14 21:35:21.97 H6bVav0z.net
￥
634:￥ ◆2VB8wsVUoo
16/09/14 21:35:37.71 H6bVav0z.net
￥
635:￥ ◆2VB8wsVUoo
16/09/14 21:36:37.89 H6bVav0z.net
￥
636:￥ ◆2VB8wsVUoo
16/09/14 21:36:54.10 H6bVav0z.net
￥
637:１３２人目の素数さん
16/09/15 00:02:00.51 d2NKlTnN.net
だから言ったろ。
幼稚園児と一緒。
馬鹿だけど悪者じゃないんだよ。
638:￥ ◆2VB8wsVUoo
16/09/15 07:37:07.81 HV+wpZ9q.net
￥
639:￥ ◆2VB8wsVUoo
16/09/15 10:41:39.61 HV+wpZ9q.net
￥
640:１３２人目の素数さん
16/09/15 10:48:18.71 ZPdHCWag.net
こんな程度の脳力のやつに
「現代数学概説読んでます！」
ってドヤ顔されてもな
本の価値が下がるだけだ
641:￥ ◆2VB8wsVUoo
16/09/15 10:59:48.19 HV+wpZ9q.net
￥
>287 名前：１３２人目の素数さん ：2016/09/13(火) 10:52:30.44 ID:rMlOB3oq
> 痴漢でもなんでも、業績を上げていれば世間はほっておかない。
> 哲也がヤケッパチになったのは、自分がただの有象無象の一人に過ぎないことを思い知ったから。
> 痴漢行為はヤケッパチになった結果としての所業だろう。
>
642:１３２人目の素数さん
16/09/15 11:00:22.02 VH4YrUXL.net
おっちゃんです。
まあ、矛盾が生じるから、>>536-538の試みはムリで>>557や>>562の論法は間違いだな。
定義に沿って f：R^N→M s→Γ(s) が全単射なることを示すには
R^N とMの各濃度が等しいことも示す必要があるな。これを忘れていたな。
>579
>こんなこと指摘させて
「完全代表系」で検索したら、完全代表系が何故か集合論より
代数で使われていることは分かった。剰余群や剰余環、表現論とかで使われるようだ。
「完全代表系 集合論」で検索しても、代数とかで使われているのが分かる。
しかし不思議なのは、完全代表系の参考書が余り見当たらない。
URLﾘﾝｸ(math.shinshu-u.ac.jp)
URLﾘﾝｸ(subsite.ic)
643:u.ac.jp/people/hsuzuki/science/class/algebra1/algebra1_lecturenote-j.pdf によると永尾汎の群論？ (手元にない) ttp://www.math.sci.osaka-u.ac.jp/~ochiai/gptheory05.pdf によると、森田康夫著「代数学概論」(裳華房)？ (手元にない)。 岩波講座現代数学の基礎「群論」 (見たことはあるが、載っていたっけ)。 完全代表系は現代数学概説Ⅰ、Ⅱには載っていない。 概念として存在する以上、それなりの理論はある筈。 普通に考えれば、概念として存在する以上、 主に集合論を解説しながら完全代表系を解説している参考書はある筈。 一体完全代表系が載っているマトモな参考書って何なんだ？
644:￥ ◆2VB8wsVUoo
16/09/15 11:02:20.05 HV+wpZ9q.net
￥
>287 名前：１３２人目の素数さん ：2016/09/13(火) 10:52:30.44 ID:rMlOB3oq
> 痴漢でもなんでも、業績を上げていれば世間はほっておかない。
> 哲也がヤケッパチになったのは、自分がただの有象無象の一人に過ぎないことを思い知ったから。
> 痴漢行為はヤケッパチになった結果としての所業だろう。
>
645:１３２人目の素数さん
16/09/15 11:11:22.94 VH4YrUXL.net
いや、>>596のはじめの方の
>定義に沿って f：R^N→M s→Γ(s) が全単射なることを示すには
>R^N とMの各濃度が等しいこともを示す必要があるな。これを忘れていたな。
の部分は間違いで、省略する。
646:￥ ◆2VB8wsVUoo
16/09/15 11:37:40.19 HV+wpZ9q.net
￥
>287 名前：１３２人目の素数さん ：2016/09/13(火) 10:52:30.44 ID:rMlOB3oq
> 痴漢でもなんでも、業績を上げていれば世間はほっておかない。
> 哲也がヤケッパチになったのは、自分がただの有象無象の一人に過ぎないことを思い知ったから。
> 痴漢行為はヤケッパチになった結果としての所業だろう。
>
647:￥ ◆2VB8wsVUoo
16/09/15 12:05:05.62 HV+wpZ9q.net
￥
648:￥ ◆2VB8wsVUoo
16/09/15 12:05:24.26 HV+wpZ9q.net
￥
649:￥ ◆2VB8wsVUoo
16/09/15 12:05:43.77 HV+wpZ9q.net
￥
650:￥ ◆2VB8wsVUoo
16/09/15 12:05:59.94 HV+wpZ9q.net
￥
651:￥ ◆2VB8wsVUoo
16/09/15 12:06:15.34 HV+wpZ9q.net
￥
652:￥ ◆2VB8wsVUoo
16/09/15 12:06:31.55 HV+wpZ9q.net
￥
653:￥ ◆2VB8wsVUoo
16/09/15 12:07:06.24 HV+wpZ9q.net
￥
654:￥ ◆2VB8wsVUoo
16/09/15 12:07:24.79 HV+wpZ9q.net
￥
655:￥ ◆2VB8wsVUoo
16/09/15 12:07:44.41 HV+wpZ9q.net
￥
656:￥ ◆2VB8wsVUoo
16/09/15 12:08:02.76 HV+wpZ9q.net
￥
657:￥ ◆2VB8wsVUoo
16/09/16 01:13:58.66 Lx0ol+eh.net
￥
658:￥ ◆2VB8wsVUoo
16/09/16 05:18:37.25 Lx0ol+eh.net
￥
659:１３２人目の素数さん
16/09/16 18:04:48.12 gx0nsTam.net
おっちゃんです。
現代数学概説Ⅰを読み返したら、なんと「完全代表系」に当たる概念が載っていた。
「充満な部分集合」という概念のようだ。
「完全代表系」と「充満な部分集合」の名称にギャップがあって、
wikiとも違うやり方で理論展開しているから、載っていないとばかり思っていたら、
「充満な部分集合」という概念で載っていた。示した例題を忘れていた。
すごいね、現代数学概説Ⅰ。
660:１３２人目の素数さん
16/09/16 20:06:51.21 TD55buxx.net
URLﾘﾝｸ(resistance333.web.fc2.com)
661:￥ ◆2VB8wsVUoo
16/09/16 20:55:33.56 Lx0ol+eh.net
￥
>414 名前：１３２人目の素数さん ：2016/09/15(木) 12:12:20.88 ID:zW1tnm+Q
> 痴漢でもなんでも、業績を上げていれば世間はほっておかない。
> 哲也がヤケッパチになったのは、自分がただの有象無象の一人に過ぎないことを思い知ったから。
> 痴漢行為はヤケッパチになった結果としての所業だろう。
>
662:￥ ◆2VB8wsVUoo
16/09/16 21:01:42.60 Lx0ol+eh.net
￥
663:￥ ◆2VB8wsVUoo
16/09/16 21:01:59.97 Lx0ol+eh.net
￥
664:￥ ◆2VB8wsVUoo
16/09/16 21:02:18.34 Lx0ol+eh.net
￥
665:￥ ◆2VB8wsVUoo
16/09/16 21:02:34.80 Lx0ol+eh.net
￥
666:￥ ◆2VB8wsVUoo
16/09/16 21:02:50.10 Lx0ol+eh.net
￥
667:￥ ◆2VB8wsVUoo
16/09/16 21:03:05.74 Lx0ol+eh.net
￥
668:￥ ◆2VB8wsVUoo
16/09/16 21:04:27.88 Lx0ol+eh.net
￥
669:￥ ◆2VB8wsVUoo
16/09/16 21:04:46.72 Lx0ol+eh.net
￥
670:￥ ◆2VB8wsVUoo
16/09/16 21:05:05.53 Lx0ol+eh.net
￥
671:￥ ◆2VB8wsVUoo
16/09/16 21:05:23.12 Lx0ol+eh.net
￥
672:１３２人目の素数さん
16/09/17 06:44:41.96 MokdApDK.net
URLﾘﾝｸ(www.amazon.co.jp)
現代数学概説〈1〉 (現代数学 1) 単行本 ? 1961/7/31 彌永 昌吉 (著), 小平 邦彦 (著)
カスタマーレビュー
5つ星のうち 1.0岩波教養主義の典型
投稿者 カスタマー 投稿日 2004/5/14
本書は、集合論、代数系のおよびカテゴリの各々初歩部分を扱っているが、記述が中途半端かつ不親切でわかりにくい上に、内容が陳腐化してしまっている。
現在、この本を使用する数学専攻課程が存在するとは思えないし、理工系の他分野の学生や研究者の役に立つとも考えにくい。
因みに、
例えば集合論初歩に関しては、Bredon "Topology and Geometry" の付録
また代数系やカテゴリに関しては、Cohn "Algebra" 或いは Jacobson "Basic Algebra"の必要な部分
を参照すれば十分である。 、
率直に言って本書は岩波教養主義の悪しき典型であり、特別な目
673:的がある場合以外、本書を購入する意味は皆無である。 1 コメント 20人のお客様がこれが役に立ったと考えています. https://www.amazon.co.jp/%E7%8F%BE%E4%BB%A3%E6%95%B0%E5%AD%A6%E6%A6%82%E8%AA%AC%E3%80%882%E3%80%89-%E7%8F%BE%E4%BB%A3%E6%95%B0%E5%AD%A6-2-%E6%B2%B3%E7%94%B0-%E6%95%AC%E7%BE%A9/dp/4000052918 現代数学概説〈2〉 (現代数学 2) 単行本 ? 1965/5/31 河田 敬義 (著), 三村 征雄 (著) トップカスタマーレビュー 5つ星のうち 4.0位相構造および測度の透明感のある(だから見るのがたいへん)教科書 投稿者 ido 投稿日 2012/6/9 Amazonで購入 定義/定理?＞証明?＞次の定義/定理?＞... の形式の教科書です ブルバキ時代にはやりましたね^_^ だから、何も知らない人がここから学習を始めるというのはちょっと大変かも 定義/定理の意義を考えることは基本的に学習者にゆだねられています 図もほとんどつけてありません 具体的なイメージではもうちゃんと理解している学習者が、論理的裏づけを確認して知識をきれいに整理しようと思った時に役立てるといいと思います 略
674:１３２人目の素数さん
16/09/17 06:46:05.85 MokdApDK.net
古いよ
675:１３２人目の素数さん
16/09/17 07:23:11.75 MokdApDK.net
Tさん、そろそろ覚醒か？
676:１３２人目の素数さん
16/09/17 07:33:36.51 MokdApDK.net
>>527-528 に書いたように、英語圏では、民間伝承に近いPUZZLESであったりriddle（なぞなぞの意）であったりしたわけだ
だから、日本語圏のような「時枝さまの記事だ！」というバイアス抜きで、素直に論られている
PUZZLESであったりriddle（なぞなぞの意）であったり、日本語圏でも「与太話」という人がいた
「時枝は確率論詳しくない」と、切った人もいた
時枝自身も書いているように、"n番目の箱にXnのランダムな値を入れられて・・・当てられっこないではないか－－他の箱から情報は一切もらえないのだから"と
つまりは、この解法が成り立てば、「他の箱から情報は一切もらえない」という可算無限数列は、現代数学では存在しえないことになる
”「他の箱から情報は一切もらえない」という可算無限数列は、現代数学では存在しえない”という命題が正しいのか
はたまた、”この解法は成り立たない”という命題が正しいのか
少し確率論を勉強すればすぐ分かる
だから、プロの数学者は相手にしない
677:１３２人目の素数さん
16/09/17 07:36:02.29 MokdApDK.net
が、成り立たないことは明白でも、なぜ成り立つように見えるのか
そこが面白いと思った次第だ
また、英語圏でもいろいろ論じられているらしいから、このスレの議論も、無駄ではないなと
678:１３２人目の素数さん
16/09/17 07:40:37.15 MokdApDK.net
順序数を持ち出したボク、なかなか良いね
面白かった
URLﾘﾝｸ(ja.math.wikia.com)
(抜粋)
順序数 (Ordinal number) とは、ゲオルク・カントールによる自然数を拡張した概念であり、整列集合の順序型である[1]。
フォン・ノイマンによる定義
出典 編集
[1] Ordinal Number - MathWorld URLﾘﾝｸ(mathworld.wolfram.com)
679:１３２人目の素数さん
16/09/17 07:45:01.52 MokdApDK.net
つづき
有限でない順序数を超限順序数 (transfinite ordinal) と言う。最初の超限順序数は、ω と表記され、自然数全体の集合 N= {0,1,2,3,・・・} の順序型である。これは、カントールが定義した超限数 (transfinite number) の中で最小である。
記号 要素 説明
ω {0, 1, 2, ...} すべての有限な順序数の集合
ω+1 {0, 1, 2, ..., ω}
680:
681:１３２人目の素数さん
16/09/17 08:13:09.27 MokdApDK.net
前スレ32より
時枝問題（数学セミナー2015.11月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.」
”可算無限個ある.箱”なので、箱に連番を振れば、自然数全体の集合 N= {0,1,2,3,・・・}であり、これはωだな
さて、ヒルベルトの無限ホテルのパラドックス（ Hilbert’s paradox of the Grand Hotel ）
URLﾘﾝｸ(ja.wikipedia.org)
で、時枝記事 前スレ32より「どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.もちろんでたらめだって構わない.」だった
まあ、無限ホテルの各部屋が満員で、それぞれ泊まっている人が勝手に数字を書いたと思え
それで可算無限個の数からなる数列ができる。それをS1としよう。数列S1の長さは、ωだ
数列S1のコピーを作って連結し、S2＝S1+S1 (ここで+は数列の連結を意味する)を作る。数列S2の長さは、ω+ωだ(もちろんこれも可算無限)
ここで、後ろの数列+S1を固定し、前半のS1をシャッフルしてS1’を作る。ここで機械を使ってランダムにシャッフルしたとする。S1’がどうなったかだれも知らないとする
ここで、時枝問題の決定番号を考えると、数列S1+S1と数列S1’+S1S2との対比の最大値は明らかにωだ
それはおかしいと、納得できないという人がいるかも知れないが、そういう人は、ヒルベルトの無限ホテルのパラドックスを熟読願いたい
682:１３２人目の素数さん
16/09/17 08:15:51.58 MokdApDK.net
>>526に書いたように、例えばシミュレーションをやってみようとすると、決定番号の値域や分布が問題になる
決定番号の値域は、１～ω ってことだな
683:１３２人目の素数さん
16/09/17 08:16:23.42 MokdApDK.net
>>534
684:１３２人目の素数さん
16/09/17 08:19:25.13 MokdApDK.net
誤爆スマソ。書く前に投稿してしまった（＾＾；
>>534
>スレ主がやっているように無限大を自然数の延長として扱おうとするのならば自然数の全てを数え終わることを
>仮定しなければいけないがスレ主はどのようにすれば自然数の全てを数え終わるとみなせるかを示していない
良い質問だ
時枝問題関連で勉強したところによれば、それは公理だよ
基礎論（特にペアノ）を勉強しな
685:１３２人目の素数さん
16/09/17 08:23:16.93 MokdApDK.net
>>630-633
ここで書いたことは、一つの数列についてだ
だから、完全代表系の理論は不要だ
その意味で「完全代表系を持ち出さなくても時枝記事は理解出来るのに、>>530は一体何をいっているんだ」>>567には賛成だ
686:１３２人目の素数さん
16/09/17 08:30:32.14 MokdApDK.net
￥さん退屈しているみたいだから
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
No.1723 経路積分と超局所解析の入門 Introduction to Path Integrals and Microlocal Analysis RIMS 共同研究報告集 2010/05/25～2010/05/28 熊ノ郷 直人
目 次
1. 経路積分入門 : 経路積分, 虚数時間の場合も 1
金沢大学 一瀬 孝
2. A Remainder Estimate of Stationary Phase Method for Oscillatory Integrals over a Space of Large Dimension and Its Application to Feynman Path Integrals (Introduction to Path Integrals and Microlocal Analysis
687:)---23 学習院大学理学部 藤原 大輔 3. ホワイトノイズ解析による経路積分への入門 48 名古屋大学・名城大学 飛田 武幸 4. ガウス過程に対する経路積分 : 時間分割近似法による経路空間上の解析として -55 工学院大学工学部 熊ノ郷 直人 5. シュレディンガー方程式に対する経路積分 : ベクトル値の経路積分を考える 79 お茶の水女子大学人間文化創成科学研究科 古谷 希世子 6. 複素領域での非線型偏微分方程式の解の特異点について --101 上智大学理工学部 田原 秀敏 7. 双曲型方程式の超局所解とその例 -110 東京工科大学コンピュータサイエンス学部 千葉 康生 8. 渦層, 佐藤超関数, 擬微分作用素 -115 防衛大学校数学教育室 打越 敬祐 9. 超局所解析から見た完全WKB解析入門 --125 近畿大学理工学部 青木 貴史 10. A System of Fifth-Order Nonlinear Partial Differential Equations and a Surface Which Contains Many Circles (Introduction to Path Integrals and Microlocal Analysis)---142 東京大学大学院数理科学研究科 / 東京学芸大学教育学部 片岡 清臣 / 竹内 伸子 11. 無限階擬微分作用素の表象理論 -150 日本大学理工学部一般教育数学系列 山崎 晋 12. 有界超函数と周期線形函数方程式について --179 千葉大学大学院理学研究科 岡田 靖則
688:１３２人目の素数さん
16/09/17 08:39:15.72 MokdApDK.net
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
経路積分入門 : 経路積分, 虚数時間の場合も 金沢大学 一瀬 孝 数理解析研究所講究録 第1723 巻2011 年1-22
(抜粋)
P14
Euclidian space-time scalar 場の量子論が構築できれば，そこから本来のMinkowski 時空の
scalar 場の量子論へ，所謂Osterwalder-Schrader の公理に基づいて移行することができること
になっている．従って，Minkowski 時空3 次元以下のscalar 場の量子論は数学的に存在する．
しかし，4 次元の場合は存在しないらしいが，まだ完全な決着はついていない．
scalar 場よりも，もっと物理的なTomonaga, Schwinger, Feynman 及びDyson によって建設さ
れた量子電磁力学QED (Quantumelectrodynamics) も，まだ数学的には確立されていない．これ
は，最も簡単で真に重要な，電子と光子の2 粒子のみからなる物理的模型の場の量子論である．
この理論が存在するとして計算された結果が実験とあれ程正確に合うにも係わらずでもある．
また，QED をEuclid 場の量子論として考えたとしても，これに対応するOsterwalder-Schrader
の公理もまだきちんとは整備されていないようである．
勿論，QED を内包より一般なGauge 場の量子論も，まだ数学的には確立されていない．
689:１３２人目の素数さん
16/09/17 08:40:49.47 MokdApDK.net
”scalar 場よりも，もっと物理的なTomonaga, Schwinger, Feynman 及びDyson によって建設さ
れた量子電磁力学QED (Quantumelectrodynamics) も，まだ数学的には確立されていない．”
には、はっとさせられるというか、うーんと唸らされるというか・・・（＾＾；
690:１３２人目の素数さん
16/09/17 08:47:43.44 MokdApDK.net
同
P18
6. スリット実験からもう一度「経路積分」のアイディアをみる
(抜粋)
突然，聡明な学生が質問した．彼を仮に“Feynman” と呼びましょう．
F : 先生
691:，もしこのスクリーンにもうひとつ3 つ目の穴A_{3} を空けたらどうなるのでしょうか(図 5 ) . P: 勿論，その3 つ目の穴を通る確率振幅を足せばよい． 教授が，続けようとすると，Feynman はさえぎって， F: 先生，もし4 つ目，5 つ目の穴をこのスクリーンに空けたらどうなるのでしょうか． 教授は少し忍耐を失いながら， P: よろしい，いい質問だ．すべての穴を通る確率振幅を足せばよい．つまり， 図5.1 つのスクリーンに3 つ目の穴をあける mathcal{A}(Sarrow O)=sum_{i}mathcal{A}(Sarrow A_{i}arrow O) するとFeynman は，すかさずききました． F: 先生，ではもうひとつ2 つ目のスクリーンを置き，それにいくつかの穴を空けたらどうなる のでしょうか． P: その場合は， 図6.2 つのスクリーンにいくつかの穴をあける mathcal{A}(Sarrow O)=sum_{i,j}mathcal{A}(Sarrow A_{i}arrow B_{j}arrow O) となります(図6). Feynman はしつこくきくきく． F: それでは，3 つ目，4 つ目のスクリーンを置いたらどうなるのでしょうか．そして，1 つの スクリーンに無限個(連続無限個!) の穴を空け，その結果そのスクリーンがそこに最早なく なってしまったら，どうなるのでしょうか． 図7. 沢山のスクリーンに沢山の穴をあける 教授はため息をっき， P: 先に行きます．この講義では沢山話すことがあるので． 図8. 無限個のスクリーンに無限個の穴をあける 読者の皆さんは，賢明なる学生“Feynman” が言わんとしたことがお分かりかと思います． つづく
692:１３２人目の素数さん
16/09/17 08:50:23.77 MokdApDK.net
つづき
即
ち，もし1 つのスクリーンに無限個の穴を空け，その結果スクリーンがもうそこには存在し
ないという，彼のobservation は大変面白いものです．Feynman が示したことは，S(source) と
O(detector) の間に何もない(つまり，1 つのスクリーンもない) 空間があるとしても，粒子がS
からO へ伝播する確率振幅は(存在しない) スクリーン達の各々の穴達の各1 つを通って行く
確率振幅達の和になることである．換言すれば，
mathcal{A}(t=0 にS を出発しt=T にO に至る)
= sum_{(paths)}mathcal{A}(t=0 にS を出発し，ある特定の経路を経てt=T にO に至る)
これはS 1 に書いた式(15) K(t,x; O,y)=sum_{X:X(0)=y,X(t)=x}varphi|X] と同じことである．
図9. 経路を連続な折線で近似する
数学的厳密にこだわる人は如何にsum_{(paths)} を定義するかについて心配する．Feynman は
Newton やLeibniz に従った．図9 のように，経路を短い線分達からなる(連続な) 折れ線で近
似する．そして，線分達の長さをzero にする．すると，これは，お互いに無限に近いスクリー
ン達(各スクリーンには無限個の穴が空けられた) が置かれた空間を丁度一杯にしていること
になります．．．．．．．
謝辞．筆者が手描やXerox コピーで用意した本稿の図をtex text 用に変換するに際して，熊
ノ郷直人さんに助けて頂きました．ここに厚くお礼を申し上げます．
まとめ
経路積分(汎関数積分) とは，
すべての経路(場) に渡って「足し上げる」こと
Cf. 統計力学の分配関数(partition function)
おわり
693:１３２人目の素数さん
16/09/17 08:53:33.16 MokdApDK.net
この経路積分の説明は面白いね
Cf. 統計力学の分配関数(partition function)
とあるけれど、統計力学の分配関数の数え上げに、Feynmanダイヤグラムが使えるという論文を見たことがある
694:１３２人目の素数さん
16/09/17 09:03:57.80 MokdApDK.net
過去いろいろ引用させてもらった、飛田武幸先生の論文
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
ホワイトノイズ解析による経路積分への入門 飛田武幸 数理解析研究所講究録 第1723 巻2011 年48-54
(抜粋)
本稿で紹介したいことは，ホワイトノイズ解析における超汎関数の理論を応用して，経路積
分の正当化を行い，か
695:つ多くの場合(すなわち種々のポテンシャルの例) に，具体的な伝達関数 が求められるということである．ポテンシャルがある種の解析的な特異性を持つ場合にまで， ホワイトノイズ解析を適用する我々の方法が活用できることを述べたい． 実を言えば，Feynman integral の正当化への努力は「ホワイトノイズ解析」を提案(Carleton University における講義1975) した一つの理由であった．[5| 参照． 具現化について: 直接には，L. Streit とのdiscussion を基にして数理物理学のBelrin Conf. 1981, でアイディアを発表し，ついで共著の論文|17| となったのがその歴史である． こうして，ホワイトノイズ解析によるPath integral quantization の設定に到達するのである． 実行法は前述のように1983 の論文[17] によることとなるが，それ以後BiBOS 研究所(ド イツ北部) で多くの若いmath-physicists がこの方向でのpath integr の研究で成果をあげてい る．これには，アジア地区からの参加者も多い． その他，文献として M. Masujima [13] 全800 ページ余の大労作，ではChapt.6. Hida distribution approach to path integrtal quantization と題する一つの章を割いている． また，G. Roepstorff [14] では第2 章の一節2.10.4. The Feynman integral as a Hida distribution で取り上げている．Feynman integral をrigorous に定義するためにwhite noise calculus を使うと言っている．
696:１３２人目の素数さん
16/09/17 09:45:16.21 MokdApDK.net
これは面白そうだが、私にはレベルが高すぎるね
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
超局所解析から見た完全WKB解析入門 近畿大学理工学部 青木 貴史 数理解析研究所講究録 第1723 巻2011 年125
(抜粋)
超局所解析と完全WKB 解析は密接に関係している．超局所解析は微分方程式の解の特異性
の余接束上での解析を一つの柱とする．一方，完全WKB 解析では微分方程式の解の大域的性
質を形式解とそのBorel 和の活用により解析する．ともに複素解析的カテゴリーにおける微分
方程式を主たる研究対象としているが，目的および手法は一見異なる．両者の接点から出発し
て完全WKB 解析への一つのアプローチを与えるのが本稿の目的である．完全WKB 解析に関
する教科書と呼べるものは現時点では[10](英訳がAMS から出ている) のみである．超局所
解析に馴染みのある院生・研究者が[10] を読む際に本稿が参考になれば幸いである．本稿の内
容は主に[3], [4], [7], [8], [10], [11] ovalbox{ttsmall REJECT}こ依っているが，本稿の入門的性格から引用文献は限定的
である．原典については各参考文献に引用された文献表を参照されたい．
[10] 河合隆裕，竹井義次，特異摂動の代数解析学、岩波書店2008.
697:１３２人目の素数さん
16/09/17 09:54:09.64 MokdApDK.net
>>632 訂正
ここで、時枝問題の決定番号を考えると、数列S1+S1と数列S1’+S1S2との対比の最大値は明らかにωだ
↓
ここで、時枝問題の決定番号を考えると、数列S1+S1と数列S1’+S1との対比の最大値は明らかにωだ
698:１３２人目の素数さん
16/09/17 10:34:31.96 7qcUPLGZ.net
>>645
妄想乙ｗ
> ここで、時枝問題の決定番号を考えると、数列S1+S1と数列S1’+S1との対比の最大値は明らかにωだ
S1'とS1の連結なる操作によってS1の初項はS1’+S1の何番目に移るんだ？ｗ
S1'+S1がR^Nの元だというならそれが有限値k∈Nであることを示してみろよ。馬鹿タレ。
699:１３２人目の素数さん
16/09/17 11:32:12.47 0cYJvk7I.net
スレ主は有限と無限の区別もついてないから有限値かどうかなん�
700:ﾄ判断できないに決まってるだろ
701:１３２人目の素数さん
16/09/17 12:41:47.19 LAj36Vqt.net
>>632
中学生だってそんなトンデモ書かないぞ
702:１３２人目の素数さん
16/09/17 13:42:49.25 MokdApDK.net
どういうわけか、こんなのが
URLﾘﾝｸ(researchmap.jp)
2011/06/09 Univalent Foundations of Mathematics 研究ブログ 武部尚志
(抜粋)
V. Voevodsky 氏による数学の univalent な基礎付けという講演が経済高等学校数学学部でありました。
私はこの人の仕事は「なんか難しい代数をやっているらしい」という事以上は何も知りませんから、もしタイトルがそういう話だったらパスしていたと思いますが、
何やら思わせぶりな題なので（おまけにアブストラクトとか内容紹介とか何も掲示が無かったので）ご尊顔を拝するだけのつもりで開始時間ギリギリに行ったら、もう教室はいっぱい。
さすがフィールズ賞受賞者の講演です。後から入ってくる学生さん達に押されるように詰めていったら一番前の真ん中の席で聞く羽目になりました。(^^;;
面白かったので（いつもながら分かってませんが）紹介。詳しい内容は上のリンク先をご覧下さい。大雑把に言って数学の基礎を
構成的/非構成的どちらも含み
圏論（高次圏論）の公理化を含め
Martin-Loef の型理論を含み
homotopy 理論の世界を含む
ように作り、コンピューターで証明が出来る（少なくとも証明を検証できる）ようにしたい、という事。2005 年頃に Awodey と彼が独立に (Martin-Loef の) 型理論と homotopy 理論の類似に気がついたのが始まり。
エピソード：ある事の証明に計算機が使えないかと思って数年前に検索してみた。まず Mizar というシステムが見つかった。
これは普通の集合論を基礎にしていて、分かることは分かるが、例えば自然数の集合 {0,1,2,...} と非負整数の集合が等しいことを証明するのも大変（内部的な表現が大きく違う、などのため）。
一方、もう一つ見つけたのが Coq で、これは計算機屋さんはよく使っているが、型理論に基礎を置き最初どうなっているのかさっぱり分からなかった。でも結局上記の如し。
つづく
703:１３２人目の素数さん
16/09/17 13:44:09.72 MokdApDK.net
つづき
分野としては全然違う話ですが、昔、竹崎正道先生が東大に来た時に「Connes は超準解析を勉強しているから、
彼の仕事（多分、von Neumann 環の分類に関する話）には ultraproduct （だったかな）使いまくりですよ。普通の言葉で書き直そうと思えば出来ないことはないけれど、極限だらけになって何をやっているのか分からなくなる」という話をされていたのを思い出しました。
他に、数学セミナーで読んだモデル理論を使った代数幾何の話とか。もっとも、上の "univalent foundation" の話は「基礎論的な話の数学への応用」だけではなく、逆に型理論の方に homotopy 論的な見方を持ち込もうとしている所、計算機上の implementation も考えている所が特徴のようです。
Voevodsky 先生、ある新聞のインタビュー（ロシア語）では「Princeton は教えなくて良いから選んだ」と言っていたので、
704:学生が嫌いなのかな、と思っていたら、質問（こっちの学生さんは誰に対しても活発にいろんなレベルの質問をする）に丁寧に答えていたので、認識を改めました。 話し方も楽しかった。最初のツカミはこんな感じ：「数学はどんどん複雑になってよく分からなくなって論文が間違っている可能性が増えてきた。そりゃそうで、一番面倒な所に間違いがある可能性が高いが、レフェリーが一番読まないのがそういう所だから。」同感。 （引用おわり）
705:１３２人目の素数さん
16/09/17 13:45:50.08 eWCDJYF1.net
>>635
> それは公理だよ
スレ主の停止公理 a.k.a. 思考停止公理
「数学的帰納法による任意の無限数列の出題は完了する」が公理であるとする
>>629
> 成り立たないことは明白でも、なぜ成り立つように見えるのか
スレ主の(思考)停止公理により時枝解法の戦略は成立するから成り立たないと考えること自体が間違いになる
>>633
>>636
> 決定番号の値域は、１～ω ってことだな
> ここで書いたことは、一つの数列についてだ
> だから、完全代表系の理論は不要だ
完全代表系を使えば決定番号がωにならないというのは分かる?
>>632
解答者は決定番号が有限になるように箱を一切開けないで並べ直すことができるので無意味
706:１３２人目の素数さん
16/09/17 14:01:14.49 MokdApDK.net
>>650
関連
URLﾘﾝｸ(konn-san.com)
超積によるコンパクト性定理の証明と超準モデル ─君の知らない自然数─ konn-san.com 2013/03/09
(抜粋)
PDF版
はじめに
超積によるコンパクト性定理の証明や超準モデルの構成が面白いので紹介します．超積とは，L-構造の族 {Ai}i∈I
が与えられたときに，その「殆んど至るところ」で成立するような性質を持つ L-構造を作る方法です．
フィルターとウルトラフィルター
超積を定義するため，まずウルトラフィルターの概念を定義する．任意のブール代数上で定義される概念だが，ここでは冪集合束上のもののみ考えれば十分なため，それに限定して話を進める．
超積の定義と基本性質
いよいよ超積の概念を定義する．「はじめに」述べたように，超積は「殆んど至るところ」で成立する性質を取り出したものであり，フィルターは「大きな集合」の集まりだったから，これらを念頭に置けば次の定義は自然なものだと思えるだろう．以下，言語 L
を一つ固定する．
超積によるコンパクト性定理の証明
有限交叉性を使った証明と，フィルターの性質を使った証明の二種類を紹介する．
自然数の超準モデル
ここでは，超冪を用いて自然数の超準モデルを構成する．超準モデル（non-standard model）というのは，通常期待されるような物と異なるモデルでありながら，一階述語論理の範囲内では全く同じ性質を持つようなモデルのことである．
おわりに
駆け足で超積とその応用を説明した．他にも色々な使いでがあって，Lowenheim-Skolem の定理の証明や，超準解析の公理を満たすモデルを構成するのにも用いる事ができる．Lowenheim-Skolem については江田[4] や田中・坪井・野本[3] が，超準解析については江田[4] や Keisler[2]が参考になるだろう．
707:１３２人目の素数さん
16/09/17 14:11:53.23 MokdApDK.net
>>652
PDF版見ると、前スレで登場の石井大海さん（ Hiromi ISHII ）だった
現代数学の系譜11 ガロア理論を読む21
ｽﾚﾘﾝｸ(math板:780番)
780 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/08/13(土) 15:29:54.27 ID:OzAMei2D [7/18]
(抜粋)
６．ところで、ヴィタリ集合 「R/Q の完全代表系を取るには連続体濃度の族に対するフルパワーの選択公理が必要になる」と石井大海さん（下記）
（ URLﾘﾝｸ(www.math.tsukuba.ac.jp) Lebesgue 可測性に関するSoloay の定理と実数の集合の正則性 石井大海 筑波大学数理物質科学研究科 数学専攻博士前期課程二年 Friday 27th November 数学基礎論若手の会2015 ）
708:１３２人目の素数さん
16/09/17 14:28:31.05 MokdApDK.net
>>646-648
>>524より再録
無限級数に対してよくある誤解
(抜粋)
参考
次の無限はすべて意味が異なる。
（１） 無限級数としての無限
（２） 帰納法としての無限
（３） 無限集合としての無限
（４） 発散としての無限
（５） 広義実数としての無限
これらは混同されることが多い。
(引用おわり)
さて、関数ｆ：ｘ→ｙ ｜ ∀ｘ、∀ｙ∈N（自然数）を考えてみよう
例えば、ｙ＝ｆ（ｘ）
定義域は、自然数全体
値域も、自然数全体
で、そもそも、>>632にあるように、時枝は前提として、「箱がたくさん，可算無限個ある.箱」としている。
だから、箱に連番を振れば、自然数全体の集合 N= {0,1,2,3,・・・}であり、これはωだ
次に、上記である基準数列S0で類別して、商集合U_S0が定まったとする。U_S0に属する任意の数列をS0’とする
S0’により定まる決定番号をｙ＝ｋ（S0’）としよう
ｋ（S0’）は、数列S0’から決定番号を定める関数だ。つまり、ｋ（S0’）：S0’→ｙ ｜ｙ∈N（自然数）
ここで、ｙの取り得る範囲が問題となる
ｙの取り得る範囲に、上限はない
つまり、ｙは値域として自然数全体を渡る。つまり、自然数全体の集合 N= {0,1,2,3,・・・}であり、これはωだ
QED
709:１３２人目の素数さん
16/09/17 14:43:55.65 MokdApDK.net
>>651
Tさんかな？ どなたかと、レベルの高い対話をなさるんじゃないのかね？ 期待して待っているよ（＾＾
>解答者は決定番号が有限になるように箱を一切開けないで並べ直すことができるので無意味
ここだけ
”できる”の意味が問題になる
確かに、数学理論ではできても、確率的にはゼロということがありうる。そして、いま問題になっているのは確率だということを思いだしておくれ（＾＾；
例えば、あなたが、宝くじを１枚買う。１等のくじを買う確率。日常生活では”確率的にはゼロ”と見なす人が多いだろう
さて前振りはこの程度にして、本題
実数の区間（０，１）から、真にランダムに一つ数を選ぶとする
ご存知の通り、有理数の集合の濃度は可算、一方無理数の集合の濃度は非可算
だから、真にランダムに選ぶならば、有理数を選ぶ確率はゼロだ。もちろん、数学理論として選択公理を仮定すれば、有理数を選ぶことは可能としてもだ
この状態を、ルベーグ理論では、零集合というらしい（おっちゃんが以前言っていたね）
URLﾘﾝｸ(commutative.world.coocan.jp)
零集合 - Commutative Weblog 2 あやたろう (2010年11月 8日
(抜粋)
零集合というは、ルベーグ積分のところで述べた測度論で定義される集合であって、m(A) = 0である集合である。
710:１３２人目の素数さん
16/09/17 15:07:32.42 MokdApDK.net
>>632
ヒルベルトの無限ホテルのパラドックス（ Hilbert’s paradox of the Grand Hotel ）
URLﾘﾝｸ(ja.wikipedia.org)
を例にして補足しておく
１．ヒルベルトの無限ホテルで、A棟とB棟と二つあったとする。両棟とも、可算無限の部屋がある
２．一方、区間（０，１）に存在する有理数は可算無限だから、この有理数とA棟とをヒモ付け（全単射）できる
３．同じように、区間（１，２）に存在する有理数と、B棟とをヒモ付け（全単射）できる
４．さて、区間（０，２）存在する有理数（但し１を除く）で、A棟とB棟の全部屋を
711:整列させることができる（∵ 実数に通常の順序を入れることができる） ５．区間（０，２）で、大きい方をあたま、小さい方をシッポとすることで、時枝記事の”可算無限個ある.箱”を構成できる ６．A棟に入っている数は動かさずに、B棟に入っている数をシャッフルすることは可能だ ７．B棟に入っている数をシャッフルして、区間（１，２）の部分のみを変えることは可能だ
712:１３２人目の素数さん
16/09/17 15:15:54.02 eWCDJYF1.net
>>655
> 数学理論ではできても、確率的にはゼロということがありうる。そして、いま問題になっているのは確率だということを思いだしておくれ
>>632の確率は？
> ”できる”の意味が問題になる
できない場合はスレ主が>>632に書いたシャッフルも不可能なので問題にならない
> 成り立たないことは明白でも、なぜ成り立つように見えるのか
時枝解法が成立しない無限数列を出題できるならばその確率は？
713:１３２人目の素数さん
16/09/17 15:21:17.00 MokdApDK.net
>>656
さらに補足しておく
１．区間（０，１）で、分数列 1/2,1/3,1/4,1/5,・・・,1/n,1/(n+1),・・・ を考える。
２．この分数列と、ヒルベルトの無限ホテルのA棟の部屋番号とのヒモ付け（全単射）をする
３．お分かりのように、区間（０，１）で０に近づくほど、分数列の密度はどんどん上がっていく
４．同様に、区間（１，２）ではは、区間（０，１）を＋１平行移動させれば良い。
つまり、分数列 1+1/2,1+1/3,1+1/4,1+1/5,・・・,1+1/n,1+1/(n+1),・・・ を考える
５．区間（１，２）で１に近づくほど、この分数列の密度はどんどん上がっていくんだよ
６．この状態で、B棟の区間（１，２）の範囲のみ、ランダムにシャッフルしたらどうなるか？
かつ、ランダムシャッフルのみならず、B棟の部屋に入る数は任意の実数だと言われていることを思い出してほしい
714:１３２人目の素数さん
16/09/17 15:22:35.12 MokdApDK.net
>>657
はいはい
Tさん、それではレベルの高い議論を期待していますよ（＾＾
715:１３２人目の素数さん
16/09/17 15:25:07.13 eWCDJYF1.net
>>659
Tさんじゃないよ
716:１３２人目の素数さん
16/09/17 15:40:03.37 MokdApDK.net
>>658 訂正
４．同様に、区間（１，２）ではは、
↓
４．同様に、区間（１，２）では、
717:１３２人目の素数さん
16/09/17 15:43:29.71 MokdApDK.net
>>639
>量子電磁力学QED (Quantumelectrodynamics) も，まだ数学的には確立されていない．”
参考
URLﾘﾝｸ(ja.wikipedia.org)
標準模型の歴史
(抜粋)
繰り込みの数学的解釈
繰り込みの導入によって物理的な矛盾は解消できたが、数学的な理論付けは未だなされていない。ファインマン自身、その数学的な妥当性については最後まで満足せずに、"shell game"（いんちき）、"hocus pocus"（奇術）のようだと自著で述べている[21]。
718:１３２人目の素数さん
16/09/17 15:44:31.15 MokdApDK.net
>>660
Tさんじゃないのか？ Tさん、覚醒したのかね？ では（＾＾
719:１３２人目の素数さん
16/09/17 15:56:22.51 MokdApDK.net
>>662 ついで
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
No.874 ホワイトノイズ解析と量子確率論 1993/12/06～1993/12/09 尾畑 伸明
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
3. Boson-Fermion Fock 空間上の無限次元解析(ホワイトノイズ解析と量子確率論)-----20
北海道大学理学部数学教室 新井 朝雄 (Arai, Asao)
超対称的場の量子論(supersymmetric quantum field theory, SSQFT)
SSQFT のいくっかのモデルにおいては, 場の量
子論に特有の“発散の困難” が軽減するという好ましい事実がある2.
2 “発散の困難”’ というのは, 場の量子論において, 摂動論とよばれる, ある種の“
近似的” 計算法で物理量を計算すると無限大に発散する量があらわれて意味のある
値が得られないことをいう. この困難は, 朝永, Schwinger , Feynman らによる
“ くりこみ理論” (renormalization theory) の創始により, 回避され, これによっ
て, 物理理論としての場の量子論は成功を収めた. しかし, 4 次元時空上の相対論
的場の量子論に関するくりこみ理論の非摂動論的で数学的に厳密な基礎づけはなお
もできていない. この問題は4 次元時空における相対論的場の量子論のモデルの数
学的存在を証明する
720:問題一これも未解決の問題一と深く関連している. こうした意 味も含めて, “無限大のくりこみ” を必要としない場の量子論が望まれる. SSQFT はそうした理論のひとっの候補でもある. 場の量子論の数学的理論の現状に関して は[24,31,32,38,43] 等を参照.
721:１３２人目の素数さん
16/09/17 16:18:54.02 MokdApDK.net
>>664
関連
URLﾘﾝｸ(kabuto.phys.sci.osaka-u.ac.jp)
研究会 「 数理連携 １０の根本問題の発掘 」
2011年 12/26 (月) - 12/29 (木) , 理化学研究所 大河内記念ホール
URLﾘﾝｸ(kabuto.phys.sci.osaka-u.ac.jp)
「数学と物性を巡って：超弦理論とソフトマター」
大栗博司（Caltech /東大IPMU）「超弦理論と場の量子論」
＜結論＞（最後のスライド）
２１世紀の宇宙の数学は
場の量?論がブラックホールの物理と
渾然?体となったなかから
?まれてくるのではないだろうか。
URLﾘﾝｸ(kabuto.phys.sci.osaka-u.ac.jp)
URLﾘﾝｸ(kabuto.phys.sci.osaka-u.ac.jp)
橋本幸士
722:１３２人目の素数さん
16/09/17 21:04:36.00 LAj36Vqt.net
コピペで馬鹿は隠せますか？
723:１３２人目の素数さん
16/09/17 21:42:35.28 7qcUPLGZ.net
>>654
> ｋ（S0’）は、数列S0’から決定番号を定める関数だ。つまり、ｋ（S0’）：S0’→ｙ ｜ｙ∈N（自然数）
>
> ここで、ｙの取り得る範囲が問題となる
> ｙの取り得る範囲に、上限はない
> つまり、ｙは値域として自然数全体を渡る。つまり、自然数全体の集合 N= {0,1,2,3,・・・}であり、これはωだ
> QED
笑った。QEDじゃねーだろ馬鹿タレｗ
なんで最後唐突に順序数ωが出てくんの？
集合Nの順序数はω。だから決定番号∈Nはωを取りうる。
とでも言いたいの？ばかじゃねーの？ｗ
笑わせてくれたのでageてやるよ
724:１３２人目の素数さん
16/09/17 22:02:53.95 7qcUPLGZ.net
おい馬鹿スレ主、>>646から逃げないで回答してくれよｗ
> >>645
> 妄想乙ｗ
>
> > ここで、時枝問題の決定番号を考えると、数列S1+S1と数列S1’+S1との対比の最大値は明らかにωだ
> S1'とS1の連結なる操作によってS1の初項はS1’+S1の何番目に移るんだ？ｗ
> S1'+S1がR^Nの元だというならそれが有限値k∈Nであることを示してみろよ。馬鹿タレ。
記事が考えているのはR^N（R^ωとも書く。cf. URLﾘﾝｸ(en.wikipedia.org)）だ。
R^(ω+ω)ではない。つまり添え字にωは現れない。
お前の言う>>645の連結なる操作によってS1'+S1はR^Nの元になるというなら、証明しろ。
ああ言っとくけど自分で証明しなくていいんだぞｗ
下のようにして作ったS1+S1'がR^Nの元であることを証明している査読付き論文を見つけてこいやｗ
>>632
> まあ、無限ホテルの各部屋が満員で、それぞれ泊まっている人が勝手に数字を書いたと思え
> それで可算無限個の数からなる数列ができる。それをS1としよう。数列S1の長さは、ωだ
>
> 数列S1のコピーを作って連結し、S2＝S1+S1 (ここで+は数列の連結を意味する)を作る。数列S2の長さは、ω+ωだ(もちろんこれも可算無限)
> ここで、後ろの数列+S1を固定し、前半のS1をシャッフルしてS1’を作る。ここで機械を使ってランダムにシャッフルしたとする。S1’がどうなったかだれも知らないとする