17/09/18 08:05:45.29 KkC8TkeY.net
>>90
>「コンパクト性定理」を教えてやったのに、理解できないらしい（＾＾
>>1の言い分
「Nはコンパクトだ！
だ・か・ら、集合{1、・・・、ｎ｝の任意有限個で、Ｎを被覆できないなら
集合｛1、・・・、ｎ｝全部でも、Ｎを被覆できないっ！」
私の反論
「そもそもＮがコンパクトだと、いつ・どこで・だれが云った？
今・ここで・貴様が吠えただけだろが！
む・し・ろ、集合{1、・・・、ｎ｝の任意有限個で、Ｎを被覆できないなら
それこそがＮがコンパクトでない証拠だろが！」
>そもそも、ピエロの無限に対する理解が「幼い」と思うんだよね～（＾＾
>>1のコンパクトに対する理解が「間違ってる」と断言できるｗ
>無限集合について、なにか言いたいとき、
>「任意の有限部分が○○」と表現する
>これは、調べると、結構出てくる記法だね（＾＾
コンパクトでないときにコンパクトを前提するのは
数学知らないサルが粋がってやることだよなｗｗｗｗｗｗｗ
131:１３２人目の素数さん
17/09/18 08:13:15.30 KkC8TkeY.net
>>94
>S'の任意の有限部分集合{s'''',・・・,s'''''''''} は、同じ”しっぽ”を共有する。
>これで数学的帰納法で、一つの同値類の集合全体としても、
>同じ”しっぽ”を共有することは証明済みだよ
数学的帰納法で、証明できるのは
「同値な数列有限個について、共通の尻尾が存在する」
まで
一致番号が異なる無限個の数列の場合は不可能だよ
なぜなら、最大の一致番号がとれないからｗ
いやぁ、>>1って無限が全く分かってないね まさにidiot まさにサルｗ
132:１３２人目の素数さん
17/09/18 08:17:24.63 KkC8TkeY.net
>>95
>>1よ 貴様が引用したラッセルの誤りは貴様自身が今ここでやらかした誤りだぞｗ
数学的帰納法では無限公理を証明できない
だ・か・ら、公理的集合論では、わざわざ無限公理を公理として採用しているんだぞｗ
つまり任意の有限集合｛1,・・・,ｎ}が存在すると証明できても
集合{1,・・・｝が存在すると証明したことにはならないぞ
133:１３２人目の素数さん
17/09/18 08:24:52.49 KkC8TkeY.net
>>104
>>命題
>>ある同値類 S の全ての元が共通のしっぽ co-tail={s_n, s_(n+1),...} を持つことはない。
>その命題は正しい
ハイ！>>1負けた、>>1死んだ！
>co-tailを{s_n, s_(n+1),...}と書くことはできない。
したがってペアノの公理により、co-tailは存在しないｗ
もしco-tailを、{s_∞}と考えているのなら、ペアノの公理に反する
なぜなら∞+1が存在しないからだ
おサルの>>1はNの定義すら知らず、必死に
「∞はNの最大の要素として存在しなければならないんDEATH」
と絶叫してるようだ
そんな君にこの曲を送ろう
URLﾘﾝｸ(www.youtube.com)
134:１３２人目の素数さん
17/09/18 08:28:22.30 KkC8TkeY.net
>>104 ＞co-tailを{s_n, s_(n+1),...}と書くことはできない。
>>108 ＞じゃあどう書けるの？
>>114 ＞どう書けるか知らない
＿＿＿_
／ ＼ ／＼ ｷﾘｯ
. ／ （ー） （ー）＼ ＜「co-tailは存在する。ただ、どう書けるかは知らない。」
／ ⌒（__人__）⌒ ＼
| |r┬-| |
＼ `ー’´ ／
ノ ＼
／´ ヽ
| ｌ ＼
ヽ -一””””~~｀`’ー–､ -一”””’ー-､.
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒))
＿＿＿_
／_ノ ヽ､_＼
ﾐ ﾐ ﾐ oﾟ(（●）) (（●）)ﾟo ﾐ ﾐ ﾐ ＜だっておｗｗｗ
/⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼ /⌒)⌒)⌒)
| / / / |r┬-| | (⌒)/ / / /／
| :::::::::::(⌒) | | | ／ ゝ :::::::::::/
| ノ | | | ＼ / ） /
ヽ / `ー’´ ヽ / ／
| | l||l 从人 l||l l||l 从人 l||l バンバン
ヽ -一””””~~｀`’ー–､ -一”””’ー-､
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒))
135:１３２人目の素数さん
17/09/18 08:44:35.12 KkC8TkeY.net
ランダムに自然数を選ぶとして
>>1は「ある特定の自然数ｎが選ばれる確率は０」
とナイーブに言ってるが、これは
136:具体的にいえば 「ランダムに自然数を選ぶ試行を無限回実施したとして そこである特定の自然数ｎが選ばれる回数は高々有限回」 という程度のことである し・か・し、それは 「だからランダムに自然数を選ぶ試行で、 本当に自然数が選ばれる確率は０である」 という意味ではない どの数ｎについても選ばれる回数がたかだか有限回だとしても 自然数はそもそも無限にあるのだから、全体として無限回になり得る したがって 「だからランダムに自然数を選ぶ試行で、 本当に自然数が選ばれる確率は当然１である」 と考えても何の矛盾もないｗ
137:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 08:51:43.05 OusaV1qu.net
>>119-121
>＞どう書けるか知らない
>＞が、しっぽの共有部分は存在する。それは証明で示した通りだ
>つまりお前は「どう書くかすら分からない何ものか」の存在を証明したと言うんだな？
「どう書くかすら分からない何ものか」の存在は、自然数の本性だ。可算無限の”しっぽ”は、必然そうなる
例えば、下記命数法で、仏典の最大の命数である不可説不可説転 10^(7*2^122)=10^37218383881977644441306597687849648128。しかし、可算無限大に比しては、これも無限小にすぎない
可算無限の”しっぽ”の先は、名前が付けられない。名前が付けられないが、存在する。
それが、自然数の本性だ。後者を一つずつ積み上げる構成法だからでもある。
URLﾘﾝｸ(ja.wikipedia.org)
命数法（めいすうほう）とは、数詞を用いて数を表す命数（めいすう）の方法であり、言語により異なる。例えば 10000 を、日本語では「一万」、英語では ten thousand と呼ぶ。命数法のうち、数字を用いて数を表す方法を記数法という。
(抜粋)
漢数字 （(抜粋)「塵劫記」、無量大数（むりょうたいすう）10^68）
仏典の数詞
華厳経の巻第四十五、阿僧祇品第三十には、上記の命数法とは異なる命数が記述されている。10^5 を洛叉（らくしゃ）、百洛叉 (= 10^7) を倶胝（くてい）とし、倶胝以上を上数として123の命数が列挙されている。最大の命数である不可説不可説転は
10^(7*2^122)=10^37218383881977644441306597687849648128
という巨大な数となる。もっとも、これらは実用のものではなく、計算もできないほど大きな数を示して悟りの功徳の大きさを表したものである。
URLﾘﾝｸ(ja.wikipedia.org)
西洋の命数法
(抜粋)
10^18（百京） trillion (10^6)^3
138:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 08:51:59.67 OusaV1qu.net
>>122
それは、論点ずらしの典型では？
いま、>>105の説明で、問題にしていることは、
代表数列πに対し、数列作成者が、代表数列πの属する同値類から、ある数列 s'=(s'1， s'2， s'3，・・・，s'k,・・・，s'n,・・・ )∈R^N をランダムに選んだとき
決定番号Dがどうなりますかってこと
決定番号Dは、”D <= 22兆4591億5771万8360” となる確率は０（ゼロ）だと
まず、ここを認めたらどうですか？？ その後は次のステップとして・・
「閉じた箱に入っている数列と代表系は変化しないので箱を閉じた時点で決定番号がDならそれ以降は変化しない」>>122
とか意味わからん
それって、時枝記事の”35 ｽﾚﾘﾝｸ(math板:15番) 時枝問題（数学セミナー201611月号の記事）”（>>11）より
"「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である."
とある、「確率変数」という概念を否定する意図なのかな？
139:１３２人目の素数さん
17/09/18 09:05:25.87 KkC8TkeY.net
>>131
＞それは、論点ずらしの典型では？
おまえが論点外してんだよｗ
例えば99列分の決定番号をとってその最大値がDだとする
で、100列目をとったとき、その決定番号dについて、おまえは
「d＜Dになる確率は０だ！」
とわめいてるわけ
これに対して
「そもそも100列とったときの最大値D'について
D'(=d)＞Dとなる確率が1/100だろ」
といってるわけだ
100列のうちどの列の決定番号が最大値になるかは同じ確率1/100だろ
違うならどういう理由で違ってくるのか説明して見ろよ
できるものならなｗｗｗｗｗｗｗ
140:哀れな素人
17/09/18 09:25:19.45
141:HJThN6W0.net
142:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 09:28:11.88 OusaV1qu.net
ピエロ、朝から出勤ご苦労。今日も、みなの笑いを取っておくれ（＾＾
>>124
ピエロは小学生で、分ってないみたいだが（＾＾
「コンパクト性定理」を直接使っているわけではないよ
（>>90より）”無限集合について、なにか言いたいとき、「任意の有限部分が○○」と表現する”言い回しが、
時枝記事”「確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される」という記述”と同じだよということ
錯誤、ご苦労さん（＾＾
143:哀れな素人
17/09/18 09:29:38.23 HJThN6W0.net
「解析学の大錯誤」は以下を批判したもの
デデキントの切断
ワイエルシュトラスの定理
有界な単調数列の収束
区間縮小法
コーシーの収束判定法
コーシー列による実数の構成
ε－δ論法
カントールの対角線論法
「すべてのパラドックスは詐欺である」は以下を批判したもの
「私は嘘つきである」
「この文は偽である」
「次の文は真である」「前の文は偽である」
床屋のパラドックス
ラッセルのパラドックス
図書目録のパラドックス
批判したという意味は、
これらはすべて間違いであると指摘したという意味である。
144:１３２人目の素数さん
17/09/18 09:29:43.96 arAx3/4k.net
>>130
＞「どう書くかすら分からない何ものか」の存在は、自然数の本性だ。
自然数は厳密に定義されていますが？ちょっと何言ってるかわかりません
145:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 09:30:08.11 OusaV1qu.net
>>125
>数学的帰納法で、証明できるのは
>「同値な数列有限個について、共通の尻尾が存在する」
>まで
錯誤、ご苦労さん（＾＾
まあ、小学生では、数学的帰納法の理解は難しよね（＾＾
>一致番号が異なる無限個の数列の場合は不可能だよ
>なぜなら、最大の一致番号がとれないからｗ
"最大の一致番号がとれないから”って・・、一致番号dの集合は、重複する番号dがあるとしてもそれを１つに纏めるとして、それは可算無限集合だと思うのだが？
可算無限集合で、”最大の一致番号がとれない”のは当然だろ
決定番号の集合も同じ
そこらがさ、おまえの無限の理解が”幼い”と思うゆえんだ
146:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 09:30:39.06 OusaV1qu.net
>>126
ピエロ、面白いよ、それ
今日の大爆笑は、これだろうな！
私の引用の意図を、全く逆にとったわけだね（＾＾
笑えるな～（＾＾
147:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 09:31:32.91 OusaV1qu.net
>>127-128
ピエロは、小学生なのに、作文とお絵かき、頑張るね。えらいね～（＾＾
でも、せめて、数学的帰納法は、理解しようね～
あと、>>130も漢字が難しいが、読んでみて（＾＾
148:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 09:33:03.26 OusaV1qu.net
>>132
まあ、下記の引用でもどうぞ
数学的帰納法さえ理解できないレベルでの小学生の作文に、何をかいわん
（引用）
スレ41 ｽﾚﾘﾝｸ(math板:643番)
643 自分返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/09/16(土) 20:00:27.90 ID:KRHwrxLG
>>633-635
ピエロ必死だな（＾＾
独自説、ご苦労さんだ
まあ、小学生の作文だな
百歩譲って、小学生の作文が成り立つとしましょう
”38 ｽﾚﾘﾝｸ(math板:355-381番) 時枝記事の解法の不成立の証明”（>>11）
で、ｽﾚﾘﾝｸ(math板:357番) 「＜ステップ２＞「現代数学 ZFC下で、一見異なる結論が導かれることがある」(反例になる場合もある)」
を入れておいて良かったなと、つくづく思うよ（＾＾
小学生の妄想作文をめぐって、議論する気はない
ピエロが、小学生レベルの脳内作文が成り立つというなら、それで良いんじゃない？（＾＾
おれはおれで、”こっちの証明が成り立つよ”というだけのこと（＾＾
おれの証明が潰せなければ、そうなるだけのこと（＾＾
149:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 09:39:57.33 OusaV1qu.net
>>136
>＞「どう書くかすら分からない何ものか」の存在は、自然数の本性だ。
>自然数は厳密に定義されていますが？ちょっと何言ってるかわかりません
自然数は厳密に定義されていますよ。>>104に示した通り、ペアノの公理（下記）、帰納法の原理でね（ZFCも同じだよ）
”帰納法の原理”で、というところを、しっかり考えてみてください
＜再録＞（>>104）
URLﾘﾝｸ(ja.wikipedia.org)
ペアノの公理
(抜粋)
定義
ペアノの公理は以下の様に定義される。
自然数は次の5条件を満たす。
1.自然数 0 が存在する。
2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。
3.0はいかなる自然数の後者でもない（0 より前の自然数は存在しない）。
4.異なる自然数は異なる後者を持つ：a ≠ b のとき suc(a) ≠ suc(b) となる。
5.0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
5番目の公理は、数学的帰納法の原理である。
(引用終り)
150:哀れな素人
17/09/18 09:40:02.83 HJThN6W0.net
>>116
限りがない、ということは、無限個ある、ということではない(笑
無限にあるが、無限個あるわけではない(笑
無限個あるが、無限個あるわけではない(笑
>元の数に限りがない集合に含まれる元の数には限りがある
その通り(笑
元の数に限りがない集合に含まれる元の数は有限個である(笑
お前は新参者だから知らないだろうが、僕は
無限小数は実際は有限小数である。
無限級数は実際は有限級数である。
無限集合は実際は有限集合である。
ということを延々と主張してきたのである、
誰にも理解されなかったが(笑
151:１３２人目の素数さん
17/09/18 09:56:48.32 KkC8TkeY.net
>>134
＞「コンパクト性定理」を直接使っているわけではないよ
分かってる サルの毎度恒例のハッタリは、今度も不発だったってことだｗ
＞”無限集合について、なにか言いたいとき、「任意の有限部分が○○」と表現する”言い回しが、
＞時枝記事”「確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される」
＞という記述”と同じだよ
で、独立⇔「他の情報から情報が得られず予測不能」、ではないってことだ
有限族について同値でも、無限族についてはそうならない
ま、「コンパクト」馬鹿のサルには死んでも分からんかｗｗｗｗｗｗｗ
152:１３２人目の素数さん
17/09/18 10:00:31.42 KkC8TkeY.net
>>137
＞"最大の一致番号がとれないから”って・・、
＞一致番号dの集合は、可算無限集合だと思うのだが？
＞可算無限集合で、”最大の一致番号がとれない”のは当然だろ
だろ？だったらco-tailは存在しない
サルは幼いとかいう以前に愚か
ま、人間には死んでもなれない畜生だから仕方ないなｗ
153:１３２人目の素数さん
17/09/18 10:02:25.97 KkC8TkeY.net
>>138
笑えるのは、サル、おまえだよｗ
いいかげん自分のクソを全身に塗りたくるクソ芸はやめろ
堪え難くクサい！！！！！！！
154:１３２人目の素数さん
17/09/18 10:03:44.69 arAx3/4k.net
>>115
＞箱は可算無限だから、>>105-106に例示したように、「決定番号は、”D <= 22兆4591億5771万8360” となる確率は０（ゼロ）
＞22兆4591億5771万8361桁目より先にどんどん計算が進めば、この数を大きくすることができる。限りなく大きくすることができる。」ということ
戦略不成立を主張したいなら、決定番号が自然数でないことを示さないとダメ。兆だの京だのナンセンス。
しかし代表系が定まっている状況では、定義から直ちに自然数であることが従うよ。
未だ理解できない？
155:１３２人目の素数さん
17/09/18 10:03:53.27 KkC8TkeY.net
>>139
＞せめて、数学的帰納法は、理解しようね～
サル。貴様がねｗ
数学的帰納法では「最大の自然数∞」の存在なんか証明できないゾｗｗｗｗｗｗｗ
156:１３２人目の素数さん
17/09/18 10:09:10.76 KkC8TkeY.net
>>140
＞おれはおれで、”こっちの証明が成り立つよ”というだけのこと（＾＾
サルのクソ証明なんか書いた瞬間から潰れてるよｗｗｗｗｗｗｗ
あのな、99列分の決定番号をとって、その最大値がDだとして
100列目をとったとき、その決定番号dについて、サルの貴様は
「d＜Dになる確率は０だ！」
とキャッキャ吠えてるわけ
これに対してニンゲン様の私は
「そもそも100列とったときの最大値D'について
D'(=d)＞Dとなる確率が1/100だろ」
といってるわけだ
100列のうち、どの列の決定番号が最大値になるかは同じ確率1/100
確率が違うならどういう理由で違ってくるのか説明して見ろよ
できるものならな、サル！！！
157:１３２人目の素数さん
17/09/18 10:11:31.24 KkC8TkeY.net
>>139
命数法の話なら岩波科学ライブラリー「巨大数」でも読みやがれ
算数しかわからんサルでも読めるだろｗｗｗｗｗｗｗ
158:１３２人目の素数さん
17/09/18 10:23:43.97 arAx3/4k.net
>>137
＞まあ、小学生では、数学的帰納法の理解は難しよね（＾＾
数学的帰納法で言えるのは
「∀n∈N について命題 P(n) が真」
であって、
「P(∞) が真」
ではないよ
159:１３２人目の素数さん
17/09/18 10:24:34.97 KkC8TkeY.net
>>140
＞おれの証明が潰せなければ、
おまえさあバカザルのくせにニンゲン面すんなよ
おまえみたいなバカザル、何百匹何千匹死のうが
ニンゲン様には痛くも痒くもねえんだよ
いいかげん身の程知って匿名になれよバカザル
おまえみたいなバカザルがHN使うなんざ一万年早ぇよｗ
160:１３２人目の素数さん
17/09/18 10:29:32.58 KkC8TkeY.net
>>140
＞議論する気はない
そもそもサルの貴様が間違ってることについて、議論の余地などないｗ
文系の貴様がインチキ引用を多用してディベートしたがってるだけだｗ
貴様なんか理系じゃねえ このサイコパスサギ師野郎ｗ
161:１３２人目の素数さん
17/09/18 10:38:19.75 WP9yXypF.net
>>142
宣伝ありがとう。
amazonには残り1冊となってるな。なんでだ？
これじゃあ客のニーズに耐えられんぞ。
> 限りがない、ということは、無限個ある、ということではない(笑
162:> 無限にあるが、無限個あるわけではない(笑 > 無限個あるが、無限個あるわけではない(笑 AならばA（A⇒A）が必ずしも成り立たない、ってわけだ。 これが宗教でも文学でも哲学でもなく数学だっていうなら逆にすごいよ。 お前はたしかに新しい数学を作り出してるよ。自信をもって増刷しなさい。
163:哀れな素人
17/09/18 11:37:08.98 HJThN6W0.net
>>153
アマゾンの倉庫に全在庫を置くわけにはいかない。
なぜならアマゾンの倉庫はすべての本の
すべての在庫を置けるほど広くはないからだ。
そこで一冊か二冊ほど置いておいて、
売れたら、その都度、出版社に連絡して、
出版社がまた一冊か二冊アマゾンに送る、
という仕組みになっている。それだけ(笑
164:１３２人目の素数さん
17/09/18 11:56:36.93 sUE9Al38.net
>>154
なるほど
165:１３２人目の素数さん
17/09/18 12:00:25.39 sUE9Al38.net
>>148
> 100列のうち、どの列の決定番号が最大値になるかは同じ確率1/100
証明も否定もできないものを豪語するのはやめとけ
証明できるのは100個の決定番号からサイコロで1つを選んだときそれがMaxである確率が1/100ということ
お前の主張とは全然違う。
166:哀れな素人
17/09/18 12:36:19.76 HJThN6W0.net
ID:WP9yXypF
ID:sUE9Al38
この二人はもしかしたら新参者かもしれないから、たとえば
無限小数は実際は有限小数である。
ということを説明しておこう。
0.999 ←これは有限小数である。
0.99999 ←これも有限小数である。
0.9999999 ←これも有限小数である。
……………………
どこまでいっても同じである。
どこまでいっても有限小数である。
決して無限小数にはならない。
他にもいろいろな仕方で、
僕はこのことをこのスレで説明してきた。
しかし誰も理解しなかった(笑
もしこの二人が上の説明で理解したとしたら、
この二人は他の常連より利口である(笑
いくらでもあるが有限である、
というのは上のようなことなのである。
無限級数でも無限集合でも同じだ。
無限というのはいくらでもある、ということであって、
いくらでもあるというのは無限個あるということではない。
いくらでもあるということは、いくらでもあるが有限個にすぎない、
ということである。
167:１３２人目の素数さん
17/09/18 12:39:29.68 arAx3/4k.net
>>157
自然数は何個ある？
168:１３２人目の素数さん
17/09/18 12:40:02.49 Ff1auLLW.net
>>142
>限りがない、ということは、無限個ある、ということではない(笑
>無限にあるが、無限個あるわけではない(笑
>無限個あるが、無限個あるわけではない(笑
これは、数学的には全く同じ性質を持つ対象どうしで考えたら、同一律とかいう
哲学というか形式論理の基礎の1つのお約束にすら反することになるが、そのあたりはどうするんだ？
まあ、>>135を見る限り、中間値の定理とかも含めて解析を全否定しているようだから、
全く同じ性質を持つ対象どうしでは考えないようなことでもしない限り、それ程のビジネスにはならないだろうけどね。
まあ、お前さんはいわゆる数学の小説でも書くのかい？
169:哀れな素人
17/09/18 12:46:10.33 HJThN6W0.net
>>158-159
>>157を読め(笑
自然数はいくらでもあるが有限個しかない(笑
これは何も僕独自の特殊説でも何でもない(笑
これはギリシャの昔からの常識だ(笑
こういう常識をカントールを始めとする近代以降の
数学者は知らなかったのである。
170:１３２人目の素数さん
17/09/18 12:48:04.59 4C8yGAnW.net
マジ卍
171:哀れな素人
17/09/18 12:57:33.67 HJThN6W0.net
>>161のような反応を見れば、
現代人の多くが自然数は無限個あると思っていることが分る(笑
しかしアレストテレスやニコラウス・クザーヌスを読んでみればいい。
そうしたら僕の言っていることが正解だと分る(笑
だから僕はこのスレで何度も書いてきた、
ギリシャ人が生きていたら無限小数も無限級数も
無限集合も否定しただろう、と。
ギリシャ人だけではない。
クロネッカーはカントールを否定したし、
ガウスも無限を数学に持ち込むことには反対した。
ヴィットゲンシュタインもカントールの無限集合論を
笑止千万、ナンセンス、間違っていると言ったのだ。
172:１３２人目の素数さん
17/09/18 13:09:32.70 arAx3/4k.net
>>160
＞自然数はいくらでもあるが有限個しかない(笑
有限個とは具体的に何個？
173:１３２人目の素数さん
17/09/18 13:27:46.40
174:h+QTi+CW.net
175:１３２人目の素数さん
17/09/18 14:21:11.96 KkC8TkeY.net
>>156
いかなる列もその決定番号は自然数であるから同じことである
176:１３２人目の素数さん
17/09/18 15:28:47.88 arAx3/4k.net
>>141
＞「どう書くかすら分からない何ものか」の存在は、自然数の本性だ。
「自然数の本性」って何ですか？
「どう書くかすら分からない何ものか」の存在とか「自然数の本性」とか
あなたはオカルトかファンタジーの類を語っているのですか？
177:１３２人目の素数さん
17/09/18 15:37:10.18 arAx3/4k.net
もっと端的に質問しましょうか？
「「どう書くかすら分からない何ものか」が存在する」
⇒これは命題か？ Y/N
178:１３２人目の素数さん
17/09/18 15:54:22.47 sUE9Al38.net
>>165
> いかなる列もその決定番号は自然数であるから同じことである
答えになってない。
自然数かどうかではない。
1) どの列もMaxになる確率は1/100
2) Maxの列を選ぶ確率はサイコロで決まる確率1/100
この2つは明確に異なる。
これを区別せずに1)が成り立つと豪語するお前は、1)も2)も成り立たないと言うスレ主と同レベル。
179:１３２人目の素数さん
17/09/18 15:57:34.11 KkC8TkeY.net
>>168
答えになっている
もし、最新列の決定番号が必ず最大値になる
というなら、貴様こそサルと同じ畜生
180:１３２人目の素数さん
17/09/18 16:00:02.97 sUE9Al38.net
>>160
お前は人をトゲと読む数学
俺たちは人をヒトと読む数学
お前はお前の世界で生きていけ。
181:１３２人目の素数さん
17/09/18 16:01:21.56 KkC8TkeY.net
サルの主張
決定番号diに関して
d1<d2<d3<d4<d5<d6<d7<d8<d9<・・・
人間様の主張
決定番号diに関して
di>dj (j<i) となる確率は1/ｉ
182:１３２人目の素数さん
17/09/18 16:02:03.73 sUE9Al38.net
>>169
> もし、最新列の決定番号が必ず最大値になる
というなら、貴様こそサルと同じ畜生
言ってないけど。
1)の確率1/100は証明できないと言っている。
お前も証明できないことは前に認めたじゃんw
また未定義の確率論を持ち出すのか？
であれば、お前も哀れな素人も明確に同レベル。
183:１３２人目の素数さん
17/09/18 16:03:47.96 KkC8TkeY.net
>>172
>1)の確率1/100は証明できないと言っている。
>お前も証明できないことは前に認めたじゃんw
いいや、一切認めていない 貴様の妄想だな
>また未定義の確率論を持ち出すのか？
今の確率論で証明できる
貴様が馬鹿だから証明できないだけ
184:１３２人目の素数さん
17/09/18 16:04:57.81 sUE9Al38.net
>>173
お前可測関数の定義域を間違えた男じゃん。
またぶり返したいの？
185:１３２人目の素数さん
17/09/18 16:06:47.57 KkC8TkeY.net
>>174
貴様もサル同様、決定番号の分布に固執する畜生かｗ
1/100の計算に、決定番号の分布は一切必要ない
186:１３２人目の素数さん
17/09/18 16:06:53.15 sUE9Al38.net
>>173
じゃあ証明してみろよ。
測度論なら測度論にのっとれ。
今度は定義域を間違えるなよw
測度論でないならお前独自の確率をきちんと定義してからにしろ。
お前しか知らないからな、お前の確率論は。
しっかりかけよ。
187:１３２人目の素数さん
17/09/18 16:08:03.63 sUE9Al38.net
>>175
馬鹿じゃねえの？
問題設定分かってる？w
ほれ。まず問題を書いてみろ。
確率空間を書いてみな。
188:１３２人目の素数さん
17/09/18 16:09:02.99 KkC8TkeY.net
>>176
100個の列から100個の決定番号が得られる
このうち他の列の決定番号より大きい決定番号をもつ列は高々１個だ
ゆえに1/100 バカでもわかるｗ
189:１３２人目の素数さん
17/09/18 16:11:31.19 sUE9Al38.net
>>178
それはサイコロをふる（2)じゃねえか（笑）
100個の決定番号が確定しているときの話な。
お前の主張はどの列も確率1/100という(1)だろ？
問題設定が違うんだよ馬鹿
190:１３２人目の素数さん
17/09/18 16:13:25.09 KkC8TkeY.net
>>177
バカは貴様
事象はｉ=1～100について
di＞dj （not(j=ｉ）)
の100個
どの事象も等確率である
ゆえに確率1/100
191:１３２人目の素数さん
17/09/18 16:14:31.81 KkC8TkeY.net
>>179
貴様が(1)と(2)が違うと思い込んでるだけ
問題設定が違わねえんだよ 妄想狂
192:１３２人目の素数さん
17/09/18 16:16:07.75 sUE9Al38.net
>>180-181
早く確率空間を書いてみろよ。
また可測出ない関数に定義域外の値を放り込んだりするんだろ？（笑）
はやく書け。
193:１３２人目の素数さん
17/09/18 16:19:07.51 KkC8TkeY.net
>>182
＞早く確率空間を書いてみろよ。
>>180で書いたぞ
１００個の背反事象を書いてやった
１００個の事象の確率が皆
194:同じだから１／１００
195:１３２人目の素数さん
17/09/18 16:20:16.81 sUE9Al38.net
>>180-181
しばらく留守にするけど、反論できないように丁寧に書いとけ。
前に論破されてることも忘れるなよ。
定義域の件はきちんと読み返しとけ（笑）
196:１３２人目の素数さん
17/09/18 16:22:43.96 KkC8TkeY.net
>>184
永遠に来なくていいぞ
＞前に論破されてることも忘れるなよ。
妄想だろｗ
貴様が決定番号の分布に固執するのが間違ってる
論破されたのは貴様だｗ
おまえ>>１だろ？ ほんと卑怯卑劣な畜生だな
おまえみたいなサイコパス、首掻き切られて死ねよ クソ野郎
197:１３２人目の素数さん
17/09/18 16:23:11.64 sUE9Al38.net
>>183
diは確定しているのか？
198:１３２人目の素数さん
17/09/18 16:24:42.74 KkC8TkeY.net
>>1のなりすましの自称「確率論の専門家」は
自分の必殺技ｗが全く通用しないのに泡食って
尻尾巻いて退散するとさｗｗｗｗｗｗｗ
クタバレ、卑怯卑劣なチキン野郎！
199:１３２人目の素数さん
17/09/18 16:24:51.57 QeUEFMAZ.net
>>164
年齢が違うから同姓同名ですな
200:１３２人目の素数さん
17/09/18 16:27:28.14 KkC8TkeY.net
>>186
diは存在する
di、dj間の不等式の真偽値も確定する
201:１３２人目の素数さん
17/09/18 16:32:14.58 sUE9Al38.net
>>189
存在するって何だよ？（笑）
もう一度聞くが、各diは確定した自然数なのか？
202:哀れな素人
17/09/18 16:34:12.46 HJThN6W0.net
>>163
>>157を読め(笑
いくらでもあるのである(笑
いくらでもあるが有限個なのである(笑
分るか？(笑
お前だけではない、このスレの全員が
>>157が理解できないのだ(笑
こんなことは、どんな子供でも、分る子には分るのに(笑
203:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:41:42.81 OusaV1qu.net
>>146
>＞箱は可算無限だから、>>105-106に例示したように、「決定番号は、”D <= 22兆4591億5771万8360” となる確率は０（ゼロ）
>＞22兆4591億5771万8361桁目より先にどんどん計算が進めば、この数を大きくすることができる。限りなく大きくすることができる。」ということ
>
>戦略不成立を主張したいなら、決定番号が自然数でないことを示さないとダメ。兆だの京だのナンセンス。
>しかし代表系が定まっている状況では、定義から直ちに自然数であることが従うよ。
ナンセンスと言うのはご勝手にだ
つまり、戦略不成立を直接示すのは、いろいろ難しいところがある
だから、間接的に、数列の先頭からある有限部分について、的中する確率が０（ゼロ）をいうことで、時枝記事
時枝記事 ”35 ｽﾚﾘﾝｸ(math板:13番) 時枝問題（数学セミナー201611月号の記事）”
より、”列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はS^k(D)＝r(D)と賭ければ，めでたく確率99/100で勝てる.”とあるけれど
決定番号Dが、有限の範囲に来る確率は、著しく低く、それは０（ゼロ）だと
その有限範囲は、まずは、「決定番号は、”D <= 22兆4591億5771万8360” となる確率は０（ゼロ）」
次に、最大の命数である不可説不可説転 ”D <= 10^(7*2^122)=10^37218383881977644441306597687849648128” となる確率は０（ゼロ）
ここまでを、認めて貰えれば良い。それで、我々が普通に使う数の範囲の箱は的中確率０（ゼロ）だ
204:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:42:18.89 OusaV1qu.net
>>150
>＞まあ、小学生では、数学的帰納法の理解は難しよね（＾＾
>数学的帰納法で言えるのは
>「∀n∈N について命題 P(n) が真」
>であって、
>「P(∞) が真」
>ではないよ
ピエロよりレベルが高いね（＾＾
正解だ
それで十分だし、それ当然だ
205:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:43:48.47 OusaV1qu.net
>>166
>「自然数の本性」って何ですか？
>「どう書くかすら分からない何ものか」の存在とか「自然数の本性」とか
>あなたはオカルトかファンタジーの類を語っているのですか？
理解できていないようですね。>>141の通り”自然数は、数学的帰納法の原理そのものであり、その後者 (successor)（ a + 1）によって、一つずつ構成されるもの”ってことですよ
（再録）
URLﾘﾝｸ(ja.wikipedia.org)
ペアノの公理
(抜粋)
定義
ペアノの公理は以下の様に定義される。
2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。
5.0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
5番目の公理は、数学的帰納法の原理である。
(引用終り)
206:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:44:23.59 OusaV1qu.net
>>167
>「「どう書くかすら分からない何ものか」が存在する」
>⇒これは命題か？ Y/N
Y
例
１）超越数の集合：実数の集合Rから、代数的数の集合Aを除いた集合としか定義できない。具体的には書けない例
２）超越数πのしっぽ：>>106 より”2016年の時点では、円周率は小数点以下22兆4591億5771万8361桁まで計算されている”とある。22兆4591億5771万8361桁の先は、まだ計算されていないが、ずっと（無限に）存在する
207:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:45:00.84 OusaV1qu.net
>>143
"（>>90より）”無限集合について、なにか言いたいとき、「任意の有限部分が○○」と表現する”言い回しが、
時枝記事”「確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される」という記述”と同じだよということ"
これは結構重要だよ
まあ、また後で説明してやるよ、小学生（＾＾
208:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:45:19.96 OusaV1qu.net
>>144
co-tailの存在証明は数学的帰納法で終わっているので、数学的帰納法を理解できない小学生には難しいということを自白したってことだな（＾＾
209:１３２人目の素数さん
17/09/18 16:45:23.07 KkC8TkeY.net
>>191
存在しないというのかね？ｗ
事象は既に示した
diとやらの値が分かっている必要はない
そもそもどの列siについても
P（∀j.not(j=i)⇒di>dj)
の確率が同じであると認める限り
列の数がn個であるなら、
その確率はたかだか1/n
210:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:45:39.40 OusaV1qu.net
>>145
>>94-95で引用した数学的帰納法についてのバートランド・ラッセルの説明を読んで理解できない（>>126）ということね
数学的帰納法は、小学生には難しいということを自白したってことだな（＾＾
211:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:45:54.98 OusaV1qu.net
>>147
>数学的帰納法では「最大の自然数∞」の存在なんか証明できないゾｗｗｗｗｗｗｗ
微笑ましいねー、小学生・・（＾＾
212:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:46:09.68 OusaV1qu.net
>>148
数学的帰納法を理解できない小学生の作文、おつ（＾＾
213:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:46:26.30 OusaV1qu.net
>>151-152
>＞おれの証明が潰せなければ、
>おまえさあバカザルのくせにニンゲン面すんなよ
小学生は微笑ましいね。「証明は潰せません」と自白したわけだな（＾＾
214:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:46:43.18 OusaV1qu.net
>>185
ピエロ妄想おつ（＾＾
ID:sUE9Al38さんは、別人だよ（＾＾
>永遠に来なくていいぞ
おびえているのか？（＾＾
215:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:47:13.64 OusaV1qu.net
>>163
どうも。スレ主です。
>>123を見落としていたが、”容疑者を過失運転傷害の疑いで現行犯逮捕しました”か
最近の￥さんのご無沙汰と合うね～
216:１３２人目の素数さん
17/09/18 16:47:38.25 KkC8TkeY.net
>>197
＞co-tailの存在証明は数学的帰納法で終わっているので・・・
>>1の証明は数学的帰納法の誤用であるので
>>1は数学的帰納法を全く理解できてないってことだな
結論：>>1は数学的帰納法すら理解できないサルｗｗｗｗｗｗｗ
217:１３２人目の素数さん
17/09/18 16:50:32.49 KkC8TkeY.net
>>202
＞「証明は潰せません」と・・・
自分の初歩的な誤りを決して認めることができないバカには数学は理解できないｗｗｗ
218:１３２人目の素数さん
17/09/18 16:51:52.14 sUE9Al38.net
>>198
だから存在するって何だよ（笑）
おれは存在するか？と聞いたんじゃない。
確定しているのか？と聞いたんだ。
> そもそもどの列siについても
> P（∀j.not(j=i)⇒di>dj)
> の確率が同じであると認める限り
誰が認めたんだ？
siってなんだ？
きちんと確率空間を書けって言ってるんだよ。
219:１３２人目の素数さん
17/09/18 16:51:55.82 KkC8TkeY.net
>>203
同一人物か別人かはどうでもいいｗ
ああいうつまらぬ言い掛かりは、二度と通用しないと思い知らせてやったまで
バカはクタバレ バカには生きる価値も資格もない
220:１３２人目の素数さん
17/09/18 16:54:00.60 arAx3/4k.net
>>191
＞いくらでもあるが有限個なのである(笑
＞分るか？(笑
ちょっと何言ってるか分かりません
221:１３２人目の素数さん
17/09/18 16:55:36.53 KkC8TkeY.net
>>207
あらかじめ分かっている必要はない
つまり貴様の質問は無意味だ
＞きちんと確率空間を書けって言ってるんだよ。
背反事象を100個書いてやった
サイコロの目がｎ（ｎ＝1～6）
というのと全く同じ表現だ
貴様が論理式も読めないバカだというだけだろう
やっぱ、おまえ>>1だろｗ
バカっぷりが>>1そっくりだｗ
222:１３２人目の素数さん
17/09/18 16:59:28.55 sUE9Al38.net
>>210
罵詈雑言じゃなくて確率空間を書け。
各diは確定しているのか？
質問に答えられないのか？
223:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 17:01:09.50 OusaV1qu.net
>>204
>>123 URLﾘﾝｸ(news.tbs.co.jp)
より
「警察は、ワゴン車を運転していた富士見市の会社員、増田哲也容疑者（５２）を過失運転傷害の疑いで現行犯逮捕しました。」
なので、年齢が合わないし、
別人のような気がしてきたな（＾＾
224:哀れな素人
17/09/18 17:01:15.92 HJThN6W0.net
>>209
君は真面目に質問しているのか？
真面目に質問しているなら説明するが、
皮肉で書いているなら説明しない。
ちっとも難しいことではないのだ。
子供でも分ることである。
>>157を読めば、分かる者には分るはずである。
225:１３２人目の素数さん
17/09/18 17:02:41.00 arAx3/4k.net
>>195
超越数も円周率も明確な定義がある。
co-tail を明確に定義して下さい。
「命題である」と答えたからには明確な定義があるはずですよね？
226:１３２人目の素数さん
17/09/18 17:10:20.76
227:arAx3/4k.net
228:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 17:13:03.85 OusaV1qu.net
>>205
>＞co-tailの存在証明は数学的帰納法で終わっているので・・・
>
>>>1の証明は数学的帰納法の誤用であるので
あれあれ、ピエロ言い方が変わってきたよ～（＾＾
（>>125より）”数学的帰納法で、証明できるのは
「同値な数列有限個について、共通の尻尾が存在する」”
だったよね～
数学的帰納法の理解が少しだけ進んだのかも・・（＾＾
229:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 17:22:24.60 OusaV1qu.net
>>206
ピエロ必死だな（＾＾
230:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 17:22:40.12 OusaV1qu.net
>>208
>ああいうつまらぬ言い掛かりは、二度と通用しないと思い知らせてやったまで
ピエロ必死だな（＾＾
小学生レベルで、なにいきがっているだろうね（＾＾
231:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 17:22:59.12 OusaV1qu.net
>>214-215
co-tail の定義と証明は下記だな
(>>11より)
"41 ｽﾚﾘﾝｸ(math板:580-589番) ＜時枝数列の同値類のしっぽの共有部分が空集合でないことについて＞証明と説明
41 ｽﾚﾘﾝｸ(math板:622-623番) しっぽの共通部分(co-tail）の存在と一致番号が有限範囲に留まることはありえないことの説明"
232:１３２人目の素数さん
17/09/18 17:34:34.79 KkC8TkeY.net
>>211
＞確率空間を書け
もう書いた
2列の場合
d1＞d2
d2＞d1
の二つの事象
（正確にはd1=d2もあるが、除く）
233:１３２人目の素数さん
17/09/18 17:38:11.77 KkC8TkeY.net
>>216
＞ピエロ言い方が変わってきたよ～（＾＾
サルの国語の理解が間違ってるんだろｗ
＞”数学的帰納法で、証明できるのは
＞ 「同値な数列有限個について、共通の尻尾が存在する」”
貴様は「同値類全体について共通の尻尾が存在する」
とウソついただろうが！
貴様は間違ってるんだよ サルに数学がわかるわけねえだろｗｗｗ
234:１３２人目の素数さん
17/09/18 17:38:31.71 sUE9Al38.net
>>220
各diは確定しているのか？
235:１３２人目の素数さん
17/09/18 17:38:43.68 KkC8TkeY.net
>>217
サルは死んだｗｗｗｗｗｗｗ
236:１３２人目の素数さん
17/09/18 17:39:30.20 KkC8TkeY.net
>>218
サルが何粋がってクソ塗ったくってんだｗｗｗｗｗｗｗ
237:１３２人目の素数さん
17/09/18 17:40:17.86 KkC8TkeY.net
>>219
co-tailは存在しないって
238:１３２人目の素数さん
17/09/18 17:42:06.56 sUE9Al38.net
>>220
各diは確定しているのか？
お前は何故この質問から逃げ回るのだ？？（笑）
239:１３２人目の素数さん
17/09/18 17:44:52.89 KkC8TkeY.net
>>222
無意味
・d1＞d2、d1=d2、d1＜d2 のいずれかの事象しかない
・d1＞d2とd1＜d2の確率は同じ
このことから、d1＞d2、d1＜d2の確率は高々１／２
こんなの小学生の算数だぞｗｗｗｗｗｗｗ
240:１３２人目の素数さん
17/09/18 17:45:57.85 KkC8TkeY.net
>>226
無意味
確定してるかしてないかにこだわる貴様が馬鹿
241:１３２人目の素数さん
17/09/18 17:47:43.10 sUE9Al38.net
>>228
各diは確定しているのか？
ここご無意味というお前はスレ主と完全に同レベル（笑）
スレ主も同じことを言ってるからな（笑）
242:１３２人目の素数さん
17/09/18 17:54:46.68 KkC8TkeY.net
>>229
無意味
決定番号の分布に固執し、
無意味な質問を連呼する貴様こそ
サルの>>1と同レベル
おまえ、自嘲がうまくなったな
そうだよおまえは正真正銘のバカなんだよ
やっと気づいたかこのクソザルｗｗｗｗｗｗｗ
243:１３２人目の素数さん
17/09/18 17:58:39.83 sUE9Al38.net
>>230
無意味ではなく、お前は答えられないのである（笑）
なぜならどちらを答えてもお前は論破されるからな。
もう一度聞く。
各 di は 確 定 し て い る の か？
244:１３２人目の素数さん
17/09/18 18:02:00.05 KkC8TkeY.net
確定バカの利口ぶった考えによると
新しい列を選ぶ前には決定番号xも不明だから
今まで選んだ列の決定番号の最大値をdとしたとき
x<d x=d x>d
の3事象の確率を「決定番号の分布」に基づいて
計算しなければ数学として正しくないらしいｗｗｗ
で、ここでサルの>>1の思い上がった傲慢な考えによれば
x<d x=dの確率は0で、x>dの確率が１だそうだ
つまり、毎回新しい列を選べばそれがいままでの
決定番号の最大値になるというわけだ
一見もっともらしいが、実際は全然異なる
先に選ぼうが後に選ぼうが、その列が
最大値になる確率は変わらない
したがって、今まで選んだ列がn個なら
x>dとなる確率は1/(n+1)だ
245:１３２人目の素数さん
17/09/18 18:02:30.69 sUE9Al38.net
>>230
> 決定番号の分布に固執し、
濡れ衣ひ
246:どいねえ（泣） おれがいつそんなことを言った？（笑） 俺はお前が言った各diについて そ れ は 確 定 し て い る の か？ と聞いているだけである。 無意味ってなあに？（笑） 確定していてもお前の主張は成り立つのか？（笑）
247:１３２人目の素数さん
17/09/18 18:04:30.45 sUE9Al38.net
まあまあ取り乱さずに（笑）
俺はなにも言ってないぜ（笑）
俺はお前が言った各diについて
そ れ は 確 定 し て い る の か？
と聞いているだけである。
確定していてもお前の主張は成り立つのか？（笑）
どうなんだよ？
248:１３２人目の素数さん
17/09/18 18:04:33.02 KkC8TkeY.net
>>231
＞無意味ではなく
無意味だｗ
確定していないから貴様が正しいということにはならない
そもそも確定してるかしてないかで答えが違うと思う貴様が馬鹿なのだｗ
何度でも言う
おまえは>>1とおなじ、数学のスの字も分からんバカ野郎だｗｗｗ
249:１３２人目の素数さん
17/09/18 18:05:28.05 KkC8TkeY.net
>>233
＞おれがいつそんなことを言った？（笑）
じゃ、質問は無意味ｗ
250:１３２人目の素数さん
17/09/18 18:06:04.93 KkC8TkeY.net
>>234
＞俺はなにも言ってないぜ（笑）
じゃ、質問は無意味ｗ
251:１３２人目の素数さん
17/09/18 18:06:32.29 sUE9Al38.net
>>235
> そもそも確定してるかしてないかで答えが違うと思う貴様が馬鹿なのだｗ
へーそれでいいの？
確定していてもお前の主張は成り立つのか？（笑）
どうなんだよ？Yes/No?
252:１３２人目の素数さん
17/09/18 18:08:15.32 KkC8TkeY.net
>>233-234
＞確定していてもお前の主張は成り立つのか？（笑）
成り立つ 分からない貴様が馬鹿ｗ
先に選ぼうが後に選ぼうが、その列が 最大値になる確率は変わらない
したがって、今まで選んだ列がn個なら 新しい列の決定番号が
最大になる確率は高々1/(n+1)だ
253:１３２人目の素数さん
17/09/18 18:09:55.58 KkC8TkeY.net
>>238
＞へーそれでいいの？
いいともｗ
254:１３２人目の素数さん
17/09/18 18:10:03.12 sUE9Al38.net
>>239
えええ？？（笑）
もう一度チャンスやるよ（笑）
馬鹿のために噛み砕いてやろう
各diが確定していてもお前の主張は成り立つのか？（笑）
つ ま り
・d1＞d2とd1＜d2の確率は同じ
これはd1とd2が各々固定値でも成り立つのか？（笑）
どうなんだよ？Yes/No?
255:１３２人目の素数さん
17/09/18 18:14:30.95 sUE9Al38.net
>>240
こいつはスレ主以下である（笑）
1列目の決定番号がd1＝1だったとしよう。
2列目の決定番号がd2＝2だったとしよう。
このとき
1) どの列もMaxになる確率は1/100
が成り立つらしい（笑）
成り立つのは
2) Maxの列を選ぶ確率はサイコロで決まる確率1/100
である。
これが分かってない段階でゲームセット。
スレ主と完全に同レベルです。
256:１３２人目の素数さん
17/09/18 18:15:02.45 KkC8TkeY.net
>>241
貴様・・・やっぱ>>１だろｗ
実に初歩的な勘違いをしてるぞｗ
いいかね？2つの列を選択するとして
その時点でd1とd2は確定するが、
毎回同じ値をとるわけではないぞｗ
一方１つの列しか選択してない時点で
２つ目の列を選択する前に同じことがいえるか？
という問いに対して、あらかじめ２つの列を選択した場合と
全く同じだと私は言ってるわけだ
わかったかね？おサルさんｗｗｗ
257:１３２人目の素数さん
17/09/18 18:17:21.70 KkC8TkeY.net
＞1列目の決定番号がd1＝1だったとしよう。
＞2列目の決定番号がd2＝2だったとしよう。
ギャハハハハハハハハハハハハハハハハ
やっぱこいつ>>1だわ バカっぷりがソックリｗｗｗ
いつどこで誰がやっても1列目の決定番号d1が必ず1になるのかよｗ
いつどこで誰がやっても2列目の決定番号d2が必ず2になるのかよｗ
こいつホント正真正銘のバカ野郎だ
ギャハハハハハハハハハハハハハハハハ
258:１３２人目の素数さん
17/09/18 18:17:54.05 sUE9Al38.net
>>240
> いいかね？2つの列を選択するとして
> その時点でd1とd2は確定するが、
> 毎回同じ値をとるわけではないぞｗ
は？じゃあd1,d2は確率変数なわけね。
じゃあ確定しているとは言わんよ。
そこをはっきりさせるために何度も聞いてるんだろうがアホ。
d1, d2はどのような可測関数なんだ？
書いてみろ。
259:１３２人目の素数さん
17/09/18 18:17:56.49 KkC8TkeY.net
>>242
＞1列目の決定番号がd1＝1だったとしよう。
＞2列目の決定番号がd2＝2だったとしよう。
ギャハハハハハハハハハハハハハハハハ
やっぱこいつ>>1だわ バカっぷりがソックリｗｗｗ
いつどこで誰がやっても1列目の決定番号d1が必ず1になるのかよｗ
いつどこで誰がやっても2列目の決定番号d2が必ず2になるのかよｗ
こいつホント正真正銘のバカ野郎だ
ギャハハハハハハハハハハハハハハハハ
260:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 18:18:26.85 OusaV1qu.net
>>243
ピエロ必死だな
ID:sUE9Al38 さんは、別人だよ
おそらく、以前定義域の話をした人だろう
261:１３２人目の素数さん
17/09/18 18:18:47.95 sUE9Al38.net
>>244
たぶん、お前とスレ主だけが分かってない（笑）
262:１３２人目の素数さん
17/09/18 18:21:41.21 sUE9Al38.net
>>246
問題設定をはっきりさせるためにお前に確率空間を書かせようとしたのである。
しかしお前は書かなかった。
最後にはdは確定していないと白状した（笑）
であれば各diは確率変数である。
確率変数は可測関数である。
お前は大丈夫か？
昔通った道だぞ（笑）
お前が定義域をポカしたやつだ、と言えば思い出すか？（笑）
263:１３２人目の素数さん
17/09/18 18:21:46.97 KkC8TkeY.net
>>245
＞d1, d2はどのような可測関数なんだ？
貴様>>1だろ、考える方向のバカっぷりがそっくりｗ
あ・の・な、決定番号dの分布なんか一切考える必要ないんだよｗ
必要なのはd1とd2の大小関係だけなんだから
だから、事象をd1<d2、d1>d2に分けただろ？
両者は等確率だから確率が1/2以上になることはないｗ
264:１３２人目の素数さん
17/09/18 18:22:40.15 KkC8TkeY.net
>>247
＞ID:sUE9Al38 さんは、別人だよ
バカっぷりは同レベルだがなｗ
265:１３２人目の素数さん
17/09/18 18:23:41.53 KkC8TkeY.net
>>248
＞たぶん、お前とスレ主だけが分かってない（笑）
たぶんじゃなく、確実にお前と>>1がわかってない
お前と>>1が同一人物なら当然だろうｗ
266:１３２人目の素数さん
17/09/18 18:24:59.68 sUE9Al38.net
>>250
> ・d1＞d2、d1=d2、d1＜d2 のいずれかの事象しかない
> ・d1＞d2とd1＜d2の確率は同じ
これを証明しろ。
お前には絶対にできないと保証する（笑）
昔通った道である。
お前は定義域をポカした。
それでおしまい（笑）
267:１３２人目の素数さん
17/09/18 18:26:57.49 sUE9Al38.net
ほれほれ
> だから、事象をd1<d2、d1>d2に分けただろ？
> 両者は等確率だから確率が1/2以上になることはないｗ
これをさっさと証明しろ（笑）
これがお前に証明できるなら記事は無価値だ（笑）
新しい確率論なんぞ必要ないってことだからな（笑）
268:１３２人目の素数さん
17/09/18 18:27:11.07 KkC8TkeY.net
>>249
＞問題設定をはっきりさせるためにお前に確率空間を書かせようとした
確率空間は書いてやったぞ
問題設定に決定万能の分布が必要でないと示してやるためにな
負けたのは貴様だ 貴様>>１だろ？
決定番号の分布にこだわるバカは>>1一匹しかいないからな
＞各diは確率変数である。
＞確率変数は可測関数である。
否、間違ってるぞサルｗ
di＞dj（not(i=j))
こそが確率事象であり、その集まりが確率空間ｗ
おまえ、確率論が全然わかってねえな
小学校からやり直せよｗ
269:１３２人目の素数さん
17/09/18 18:29:15.64 WP9yXypF.net
>>255
> 否、間違ってるぞサルｗ
> di＞dj（not(i=j))
> こそが確率事象であり、その集まりが確率空間ｗ
へえ、で確率測度はどうなってるんすか？笑
270:１３２人目の素数さん
17/09/18 18:29:40.64 KkC8TkeY.net
>>253
> ・d1＞d2、d1=d2、d1＜d2 のいずれかの事象しかない
> ・d1＞d2とd1＜d2の確率は同じ
これを証明しろ。
d1、d2は自然数だから前者は明らかｗ
また列の選択方法が同じだから
d1＞d2とd1＜d2は対称的であり
当然同確率
むしろ違うというなら、どう違うか示せよサルｗ
271:１３２人目の素数さん
17/09/18 18:31:12.26 WP9yXypF.net
まさかP(d1＞d2)＝P(d1＜d1）とか言い出すんじゃないでしょうねえ？(爆
それは自明なんですか？じゃあ証明してください。
あ、その前にそのPは測度ですか？（笑
あなたは油断すると測度論でない無定義の確率を持ち出しますからねぇｗｗｗ
272:１３２人目の素数さん
17/09/18 18:31:53.53 KkC8TkeY.net
>>256
＞へえ、で確率測度はどうなってるんすか？笑
事象がｎ個なら、確率はそれぞれ１／ｎづつ
（なお、ここでは二つの確率変数が＝になる場合は除くが
入れたところで、高々１／ｎとなるだけのこと）
273:１３２人目の素数さん
17/09/18 18:32:35.35 WP9yXypF.net
>>257
Pが可測であることを証明してもらえます？ｗ
そこが肝心なんですけどｗ
記事を読めば分かることですよ。
あなたの直感的確率論を聞いてるんじゃないんですよ。
274:１３２人目の素数さん
17/09/18 18:33:30.06 WP9yXypF.net
>>259
> 事象がｎ個なら、確率はそれぞれ１／ｎづつ
それは非自明です。証明してください。
そもそも確率ってなんですか？確率測度なら可測関数になっていることを示してください。
そこが肝心なんですけどｗ
記事を読めば分かることですよ。
あなたの直感的確率論を聞いてるんじゃないんですよ。
275:１３２人目の素数さん
17/09/18 18:34:18.15 KkC8TkeY.net
>>258
＞まさかP(d1＞d2)＝P(d1＜d1）とか言い出すんじゃないでしょうねえ？
P(d1＞d2)＝P(d1＜d2）な
＞それは自明なんですか？
自明だな
＞あ、その前にそのPは測度ですか？（笑
Ｐ（サイコロの目＝１）が測度なら、測度だろうｗ
276:１３２人目の素数さん
17/09/18 18:36:09.35 WP9yXypF.net
>>262
> Ｐ（サイコロの目＝１）が測度なら、測度だろう
意味不明ですね。あなたの問題設定にサイコロなんて出てきませんから。
> P(d1＞d2)＝P(d1＜d2）な
>
> ＞それは自明なんですか？
>
> 自明だな
へえ。じゃあdが可測関数であることを示してください。
どうぞ！
277:１３２人目の素数さん
17/09/18 18:36:22.41 arAx3/4k.net
>>219
ご提示有難うございます。お陰様であなたの証明は誤りだとわかりました。
(1) 1 より大きい自然数は存在します
(2) ∀n∈N について、n より大きい自然数は存在し、n+1 より大きい自然数も存在します、例えば n+2
(1),(2) に「あなたの証明(>>219)で使われてる理屈」を当てはめると
「あらゆる自然数より大きい自然数が存在する」という結論が導かれます。
これはもちろん偽であり、「あなたの証明で使われてる理屈」は誤りです。
数学的帰納法を勉強されることをお奨めします。
278:１３２人目の素数さん
17/09/18 18:36:48.01 KkC8TkeY.net
>>261
>> 事象がｎ個なら、確率はそれぞれ１／ｎづつ
>それは非自明です。証明してください。
貴様のアタマが悪いから自明でないだけだろうｗ
各列の選び方が同じだから、確率も同じ
同じとは限らない？
貴様、そんなツマラナイ言い掛かりしかつけられないなら
数学やめて畑でトマトでもつくってたほうがいいぞ
グロタンディクもそうしただろ？
279:１３２人目の素数さん
17/09/18 18:38:12.79 KkC8TkeY.net
>>260
＞Pが可測であることを証明してもらえます？ｗ
＞そこが肝心なんですけどｗ
事象が有限個の場合で、非可測性を心配する馬鹿は
数学どころか算数もおぼつかないサルの貴様だけだよｗ
280:１３２人目の素数さん
17/09/18 18:40:13.12 WP9yXypF.net
自明で済ますのか？ｗｗ
それは無限集合には有限個しかないのは自明だと言ってるどこかの素人と一緒だな。
ところでこのレスに見覚えあるか？
定義域と聞いてピンとこないようだからな。
もっと引用してやろうか？思い出せなければ。
ｽﾚﾘﾝｸ(math板:128番)
--------------
問題1
写像 F：{ 1, 2 } → N を F(1)＝1, F(2)＝2 で定義する。
このとき、F(3)＝F(4) が成り立つと言えるか？
解答
3と4は写像Fの定義域に入ってない。よって、F(3)とF(4)は定義されておらず、
"F(3)" とか "F(4)" という記号列を使うこと自体が間違っている。
もちろん、F(3)＝F(4) は成り立たない。というか、F(3)＝F(4) の
成立・不成立を問うこと自体がナンセンスである。
問題2
件の測度空間において、μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) は成り立つと言えるか？
解答
H1とH2は非可測なので、写像μ_r×μ_r'の定義域に入っていない。
よって、μ_r×μ_r'(H1)とμ_r×μ_r'(H2)は定義されておらず、
"μ_r×μ_r'(H1)" とか "μ_r×μ_r'(H2)" という記号列を使うこと自体が間違っている。
もちろん、μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) は成り立たない。というか、
μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) の成立・不成立を問うこと自体がナンセンスである。
281:１３２人目の素数さん
17/09/18 18:40:43.64 KkC8TkeY.net
>>263
>> Ｐ（サイコロの目＝１）が測度なら、測度だろう
>意味不明ですね。あなたの問題設定にサイコロなんて出てきませんから。
意味は明確ですね。サイコロの目に関する事象は
サイコロの目が１から６のいずれかになる６個だけですからｗ
>じゃあdが可測関数であることを示してください。
必要ありません。diが自然数として存在するだけで十分ですｗ
282:１３２人目の素数さん
17/09/18 18:43:25.89 KkC8TkeY.net
>>267
昔の誤りは忘れたな
「決定番号の測度に基づく必要がある」というのは
真っ赤なウソだとわかったから今更顧みないよｗ
283:１３２人目の素数さん
17/09/18 18:44:14.79 WP9yXypF.net
>>268
> 意味は明確ですね。サイコロの目に関する事象は
> サイコロの目が１から６のいずれかになる６個だけですからｗ
お前の問題設定ではサイコロを振らなくても確率1/100だろうが(笑
P(d1＜d2）＝P(d2＞d1）が成り立つんだろ？
だったらサイコロを振らずに1列目を選び続けても確率1/100だろうが(笑
支離滅裂なんだよお前。
> >じゃあdが可測関数であることを示してください。
>
> 必要ありません。diが自然数として存在するだけで十分ですｗ
dが可測関数でないのにどうやってP(d1＜d2）を計算するんすか？笑
もしかしてP(d1＜d2）＝P(d2＞d1）は俺様流確率論の公理かなにかですか？笑
そんなわけないだろｱﾎｳｗ
はやく証明しろよ。みんな待ってんだよ。お前の証明をｗ
284:１３２人目の素数さん
17/09/18 18:45:51.47 WP9yXypF.net
>>269
> 「決定番号の測度に基づく必要がある」というのは
> 真っ赤なウソだとわかったから今更顧みないよｗ
はい！！お前の決まり文句でました！！！
「 測 度 に 基 づ く 必 要 な し 」
やーーーっぱり測度論ないんじゃん！笑
じゃあお前の"確率"ってなあに？？
だーれもしらねえよお前の"確率"なんて。
さっさと定義してみろ。
285:１３２人目の素数さん
17/09/18 18:48:13.48 WP9yXypF.net
>>258
> あ、その前にそのPは測度ですか？（笑
> あなたは油断すると測度論でない無定義の確率を持ち出しますからねぇｗｗｗ
今回も出てきたよ無定義の"確率"が。
俺の予言したとおりじゃねえか。
いままでの議論を返せや。
スレ主にも謝れｗｗ
お前しか知らない俺流確率論で他人様を罵倒してたのか貴様は！
286:１３２人目の素数さん
17/09/18 18:48:53.98 KkC8TkeY.net
>>270
＞お前の問題設定ではサイコロを振らなくても確率1/100だろうが(笑
ああ、なんだそこに反応したのか、このバカザルは
サイコロの例は、単に事象の個数が有限かつ各事象の確率が等しいもの
として挙げてみせたまでのことｗ
＞P(d1＜d2）＝P(d2＞d1）が成り立つんだろ？
然り
＞だったらサイコロを振らずに1列目を選び続けても確率1/100だろうが(笑
笑いごとではなく、そうなるが？
つまり100列数列をとって、1列目をとっても1/100、100列目をとっても1/100だが？
違うとおもってるのかね？じゃ、それぞれいくつ
287:になるのかね？ 1列目は0で、100列目は1かね？
288:１３２人目の素数さん
17/09/18 18:49:56.16 arAx3/4k.net
問題設定をよく分かってないので変な事言ってたらすみませんが
出題者がどんな数列を出題するかはまったく自由。
よって100回同じ数列を出題してもよく、そうしたとする。
その場合、100回とも d1>d2 であるか、100回とも d1≦d2 であるか、のどちらか
（どちらになるかは出題される数列により決まる）では？
つまり P(d1＞d2)＝P(d1＜d2）は言えないのでは？
289:１３２人目の素数さん
17/09/18 18:50:24.21 KkC8TkeY.net
>>270
>dが可測関数でないのにどうやってP(d1＜d2）を計算するんすか？笑
事象の個数と、等確率の前提からｗ
計算できないお前が馬鹿だろｗ
こんなのただの算数だろ
お前算数もできないのかよｗ
290:１３２人目の素数さん
17/09/18 18:51:27.07 WP9yXypF.net
>>173
> つまり100列数列をとって、1列目をとっても1/100、100列目をとっても1/100だが？
> 違うとおもってるのかね？じゃ、それぞれいくつになるのかね？
> 1列目は0で、100列目は1かね？
お前しか知らない俺流確率論で確率を語られても 無 意 味
そのP(d1＜d2)＝P(d1＞d2）って確率測度じゃないんでしょ？
俺流確率だろ？しらねえよそんなもん(笑
291:１３２人目の素数さん
17/09/18 18:53:18.76 WP9yXypF.net
>>275
> 事象の個数と、等確率の前提からｗ
その確率ってなんですか？笑
確率測度じゃないんでしょ！？
確率測度ならばdが可測関数であることを示してください。
俺流確率ならば確率を定義してください。
だーれもしりませんから。君のオレ流確率論なんて笑
292:１３２人目の素数さん
17/09/18 18:54:26.88 KkC8TkeY.net
>>274
＞出題者がどんな数列を出題するかはまったく自由。
ここでは数列の出し方は毎回同じとします
そうでないと等確率だという前提が成立しないので
「箱入り無数目」の記事よりは強い条件ですがご容赦ください
293:１３２人目の素数さん
17/09/18 18:55:55.47 KkC8TkeY.net
>>277
＞＞等確率の前提からｗ
＞その確率ってなんですか？笑
P(d1>d2）とP(d1<d2)
おまえ、式読めないの？ｗ
294:１３２人目の素数さん
17/09/18 18:56:55.17 KkC8TkeY.net
>>276
＞そのP(d1＜d2)＝P(d1＞d2）って確率測度じゃないんでしょ？
確率測度ですよ
じゃないと思いたがるお前が馬鹿ｗ
295:１３２人目の素数さん
17/09/18 18:56:56.28 WP9yXypF.net
>>274さん、あなたが正しい。
必ず成り立つのは
>>168
> 1) どの列もMaxになる確率は1/100
ではなく
> 2) Maxの列を選ぶ確率はサイコロで決まる確率1/100
である。
これも考えてみてください。
ディーラーが100列のR^Nを独立同分布で選んだとする。
このときP(d1＞d2)＝P(d1＜d2）は言えると思いますか？
296:１３２人目の素数さん
17/09/18 18:58:56.54 KkC8TkeY.net
>>277
>確率測度ならばdが可測関数であることを示してください。
その考えが間違ってる dの可測性は必要ない
297:１３２人目の素数さん
17/09/18 18:59:41.68 WP9yXypF.net
>>280
> ＞そのP(d1＜d2)＝P(d1＞d2）って確率測度じゃないんでしょ？
>
> 確率測度ですよ
> じゃないと思いたがるお前が馬鹿ｗ
お前何枚ベロを持ってるんだよｗ
じゃあdが可測であることを示してください。
でないとそのPなる測度、d1＜d2なる事象で定義されてない恐れがありますから。
あ、よかったらもう一度定義域でポカした過去を思い返してください。
ｽﾚﾘﾝｸ(math板:128番)
298:１３２人目の素数さん
17/09/18 19:01:14.31 KkC8TkeY.net
>>274
＞100回同じ数列を出題してもよく、そうしたとする。
その場合d1=d2ですね 同じ数列ですからｗ
え？第一列と第二列が同じ、という意味ではない？
ではどういう意味？
299:１３２人目の素数さん
17/09/18 19:01:56.21 WP9yXypF.net
これがお前のポカな。
ｽﾚﾘﾝｸ(math板:17番)
-------
dは時枝記事における決定番号
d：R^N→N
Ω≡(R^N×R^N)を用いて確率空間(Ω,F,μ)を構成する
直積測度μ≡μ_r×μ_r'を考える
[1] 1番目の項が最大となる確率はいくつか？
d(r1)≧d(r2)となるR^N×R^Nの部分集合全体をH1として
H1∈Fならばμ_r×μ_r'(H1)が求める確率である
[2] 2番目の項が最大となる確率はいくつか？
[1]と同様に考えると
d(r2)≧d(r1)となるR^N×R^Nの部分集合全体をH2として
H2∈Fならばμ_r×μ_r'(H2)が求める確率である
私の主張は
μ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
μ_r×μ_r'(H1)＋μ_r×μ_r'(H2)＝１
の2点に尽きる
君の意見は
「dが非可測だからfも非可測、したがって
μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) はいえない」
だろ？
私の反論は
・(r1,r2)を(r2,r1)と交換してもμ_r×μ_r'は変化しない
・上記交換によりH1はH2、H2はH1に移る
したがってμ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
300:１３２人目の素数さん
17/09/18 19:03:08.76 KkC8TkeY.net
>>283
＞お前何枚ベロを持ってるんだよｗ
一枚だが？確率測度ではない、というのはお前の幻聴だろ？
＞じゃあdが可測であることを示してください。
「じゃあ」が間違ってるｗ
dの可測性は必要ない
このことが分からないバカが数学が分からないidiot
301:１３２人目の素数さん
17/09/18 19:03:23.48 WP9yXypF.net
これがお前のポカに対する有志の突っ込みの抜粋な：
ｽﾚﾘﾝｸ(math板:128番)
----------
問題2
件の測度空間において、μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) は成り立つと言えるか？
解答
H1とH2は非可測なので、写像μ_r×μ_r'の定義域に入っていない。
よって、μ_r×μ_r'(H1)とμ_r×μ_r'(H2)は定義されておらず、
"μ_r×μ_r'(H1)" とか "μ_r×μ_r'(H2)" という記号列を使うこと自体が間違っている。
もちろん、μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) は成り立たない。というか、
μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) の成立・不成立を問うこと自体がナンセンスである。
302:１３２人目の素数さん
17/09/18 19:04:38.18 WP9yXypF.net
>>286 > dの可測性は必要ない それ、オレ流確率論なｗ 「定義域なんてオレ流ではカンケーねえ！」 って言うのはアンマリだぜｗ
304:１３２人目の素数さん
17/09/18 19:05:18.23 KkC8TkeY.net
>>285
忘れたなｗ
dの可測性に固執する馬鹿の戯言に乗ったらいかんわけだ
間違ってることは間違ってると断固はねつける必要がある
ということで決定番号の分布d(s)とか忘れなさい 意味ないからｗ
305:１３２人目の素数さん
17/09/18 19:06:36.97 KkC8TkeY.net
>>287
そう、バカのいうウソに乗ったらいかんわけだ
間違ってることは間違ってると断固はねつける必要がある
ということで決定番号の分布d(s)とか忘れなさい 意味ないからｗ
306:１３２人目の素数さん
17/09/18 19:08:03.34 KkC8TkeY.net
>>288
＞それ、オレ流確率論なｗ
いいや、「決定番号の分布」に固執するサルの貴様のほうが俺流確率論ｗ
必要ないことは考えないのが数学のセンス サルの貴様にはセンスがないｗ
307:１３２人目の素数さん
17/09/18 19:08:37.88 WP9yXypF.net
>>289
> 間違ってることは間違ってると断固はねつける必要がある
同じことをスレ主が言ってたぞ。
他人にモノを説明できないときに言う言葉だ。
> ということで決定番号の分布d(s)とか忘れなさい 意味ないからｗ
君の1/100はオレ流確率論であり、無定義である。
だれもお前には納得しないだろう。
唯我独尊、お前だけがお前の結論に浸っていればよろしい。
308:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 19:09:46.29 OusaV1qu.net
>>264
>ご提示有難うございます。お陰様であなたの証明は誤りだとわかりました。
>(2) ∀n∈N について、n より大きい自然数は存在し、n+1 より大きい自然数も存在します、例えば n+2
>(1),(2) に「あなたの証明(>>219)で使われてる理屈」を当てはめると
>「あらゆる自然数より大きい自然数が存在する」という結論が導かれます。
>これはもちろん偽であり、「あなたの証明で使われてる理屈」は誤りです。
まじめに言っているの？（＾＾
あなたは、文系さんですか？（＾＾
（誤）
>「あらゆる自然数より大きい自然数が存在する」という結論が導かれます。
>これはもちろん偽であり、「あなたの証明で使われてる理屈」は誤りです。
↓
（正）
「あらゆる自然数には、より大きい自然数である後者が存在する」というのがペアノの公理です。
これはもちろん公理であり真です。「あなたの証明で使われてる理屈」は数学的帰納法通りです。
ですよ（＾＾
＜補足＞
１．「あらゆる自然数より大きい自然数が存在する」は、拡大実数ないし、超実数で実現できる。しかし、それは定義であって、定理ではないので証明はできない
２．あなたの「あらゆる自然数より大きい自然数が存在する」という勘違いは、拡大実数の”順序構造および位相的性質”を読めば、多少改善されるだろう（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
拡大実数
(抜粋)
数学における拡張実数（かくちょうじっすう、英: extended real number; 拡大実数）あるいはより精確にアフィン拡張実数 (affinely extended real number) は、通常の実数に正の無限大 +∞ と負の無限大 ?∞ の二つを加えた体系を言う。
つづく
309:１３２人目の素数さん
17/09/18 19:09:47.17 WP9yXypF.net
>>287
> いいや、「決定番号の分布」に固執するサルの貴様のほうが俺流確率論ｗ
>
> 必要ないことは考えないのが数学のセンス サルの貴様にはセンスがないｗ
関数の定義域を考えないのが数学のセンスとは恐れ入る。
310:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 19:10:30.50 OusaV1qu.net
>>293 つづき
順序構造および位相的性質
任意の（有限）実数 a に対して ?∞ ? a ? +∞ と置くことにより、実数直線 R における順序の拡張として、補完数直線 R は全順序集合になる。この順序に関して R は「任意の部分集合が上限と下限を持つ」（完備束を成す）という良い性質を持つ。
この順序から導かれる R 上の順序位相（英語版）では、集合 U が正の無限大 +∞ の近傍となる必要十分条件は U が適当な実数 a に対する集合 {x : x > a} を含むことであり、負の無限大 ?∞ についても同様のことが言える。
補完数直線 R は、単位閉区間 [0, 1] に同相なコンパクトハウスドルフ空間であるから、単位閉区間の通常の距離から同相を通じて距離化可能であるが、しかし R 上の通常の距離の延長となるような距離を入れることはできない。
この位相に関して、実変数 x が +∞ や ?∞ へ近づく極限や、函数の値が +∞ や ?∞ へ近づく極限を、一般的な極限の位相的定義を簡略化して定義することができる。
URLﾘﾝｸ(ja.wikipedia.org)
超実数
(抜粋)
超実数（ちょうじっすう、英: hyperreal number）または超準実数（ちょうじゅんじ�
311:ﾁすう、英: nonstandard reals）と呼ばれる数の体系は無限大量や無限小量を扱う方法の一つである。超実数の全体 *R は実数体 R の拡大体であり、 1+1+ ・・・ +1 の形に書ける如何なる数よりも大きい元を含む。そのような数は無限大であり、その逆数は無限小である。 (引用終り) 以上
312:１３２人目の素数さん
17/09/18 19:12:15.07 WP9yXypF.net
ID:KkC8TkeYの定義域を無視するオレ流確率論：
ｽﾚﾘﾝｸ(math板:17番)
> 私の反論は
> ・(r1,r2)を(r2,r1)と交換してもμ_r×μ_r'は変化しない
> ・上記交換によりH1はH2、H2はH1に移る
> したがってμ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
関数の定義域を無視しない確率論：
ｽﾚﾘﾝｸ(math板:128番)
> H1とH2は非可測なので、写像μ_r×μ_r'の定義域に入っていない。
> よって、μ_r×μ_r'(H1)とμ_r×μ_r'(H2)は定義されておらず、
> "μ_r×μ_r'(H1)" とか "μ_r×μ_r'(H2)" という記号列を使うこと自体が間違っている。
> もちろん、μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) は成り立たない。というか、
> μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) の成立・不成立を問うこと自体がナンセンスである。
313:１３２人目の素数さん
17/09/18 19:12:35.05 KkC8TkeY.net
>>292
＞同じことをスレ主が言ってたぞ。
＞他人にモノを説明できないときに言う言葉だ。
お前こそなぜdの可測性に基づく必要があるのか説明できるか？
説明できまい。お前が勝手に思い込んでる妄想だからなｗ
＞君の1/100はオレ流確率論であり、無定義である。
事象は既に挙げた。バカでも分かるｗ
等確率であることは自明だから、
高々1/100であることは算数の計算ｗ
定義は明確 「決定番号の分布」の可測性に固執するお前が受け入れたがらないだけ
お前>>1だろ？いいかげん白状しろよこのサイコパスｗｗｗｗｗｗｗ
314:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 19:12:38.10 OusaV1qu.net
>>289-291
ピエロ必死だな（＾＾
315:１３２人目の素数さん
17/09/18 19:14:14.37 KkC8TkeY.net
>>294
＞関数の定義域を考えないのが数学のセンスとは恐れ入る。
そもそも貴様のいう関数を考える必要がないと知るのが数学のセンスｗ
316:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 19:14:16.12 OusaV1qu.net
>>297
ピエロ、妄想おつ（＾＾
ID:WP9yXypFさんは、他人だよ（＾＾
317:１３２人目の素数さん
17/09/18 19:15:26.97 KkC8TkeY.net
>>296
無視する必要があるのは関数の定義域ではなく関数そのものｗ
318:１３２人目の素数さん
17/09/18 19:15:27.20 WP9yXypF.net
>>297
> お前こそなぜdの可測性に基づく必要があるのか説明できるか？
>>296に誰の目にも分かるようにハッキリと書いてあるんだがｗ
> 等確率であることは自明だから、
だから証明しろよ。オレ流でなく、測度論でたのむわｗ
319:１３２人目の素数さん
17/09/18 19:16:11.15 KkC8TkeY.net
>>300
＞ID:WP9yXypFさんは、他人だよ（＾＾
貴様はサイコパスだからな、信用できんなｗ
320:１３２人目の素数さん
17/09/18 19:17:56.60 WP9yXypF.net
>>301
> 無視する必要があるのは関数の定義域ではなく関数そのものｗ
えええええ？？
dって関数でもないの？（爆
dは固定値じゃないんだろ？
じゃあなんてdは変化するの？
事象s∈R^Nの関数じゃないなら、なんでdが変化するの？
まじで教えてくれよ、オレ流クン。
321:１３２人目の素数さん
17/09/18 19:18:14.40 KkC8TkeY.net
>>302
＞>>296に誰の目にも分かるようにハッキリと書いてあるんだがｗ
いや、ただ式が書いてあるだけ。無意味な式はバカでも書けるｗ
＞だから証明しろよ。オレ流でなく、測度論でたのむわｗ
「測度論」＝「決定番号の分布の可測性に基づく計算」
と思うお前がバカなんだがｗｗｗｗｗｗｗ
322:１３２人目の素数さん
17/09/18 19:21:49.46 KkC8TkeY.net
>>304
＞dって関数でもないの？（爆
そもそもdの値そのものの確率は求めてないがｗ
d1<d2、d1>d2 という形でしか書いてない
つまり順序関係だけしか見てない
だからdの値に固執する貴様はセンスがないｗ
323:１３２人目の素数さん
17/09/18 19:24:02.89 WP9yXypF.net
>>306
> そもそもdの値そのものの確率は求めてないがｗ
へえ。P(d1＜d2)は求まるわけだ。
それってお前、昔に証明失敗したじゃんｗ
324:１３２人目の素数さん
17/09/18 19:24:59.76 KkC8TkeY.net
毎回同じ方法で自然数を選ぶ試行を繰り返した場合、
同じ自然数を選ぶとかいうケッタイな方法によらない限り
選び方の如何によらず、ｎ回目が最大になる確率は高々１／ｎ
分布によって影響を受けるのは、最大値の増大の仕方のみであって
最大値の更新の度合いは分布に全く影響しない
325:１３２人目の素数さん
17/09/18 19:26:09.14 WP9yXypF.net
>>306
> ＞dって関数でもないの？（爆
> そもそもdの値そのものの確率は求めてないがｗ
答えになってないな。
dって関数じゃないんだろ？
じゃあなんなんだよ。
> つまり順序関係だけしか見てない
じゃあ順序関係は固定なのか？違うだろ？
変わるなら関数だよなあ。何によって変わるんだ？R^Nの直積だろ？
じゃあR^Nの直積から定まる順序関係は可測なのか？
答えろ。
326:１３２人目の素数さん
17/09/18 19:26:33.73 KkC8TkeY.net
>>307
＞それってお前、昔に証明失敗したじゃんｗ
「決定番号の分布」に基づこうとしたのが間違いだった
そんな必要はなかった 貴様の「測度論」の考えが間違ってるんだよｗ
327:１３２人目の素数さん
17/09/18 19:29:07.33 KkC8TkeY.net
>>309
>> そもそもdの値そのものの確率は求めてないがｗ
>答えになってないな。
答えになっている。必要のないものを考えたがる貴様が間違ってる
>> つまり順序関係だけしか見てない
>じゃあ順序関係は固定なのか？違うだろ？
固定とかなんとかいってる時点で�
328:_メダメｗ 要は「順序関係だけなら有限個の事象に分けられる」ということ
329:１３２人目の素数さん
17/09/18 19:30:21.75 WP9yXypF.net
>>310
> 「決定番号の分布」に基づこうとしたのが間違いだった
> そんな必要はなかった 貴様の「測度論」の考えが間違ってるんだよｗ
言い逃れ乙ｗ
おまえの確率は測度に基づいてないんだろ？ｗ
定義すらしてないだろ？お前のオレ流確率論。
じゃあもうゲームセット。お前は唯我独尊の哀れな素人と同じ。
人(1/100)をトゲ(確率)と読んでる哀れな素人と同じ。
定義のないところに数学なし。さようなら。
330:１３２人目の素数さん
17/09/18 19:31:43.44 KkC8TkeY.net
>>293
＞１．「あらゆる自然数より大きい自然数が存在する」は、
＞拡大実数ないし、超実数で実現できる。
それペアノの公理の否定だからｗ
>>1は「箱入り無数目」を否定するために「無限公理」を否定したいらしい
まあ、そうしたいならすればいいが、
お前の「宗教」に帰依する物好きは
ヤフ爺くらいだろうなｗ
331:１３２人目の素数さん
17/09/18 19:32:07.21 WP9yXypF.net
>>311
> 要は「順序関係だけなら有限個の事象に分けられる」ということ
それはただ注目する事象が有限個に分けられるというだけ。
そんなの誰でも分かってるｗ
その個々の事象の測度が求まるんですか？ｗ
オレ流確率で求まるのは分かったよｗ
測度論的確率で求まるんですか？
求まるなら可測性を示しなさいよ。
定義域を無視しちゃダメなんですよ数学ではねｗ
332:１３２人目の素数さん
17/09/18 19:35:25.01 KkC8TkeY.net
>>312
＞おまえの確率は測度に基づいてないんだろ？ｗ
測度に基づいていないのではなく
「決定番号の分布」に基づいていない
というのが正しい
その必要がないからだｗ
＞じゃあもうゲームセット。
ああ、お前の負けだからもう帰っていいよｗ
おまえがもし数学科の学生なら転科したほうがいいぞ
おまえ数学のセンスないから
ウソだと思うならお前の大学の教授にお前の説を話してみ
確実にお前が間違ってるといわれるから
ああ、その際にはどこの大学のどの教授に尋ねたかちゃんと書けよ
俺の知り合いかもしれんからなｗ
333:１３２人目の素数さん
17/09/18 19:39:24.08 WP9yXypF.net
>>315
> 測度に基づいていないのではなく
> 「決定番号の分布」に基づいていない
お前は絶対に自分の言っている重大さが分かってないｗ
順序ならば可測なのか？ｗ
それはR＾Nの直積の関数だよなあ？違うか？
各di：R^N→Nが非可測なのにdiの順序関係が可測になるのか？
であるならば、証 明 せ よ
これが可測であると主張するのはお前だけであり、常識でも自明でもない。
証 明 せ よ
334:１３２人目の素数さん
17/09/18 19:39:35.86 KkC8TkeY.net
>>314
＞それはただ注目する事象が有限個に分けられるというだけ。
それは第一段階
そして、各事象が等確率だというのが第二段階
二条件から確率１／ｎが求まる こんなの只の算数
＞その個々の事象の測度が求まるんですか？
等確率の条件から求まる
＞測度論的確率で求まるんですか？
選び方が同じなのだから、確率が異なったら測度論に反するｗ
＞求まるなら可測性を示しなさいよ。
必要ない。なんで貴様は必要ないことを必要だと妄想するの
お前なにも考えてないだろ 考えてたらお前が固執する前提は
何一つ必要ないことが分かる
335:１３２人目の素数さん
17/09/18 19:42:24.46 KkC8TkeY.net
>>３１６
＞順序ならば可測なのか？
なんかこいつ全然分かってないなｗ
あのな、
・事象をｎ個に分けた
・数列の選び方が同じなら、各事象は等確率
これだけで、各事象の確率は１／ｎ以下だと分る
それだけのこと 積分とかいう馬鹿力は全然必要ない
計算しか能のない馬鹿に限って計算に頼りたがる
しかし、そういう無駄な労働をしないのが数学者
336:１３２人目の素数さん
17/09/18 19:46:20.24 WP9yXypF.net
>>318
> ・事象をｎ個に分けた
> ・数列の選び方が同じなら、各事象は等確率
> これだけで、各事象の確率は１／ｎ以下だと分る
へえじゃあ証明しろよ。
n＝2、各R^Nは独立同分布として、P（d1＜d2）＝P(d1＞d2）が同確率であることを測度論の範疇で示せ。
この必ず落ちる橋をお前が渡るのは2回目だ。ほれ、やってみろ。
337:１３２人目の素数さん
17/09/18 19:47:27.60 KkC8TkeY.net
毎回同じ方法で自然数を選ぶ試行を繰り返した場合、
同じ自然数を選ぶとかいうケッタイな方法によらない限り
選び方の如何によらず、ｎ回目が最大になる確率は高々１／ｎ
分布によって影響を受けるのは、最大値の増大の仕方のみであって
最大値の更新の度合いは分布に全く影響しない
だから自然数の選び方の分布にこだわるのは無意味ｗ
338:１３２人目の素数さん
17/09/18 19:51:34.36 KkC8TkeY.net
>>319
＞P（d1＜d2）＝P(d1＞d2）が同確率であることを測度論の範疇で示せ。
列ｓ１と、列ｓ２について、右辺と左辺は実は全く同形だ
つまり列の選び方が同じであれば、値が変わりようがない
むしろ、ここで値が変わるなら、選び方が違うということになる
＞必ず落ちる橋・・・
いっとくがｄの可測性に基づく必要は
339:ない 測度論に基づいているかどうかきめるのは 測度論を知らぬ計算馬鹿の貴様ではないｗ
340:１３２人目の素数さん
17/09/18 19:53:44.10 WP9yXypF.net
>>320
誰へのレスのつもりだ？
>>321
> つまり列の選び方が同じであれば、値が変わりようがない
それを 証 明 し ろ と言っている。
変わりようがない！と吼えても命題は証明されない。
数学的証明という形でこのスレの住人にお前が正しいことを自ら示せ。
ほれ、前に通った道だ。設定をお膳立てしてやるよ
d：R^N→Nを時枝記事における決定番号とする。
Ω≡(R^N×R^N)を用いて確率空間(Ω,F,μ)を構成する。
μ≡μ_r×μ_r'：R^N×R^N→N×Nは直積測度である。
お前の言う順序関係なる関数を定義し、それが可測であることを示せ。
341:１３２人目の素数さん
17/09/18 19:54:46.63 WP9yXypF.net
> μ≡μ_r×μ_r'：
おっとすべった。（：R^N×R^N→N×N）は直積測度である。）はコピペミスなので無視を。
342:１３２人目の素数さん
17/09/18 19:57:25.26 KkC8TkeY.net
ID:WP9yXypF君、それほど測度論が好きなら問題をあげよう
番号１の確率が１／２、番号２の確率が１／２＾２、番号３の確率が１／２＾３・・・
という幾何分布で、二つの自然数n1、n2をとったとして
n1<n2の確率、n1>n2の確率をそれぞれ求めて見給えｗ
その上で、上記の番号分布をいじくってみて、
n1<n2の確率、n1>n2の確率に変化があるかどうか
確かめてみたまえ
センス皆無の計算馬鹿は、とにかく計算しなくてはわかるまいｗ
343:１３２人目の素数さん
17/09/18 19:59:17.17 KkC8TkeY.net
>>321
＞設定をお膳立てしてやるよ
必要ない お膳立てが間違ってるからな
dの分布は忘れろ、必要ないぞ
ウソだと思うなら、>>324の問題を解いてみろｗ
344:１３２人目の素数さん
17/09/18 20:03:09.19 WP9yXypF.net
>>324-325
キミキミ、逃げるでないｗ
［問題］
d：R^N→Nを時枝記事における決定番号とする。
Ω≡(R^N×R^N)を用いて確率空間(Ω,F,μ)を構成する。
μ≡μ_r×μ_r'は直積測度である。
お前の言う順序関係なる関数を定義し、それが可測であることを示せ。
この問題のどこに"dの分布”があるんだ？ｗ
dの分布をオレに押し付けているのはオマエである。
オレはdの分布という単語は今日一日一度も言ってない。
> dの分布は忘れろ
考えたくないなら考えなければよい。
お前が考えるのはd1＜d2なる測度だ。さあ問題に答えろよ。
オマエだけが主張する命題だからな。オマエしか答えられない。
答えられなきゃオマエの負け。単純明快だ。
345:１３２人目の素数さん
17/09/18 20:04:56.59 KkC8TkeY.net
>>326
必要ないことはしないｗ
お前こそ>>324の問題を解いてみろ
私がいったことが正しいとわかる
346:１３２人目の素数さん
17/09/18 20:06:37.56 WP9yXypF.net
>>327
> 必要ないことはしないｗ
おいおい、オマエの主張の根幹をなす命題だろうがｗ
オマエが2列のR^Nを同じように選べばP(d1＜d2)＝P(d1＞d2)が成り立つと言ったんじゃないか。
これが分からないのは猿なんだろ？オマエに言わせれば。
そこまで周りをコケにしてるんだから、お前には証明する義務がある。
はやく証明しろよ。
347:１３２人目の素数さん
17/09/18 20:07:15.03 KkC8TkeY.net
>>326
＞お前が考えるのはd1＜d2なる測度だ。さあ問題に答えろよ。
既に答えたｗ サルのお前が理解したがらないだけだ
理解できないならサルのお前の負けだ
負けるのは当然だ 勝負したがるヤツは負け犬だけだｗ
348:１３２人目の素数さん
17/09/18 20:08:48.41 KkC8TkeY.net
>>328
＞オマエが2列のR^Nを同じように選べば
＞P(d1＜d2)＝P(d1＞d2)が成り立つと言ったんじゃないか。
同じやり方で、その都度確率が変わるというのは、前提に反する
それだけで十分 分からん貴様が馬鹿ｗ
349:１３２人目の素数さん
17/09/18 20:09:53.18 KkC8TkeY.net
>>328
＞そこまで周りをコケにしてるんだから
バカはバカにされて当然だ
首掻き切られないだけありがたいとおもえ
このブタ野郎！
350:１３２人目の素数さん
17/09/18 20:15:04.58 WP9yXypF.net
>>331
> バカはバカにされて当然だ
> 首掻き切られないだけありがたいとおもえ
> このブタ野郎！
あらら。我慢しきれず取り乱しちゃいましたね。
>>330
> 同じやり方で、その都度確率が変わるというのは、前提に反する
おーい誰か。オレが"確率が変わる"と言ったか？笑
言ったならそのレス番号を教えてくれ。
オレは絶対に言っていない。
非可測であれば、確率は定まらないのである。
オマエはそれを昔教わったはずである：
ｽﾚﾘﾝｸ(math板:128番)
--------------
問題1
写像 F：{ 1, 2 } → N を F(1)＝1, F(2)＝2 で定義する。
このとき、F(3)＝F(4) が成り立つと言えるか？
解答
3と4は写像Fの定義域に入ってない。よって、F(3)とF(4)は定義されておらず、
"F(3)" とか "F(4)" という記号列を使うこと自体が間違っている。
もちろん、F(3)＝F(4) は成り立たない。というか、F(3)＝F(4) の
成立・不成立を問うこと自体がナンセンスである。
問題2
件の測度空間において、μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) は成り立つと言えるか？
解答
H1とH2は非可測なので、写像μ_r×μ_r'の定義域に入っていない。
よって、μ_r×μ_r'(H1)とμ_r×μ_r'(H2)は定義されておらず、
"μ_r×μ_r'(H1)" とか "μ_r×μ_r'(H2)" という記号列を使うこと自体が間違っている。
もちろん、μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) は成り立たない。というか、
μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) の成立・不成立を問うこと自体がナンセンスである。
351:１３２人目の素数さん
17/09/18 20:31:56.67 WP9yXypF.net
>>330
> ＞P(d1＜d2)＝P(d1＞d2)が成り立つと言ったんじゃないか。
> 同じやり方で、その都度確率が変わるというのは、前提に反する
おまえは完全に忘れてしまったようだが、>>332のH1とH2は
ｽﾚﾘﾝｸ(math板:657番)
> d(r1)≧d(r2)となるR^N×R^Nの部分集合全体をH1
> d(r1)≦d(r2)となるR^N×R^Nの部分集合全体をH2
と定義されている。
つまりオマエの言う順序関係の測度はμ_r×μ_r'(H1)とμ_r×μ_r'(H2)であり、
μ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
がいえればよい、ということになる。
左辺はオマエの言う"確率"P(d1≧d2)であり右辺はP(d1≦d2)である。
し・か・し、P(d1≧d2)＝P(d1≦d2)はいえないのである（下記参照）
ｽﾚﾘﾝｸ(math板:128番)
> H1とH2は非可測なので、写像μ_r×μ_r'の定義域に入っていない。
> よって、μ_r×μ_r'(H1)とμ_r×μ_r'(H2)は定義されておらず、
> "μ_r×μ_r'(H1)" とか "μ_r×μ_r'(H2)" という記号列を使うこと自体が間違っている。
> もちろん、μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) は成り立たない。というか、
> μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) の成立・不成立を問うこと自体がナンセンスである。
教訓： 関数を考えるときは 定 義 域 を意識しよう
352:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 20:32:08.98 OusaV1qu.net
>>313
ピエロ必死（＾＾
>＞１．「あらゆる自然数より大きい自然数が存在する」は、
>＞拡大実数ないし、超実数で実現できる。
>
>それペアノの公理の否定だからｗ
バカじゃね？ この小学生
ペアノの公理の拡張だろ？（＾＾
>>>1は「箱入り無数目」を否定するために「無限公理」を否定したいらしい
「無限公理」は否定されないよ
当然「無限公理」と矛盾しないように、拡大実数ないし、超実数は定義されるべき（＾＾
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
超準解析入門 －超実数と無限大の数学－ 磯野優介 数学入門公開講座 RIMS, Kyoto University 2017
(抜粋)
概要
「無限に大きい数」は存在しません．どんな数を持ってきても，それに1 を足せば，
より大きな数が出来るからです．同様に「無限に小さい数」も存在しません．このよう
な無限数は，数学的に厳密に定義出来ないにもかかわらず，古くから研究に用いられて
きました（いわゆる「無限小解析」）．その後19 世紀に入り，厳密さを備えた"- 論法
が登場し，無限小解析は歴史から姿を消します．
超準解析とは，「無限に大きい，小さい数」を，数学として厳密に定式化し，取り扱
う学問です．この枠組みでは，無限数を用いた計算や証明が可能で，現代数学を用いた
無限小解析の再現とも言えます．この講義では，そのような無限数を含む「超実数」を
構成し，それを用いて解析学の基礎的な定理を実際に証明してみようと思います．
(引用終り)
353:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 20:38:05.40 OusaV1qu.net
>>303
ピエロ必死（＾＾
>貴様はサイコパスだからな、信用できんなｗ
別に構わん
信用うんぬんは無意味
単に事実を書いたのみ（＾＾
354:１３２人目の素数さん
17/09/18 20:38:45.34 KkC8TkeY.net
>>334
＞バカじゃね？ この小学生
＞ペアノの公理の拡張だろ？（＾＾
バカじゃね？このサル
「あらゆる自然数より大きい自然数が存在する」
は文字通りにとらえれば、矛盾だし
（ｎがｎ自身より大きいということはないｗ）
「あらゆる自然数より大きい拡大自然数が存在する」
というなら、拡大自然数ではペアノの公理は否定されるだろｗ
＞「無限公理」は否定されないよ
＞当然「無限公理」と矛盾しないように、
＞拡大実数ないし、超実数は定義されるべき（＾＾
拡大自然数に∞が存在するというなら、無限公理に真っ向から反するｗ
いっとくが超順実数は、標準実数より大きいだの小さいだのとはいってるが
あらゆる実数より大きいとかいう馬鹿丸出しの言い方はしてないｗ