19/06/01 08:30:31.08 r+E2zu/4.net
>>376
＜補足＞
>>369
>面倒だから二列で考えると
>Y=(X_1,X_3,X_5,…）とZ=(X_2,X_4,X_6,…)独立同分布
>実数列x=(x_1,x_2,…)から最大番号を与える関数をh(x)とすると
>P(h(Y)>h(Z))=1/2であれば嬉しい．
>hが可測関数ならばこの主張は正しいが，hが可測かどうか分からないのでこの部分が非自明
ここ
"hが可測関数ならば"の意味は、いま思うと、DR Pruss氏の（>>1
426:63）"conglomerability"を満たしていないと類似の意味だろうと思う つまり、P(S) = 1 を満たすように、関数P(S) を決めることができないと >>376 >時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う． >確率0というのは，可測となるような選び方をしたら，それがどのような選び方でも確率は0になるだろうってこと >残す番号を決める写像Nが可測で，また開けた箱から実数を決める写像Yが可測ならば >P(X_N=x)=0が導かれるだろう ここも、”可測”の意味は、DR Pruss氏の（>>163）"conglomerability"と同じ意味だろうね 下記の非正則事前分布のように、標本空間Sが無限集合の場合、P(X_N=x)≠0と定めれば、 非正則な分布（下記）のように、積分値が無限大に発散してしまう P(X_N=x)＝0と定めても、下記” P(S) = 1 ”を満たすように、関数P(S) を決めることができないということ （繰返すが、”可測”の意味は、確率の定義に使えるという意味も加えた、狭い意味での”可測”だろう） つづく
427:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 08:32:05.26 r+E2zu/4.net
>>384
つづき
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
確率空間（かくりつくうかん、英: probability space）とは、可測空間 (S, M) に確率測度 μ(S) = 1 を入れた測度空間 (S, M, μ) をいう。根元事象が無数の場合では、確率をラプラスの古典的確率で定義することができず、確率を公理的確率として定義することがアンドレイ・コルモゴロフにより提唱されている。確率空間とは、そのために必要な概念である。
定義
数学、特に確率論において、確率測度（かくりつそくど）とは、可測空間 (S, E) に対し、E 上で定義され P(S) = 1 を満たす測度 P のことである。
このとき、三つ組 (S, E, P) のことを確率空間と呼ぶ。さらに、集合 S を標本空間、S の元を標本あるいは標本点、完全加法族 E の元を事象あるいは確率事象と呼ぶ。また、E の元としての S を全事象という。
事象 E に対し、P の E における値 P(E) を、事象 E の確率という。つまり、E は確率が定義できることがらの集まりである。
必ずしも S の部分集合全てが事象とはならないことに注意されたい。
（>>80より）
ここ、例えば、下記非正則事前分布なども、
non-conglomerabilityの例ですね
スレ65 ｽﾚﾘﾝｸ(math板:788番)
URLﾘﾝｸ(to-kei.net)
ホーム 全人類がわかる統計学について
ベイズ統計
非正則事前分布とは？-完全なる無情報事前分布-
2017/10/06
非正則な分布とは？一様分布との比較
非正則な分布の密度関数は例えば（*1） 以下 のように与えられます。
π(θ)=C (-∞<=θ<=∞)
と表せられます。
URLﾘﾝｸ(to-kei.net)
非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。
つづく
428:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 08:32:24.72 r+E2zu/4.net
>>385
つづき
非正則分布は確率分布ではない！？
上で説明した非正則な分布ですが、よく見てみてください。確率の和が1ではありませんよね。
積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。
よって、厳密には、非正則な分布は確率密度関数ではありません。なぜなら、確率の公理を満たしていないからです。
（正確には、積分値が無限大に発散してしまうような分布が非正則な分布の定義です。）
(引用終わり)
URLﾘﾝｸ(ja.wikipedia.org)
可測関数
(抜粋)
数学の、特に測度論の分野における可測関数（かそくかんすう、英: measurable function）とは、（積分論を展開する文脈として自然なものである）可測空間の間の、構造を保つ写像である。具体的に言えば、可測空間の間の関数が可測であるとは、各可測集合に対するその原像が可測であることを言う（これは位相空間の間の連続関数の定義の仕方と似ている）。
この定義は単純なようにも見えるが、σ-代数も併せて考えているということに特別な注意が払われなければならない。
特に、関数 f: R → R がルベーグ可測であるといったとき、これは実際には f： (R ,L)→ (R ,B) が可測関数であることを意味する。
すなわち、その定義域と値域は、同じ台集合上で異なる σ-代数を持つものを表している
（ここで L はルベーグ可測集合全体の成す σ-代数であり、 B は R 上のボレル集合族である）。
結果として、ルベーグ可測関数の合成は必ずしもルベーグ可測とはならない。
慣例では、特に断りの無い限り、位相空間にはその開部分集合全体により生成されるボレル代数が与えられるものと仮定される。
(引用終り)
以上
429:哀れな素人
19/06/01 08:38:26.22 P41fZCg2.net
>>358
何を言いたいのか意味不明（笑
僕は、1/2+1/4＋1/8……の極限値は１だが、
1/2+1/4＋1/8……は１にはならない、と言っているのである。
ところがこのスレの連中は
1/2+1/4＋1/8……は１になる、と言っているのだ（笑
また僕は、無限級数はばかげた考えだ、
などと言ったことは一度もない（笑
このスレの誰かが、有限級数の極限値が無限級数だ、
みたいなことを書いていたから、それは違う、
と言ったのである（笑
430:１３２人目の素数さん
19/06/01 08:43:38.59 jmaU4fPW.net
>>387
だから、"君の言う意味"での
>1/2+1/4＋1/8……は１にはならない
は、先刻承知。
極限値を考えるのが当たり前だから、わざわざ、
>僕は、1/2+1/4＋1/8……の極限値は１だが、
とは言わないのである。
1/2+1/4＋1/8……=１
と書けば、それは極限値のことなのである。
めでたしめだたし。
431:哀れな素人
19/06/01 08:45:09.41 P41fZCg2.net
僕が言っているのは、
無限級数は実際は有限級数にすぎない、
ということであり、同様に、
無限小数は実際は有限小数にすぎない、
ということである。
無限級数とか無限小数は、実際は存在しないのである。
このことを世界中のほとんどの人間が理解していないから、
本にして出したのである。
君らは僕の言うことをトンデモだと思っているだろうが、そうではない。
古代ギリシャ人なら無限小数なんて存在しないと断言するだろう。
古代ギリシャ人は君らが思っているほど阿呆ではない。
近代人の方がずっとアホである。
432:哀れな素人
19/06/01 08:51:47.50 P41fZCg2.net
>>388
君は何も分っていない（笑
ここの連中は極限値とは、それになる値だと思っているのである（笑
本当だ（笑
極限値とは、かぎりなくその値に近づくが、
決して到達しない値のことなのに、ここの連中は
到達する値のことだと思っているのだ（笑
本当だ（笑
以前このスレに参加したとき、そのことをはっきりと確認した（笑
ここの連中は、ケーキを食べ尽くすことができると断言し、
0.99999……は１である、と断言した（笑
433:１３２人目の素数さん
19/06/01 08:53:14.41 jmaU4fPW.net
>>387
>また僕は、無限級数はばかげた考えだ、
>などと言ったことは一度もない（笑
>
>このスレの誰かが、有限級数の極限値が無限級数だ、
>みたいなことを書いていたから、それは違う、
>と言ったのである（笑
むしろ、有限級数の極限値でない無限級数という考えの方が馬鹿げているのである。
434:１３２人目の素数さん
19/06/01 08:57:30.85 jmaU4fPW.net
>>390
もう一度だけ言うよ。
0.99999……
に有限小数の極限以外の意味はないのである。
0.99999…… は 1を表すもう一つの表現なのである。
1 + x + x^2/2 + x^3/6 + ・・・ がe^x を表す表現の一つであると同様に。
435:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 08:58:44.43 r+E2zu/4.net
>>391
どうも。スレ主です。
老婆心ながら、無益な論争に深入りしないよう、申し上げておきます（＾＾
436:哀れな素人
19/06/01 08:58:46.88 P41fZCg2.net
たとえば一石は、半分のケーキを一瞬で食べれば
一秒後にはケーキは無くなっているよ、ギャハハハハ！
と笑っていた（笑
アホである（笑
ではやってみるがいい。半分のケーキを一瞬で食べることを続
437:けても、 ケーキを食べ尽くすことは永遠にできない（笑 このように、ここの連中は 1/2+1/4＋1/8……は実際に１になると思っているのである（笑 表記法の話をしているのではない（笑
438:哀れな素人
19/06/01 09:02:00.25 P41fZCg2.net
>>391
>むしろ、有限級数の極限値でない無限級数という考えの方が馬鹿げているのである。
↑そら見ろ（笑
お前のアホさが露呈した（笑
そんな変なことを考えているのはお前らのようなアホだけだ（笑
数学をやっているくせに、常識のかけらさえない（笑
439:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 09:05:56.31 r+E2zu/4.net
>>342
＞おっと、国会図書館には、入れてもらいましたか？（＾＾
哀れな素人さん、どうも。スレ主です。
いま、売れ残り97冊
これが、ゴミ箱に行くのか
一方で、１冊国会図書館で、10冊くらいだれか読んでくれそうな方に献本でばらまく
それでも、まだ手元に86冊残るよ
それで良いんじゃないですか？
サンクコストと割りきった方が
URLﾘﾝｸ(ja.wikipedia.org)
国立国会図書館
納本制度に基づいて、日本国内で出版されたすべての出版物を収集・保存する日本唯一の法定納本図書館である。
440:１３２人目の素数さん
19/06/01 09:07:07.67 jmaU4fPW.net
>>395
そこまでいうなら、有限級数の極限値でない無限級数というものが何なのか説明してくれ。ｗｗ
441:哀れな素人
19/06/01 09:08:08.98 P41fZCg2.net
有限級数の極限値が無限級数なら、
無限級数の極限値とは何なのだ（笑
この無限級数の極限値を求めよ、という問題が出されたとき、
その級数の有限和の極限をもとめて無限級数を導き、
そこから更にその無限級数の極限値を求めるのか（笑
お前らはアホか（笑
一体どんな大学を出ているのだ、低脳ども（笑
442:哀れな素人
19/06/01 09:12:13.76 P41fZCg2.net
>>397
バカか、お前は（笑
有限級数に極限値などありはしない（笑
1/2＋1/4＋1/8
この有限級数に極限値などありはしない（笑
極限値とは無限級数にあるものである（笑
443:１３２人目の素数さん
19/06/01 09:18:07.56 jmaU4fPW.net
>>398
質問を質問で返すなよ。
"有限級数の極限値でない無限級数"とやらを説明してくれ。
>無限級数の極限値とは何なのだ（笑
知らんがな。ｗｗ
「頭痛が痛い」みたいなもんかな。ｗｗ
単に問題の表現がおかしいだけなことに気付けよ。
どの教科書にもきちんとした定義が書いてある。
それら全てより、その問題文が上なのか？
444:哀れな素人
19/06/01 09:22:23.74 P41fZCg2.net
>>393を見ると、スレ主が、
僕の説が間違っていると思っていることが分る（笑
スレ主とはこの程度のアホなのである（笑
一石とまったく同レベルのアホだ（笑
アホ同士、何年も何年もくだらない論争を続けている（笑
445:哀れな素人
19/06/01 09:25:12.32 P41fZCg2.net
>>400
バカか、お前は（笑
1/2＋1/4＋1/8
これが有限級数である（笑
1/2＋1/4＋1/8……
これが無限級数である（笑
こんな常識が分らない奴は出て来るな阿呆（笑
446:哀れな素人
19/06/01 09:28:20.09 P41fZCg2.net
>どの教科書にもきちんとした定義が書いてある。
有限級数の極限値が無限級数である、
などという定義が書いてある教科書があるなら見せてくれ（笑
教科書に書いてあるなら正しいのか（笑
教科書に0.99999……＝１と書いてあれば正しいのか（笑
447:１３２人目の素数さん
19/06/01 09:29:08.04 jmaU4fPW.net
>>402
数学は"常識"ではない。
>1/2＋1/4＋1/8……
>これが無限級数である（笑
これでは何の説明にもなっていない。
448:１３２人目の素数さん
19/06/01 09:32:56.04 jmaU4fPW.net
>>403
そのくらい、文脈で判断してくれんかな？
もう少し正確に言うと
「ある種の有限級数からなる数列の極限値が無限級数である」
正確な定義は教科書に書いてある。
そしてその正式な定義はきみのいう無限級数とは異なるってことだよ。
>教科書に書いてあるなら正しいのか（笑
定義の話だからな。
それに則らないなら、正しいも間違いもない。
全く別の話になる。ｗｗ
449:哀れな素人
19/06/01 09:41:21.46 P41fZCg2.net
>>405
ただもうバカであるとしか言いようがない（笑
【有限級数】項数の有限な級数。
【無限級数】項の数が限りなく多い級数。
これで十分である（笑
>有限級数からなる数列の極限値が無限級数
そんなアホ定義をアホ定義と分らないようなら、
数学はやらない方がいい（笑
450:１３２人目の素数さん
19/06/01 09:45:36.77 jmaU4fPW.net
>>406
>【無限級数】項の数が限りなく多い級数。
この定義ではまだ十分でない。
例えば、"限りなく多い"とはどういうことかな？
結論から言えば、そのたぐいの定義が問題だから、
極限値で定義するのだよ。
>そんなアホ定義をアホ定義と分らないようなら、
この定義のどこがアホ定義なのか説明せよｗｗ
451:哀れな素人
19/06/01 09:51:20.18 P41fZCg2.net
>>407
>例えば、"限りなく多い"とはどういうことかな？
それを自分で考えてみればいい（笑
>この定義のどこがアホ定義なのか説明せよｗｗ
それを自分で考えてみればいい（笑
>>399などが参考になるだろう（笑
お前、>>399のレスの意味が分っているのか？（笑
452:哀れな素人
19/06/01 09:53:54.37 P41fZCg2.net
1/2＋1/4＋1/8
これが有限級数である（笑
1/2＋1/4＋1/8……
これが無限級数である（笑
【有限級数】項数の有限な級数。
【無限級数】項の数が限りなく多い級数。
この説明で十分なのに、アホだから
現代数学ではそれでは不十分だと思っている（笑
453:１３２人目の素数さん
19/06/01 09:56:34.86 A4O6mPrd.net
>>406
>【無限級数】項の数が限りなく多い級数。
>これで十分である（笑
不十分である。
お前の定義には「限りなく多い」の定義が欠けている。
一方教科書の定義はそのような未定義概念は用いていない。
454:１３２人目の素数さん
19/06/01 10:00:52.06 jmaU4fPW.net
>>408
そろそろ忍耐力が限界に来つつある。
そんな揚げ足取りに固執しないで真面目に考えろ。
お前も、"ピエロ"と同レベルだな。
数学力ではなく精神構造のほうがな。ｗｗ
455:哀れな素人
19/06/01 10:04:40.28 P41fZCg2.net
>>410
お前、もしかして互除法男か？（笑
>お前の定義には「限りなく多い」の定義が欠けどういうことかている。
だからその「限りなく多い」とはどういうことか、
自分で考えてみよ、と言っているのである（笑
そうすれば僕の言っていることが分る（笑
456:哀れな素人
19/06/01 10:10:15.92 P41fZCg2.net
僕の本のアマゾンの内容紹介にこう書いてあるだろ。
「無限小数というようなものは存在しないし、数として存在できない。」
「限りなく多い」とはどういうことか自分で考えれみれば
このことが分る（笑
457:１３２人目の素数さん
19/06/01 10:10:32.94 jmaU4fPW.net
自分で考えれば、
「限りなく多い」で定義出来ていると考えている以上、
お前が大学数学に言及できるレベルにも達していない
という結論になる。
以上。
458:１３２人目の素数さん
19/06/01 10:13:30.27 jmaU4fPW.net
>>413
本を宣伝したいなら、
「限りなく多い」とはどういうことか、この本のなかで、きっちり説明しています。
ぐらい言ってほしいところ。ｗｗ
459:哀れな素人
19/06/01 10:18:07.09 P41fZCg2.net
>>414
いや、ギリシャ人や僕や市川氏は、
「限りなく多い」とはどういうことかを考えたのである。
考えた結果、ギリシャ人も僕も市川氏も同じ結論に達した。それが
「無限小数というようなものは存在しないし、数として存在できない。」
ということである。
市川氏はこんな深い結論には達していないが、
ギリシャ人なら必ず同じ結論に達するはずだ。
460:１３２人目の素数さん
19/06/01 10:21:39.22 A4O6mPrd.net
>>412
人それぞれの勝手な考えに任せたら定義にならんぞ？ｗ お前は定義の意味を知らんのか？ｗ
「限りなく多い」はお前の定義に用い入られているのだからお前が定義を示せよｗ
461:哀れな素人
19/06/01 10:22:39.09 P41fZCg2.net
アリストテレスやニコラウス・クザーヌスは
僕とまったく同じことを言っている。
別にこの人たちが言っているから正しいというのではなく、
理性的に論理的に考えると、
僕の言っていることが正しいことは明らかである。
カントールの実数論は間違いであり、
カントールの実数論が諸悪の根源である。
462:哀れな素人
19/06/01 10:26:37.25 P41fZCg2.net
>>417
以前このスレに参加したとき、何度も何度も説明した（笑
「限りなく多い」とは、
「どんなに多くても有限である」ということである（笑
このことをギリシャ人は理解していたのだ。
しかし近代人は理解していない。
463:１３２人目の素数さん
19/06/01 10:29:41.02 jmaU4fPW.net
>>416
古代ギリシア数学レベルで満足したいならそれも結構。
せいぜい、古代ギリシア数学を楽しく読ませてくれる本であることを祈るよ。
読まないけど。ｗｗ
464:哀れな素人
19/06/01 10:33:38.62 P41fZCg2.net
>>420
せっかく>>419でものすごく重要なことを書いてやったのに、
真面目に受け取らない（笑
真面目に議論せよ、といっておきながら、真面目さがない。
だからお前らはダメなんだ（笑
465:哀れな素人
19/06/01 10:35:44.82 P41fZCg2.net
僕は別にお前らに読んでもらわなくてもいい（笑
市川氏が読んでくれれば、それで十分だ（笑
世の中、たった一人の理解者がいればそれでいいのである（笑
466:哀れな素人
19/06/01 10:47:48.10 P41fZCg2.net
ごく単純に考えて、
0.99999……はどこまでも9が続くのだから、
決して１にはならない（笑
こんなことは明々白々なことではないのか（笑
実際、この問題を古代史スレで出したとき、
従兄弟が東大生だという、数学とは無縁な男が、即座に、
従兄弟に訊くまでもなく、0.99999……はあくまで近似値だから、
１にはならない、と答えた。
これが、素朴な、世間のフツーの人の考えなのである。
467:１３２人目の素数さん
19/06/01 11:00:49.89 9NZnyR1t.net
数学者や数学科出身者や数学科の学生が
世間のフツーの人の素朴な常識に反する
非常識な人たちであるというのはその通り
数学科の非常識では、1は0.99999…というもう一つの小数表示を持つ
世間の素朴な常識では、１つの数は１つの小数表示しか持たないらしいが
数学者はその常識を真っ向から否定する
数学科以外の人がいくら常識を声高に叫ぼうが
数学科の人が「常識のみが正当だ」とする考えを
受け入れることはないだろう
諦めてこの板から去れ
それがこの板の非常識な人たちの答えだ
468:１３２人目の素数さん
19/06/01 11:04:18.83 9NZnyR1t.net
＞従兄弟が東大生
東大でも理学部数学科以外なら、
世間の素朴な常識に毒されてる可能性大
469:１３２人目の素数さん
19/06/01 11:24:09.19 A4O6mPrd.net
無限を理解しないサル畜生がもう一匹 っぷ
470:１３２人目の素数さん
19/06/01 11:26:53.96 jmaU4fPW.net
そういえば、ギリシャの人たちは、
「ものは必ず上から下に落ちる」
「重いものほど早く落ちる」
とも言ってたな。
あと、
「アキレスは決して亀に追いつけない」
とも言っていたな。
>>425
無限級数は大学教養レベルだからな。
471:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 11:52:05.81 r+E2zu/4.net
>>396 補足
(引用開始)
（小話その１）
日本人１「数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事を見ろ、面白いだろう？」
米国人 「その話は、2013年にmath.stackexchangeやmathoverflowに出た話と同じだね。
大学教授が、math.stackexchangeやmathoverflowと同じレベルのことを書いたのか？ 天下の数学セミナーに？
英語圏では、あの話は、”riddle”だよ？」
日本人２「日本では、大学の中では、あの話は”riddle”として教えているのだが、一部では信じられている。
特に、数学科の落ちこぼれで、頑固なやつがいる。かれは、頭が固いので、どうしようもないけどね」
皆さん、英語圏で恥かきしないようにね（＾＾
(引用終り)
これが分らない人は、>>29
を実行して
大学の数学科プロ教員に
教えて貰いましょう
「時枝記事不成立」を（＾＾
472:１３２人目の素数さん
19/06/01 12:02:04.23 A4O6mPrd.net
時枝成立を名言した大学教員
スタンフォード大学教授 時枝正
Kusiel-Vorreuter大学教授 Sergiu Hart
時枝不成立を名言した大学教員
該当者無し
473:１３２人目の素数さん
19/06/01 12:05:44.02 A4O6mPrd.net
>>428
まあ ∞=巨大な数 としか認識できないサル畜生に時枝は、いや大学数学は理解できないよ
474:１３２人目の素数さん
19/06/01 12:26:31.34 9NZnyR1t.net
>>428
数学どころか英語もダメな君へ
大阪大じゃなく大阪工大だろ？ｗｗｗｗｗｗｗ
475:１３２人目の素数さん
19/06/01 15:37:01.45 A4O6mPrd.net
riddle には不可解なものという意味がある
一見当てられっこないのに当てられるのは不可解だ、ということだろう
英語も数学もできないサル畜生には無理
476:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 16:04:25.24 r+E2zu/4.net
>>429-732
日本語圏
しかも、クソみたいな5chバカ板の、イカレサイコパスとその一味のバカ論議を真に受けて
英語圏で、「時枝がぁ～、正しいょ～」と言ったら、バカ扱いだろうね（＾＾
（疑問のある方
477:は、>>29を実行してみましょう～！（＾＾ ） （参考） Alexander Prussさんは、ちょっと大物 （>>44-45） ”Ph.D. in Mathematics at the University of British Columbia in 1996 and publishing several papers in Proceedings of the American Mathematical Society and other mathematical journals” mathoverflowの”Probabilities in a riddle involving axiom of choice”では、否定的見解を述べています mathoverflowにおける”conglomerability ”の詳しい説明が、 「Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018」のP76-77にあり https://books.google.co.jp/books?id=RXBoDwAAQBAJ&pg=PA77&lpg=PA77&dq=%22conglomerability%22+assumption+math&source=bl&ots=8Ol1uFrjJQ&sig=ACfU3U1bAurNGJm5872wDblskzsSgsU0iA&hl=ja&sa=X&ved=2ahUKEwioiPyV_IPiAhXHxrwKHUeaArUQ6AEwCXoECEoQAQ#v=onepage&q=%22conglomerability%22%20assumption%20math&f=false Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018 Tony Huynh氏も、 mathoverflowの”Probabilities in a riddle involving axiom of choice”では、否定的見解を述べています スレ65 https://rio2016.5ch.net/test/read.cgi/math/1557142618/306 PhD math で、Postdoctoral Researcher, Universite libre de Bruxellesです (引用終り) 以上
478:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 16:05:55.40 r+E2zu/4.net
>>433
リンク訂正
>>429-732
↓
>>429-432
（＾＾；
479:１３２人目の素数さん
19/06/01 16:12:02.46 A4O6mPrd.net
>>433
英語のできないサル畜生が英語圏英語圏って っぷ
英語圏でも ∞∈/N だよ っぷ
480:１３２人目の素数さん
19/06/01 16:28:21.42 l1rjMsrZ.net
現実に√2メートルとかベクトル2＋3iのようなものは意味を持たないけど理論的には考える意義が充分にあると思う。
まず「実在」とは何かどういう意味かをはっきりさせる必要があるのでは。
この辺の議論は終始がつかないから楽しむ程度にしておくべきではないか
ちなみに俺は実数は自然な概念だと(
481:哀れな素人
19/06/01 17:32:39.73 P41fZCg2.net
>>425-427
アホレス乙（笑
あまりにアホすぎて話にならない（笑
依然として0.99999……＝１だと思っているらしい（笑
では問題を出そう（笑
ケーキを9/10ずつ食べるという行為を繰り返せば、
ケーキを食べ尽くすことができるか否か（笑
食べ尽くせるなら0.99999……＝１である（笑
しかし食べ尽くせないなら0.99999……<１である（笑
お前らのアホさたるや想像を絶している（笑
482:１３２人目の素数さん
19/06/01 17:38:04.76 9NZnyR1t.net
実際にケーキを１個食べつくせる
そしてその行為は
ケーキを9/10ずつ食べるという
無限個の行為に分割できる
483:哀れな素人
19/06/01 17:42:00.14 P41fZCg2.net
0.99999……は0.9＋0.09＋0.009＋……と同じものである。
この無限級数は9/10^nという数が絶えず加算される数である。
だからｎ→∞のとき9/10^nが0になるなら、
0.99999……は１になるのである（笑
しかしｎ→∞のとき9/10^nが0にならないなら、
0.99999……は１にならない（笑
お前らはｎ→∞のとき9/10^nは0になる、と教わったのか（笑
そんな教科書があるなら見せてほしいものだ（笑
今夕の投稿はここで中断（笑
484:哀れな素人
19/06/01 17:43:23.19 P41fZCg2.net
>>438
ではケーキを買ってきて、実際にやってみるがいい（笑
485:１３２人目の素数さん
19/06/01 18:13:47.36 jmaU4fPW.net
>>438
やれやれ、本当に数学科かよ。
>無限個の行為に分割できる
ここは、有限分割の極限としてのみ可能だと考えるのが現代の数学。
内的心情や直感としてはそれでいいが、
厳密云々、存在云々いうときは、
こうしておくのが現代数学の流儀。ｗｗ
486:１３２人目の素数さん
19/06/01 18:36:47.10 A4O6mPrd.net
{9/(10)^n|n∈N} は可算無限集合
487:１３２人目の素数さん
19/06/01 18:54:49.33 9NZnyR1t.net
>>441
＞ここは、有限分割の極限としてのみ可能だと考えるのが現代の数学。
間違ってます
無限分割が不可能、という主張は現代の数学にはありません
区間[0,1]から三進カントール集合を除いた残りは無限個の開区間
あなた、数学科じゃないですね
488:１３２人目の素数さん
19/06/01 18:57:31.32 9NZnyR1t.net
The Riddleのランダム数列版で、１００列のすべてについて
「第ｉ列を選び続ければ確率０」とできるか？
どの数列でもたかだか1列しか外れにできない制約の下では
それは不可能だろう
489:１３２人目の素数さん
19/06/01 19:25:13.43 jmaU4fPW.net
>>443
>無限分割が不可能、という主張は現代の数学にはありません
いちいち国語の問題にするんじゃねーよ。
>区間[0,1]から三進カントール集合を除いた残りは無限個の開区間
三進カントール集合が極限で定義されていることも知らんのけ？
そんなことだから、哀れな素人にも馬鹿にされるんだよ。
The Riddleでぶつくさ言う前に、極限からやり直せ。
490:１３２人目の素数さん
19/06/01 19:41:54.93 9NZnyR1t.net
>>445
>極限で定義されている
その言葉は無限分割が存在しない根拠にはなりませんな
数学科以外の人は数学の常識が受け入れられないらしい
>極限からやり直せ
あなたは極限の意味を誤解してます
あなたの脳では理解できませんから
この板から立ち去りましょう
ばぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁかｗ
491:１３２人目の素数さん
19/06/01 19:55:25.84 jmaU4fPW.net
>>446
その説明だけでは理解できんのだろうなとは思ったよ。
こんな例を出すくらいだからな。
>区間[0,1]から三進カントール集合を除いた残りは無限個の開区間
数学上の不理解を誤魔化すために、国語の問題にするなと。
国語上の言いがかりには一々相手にしないことにした。
492:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 21:28:04.18 r+E2zu/4.net
>>441
＞やれやれ、本当に数学科かよ。
同意同意
まあ、彼は、数学科の落ちこぼれ認定してますけどね（＾＾
昔、私も、哀れな素人さんとは
哲学用語の「可能無限」「実無限」を使って
議論しましたけどね（＾＾
まあ、わかり合えるところまでは行きませんでしたね
哀れな素人みたいな議論は
数学ではなく、哲学なんですよね
493:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 21:34:55.55 r+E2zu/4.net
>>448 補足参考
（下記635は、私スレ主ではないが、ご参考）
スレ30 ｽﾚﾘﾝｸ(math板:635番)-637
635 名前：１３２人目の素数さん[sage] 投稿日：2017/05/06(土) 01:49:04.50 ID:9IDQTv6Q [2/3]
この哀れななんとかさんの言いたいことって実無限vs可能無限のよくある話でしょ？
いまの数学は実無限を認める立場で成り立ってる学問。
無限を体現するものが現実世界にあるかないかは関係ないし、
無限小数を……を使わずに紙に書き切れるかどうか？もどうでもいい話。
実無限を認めないなら認めない立場で別の数学を発展させればよろしいのでは？
636 名前：１３２人目の素数さん[] 投稿日：2017/05/06(土) 02:13:40.12 ID:rxuq9492 [2/2]
唯一褒めるべきはネーミングセンスの良さ
名は体を表すとは言うけどこれほどぴったりなのは素晴らしい
637 名前：哀れな素人[] 投稿日：2017/05/06(土) 08:38:39.35 ID:OAchGYR2 [1/7]
>>627-628
アホレス乙（笑
三角形は紙に描くこともできるし、
頭の中でイメージすることもできる。
しかし無限小数は紙に描くこともできないし、
頭の中でイメージすることもできないのである。
火星人を紙に描くこともできるし、
頭の中でイメージすることもできる。
しかし無限小数は、それができない。
頭が三つ、腕が四本、足が五本の人間を紙に描くことはできるし、
頭の中でイメージすることもできる。
しかし無限小数はできない。
われわれが無限小数を紙に描いたり、
頭の中でイメージするとき、
0.99999……という形でしか描くこともイメージすることもできないが、
これは事実上、0.99999という有限小数であって、
無限小数ではないということを話しているのである。
638 名前：哀れな素人[] 投稿日：2017/05/06(土) 08:43:13.96 ID:OAchGYR2 [2/7]
ギリシャ人は数学というもの�
494:烽ﾁと厳密に考えた。 だからギリシャ人が生きていたら、僕と同じことを言うだろう。 0.99999……の……は数字ではないから、 これは事実上0.99999にすぎない、と。 彼等が現代に生きていたら、 無限小数というものの存在を否定していただろうことは確実である。 (引用終り)
495:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 21:45:33.60 r+E2zu/4.net
>>449
下記は、例の市川秀志先生のサイトですね（＾＾
URLﾘﾝｸ(park20.wakwak.com)
◆ 実無限
(抜粋)
「0.999…＝１について言えば、0.999･･･と無限に９を増やして行く行為が完結し、９の無限の配列が出来上がったと仮定しているのが実無限だ」
「0.999･･･と９を無限に増やしていくと、最後は１に一致するのかどうか？」
「可能無限では一致しないが、実無限では一致する」
「現代数学は実無限を主に採用しているから、左辺と右辺は一致すると考えている人がほとんどだ」
(引用終り)
これは別ですが（＾＾
URLﾘﾝｸ(math-jp.net)
数学の星
可能無限、実無限
公開日 : 2016年12月22日 / 更新日 : 2017年4月25日
(抜粋)
無限にはいろいろと種類がある（と考えた方が自然だ）。
視点の違いから、可能無限と実無限とで区分けするとなにかと話しやすい。
自分なりに要約すると、
可能無限は内からみた無限、
実無限は外からみた無限、
このように、無限の状態を観察する視点の違いを表している。いろいろ調べ、例をみると、
最終的には、この説明が一番しっくり来た。
もっと、くだいていうと、可能無限は永遠に終わらない（尽きることがない）無限である。
実無限は、永遠に終わらない無限を一段高いところからみて、その集積点を指す。
(引用終り)
496:１３２人目の素数さん
19/06/01 21:46:40.68 QLjw8nyC.net
日本語の掲示板卒業してマスオーバーフローにでも移住してくれ糞雑魚工学部学卒。
497:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 21:59:59.21 r+E2zu/4.net
>>450 参考
「可能無限と実無限を表した図」を見てふと思ったが、これ”到達不能基数”（下記）の話しに似ているかも（＾＾；
URLﾘﾝｸ(math-jp.net)
数学の星
可能無限と実無限の自然数モデル
2017年4月23日
(抜粋)
可能無限と実無限を表した図
可能無限と実無限の図を使った説明
URLﾘﾝｸ(math-jp.net)
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)
到達不能基数
(抜粋)
集合論において、非可算基数 κ が弱到達不能基数（じゃくとうたつふのうきすう、英: weakly inaccessible）であるとは、それが正則な極限基数（英語版）であることを言い、強到達不能基数 (strongly inaccessible) または単に到達不能基数 (inaccessible) であるとは、κ 未満の任意の基数 λ に対し、 2^λ<κ を満たす正則基数であることを言う[1]。
著者によっては非可算性を要求しないこともある（その場合 aleph _{0} は強到達不能基数）。弱到達不能基数は Hausdorff (1908)、強到達不能基数は Sierpi?ski & Tarski (1930) および Zermelo (1930) によって導入された。
強到達不能基数の存在は、グロタンディーク宇宙が存在するという形で仮定される場合がある。この両者の間には深い繋がりがある。
モデルと無矛盾性
ZFCの下では、κ が強到達不能であるときVκ がZFCのモデルになる。 ZFの下では、κ が弱到達不能であるときゲーデル宇宙のLκ がZFCのモデルになる。 よって、Z
498:F+"弱到達不能基数が存在する"はZFCが無矛盾であることを導き、不完全性定理よりその存在はZFCで証明できない。 つまり、到達不能基数は巨大基数の一種である。 (引用終り)
499:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 22:00:31.37 r+E2zu/4.net
>>451
ありがとう（＾＾
500:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 22:01:19.63 r+E2zu/4.net
>>451
あなたこそ、このクソスレを卒業して、どうぞ（＾＾
501:１３２人目の素数さん
19/06/01 22:24:54.17 jmaU4fPW.net
>>448
スレ主さん。どうもです。
>哲学用語の「可能無限」「実無限」を使って
本当のこと言うと、「可能無限」と「実無限」の違いってよくわからないですよね。俺には。
「可能無限」とは要するに限りがない状態のことですよね。
一方、「実無限」とは、"無限"という名前の何か実体として存在するもの。
みたいな感じで捉えているのですが。
有限の極限(つまり可算無限)のみを「可能無限」と読んでいるのか。
それとも、いわゆるεーδ論法なども「可能無限」の中に含めてよいのか。
また、実無限の代表例は無限集合なんだろうけど、
無限集合が極限で定義されるときはどっちになるのか。
哲学の方では、数学的対象について、
これは「可能無限」、これは「実無限」って言えるのかな？
多分、はっきりしないだろうな？ｗｗ
俺は、数学的な意味での無限は
全て「可能無限」だと思っていますが。
502:哀れな素人
19/06/01 22:27:28.57 P41fZCg2.net
僕や市川氏が言っているのは、
可能無限は存在するが、実無限は存在しないということである。
無限小数とか無限級数は、実際は
可能無限小数、可能無限級数であって、
可能無限小数、可能無限級数とは、
有限小数、有限級数にすぎないということである。
ギリシャ人が生きていたら、
僕と市川氏を支持するであろうことは、絶対確実である（笑
503:１３２人目の素数さん
19/06/01 22:31:09.41 A4O6mPrd.net
三バカトリオは哲学板にでも行ってくれ
ここは数学板だ 間違えるな
504:哀れな素人
19/06/01 22:33:05.94 P41fZCg2.net
0.99999……という無限小数は、
実際は0.99999……………………9
という有限小数にすぎないのである。
どんなに桁数を増やしても、絶対、真の無限小数にはならない。
その理由は僕の本を読めば分かる。
あるいはアリストテレスの「形而上学」とか、
ニコラウス・クザーヌスの「知ある無知」を読めば分かる。
505:１３２人目の素数さん
19/06/01 22:33:50.62 jmaU4fPW.net
>>450
>「異なる２点間には無限の点が存在します。これが、可能無限です」
>
>まねして、別のメンバーが言いました。
>
>「異なる２点間には無限個の点が存在する。これが、実無限だ」
>
>「可能無限と実無限は、微妙に異なっています」
>
>「無限そのものを１つの完結した存在として認めることが実無限の立場さ。完結した存在としての無限とは、短くいうと完結した無限さ」
うーーん。何やら言葉遊びのような気がしますが。
無限(集合)を、その性質で表すと、「可能無限」という事になります。
一方、表現(記法)的には、無限(集合)を「実無限」のように扱っています。
と、考えると本質的なのは性質の方だと思うのですがね。
506:哀れな素人
19/06/01 22:35:26.80 P41fZCg2.net
>>457
↑こういう奴がアホの典型である（笑
実無限などというものが存在すると思っているのだ（笑
507:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 22:35:33.45 r+E2zu/4.net
>>457
おまえが、この三バカスレに粘着している意味はなんだ？
四バカスレにするためだろ
いや、三バカ＋底辺バカを示すためか？ｗ（＾＾
508:１３２人目の素数さん
19/06/01 22:39:35.19 jmaU4fPW.net
>>450
>自分なりに要約すると、
>可能無限は内からみた無限、
>実無限は外からみた無限、
>このように、無限の状態を観察する視点の違いを表している。いろいろ調べ、例をみると、
>最終的には、この説明が一番しっくり来た。
この意味で行くと、同じものを異なる視点で見ているだけと言える。
この場合、数学的には"存在"として区別する必要はないと思う。
509:哀れな素人
19/06/01 22:40:19.90 P41fZCg2.net
以前このスレに参加したとき出した問題を、もう一度出しておこう。
問い
０と１の間に実数は何個ありますか？
この問題に正答した者は一人もいなかった（笑
市川氏も正答できなかった（笑
市川氏はまだ深い理解に達していないからである。
しかし市川氏の方が、このスレの人間より賢いのである（笑
510:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 22:48:24.04 r+E2zu/4.net
>>455
>>哲学用語の「可能無限」「実無限」を使って
>本当のこと言うと、「可能無限」と「実無限」の違いってよくわからないですよね。俺には。
それ、普通ですね
自分が必要になるまで、「可能無限」と「実無限」の違いは、いらないでしょう
そもそも、「可能無限」と「実無限」の違いは、標準数学外ですから
ですが、標準数学を自分なりに理解するのに、「可能無限」と「実無限」を区別したいという人いるなら、それも可
「可能無限」と「実無限」の区別を、数学の外の哲学とするのか、それを数学的に定義し直しても良い
例えば、デルタ関数は最初は直観的に「ある点aでのみ∞になる関数」として導入されたが、後にいろいろな定義が与えられた如し
（「ある点aでのみ∞になる関数」では、きっと数学ではまずかったのですね。でも、哲学では許されるかも知れませんし、自分の内部のみで「ある点aでのみ∞になる関数」と納得しても別にかまわないと思います）
511:１３２人目の素数さん
19/06/01 22:49:55.27 jmaU4fPW.net
>>456
国語的なツッコミになるのかもしれないけど、
>可能無限小数、可能無限級数とは、
>有限小数、有限級数にすぎないということである。
有限小数は有限小数じゃね。
可能無限小数になる有限小数って何のこと？
512:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 22:50:06.76 r+E2zu/4.net
>>462
>この意味で行くと、同じものを異なる視点で見ているだけと言える。
>この場合、数学的には"存在"として区別する必要はないと思う。
全く同意です（>>464）
513:哀れな素人
19/06/01 22:50:07.61 P41fZCg2.net
僕にははっきり分っているが、
問い
０と１の間に実数は何個ありますか？
この問題に近代人、現代人の99.9%の人間は正答できない。
514:哀れな素人
19/06/01 22:53:17.57 P41fZCg2.net
>>465
0.99999……という無限小数は、
実際は0.99999……………………9
という有限小数にすぎない。
という意味である。
515:哀れな素人
19/06/01 22:56:55.10 P41fZCg2.net
可算無限とは、
0.99999……の桁数をいくらでも増やせる、ということである。
僕が言っているのは、どんなに増やしても、
0.99999……………………9 という有限小数にすぎない、
ということである。
516:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 23:00:51.26 r+E2zu/4.net
>>466 補足
きっと、人類はまだ、完全には無限を理解していないと思います（下記wikipediaご参照）
もちろん、現代数学で、標準的な無限の取扱いはありますが、それが最終形という保証はない
（∵また、新しい無限を扱う数学が出てくるだろうから）
URLﾘﾝｸ(ja.wikipedia.org)
無限
(抜粋)
有限な世界しか知りえないと思われる人間にとって、無限というものが一体どういうことであるのかを厳密に理解することは非常に難しい問題を含んでいる。このことから、しばしば哲学、論理学や自然科学などの一部の分野において考察の対象として無限という概念が取り上げられ、そして深い考察が得られている。
無限に関する様々な数学的概念
・無限大
・無限小(infinitesimal)
・無限遠点
・無限集合
・無限小数
その小数表示が有限の桁ではない数。
・無限列
数（あるいは点などの要素）に番号を付けて無限に並べたもの、つまり長さが無限の数列、点列など。より厳密には自然数全体の集合 N 上で定義される写像。
(引用終り)
517:哀れな素人
19/06/01 23:01:02.77 P41fZCg2.net
さて僕は11時に就寝するので、ここで消える（笑
とにかく僕と市川氏は、実無限は存在しない、という立場なのである。
アリストテレスとニコラウス・クザーヌスも同じ立場だ。
518:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/01 23:03:32.74 r+E2zu/4.net
>>470
>きっと、人類はまだ、完全には無限を理解していないと思います（下記wikipediaご参照）
>もちろん、現代数学で、標準的な無限の取扱いはありますが、それが最終形という保証はない
時枝記事（>>23）で、混乱しているのも
その一例でしょうね
519:１３２人目の素数さん
19/06/01 23:13:46.69 jmaU4fPW.net
>>464
Diracのデルタ関数ですか。
多分ですが、
デルタ関数の性質を持つ関数を必要としたDiracは
離散値の場合のクロネッカーのデルタの類推で定義したのでしょう。
それは、一点でのみ値をもつ関数であり、面積が1になる必要がある。
とすると、その値は∞で無くてはならない。
重要なのは
∫ δ(x)dx = 1
ですから、
「ある点aでのみ∞になる関数」
は、デルタ関数のイメージ的な説明ですね。
分かりやすいイメージは必要ですからね。
520:１３２人目の素数さん
19/06/01 23:19:18.8
521:5 ID:A4O6mPrd.net
522:１３２人目の素数さん
19/06/01 23:19:34.25 jmaU4fPW.net
>>468
なんじゃそりゃ～。
実際は0.99999……………………9
が有限小数なら、それよりも長い小数があるだろ。
どうすんの。
523:１３２人目の素数さん
19/06/01 23:26:49.44 jmaU4fPW.net
>>469
桁数をいくらでも増やせる有限小数という"数"
という概念こそ、ナンセンス。
0.99999……
はどう定義しようと明らかにどんな有限の
0.99999……………………9
よりも大きな数(であるべき)。
特に、
0.99999…… ≠ (任意の)0.99999……………………9
524:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 07:44:55.74 X6R2CuVL.net
>>473
どうも。スレ主です。
>多分ですが、
>デルタ関数の性質を持つ関数を必要としたDiracは
>離散値の場合のクロネッカーのデルタの類推で定義したのでしょう。
ああ、そうかも知れません
なんとなく、”あなたは数学科出身”という気がしてきました（＾＾
ところで、「可能無限と実無限を表した図」下記がありますが
これに似た話は、現代数学でもいろいろあると思いますよ
（>>452）
URLﾘﾝｸ(math-jp.net)
数学の星 可能無限と実無限の自然数モデル 2017年4月23日
(抜粋)
可能無限と実無限を表した図
URLﾘﾝｸ(math-jp.net)
(引用終り)
例えば、「上限sup･最小上界lub/m=supAの必要十分条件/supとmaxの関係」（下記）みたいな説明がある
maxが存在する無限集合が実無限で、supのみでmaxが存在しない無限集合が可能無限と考えるとか
（参考）
URLﾘﾝｸ(www.ne.jp)
ipe@jp
実数における順序概念 : トピック一覧
(抜粋)
・最大元max･最小元min/上界･上に有界/下界･下に有界/有界
・上限sup･最小上界lub/m=supAの必要十分条件/supとmaxの関係
・下限inf･最大下界glb/m=infAの必要十分条件/infとminの関係
（ついでにメモ）
URLﾘﾝｸ(ja.wikipedia.org)
本質的上限と本質的下限
(抜粋)
すべての実数 x に対して定義される函数 f(x) = x^3 を考える。その本質的上限は ∞ であり、本質的下限は ?∞ である。
性質
inf f <= lim inf f <= ess inf f <= ess sup f <= lim sup f <= sup f
(引用終り)
(文字化けを懸念して、?を<=に書き換えたが、果たして)
つづく
525:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 07:45:22.76 X6R2CuVL.net
>>477
つづき
要は、現代数学は、「可能無限と実無限を表した図」URLﾘﾝｸ(math-jp.net)
に似た概念を発展させてきました
maxが存在しない無限集合に対して、不便だからsupを考えようとかね
時枝に戻ると、「可算無限個の数列のしっぽの同値類と決定番号」が分かり難いのは、maxが存在しない無限集合を扱っているから
というのが一つの理由です
だから、supを考えたようなことが、時枝での>>286の”挟みうち”
”超限 1,2,・・・,n,・・・,ω の同値類 ”（>>286）が、supに相当すると考えます
時枝より
スレ47 ｽﾚﾘﾝｸ(math板:19番)
(抜粋)
同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
(引用終り)
でしかたから、n番目から先一致するなら、n+1番目から先も一致する
そして、ちょうどn+1番目から先一致する数列s'が存在する
ペアノの公理より、n+1番目は無限に繰返される
つづく
526:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 07:46:20.65 X6R2CuVL.net
つづき
上記のような「ちょうどn+1番目から先一致する数列s'」が、時枝の代表の候補です
ですから、それに対応する決定番号の候補d=n+1も無限に存在する。
maxが存在しないので、supを考えるのが、現代数学の常套手段です
sup{d}=∞で、それに対応するのが、”超限 1,2,・・・,n,・・・,ω ”
”超限 1,2,・・・,n,・・・,ω ”は、
「n+1番目から先一致する数列s'」を、無限に繰返した極限と考えることもできます
d：1→2→・・→n→n+1→・・（∞）
ここで
上記二つの数列s 、s'が、全ての数で一致してd＝1となる奇跡が起きる確率0は、同意されるでしょう
（というか、これがあなたの問題意識ですよね）
同様にして、
nよりしっぽの先までの全ての数で一致してd＝nとなる確率も0
n+1よりしっぽの先までの全ての数で一致してd＝n+1となる確率も0
・
・
これが、DR Pruss氏のいう”non-conglomerability”（>>48）だろうと
で、100列あって、{d1,d2,・・・d100}で、これらd1たちがすべてある有限n以下であるとすると
上記より、”確率0”の世界です
一方、{d1,d2,・・・d100}⊂N（自然数）を考えると、Nの元は有限です
このギャップが、DR Pruss氏のいう”non-conglomerability”を扱うと、確率で Paradoxになるということなのでしょう（＾＾
（参考>>433より）
mathoverflowにおける”conglomerability ”の詳しい説明が、
「Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018」のP76-77にあり
URLﾘﾝｸ(books.google.co.jp)
Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018
以上
527:１３２人目の素数さん
19/06/02 07:59:44.19 KedKgjPL.net
>>455
＞俺は、数学的な意味での無限は
＞全て「可能無限」だと思っていますが。
「無限は有限の極限」とか言い出した時点で
「ああ、この人、世間の素朴な常識から抜け出せない”可能無限”の人だな」
と直感した
しかし今の数学の無限は「実無限」
自然数全体の集合を認めるのは「実無限」だし
無限小数の全体10^Nを認めるのも「実無限」
有限集合しか認められない人は、有限小数しか認められない
そこには「カントールのパラドックス」は存在しないので
自然数と有限小数の1対1対応で
「ほら、自然数と小数は1対1対応できる」
といいだしたりする
あなたもきっとそうでしょう
528:１３２人目の素数さん
19/06/02 08:02:51.06 KedKgjPL.net
>>456
＞無限小数とか無限級数は、実際は
＞可能無限小数、可能無限級数であって、
＞可能無限小数、可能無限級数とは、
＞有限小数、有限級数にすぎない
ええ、そしてそれが世間一般の素朴な常識であって
数学科の常識である
「実無限としての無限集合を認める」
という態度は、立派な非常識である ということも
ついでにいうと、集合全体の集まりは集合ではなくクラスというだけで、
集合論において「集合全体の集まりの存在」を否定することはありません
529:１３２人目の素数さん
19/06/02 08:04:54.41 KedKgjPL.net
>>462
＞数学的には"存在"として区別する必要はないと思う。
無限集合の存在を認める時点で実無限
可能無限では、無限集合の存在は認めない
530:１３２人目の素数さん
19/06/02 08:11:45.53 KedKgjPL.net
>>469
>僕が言っているのは、どんなに増やしても、
>0.99999……………………9 という有限小数にすぎない
哀れな素人氏は
0.99999……………………
と、最後の9がない状態のままの小数は存在しない
と言いたいのだろう
アリストテレスをはじめとする「世間の素朴な常識」とは
そういうものなのだろう
ここのスレ主は、その「世間の素朴な常識」を無理やり延長して
「無限小数も、最後の9が∞桁目として存在する」
とか馬鹿丸出しのこといってるが、はっきりいって間違ってる
哀れな素人氏は時枝問題について
「そもそも無限個の箱なんか存在しえないから無意味」
というだろう
スレ主もその理屈で時枝問題を否定すれば
数学科出身者は「ああ、こいつも世間の素朴な常識人か」
とおもってそれ以上相手にしない
531:１３２人目の素数さん
19/06/02 08:14:58.68 KedKgjPL.net
>>471
＞僕（哀れな素人）と市川氏は、実無限は存在しない、という立場なのである。
よく承知しています
あなたがたにとって「数学科で学んだ人たち」というのは
カントールの無限集合論を受け入れている時点で、
「実無限論者」という異教徒なんでしょう
それは認めますよ
しかし我々はあなたが宣伝する「可能無限論」に
立ち戻る気はありません 御利益がないからです
532:１３２人目の素数さん
19/06/02 08:27:23.84 KedKgjPL.net
>>467
＞0.99999……
＞はどう定義しようと明らかにどんな有限の
＞0.99999……………………9
＞よりも大きな数(であるべき)。
0.99999…… が存在するならね
可能無限論者は 有限小数である
0.99999……………………9
しか存在しない、といってるから
ちなみに今の数学では
「0.99999…… は存在し、1と等しい」
という考えであって
「0.99999…… は存在するが、１とは異なる」
という考えとは異なる
533:１３２人目の素数さん
19/06/02 08:28:02.18 KedKgjPL.net
>>476
＞0.99999……
＞はどう定義しようと明らかにどんな有限の
＞0.99999……………………9
＞よりも大きな数(であるべき)。
0.99999…… が存在するならね
可能無限論者は 有限小数である
0.99999……………………9
しか存在しない、といってるから
ちなみに今の数学では
「0.99999…… は存在し、1と等しい」
という考えであって
「0.99999…… は存在するが、１とは異なる」
という考えとは異なる
534:哀れな素人
2019/06/0
535:2(日) 08:30:43.28 ID:FebaY9/c.net
536:１３２人目の素数さん
19/06/02 08:30:59.85 KedKgjPL.net
>>478
＞「可算無限個の数列のしっぽの同値類と決定番号」が分かり難いのは、
＞maxが存在しない無限集合を扱っているから
maxが存在しない無限集合が理解できないからといって
勝手に∞とかいうmaxをでっちあげる嘘つきがスレ主
そういう嘘をつき続けるから間違い続ける
無限小数に最後の桁は存在しない
537:哀れな素人
19/06/02 08:37:16.67 FebaY9/c.net
>>475-476
お前は思った以上のパカだな（笑
0.9999……は実際は0.99999…………9であって、
どんなに9を増やしても0.99999……………………9
だと言っているのだが、意味が理解できないのか？（笑
そんなことだからパカと言われるのだ（笑
538:１３２人目の素数さん
19/06/02 08:37:19.05 KedKgjPL.net
>>479
>100列あって、{d1,d2,・・・d100}で、
>これらd1たちがすべてある有限n以下であるとすると
>上記より、”確率0”の世界です
ええ
>一方、{d1,d2,・・・d100}⊂N（自然数）を考えると、Nの元は有限です
文章がオカシイですね
正しくは
「一方、d1,d2,・・・d100がすべてN（自然数）の要素と考えると
d1,d2,・・・d100がすべてn以下になるような自然数nが存在します」
ですね
>このギャップが、DR Pruss氏のいう”non-conglomerability”を扱うと、
>確率で Paradoxになるということなのでしょう（＾＾
全然文章がオカシイですね
正しくは
「このギャップが、DR Pruss氏のいう”non-conglomerability”であり、
その結果、確率を考えると Paradoxになるということなのでしょう（＾＾」
ですね
日本語くらい正しく書きましょう
539:哀れな素人
19/06/02 08:43:13.74 FebaY9/c.net
ID:KedKgjPL
お前も自分で思っている以上のパカである（笑
0.99999……は0.9＋0.09＋0.009＋……と同じものである。
お前がこれを認めるなら、0.99999……は１ではないことは明白である（笑
お前がこれを認めなくても、
0.99999……は１ではないことは明白である（笑
0.99999……は１ではないことは、いろんな方法で証明できる（笑
540:哀れな素人
19/06/02 08:55:00.37 FebaY9/c.net
0.99999……は１であるなどと思っている輩は、
1.41421……は√2である、とか
3.14159……はπであると思っている輩と同然の、
白痴級のバカである（笑
世間の常識人はみんな
1.41421……<√2
3.14159……<π
だと知っている（笑
まったく同様に0.99999……<１である（笑
541:１３２人目の素数さん
19/06/02 09:01:11.93 ffOsX44+.net
>>489
君は、自己矛盾を起こしていることに気がついてないな。ｗｗ
言葉の問題かもしれないが、下の文は全く荒唐無稽。
0.9999……は実際は0.99999…………9であって、
どんなに9を増やしても0.99999……………………9
だと言っているのだが、意味が理解できないのか？（笑
>476のどこにおかしな点があるのか言ってみてくれ。
あともう一つ質問。
"0.9999……"は数なのか、それとも数以外の何かなのか。
542:１３２人目の素数さん
19/06/02 09:05:48.45 ffOsX44+.net
>>491
ふむ。
少しマシになった。
>0.99999……は0.9＋0.09＋0.009＋……と同じものである。
しかし、これではまだ曖昧である。
現代数学では、それをきちんと定義しているのでが、
君のそれは正確に言うとどういうことかな。
0.9＋0.09＋0.009＋……は無限に繰り返すアルゴリズムか何かなのかな。?
543:１３２人目の素数さん
19/06/02 09:06:27.73 KedKgjPL.net
>>487
＞ご利益があろうがなかろうが
御利益があることが大事です
数学はエンターテインメントですからｗ
＞お前らは（俺は数学科卒だから頭がいい）と思っているだろうが
数学科卒だから、ではなく、世間の素朴な常識を捨てられるから、
という理由で、頭がいい、とは思ってますが何か？
544:哀れな素人
19/06/02 09:08:35.11 FebaY9/c.net
>>493
お前はほんとにパカだな（笑
0.9999……は実際は0.99999…………9であって、
どんなに9を増やしても0.99999……………………9
だと言っているのである（笑
>0.9999……"は数なのか、それとも数以外の何かなのか。
僕の本のアマゾンの内容紹介を読んでくれ（笑
「無限小数とというようなものは存在しないし、数として存在できない」
と書かれている（笑
無限小数は数として存在できないから、僕は
「無限小数は数ではない」という題名を付けたのである（笑
545:１３２人目の素数さん
19/06/02 09:10:34.68 KedKgjPL.net
>>491
0.999…9という有限小数は１より小さいですよ
そこは誰でもわかることです
問題は無限小数0.999…です
あなたはそのようなものは存在しない、といいます
私は「無限小数0.999…は存在するし、それは１と等しい」といってます
問題は
「無限小数0.999…は存在するが、１とは等しくない」
という人です
スレ主は、無限小数にも最後の桁があるとかいってるので
おそらくそういう考えの持ち主でしょうｗ
546:１３２人目の素数さん
19/06/02 09:12:44.41 KedKgjPL.net
＞「無限小数は数ではない」
世間の素朴な常識では、書き表せないものは数ではない、ということなんでしょう
無限小数のすべての桁を書き表すことは誰にもできませんからね
しかしながら数学科では、
「すべての桁を書き表せないものは数ではない」
なんてことは申しません
547:哀れな素人
19/06/02 09:14:03.85 FebaY9/c.net
>>493
昨日も書いたが、
1/2＋1/4＋1/8 ←これが有限級数
1/2＋1/4＋1/8…… ←これが無限級数
【有限級数】項数の有限な級数。
【無限級数】項の数が限りなく多い級数。
これで十分である（笑
これ以上の説明も定義も要らない（笑
そして「限りなく多い」というのは、
「どんなに多くても有限である」ということである（笑
548:１３２人目の素数さん
19/06/02 09:19:24.39 ffOsX44+.net
>>496
お前の議論の最もバカバカしいところは、
自分で、
「(君の言う)無限小数とというようなものは存在しないし、数として存在できない」
と言っておきながら、その無限級数の定義に固執するところだよ。
定義が矛盾していると言うなら、その定義を破棄すればいいだけなのだよ。
それをせずに、
"自分の定義"に対しておかしい、おかしいと言い続けているのだよ。
まあ、その方向での可能性としては、
無限小数の定義として唯一可能な定義が君の
0.99999……は0.9＋0.09＋0.009＋……
だという事を示すことだよ。
(その前にその定義を正確に示す必要があるが。)
そして、それには、現代数学の極限による定義が
間違っていることを示す必要がある。
言っとくけど、君の定義を前提にして間違いというのはダメだよ。分かるよね。ｗｗ
549:１３２人目の素数さん
19/06/02 09:21:12.74 KedKgjPL.net
>>499
あなたにとっては無限級数は存在しないんでしょう？
だったら「これが無限級数」は誤りですね
正しくは
「1/2＋1/4＋1/8…… ←これも有限級数」
でしょう
「【無限級数】存在しない」
これこそ十分でしょう
これ以上の説明も定義も要らない
もちろん（笑もいらない
＞「どんなに多くても有限である」
だから無限は存在しないんでしょう？
世間の素朴な馬鹿として言い切りましょう
京大卒だって文学部なら馬鹿ですよ
東大卒だって法学部なら馬鹿でしょう？ｗｗｗｗｗｗｗ
550:１３２人目の素数さん
19/06/02 09:21:25.06 ffOsX44+.net
>>499
わざとか？
>そして「限りなく多い」というのは、
>「どんなに多くても有限である」ということである（笑
その2つは正反対の意味だよｗｗ
551:哀れな素人
19/06/02 09:23:06.62 FebaY9/c.net
>>498
「無限小数とというようなものは存在しないし、数として存在できない」
これは二つの意味を含んでいる。
１ 無限小数は実際は有限小数である。
２ 無限小数は数として存在できない。
そしてなぜ数として存在できないかは、
僕の本を読んでもらえれば分る（笑
僕は「書き表わせないから数ではない」
などと言っているのではない（笑
まあ実際は、無限小数は、
書き表わすこともイメージすることもできないから、
存在しないのだが（笑
数として
552:１３２人目の素数さん
19/06/02 09:26:44.75 KedKgjPL.net
＞１ 無限小数は実際は有限小数である。
それ詭弁
「無限小数は存在しない
…と書いたところで、所詮有限小数だ」
といえばいい
＞僕は「書き表わせないから数ではない」
＞などと言っているのではない
そこだけ「素朴でないソフィスティケイショーン」を
アピールするのが京大卒（ただし文学部ｗ）の悪いところだね
東大だろうが京大だろうが理学部数学科卒でないかぎり
数学に関しては世間一派の素朴な大衆と同じ馬鹿
これが現実ですよ
553:哀れな素人
19/06/02 09:29:46.50 FebaY9/c.net
>>500-502
依然として僕が何を言っているのか、全然分っていないようだ（笑
僕は
１ 無限小数は実際は有限小数である。
２ 無限小数は数として存在できない。
と言っているのである。ただそれだけだ（笑
ところで 0.99999……は
0.9＋0.09＋0.009＋……と同じものではないのか？（笑
これを否定している数学者はいるのか？（笑
554:１３２人目の素数さん
19/06/02 09:31:01.91 KedKgjPL.net
哀れな素人氏は一貫して「素人」であり続ける点でわかりやすい
スレ主は「素人」のくせに「玄人」ぶりたがるから目障り
文系出身者はそもそも数学をありがたがってないから全面否定する
実に気持ちがいい
工学部の連中は数学を有難がってるから誤解してすり寄ってくる
実にキモチが悪いｗ
555:１３２人目の素数さん
19/06/02 09:32:47.08 KedKgjPL.net
>>505
＞１ 無限小数は実際は有限小数である。
>>504に書いたとおり、詭弁だから要らない
「無限小数は存在しない。いかなる小数も実際は有限小数である。 」
といえばいい
556:哀れな素人
19/06/02 09:33:05.1
557:0 ID:FebaY9/c.net
558:１３２人目の素数さん
19/06/02 09:35:21.83 KedKgjPL.net
「無限小数は存在しない」といいきる人に
無限小数の存在を宣教するつもりはない
無駄だから
だが
「無限小数0.999…は存在するが1とは異なる」
とかいうやつには、数学ではそう考えないと説教する
要するにハンパに認めてハンパに拒否する態度がキモチワルイからｗ
無限小数を認めるなら0.999…＝１となる理屈も認めろ、ということｗ
559:哀れな素人
19/06/02 09:36:20.34 FebaY9/c.net
>>507
お前の頭の悪さがもろに出ている（笑
「無限小数は存在しない。いかなる小数も実際は有限小数である。 」
という意味で、
無限小数は実際は有限小数である。
と書いているのである（笑
数学しかできない馬鹿が自惚れている（笑
560:１３２人目の素数さん
19/06/02 09:37:24.96 KedKgjPL.net
>>508
＞↑と書いているお前が馬鹿なのが現実
世間一般の馬鹿が、我々数学科出身者を「馬鹿」と罵るのは覚悟の上
そんなことで我々は世間一般の馬鹿に屈して
つまらない人生を送るつもりはない
561:１３２人目の素数さん
19/06/02 09:38:41.77 KedKgjPL.net
>>510
＞「無限小数は存在しない。いかなる小数も実際は有限小数である。 」
＞という意味で、
＞無限小数は実際は有限小数である。
＞と書いている・・・
そういう粗雑な文章は認められない
文学部なんだろ？文章は明確に書けよ
他にとりえがないんだから
562:哀れな素人
19/06/02 09:39:40.97 FebaY9/c.net
「無限小数は存在しない」
と僕も市川氏も言い切っているし、
ギリシャ人でもそう断言するだろう（笑
これが分っていないからお前らはアホだと
以前このスレに参加したときから口を酸っぱくして説いているのだが、
アホ揃いだから誰も理解しない（笑
563:１３２人目の素数さん
19/06/02 09:39:57.09 KedKgjPL.net
>>510
＞数学しかできない馬鹿
全く結構
我々は「数学ができない馬鹿」にはなりたくないだけだ
564:１３２人目の素数さん
19/06/02 09:40:57.54 ffOsX44+.net
>>505
君こそ、こちらの言っていることが全く分かっていないようだ。ｗｗ
0.99999…… = 9/10^i (無限) := lim 9/10^i (有限)
と書かずに、
0.99999…… = 0.9＋0.09＋0.009＋……
という記法にこだわるのは、ただの言葉遊びに過ぎない。
>>506
気持ち悪いのはお前の方だよ。ｗ
ここんところは同意だが。
>文系出身者はそもそも数学をありがたがってないから全面否定する
565:１３２人目の素数さん
19/06/02 09:42:18.17 KedKgjPL.net
>>513
＞「無限小数は存在しない」
＞と僕も市川氏も言い切っているし、
＞ギリシャ人でもそう断言するだろう・・・
君の言い分ではアルキメデスはギリシャ人ではないことになる
566:哀れな素人
19/06/02 09:45:06.70 FebaY9/c.net
>>512
無限小数は実際は有限小数である。
この文章の意味をこれまで何日もスレで説明している（笑
お前が今日初めてこのスレに参加したのなら、
以前のレスを読み返せばいい（笑
いや、今日のレスでも上の文章の意味は、
それより前にいろいろ説明していると思うが（笑
要するにお前は文脈が読めないアホ（笑
数学科卒だからといって世間人よりエライとか思うなバカ（笑
お前が理解できることは世間のフツーの人だって理解できるのだ（笑
567:１３２人目の素数さん
19/06/02 09:46:09.79 KedKgjPL.net
>>515
＞君こそ、こちらの言っていることが全く分かっていないようだ。
分かる気がないからいくらいっても無駄だよ
アメリカのガチな共和党支持者に
「地球温暖化の原因は二酸化炭素の増加」とか
「人間はより原始的な生物から進化した」とか
受け入れさせるようなものだからｗ
ついでにいうと我々はアメリカの民主党支持者よりもはるかに少数だ
568:哀れな素人
19/06/02 09:49:30.08 FebaY9/c.net
>>515
0.99999…… = 9/10^i (無限) := lim 9/10^i (有限)
↑何だ、この式は（笑
この式の意味を文系の人間にも分るように説明してくれ（笑
569:１３２人目の素数さん
19/06/02 09:49:42.42 KedKgjPL.net
>>515
＞気持ち悪いのはお前の方だよ。ｗ
ああ工学部出身者の方でしたかｗｗｗ
はっきりいって大学に工学部は必要ありません！（ビシッ）
専門学校で十分です 工学は学問じゃなく専門技術ですから
ま、職場に山ほどいる工学部出身者に
そんなことはいえませんけどね（をひ）
570:１３２人目の素数さん
19/06/02 09:50:06.99 ffOsX44+.net
爆弾発言をすると、
数学がわかるやつ = 何でもわかるやる
数学がわからないやつ = 何もわからないやつ
ｗｗ
ここのブログ面白い。
Willyの脳内日記 全ての学生に数学は必要か
571:哀れな素人
19/06/02 09:51:23.17 FebaY9/c.net
>分かる気がないからいくらいっても無駄だよ
それがお前のことだ
572:（笑 尤もお前は、説明してやっても分らないバカだが（笑
573:１３２人目の素数さん
19/06/02 09:53:32.16 KedKgjPL.net
>>517
＞数学科卒だからといって世間人よりエライとか思うなバカ（笑
別に「エライ」とは思ってませんよ
イチローのように騒がれたいわけではないので
574:哀れな素人
19/06/02 09:54:03.32 FebaY9/c.net
>数学がわからないやつ = 何もわからないやつ
それがお前らだ（笑
0.99999……は１ではない。
こんな簡単なことが分らないとは、超弩級のアホ（笑
575:１３２人目の素数さん
19/06/02 09:56:52.89 ffOsX44+.net
>>519
再三言っているように、
「無限級数は有限級数の極限で定義されている」ということだよ。
つまり、
「有限級数(=有限和)という実数値からなる数列の極限で定義されている」ということだよ。
あとは、教科書を読むなり、ググればいい。
それについて理解できないのであれば、
君は、理解できないものを否定しようとしているに過ぎない。
実際には、君の考える"無限級数"とやらを否定しているに過ぎないのだが・・・。ｗｗ
576:１３２人目の素数さん
19/06/02 09:59:38.55 KedKgjPL.net
>>521
ブログ見た
＞確率微分方程式ができると、リスク資産を証券化して資産運用効率を上げられます。
これはちょっとヤバイね
経済学は他の自然科学ほど実証的でないので
経済学者がデッチあげた経済モデルを
現実のものと思い込んで計算したところで
その通りになる保証なんてないんだよね
ここらへん数学の過剰信仰が見られる
ノーベル賞に数学賞がなくてもいいけど
ノーベル経済学賞は有害無益だと思うよ
577:哀れな素人
19/06/02 10:00:19.04 FebaY9/c.net
>>525
アホレス乙（笑
無限級数は有限級数の極限ではない（笑
何度も説明してやったのに分っていないらしい（笑
２ｃｈの連中はみんなこれだ（笑
何度説明してもちっとも理解しない（笑
578:１３２人目の素数さん
19/06/02 10:04:55.30 KedKgjPL.net
>>525
＞「無限級数は有限級数の極限で定義されている」
極限を持たない無限級数もあるけどな
調和級数とかその典型
1+1/2+1/3+…
ちなみに無限小数は必ず極限をもつ
579:哀れな素人
19/06/02 10:09:04.99 FebaY9/c.net
【無限級数】項の数が限りなく多い級数。
↑広辞苑の定義だ（笑
どこにも極限などという説明はない（笑
無限級数が極限なら、
この無限級数の極限値を求めなさい、
などという問題は出されなくなる（笑
なぜなら無限級数が極限なら、
この無限級数の極限はこの無限級数です、
と答えればいいからだ（笑
無限級数とその極限は別の概念なのに、
そういう常識すら理解していない（笑
そのくせ俺は数学科だとうぬぼれている（笑
580:１３２人目の素数さん
19/06/02 10:09:05.66 KedKgjPL.net
個人的には
「非ユークリッド幾何学を認めると
エッシャーみたいにカッケー作品が作れるぜ」
というほうが好きだな
URLﾘﾝｸ(en.wikipedia.org)
581:哀れな素人
19/06/02 10:10:41.86 FebaY9/c.net
>ちなみに無限小数は必ず極限をもつ
お前の頭の悪さがまたもや露呈した（笑
582:１３２人目の素数さん
19/06/02 10:12:08.55 KedKgjPL.net
>>529
＞無限級数が極限なら、
＞この無限級数の極限値を求めなさい、
＞などという問題は出されなくなる
極限をもたない無限級数が存在することからしても
「無限級数が極限、というのは誤りだろ」
という君の指摘は正しい
工学部卒のいうことはだいたいハンパ
ま、全部分かる程度の頭があったら工学部なんか入らないｗ
583:１３２人目の素数さん
19/06/02 10:14:08.73 ffOsX44+.net
>>528
もちろん分かっているよ。ｗｗ
それは、
lim n = ∞
と同じで、記法の煩雑さを避けるための便宜。
>>526
インチキ統計学でコロコロと騙される連中に比べたら、
憐れな素人みたいに疑ってかかる方が健全と言えるかもね。ｗｗ
584:１３２人目の素数さん
19/06/02 10:17:21.38 KedKgjPL.net
>>531
無限小数が極限を持つことは簡単に証明できる
・有限小数で１つずつ桁数を伸ばす数列は単調増加
・上記の数列は上限を持つ
ついでにいうと0.999…が1に等しいことも証明できる
0.9、0.99、0.999、・・・は単調増加で、しかもどの項も１より小さい
そして１より小さなどんな数ｒも、ｒより大きい上記の数列の項を持つ
逆にいえば、上記の数列のどんな項よりも大きいような
１より小さい数は存在しない
したがって、0.999…は1である
585:１３２人目の素数さん
19/06/02 10:19:43.65 ffOsX44+.net
>>532
まあ、正確には、"極限が存在する場合"と入れる必要がある。
しかし、この場合、そこは重要な論点ではない。
数式として
1 = 0
という式が書けるからと言って、
1 = 0
が成立すると言っているのではない。
586:１３２人目の素数さん
19/06/02 10:20:11.62 KedKgjPL.net
>>533
＞lim n = ∞
これは実数の範囲内では正しくないよ
もちろん、実数に∞という新しい要素を付け加える場合は別だが
（スレ主は複素平面とリーマン球面を区別しない馬鹿なので一応述べといた）
587:哀れな素人
19/06/02 10:21:35.05 FebaY9/c.net
>>534
アホレス乙（笑
僕の本の内容紹介で
「解析学の大錯誤」の説明を読んでみればいい（笑
588:１３２人目の素数さん
19/06/02 10:22:22.81 KedKgjPL.net
>>535
＞そこは重要な論点ではない
ではどこが重要な論点だい？
589:１３２人目の素数さん
19/06/02 10:23:47.25 ffOsX44+.net
>>536
拡張実数を使う流儀もある。
しかし、単なる記法と定義しても問題ない。
どちらも、実質的には同じ意味でしかない。
今の議論で拡張実数を使う必要性はない。
590:１３２人目の素数さん
19/06/02 10:25:21.03 ffOsX44+.net
>>538
もちろん、哀れな素人の主張に関する論点だよ。
彼は、発散する場合があるから間違いとは言っていない。
591:１３２人目の素数さん
19/06/02 10:26:40.02 KedKgjPL.net
>>537
君の本は買わないｗ
>>534で述べた証明は実数の定義を用いているから
君がその定義の中で受け入れられないものがあれば
君にはその証明は受け入れられないだろうな
で、具体的にどこが受け入れられないんだい？
いっとくけど「そもそも0.999…なんてすべて書き切れない」
というレベルの話なら御免だね
そもそも小数として書き切れるかどうかなんて
数学としては全然重要じゃないからｗ
592:１３２人目の素数さん
19/06/02 10:27:29.47 KedKgjPL.net
>>540
具体的に書いてごらん
他人に丸投げするのはダメだよ
593:哀れな素人
19/06/02 10:27:57.91 FebaY9/c.net
ID:ffOsX44+
これはどうも互除法男のような気がするが（笑
まあどうでもいい（笑
あとは二人でやってくれ（笑
594:１３２人目の素数さん
19/06/02 10:30:04.82 KedKgjPL.net
>>543
なんだ「解析学の大錯誤」なんていっといて
ここでの説明はしないんだ
だったら「大」錯誤なんて書くなよ
なんでも「大」をつけるのは幼稚園児の悪い癖だｗ
595:１３２人目の素数さん
19/06/02 10:36:56.72 ffOsX44+.net
>>542
何が、"具体的に書いてごらん"だよ。
過去ログを読めばいい。
一体何を"他人に丸投げする”んだよ。ｗｗ
596:１３２人目の素数さん
19/06/02 10:39:34.50 KedKgjPL.net
>>545
＞過去ログを読めばいい
君には過去ログから論点を抽出して
文章に表現する言語力はないのかい？
そこは論点でないといいだしたのは君
だからどこが論点か示すのは君
他の誰でもないよ 何甘ったれてんの
この専門学校卒ブルーカラーはｗ
597:１３２人目の素数さん
19/06/02 10:42:12.27 ffOsX44+.net
>>546
わざわざ書かないのはバカバカしいからだよ。
あえて言えば、"自明"だ。バカ。
598:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 10:45:12.21 X6R2CuVL.net
>>532
＞工学部卒のいうことはだいたいハンパ
半分は当たっているけどね
半分は、数学屋みたいに空想的論理だけで”おしまい”にはならんてこと
工学で一番大事なことは、「小さな間違いは可だが、大きな間違いをしないこと」ってやつね
”確率過程論を知っていれば、時枝解法不成立”がすぐ分る
そういう、別の角度からの検証を常にすることだ（普通、工学でなくとも、人は無意識にそれやるけどね）
工学でよく言われるのが、「その（計算の）数字、一桁間違っているよ」っていうやつね
一桁間違うと、橋が落ちたりビルが倒
599:れたりということになる（「計算しないでもそれがわかれよ」ってこと） 良い意味での常識が、必要ってこと（「時枝解法？ あほか」という確率過程論の常識がね） ＞ま、全部分かる程度の頭があったら工学部なんか入らないｗ ま、 ”全部分かる程度の頭があったら工学部なんか入らない”と思って数学科行って 卒業前に、”就職先がない～！”と思った人も沢山いたんじゃないかな？（＾＾； いま2019年なら、IT系の素養があれば、純粋数学でなくそっち方面への就職もありかも それもできないのが、ピエロおまえだろ？（＾＾ 数学も中途半端で落ちこぼれ、IT系の素養もない！ 「小学生に数学教えてるんだって」？（＾＾； えらいね、ピエロちゃんは（ピエロより上の小学生がいそうだな、それが救いかな）
600:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 10:53:52.02 X6R2CuVL.net
>>537
老婆心ながら、キチガイサイコパスを常人と思わないように
キチガイサイコパスが常人と同じように議論できると思わないように
（>>31-32）
「実際に人を真っ二つに斬れたら
爽快極まりないだろう」
（>>33-35)
「君子豹変」 VS 狂犬 論争
をご参照ください
まあ、まともに議論できる相手じゃない（＾＾；
601:１３２人目の素数さん
19/06/02 11:08:18.19 KedKgjPL.net
>>548
>>工学部卒のいうことはだいたいハンパ
>半分は当たっているけどね
この回答自体ハンパ
>半分は、数学屋みたいに空想的論理だけで
>”おしまい”にはならんてこと
現実に関わらない点を「空想」というのであれば
そもそも数学は現実を扱う学問ではないので
「空想」は当然のことだと返答します
空想結構！空想万歳！
>”確率過程論を知っていれば、時枝解法不成立”がすぐ分る
またその話ですか？
確率過程論では、あなたの主張は正当化できませんよ
まず、∞は自然数ではありません
自然数の定義から明らかです
勝手に∞を付加した「拡大自然数」を考えるのもNGです
次に、任意の自然数ｎについて
「決定番号ｄがｎ以下である確率は０」から
「選んだ列の決定番号ｄが他の列の決定番号以下である確率は０」
は導けません
皆がそれぞれ異なる列を選んだ場合矛盾が露呈します
どちらも確率過程とは無関係の誤りです
工学部出身者にはこの手のアサハカな誤りが多々見受けられます
論理に疎い欠点がモロに出てますね
>良い意味での常識が、必要ってこと
>（「時枝解法？ あほか」という確率過程論の常識がね）
もう一度言いますが、スレ主の「世間の素朴な常識」は
確率過程論では全く正当化できません
確率過程論を全く理解できない人が
見え透いた嘘をつくのは
見苦しいのでやめていただけますか？
602:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/02 11:10:18.86 X6R2CuVL.net
>>477
> (文字化けを懸念して、?を<=に書き換えたが、果たして)
ああ、やはりね
文字化けしたな
ところで、ふと思ったが
多項式環の多項式の次数kの最大次数が、可能無限
形式的冪級数環のの最大次数が、実無限（∞）
そう考えることもできる
URLﾘﾝｸ(ja.wikipedia.org)
多項式環
(抜粋)
注意すべき点として、多項式には項が有限個しかないこと ?つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということ? は、暗黙の了解である。多項式の次数とは X k の係数が零でないような最大の k のことである。特別な場合として、零多項式（係数が全て零）の次数は定義しないか、あるいは負の無限大 ?∞ と定義する。
URLﾘﾝｸ(ja.wikipedia.org)
形式的冪級数
(抜粋)
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。
603:１３２人目の素数さん
19/06/02 1
604:1:11:48.76 ID:KedKgjPL.net
605:１３２人目の素数さん
19/06/02 11:16:12.38 KedKgjPL.net
>>551
＞ところで、ふと思ったが
＞多項式環の多項式の次数kの最大次数が、可能無限
＞形式的冪級数環のの最大次数が、実無限（∞）
＞そう考えることもできる
できません ホント馬鹿だねスレ主は
どちらも全体の最大次数は存在しません
ただし
・個々の多項式には0でない係数をもつ項の最大次数が存在する
・個々の形式的冪級数は一般に0でない係数をもつ項の最大次数が存在しない
この程度のことも日本語で述べられないスレ主は
実に粗雑な頭の持主だと言わざるを得ない
土方仕事しかしてないからしょうがないけどねｗｗｗｗｗｗｗ
606:１３２人目の素数さん
19/06/02 11:34:07.82 ffOsX44+.net
>>551
俺の理解では、
形式的冪級数環は多項式環の極限。
(超限という名の極限)
自然数Nが有限集合の極限(超限)であるから。
よって、形式的冪級数環は可能無限。
有限 --> 超限順序数ω(=自然数の集合) --> さらなる超限順序数 ・・・
この矢印-->が、極限操作(sup)によって得られるため、全てが可能無限ｗｗ