18/11/30 19:47:44.09 PMoJORvB.net
>>18
スレ主は確率論が選択公理と矛盾するといいたいのか？
選択公理が成立するなら同値類の代表元がとれる
どの列も代表元との間の決定番号は自然数になる
だって同値関係があるんだから
同値類の代表元がとれると確率論と矛盾するといいたいのか？
それは今の数学とは全く異なる「新数学」の提案なんだが
115:１３２人目の素数さん
18/11/30 19:50:22.25 PMoJORvB.net
>>19
函数の同値類を使っても
選択公理が成立する限り
時枝論法は成立するが
逆に同値類の代表元がとれると
確率論と矛盾するというなら
それは「新数学」の提案だが
116:１３２人目の素数さん
18/11/30 21:33:11.71 akxzMLBf.net
>>99-100
スレ主の「確率論」だと同値関係がなりたつ確率が0なんだってさ
ｽﾚﾘﾝｸ(math板:452番)
要はこの場合は0(= s(n-1) - s'(n-1))が無限個ならぶことはないということだね
スレ主は「同値類」という単語には反応できるがどのような同値関係を使うか
ということを書かない(書けない)から結局分かっていないのでしょう
117:現代数学の系譜 雑談 古典ガロア理論も読む
18/11/30 22:26:15.69 9O7tqCd2.net
>>99-101
コテ付けないやつは、明日になると、だれがだれか分らんので困る
まともに、レスする気にならんな
そもそも、関数の芽について、コメントしろ
関数の芽は、関数の例えばx=aにおける近傍系の関数の局所同値類
代表を取ることも可能ならば、代表と問題としている関数との一致を示す
決定番号に類似の決定数を、定義することも可能だ（>>25や>>29）
時枝記事と類似の
二つの異なる芽の同値類の決定数の比較で、確率1/2の的中が言えるのかどうか？
100個の異なる芽の同値類の決定数の比較で、確率99/100の的中が言えるのかどうか？
これ、関数が正則でなく、不連続を許す一般関数についてだが
プロ数学者に聞いてみな
こんな確率が成り立つかどうかを
118:１３２人目の素数さん
18/11/30 22:32:19.00 lNvWrExH.net
スレ主のトンデモ数学では決定番号＝∞
119:１３２人目の素数さん
18/11/30 22:44:36.21 lNvWrExH.net
同値関係が成り立つ確率というのも、それが０というのも、それが０だと時枝解法が不成立という理屈も、全て意味ふ
トンデモさんの考えてることはさっぱりわかりましぇーん
120:１３２人目の素数さん
18/11/30 22:55:39.56 akxzMLBf.net
>>102
> 定義することも可能だ
そもそもどのような同値関係を使うのかが書いていないじゃないか
> 確率1/2の的中が言えるのかどうか？
ｽﾚﾘﾝｸ(math板:169番)
に書いてあるのも同じことだよ
定数関数だったら1点の値から定数関数を復元することができるわけでしょう
だから定数部分をとる部分を
> (条件) f(x) = a (x >= 1/q), g(x) = b (x >= 1/q')
と定義すればこの部分で数当ては可能
aは実数で同値類とは無関係に見えるかもしれないが
箱に0から9を入れる数当てを考えてaやbを代表元と思えば良い
121:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 07:55:54.97 7lZuHhq/.net
>>105
> そもそもどのような同値関係を使うのかが書いていないじゃないか
関数の芽 (数学)に使う同値の定義は、下記です（なお、後述の斎藤 恭司先生の定義は、複素解析学における定義です）
補足すれば、
点 xの
近傍系で、U1 ⊃ U2 ⊃ U3・・・⊃ Un
で、より小さな近傍 Unで関数 f と gとが一致すれば、f ～_x g とするのが、定義です
時枝の数列との関係では（>>29,>>25に書いた）
１変数の関数で、点 x=0の近傍系で
Un：＝{x | x < 1/n }の開集合を取れば
Unの内部に、点 1/(n+1), 1/(n+2), 1/(n+3),・・・ を含み
これらを、箱の番号 (n+1), (n+2), (n+3),・・・ に対応させる
箱の中の数を、関数値と見れば
f(1/(n+1)), f(1/(n+2)), f(1/(n+3)),・・・
g(1/(n+1)), g(1/(n+2)), g(1/(n+3)),・・・
なので、箱の番号 (n+1)から先の数列のシッポで、f＝g
関数の芽 (数学)に使う同値では、小さな近傍 Un内でf＝gです
これで、時枝の数列のシッポの同値関係を、
関数の芽 (数学)に使う同値関係に埋め込むことができます
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
芽 (数学)
(抜粋)
基本的な定義
位相空間 X の点 x と、2つの写像 f, g: X → Y （ここで Y は任意の集合）が与えられると、
f と g は、x のある近傍 U が存在して
122: U に制限したときに f と g が等しいときに、 つまりすべての u ∈ U に対して f(u) = g(u) であるときに、x で同じ芽 (germ) を定義する。 x で同じ芽を定義することが同値関係であることを確かめることは直截であり、その同値類を芽と呼ぶ。 同値関係は通常 f ～_x g と書かれる。 X 上の写像 f が与えられると、その x での芽は通常 [f]_x と表記される。 したがって、 [f]_x={g： X→ Y | g ～_x f} である。 (引用終り) つづく
123:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 07:56:44.18 7lZuHhq/.net
>>106
つづき
スレ54 ｽﾚﾘﾝｸ(math板:601番)
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
5 斎藤 恭司 述，松本 佳彦 記：複素解析学特論
（ Classical Topics in Complex Analysis of One and Several Variables. Communicated by A. Matsuo) [2009,
(抜粋)
3.4 正則函数の芽のなす層. . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
領域D ⊂ C^n の点 a ∈ D について，次のような集合を考える．
{(U, f) | U はa の開近傍， f はU 上の正則函数}, (3.5)
この集合（以下単に{(U, f)} と書く）に同値関係～ を
(U, f) ～ (V,g) (3.6)
←→a の開近傍 W ⊂U ∩ V であってf|W = g|W であるものが存在する
により導入する．
(引用終り)
以上
124:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 08:18:24.49 7lZuHhq/.net
URLﾘﾝｸ(forcing.nagoya)
>>105
> 定数関数だったら1点の値から定数関数を復元することができるわけでしょう
>aは実数で同値類とは無関係に見えるかもしれないが
>箱に0から9を入れる数当てを考えてaやbを代表元と思えば良い
意味が分らない
箱に0から9の定数関数 例えば f：=5とかを入れると
箱は全て5
数列のシッポも、全て5
代表も5
時枝解法を適用すれば
問題の箱の数は5と推定できる
定数関数であれば、的中できる
定数関数という縛りを外して、
単に箱に0から9を入れる数当てであれば、的中確率は1/10
125:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 08:37:39.10 7lZuHhq/.net
>>108
>URLﾘﾝｸ(forcing.nagoya)
ああこれ、下記の層とコホモロジーで、ミッタクレフラーの定理を扱う話
層とコホモロジーの一般のテキストが、抽象的で分らない
そういう人には、良いんだろうと思った次第
正直、私が斜め読みするには、ちょっとレベルが高いのだが（何日かかかる）
URLﾘﾝｸ(forcing.nagoya)
The Dark Side of Forcing
URLﾘﾝｸ(forcing.nagoya)
The Dark Side of Forcing Vol.3(C86) PDF 2014/08/17
(抜粋)
1変数複素関数論の見直しによる層係数コホモロジー入門
第3 章特異点を与えて正則関数を作る49
3.1 前回までの復習と, 今日のゴール. . . . . . . . . . . . . . . . . . . . . . 49
3.2 ミッタクレフラーの定理. . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.3 コホモロジーの消滅. . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
読書ガイド57
第3 章
特異点を与えて正則関数を作る
足立真訓
3.1 前回までの復習と, 今日のゴール
みなさん, こんにちは. 私ごとから話を始めますが, 2014 年度前期に工学部の学生を対
象とした『複素関数論』の非常勤講師を某大学で担当しました. 複素数の定義から始め,
留数定理をゴールとした, 講義13 回＋試験2 回のコースです. 講義の範囲は, 教科書[1]
のx1.1～x3.3 まで.
話は, この小冊子の周辺の人々の共通言語である, 層とコホモロジーに向かいま
す. ミッタクレフラーの定理は, 層とコホモロジーの言葉ではH1(C;O) = 0 を実質的に
主張します. 層とコホモロジーを初めて学ぶとき, ついついジェネラル・ナンセンスの形
式論の光と闇に目がくらみがちです. この形式論はあくまで機能美であって, これを実際
に使ってみて味わおう, というのが本稿の立場です. 層とコホモロジーの言葉により, ミッ
タクレフラーの定理という実体のある数学的現象が的確に記述されているのだ, という感
覚を得ていただければ, 本稿の目的は達せられたことになります.
(引用終り)
126:１３２人目の素数さん
18/12/01 09:15:02.35 wFNm81h3.net
>>102
頭悪いのにコテつけてる奴ってイタイよな
>>100で述べてるように関数の芽による同値類でも
選択公理によって代表元をとった時点で時枝の勝ち
まず、>>103の「決定番号＝∞」は同値関係を誤解した暴論
こんなん語った時点で自爆死
>>104についていうと、元の列と
選択公理によって選んだ代表元の間で
同値関係が成り立つ確率は１
選択公理が成立する限り否定しようがない
「それ（同値関係が成立する確率）が０」
というのは選択公理の否定
選択公理が否定されるなら時枝解法が不成立かもしれんが
それは非ユークリッド幾何学と同様の
「非選択公理的集合論」という「新数学」
の話だな
127:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 10:30:18.54 7lZuHhq/.net
>>110
いや、>>25&>>29 で言っているのは
時枝の数列のシッポの同値類が
関数の芽におけるx=0の近傍系の同値類に、埋め込める
時枝で、あるシッポの同値類に属する実数列sと、代表sr の比較
関数の芽で同様に、１変数実関数で、同じx=0の近傍系の同値類に属する関数fと、同値類の代表fr の比較
時枝と同じように、関数fと代表fr の比較で、ある近傍U={x| x<1/n}内で、fと代表frが一致する
そのとき、（時枝と同様）決定数d=1/nと定義すると
時枝解法を同様に適用して、
2つの異なる芽の比較で、確率1/2で関数値が的中でき
100個の異なる芽の比較で、決定数の最大値Dを使って、確率99/100で関数値が的中できる
それって、良かったのかな？
多分新説だと思うのだが
どうぞ、函数解析の本を読んで頂ければと思います
（普通は、正則函数なら的中できるとしても、微分可能まで条件を緩めると、的中できない。これ、函数論の常識）
なお、当然選択公理は仮定しています
以上
128:１３２人目の素数さん
18/12/01 10:45:31.47 wFNm81h3.net
>>111
＞それって、良かったのかな？
ええ、選択公理を前提しているなら否定しようがありませんよ
＞普通は、正則函数なら的中できるとしても、
読み間違いでしょう
ちなみに「函数解析」ではなく「函数論」もしくは複素解析」です
ベキ級数から解析延長できるという話かと思いますが
時枝論法とは無関係です
近傍系の同値類を定義したなら、選択公理で代表元がとれます
当然、もとの関数と代表元は、ある近傍系で一致します
それが不可能だというなら、選択公理を否定していることになります
あなたは「確率論」によって選択公理を否定したんですよね？
129:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 11:00:21.78 7lZuHhq/.net
>>110
>元の列と
>選択公理によって選んだ代表元の間で
>同値関係が成り立つ確率は１
全くその通りで、
普通
数学で、同値と同値類を扱うとき
代表元を選んだあと、代表元を使って、いろいろ演算などを行うけれども
代表元とある元（同じ同値類に属する）とを、比較することはしない
この普通でないこと（代表元とある元（同じ同値類に属する）との比較（及び差を見る））をしていることも
時枝のトリックのたねでしょうね
130:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 11:02:19.58 7lZuHhq/.net
>>112
話は逆で、
当然、もとの関数と代表元は、ある近傍系で一致します
には同意だが
それ、確率１しか導けないよ
1/2とか99/100は、出てこない
131:１３２人目の素数さん
18/12/01 11:04:40.91 wFNm81h3.net
>>113
＞代表元を選んだあと、代表元を使って、いろいろ演算などを行うけれども
＞代表元とある元（同じ同値類に属する）とを、比較することはしない
数学を知らない素人の妄想でしょう
132:１３２人目の素数さん
18/12/01 11:07:03.17 wFNm81h3.net
>>114
100個の関数から1個を選んで
代表元と一致する近傍の半径が
最小でない確率は
(100-1)/100＝99/100
小学生でもわかることですが何か？
133:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 11:08:36.60 7lZuHhq/.net
>>112
私が選択公理を否定しているのではなく
時枝解法を、芽茎層の関数論の局所同値類に埋め込めば、
時枝解法は、既存の関数論の結論とは合わないってことだ
（既存の関数論もZFCベースですよ）
134:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 11:10:46.98 7lZuHhq/.net
>>115
へー、そうなの？
代表元とある元（同じ同値類に属する）とを、比較して、なにか数学的に良いことある？
いや、無いとは言わないが、普通の数学教科書では、やらないでしょ
135:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 11:12:21.63 7lZuHhq/.net
>>116
「小学生でもわかることですが何か？」
ってところが、良くできたトリックとかパズルだなと
トリックとかパズルの話は、もう少し後でね
まずは、芽茎層を勉強して下さいね
136:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 12:05:51.71 7lZuHhq/.net
>>117
>時枝解法を、芽茎層の関数論の局所同値類に埋め込めば、
この”局所”も、重要キーワードです（下記）
”芽”とか、勉強しないと、重要キーワード”局所”の意味が分らない
重要キーワード”局所”の意味が分れば、時枝記事のタネも分る
URLﾘﾝｸ(ja.wikipedia.org)
局所環
抽象代数学における局所環（きょくしょかん、英: local ring[1]）は、1938年にヴォルフガンク・クルルによって導入された概念で[2]、比較的簡単な構造を持つ環であり、代数多様体や可微分多様体上で定義される関数の、あるいは代数体を座や素点上の関数として見るときの「局所的な振る舞い」を記述すると考えられるものである。局所環およびその上の加群について研究する可換環論の一分野を局所環論と呼ぶ。
可換な例
可換（および非可換な）体は {0} を唯一の極大イデアルとする局所環である。
局所環に「局所」の名を冠する理由は次のようなものである。
まず、実数直線上で 0 を含むある開区間において定義される実数値連続函数を考え、函数の 0 付近という局所での挙動のみに注目して、0 を含むある開区間（これはいくらでも小さく取って構わない）で一致するような函数を全て同一視する。
この同一視というのは同値関係を成し、この同値類を 0 における実数値連続函数の芽（め、germ）または実数値連続函数芽（が）という。実数値連続函数の芽は通常の函数の値ごとの加法と乗法によって可換環をなす。
この連続函数芽全体の成す環が局所環であることを知るためには、函数芽の可逆性を定義する必要がある。函数芽 f が可逆であるとは f(0) が 0 でないこととする。これはつまり、f(0) が 0 でなければ、連続函数の性質から、0 を含む適当な開区間上で f が 0 にならず、したがってその区間上で g(x) = 1/f(x) という連続函数の芽を考えることができるという理由による。このとき fg は 1 に等しい。
この特徴づけで明らかなことは、非可逆な函数芽の和がやはり非可逆となるということであり、これによって函数芽の環が可換局所環であることを知ることができる。特にこの局所環の極大イデアルは f(0) = 0 を満たすような函数芽全体に一致する。
137:１３２人目の素数さん
18/12/01 13:24:41.61 kvIoakZN.net
>>108
＞定数関数という縛りを外して、
＞単に箱に0から9を入れる数当てであれば、的中確率は1/10
だからそれは当てずっぽで当てようとした場合の確率だろと何度言ったら理解できるの？
時枝戦略は当てずっぽではないから何の主張にもなってないんだよ馬鹿
ババ抜きで例えてる時点でお前が何もわかってないことはバレてるんだよ 馬鹿過ぎて話にならん
138:１３２人目の素数さん
18/12/01 13:42:34.97 kvIoakZN.net
>>113
＞普通
＞数学で、同値と同値類を扱うとき
＞代表元を選んだあと、代表元を使って、いろいろ演算などを行うけれども
＞代表元とある元（同じ同値類に属する）とを、比較することはしない
ちょっと何言ってるかわかりません
普通って何？ 「普通しない」とあなたは何故言えるの？
139:１３２人目の素数さん
18/12/01 13:44:45.69 kvIoakZN.net
スレ主のレスはいつもそう
言ってることがイミフだらけ
およそ数学とはかけ離れてる
140:１３２人目の素数さん
18/12/01 13:57:38.19 kvIoakZN.net
＞この普通でないこと（代表元とある元（同じ同値類に属する）との比較（及び差を見る））をしていることも
＞時枝のトリックのたねでしょうね
あら痛タタタタタタタ
この人独善的なトンデモ論を根拠に時枝解法をトリック扱いしてるよ
ここまで痛い奴も珍しいね しかもコテハンてｗ
141:１３２人目の素数さん
18/12/01 13:59:45.14 kvIoakZN.net
>>114
＞確率１しか導けないよ
＞1/2とか99/100は、出てこない
何の話をしてるの？
バカ過ぎて話のレベルがまったく合わない
142:１３２人目の素数さん
18/12/01 14:10:02.17 kvIoakZN.net
>>117
合わないという結論が導かれるのはお前が分かってないからに過ぎない
確率過程論や関数論を印籠代わりに使っても無意味
143:１３２人目の素数さん
18/12/01 14:11:01.39 kvIoakZN.net
>>118
＞代表元とある元（同じ同値類に属する）とを、比較して、なにか数学的に良いことある？
時枝解法が成立する
144:１３２人目の素数さん
18/12/01 14:19:16.59 kvIoakZN.net
>>119
＞まずは、芽茎層を勉強して下さいね
芽茎層勉強してますアピールしたい気持ちはわかるが、時枝解法とはまったく関係無いから無意味。
何で時枝解法に明示的に書いてある同値類や選択公理を勉強しないで明後日なこと勉強してるの？
145:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 15:33:23.17 7lZuHhq/.net
>>25>>57>>111に書いた通りです
２．選択公理を持ち出す意味が不明。確率論にしろ確率過程論にしろ、普通は、ZFC上で展開されているでしょ（わざわざ強調する意味がわからん）
146:１３２人目の素数さん
18/12/01 15:47:36.17 wFNm81h3.net
>>117
＞時枝解法を、芽茎層の関数論の局所同値類に埋め込めば、
＞時枝解法は、既存の関数論の結論とは合わない
時枝解法は、一般の函数（当然不連続函数も含む）の局所同値類で成立するが何か？
＞私が選択公理を否定しているのではなく
自覚がないようだが
「決定番号が自然数になる確率０」
は結局確率論（？）による選択公理の否定にあたる
147:１３２人目の素数さん
18/12/01 15:49:23.62 wFNm81h3.net
>>119
＞まずは、芽茎層を勉強して下さいね
まずは、同値類と選択公理を勉強して下さいね
時枝論法は、解析函数に制限することなく
不連続函数を含む一般函数で成立しますから
148:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 15:51:22.08 7lZuHhq/.net
>>129
> ２．選択公理を持ち出す意味が不明。確率論にしろ確率過程論にしろ、普通は、ZFC上で展開されているでしょ（わざわざ強調する意味がわからん）
補足しておく
ヒルベルトだっけ、20世紀の初めのころ、数学を公理化する研究の中で
それ以前の数学者が、無意識にしていた無限集合に対する操作をしてきた
それが実は、「選択公理を採用しないと正当化できない」ということが分ってきた
過去のガウスとかリーマンとかいろんな大数学者の結果を
公理化するために、「選択公理が必要だ」となった
そういう経緯なので、今の時枝記事にしろ、確率論にしろ、確率過程論にしろ
「いま、この部分で、選択公理を使いました」なんてことは
どの教科書にも、わざわざ書いていない
（基礎論でZornの補題を使う場合はあるが）
まあ、時枝記事は、シッポの同値類のところで、「選択公理を使いました」って書いてますけどね
でも、時枝が強調したのは、選択公理の方ではなく、その結果、”非可測集合を扱った”ということだったでしょ
だから、あなたも強調すべきは、”非可測集合を扱った”ってことの方であるべきと思うよ
149:１３２人目の素数さん
18/12/01 15:53:46.38 wFNm81h3.net
>>129
＞じゃ、・・・一つで良いから挙げよ
見当違いな提案は却下 時間の無駄
＞２．選択公理を持ち出す意味が不明。
選択公理によって同値類の代表元をとることが保証される
あなたは「そんな元はとれない」といいたがってるようだから
結局選択公理を否定していることになる
＞確率論にしろ確率過程論にしろ、普通は、ZFC上で展開されているでしょ
あなたは普通でないから、選択公理に全く関係なく妄想してるでしょ？
150:１３２人目の素数さん
18/12/01 15:57:14.69 wFNm81h3.net
＞時枝記事は、シッポの同値類のところで、「選択公理を使いました」って書いてますけどね
あなたは上記の文章の意味を理解せずにただ書き写してるだけのようだけど
同値類の代表元を選ぶ具体的手続きを一切記述せずして
ただそのような代表元がとれる、と主張する根拠が選択公理
＞でも、時枝が強調したのは、選択公理の方ではなく、
＞その結果、”非可測集合を扱った”ということだったでしょ
記事の読み間違い。単に選択公理の使い方が
非可測集合の構成と同じだといってるだけ
数学が理解できない素人は日本語の読解力が欠如しているようだ
151:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 16:01:47.49 7lZuHhq/.net
>>130
>時枝解法は、一般の函数（当然不連続函数も含む）の局所同値類で成立するが何か？
へー
その結論に同意しない人は、いると思います
（名乗り出るかどうかは、別として）
>自覚がないようだが
>「決定番号が自然数になる確率０」
>は結局確率論（？）による選択公理の否定にあたる
そんなことはないと思います
函数の芽の同値類で、近傍系を考えれば、どうなるのかを考えればいい
>>131
>＞まずは、芽茎層を勉強して下さいね
>まずは、同値類と選択公理を勉強して下さいね
>時枝論法は、解析函数に制限することなく
>不連続函数を含む一般函数で成立しますから
はあ、大胆な主張ですね
その結論に同意しない人は、いると思います
（名乗り出るかどうかは、別として）
152:１３２人目の素数さん
18/12/01 16:05:34.15 sKqa/AXJ.net
おっちゃんです。
やっぱり>>93の通りで>>86はいい過ぎだった。
ディオファンタス近似は使うけど、やっと γ＜58/100＝49/50 を主に初等的な解析(大学1年レベル)で示せた。
ここ1ヶ月以上の間手計算したかいがあった。面白い近似の不等式も見つけた。
それにしてもディオファンタス近似は雪女だったね。
153:１３２人目の素数さん
18/12/01 16:07:00.87 wFNm81h3.net
・尻尾の同値類を定義するだけなら選択公理は要らない
・同値類から代表元を選ぶのに選択公理が必要となる
代表元を選んでしまったら時枝論法を否定できない
154:１３２人目の素数さん
18/12/01 16:12:20.19 wFNm81h3.net
>>135
＞＞時枝解法は、一般の函数（当然不連続函数も含む）の局所同値類で成立するが何か？
＞その結論に同意しない人は、いると思います
数学を理解する能力が欠如した人の意見は無視します
＞＞「決定番号が自然数になる確率０」
＞＞は結局確率論（？）による選択公理の否定にあたる
＞そんなことはないと思います
＞函数の芽の同値類で、近傍系を考えれば、
＞どうなるのかを考えればいい
どうなるのか考えた結果が選択公理の否定
（つまり「代表元がとれない」ということ）
でしょう
数学を理解する能力の欠如は致し方ありませんが
せめて自分の能力の欠如を素直に認めましょうね
155:１３２人目の素数さん
18/12/01 16:30:26.20 kvIoakZN.net
>>129
＞選択公理を持ち出す意味が不明。
お前が分かってないから勉強しろと言ってるんだが？
意味不明ってレスは分かってない自覚が無いと白状してるも同然
156:１３２人目の素数さん
18/12/01 16:34:59.50 kvIoakZN.net
>>25>>57>>111に書いた通りです
時枝記事を他の言語に焼き直す意味が不明。
焼き直したところで結局肝心なところが分かってないから、
確率過程論に反するだとか関数論に反するだとかトンデモな結論になってるじゃん。
バカが焼き直しやってもダメなんだよ、時枝解法に異義があるなら時枝解法の間違いを直接示せ。
157:１３２人目の素数さん
18/12/01 16:37:56.88 kvIoakZN.net
そうか、いくら「トンデモな結論になってる」と言っても、本人はトンデモという自覚が無いから馬の耳に念仏だなｗ
ホント始末に負えないトンデモだなｗ
158:１３２人目の素数さん
18/12/01 16:42:16.75 kvIoakZN.net
アホ主君
＞時枝論法は、解析函数に制限することなく
＞不連続函数を含む一般函数で成立しますから
を読めば関数論の言葉に焼き直すことの無意味さがわかるよね？わからない？
159:１３２人目の素数さん
18/12/01 16:55:14.57 kvIoakZN.net
スレ主の論法
時枝解法が真なら確率過程論と矛盾する、よって時枝解法は偽
時枝解法が真なら関数論と矛盾する、よって時枝解法は偽
↑
いやただ単にお前が基本をわかってないだけだからｗ
160:１３２人目の素数さん
18/12/01 17:15:29.26 sKqa/AXJ.net
スレ主はまだ時枝問題やっているようだけど、それじゃ、おっちゃんもう寝る。
161:１３２人目の素数さん
18/12/01 17:18:48.53 wFNm81h3.net
スレ主の現在
＿＿＿_
／:::::::::: u＼
／:::::::::⌒ 三. ⌒＼
／:::::::::: （ ○）三（○）＼
|::::::::::::::::⌒（__人__）⌒ | ＿＿＿＿＿＿＿_
＼:::::::::: ｀ ⌒´ ,／ .| | ...|
ノ::::::::::u ＼ | | スレ主は頭悪い .|
／::::::::::::::::: u | | |
|::::::::::::: ｌ u | | |
ヽ:::::::::::: -一ー_~､⌒)^),-､ | |_＿＿＿＿＿＿__.|
ヽ::::::::＿＿＿,ノγ⌒ヽ)ニニ-￣ | | |
162:１３２人目の素数さん
18/12/01 17:49:15.96 8GJD9Dqu.net
誰かに相手されたくて仕方ない寂しがり屋のスレ主
今日もせっせと餌を撒く
163:１３２人目の素数さん
18/12/01 19:02:58.29 wFNm81h3.net
スレ主が理解できる数学はたかだか高校生レベル
代数方程式に関していえば
２次、３次、４次の解の公式が
正しいことくらいは理解できるが、
なぜ５次以上の代数方程式に対して
解の公式が存在し得ないのか
その理由を知ることはないだろう
ただ、代数方程式に対する代数的な解の公式の非存在は
工学屋にとってはどうでもいいことであろう
なぜならガウスの「代数学の基本定理」により、
代数方程式の解が複素数上に存在することは
証明されており、必要ならいくらでも正確に
その数値を計算できる方法も分かっている
からである
数学者以外の人々にとって「不可能の証明」は理解不能であり
単に可能なことを実現する方法を理解できさえすれば
己の知能が高いと自惚れるには十分である
164:１３２人目の素数さん
18/12/01 19:06:30.01 wFNm81h3.net
スレ主のような「数学者以外の一般人」にとってガロア理論は無意味である
ガロア理論は代数方程式の数値解法に対する実際的知見を与えるものではない
代数方程式を（数値的に）解きたいのであれば、数値解法の本を読んだほうがいい
165:１３２人目の素数さん
18/12/01 19:11:14.19 wFNm81h3.net
解の公式が存在しても、一般人にとって有用とは限らない
連立一次方程式のクラメールの公式は、計算には全く不向きである
特に行列式の計算を定義通りに実行する場合、
変数の数が多ければ、生きている間に計算が終わらない
実際には、実際的な計算時間による解法が知られている
解の公式は解を求めるために存在しているわけではない
166:１３２人目の素数さん
18/12/01 19:15:44.26 wFNm81h3.net
はっきりいえば、スレ主は数学に興味を持たないほうが幸せだろう
理解できないことに固執しても苦痛なだけである
167:１３２人目の素数さん
18/12/01 19:18:59.82 Abiz8EGO.net
>>108
> 定数関数という縛りを外して、
> 単に箱に0から9を入れる数当てであれば、的中確率は1/10
Fラン以上なら理解できると思ったが爺ランには難しすぎたかな
確率芸人スレ主の頭の中には「的中確率は1/10」しかないのでしょうね
0から9の値をとる定数列でない無限数列an, bn, cn, ... があったとする
これらの数列から項を取り出して新しい数列を構成する
An: b1, c2, b3, d4, ... , cn, a(n+1), a(n+2), ... , a(n+k), ...
この数列は「定数」列ではないがしっぽの無限個は全てanである
(つまりしっぽは定「数列」である)
anの値を全て知っていれば数当ては成功する
>>129
> 数学の定理を、一つで良いから挙げよ
実数全体の集合に自然数や有理数が含まれているのでそれを1つ取り出すとか
数や数列などを区別するのに必要ですよ
1/1, 1/2, 1/3, ... , 1/n, ... とスレ主は書いているから
これを使って上の例と合わせると
an: 1/1, 1/2, 1/3, ... , 1/k, 1/(k+1), 1/(k+2), ...
bn: 1/1, 1/2, 1/3, ... , 1/k, 1/2(k+1), 1/2(k+2), ...
cn: 1/1, 1/2, 1/3, ... , 1/k, 1/(k+1)^2, 1/(k+2)^2, ...
これらの数列は異なる数列である
kを自然数とする
これらは1番目からk番目の項は全て一致していて
lim_{n→∞} an = lim_{n→∞} bn = lim_{n→∞} cn = 0
an, bn, cnの全ての項は0でない
という条件だけでは数列を特定はできない
たとえば
dn: b1, c2, a3, b4, ... , ck, a(k+1), a(k+2), ...
でありしっぽが全てanと等しいと分かればdnがanと等しいことが分かる
168:１３２人目の素数さん
18/12/01 19:28:58.69 wFNm81h3.net
>>151
>スレ主の頭の中には「的中確率は1/10」しかない
高校生レベルだからね
「選択公理によって同値類の代表元がとれる」
というのは大学生レベルなんだな
具体的手順なしに公理だけから
代表元の存在を認める純論理的思考だから
スレ主には純論理的思考ができない
具体的数値計算しかできないのがスレ主
結局
「オレにはどうやって代表元を選ぶか
具体的手法が思いつかないから
代表元なんか存在するわけない」
ってところにおっこちる
スレ主に大学数学は無理だから諦めたほうがいい
大学でも工学部でやるのは高校数学だから
169:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:23:46.30 7lZuHhq/.net
>>133
>＞じゃ、・・・一つで良いから挙げよ
>
>見当違いな提案は却下 時間の無駄
笑える
”「代表元とある元（同じ同値類に属する）とを、比較」
これを使った数学の定理を、一つで良いから挙げよ
そういう定理が無ければ、「普通しない」が言える”(>>129)
だったよね
なんだよ、「代表元とある元（同じ同値類に属する）とを、比較」した数学の定理ってないんだろ？
「代表元とある元（同じ同値類に属する）とを、比較」してはいけないとはいわん
が、意味ある数学の定理にならんだろと
170:１３２人目の素数さん
18/12/01 20:28:37.39 wFNm81h3.net
>>153
＞笑える
無能者の虚勢は無意味
そもそもスレ主の
171:云ってることがナンセンスだから却下した ナンセンスだと理解できない時点でスレ主は数学が分かってない 諦めて死ね 貴様に生きる権利はない
172:１３２人目の素数さん
18/12/01 20:30:41.79 wFNm81h3.net
掲示板上で「死ぬ」とは、書き込みしないことを指す
スレ主は数学が理解できないのだから
掲示板上で「生きる」、つまり書き込む権利がない
173:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:31:09.88 7lZuHhq/.net
>>131>>134>>138>>152
「選択公理、選択公理、・・」か
まるで、念仏だね
さて、歴史を見ると
1883年 カントールは、整列可能定理を当然と考えていた
1899年 ルベーグ測度
1904年 選択公理が、エルンスト・ツェルメロによって、正確な形で述べられた
1904年頃 整列可能定理が、選択公理と等価だと認識されはじめた
1905年 ヴィタリ集合（ルベーグ不可測な実数集合）を示す
1935年 ツォルンの補題
1964年 ロバート・ソロヴェイが、ルベーグ非可測集合の存在には選択公理を必要とすること（強制法を用いて実数の集合が全てルベーグ可測であるようなZFのモデルを構成した）
なので、ヴィタリ集合（ルベーグ不可測な実数集合）の時代は、選択公理の代わりに、
カントールなどと同様に、整列可能定理を当然と考えていたと思う
（なお、整列可能定理は、一階述語論理では選択公理と同等で、二階述語論理では選択公理より厳密に強い
”the well-ordering theorem is equivalent to the axiom of choice, in the sense that either one together with the Zermelo?Fraenkel axioms is sufficient to prove the other, in first order logic (the same applies to Zorn's Lemma). In second order logic, however, the well-ordering theorem is strictly stronger than the axiom of choice”）
その後、1935年 ツォルンの補題、1964年 ソロヴェイの”ルベーグ非可測集合の存在には選択公理を必要とする”ことと続く
そして、選択公理と等価と分った定理、比較可能定理、ベクトル空間における基底の存在（定理）なども沢山ある
「選択公理を否定している」などと、それを錦の御旗にする意図が、よく分らん
（私は、カントール先生と同様に、整列可能定理を当然と考えていますよ）
（参考４つ）
１）
URLﾘﾝｸ(ja.wikipedia.org)
ルベーグ測度
(抜粋)
歴史
アンリ・ルベーグが1899年から1901年にかけて投稿した 6 報の論文のうち、最初のものを除く 5 報が測度に関するものであった。その内容は、続く1902年に、彼の博士論文「積分・長さ・面積」の一部として発表された
(引用終り)
つづく
174:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:32:21.60 7lZuHhq/.net
>>156
つづき
２）
URLﾘﾝｸ(ja.wikipedia.org)
ヴィタリ集合
(抜粋)
ヴィタリ集合（ヴィタリしゅうごう）とはジュゼッペ・ヴィタリ（英語版）(Giuseppe Vitali (1905))によって作られたルベーグ不可測な実数集合の基本的な例である。
つづく
175:１３２人目の素数さん
18/12/01 20:34:05.27 wFNm81h3.net
>>156
＞「選択公理、選択公理、・・」か
まるで、念仏だね
スレ主の無理解は「選択公理」の一点に尽きる
成仏せよ(-||-)
176:１３２人目の素数さん
18/12/01 20:36:03.00 wFNm81h3.net
>>156
＞（私は、カントール先生と同様に、整列可能定理を当然と考えていますよ）
数学を理解できぬ猿の戯言だな
177:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:36:07.84 7lZuHhq/.net
>>157
つづき
３）
URLﾘﾝｸ(en.wikipedia.org)
Well-ordering theorem （整列可能定理）
(抜粋)
History
Georg Cantor considered the well-ordering theorem to be a "fundamental principle of thought".
178:[3] Most mathematicians however find it difficult to visualize a well-ordering of, for example, the set R of real numbers. In 1904, Gyula K?nig claimed to have proven that such a well-ordering cannot exist. A few weeks later, Felix Hausdorff found a mistake in the proof.[4] It turned out, though, that the well-ordering theorem is equivalent to the axiom of choice, in the sense that either one together with the Zermelo?Fraenkel axioms is sufficient to prove the other, in first order logic (the same applies to Zorn's Lemma). In second order logic, however, the well-ordering theorem is strictly stronger than the axiom of choice: from the well-ordering theorem one may deduce the axiom of choice, but from the axiom of choice one cannot deduce the well-ordering theorem.[5] Notes 3. Georg Cantor (1883), “Ueber unendliche, lineare Punktmannichfaltigkeiten”, Mathematische Annalen 21, pp. 545?591. (引用終り) つづく
179:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:36:48.44 7lZuHhq/.net
>>160
つづき
４）
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
選択公理（せんたくこうり、英: axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[1]。
選択公理と等価な命題
以下の命題は全て選択公理と同値である。つまり、以下の命題のいずれかを仮定すると選択公理を証明することができるし、逆に選択公理を仮定すると以下の命題が全て証明できる。
整列可能定理
任意の集合は整列可能である。
ツォルンの補題
順序集合において、任意の全順序部分集合が有界ならば、極大元が存在する。（実際の数学では、この形で選択公理が使われることも多い。）
（URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
クラトフスキは1922年に[1]現在の定式化に近い形で証明した(包含関係により順序付いた集合と整列した鎖の和集合の場合)。現在のものと本質的に同等の定式化(整列ではなく任意の鎖に弱めた場合)はツォルンにより独立に1935年に与えられた[2]。彼は整列可能定理に代わる集合論の公理として提案し、代数におけるいくつかの応用を行って見せた。(引用終り)）
つづく
180:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:37:33.99 7lZuHhq/.net
>>161
つづき
比較可能定理
任意の集合の濃度は比較可能である。
ベクトル空間における基底の存在
全てのベクトル空間は基底を持つ（1984年にen:Andreas Blassによって選択公理と同値であることが証明された。ただし、正則性公理が必要になる）。
チコノフの定理
コンパクト空間の任意個の積空間はコンパクトになる。
クルルの定理
単位元をもつ環は極大イデアルを持つ。
つづく
181:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:38:09.77 7lZuHhq/.net
>>162
つづき
代わりとなる公理
選択公理とは矛盾するが、ZFCから選択公理を除いたZFとは矛盾しないような命題は数多く発見されている。たとえばロバート・ソロヴェイ（英語版）は強制法を用いて実数の集合が全てルベーグ可測であるようなZFのモデルを構成した。
歴史
集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた。 実際、有限個の集合からなる集合族であれば、そのそれぞれの集合の中から順に1つずつ元を選び出し、それらを併せて集合とすればよいのであるから、このような操作ができることは自明である。
しかし、ツェルメロによる整列可能定理の証明に反論する過程で、エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが選択公理の存在に気付き、新たな公理であることが認識されるようになった。
確かに、無限個の集合からなる集合族の場合、上のような操作を想定しても「順に選び出す」操作は有限回で終了することはないのだから、このような操作を行えるかどうかは必ずしも明らかではない。
(引用終り)
つづく
182:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:38:30.29 7lZuHhq/.net
つづき
５）
URLﾘﾝｸ(tenasaku.com)
藤田博司先生
URLﾘﾝｸ(tenasaku.com)
ルヘ゛ーク゛可測性にかんするソロウ゛ェイのモテ゛ル 藤田博司 (2007年9月) 2007 年数学基礎論サマースクール 静岡大学にて
(抜粋)
Solovay の論文は, 表題に述べられたモデルが提示されているだけでなく, 関連するさまざまな問題に対
するコメントや新たな問題提起を含んでいて, 以後の集合論研究の源流の一つとなった基本文献であると言っ
て差し支えないように思います. 原論文の脚注によれば, 主要な結果の得られたのは1964 年の春から夏にか
けての数ヶ月だそうです.
(引用終り)
以上
183:１３２人目の素数さん
18/12/01 20:39:31.69 wFNm81h3.net
>>161
スレ主は時枝論法について どのような列も
代表元との間の決定番号が自然数となるような形で
代表元を選ぶことができないと断言したのだから
その瞬間、選択公理を否定している
184:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:39:31.76 7lZuHhq/.net
>>156 訂正
（参考４つ）
↓
（参考５つ）
一つ増えた
185:１３２人目の素数さん
18/12/01 20:41:55.14 wFNm81h3.net
>>163
スレ主の考える「選択公理を否定した新数学」が
ソロヴェイの公理によるものかどうかは不明だが
いずれにせよ選択公理を否定した時点で、
時枝論法とは無関係の与太話になる
186:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:42:02.04 7lZuHhq/.net
>>158-159
>成仏せよ(-||-)
>数学を理解できぬ猿の戯言だな
ふーん
ピエロが戻ってきたのかな？
失業したのか？（＾＾；
187:１３２人目の素数さん
18/12/01 20:44:03.69 wFNm81h3.net
>>168
高卒工学馬鹿は、馬鹿らしく死ねばよろしい
188:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:44:56.16 7lZuHhq/.net
>>168
>ピエロが戻ってきたのかな？
サイコパスのピエロ（>>1）と分れば
適当にあしらうかな
189:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:45:51.57 7lZuHhq/.net
>>169
ご苦労さん（＾＾
190:１３２人目の素数さん
18/12/01 20:49:16.02 wFNm81h3.net
>>170
数学の分からん馬鹿として
皆に適当にあしらわれてるのは
スレ主自身だと気づけ
191:１３２人目の素数さん
18/12/01 20:51:09.77 wFNm81h3.net
>>171
ガロア理論も全然理解できないのにご苦労様（＾＾
192:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:52:17.27 7lZuHhq/.net
>>170
ID:wFNm81h3とID:kvIoakZNね
同一人物が、二つのIDを使っている可能性もあるな
それならそれで、
こちらにも、対応の仕方はあるよ
193:１３２人目の素数さん
18/12/01 20:55:14.79 wFNm81h3.net
>>174
つまらぬ妄想に耽ってるところを見ると
統合失調症の可能性が高いな
まず精神科を受診したほうがいい
その上で薬を飲むことだ
数学板で訳の分からないこと書いてても
病気はよくならないぞ
194:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 20:56:38.52 7lZuHhq/.net
>>144
おっちゃん、どうも、スレ主です。
お元気そうでなによりです（＾＾
195:１３２人目の素数さん
18/12/01 20:56:54.27 kvIoakZN.net
スレ主への問題
1. 自然数の集合 N から無作為に一つ元 n を取ったとき n が有限値である確率を答えなさい
2. 実数列の集合 R^N から無作為に一つ元 s を取ったとき s の決定番号が有限値である確率を答えなさい
196:１３２人目の素数さん
18/12/01 21:01:25.04 wFNm81h3.net
>>177
スレ主は君と私が同じ人物だと妄想してるらしい
●違いにも困ったものだ
197:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 21:03:37.21 7lZuHhq/.net
>>151
ID:Abiz8EGOさんか、どもありがとう
この人は別人だが、言っていることがよく分らん
>この数列は「定数」列ではないがしっぽの無限個は全てanである
>(つまりしっぽは定「数列」である)
>anの値を全て知っていれば数当ては成功する
「知っていれば数当ては成功する」って・・
当たり前に思えるが
>>>129
>> 数学の定理を、一つで良いから挙げよ
>実数全体の集合に自然数や有理数が含まれているのでそれを1つ取り出すとか
>数や数列などを区別するのに必要ですよ
いやいや
数学の教科書などにそういう定理が載っているかと聞いた
で、私の知る限り、そういう例はないし
あなたも、そういう教科書に載っている定理の例を挙げられないってことですよね
198:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 21:04:44.17 7lZuHhq/.net
>>178
じゃ、コテとトリップつかえよ（＾＾
199:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 21:06:07.39 7lZuHhq/.net
名無し（１３２人目の素数さん）で
いばってもね～
200:１３２人目の素数さん
18/12/01 21:06:18.85 wFNm81h3.net
>>179
まだ自分勝手なつまらぬ考えに固執してるのか
どうして自分が数学の分からぬ馬鹿だと認められない
まさか自分が数学の天才だと自惚れてるのか？
201:１３２人目の素数さん
18/12/01 21:07:25.20 wFNm81h3.net
>>180
いや、君がコテとトリップやめろよ
高卒工学馬鹿の君にはそんな価値ないから
202:１３２人目の素数さん
18/12/01 21:09:14.80 wFNm81h3.net
>>181
威張ってると感じるのは
君に劣等感があるからだろう
当然だろうな 馬鹿なんだから
だからここに書き込まないほうがいい
君がここで優越感を得る可能性はゼロ
訳もわからず数学の文章をコピペしたって惨めなだけ
203:１３２人目の素数さん
18/12/01 21:11:36.26 wFNm81h3.net
馬鹿に限ってコテやトリップを使いたがる
そんなことしても誰も尊敬しやしないのに
無知無能の馬鹿を誰も尊敬しない
当たり前だろう 何も得るものがないのに
204:１３２人目の素数さん
18/12/01 21:19:14.12 Abiz8EGO.net
>>179
> 教科書に載っている定理の例を挙げられないってことですよね
たとえば>>50に既に挙げたが
RからRへの恒等写像は全単射なんかは教科書にのっているでしょ
R^NからR^Nでも同じ
Rの2点a, bがあってa = bであるならばf(a) = f(b)とか
その対偶f(a)とf(b)が異なるならばaとbは異なる
ということを考えるわけだ
確率芸人スレ主は答えられていないから
そこで>>26の問題をもう一度
> [0, 1)から実数を1つ選んでaとする
> このときに以下のような条件を満たす有理数anを考える
> (1) [0, 1)に含まれていてlim_{n→∞} an = a
> (2) anとaを小数表示したときに小数第1位から第n位までは全て一致する
> スレ主への問
> [問1] anは全て有理数でありaは実数であるがどうやって区別するか？
> [問2] 小数点以下の数字を1つ(小数第k位のみ)を変化させた場合に
> 有理数が無理数にあるいは無理数が有理数に変化することがあるか？
205:１３２人目の素数さん
18/12/01 21:44:06.73 Abiz8EGO.net
>>179
> 「知っていれば数当ては成功する」って・・
> 当たり前に思えるが
しっぽのanは時枝記事での代表元でも同じ
代表元の数字を全て知っていれば数当てが成功する
とはいってもしっぽの開始位置を推測する必要があるので
2列に分ければ確率は1/2となる
これを当たり前とは思えないのが確率芸人スレ主なのだ
206:１３２人目の素数さん
18/12/01 22:02:59.41 1uzlHPGc.net
スレ主ってもしかして選択公理から整列可能定理が出てくる事の証明、読んだことないの？
207:１３２人目の素数さん
18/12/01 22:32:39.70 kvIoakZN.net
選択公理を理解できないスレ主のために噛み砕いてみると
どれも空でないような集合を元とする集合（すなわち、集合の集合） →R^N/～
があったときに、それぞれの集合から一つずつ元 →代表元
を選び出して新しい集合 →代表系
を作ることができる
代表系を作ることができるならば、決定番号=∞なる主張が荒唐無稽なデタラメ
であることはいくらアホなスレ主でも直ぐに分るだろう
208:このスレに初めて来られた方へ
18/12/01 22:36:27.58 8O+rqe6s.net
スレ主は数学の内容を全く理解せずにどっかのサイトからコピペしているだけです
数学を全く理解していないスレ主の意見は無視しましょう
209:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 22:49:19.02 7lZuHhq/.net
>>170
えーと、ピエロの当時の主張は、こうだったね（下記）
スレ33 ｽﾚﾘﾝｸ(math板:575番)
575 返信：１３２人目の素数さん[sage] 投稿日：2017/06/03(土) 02:30:44.36 ID:YbwQeVvS [1/32]
>>571-572
残念だけど選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ
210:逆に 「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」 と言い切るなら、必然的に 「実数の全ての集合はルベーグ可測であり選択公理は成立しない」 といわざるを得なくなる 「X1，X2，X3，・・・がまるまる無限族として独立」の定義から 「実数の全ての集合はルベーグ可測であり選択公理は成立しない」が 証明できるのかい？ これはもう測度論じゃなく集合論の問題だな スレ33 https://rio2016.5ch.net/test/read.cgi/math/1495860664/584 584 返信：１３２人目の素数さん[sage] 投稿日：2017/06/03(土) 09:57:56.48 ID:YbwQeVvS [2/32] >>578 「確率の専門家」さんは何も証明してないな そもそも「箱入り無数目」は 選択公理を使って非可測関数を構成した時点で 確率論とか測度論とかの問題じゃなくなってる 「選択公理を使って代表元をとることはできない」 というなら選択公理を否定することになるね ということで、無限族の独立性（１）と選択公理から 矛盾を導いてくださいね ちなみに測度論じゃなくて集合論の問題だから (引用終り)
211:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 23:25:58.89 7lZuHhq/.net
>>156
「選択公理、選択公理、・・」か
まるで、念仏だね
さて、「Sergiu Hart氏のPDF November 4, 2013」（下記）というのがあって
game2：A similar result, but now without using the Axiom of Choice.
で
Proof. The proof is the same as for Theorem 1, except that here we do not use the Axiom of Choice.
となっております
この話は、１年前にもした記憶があるんだが、再度引用しよう
選択公理を連呼する人は、game2 ”without using the Axiom of Choice”を、どう考えているのかね？
選択公理なしで、類似のgame2が考えられると書いてあるぜ
はてさて？
スレ47 ｽﾚﾘﾝｸ(math板:41番) （2017/11/30(木) ） より
URLﾘﾝｸ(www.ma.huji.ac.il)
Sergiu Hart氏のPDF November 4, 2013
(抜粋)
A similar result, but now without using the Axiom of Choice.*2
Consider the following two-person game game2:
・ Player 1 chooses a rational number in the interval [0, 1] and writes down
its infinite decimal expansion *3 0.x1x2...xn..., with all xn ∈ {0, 1, ..., 9}.
・ Player 2 asks (in some order) what are the digits xn except one, say xi;
then he writes down a digit ξ ∈ {0, 1, ..., 9}.
・ If xi = ξ then Player 2 wins, and if xi ≠ ξ then Player 1 wins.
By choosing i arbitrarily and ξ uniformly in {0, 1, ..., 9}, Player 2 can guar-
antee a win with probability 1/10. However, we have:
Theorem 2 For every ε > 0 Player 2 has a mixed strategy in game2 guaran-
teeing him a win with probability at least 1 ? ε.
Proof. The proof is the same as for Theorem 1, except that here we do not
use the Axiom of Choice.
Note
*2 Due to Phil Reny.
*3 When there is more than one expansion, e.g., 0.1000000... = 0.0999999..., Player 1 chooses
which expansion to use.
(引用終り)
以上
212:１３２人目の素数さん
18/12/01 23:29:40.00 8GJD9Dqu.net
>>192
可算だから選択公理必要ナシ
それがどうした？
213:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 23:30:04.31 7lZuHhq/.net
>>192 文字化け訂正
teeing him a win with probability at least 1 ? ε.
↓
teeing him a win with probability at least 1 －ε.
214:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/01 23:35:07.68 7lZuHhq/.net
>>193
１．この手のｇａｍｅの否定は、選択公理の否定には繋がらない
２．選択公理なしのｇａｍｅ2が可能だから、当たる当たらないと、非可測集合経由とは直接関係�
215:ｵない （「選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くない」>>45は、大外しってこと）
216:１３２人目の素数さん
18/12/01 23:59:31.60 8GJD9Dqu.net
>>195
> （「選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くない」>>45は、大外しってこと）
問題設定が違う
よって選択公理の使用不使用も違う
で、それがどうした？
217:１３２人目の素数さん
18/12/02 00:01:29.74 jrn3d5/7.net
しかも時枝の発言は、可算バージョンでも面白い話が紡げることと全く矛盾していない
お前みたいな馬鹿相手にするのはこのくらいにしとくｗ
218:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 08:05:51.84 hw+09Iif.net
>>196-197
違うな
１．Sergiu Hart氏のPDF November 4, 2013 （URLﾘﾝｸ(www.ma.huji.ac.il) ）
ここでのgame1が時枝記事の数当てに相当し、この場合選択公理を使っている
game2が、選択公理を使わないバージョンだ
２．両者に共通しているのは、可算無限長の数列のシッポの同値類と、代表と、同じ同値類内のある元（＝可算無限長の数列）で
代表と同じ同値類内のある元との比較をして、数列のシッポの先が一致する決定番号（決定番号から先が二つの数列が一致する）
それと、複数列における決定番号の最大値との比較で、2列で1/2、100列で99/100（Hart氏のPDFでは、1-εと表現）という確率を、導くこと
３．Sergiu Hart氏のPDFには、
”P2 の最後 “Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.”とある
つまり、意訳すると
“リマーク：箱の数が有限の場合、プレーヤー1は勝利を保証することができます。
[0、1]と{0、1、・・・、9}上で＊）、xiを独立で一様に選択することによって、game1の勝利確率1とgame2の勝利確率9/10になる。”と
言い換えると、プレーヤー２の立場では、game1の勝利確率0とgame2の勝利確率1/10になる。
注＊）、[0、1]はこの区間の任意の実数を、{0、1、・・・、9}は0～9までの整数を、箱に入れるということ。
(引用終り)
（スレ47 ｽﾚﾘﾝｸ(math板:41番) より）
とあって、有限長の数列では、Sergiu Hart氏の方法（時枝記事含む）は、不成立が明記されている
４．なので、Sergiu Hart氏のPDF によって説明すれば、
1)数列は可算無限長、2)数列のシッポの同値類、3)代表と同じ同値類の元との比較から定まる決定番号、4)複数列の最大値との比較から導かれる確率1-ε
この４つの要素から成り立っているってことだ
”選択公理や非可測集合を経由した”は、本質ではないってこと
５．そして、game1とgame2とも、その”複数列の最大値との比較から導かれる確率1-ε”は不成立というのが、私の主張だ
以上
219:１３２人目の素数さん
18/12/02 08:43:02.39 kBaAdsmB.net
「過ちを進んで認める勇気さえあれば、だいたいの場合取りかえしはつく.」
村上春樹
220:１３２人目の素数さん
18/12/02 09:51:06.91 jrn3d5/7.net
>>198
頭悪すぎて気持ち悪い奴だな
時枝記事とgame1は非可算だから選択公理必要
game2は可算だから選択公理不要
分からないのがお前の頭の限界さね
221:１３２人目の素数さん
18/12/02 09:54:16.88 jrn3d5/7.net
大体ここのスレ主はどんなに正確に噛み砕いて説明されても理解しなかった男だからな
前スレは酷かったよなあw
お前絶対ワザとやってるだろw
相手にされたくてやってるんだろ？w
スレ伸ばすために色んな新しい概念もってくるんだよねー、分かるよ君の気持ち。
馬鹿言うと、色んな人が突っ込んでくるよね
それがお前の目的なんだよねー
222:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 10:09:50.99 hw+09Iif.net
>>201
サイコパスのピエロ（>>1）かな
ご苦労さん（＾＾
223:１３２人目の素数さん
18/12/02 10:26:25.77 QE6PQKP7.net
どうでもいいが選択公理は代数的操作には必ずついてくるゾ
224:１３２人目の素数さん
18/12/02 10:39:08.54 jrn3d5/7.net
>>202
>>201が図星過ぎたかw
225:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 10:42:11.69 hw+09Iif.net
>>25>>57>>111をご参照
まあ、これを理解するには、関数の芽の同値類を勉強してもらうしかない（東大の数学科３年レベル）
（関数を正則関数に限れば数当ては可能だが、微分可能関数では数当てはできない。時枝はもっと一般の関数だから、当然数当てはできない）
この反例を通じて、なぜ当たるように見えて当たらないかが、わかるだろう
２．Sergiu Hart氏のPDFのgame2は、関数の芽の同値類モデルより、決定番号の分布が裾の重い分布になることを理解するのが良いだろう
下記の例よりも、もっと裾が重い分布になる。期待値が存在しない分布だ。それが、当たるように見えて当たらない理油
（この話は、過去スレにも書いた）
URLﾘﾝｸ(ja.wikipedia.org)
裾の重い分布
URLﾘﾝｸ(mathtrain.jp)
コーシー分布とその期待値などについて 最終更新:2015/11/06
期待値が存在しない分布，裾が重い分布の代表です。
３．Sergiu Hart氏のPDFのgame1(＝時枝記事の数当て)、game2とも数学として不成立
それは、Sergiu Hart氏が、彼のPDF P2 の最後 Remark で、ほのめかしていること
彼のPDF P2 の最後 Remarkで、有限長の数列では、この解法は成立しないのだと
４．game1(＝時枝記事の数当て)、game2とも数学として成立していないことは、
大学3-4年で、確率過程論を学べば、そこで可算無限個の確率変数を扱うので、即座に「当たらないこと」が分る
また、Hart氏のPDF P2 の最後 Remarkの有限長の極限（長さを無限大にする）を考えても、「当たらないこと」が理解できる
しかし、「なぜ当たらないのに、当たるように見えるのか？」
ここを、さらに掘り下げたのが、上記の１と２だ
５．可算無限長に、同値類の代表と問題の元（数列）との比較と、これにより定まる決定番号の大小比較から導かれる確率1-ε
ここらの組み合わせで、「当たらないのに、当たるように見せている」手品のトリックがある
以上
226:１３２人目の素数さん
18/12/02 10:43:12.99 jrn3d5/7.net
スレ主は演劇部でもやってたの？w
「誤った認識で論理を紡いで、他人との不毛な議論に時間を費やす」
のが5ch最高レベルに上手いよねw
誤解を演出するのが上手なのは認めるけど、俺は騙されないよーwww
227:１３２人目の素数さん
18/12/02 10:47:41.36 jrn3d5/7.net
まあでも前スレではやり過ぎたと思うよ
引き際を間違えたって感じw
明らかに相手が正しくて、誰の目にもスレ主が間違ってるところで踏ん張り過ぎちゃダメ
言動が不自然で見てられなかったよ...
228:１３２人目の素数さん
18/12/02 10:50:22.08 jrn3d5/7.net
で、今度は芽ですかw
勉強熱心なのは素晴らしいと思うよ
スレを伸ばす目的以外でその知識を使ったらいいのに
事務職がかったる過ぎて暇なのは分かるけどさw
229:１３２人目の素数さん
18/12/02 12:24:31.25 b2mlpEQ2.net
>>192
game2はスレ主の負けだね
それとも、有理数全体を均等に選ぶ確率分布が存在しない、とでも言い訳するかい
いずれにせよgame2を持ち出した時点でスレ主の自爆だな
スレ主ってやっぱ数学が全然理解できない馬鹿だったんだな
230:１３２人目の素数さん
18/12/02 12:32:34.44 b2mlpEQ2.net
>>195
スレ主は測度の定義を知らないらしいから教えてあげるけど
測度には可算加法性ってのが必要なんだな
URLﾘﾝｸ(ja.wikipedia.org)
有理数１つ１つの測度をｑ１，ｑ２、・・・としたときに、
その全体の和が１にならないといけないが
もし１つ１つの測度が均等だった場合
どの１／ｎよりも小さいから０にせざるをえない
しかし０を可算個足しても０
だから可算加法性を有する測度が定義できない
時枝がgame2を持ち出さなかったのは、
大学の数学科の学生ならだれでも知ってる
測度の可算加法性に配慮した結果なんだな
でスレ主がわざわざgame2を持ち出したのは
測度の定義も知らない馬鹿だったからなんだな
要するにスレ主の自爆行為
game2を持ち出しといて、
「実は有理数を均等に選ぶなんてできないんだな」
とほざいたら、自己矛盾に陥るからな
ほんと、スレ主って白痴だなｗ
231:１３２人目の素数さん
18/12/02 12:36:46.83 b2mlpEQ2.net
>>198
＞”選択公理や非可測集合を経由した”は、本質ではない
で、game2では「有理数上では、均等な測度が定義できない」が本質かい？
もし、game2でも時枝論法を認めないというのなら、そういうことになるよな
どうなんだい？数学を知らないスレ主君？
232:１３２人目の素数さん
18/12/02 12:43:18.94 b2mlpEQ2.net
>>205
函数の芽を使っても選択公理を認めるなら時枝論法が成り立つ
つまり反例構成は失敗
スレ主は解析函数に固執してるようだが
そもそも解析函数の場合、解析接続によって
函数は本質的に１つになる
どうもスレ主は複素関数論が全然理解できてないらしいｗ
game2は裾が重いとかいう以前に、
そもそも可算加法性が成立しない
点に気づくべき
つまり「0を可算個足しても0」という性質が成立しない
もし可算加法性が成り立ってないからNGというなら
やっぱり測度論によって時枝論法を否定していることになる
そうしたければすればいいが、数学界から嘲笑されるだけのこと
233:１３２人目の素数さん
18/12/02 12:46:30.55 b2mlpEQ2.net
>>205
＞大学3-4年で、確率過程論を学べば、
＞そこで可算無限個の確率変数を扱うので、
＞即座に「当たらないこと」が分る
確率過程論をいくら学んでも、時枝論法の誤りには行きつかないよ
それはガロア理論をいくら学んでも、
代数方程式が解けるようにならないのと
同じ
要するに見当違いの方向に突っ走ってるんだよｗ
234:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 12:53:06.11 hw+09Iif.net
>>206-210
このスレでね、過去ワッチョイを付けようとしたときがあってね
だが、ワッチョイ設定が不可だった
おそらく、数学板では、ワッチョイ設定が出来ないのだろうね
（実際、数学板でワッチョイ設定をしているスレ皆無）
で、同一人物が二つのＩＤ例えば、ＰＣとスマホとを駆使して、自演をしている時など、ワッチョイ設定していれば、状況が分るメリットがあるのだ
下記、ご参照（＾＾
URLﾘﾝｸ(dic.nicovideo.jp)
ワッチョイ単語 ニコニコ大百科 初版作成日: 18/11/04 00:13 ◆ 最終更新日: 18/11/04 00:15
(抜粋)
概要
2016年の4月辺りから、書き込む際には名前欄に決まったコマンドを、スレッドを立てる際に文章の1行目に決まったコマンドを入力する事で、妙なニックネームや「KOROKORO」と呼ばれる文字列が強制的に表示されるようなシステムが出来上がる。
妙なニックネーム自体はこのシステムが出来上がるより遥か前から5ch存上に存在しており、VIP
235:等でもしばしば見られた。 このシステムは自演や荒らし対策の為に出来たものだと思われる。 公衆Wi-Fi等も利用すれば最低でも5人分くらいは自演出来るだろう。 そう、自演など容易に出来てしまうのだ。 なんでもかんでも「こいつとこいつは同一人物に違いない！」と決め付けてはいけないが、何か怪しいと感じたら時には疑う事も必要だ。 例えワッチョイを導入したとしても、悪い事をやる奴は必ずやるのである。 勿論殆どの人間はそんな事しなくなるので、荒らしや自演の数はグッと減り、一部の人間だけが悪い事をし続ける。そいつの口調やレス調には必ず癖があり、どんなに回線やブラウザを変えても見抜けてしまう事が結構ある。 この記事を読んでいる皆さんには、こういった色んな知識を身に着けてもらい、時には自演等を疑って欲しい。 (引用終り)
236:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 12:54:28.48 hw+09Iif.net
>>213
はいはい、ご苦労さん(>>214)
確率過程論を、勉強しましょうね
237:１３２人目の素数さん
18/12/02 12:55:41.43 b2mlpEQ2.net
ID:jrn3d5/7様へ
スレ主は数学に対する劣等感が強すぎるあまり
逆に根拠のない自身で自己防衛する危険な技を
身に着けてしまったようです
自分の直感を絶対の真理だと過信する一方
高等？な数学の概念が自分の直感を正当化
してくれるというねじ曲がった期待も抱いている
ようです
いずれにしても「感じるだけ」で一切考えようとしないので
何を言っても理解できないしする気もないでしょう
自分の愚かさを思い知るだけのことですからね
スレ主が実社会でどれほどの負け犬人生を送って来たか
私の知るところではありませんが、ここでこんなくだらぬことを
書き散らかしてるようでは、ゴミ屋敷で孤独死するのが関の山でしょう。
238:１３２人目の素数さん
18/12/02 12:59:01.10 b2mlpEQ2.net
>>215
＞確率過程論を、勉強しましょうね
君は勉強したのかい？
無駄だっただろ？
確率過程論のどこにも、
時枝論法の誤りなんて
書かれてないからね
スレ主がやってることって
「非ユークリッド幾何学は間違ってる！」
と絶叫したゴットロープ・フレーゲと
大した違いはないんだよなｗ
239:１３２人目の素数さん
18/12/02 13:01:29.98 b2mlpEQ2.net
数学板でワッチョイとか言ってるスレ主は正真正銘の●チガイだな
ここではそもそもコテとかトリップをつけて
無意味な自己顕示に走るヤツのほうが
●チガイなんだよ
匿名の単発コメントでも、数学として正しければOK
コテで連発コメントしても、数学として無価値ならばNG
それが数学板だよ
240:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 13:01:31.40 hw+09Iif.net
>>203
>どうでもいいが選択公理は代数的操作には必ずついてくるゾ
どもありがとう
どなたか分らんが
同意だ
但し、無限集合へのは代数的操作な
詳しくは>>161-163な
241:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 13:06:30.69 hw+09Iif.net
>>218
ピエロ(>>1)必死だな
数学科出て、不幸なんだって？（＾＾
また、失業したのかい？
242:１３２人目の素数さん
18/12/02 13:08:49.07 b2mlpEQ2.net
>>220
数学板一番のピエロはコテつけてクソコメ書いてるスレ主の気味だなｗ
数学科に入れなくても不幸な君をみたら、
数学科の諸君は勇気が湧くだろうｗｗｗ
243:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 13:11:32.78 hw+09Iif.net
>>220
まあ、ピエロ(>>1)は、学部卒レベルか
院試すべったんだろ？
「理系の９割が理解していない
天才的なセンス、豊かな発想力、圧倒的な努力量、不屈の忍耐力を合わせ持たないといけない
教科書の定理の証明方法は凡人には到底理解できない」（>>89 - 我、京大生ぞ より）
これ、ピエロに当てはまってそうだな（＾＾
244:１３２人目の素数さん
18/12/02 13:14:30.43 b2mlpEQ2.net
>>222
正真正銘のピエロのスレ主は
工学系の大学院でも出たのかな？
ま、工学系なんて大抵高校数学程度しか
使ってない計算馬鹿だけどな
245:１３２人目の素数さん
18/12/02 13:19:47.53 b2mlpEQ2.net
そもそも大学数学は実際の問題の解法じゃないから
工学馬鹿には縁もゆかりもない
あきらめて死ね ガロア理論は代数方程式を解く方法じゃねえぞｗ
246:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 14:02:54.40 hw+09Iif.net
>>222
>まあ、ピエロ(>>1)は、学部卒レベルか
>院試すべったんだろ？
>理系の９割が理解していない
訂正とお詫び
まあ、ピエロ(>>1)は、学部卒レベルか
↓
まあ、ピエロ(>>1)は、学部落ちこぼれレベルか
247: 多くの優秀な、学部卒の皆様に失礼であった 深くお詫びし、上記の通り訂正致しますｍ（＿ ＿）ｍ 学部卒でも、理解している１割に入っている人はいる また、多くの学部卒の人は、ピエロよりずっと上だろう （もちろん私よりも上だろうね）
248:１３２人目の素数さん
18/12/02 14:05:28.69 b2mlpEQ2.net
>>225
わけのわからんコメントするなら
コテとトリップやめろよ
貴様みたいな一般人
匿名で十分なんだよ
249:１３２人目の素数さん
18/12/02 14:20:55.57 b2mlpEQ2.net
スレ主の引用した
URLﾘﾝｸ(www.goethekyodai.xyz)
の大学数学の特徴のところで
「具体的な計算が全然出てこない」
とあったが、まさにこれこそスレ主のごとき一般人を
奈落の底に突き落とす原因
一般人にとって数学はなんらかの答を求める計算法だが
数学科における数学はなんらかの命題に対する証明
５次方程式の代数的な解の公式がないことの証明に
５次方程式の解の計算が出てこないのは当然である
しかし一般人はとにかく解を求めたがるから
計算ばかり探して無駄に時間を費やすのである
250:１３２人目の素数さん
18/12/02 14:28:32.58 b2mlpEQ2.net
スレ主が●●の一つ覚えのように
「ガロア理論」とコテの中で書いてる
のがとにかくイタイタしい
スレ主はガロア理論に一体何を期待してるんだろうか？
代数方程式の解は、ガロア理論とは無関係に存在するし
別にベキ根にこだわらなくともいくらでも正確に数値を求められる
工学系の人間にとってガロア理論は自分と無縁の存在なのである
251:１３２人目の素数さん
18/12/02 14:40:15.16 b2mlpEQ2.net
スレ主のコテで唯一残してよい言葉は「雑談」
実際「雑談」以外何もしてないｗ
そうか、これからスレ主を「雑談君」と呼ぼう
略称はザッツなｗ
252:１３２人目の素数さん
18/12/02 15:30:02.57 jrn3d5/7.net
>>216
自分には演じてるようにしか見えませんけどね
誰かのリプライをもらうことが目的化してるんじゃないですかね
とにかく前スレは酷かったですよ
ワザと分からないように自分を仕向けてるようにしか見えなかったですねぇ
253:１３２人目の素数さん
18/12/02 15:56:22.02 03rQNeJP.net
リプライが欲しけりゃツイッターでもやればいい
数学クラスタから袋叩きだぞこんなアホ
254:１３２人目の素数さん
18/12/02 16:02:10.06 znqpHImZ.net
誤解があるかもしれません
スレ主は解析の入門レベル、代数の入門レベルすらまともに理解してません
要するに大学一年生レベルには達してません
試しに大学一年生の試験を受けさせたら間違いなく落第します
255:１３２人目の素数さん
18/12/02 16:04:08.78 b2mlpEQ2.net
>>230
リプライは欲しいんでしょうね
ただ、スレ主「ザッツ」は自分が間違ってるとは思ってないでしょう
それだけ頭が悪いってことですが
256:１３２人目の素数さん
18/12/02 16:07:04.83 b2mlpEQ2.net
>>232
スレ主こと「ザッツ」は大学一年の実数の定義で落ちこぼれたんだろうな
工学馬鹿のお定まりのパターンだけどな
257:１３２人目の素数さん
18/12/02 16:08:46.16 kWLWeLnH.net
おっちゃんです。
空間Sが有限集合でも、零集合Sはルベーグ測度について可測空間だから、
EをSの有限なσ-集合体、μをEにおいて定義されたルベーグ測度として、
1)：任意の集合 X∈E に対して 0≦μ(X)≦1 (ここに、X⊂S)、
2)：μ(E)＝1、
3)：Nを N≧2 なるEの濃度として、各 i＝1,2,…,N に対して E_i∈E とする。
任意の 1≦i＜j≦N なる正整数i、jに対して E_i と E_j は互いに素とする。
このとき集合列 {E_n} は存在することになり、μ( ∪_{ i=1,…,N }(E_i) )＝Σ_{ i=1,…,N }μ(E_i)、とする。
上の1)、2)、3)を前提として公理化すれば、時枝
258:問題は公理的な確率論でも扱えて、正当化される。 いわゆる有限バージョンでの確率を扱うことになる。 時枝記事で確率に関してやっていることは、高校までの確率に毛が生えた程度で、内容的には同じことしている。
259:１３２人目の素数さん
18/12/02 16:41:55.47 kWLWeLnH.net
で、時枝記事では N＝100 のときを考えていることになり、
XとEは100個の箱の中の代表元からなる card(X)＝card(E)＝100 なる空間になって、
3)には「各 i＝1,2,…,100 に対して E_i∈E を1元集合とする。」という条件が加わっている。
時枝記事だと、各 i＝1,2,…,100 に対して E_i∈E は箱になる。
それで、∪_{ i=1,…,N }(E_i)＝E となっているから、2)と3)から
μ( ∪_{ i=1,…,100 }(E_i) )＝Σ_{ i=1,…,100 }μ(E_i)＝1 が導かれる。
各 i＝1,2,…,N に対して E_i∈E は零集合Sから等確率で選ばれるから、
任意の i＝1,2,…,N に対して μ(E_i)＝1/100 がいえる。
だから、時枝記事のゲームだと、箱の中の実数を当てる側が勝つ確率は
μ(E)＝1－1/100＝99/100 になる。
260:１３２人目の素数さん
18/12/02 16:46:10.12 kWLWeLnH.net
>>236の訂正：
時枝記事だと、各 i＝1,2,…,100 に対して E_i∈E は箱になる。
→ 時枝記事だと、各 i＝1,2,…,100 に対して E_i∈E は箱「の中の実数」になる。
261:１３２人目の素数さん
18/12/02 16:47:20.59 b2mlpEQ2.net
時枝問題って、極論すれば
・自然数１００個のうち１個だけ選んだ９９個を公表する
・選んだ１個が残り９９個より大きかったら負け
っていうゲームで、プレイヤーが勝つ確率を計算してるだけ
このとき
「残り９９個がどんな自然数でもたかだか有限だから
その範囲内に選んだ１個がおさまる確率は０」
とかほざいてるのがスレ主「ザッツ」
何に対する確率か取り違えてるのは明白
262:１３２人目の素数さん
18/12/02 16:49:14.82 kWLWeLnH.net
まあ、スレ主はあとは時枝記事の内容に自分で合わせるんだな。
それじゃ、おっちゃんもう寝る。
263:１３２人目の素数さん
18/12/02 16:55:37.16 kWLWeLnH.net
あ、>>236の一番下の間違いがあった。
μ(E)＝1－1/100＝99/100 → μ(E)－1/100＝1－1/100＝99/100
まあ時枝記事に合わせるのは出来るだろう。
それじゃ、おっちゃんもう寝る。
264:１３２人目の素数さん
18/12/02 17:00:34.76 jrn3d5/7.net
>>232
> スレ主は解析の入門レベル、代数の入門レベルすらまともに理解してません
> 要するに大学一年生レベルには達してません
それは同意なんですが、理解してないと白状してはスレが伸びないので、
別の概念を持ち出して論点をすり替え、対等な立場で白熱の議論に持ち込んで
ズルズルとレスを伸ばしていく裏の目的がちょっとアカラサマだったかなと
265:１３２人目の素数さん
18/12/02 17:05:40.12 jrn3d5/7.net
前スレがやり過ぎだと思ったのは
「ここまで説明されて間違いを理解しないのは何かオカシイ...」
と思わせてしまったからだよ。説明者が懇切丁寧すぎてスレ主のオカシさが際立ったねｗ
→「あえて理解を放棄してるように見える」
→「リプを釣ってズルズル引き伸ばすことが目的」
とオレは確信したけどね
266:１３２人目の素数さん
18/12/02 17:07:16.43 b2mlpEQ2.net
>>241
スレ主「ザッツ」は見栄坊だから
数学用語ひけらかして
「オレ様は高等数学理解してるぞフフン」
といいたがる悪癖があるんですわ
実際は言葉の意味が分かってないんで
猿と同じですけどｗ
267:１３２人目の素数さん
18/12/02 17:11:49.87 jrn3d5/7.net
>>243
> 数学用語ひけらかして
穿った見方ですがそれすらも釣り餌の一部に見えます
268:１３２人目の素数さん
18/12/02 17:17:49.39 jrn3d5/7.net
とにかく前々スレ（前スレじゃなかった）をまだ見てない人は見てくださいよ
「アレ？わざとやってるよねコレ？」って思うはずだからｗ
ｽﾚﾘﾝｸ(math板)
ここまで丁寧に完膚なきまでに説明されると、どんな馬鹿でも
「うーんオレが間違ってるかもなぁ」と思うはずなんだよｗ
そこでまったく後ろに引かず、ズレたことをいい続けるスレ主に「巧みの釣り技」を感じたねｗ
269:１３２人目の素数さん
18/12/02 17:26:10.16 jrn3d5/7.net
スレ主にコメントしとくが、前々スレでは降参してたほうが良かったと思うわ
降参すべきとこで降参しないと視聴者はスカッとしないからなｗ
「あそこまで説明すればさすがのスレ主も理解に達するんだな」というラインは明確にせんと。
でなきゃ説明しようという気は起こらず、数学議論のない単なる罵倒スレに成り下がっちゃうよなぁ
時枝の話題でお前を理解させようという人間はもう出てこないと思うぞ
芽を持ち出して何とか引き伸ばそうとする努力には感動したけどさｗ
270:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 17:34:41.92 hw+09Iif.net
（再録）
スレ54 ｽﾚﾘﾝｸ(math板:455番) 2018/11/15
(抜粋)
URLﾘﾝｸ(mathsoc.jp)
日本数学会
数学通信第２１巻第４号目次 Feb 20, 2017
URLﾘﾝｸ(mathsoc.jp)
数学の発展と展望 砂田 利一 明治大学総合数理学部 Feb 2017
(抜粋)
カントルはユダヤ系と言ったが，正確にはユダヤ人の血が混じっているというこ
とであり，むしろ彼は宗教的には敬虔なカトリック教徒であった．彼の時代を画す業績
は，一対一対応を基礎として，「実無限」を許容する集合論を創始したことである（実無
限については，次節で述べる）
2 無限の概念
ここで，カントルの理論の背景にある，無限概念についての歴史を振り返ろう．
無限を最初に扱ったのは，古代ギリシャのアナクシマンドロス（前610 頃{前546 頃）
である．彼は「アペイロン」（限りがない）という概念を導入し，それを万物の根源（ア
ルケー）とした．その後アナクサゴラス（前510 頃{前428 頃）により「無限大，無限小」
について語られたが，19 世紀後半まで歴史の中で大きな影響を与えたのはアリストテレ
ス（前384{前355）である．彼は，無限には「実無限」と「可能無限」の2 種類があっ
て，可能無限は認められるが，実無限は存在しないと考えた．カントルの集合論は，まさにアリストテレスに対するアンチテーゼなのである．
念のため，「実無限」と「可能無限」の意味を与えておく．
可能無限：無限を把握出来るのは，限りがないということを確認する操作が存在していることだけで，無限全体というのは認識出来ないとする立場
実無限：無限の対象の全体性を把握して，無限が実際に存在しているとする立場
(引用終わり)
271:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 17:37:26.79 hw+09Iif.net
>>240
おっちゃん、どうも、スレ主です。
ありがとう（＾＾
272:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 17:56:15.74 hw+09Iif.net
>>247
砂田利一先生が書いているので、悪乗りすると
最近、現代数学では、例外的に意図して、
”可能無限：無限を把握出来るのは，限りがないということを確認する操作が存在していることだけ”に、止めていることがあるのかなと
思うところがある
超準解析の無限小とか
限りなく小さいが、完全に０（ゼロ）ではない状態＝可能無限
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
微分積分学の歴史（英語版）は、流率法（英語版）あるいは無限小数の意味および論理的妥当性に関する哲学的論争を孕んでいる。これらの論争の標準的な解決策は、微分積分学における操作を無限小ではなくイプシロン-デルタ論法によって定義することである。
超準解析（英: nonstandard analysis）[1][2][3]は代わりに論理的に厳格な無限小数の概念を用いて微分積分学を定式化する。Nonstandard Analysisは直訳すれば非標準解析学となるが、齋藤正彦が超準解析という訳語を使い始めたため、そのように呼ばれるようになった[4][5]。無限小解析（in
273:finitesimal analysis）という言葉で超準解析を意味することもある。 (引用終り) 例えば、(>>120)「実数直線上で 0 を含むある開区間において定義される実数値連続函数を考え、函数の 0 付近という局所での挙動のみに注目して、0 を含むある開区間（これはいくらでも小さく取って構わない）で一致するような函数を全て同一視する。 この同一視というのは同値関係を成し、この同値類を 0 における実数値連続函数の芽（め、germ）または実数値連続函数芽（が）という。実数値連続函数の芽は通常の函数の値ごとの加法と乗法によって可換環をなす。」 これ、局所（いくらでも小さく取って構わない）＝超準解析の無限小 に近いかなと。 ”局所（いくらでも小さく取って構わない）＝超準解析の無限小”を、 数学の定義としては、”開区間の制限写像と同値類”に置き換えているみたいな感じ
274:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 18:15:08.01 hw+09Iif.net
>>249
追加
さらに悪のりすると、
多項式環は、集合の元の式の次数ｎは可能無限
（上限はないけれども、あくまで有限。言い換えれば、自然数の範囲内）
（なお、集合としては、多項式環は無限集合）
冪級数（無限級数）は、式は実無限として扱う
（可能無限、実無限は、定義の中に閉じ込めてしまい、表向きは表現されないのだが）
URLﾘﾝｸ(ja.wikipedia.org)
多項式環
(抜粋)
注意すべき点として、多項式には項が有限個しかないこと ?つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということ? は、暗黙の了解である。
環 K[X] の性質
体上の多項式環 K[X] は多くの面で整数全体のなす環 Z と非常によく似ている。
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)
冪級数（無限級数）
275:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 18:25:23.45 hw+09Iif.net
>>250 追加の追加
多項式環に似た例が、有理数
集合としては、有理数の集合は無限集合で、これ（集合）は実無限
しかし、集合の元としての有理数、例えばp/q で、p, qとも限りはないがあくまで有限（整数の範囲）だと
ここら、結構微妙で、>>249での
(>>120)「実数直線上で 0 を含むある開区間において定義される実数値連続函数を考え、函数の 0 付近という局所での挙動のみに注目して、0 を含むある開区間（これはいくらでも小さく取って構わない）で一致するような函数を全て同一視する。
この同一視というのは同値関係を成し、この同値類を 0 における実数値連続函数の芽（め、germ）または実数値連続函数芽（が）という。」
（いくらでも小さく取って構わない＝可能無限なので１点に潰してはいけない）
が、なかなか掴みにくいと思った次第です
（これも、数学の定義の中に閉じ込められていて、”可能無限”は表に出てこない）
276:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/02 18:39:10.11 hw+09Iif.net
集合の元としての有理数、例えばp/q で、p, qとも限りはないがあくまで有限（整数の範囲）だと
言っておきながら
有理数の稠密性から、任意の異なる二つの有理数（例えば1/nと1/(n+1)と）の間には、無限の有理数が存在するという
そんなことは、あくまで有限でつっぱると実現できるはずもなく、可能無限（＝限りがない）を使わないと、これは実現できないのですが
URLﾘﾝｸ(rikei-index.blue.coocan.jp)
有理数の稠密性、無理数の稠密性 理系インデックス
277:１３２人目の素数さん
18/12/02 18:43:20.71 mQyytmrB.net
いろいろ書いているが結局のところ数当てゲームの設定に
種類があっても数当てをするという趣旨で出題がwell-defined
だったら数当て戦略は成功するわけ
>>205
> 関数の芽の同値類を使って、反例を構成した
スレ主が数当てができないと言っているのは
全て出題された数列に不定性があるから
> 確率過程論を学べば、そこで可算無限個の確率変数を扱うので、
> 即座に「当たらないこと」が分る
game2は有理数の小数表示を1つずつならべることになるが
スレ主のお気に入りの(10面体)サイコロの無限回試行では
有理数の小数表示は得られないですよ
循環節とその開始位置を自分で選べば数当ての出題としては
well-definedとなるが循環節とその開始位置が決まっているので
数当ては成功する