探検


可算無限個のサイコロを投げます

■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
垢版 |
2025/07/12(土) 05:23:39.55ID:fifWzMuZ
出た目をすべて隠します
一個を除いたすべての目を確認します
残った一個の目を1/6より高い確率で当てられますか?
116132人目の素数さん
垢版 |
2025/07/15(火) 21:54:36.65ID:f6eKYL5B
証明読んで確率空間分からないってガイジか?
Ω={1,2,・・・,100}
F=2^Ω
P:F→(0,1),P(f)=|f|/|Ω|
117132人目の素数さん
垢版 |
2025/07/15(火) 22:03:28.12ID:rAK0Q16D
>>116
あほ?
118132人目の素数さん
垢版 |
2025/07/15(火) 22:13:24.98ID:f6eKYL5B
>>117
なにがどうあほと思ったか具体的に言ってみて
君があほでないなら
119132人目の素数さん
垢版 |
2025/07/15(火) 22:14:16.61ID:f6eKYL5B
まあ言えないよね あほだから
2025/07/15(火) 22:29:05.58ID:FVhEYqi7
>>113
1/6に収束する事でサイコロを増やせてやがて>>1の問題と同じ状況になる
『大変だ!サイコロを1個加えただけで1/6に収束しなくなった!』なんて事が起こるはずがないよな
なにがどう馬鹿と思ったか具体的に言ってみて
君が馬鹿でないなら
121132人目の素数さん
垢版 |
2025/07/15(火) 22:32:13.39ID:f6eKYL5B
>>120
証明も読まずに独善持論展開してるところ
122132人目の素数さん
垢版 |
2025/07/15(火) 22:58:52.32ID:f6eKYL5B
>>120
突っ込む価値も無いクソ持論にあえて突っ込むと
「(可算)無限回やる」って書いてるけどそれいつ終わるの?
いつか終わるとしたら無限回ではないし、いつまでも終わらないとしたらサイコロを1個増やせない
どちらにしろ破綻してるね
123132人目の素数さん
垢版 |
2025/07/15(火) 23:02:43.81ID:f6eKYL5B
>>120
そもそも無限を分かってないから、こんなとこ来るより初歩から勉強し直した方が良いよ
2025/07/16(水) 04:53:23.41ID:jW1RMQIb
>>122
予想通りのガバガバ回答
可算無限回の作業が出来ないならどうやって可算無限個のサイコロ振って1個残しで可算無限個の出目確認するんだよ(笑)
言ってておかしいって気付かんのか(笑)
2025/07/16(水) 05:12:55.72ID:jW1RMQIb
無限にあるサイコロを振ります!出目の確認を無限回やります!無限個ずつ並ぶ列を作っていきます!

『可算無限回っていつ終わるの?』

知らねえよ笑
きっと無限長の2列作り終わる頃には完了してんじゃねえの笑
2025/07/16(水) 05:16:20.61ID:jW1RMQIb
いやー知らなかったなあ
可算無限回ラベルペタペタ貼って並べ直す事は出来るのにゲームを可算無限回繰り返す事は破綻になるんだ笑
2025/07/16(水) 05:28:11.66ID:l6x9zfu0
馬鹿同士が議論すると10年続く、次の10年へゴー
2025/07/16(水) 05:29:15.22ID:jW1RMQIb
つーか根本的にズレてんのがな、重要なのはサイコロが増えていく部分であって各段階に『いつ終わるの?』とか言ってる場合じゃねえんだわ
そんなに『ぼくのかんがえたかさんむげん』と合わないってんなら別に『サイコロを10万回振って1個以外の出目を確認し、残りを当てる。正解率が1/5未満ならばサイコロを1個増やして繰り返す。1/5以上ならばサイコロを増やさず繰り返す。』でも話の本質変わらないからな?
この仕組みで未来永劫サイコロを増やせなくなる瞬間が訪れるのはおかしいですよねーって話だから
2025/07/16(水) 05:31:45.96ID:jW1RMQIb
>>128ミス
『3個振って(略)当てるゲームを10万回繰り返す。正解率が(略)』な
2025/07/16(水) 08:06:15.47ID:+hBELbFo
>>1
可算無限個のサイコロを投げたとして、
出た目をすべて隠し、一個を除いたすべての目を確認する、という手順を踏んだとして、
残った一個の目はそれ以外のサイコロの目とは関係なく独立した事象として1/6の確率でそれと決まる.
サイコロとはそういうもの.
∴1/6より高い確率で当てられない.
131132人目の素数さん
垢版 |
2025/07/16(水) 08:30:25.80ID:45vT4138
>>124
>どうやって可算無限個のサイコロ振って1個残しで可算無限個の出目確認するんだよ(笑)
出題者はMap(N,{1,2,・・・,6})から元をひとつ任意に選択する。sが選ばれたとせよ。
回答者はNから元をひとつ任意に選択する。nが選ばれたとせよ。nを出題者へ伝える。
出題者はsのN-{n}への制限s'を回答者へ提示する。
回答者は提示されたs'を確認する。
132132人目の素数さん
垢版 |
2025/07/16(水) 08:33:46.22ID:45vT4138
>>124
君さあ、屁理屈捏ねる暇あったら証明読みなよ
下手の考え休むに似たりって知ってる?
133132人目の素数さん
垢版 |
2025/07/16(水) 08:39:07.03ID:45vT4138
>>130
はい不正解。
文句は証明に言ってくれ。証明のギャップを示す以外に1/6より高い確率で当てられることを否定する手段は無い。
134132人目の素数さん
垢版 |
2025/07/16(水) 08:44:33.99ID:45vT4138
てかおまえらよ なんで証明はどこにあるのか聞いてこないんだ? やる気あんのか? やる気無い者は去れ
135132人目の素数さん
垢版 |
2025/07/16(水) 09:01:25.38ID:45vT4138
下手の考え休むに似たり
囲碁や将棋などで、下手な人が長考しても、良い考えが浮かばず、ただ時間を無駄にしている様子を指す言葉です。転じて、能力の低い人があれこれ考えても、結局は良い結論にたどり着けず、休んでいるのと同じだという意味で使われます。

素人どもがいくら考えようが1/6より高い確率では当てられないという結論にしかならんやろ。それは休んでるのと同じ。
1未満の任意確率で当てられる証明が存在するのだから、その証明のギャップを示せばよいし、且つそれ以外に手は無い。
136132人目の素数さん
垢版 |
2025/07/16(水) 09:17:54.24ID:45vT4138
>>126
>可算無限回ラベルペタペタ貼って並べ直す事は出来るのにゲームを可算無限回繰り返す事は破綻になるんだ笑
いまs∈Map(N,{1,2,・・・,6})が提示されたとする。
s1,s2∈Map(N,{1,2,・・・,6})を
s1(n)=s(2n),s2(n)=s(2n+1)
で定義すれば、sの2列へ並べ直しが完了する。

>いやー知らなかったなあ
無知だね君
137132人目の素数さん
垢版 |
2025/07/16(水) 09:26:10.32ID:45vT4138
>>127
利口な君が証明のギャップを示せば終結する どうぞ
2025/07/16(水) 10:01:28.71ID:jW1RMQIb
どう捻ろうが無限回の処理か一度に無限の情報量扱ってるかのどちらかだろうが笑
なんで『いつ終わるの』とかトンチンカンな事聞いたの?
139132人目の素数さん
垢版 |
2025/07/16(水) 10:13:25.21ID:45vT4138
>>138
>ゲームを加算無限回やる
が論理破綻してるから。違うと言うなら>>112を>131、>136のように数学の言葉で記述してみ? 話はそれからだ。
>>112が一顧の価値も無いクソ回答であることはこの際置いとくとして。
140132人目の素数さん
垢版 |
2025/07/16(水) 10:50:08.58ID:45vT4138
ここは数学板なんだから数学の言葉で書けない主張についての問答は無意味やろ 問答したきゃさっさと書きーや
141132人目の素数さん
垢版 |
2025/07/16(水) 11:09:01.95ID:QGC/Vmou
>>127
>馬鹿同士が議論すると10年続く、次の10年へゴー

これは、弥勒菩薩様か
ご指導、ご苦労様です

この話(>>1および箱入り無数目)の面白さは
確率論の専門家以外では(確率論の専門家は多分否定で一致でしょうが)
たまにプロ数学者でも
間違うというところです

 >>8 重川一郎
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年度前期 確率論基礎
冒頭
P5
第1章
確率空間と確率変数
余談から.確率概念は直感が働くと同時に,直感に騙されるということもある.
慎重に考えないと間違った結論を出してしまうことも多いのである.

と始まる
まさ、これです
『確率概念は直感が働くと同時に,直感に騙されるということもある.
慎重に考えないと間違った結論を出してしまうことも多い』
の通りです ;p)
142132人目の素数さん
垢版 |
2025/07/16(水) 11:10:24.16ID:QGC/Vmou
>>141 タイポ訂正

まさ、これです
 ↓
まさに、これです
143132人目の素数さん
垢版 |
2025/07/16(水) 11:24:52.93ID:45vT4138
>>141
>確率論の専門家は多分否定で一致でしょうが
馬鹿の多分は間違うから無意味。実際に否定している確率論の専門家の氏名を一人でよいから書いてみ。

>『確率概念は直感が働くと同時に,直感に騙されるということもある.
>慎重に考えないと間違った結論を出してしまうことも多い』
他のサイコロの出目を知ったところで当てられっこないという直感に騙されて間違った結論を出してしまう奴がこのスレにもわんさかいる。
ただその原因は確率ではなく無限集合にあるのだが。
144132人目の素数さん
垢版 |
2025/07/16(水) 11:30:41.88ID:45vT4138
>>143
>実際に否定している確率論の専門家の氏名を一人でよいから書いてみ。
ちなみに実際に肯定している大学教授の氏名なら
 Stanford大学教授 時枝正
 Kusiel-Vorreuter大学教授 Sergiu Hart
 Baylor大学教授 Alexander Pruss
な
145132人目の素数さん
垢版 |
2025/07/16(水) 11:50:51.90ID:QGC/Vmou
>>115
>確率空間定義できないのに確立も何も無いもんだわ

同意です
箱入り無数目は、決定番号(仮にこれをdとして)を使う 確率計算を提唱するが
それでは、dの 確率空間 の定義はどうか? が問題になる
その議論をすっぽかして、確率の数字だけを99/100だとかね
ゴマカシですよねw
146132人目の素数さん
垢版 |
2025/07/16(水) 12:11:42.21ID:45vT4138
>>145
箱入り無数目の確率計算は証明の下記部分。
「さて, 1〜100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」

100列のうち単独最大決定番号を持つ列は1列以下(∵2列以上が単独最大決定番号を持つなら自然数の全順序性に反する)。
よって100列のいずれかをランダム選択したとき、単独最大決定番号を持つ列を選ぶ確率は1/100以下。

この計算において、決定番号の確率分布は使ってないから
>箱入り無数目は、決定番号(仮にこれをdとして)を使う 確率計算を提唱するが
>それでは、dの 確率空間 の定義はどうか? が問題になる
は事実誤認から来る誤解。証明の文章を正しく読解できていないだけ。国語ができないと数学もできない典型例。国語からやり直そう。
147132人目の素数さん
垢版 |
2025/07/16(水) 12:15:01.68ID:45vT4138
尚、正しい確率空間は>>116で提示済み。
あほ?とか言いがかりつけてくるチンピラがいたが、何がどうあほなのか質したらトンズラされたw
148132人目の素数さん
垢版 |
2025/07/16(水) 12:35:09.49ID:45vT4138
>>145
>ゴマカシですよねw
ゴマカシてるのは、馬鹿にも分かるように親切丁寧に説いて聞かせてるにもかかわらず
>箱入り無数目は、決定番号(仮にこれをdとして)を使う 確率計算を提唱するが
>それでは、dの 確率空間 の定義はどうか? が問題になる
なる誤解を誤解と認めない君
149132人目の素数さん
垢版 |
2025/07/16(水) 12:57:11.05ID:45vT4138
>>138
>どう捻ろうが無限回の処理か一度に無限の情報量扱ってるかのどちらかだろうが笑
>>131、>>136には「無限回の操作」なるものは一切現れない。
数学において「無限回の操作」なるものは認められていない。当たり前だ、限りが無いことを無限と呼ぶのだから「無限回の操作」は完了しない、しかるに完了するかの如き扱うのは欺瞞に他ならない。
君の>>112は「無限回の操作」を用いずに記述できるの? できなければ>>112は数学的に無意味。
2025/07/16(水) 17:12:41.13ID:l6x9zfu0
続けて
151132人目の素数さん
垢版 |
2025/07/17(木) 10:57:25.25ID:SUY2H6R9
>>149-150
>数学において「無限回の操作」なるものは認められていない。当たり前だ、限りが無いことを無限と呼ぶのだから「無限回の操作」は完了しない、しかるに完了するかの如き扱うのは欺瞞に他ならない。
>続けて

ID:l6x9zfu0 は、弥勒菩薩様か
巡回ご苦労さまです

ここは、中高一貫生も見るかもなので、一言
”数学において「無限回の操作」なるものは認められていない”は
小沢 登高先生も(下記)も、そんなことを言っているんだよね
困ったものだ

もっとも、小沢 登高先生は、東大で
”昼寝癖のせいで後ろ半分はほとんど聞き逃した。 おかげで、知識は穴だらけであった”
を自認するから、ご愛敬だが ;p)

さて、”数学において「無限回の操作」なるものは認められていない”ね
この話を、まともにやりだすと、古代ギリシャのゼノンさんのパラドックスまで 遡るだろう(下記)
(アキレスと亀、飛んでいる矢は止まっている)

これら 古代ギリシャの無限の議論を乗り越えていったのは
ニュートンやライプニッツの微積のあたりからだろうか?

(参考)
https://www.kurims.kyoto-u.ac.jp/~narutaka/rireki.html
小沢 登高
履歴書(非公式版)
1993年4月 東京大学理科一類入学
学部時代は一貫してTVゲームとバイトに多忙。

1995年4月 同理学部数学科進学
高校時代に科学雑誌を通して理論物理に興味を覚えたが、 現代数学については完全に無知。 そんなわけで大学入学時は理物に進もうと思っていたが、 線形代数が面白かったので数学に進むことになった。 実は微分方程式が嫌いであるという理由も大きい。

当時、3年生向けの講義は一日一科目で午前午後を通して行われたが、 昼寝癖のせいで後ろ半分はほとんど聞き逃した。 おかげで、知識は穴だらけであった。 冬になり大学院とび入学試験があるというので、 とりあえず受けてはみたが、失敗。 口頭試問の場で、自分がいくつかの基本的なこと (例えばルベーグ単調収束定理)をまったく知らない という事実に気付かされた。

少し態度を改め、 4年生の春にルベーグ積分とホモロジー代数を市立図書館で勉強する。 ついでに関数解析の教科書も眺めてみた。 (市立図書館で岩波基礎数学選書をそろえるなんて贅沢なことは おそらくもう許されないだろう。) 函数解析に興味を覚えたので、夏休みにはConwayの本(GTM96)を読んだ。 数学の本を一冊通読したのはこれが初めてだった。 継続してまじめに勉強したのもこれが初めてだった。

つづく
152132人目の素数さん
垢版 |
2025/07/17(木) 10:57:50.84ID:SUY2H6R9
つづき

https://ja.wikipedia.org/wiki/%E3%82%BC%E3%83%8E%E3%83%B3%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
ゼノンのパラドックス

アキレスと亀

飛んでいる矢は止まっている

https://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E7%A9%8D%E5%88%86%E5%AD%A6
微分積分学
歴史
アイザック・ニュートンは、積の微分法則、連鎖律、高階差分解読法、テイラー展開、解析関数といった概念を独特の記法で導入した。
彼の研究ノートを見分しても初等幾何と現代でいう極限の考え方を素朴に組み合わせて試行錯誤していることや、同書ではいわゆる「逆問題」について踏み込んでいないことから、彼が逆問題を結局解けなかった、つまり微積を使っていなかったことがうかがえる

これらの考え方を体系化し、微分積分学を厳密な学問として確立させたのがゴットフリート・ライプニッツである。当時はニュートンの盗作だと非難されたが、現在では独自に微分積分学を確立し発展させた1人と認められている。ライプニッツは極小の量を操作する規則を明確に規定し、二次および高次の導関数の計算を可能とし、積の微分法則と連鎖律を規定した
(引用終り)
以上
153132人目の素数さん
垢版 |
2025/07/17(木) 11:13:30.46ID:L4iQJJ91
↑
何言ってんだこのバカ
154132人目の素数さん
垢版 |
2025/07/17(木) 12:38:42.38ID:9X5ecV6P
サイコロたちが量子エンタングルしていると、
ほかのサイコロたちを観測すると、まだ観測
されていないサイコロを観測するときの観測
結果が影響を受けるんだ。
155132人目の素数さん
垢版 |
2025/07/17(木) 15:19:44.31ID:L4iQJJ91
>>151
>”数学において「無限回の操作」なるものは認められていない”は
>小沢 登高先生も(下記)も、そんなことを言っているんだよね
>困ったものだ
つまり数学において「無限回の操作」なるものが認められていると?
では認められている「無限回の操作」の例を一つでよいから示してみ

>ここは、中高一貫生も見るかもなので、一言
示せなきゃ小学生に笑われんぞ
156現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/17(木) 16:17:04.56ID:SUY2H6R9
>>155
>つまり数学において「無限回の操作」なるものが認められていると?
>では認められている「無限回の操作」の例を一つでよいから示してみ

ふっふ、ほっほ
下記 無限公理がそれだよ
「(y∈×→(y∪{y}∈×)」の部分は、後ろの
ペアノ公理 Neumann 「s(a)=a∪{a}」と同じ意味で
ペアノ公理は、(気持ちとしては)帰納的集合として 後者関数 「s(a)=a∪{a}」を 無限回繰り返して 自然数N(無限集合)を得るが
公理的集合論としては、無限は ”Axiom of infinity”が必要だということ
これが、現代数学の無限の扱いのスタンダードです!
(余談だが、下記の「すべての帰納的集合の共通部分を取る」に 引っ張られて ”∩”を使う やついるが それまずいよ)

(参考)
https://en.wikipedia.org/wiki/Axiom_of_infinity
Axiom of infinity
Extracting the natural numbers from the infinite set
Alternative method
<google訳>
代替の方法は次のとおりです。
Φ(×)「xは帰納的である」という式である。つまり
Φ(×)=(∅∈×∧∀y(y∈×→(y∪{y}∈×)))
非公式には、すべての帰納的集合の共通部分を取ることになります。
より正式には、唯一の集合の存在を証明したいのです。
Wそういった
∀×(×∈W↔∀I(Φ(I)→×∈I))。(*)
存在については、無限公理と仕様公理スキーマを組み合わせて使用します。
I 無限公理によって保証される帰納的集合である。
そして、仕様公理スキーマを用いて集合を定義する。
W={×∈I:∀J(Φ(J)→×∈J)}– つまり
Wは、Iは、他のすべての帰納的集合の元でもある。
これは明らかに(*)の仮定を満たす。なぜなら、
×∈W、 それから
×はすべての帰納的集合に含まれ、
×はあらゆる帰納的集合に存在し、特に
Iなので、W。

一意性については、まず、(*)を満たす任意の集合はそれ自体が帰納的であることに注意する。なぜなら、0はすべての帰納的集合に含まれ、要素が
× がすべての帰納的集合に含まれるならば、帰納的性質により、それに続く集合も含まれる。
したがって、別の集合W′満足する(*)ならば、
W′⊆W よってWは帰納的であり、
W⊆W′よってW′は帰納的である。したがって
W=W′。
ωとして このユニークな要素を表します。
この定義は、帰納法の原理が直ちに導かれるので便利です。
I⊆ωは帰納的であるならば、
ω⊆I、 となることによって
I=ω。

Both these methods produce systems that satisfy the axioms of second-order arithmetic, since the axiom of power set allows us to quantify over the power set of
ω, as in second-order logic. Thus they both completely determine isomorphic systems, and since they are isomorphic under the identity map, they must in fact be equal.

つづく
157現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/17(木) 16:17:43.58ID:SUY2H6R9
つづき

https://en.wikipedia.org/wiki/Peano_axioms
Peano axioms
Set-theoretic models
Main article: Set-theoretic definition of natural numbers
The Peano axioms can be derived from set theoretic constructions of the natural numbers and axioms of set theory such as ZF.[15]
The standard construction of the naturals, due to John von Neumann, starts from a definition of 0 as the empty set, ∅, and an operator s on sets defined as:
s(a)=a∪{a}
The set of natural numbers N is defined as the intersection of all sets closed under s that contain the empty set.
(引用終り)
以上
158現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/17(木) 16:28:36.30ID:SUY2H6R9
>>156 補足

すでに>>8で提示しているが、下記重川
(参考)
https://rio2016.5ch.net/test/read.cgi/math/1736907570/8 ”スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3w)”
https://www.math.kyoto-u.ac.jp/~ichiro/index_j.html
重川一郎
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年度前期 確率論基礎
P7
確率空間例サイコロ投げの場合
確率空間として次のものを準備すればよい.
Ω={1,2,・・・,6}^N∋ω={ω1,ω2,・・・}
ωnは1,2,・・・,6のいずれかで,n回目に出た目を表す.
確率はη1,η2,・・・ηnを与えて
P(ω1=η1,ω2=η2,・・・ωn=ηn)=(1/6)^n
と定めればよい.これが実際にσ-加法的に拡張できることは明らかではないが,Kolmogorovの拡張定理と呼ばれる定理により証明できる.
(引用終り)

ここ ”Ω={1,2,・・・,6}^N∋ω={ω1,ω2,・・・}”
は、可算無限回のサイコロ投げを扱うよ
また 同 P47 第4章ランダム・ウォーク
では、”時間t∈T をパラメーターとして持つ確率変数の族(Xt)を確率過程という”として
Tは 連続時間および(可算の)離散時間とも扱う

なんとなれば、重川の基礎になっている コルモゴロフの公理的確率論は(下記)
1933年で、このとき すでに無限公理はあったのです (^^

(参考)
https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E3%81%AE%E5%85%AC%E7%90%86
コルモゴロフの公理は、1933年にアンドレイ・コルモゴロフが導入した、確率論の基礎となる公理である[1]。これらの公理は依然として確率論の基盤となっており、数学、物理科学、および現実世界の確率の事例の理解にとりわけ重要である[2]。ベイズ確率を形式化する代替的アプローチは、コックスの定理(英語版)によって与えられる[3]。
159132人目の素数さん
垢版 |
2025/07/17(木) 16:46:46.64ID:L4iQJJ91
>>156
>>では認められている「無限回の操作」の例を一つでよいから示してみ
>下記 無限公理がそれだよ
何を言い出すかと思えばバカだねえ。
無限公理は帰納的集合の存在を主張する。
仮に「無限回の操作」が認められているとしたら、空集合の公理、対の公理、和集合の公理で帰納的集合を構成できる。認められていないからこそ無限公理が必要となる。実際、無限公理を記述する論理式は有限個の項からなる。
さすが大学1年4月に落ちこぼれただけのことはある筋金入りのバカだね君。

>示せなきゃ小学生に笑われんぞ
はい、見事小学生に笑われましたとさ
160132人目の素数さん
垢版 |
2025/07/17(木) 16:54:35.77ID:L4iQJJ91
>>156
>余談だが、下記の「すべての帰納的集合の共通部分を取る」に 引っ張られて ”∩”を使う やついるが それまずいよ
君は言葉が通じないのかな?
集合族Mの共通部分∩Mの定義は論理式で記述されているのだから、∩を使うも使わないもまったく任意、なんの重要性も無い、記述上の便宜のみ。
そう教えたはずだけど言葉が通じないの? なら小学校からやり直しなよ
161132人目の素数さん
垢版 |
2025/07/17(木) 16:58:11.70ID:L4iQJJ91
>>156
>ペアノ公理は、(気持ちとしては)帰納的集合として 後者関数 「s(a)=a∪{a}」を 無限回繰り返して 自然数N(無限集合)を得るが
はい、大間違い。
ペアノの公理において「無限回の繰り返し」なんてありません。「気持ちとしては」なんて言い訳してもダメ。なぜなら無限とは限りが無いことであり、無限回の繰り返しは完結しないから。

君さあ、目を覆いたくなるほどズタボロだね
162132人目の素数さん
垢版 |
2025/07/17(木) 17:00:01.66ID:L4iQJJ91
現代数学の系譜 雑談くん
君、数学どうこう以前のレベルだよ まず言葉を学びなさい 言葉が通じなくて数学が分かるようになるはずがない
言葉も通じないんじゃ小学生に笑われるぞ
163132人目の素数さん
垢版 |
2025/07/17(木) 17:07:06.32ID:L4iQJJ91
現代数学の系譜 雑談くんは 無限=大きな有限 と誤解してるんだろうね。だから平気で「無限回の繰り返し」とか言っちゃう。無限を根本から分かってない。
そして自分こそ正しいと信じ込んでるから、いくら言っても聞く耳持たない。バカは死ぬまで治らない。
164132人目の素数さん
垢版 |
2025/07/17(木) 17:24:07.33ID:L4iQJJ91
>>158
>確率空間例サイコロ投げの場合
>Ω={1,2,・・・,6}^N
それは可算無限個のサイコロを投げる試行の標本空間。
箱入り無数目の試行は100列のいずれかを選ぶこと。まったく違う確率。

そう教えたはずだぞ。言葉が通じないのか? なら小学校からやり直せ。言葉が通じるようになるまで数学板には来るな。シッシ
165132人目の素数さん
垢版 |
2025/07/17(木) 17:28:30.75ID:L4iQJJ91
雑談よ
小学校の教程を修了するまで数学板に来る資格無いぞ 失せろよ
166現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/17(木) 21:27:13.54ID:E6JWYKhd
>>159
>仮に「無限回の操作」が認められているとしたら・・

君は、ものを知らないね
上記は、公理の中の話だろ?ww

”ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である”
”数学の研究もまた帰納というべきであり演繹は手段である”by 高木貞治(下記)

公理的集合論が構築されたのは、20世紀初等の 1900年から1930年に入るまでだったと思うが
それ以前の 19世紀においても、無限集合論はあったのだ
カントールとデデキントだ

ラッセルのパラドックスが出て、その解決というか 回避のために
集合論の公理化が提案された

あたかもユークリッド幾何から平面幾何が出来たのでなく
話は逆で、平面幾何があって ユークリッド幾何ができたのだった

同様に、人は”無限の概念”を ずっと ずっと以前に既に得ていたから
そこから、無限公理を作ったってことよ(^^

>>156-157で例示したのは、コルモゴロフの確率論(1933年>>158)の前に
集合論の公理化によって ”無限の概念”の問題は、解決されていたってこと

(参考)
https://www.vrp-p.jp/acpedia/4775/
ACPEDIA
コラム 2024 1111
数学は自然科学か(その2)
5.高木貞治氏の御言葉
恩師の恩師に当たる高木貞治氏の『近世数学史談』からの御言葉を引用します。
“ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である。特殊から一般へ!それが標語である。数学が演繹的であるというが、それは既成数学の修行にのみ通用するのである。自然科学に於ても一つの学説が出来てしまえば、その学説に基づいて演繹をする。しかし論理は当り前なのだから、演繹のみから新しい物は何も出て来ないのが当り前であろう。若しも学問が演繹のみにたよるならば、その学問は小さな環の上を永遠に周期的に廻転する外はないであろう。我々は空虚なる一般論に捉われないで、帰納の一途に精進すべきではあるまいか”
https://www.kurims.kyoto-u.ac.jp/~tshun/20231014s.pdf

https://mathsoc.jp/publication/tushin/0303/hasegawa3-3.pdf
数学通信 3(3)1998
書評
高木貞治著「近世数学史談・数学雑談」復刻版・合本
共立出版 1996年 長谷川浩司、東北大学理学研究科
近世数学史談
さらに重要なのは、数学の研究とは何であるかについて、高校程度の最小限の予備知識
で可能なかぎり示されていることであろう。(しかも御丁寧なことに、主な登場人物たち
は彼らと同じ年代で活躍をはじめる。)数学は止ってはいないとはいっても、実際には一
体何をしているのか?というのが、数学科の学生であってもなかなか得心できず、また伝
えるにも難しいところである。用語をならべても、また絵を書いてみたりしても、なかな
か真意は伝わらない。数学の研究もまた帰納というべきであり演繹は手段である、と言い
はするが、その好例はなかなか示しうるところにないように思う。数学において、知りた
いと思う目標がいかにありうるか、それをこの本では初学者の目にもあきらかにしてくれ
る。ガウスの驚異的能力を知らしめる算術幾何平均の項、そしてアーベルの明解を味わえ
る「初発の楕円函数論」の項などである
167現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/17(木) 21:40:52.64ID:E6JWYKhd
>>166 補足

大学の確率論、確率過程論では
当然 無限を扱う!
下記 原隆(数理物理学)九大
の 確率論 I,確率論概論 I のテキストを
百回音読してねw  ;p)

(参考)
https://www2.math.kyushu-u.ac.jp/~hara/index-j.html
原隆(数理物理学)九大
https://www2.math.kyushu-u.ac.jp/~hara/lectures/lectures-nagoya.html
九大に移る前の講義(Courses)の一部
https://www2.math.kyushu-u.ac.jp/~hara/lectures/02/grad_pr02.html
確率論 I,確率論概論 I
Last modified: October 08, 2002
https://www2.math.kyushu-u.ac.jp/~hara/lectures/02/pr-grad-all.pdf
講義のレジュメをまとめたもの (2002.10.08)
確率論 I, 確率論概論 I 原隆 九州大学
P1
今までは故意に Ω が有限集合の場合を考えてきたが,
Ω が無限の時には以下のように考える.
定義 1.1.3 (事象の公理=可測空間,無限でもいけるバージョン)
略
P2
無限になると,なぜこんな変なことをするのかと思うだろうが,それは追々,具体例を通して考える.(今ま
でに確率論をちゃんと勉強してきてこの辺りが良くわかっている人は勿論良いが)何となくモヤモヤしていて
も,今のところは余り気にしないで有限の場合を念頭に,次に進んで欲しい.
168132人目の素数さん
垢版 |
2025/07/17(木) 22:41:51.38ID:L4iQJJ91
>>166
君、ものすごーーーーーーくズレまくってんだけど

>同様に、人は”無限の概念”を ずっと ずっと以前に既に得ていたから
>そこから、無限公理を作ったってことよ(^^
誰もそんな話していない まったくトンチンカン
おまえが「無限回の操作」は許容されてると言ったから例示しろと言ってるだけ
無限公理が必要なのはむしろ「無限回の操作」が許されないからだと言っている 言葉が分からんのか?

>>>156-157で例示したのは、コルモゴロフの確率論(1933年>>158)の前に
>集合論の公理化によって ”無限の概念”の問題は、解決されていたってこと
誰もそんな話していない まったくトンチンカン
てか無限の概念の問題って何だよw

相変わらず言葉のキャッチボールができん奴やな チラシの裏で一人で072してろクズ
169132人目の素数さん
垢版 |
2025/07/17(木) 22:45:50.49ID:L4iQJJ91
結局許されてると言った「無限回の操作」の例を一つも示せないクズ
示せないならなんで許されてると言ったんだよ 頭おかしいのか?
170132人目の素数さん
垢版 |
2025/07/17(木) 22:48:27.18ID:L4iQJJ91
>>167
>大学の確率論、確率過程論では
>当然 無限を扱う!
誰に何を言ってんの? 頭おかしいの? なら病院行けや 数学板は病院じゃねえ
171132人目の素数さん
垢版 |
2025/07/17(木) 22:51:37.87ID:L4iQJJ91
あぁ分かった おまえ無限コンプレックスなんやな
無限=大きな有限としか考えられなくて、でもそれが間違いってことも薄々分かってて、精神崩壊しとんのやな
病院行け
172132人目の素数さん
垢版 |
2025/07/17(木) 22:55:06.71ID:L4iQJJ91
アホみたいに無限無限うるせーんじゃ
無限とは有限ではないこと、すなわち限りが無いこと
それだけのことだアホ
173現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/17(木) 23:23:04.46ID:E6JWYKhd
>>166 誤変換訂正
公理的集合論が構築されたのは、20世紀初等の 1900年から1930年に入るまでだったと思うが
  ↓
公理的集合論が構築されたのは、20世紀初頭の 1900年から1930年に入るまでだったと思うが

追加例
・(下記)オイラーのバーゼル問題
 ζ(2)= n=1〜∞ (1/n^2)=(π^2)/6 (= 1.644934…) (π は円周率)
・もし、和 " n=1〜∞" が、有限回しか 行えないとしたら?
 当然、バーゼル問題の和は 有理数にとどまり、(π^2)/6 の 超越数にはなりえない!
・オイラーは、1735年にこの問題を 解決したときには、「無限公理」など
 影も形もない。が、オイラーは 和 "煤hの無限回の操作は 当然と考えていた
 そこに疑問など 微塵もかんが得たことはなったろう
・また、ζ関数のオイラー積公式も同様で、彼は 和や積の無限回の操作は 当然と考えていた

(参考)
https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%BC%E3%82%BC%E3%83%AB%E5%95%8F%E9%A1%8C
バーゼル問題(英: Basel problem)は、級数の問題の一つで、平方数の逆数全ての和はいくつかという問題である。ヤコブ・ベルヌーイやレオンハルト・オイラーなどバーゼル出身の数学者がこの問題に取り組んだことからこの名前で呼ばれる。
ベルヌーイに学んだレオンハルト・オイラーは、1735年にこの問題を平方数に限らず、自然数の偶数乗の逆数和について一般化した形式で解決した。ベルンハルト・リーマンはそのアイディアを取り入れることでゼータ関数を定義し、その性質を調べることに繋がった(1859年の論文「与えられた数より小さい素数の個数について」)
平方数の逆数和は
n=1〜∞ (1/n^2)=lim n→∞ (1/1^2+1/2^2+⋯+1/n^2)
と表せる
ζ(2) でもある
その値は (π^2)/6 (= 1.644934…) である(π は円周率)
174現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/17(木) 23:35:22.70ID:E6JWYKhd
>>172
>無限とは有限ではないこと、すなわち限りが無いこと
>それだけのことだアホ

違う
君は、ものを知らないな! ;p)

カントールは、無限集合を特徴づけるのに
二種類の量 順序数と集合の濃度(基数)とを考えた(下記)
そして、集合の濃度(基数)に 可算無限と 非可算無限の 二種類あることを発見した
後者の 可算無限と 非可算無限の区別のために、有名な対角線論法を発明したのだった ;p)

(参考)
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
特に集合論において、順序数(じゅんじょすう、英: ordinal number)とは、整列集合同士の“長さ”を比較するために、自然数[1]を拡張させた概念である

集合の濃度と基数
→詳細は「濃度 (数学)」を参照
集合 A から集合 B への全単射が存在するとき、A と B は同数 (equinumerous) であるといい、A ≈ B で表す。 選択公理を仮定すれば、整列定理により任意の集合 A に対して A と同数であるような順序数が存在することが言える。そこで、集合 A と同数であるような順序数の中で最小のものを A の濃度 (cardinality of A) といい、これを |A| あるいは card(A) で表す。ある集合 A に対して α = |A| である順序数 α を基数 (cardinal number) と呼ぶ。
175現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/17(木) 23:39:20.83ID:E6JWYKhd
>>173 文字化け 誤変換訂正

 影も形もない。が、オイラーは 和 "煤hの無限回の操作は 当然と考えていた
 そこに疑問など 微塵もかんが得たことはなったろう
   ↓
 影も形もない。が、オイラーは 和 の無限回の操作は 当然と考えていた
 そこに疑問など 微塵も考えたことはなったろう
176132人目の素数さん
垢版 |
2025/07/17(木) 23:44:02.61ID:L4iQJJ91
>>173
>オイラーは 和 "煤hの無限回の操作は 当然と考えていた
>彼は 和や積の無限回の操作は 当然と考えていた
馬鹿乙。
無限級数/無限乗積は無限回の足し算/掛け算ではない。有限和/積の列の極限だ。高校生でも知ってるぞw
177132人目の素数さん
垢版 |
2025/07/17(木) 23:46:46.64ID:L4iQJJ91
第一からして、無限回の演算は決して完結しないのだが、完結しないものをどう定義すんだよw
高校生に負けるバカw
178132人目の素数さん
垢版 |
2025/07/17(木) 23:53:35.54ID:L4iQJJ91
結局 無限=大きな有限 との思い込みから抜け出すに足る知能がおまえには無いってことやな
だから「完結しないものは定義のし様が無い」という問題意識に至らないんだな
要するに バカに数学は無理 ってことや 諦めな
179132人目の素数さん
垢版 |
2025/07/18(金) 00:07:37.28ID:+jBWgh7x
>>174
>>無限とは有限ではないこと、すなわち限りが無いこと
>>それだけのことだアホ

>違う
>君は、ものを知らないな! ;p)

>カントールは、無限集合を特徴づけるのに
>二種類の量 順序数と集合の濃度(基数)とを考えた(下記)
>そして、集合の濃度(基数)に 可算無限と 非可算無限の 二種類あることを発見した
>後者の 可算無限と 非可算無限の区別のために、有名な対角線論法を発明したのだった ;p)

なにも違ってなくて草
カントールは「無限にも限りがある」なんて一言も言うてないやん なにが「違う」だコラ アホかきさま
180132人目の素数さん
垢版 |
2025/07/18(金) 00:17:43.56ID:+jBWgh7x
カントールどころか高校生すら「無限にも限りがある」なんてアホな事言わんわ
おまえだけだ「無限=大きな有限だから限りがある」と思ってるアホは
だから
>オイラーは 和 "煤hの無限回の操作は 当然と考えていた
>彼は 和や積の無限回の操作は 当然と考えていた
なんてホームラン級のアホ発言かましたんやろ?
181132人目の素数さん
垢版 |
2025/07/18(金) 07:35:53.05ID:+jBWgh7x
結局「集合論の公理化によって解決された無限の概念の問題」って何だったんだろう?
間違った独善思念を口から出まかせに言うから何言ってんのかよく分かりませんw
182132人目の素数さん
垢版 |
2025/07/18(金) 07:39:56.97ID:+jBWgh7x
「無限回の操作」は許可されてると言い張って出してきた例が無限級数w
どうしようもないバカw 無限を根本から分かってない 高校生より分かってない
183132人目の素数さん
垢版 |
2025/07/18(金) 07:42:44.87ID:+jBWgh7x
そんなアホだから箱入り無数目でも有限列がーとトンチンカンなこと口走るんやろな
アホだねえ
184132人目の素数さん
垢版 |
2025/07/18(金) 09:09:09.80ID:ZCV8Q0Il
>>141
マリリンの見た世界だね
185132人目の素数さん
垢版 |
2025/07/18(金) 09:31:09.01ID:+jBWgh7x
>>184
あっちは数学者が間違えた
こっちはど素人が間違えた >>143-144
186132人目の素数さん
垢版 |
2025/07/18(金) 09:33:26.77ID:BnXlVyx3
間違えたかどうかはっきりしないまま推移している
187132人目の素数さん
垢版 |
2025/07/18(金) 09:47:59.54ID:+jBWgh7x
君がすべきは、正しいか否かを理由付きで述べること。
他人事を述べても無意味。
188132人目の素数さん
垢版 |
2025/07/18(金) 09:53:17.79ID:+jBWgh7x
フラットアサーは地球は平であると言う 間違えたかどうかはっきりしないまま推移している
では正しいとはっきりしてることとは何か? 何も無い いかなる真実・事実にもクレーム付ける輩は必ず居るから よって>>186はまったく無意味
189132人目の素数さん
垢版 |
2025/07/18(金) 09:56:23.71ID:+jBWgh7x
発言者は常に当事者であれ
他人事を述べても無意味やぞ
190132人目の素数さん
垢版 |
2025/07/18(金) 10:01:08.03ID:BnXlVyx3
一般論を述べられることを嫌う人には
一定の思想的な偏りが見られるように思う
191132人目の素数さん
垢版 |
2025/07/18(金) 10:26:53.79ID:5kKKflaA
>>190 >>186
ID:BnXlVyx3 は、御大か
巡回ご苦労様です
192132人目の素数さん
垢版 |
2025/07/18(金) 10:52:45.85ID:+jBWgh7x
いつ一般論が述べられたの?
193132人目の素数さん
垢版 |
2025/07/18(金) 11:02:46.85ID:+jBWgh7x
一般論・個別論の話なんて誰も語ってなくね? 当事者発言・他人事の話が語られてるんじゃね?
尚且つ>>186はそもそも間違いか否かをはっきりさせる方法が無いからまったく無意味な言説
そんなことも分からないアホは邪魔だから消えてくれない?
194132人目の素数さん
垢版 |
2025/07/18(金) 11:06:44.95ID:+jBWgh7x
で、屁理屈はいいんだけど、箱入り無数目は正しいと思うの? 間違いと思うの? その理由は?
なんで態度表明したがらないの? 安全地帯に居たいから? なら邪魔だから消えて
195132人目の素数さん
垢版 |
2025/07/18(金) 11:08:43.54ID:+jBWgh7x
いるんだよね
自分の意見を述べれないのにスーパーバイザー気取りな奴って
ほんと邪魔 真で欲しい
196現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/18(金) 11:37:27.33ID:5kKKflaA
>>177-178
>無限回の演算は決して完結しないのだが、完結しないものをどう定義すんだよw
>結局 無限=大きな有限 との思い込みから抜け出すに足る知能がおまえには無いってことやな
>だから「完結しないものは定義のし様が無い」という問題意識に至らないんだな

ふっふ、ほっほ
まず、下記の”無限公理”をば、ご覧あれ

https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理
定義
ZF公理系における公式な定義は次の通りである。
空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する:
∃A,∅∈A∧∀x∈A,x∪{x}∈A
解釈と帰結
上記定義では「無限」という言葉は用いられていないが、この公理によって(少なくとも1つの)無限集合の存在が保証されることになる。
まず定義中の集合
A は以下の性質を満たすことを確認できる。
・∅∈A (空集合 ∅ は A の要素である)
・∅∪{∅}={∅}∈A (「空集合 ∅ を要素にもつ集合」は A の要素である)
・{∅}∪{∅∪{∅}}={∅,{∅}}∈A (「空集合」と「空集合を要素にもつ集合」の2つを要素にもつ集合は A の要素である)
(以下同様に繰り返す)

各手続きで得られた集合を要素とする集合を
B:={∅,{∅},{∅,{∅}},⋯}
とおくと、 B は A の部分集合である。 この手続きは何回でも繰り返すことができるが、もし有限回で終えた場合、
B は有限集合であり、A≠Bである。なぜならば定義により
B∪{B}∈A であるが、
B∪{B}∉B となるからである。一方
A が有限集合であれば、この手続きを繰り返すことで
B が A よりも多くの要素をもつことができてしまう。 従って
A は有限集合ではない(すなわち無限集合である)ため、無限公理を採用すれば直ちに無限集合の存在を認めることになる。

上記の手続きはペアノの公理における自然数の構成方法と同様である。ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。(可算集合)
独立性
無限公理はZF公理系において独立した公理である。すなわちZF公理系の他の公理たちから導くことも反証することもできない。
(引用終り)

この、”無限公理”が示すところは、無限集合の存在の主張で
その証明部分は、いわゆる背理法によっている
即ち、”無限公理”が示す無限集合は、もし それが 有限集合であるとすると 矛盾を生じる
だから、”無限公理”が示す集合は、無限集合だという(有限集合の否定が、 無限集合で その存在を公理として認める ということ)

よって、あなたの「完結しないものは定義のし様が無い」は、天才ツェルメロや ノイマンによって、克服されたんだよ
(因みに、”任意の要素 x に対して x ∪ {x} を要素に持つ”の部分は ノイマンによるとされている)
197132人目の素数さん
垢版 |
2025/07/18(金) 11:43:52.24ID:+jBWgh7x
>>196
無限回の操作じゃなくて草
だれが無限集合の存在は許容されてないと言ったんだよw 馬鹿過ぎて話にならん
198132人目の素数さん
垢版 |
2025/07/18(金) 11:44:48.96ID:+jBWgh7x
てかそっから分かってなかったんかよ
ダメだこりゃ
199132人目の素数さん
垢版 |
2025/07/18(金) 11:47:39.56ID:+jBWgh7x
馬鹿というか言葉が通じないんやな
言語障害なんだろうね
こんなとこ来ないで病院行きなよ
200132人目の素数さん
垢版 |
2025/07/18(金) 11:52:53.01ID:6vvOpaQm
そっちこそ
201現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/18(金) 12:15:13.40ID:5kKKflaA
>>176
>>オイラーは 和 Σの無限回の操作は 当然と考えていた
>>彼は 和や積の無限回の操作は 当然と考えていた
>馬鹿乙。
>無限級数/無限乗積は無限回の足し算/掛け算ではない。有限和/積の列の極限だ。高校生でも知ってるぞw

その考えは、間違いではないが
古い。つまり、19世紀の考えで、主にワイエルシュトラスが提唱した考えだが(イプシロン-デルタ論法)

その後、カントールやデデキントや、20世紀に無限集合論が整備されて
その後、さらに ロビンソンのノンスタ(超準解析)が提唱されて
無限大や無限小の概念は、20世紀後半には 復権したのです

別には、正の無限大 +∞ と負の無限大 −∞を扱う 拡大実数 も、20世紀後半には 当たり前になった(下記)
それは、オイラーが行っていたような 直感的な 無限回の和や積を ある範囲で 厳密な数学として正当化するものであった

さて、>>173のオイラーのバーゼル問題 https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%BC%E3%82%BC%E3%83%AB%E5%95%8F%E9%A1%8C
を 例として取り上げる
級数の問題の一つで、平方数の逆数全ての和
1/1^2+1/2^2+・・・+1/n^2+・・・
ここで いま、自然数Nに 拡大実数の +∞を導入すると
上記は
1/1^2+1/2^2+・・・+1/n^2+・・・+1/(+∞)^2 (ここで 1/(+∞)の部分は 下記の拡大実数の算術により 0 となる)
と書き直せる
オイラーが示したことは
1/1^2+1/2^2+・・・+1/n^2+・・・+1/(+∞)^2=(π^2)/6 (= 1.644934…) (π は円周率)
ってことだね
(本当はもっと広く 2→2m (偶数の指数) についての ベルヌーイ数による表示を与えたのだが(上記バーゼル問題 ja.wikipedia にある通り)

いまでは、オイラーのやった 和や積の無限回の操作は、
現代数学としても是認されています

(参考)
https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90
超準解析
微分積分学の歴史(英語版)は、流率法(英語版)あるいは無限小数の意味および論理的妥当性に関する哲学的論争を孕んでいる。これらの論争の標準的な解決策は、微分積分学における操作を無限小ではなくイプシロン-デルタ論法によって定義することである。超準解析(英: nonstandard analysis)[1][2][3]は代わりに論理的に厳格な無限小数の概念を用いて微分積分学を定式化する。Nonstandard Analysisは直訳すれば非標準解析学となるが、齋藤正彦が超準解析という訳語を使い始めたため、そのように呼ばれるようになった[4][5]

https://ja.wikipedia.org/wiki/%E6%8B%A1%E5%A4%A7%E5%AE%9F%E6%95%B0
拡大実数(英: extended real number)あるいはより精確にアフィン拡大実数(affinely extended real number)は、通常の実数に正の無限大 +∞ と負の無限大 −∞ の2つを加えた体系を言う。
新しく付け加えられた元(無限大、無限遠点)は(通常の)実数ではない
拡張実数の概念は、微分積分学や解析学(特に測度論と積分法)において種々の函数の極限についての記述を簡素化するのに有効である
算術演算
a/±∞=0 (a∈R)
2025/07/18(金) 13:00:45.85ID:bjnnUH1e
>>201
>級数の問題の一つで、平方数の逆数全ての和
>1/1^2+1/2^2+・・・+1/n^2+・・・
>ここで いま、自然数Nに 拡大実数の +∞を導入すると上記は
>1/1^2+1/2^2+・・・+1/n^2+・・・+1/(+∞)^2 (ここで 1/(+∞)の部分は 下記の拡大実数の算術により 0 となる)
と誤った書き方をして書き直している 現代数学の系譜 雑談 ◆yH25M02vWFhP に
数理論理を用いて理論展開される超準解析は理解出来ないであろう
2025/07/18(金) 13:08:02.83ID:bjnnUH1e
>>201
>オイラーが示したことは
>1/1^2+1/2^2+・・・+1/n^2+・・・+1/(+∞)^2=(π^2)/6 (= 1.644934…) (π は円周率)
>ってことだね
超準解析では無限を∞という記号では書かず
どんなに甘く見積もっても
オイラーは超準解析の考え方はしていない
204132人目の素数さん
垢版 |
2025/07/18(金) 13:21:48.09ID:+jBWgh7x
>>200
具体的にどのレスでそう思った?
ただの言いがかり? 君もチンピラかい?
205132人目の素数さん
垢版 |
2025/07/18(金) 13:24:21.28ID:+jBWgh7x
>>201
>オイラーのやった 和や積の無限回の操作
和の無限回の操作の定義を示して
206132人目の素数さん
垢版 |
2025/07/18(金) 13:27:56.52ID:+jBWgh7x
>>201
>無限大や無限小の概念は、20世紀後半には 復権したのです
誰も無限大、無限小の話なんてしてない。
無限回の操作の話をしている。そんなものは許されないという話をしている。

君、言葉が通じないね。言語障害かい? 病院行きなよ。
207現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/18(金) 13:51:20.85ID:5kKKflaA
>>199-200
>こんなとこ来ないで病院行きなよ
>そっちこそ

ID:6vvOpaQm は、御大か
巡回ご苦労様です
プロ数学者のダメ出しが出ました!ww (^^

>>180
>カントールどころか高校生すら「無限にも限りがある」なんてアホな事言わんわ
>おまえだけだ「無限=大きな有限だから限りがある」と思ってるアホは

う〜ん、ムチだねw
下記の”到達不可能基数”
大阪人のダジャレみたいな 数学用語なのだが・・

さて、下記のフォン・ノイマン宇宙 V は 『ZFCでは全ての集合が V に属する』というしろもので ありまして
ZFCのすべてが、フォン・ノイマン宇宙 V につまっている いわば 無限集合をあつめたもの(無限の無限集合と言いたいが 実は真クラス)

ところで、「オレ様が圏論を展開するには、フォン・ノイマン宇宙 Vは 狭い」と言った男がいる
これぞ グロタンディークだ
彼は、フォン・ノイマン宇宙 Vより 大きな宇宙を考えたのだ
それが、下記のグロタンディーク宇宙Uで、ZFCの集合は全部含んで、さらに 強到達不能基数も存在するのだ
(『強到達不能基数は、ZFCから到達できないから 到達不能なのだぁ!』と グロタンディークが言ったかどうか知らないが、大阪人のダジャレ そっくり)

要するに、ZFC フォン・ノイマン宇宙 V における 無限集合の大きさには、限りがあってw
グロタンディーク宇宙Uの 強到達不能基数 は、ZFCでは 到達できないという話が オチです!ww ;p)

(参考)
https://www.jstage.jst.go.jp/article/sugaku/65/4/65_0654411/_article/-char/ja/
2013 年 65 巻 4 号 p. 411-421
これから学ぶ人のために−−− 公理的集合論 渕野 昌
渕野昌 著 · 2013 — ... 到達不可能基数とよぶ.すべての到達不可能基数は弱到達不可能なの. で,この意味で到達不可能基数は弱到達不可能基数より “大きい” が,1 つの到達不可能基数 κ に対.

https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0
到達不能基数

つづく
208現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/18(金) 13:51:57.84ID:5kKKflaA
つづき

https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
フォン・ノイマン宇宙 V とは、遺伝的(英語版)整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。
整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される[1]。特に、空集合の階数は0で、順序数はそれ自身と等しい階数をもつ。V内の集合はその階数に基づいて超限個の階層に分けられ、その階層は累積的階層と呼ばれる。
Vと集合論
V は二つの理由によって、“全ての集合による集合” とは異なるものである。第一に、これは集合ではない。各階層Vα がそれぞれ集合でも、その和である V は真のクラスであるからだ。第二に、V の要素は全て整礎集合に限られている。正則性公理は全ての集合が整礎的であることを要求していて、だからZFCでは全ての集合が V に属する。

https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
グロタンディーク宇宙(グロタンディークうちゅう、英: Grothendieck universe、仏: Univers de Grothendieck)は次の性質をもった集合 U である[1]:
略
宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する
グロタンディーク宇宙と到達不能基数
(U) すべての集合 x に対して、x ∈ U となるグロタンディーク宇宙 U が存在する。
強到達不能基数の存在は ZFC からは証明できないため、空集合と
Vω 以外の宇宙の存在はどれも ZFC から証明することができない
(引用終り)
以上
209現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/18(金) 14:16:18.22ID:5kKKflaA
>>206
>無限回の操作の話をしている。そんなものは許されないという話をしている。

ふっふ、ほっほ
まだ ぐだぐだ言っているね、きみ

あの〜、下記 東大 会田茂樹 先生
平成30年度 講義ノート 確率論とエントロピー
P5
「N回のサイコロ投げではなく無限回のサイコロ投げを考えることもできる
その場合無限個の確率変数を考えることになる」
と書いて有りますがなw (^^

東大 会田茂樹 先生に、お手紙書いてあげてね
「先生! 間違っています!!」ってねww
会田茂樹先生の返事を、ここに公開してwww

(参考)
https://www.ms.u-tokyo.ac.jp/~aida/index-j.html
会田茂樹
東京大学大学院数理科学研究科
https://www.ms.u-tokyo.ac.jp/~aida/lecture/lecture.html
平成30年度
学術フロンティア講義
講義資料(確率論とエントロピー) (pdf file)
https://www.ms.u-tokyo.ac.jp/~aida/lecture/30/probability-entropy2018.pdf
確率論とエントロピー会田茂樹
1 Introduction

P5
N回のサイコロ投げではなく無限回のサイコロ投げを考えることもできる
その場合無限個の確率変数を考えることになる

https://researchmap.jp/read0152071
会田 茂樹
アイダ シゲキ (Shigeki Aida)
基本情報
所属東京大学大学院数理科学研究科 教授
学位
博士(数理科学)(東京大学)
210132人目の素数さん
垢版 |
2025/07/18(金) 15:29:38.31ID:+jBWgh7x
>>209
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.」
これは数学的には「R^Nの元を一つ選択する」とモデル化される。どこにも無限回の操作は現れない。

「サイコロを可算無限回投げる」
これは数学的には「標本空間{1,2,・・・,6}^Nの確率事象」とモデル化される。どこにも無限回の操作は現れない。

>無限回のサイコロ投げを考えることもできると書いて有りますがなw (^^
数学モデルへのモデル化前はどうでもよいと思わないかい? 頭悪いから思わないかw
211132人目の素数さん
垢版 |
2025/07/18(金) 15:39:50.50ID:+jBWgh7x
>>207
>要するに、ZFC フォン・ノイマン宇宙 V における 無限集合の大きさには、限りがあって
はい、大間違いです。
集合の最大濃度Dが存在すると仮定。
濃度Dの集合を任意にひとつ選択する。Xが選ばれたとせよ。べき集合の公理により集合2^Xが存在するが、カントールの定理により |2^X|>|X|=D だから矛盾。
よって集合の最大濃度は存在しない。すなわち集合の大きさには限りが無い。
212132人目の素数さん
垢版 |
2025/07/18(金) 16:02:10.85ID:+jBWgh7x
それでいつになったら答えてくれるんですか? 口から出まかせ、言いっ放しですか?
>>59 Ω={1,2} のどこが発散してるのか
>>143 箱入り無数目を否定している確率論の専門家の氏名
>>205 和の無限回の操作の定義
213現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2025/07/18(金) 17:14:15.49ID:5kKKflaA
>>207
>>要するに、ZFC フォン・ノイマン宇宙 V における 無限集合の大きさには、限りがあって
>はい、大間違いです。
>集合の最大濃度Dが存在すると仮定。
>濃度Dの集合を任意にひとつ選択する。Xが選ばれたとせよ。べき集合の公理により集合2^Xが存在するが、カントールの定理により |2^X|>|X|=D だから矛盾。
>よって集合の最大濃度は存在しない。すなわち集合の大きさには限りが無い。

いやいや、だからぁ〜w
”グロタンディーク宇宙 到達不能基数”>>208
は、そうやって ZFCのノイマン宇宙内で べき集合の公理を いくら繰り返しても 到達できない境地があるのだぁよぉww
そういう仮定をする。それが、到達不能基数であり グロタンディーク宇宙のすばらしさなのよぉww ;p)
これ グロタンディーク宇宙は、えらい! ってことだよね
君は、大阪人のダジャレが理解できないんだね。おっと、大阪人っポイ 西洋人の基礎論屋さんのダジャレだったなw・・ ;p)

https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0
到達不能基数
強到達不能基数 (strongly inaccessible) または単に到達不能基数 (inaccessible) であるとは、κ 未満の任意の基数 λ に対し、
2^λ<κ を満たす正則基数であることを言う[1]。
強到達不能基数の存在は、グロタンディーク宇宙が存在するという形で仮定される場合がある。この両者の間には深い繋がりがある。

モデルと無矛盾性
ZF+"弱到達不能基数が存在する"はZFCが無矛盾であることを導き、不完全性定理よりその存在はZFCで証明できない。 つまり、到達不能基数は巨大基数の一種である

到達不能基数による真クラスの存在性
到達不能基数に対応する公理は、全ての基数 μ に対してそれより真に大きい到達不能基数 κ が存在すると主張するものである。
したがって、この公理は到達不能基数の無限列が存在することを保証する(この公理はしばしば到達不能基数公理と呼ばれる)。
到達不能基数の存在と同様に、この公理はZFCの下では証明できない。
ZFCの下で、到達不能基数公理はグロタンディークとヴェルディエールのuniverse axiom「任意の集合 x に対して、x ∈ U となるグロタンディーク宇宙 U が存在する。」と同値である。
ZFCの公理に universe axiom (または同値な到達不能基数公理)を付け加えたものはZFCUと表される(これは ZFC に urelements を付け加えたものと混同しないように注意)。
この公理系は、例えば全ての圏は 適切な米田埋め込みを持つということを証明するのに役立つ。
214132人目の素数さん
垢版 |
2025/07/18(金) 17:47:18.59ID:+jBWgh7x
>>213
いやいや、だからぁ〜w
到達できない境地がある≠限りがある
実際、集合の濃度に最大値は無い。

てかそもそも無限とは何かと無限集合の大きさは全然別の話。
無限=大きな有限はおまえの誤解に過ぎない。
215132人目の素数さん
垢版 |
2025/07/18(金) 17:49:14.62ID:+jBWgh7x
それでいつになったら答えてくれるんですか? 口から出まかせ、言いっ放しですか?
>>59 Ω={1,2} のどこが発散してるのか
>>143 箱入り無数目を否定している確率論の専門家の氏名
>>205 和の無限回の操作の定義
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況