純粋・応用数学（含むガロア理論）8

1 名前：１３２人目の素数さん mailto:sage [2021/05/13(木) 20:12:42.63 ID:0t/ScuZ1.net] クレレ誌： https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AC%E3%83%AC%E8%AA%8C クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。 (引用終り) そこで 現代の純粋・応用数学（含むガロア理論）を目指して 新スレを立てる（＾＾； ＜前スレ＞ 純粋・応用数学（含むガロア理論）7 https://rio2016.5ch.net/test/read.cgi/math/1618711564/ ＜関連姉妹スレ＞ ガロア第一論文及びその関連の資料スレ https://rio2016.5ch.net/test/read.cgi/math/1615510393/1- 箱入り無数目を語る部屋 https://rio2016.5ch.net/test/read.cgi/math/1609427846/ Inter-universal geometry と ABC予想 (応援スレ) 54 https://rio2016.5ch.net/test/read.cgi/math/1617170015/ IUTを読むための用語集資料スレ2 https://rio2016.5ch.net/test/read.cgi/math/1606813903/ 現代数学の系譜 カントル 超限集合論他 3 https://rio2016.5ch.net/test/read.cgi/math/1595034113/ ＜過去スレの関連（含むガロア理論）＞ ・現代数学の系譜 工学物理雑談 古典ガロア理論も読む84 https://rio2016.5ch.net/test/read.cgi/math/1582200067/ ・現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 https://rio2016.5ch.net/test/read.cgi/math/1581243504/ 357 名前：現代数学の系譜 雑談 [2021/05/22(土) 20:44:52.50 ID:C9f8fwMK.net] >>321 追加 >たとえば実数 R の部分集合 S = { 1/n | n ∈ N } を考えたとき点 0 は S の（唯一の）集積点である。 >集積点の概念は極限の概念を適切に一般化したもので、閉集合や閉包といった概念を下支えする。 x：{1/n|n∈N}={ 0 ,1　, 2 , 3 ・・ n ・・ ω　 }（自然数） 　　(y=1/x) ↓↑(x=1/y) y：{1/n|n∈N}={ ω,1/1,1/2,1/3・・1/n・・1/ω=0}（自然数の逆数） ＜補足＞ y（自然数の逆数）R の部分集合 S = { 1/n | n ∈ N } を考えたとき点 0 は S の（唯一の）集積点 　逆に （あるいは”同様”に） x（自然数）R の部分集合 S’ = { n | n ∈ N } を考えたとき点 ω は S’ の（唯一の）集積点 以上 358 名前：現代数学の系譜 雑談 [2021/05/22(土) 20:46:30.58 ID:C9f8fwMK.net] >>322 おっと、ωは自然数じゃないから 拡張自然数N’とでも書いた方が 分かり易かったかな？（＾＾； 359 名前：１３２人目の素数さん [2021/05/22(土) 23:14:04.37 ID:Mf0eNrWh.net] それでいつになったらωの次を答えるの？ 早く答えろ、愚図るな、三歳児かおまえは 360 名前：現代数学の系譜 雑談 [2021/05/22(土) 23:17:00.56 ID:C9f8fwMK.net] >>237 補足 (引用開始) 簡単な例で補足説明するよ（＾＾ 1．自然対数の底e は、超越数で、下記のように 「e=exp 1=Σn=0〜∞ {1/n!}」という簡単な級数の表現を持つ 2．極限を使って書くと、lim n→∞ (Σn=0〜n {1/n!})=exp 1=e である 3．いま、ノイマンの自然数構成を認めて、N＝ω（最小の極限順序数）としよう 4．集合Nは、全ての自然数を含む。つまりN={0,1,2・・n・・}であり、繰り返すが全ての自然数を含む 5．上記の集積点：「極限の概念を適切に一般化したもの」に倣って説明する 6．eは超越数だから、上記 (Σn=0〜n{1/n!})は、有限で終わっては有理数にしかならない 　つまり lim n→∞ で、nが集積点 ∞ ＝N＝ω に到達したときに、e= 2.718281828… なる超越数が得られる ここらの微妙な話があって 同じことは、無限小数 0.999・・・にも言えるのです (引用終り) ＜補足説明＞ e=exp 1=Σn=0〜∞ {1/n!}を丁寧に書く (mまでの和 em=Σn=0〜m {1/n!}、mまでの集合 Sm={0,1,2・・m}とする) 下記のような対応表になる 0　e0=1 S0={0} 1　e1=1+1/1! S1={0,1} 2　e2=1+1/1!+1/2! S2={0,1,2} 　・ 　・ m　em=1+1/1!+1/2!・・1/m! Sm={0,1,2・・m} 　・ 　・ ω e=eω=1+1/1!+1/2!・・1/m!・・ N=Sω={0,1,2・・m・・}(全ての自然数の集合) この表で、最後ωの項では、0=1/ω!なので e=eω=1+1/1!+1/2!・・1/m!・・+1/ω! とも書けて こちらが分かり易いかも 同様に、無限小数 0.999・・・で 9/10,99/100,999/1000,・・,(1-1/10^m),・・と書けて qm＝(1-1/10^m)として qω＝0.999・・・＝lim m→∞ (1-1/10^m)＝1 だが、0=1/10^ωと書けて　qω＝1-1/10^ω＝1 こちらが分かり易いかもね 何が分かり易いかは 人によるだろう（＾＾； 以上 361 名前：１３２人目の素数さん mailto:sage [2021/05/23(日) 04:27:37.43 ID:uztBnDg0.net] >>325 >つまり lim n→∞ で、nが集積点 ∞ ＝N＝ω に到達したときに、 >e= 2.718281828… なる超越数が得られる そんな🐎🦌なこといってるから 大学１年の４月に数学で落ちこぼれるんだよ チミはｗｗｗ >ここらの微妙な話があって 有理数の切断でも、有理数の基本列（コーシー列）でも実数は定義できる 別に切断点が有理数である必要はないし 基本列が有理数に収束する必要もない キミはそこが全然分かってない だから大学１年の４月の実数論で落ちこぼれた 0={} 1={0} 2=(0,1} ･･･ これをいくらつづけてもωには到達しない ωはすべてのｎの和集合、∪ｎとして定義されるが 無限和なんていきなりとれないから、 ・0∈ω ・n∈ωならばn+1∈ω　（注：したがって後続順序数でない！） なる最小の集合として定義する で、0からωに至る上昇列は、自然数ｎを用いて 0∈1∈･･･∈n∈ω となるが、全て有限長であって、無限長にはならない これ豆な　ここ乗り越えないと現代数学は決して理解できないぞ！ 362 名前：１３２人目の素数さん mailto:sage [2021/05/23(日) 04:37:31.77 ID:uztBnDg0.net] >>326の続き いいかい、「鉄道」ではωに行けないんだ だから、「飛行機」で行くんだよ 鉄道：　後続関数 飛行機；無限公理 「ｘ∈ωなら、ｘ＋１∈ω」といいきった瞬間、 鉄道ではいけないと示される ｘ＋１＝ωとなるｘがないのだからね 0∈1 0∈1∈2 0∈1∈2∈3 ･･･ これらの有限列全てに「∈ω」がつけられる、というのが 飛行機路線の開設だ 決して 0∈1∈2∈3∈･･･ という無限列に「∈ω」がつけられる、ということではない！ 363 名前：１３２人目の素数さん [2021/05/23(日) 07:46:10.04 ID:4SwrBGpI.net] 「ωから始まる∈無限下降列は存在しない」 こんな簡単なことが未だに理解できないのは単に頭が悪いとかそんなレベルじゃなく脳が我々と違うとしか考えられない。 やはりサルなんだろう。 364 名前：現代数学の系譜 雑談 [2021/05/23(日) 07:53:16.52 ID:v1UiZ3zv.net] >>325 補足の補足 ちょっと考えたが、ωを加えた拡張自然数N’と、 超準（ノンスタンダード）解析とを、併用するのが分かり易いかな 1．超越数 自然対数の底e＝2.71828182845904? (鮒一羽二羽一羽二羽しごく惜しい（下記）) 2．この超越数を一桁ずつ伸ばす有理コーシー列を考える 　小数0桁 2 　小数1桁 2.7 　小数2桁 2.71 　　・ 　　・ 　小数14桁 2.71828 18284 5904 　　・ 　　・ 　小数ω桁 2.71828 18284 5904?＝e（無限小数） 3．拡張自然数N’で考えると、小数ω桁つまり無限桁で超越数eが得られる 4．一方で、有理コーシー列で超越数eを定義する立場だと 　小数ω桁手前の全ての自然数を尽くすところで、超越数eが定義できるとするのだ 5．この機微を合理化するのに、超準解析（下記）の無限小、仮に*Δとして（enを小数n桁のeの有限小数表現として） 　n→∞ en は、超越数eに無限小*Δだけ不足する有理数と考えることもできる 6．この立場は、下記のテレンスタオの「（超極限で）0.999...は、・・1 より無限小だけ小さい」 　と同じ 7．つまり、 　1）あくまで有理コーシー列（自然数Nの内側の小数n桁の極限） 　2）ωを加えた拡張自然数N’で、小数ω桁の超越数eになる（有理数の外） 　3）有理コーシー列は、超準解析の無限小だけ小さい（超極限で）（と考えることができる） 　この３つを知っておくのが良いと思う（＾＾ つづく 365 名前：現代数学の系譜 雑談 [2021/05/23(日) 07:53:44.22 ID:v1UiZ3zv.net] >>329 つづき （参考） https://qiita.com/yaju/items/093854baa667a40f9e04 Qiita @yaju が2021年03月27日に更新 自然対数の底(ネイピア数) e は何に使うのか ネイピア数とは ネイピア数 e=2.71828182845904?e=2.71828182845904?(鮒一羽二羽一羽二羽しごく惜しい) e は自然数の階乗の逆数を合計したものでもあります。どうしてこの式になるかは微分・積分の項目で説明 e=１+1/1!+1/2!+1/3!+1/4!+? 366 名前： https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90 超準解析 https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H29-isono.pdf 平成29年度(第39回)数学入門公開講座テキスト(京都大学数理解析研究所，平成29年7月31日〜8月3日開催 超準解析入門 −超実数と無限大の数学− 磯野優介＊ https://ja.wikipedia.org/wiki/0.999... 0.999... 超実数 超準解析によって、無限小（およびその逆数）の完全な系列を含んだ数体系が提供される[注釈 5]。 テレンス・タオが超極限 (ultralimit) と呼ぶ数列 0.9, 0.99, 0.999, … の超冪構成（英語版）に関する同値類 [(0.9, 0.99, 0.999, …)] は 1 より無限小だけ小さい。 このように解釈した "0.999…" は 1 に「無限に近い」。 イアン・スチュアートはこの解釈を、「0.999… は 1 よりも『ほんの少しだけ小さい』」という直観を厳密に正当化する「全く合理的な」方法として特徴づけた[23]。 (引用終り) 以上 [] [ここ壊れてます] 367 名前：現代数学の系譜 雑談 [2021/05/23(日) 08:01:31.64 ID:v1UiZ3zv.net] >>329 訂正 2つ 2.71828182845904? 　↓ 2.71828182845904… （>>330も含めて、複数箇所あり) 6．この立場は、下記のテレンスタオの「（超極限で）0.999...は、・・1 より無限小だけ小さい」 　↓ 6．この立場は、下記のテレンスタオの「（超極限で）0.999...は、（略）1 より無限小だけ小さい」 分かると思うが（＾＾； 368 名前：１３２人目の素数さん [2021/05/23(日) 08:12:10.97 ID:4SwrBGpI.net] 補題「n∈ω ⇒ nは自然数」 証明 ωが自然数以外の元を持つなら、ωの定義 >・0∈ω >・n∈ωならばn+1∈ω >なる最小の集合 と矛盾。 命題「ωから始まる∈下降列は有限長」 証明 補題より、ωから始まる∈下降列におけるωの次の項は自然数。 自然数から始まる∈下降列は有限長。 よってωから始まる∈下降列は有限長。 はい、サルの主張が間違いであることを証明しますた。 369 名前：１３２人目の素数さん mailto:sage [2021/05/23(日) 08:18:39.47 ID:uztBnDg0.net] >>333 パーフェクト！！！ こんな簡単なことも分からないヤツが大阪大学卒？ 学歴詐称すんなよｗ　大阪朝鮮高級学校のヤンキー🐎🦌が ピョンヤンに帰れよｗｗｗｗｗｗｗ 370 名前：現代数学の系譜 雑談 [2021/05/23(日) 09:54:05.39 ID:v1UiZ3zv.net] 列の長さ：項の個数をその列の項数あるいは長さ (length, size) という 順序数：整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である 「長さ」を定義せずに、何かを証明した気になるサル二匹 あわれ （参考） https://ja.wikipedia.org/wiki/%E5%88%97_(%E6%95%B0%E5%AD%A6) 列 (数学) 列（sequence）とは、例えば「Ａ，Ｂ，Ｃ」は３つのものからなる列である。狭義にはこの例のように一列に並べるものを列と呼ぶが、広義にはそうでない場合（すなわち半順序に並べる場合）も列という場合がある（例：有向点列）。集合との違いは順番が決まっている事で、順番を変更したものは別の列であるとみなされる。たとえば列「Ａ，Ｂ，Ｃ」と列「Ｂ，Ｃ，Ａ」は異なる列である。 数を並べた列を数列、（何らかの空間上の）点を並べた列を点列、文字を並べた列を文字列（あるいは語）という。このように同種の性質○○を満たすもののみを並べた場合にはその列を「○○列」という言い方をするが、異なる種類のものを並べた列も許容されている。 列の構成要素は、列の要素あるいは項（こう、term）と呼ばれ、例えば「Ａ，Ｂ，Ｃ」には３つの項がある。項の個数をその列の項数あるいは長さ (length, size) という。項数が有限である列を有限列（ゆうげんれつ、finite sequence）と、そうでないものを無限列（むげんれつ、infinite sequence）と呼ぶ。（例えば正の偶数全体の成す列 (2, 4, 6, ...) ）。 https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 順序数 順序数（ordinal number）とは、整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である。 順序数の並び方を次のように図示することができる� 371 名前：F 0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), .............................. まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数（自然数）が通常の順序で並んでいる。そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。ω の後にはまたその後続者たちが S(ω), S(S(ω)), S(S(S(ω))), ... と無限に続いていく。 (引用終り) 以上 [] [ここ壊れてます] 372 名前：現代数学の系譜 雑談 [2021/05/23(日) 10:09:10.38 ID:v1UiZ3zv.net] >>330 追加 下記”自然対数の底(ネイピア数) e”の話が面白い（＾＾ https://qiita.com/yaju/items/093854baa667a40f9e04 Qiita @yaju が2021年03月27日に更新 自然対数の底(ネイピア数) e は何に使うのか ネイピア数とは 起源 まず、いつ、誰によって作られたのか、という点ですが、これがはっきりしません。 最古の痕跡としては、メソポタミア文明のころにはその存在は知られていたそうです。 しかし、その真の価値については微分が誕生してから再認識されたようです。 ネイピア数に初めて言及したのはイギリスの数学者ウィリアム・オートレッド(1575-1660)です。オートレッドは計算尺を発明した人で、これは対数の原理で機能する道具でした。しかし、オートレッドは実際には名前を付けたりネイピア数の値を計算したりしませんでしたが、最初の自然対数表を書きました。ちなみに乗法の記号である × や、三角関数を sin や cosと表記する方法もオートレッドの考案です。 初めてネイピア数そのものを計算したのはスイスの数学者ヤコブ・ベルヌーイ(1654-1705)だとされ金利計算の複利を調べて発見しました。 eという文字を初めて使ったのはスイスの数学者レインハルト・オイラー(1707-1783)で、1727年ごろ使い始めたようです。出版物では、1736年の『力学 (Mechanica)』が初出です。 ジョン・ネイピア(John Napier)については以前に記事「ジョン・ネイピアが20年かけた対数表について」を書きました。 つづく 373 名前：現代数学の系譜 雑談 [2021/05/23(日) 10:09:41.18 ID:v1UiZ3zv.net] >>335 つづき https://qiita.com/yaju/items/af46fd43bb790b1a2f3a qiita.com @yaju が2019年08月10日に更新 ジョン・ネイピアが20年かけた対数表について 対数の研究開始 大航海時代の航海術にはサインやコサインの三角法が必須で、三角法も有効数字が10桁以上もある精密なものが作られていましたが、その計算、特にかけ算と割り算が困難を極めたのです。 1576年にヴィテッヒがネイヒ゜アの友人(ジョン・クレイグ)と出会い、ヴィテッヒから三角法の式を利用して積を和に直す方法(積和の公式)を知り、後にエディンバラに帰郷した際にネイピアに伝えたところ、彼はこの話に刺激されて対数の研究を始めたそうです。 対数の概念 かけ算を足し算に変えることに対する需要が大きいと感じたネイピアは、もっと直接的な方法で、積を和に変えることができると考え、その工夫を始めた。 対数の誕生 2^n の整数指数の表だけでは、あまりにも値がとびとびで実用の計算には適さない。そのため、あらゆる数のかけ算ができるようにネイピアは考えをめぐらせた。 「分数の指数を使うか」、「底として十分小さな数を選び累乗がゆっくり増えていくようにするか」の 2通りの方法がある。 公比を 1 よりわずかに小さくあまりに 1 に近い数のため、かけても数値の変化が 1 以内であるものを考えた。 具体的には、半径が 10^7の円を考え、初項を 10^7とし、公比 r 底 0.9999999 を作 374 名前：って、かけ算をほぼ足し算のみで計算できるようにした。 現代の人が 10^7 って何だろうと思うのですが、一貫した形での小数表現がまだなかった時代で、三角法の表などは、円の半径を1ではなく例えば 10^7 としてそれに対する弦の長さを表示していました(半径を 10^7 に取った場合、表を7桁の精度で書ける)。 対数(logarithm)の名前の由来は、logos (比、神の言葉)とギリシャ語のarithmos (数) を合わせて logarithms(ロガリズム) という造語でネイピアが考案しました。 (引用終り) 以上 [] [ここ壊れてます] 375 名前：現代数学の系譜 雑談 [2021/05/23(日) 10:25:33.17 ID:v1UiZ3zv.net] ”1620年、対数尺（ガンター尺、 Gunter's scale）が作成された。対数尺は、対数の原理を用いた計算尺のはしりである” か。昔、学習雑誌の付録に計算尺が付いてきたことがあってね 思い出したよ。かけ算や割り算が、計算尺で出来るんだ 当時は不思議だった。懐かしいね・・（＾＾ https://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%A7%E3%83%B3%E3%83%BB%E3%83%8D%E3%82%A4%E3%83%94%E3%82%A2 ジョン・ネイピア（John Napier, 1550年 - 1617年4月4日）はスコットランドのバロン。数学者、物理学者、天文学者、占星術師としても知られる。 業績 対数 天文学の膨大な計算を簡単に行えるようにした対数について、 ラプラスは、対数は天文学者の寿命を 2 倍にしたと賞賛している。 ネイピアが考えた対数は、現代的な loga(x) の形のものではない。 この p のことを ネイピアの対数(Napierian logarithm)という。 ネイピアは 1594年にこの対数の概念に到達し、この定義を用い 20年間計算を続け 7桁の数の対数表を作成し1614年に発表した。 ネイピアの時代には、まだ小数は一般に広まっていなかったため、ネイピアの対数表では、なるべく小数が現れないように工夫されており、 x も p も整数として表されている。 こういった現代の対数との違いは些末なことである。 1620年、エドムント・ガンター（Edmund Gunter, 1581年 - 1626年）によって対数尺（ガンター尺、 Gunter's scale）が作成された。対数尺は、対数の原理を用いた計算尺のはしりである。 ネイピアの骨 ネイピアの骨は様々に改良されるが、特に1623年のウィルヘルム・シッカード（Wilhelm Schickard,1592年 - 1635年）による改良が重要である。 このシッカードの計算機は、世界初の歯車式計算機としても知られ、その後のコンピュータの歴史へ繋がる一歩でもあった。 (引用終り) 以上 376 名前：現代数学の系譜 雑談 [2021/05/23(日) 10:35:10.39 ID:v1UiZ3zv.net] >>337 追加 （参考） https://en.wikipedia.org/wiki/Logarithm Logarithm History Main article: History of logarithms https://en.wikipedia.org/wiki/History_of_logarithms The history of logarithms in seventeenth-century Europe is the discovery of a new function that extended the realm of analysis beyond the scope of algebraic methods. The method of logarithms was publicly propounded by John Napier in 1614, in a book titled Mirifici Logarithmorum Canonis Descriptio (Description of the Wonderful Rule of Logarithms).[22][23] Prior to Napier's invention, there had been other techniques of similar scopes, such as the prosthaphaeresis or the use of tables of progressions, extensively developed by Jost Burgi around 1600.[24][25] Napier coined the term for logarithm in Middle Latin, “logarithmus,” derived from the Greek, literally meaning, “ratio-number,” from logos “proportion, ratio, word” + arithmos “number”. efore Euler developed his modern conception of complex natural logarithms, Roger Cotes had a nearly equivalent result when he showed in 1714 that[30] log(cos θ +isin θ )=iθ (引用終り) 以上 377 名前：１３２人目の素数さん mailto:sage [2021/05/23(日) 11:08:09.44 ID:uztBnDg0.net] >>334 大阪朝鮮高級学校のヤンキー🐎🦌に無限は無理 あきらめてピョンヤンに帰れｗｗｗｗｗｗｗ 378 名前：１３２人目の素数さん mailto:sage [2021/05/23(日) 11:09:40.26 ID:uztBnDg0.net] >>335-338 あらあら、大学数学が無理なんで、高校数学の復習ですか？ｗｗｗ で、朝鮮高校のヤンキー🐎🦌君に自然対数が定義できるのかな？ｗｗｗ 379 名前：現代数学の系譜 雑談 [2021/05/23(日) 11:18:43.42 ID:v1UiZ3zv.net] >>334 補足 ”列の構成要素は、列の要素あるいは項（こう、term）と呼ばれ、略 項の個数をその列の項数あるいは長さ (length, size) という。 項数が有限である列を有限列（ゆうげんれつ、finite sequence）と、そうでないものを無限列（むげんれつ、infinite sequence）と呼ぶ。（例えば正の偶数全体の成す列 (2, 4, 6, ...) ）。 順序数（ordinal number）とは、整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である。 順序数の並び方を次のように図示することができる： 0, 1, 2, 3, ............, ω, ” いま、自然数を全て並べた数列 0, 1, 2, 3, ......... は、無限列である ∵自然数Nは無限集合 これに順序数ωを加えた数列 0, 1, 2, 3, ............, ω もまた、無限列である　∵ 数列 0, 1, 2, 3, ......... に一つ増やしたから（やっぱり無限） 降下もなにも関係ない 列の長さは、 単に項数（＝順序数）で決まる（＾＾； 以上 380 名前：１３２人目の素数さん mailto:sage [2021/05/23(日) 11:34:35.28 ID:uztBnDg0.net] >>341 >いま、自然数を全て並べた数列 >0, 1, 2, 3, ......... >は、無限列である >∵自然数Nは無限集合 上記の列は、要素と要素の間に＜を挿入できるので　＜上昇列になる しかし >これに順序数ωを加えた数列 >0, 1, 2, 3, ............, ω >もまた、無限列である　 >∵ 数列 0, 1, 2, 3, ......... に一つ増やしたから（やっぱり無限） 上記の列は、要素と要素の間に＜を挿入して、＜上昇列とすることができない なぜなら　ωのすぐ左の要素が存在しないから ＜を挿入するには、左側、右側の要素が存在しなければならない ＞降下もなにも関係ない ＜こそが重要だ　＜抜きの列など意味がない そんな初歩的なことが全く理解できないヤツに 大学数学は無理 朝鮮ヤンキーはあきらめて、ピョンヤンに帰れ！！！ 381 名前：現代数学の系譜 雑談 [2021/05/23(日) 13:34:22.03 ID:v1UiZ3zv.net] 順序数は、整列集合であり、全順序でもあります（下記） 順序数ωに、”<”が使えない？ それは、人の数学ではない。おサルの数学です 人の数学では”So in the following sequence: 0, 1, 2, …, ω, ω+1 ω is a limit ordinal because for any smaller ordinal (in this example, a natural number) there is another ordinal (natural number) larger than it, but still less than ω.” です。おサルには理解できないのでしょうね（＾＾ https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 順序数 定義 整列集合 (A, <) に対して、A を定義域とする関数 G A,<を超限帰納法によって GA,<(a) = { GA,<(x) | x < a } と定義したとき、GA,< の値域 ran(GA,<) を (A, <) の順序数といい、これを ord(A, <) で表す。ある整列集合の順序数であるような集合を順序数と呼ぶ[2]。 脚注 2．略 順序数の特徴付け 集合 x について以下はZFで同値である。 ・x は順序数である。 ・x は推移的集合であり包含関係 ⊂ に関する全順序集合である。 ただし正則性公理を仮定しない場合は必ずしも同値にならないので注意が必要である。 https://en.wikipedia.org/wiki/Ordinal_number Ordinal number In set theory, an ordinal number, or ordinal, is one generalization of the concept of a natural number that is used to describe a way to arrange a (possibly infinite) collection of objects in order, one after another. An ordinal number is used to describe the order type of a well-ordered set (though this does not work for a well-ordered proper class). A well-ordered set is a set with a relation < such that: (Trichotomy) For any elements x and y, exactly one of these statements is true: ・x < y ・y < x ・x = y Successor and limit ordinals So in the following sequence: 0, 1, 2, …, ω, ω+1 ω is a limit ordinal because for any smaller ordinal (in this example, a natural number) there is another ordinal (natural number) larger than it, but still less than ω. (引用終り) 以上 382 名前：１３２人目の素数さん mailto:sage [2021/05/23(日) 14:35:52.88 ID:uztBnDg0.net] >>343 いやいや、おサルの変態数学をやってるのは 定義を読まずに勝手な妄想してるあなたですよｗ 勝手に０からωまでの順番の羅列をつくって 「間に＜入れりゃ、＜列ができるだろ」 と”全く間違った”考えを妄想しつづけてるから 人でなしのおサルといわれるんですと ωのすぐ左の項はなんですか？答えられないでしょ？ そりゃそうですよ　存在しないんですからｗ だからωの左に＜を挿入できない ＜を挿入するんなら、左側はなんでもいいから 自然数ｎで止めなければならない ほら有限列　無限降下列にならないってのはそういうこと いいかげんおサルの妄想から抜け出してヒトになろうな 大学１年の４月でつまずいてから何十年経つの 万年１８歳っていわれて嬉しいかい？　ヤンキー君ｗ 383 名前：現代数学の系譜 雑談 [2021/05/23(日) 15:04:19.40 ID:v1UiZ3zv.net] >>336 追加 >一貫した形での小数表現がまだなかった時代で 参考追加 https://ja.wikipedia.org/wiki/%E5%B0%8F%E6%95%B0 小数の起源 バビロニア数学では六十進法の位取り記数法で数字を記述していた。十進法以外を含めるなら、バビロニア数学での数字表記が最古の小数である。ただし現在で言う小数点に相当するものが存在しないため、記述された数字の実際の数値がどうなのかは、前後の文脈から判断しないといけないという問題点があった。 現代の小数と同じ十進法における小数は、記録に残る所では古代中国が最古である。劉徽は263年に九章算術という数学書の注釈本を著していて、現代のアラビア数字表記での8.660254寸を「八寸六分六釐二秒五忽、五分忽之二」と書いている（小数第6位を表す単位が無いため、分数との併記になっている）。しかしこの時代の分はあくまで計量単位で『（長さの場合は常に）寸の1/10』を表しているのであり、現代的な無名数の小数が成立するのはもっと後の時代になる。 「漢数字#小数」も参照 現代の数学の系譜であるヨーロッパの数学においては、小数の導入は遅れた。これはエジプト式分数表記が普及していたためである。ヨーロッパで初めて小数を提唱したのは、オランダのシモン・ステヴィンである。1585年に出版した「十進分数論」の中で、初めて小数を発表した。その名が示す通り、分数の分母を十の累乗に固定した場合に計算が非常にやりやすくなると主張し、それが小数の発明となった。 なお、ステヴィンの提唱した小数の表記法は、現代の「0.135」であれば、これを「1�@3�A5�B」と表記する。現代のような小数点による表記となったのは、20年ほど後にジョン・ネイピアの提唱による。 https://en.wikipedia.org/wiki/Decimal_representation Decimal representation https://en.wikipedia.org/wiki/Decimal Decimal History (引用終り) 以上 384 名前：１３２人目の素数さん mailto:sage [2021/05/23(日) 15:07:47.00 ID:uztBnDg0.net] >>345 ヤンキー君、小数を復習してるのかい？　感心感心 で、無限小数に最後の桁は存在しない、ってことは理解したかい それから、カントールの基本列による実数の定義では 0.999･･･=1となることも理解したかい？ 385 名前：現代数学の系譜 雑談 [2021/05/23(日) 15:14:51.81 ID:v1UiZ3zv.net] >>343 補足 (引用開始) https://en.wikipedia.org/wiki/Ordinal_number Ordinal number An ordinal number is used to describe the order type of a well-ordered set (though this does not work for a well-ordered proper class). A well-ordered set is a set with a relation < such that: (Trichotomy) ・x < y ・y < x ・x = y Successor and limit ordinals So in the following sequence: 0, 1, 2, …, ω, ω+1 ω is a limit ordinal because for any smaller ordinal (in this example, a natural number) there is another ordinal (natural number) larger than it, but still less than ω. (引用終り) 1．列 0, 1, 2, …, ω, ω+1 は無限長である。 2．カンマ”,”のところに、”<”を入れる（これは定義の通りである） 3．0< 1< 2< …< ω< ω+1 4．何の不思議も支障もない。もともと、 　この列は”well-ordered set is a set with a relation <” 　として定義されているのだから。定義の通りである。何の不思議も支障もない（＾＾ 以上 386 名前：１３２人目の素数さん mailto:sage [2021/05/23(日) 15:45:28.33 ID:uztBnDg0.net] >>347 ＞カンマ”,”のところに、”<”を入れる それ、ダメね ＞（これは定義の通りである） そんな定義はないよ　捏造はいけないね ωの左の,は<に置き換えられない　 なぜなら 387 名前：その左に項がないから ＞0< 1< 2< …< ω< ω+1 はい、🐎🦌爆誕ｗｗｗ x＜ωのxが示せない時点で、キミの負けｗｗｗ さ、ピョンヤンに帰ろうか　チョーセンジン [] [ここ壊れてます] 388 名前：１３２人目の素数さん [2021/05/23(日) 17:48:04.64 ID:4SwrBGpI.net] >>347 >2．カンマ”,”のところに、”<”を入れる（これは定義の通りである） 何の定義だよｗ チョーセンザルはイカサマばっかだなｗ 389 名前：１３２人目の素数さん mailto:sage [2021/05/23(日) 18:06:00.71 ID:uztBnDg0.net] >>349 ＞何の定義だよｗ ＞チョーセンザルはイカサマばっかだなｗ な、サルって思考ゼロで 平気で口からデマカセのウソつくだろ？ 大学で落ちこぼれるわけだ 実際は大学すら入れないヤンキーだろうけどなｗ 390 名前：現代数学の系譜 雑談 [2021/05/24(月) 06:49:38.01 ID:q0Et9dwF.net] サル二匹か 同じようなところで、躓き落ちこぼれさんになっている 答案二通で同じような間違いがあれば カンニングが疑われるが、はやり別の二匹のようだが よくそれだけ アホ面できるね サルだからかね？ その内の一匹は、数学科出身というから、おそれいるよｗ（＾＾； 391 名前：現代数学の系譜 雑談 [2021/05/24(月) 07:01:38.97 ID:q0Et9dwF.net] 以前に、数学科出身というサルの方が、記号∀と∃を使ったε-δ法を、多分丸暗記だと思うが 記号で書いて、自慢していた で、多分丸暗記で真の理解に至っていないと思われる 結局、数学科でε-δ法の記号丸暗記に流れてしまって、”無限”の真の理解が疎かになったんだろうね ”無限”の真の理解できていないから 時枝記事(>>255)が、確率の測度論的扱いができない（無限を扱っているので測度論的に正当化できない部分があるのです） ってことが理解できないんだろうね そして、無限が真に理解できていないから、いつまでも 0.999・・の議論を飽きずに繰り返せる・・何年もね。サルだものｗ（＾＾； 392 名前：現代数学の系譜 雑談 [2021/05/24(月) 07:31:42.75 ID:q0Et9dwF.net] >>352 参考 下記藤田博司先生の、整列順序、全順序の”<”の使い方を見てください（＾＾； （ｱﾚﾌ記号が文字化けするので、半角カナにしています。ぜひ原文ご参照） https://kansaimath.tenasaku.com/?page_id=1259 第8回関西すうがく徒のつどい 2016年3月20日（日）/21日（月・祝） tenasaku.com/academia/notes/kansaimath8-tenapyon-slides.pdf 超限順序数と無限玉入れ勝敗判定 ゼルプスト殿下 @tenapyon （藤田博司） 第 8 回関西すうがく徒のつどい 2016 (抜粋) 発端 今年 2 月に出版された, あるトポロジーの教科書 R の濃度を ｱﾚﾌ1 と書き 連続体濃度と呼ぶ 正解は c または 2^ｱﾚﾌ0 発端 (2) この間違いは, この本が唯一でも最初でもなく, たぶん最後でもない. この間違いがよく起こる理由: 濃度 ｱﾚﾌ1 のことがよく理解されていない (順序数のことがよく理解されていない) 濃度とは (5) (有限濃度) 有限集合の濃度は要素の個数のことである (可算無限濃度) N の濃度を ｱﾚﾌ0 と書く |Z| = |Q| = ｱﾚﾌ0 (連続体濃度) R の濃度は c あるいは 2^ｱﾚﾌ0 と書かれる |R^2| = |R^3| = ・ ・ ・ = c |P(N)| = c (P(X): 集合 X の冪集合) 濃度とは (6) ｱﾚﾌ1 は定義上はこれらと異なる「ある集合」の濃度であり, この濃度が c と一致するかどうかは, 通常の集合論において真偽が定まらない. それでは ｱﾚﾌ1 とは何か. 「ある集合」とは. . . 整列順序 (4) 定義 (X, <) を順序集合とする. 1 < は X 上の狭義の全順序である 2 X = L ∪ R, R≠ Φ かつ (a ∈ L, b ∈ R ⇒ a < b) という状� 393 名前：ｵに おいては必ず R の最小要素が存在する という条件をみたすとき < は X 上の整列順序であるといい, (X, <) をひとつの整列集合という. (引用終り) 以上 [] [ここ壊れてます] 394 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 07:33:25.83 ID:c5+UcT3Y.net] >>351 サル１匹かｗ つまづいてるのは、お前だよ、オ・マ・エｗ 395 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 07:34:51.76 ID:c5+UcT3Y.net] >>352 なんだ、朝鮮クンは∀と∃も読めないのか？ もういいからピョンヤンに帰れよｗ 396 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 07:37:53.91 ID:c5+UcT3Y.net] >>353 アレフ１は、可算でない最初の順序数、そしてその濃度 これが２＾アレフ０と同じかどうか？というのが連続体仮説問題だが コーエンが「ZFCでは決定できましぇ〜ん」と示した いまのところ、集合論でフィールズ賞とったのはコーエンだけだな 397 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 07:43:51.64 ID:c5+UcT3Y.net] アレフ０だろうがアレフ１だろうがアレフｘだろうが、降下列の長さは有限 これ理解できないチョソン君はパクチーだから 数学諦めてピョンヤンに帰れｗｗｗ 398 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 07:47:35.14 ID:c5+UcT3Y.net] チョソンはだいたい文章が読めない 絵だけで理解しようとする だから細かいところで必ず間違える 数学では微細な違いこそが重要 粗雑な🐎🦌には無理ｗｗｗｗｗｗｗ 399 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 07:50:12.60 ID:c5+UcT3Y.net] 小学校の算数のみならず 中学・高校の数学ですら 只の計算訓練だから 文字列処理のアルゴリズムさえ 分かってしまえばサルでもできるｗ したがって国立大学でも 「計算しかできないサル」 が理工系に大量に入ってきてしまえ 大学１年の４月の数学の講義で挫折する ヒトとしての思考力がゼロだから当然だが そういうヤツは退学してほしい 大学にいても無駄ｗｗｗｗｗｗｗ 400 名前：現代数学の系譜 雑談 [2021/05/24(月) 08:06:25.12 ID:q0Et9dwF.net] >>353 追加 https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AC%E3%83%95%E6%95%B0 アレフ数 (抜粋) アレフ・ワン 「最小の非可算順序数」も参照 ｱﾚﾌ1 はすべての可算順序数からなる集合の濃度で、ω1 あるいは（ときに）Ω と呼ばれる。この ω1 はそれ自身順序数でありすべての可算順序数より大きく、したがって不可算集合である。それゆえ、ｱﾚﾌ1 は ｱﾚﾌ0 とは異なる。ｱﾚﾌ1 の定義は、（選択公理のない ZF、ツェルメロ・フレンケル集合論（英語版）において） ｱﾚﾌ0 と ｱﾚﾌ1 の間に基数は存在しないことを意味している。選択公理 (AC) を使えば、さらに次のことが証明できる。基数のクラスは全順序でありしたがって ｱﾚﾌ1 は 2 番目に小さい無限基数である。AC を使って集合 ω1 の最も有用な性質の 1 つを証明できる。ω1 の任意の可算部分集合は ω1 において上界をもつ。（このことは AC の最もよくある応用の 1 つである可算集合の可算和は可算であるという事実から従う。この事実は ｱﾚﾌ0 における状況に類似である。すなわち、自然数からなるすべての有限集合は再び自然数である最大元を持ち、有限集合の有限和は有限である。 ω1 は多少エキゾチックに聞こえるかもしれないが実は有用な概念である。応用例は可算の操作に関して「閉じるようにする」ことである。例えば、部分集合の任意の集まりによって生成されるσ-代数を明示的に記述しようとすること（例えばボレル階層（英語版）を見よ）。これは代数（ベクトル空間や群など）における「生成」のたいていの明示的な記述よりも難しい。なぜならばこれらのケースにおいて有限の操作 - 和、積、などに関して閉じているだけでよいからだ。各可算順序数に対して、超限帰納法を経由して、ありとあらゆる可算和と補集合を「投げ込んで」集合を定義し、ω1 のすべてに渡ってすべてのそれの和集合をとる、ということをその操作（σ-代数の生成）は含む。 (引用終り) 以上 401 名前：１３２人目の素数さん [2021/05/24(月) 10:14:54.36 ID:IGDH ] [ここ壊れてます] 402 名前：r0Dw.net mailto: >>352 具体的にお願いしますね 時枝戦略の何が測度論的に正当化できないと？ [] [ここ壊れてます] 403 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 10:37:54.20 ID:c5+UcT3Y.net] >>361 ＞時枝戦略の何が測度論的に正当化できないと？ 論理的思考力ゼロのチョソン君に尋ねたって答えられないだろｗ そもそも「箱入り無数目の戦略」の確率計算が測度論で正当化できないなら 「あたりっこない」という主張も正当化できない そんな初歩的なこともわからんチョソン君は 数学やめてピョンヤンに帰ったほうがいいね　マジで 404 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 12:06:17.04 ID:tWeh4kW4.net] >>359 >したがって国立大学でも >「計算しかできないサル」 >が理工系に大量に入ってきてしまえ >大学１年の４月の数学の講義で挫折する >ヒトとしての思考力がゼロだから当然だが >そういうヤツは退学してほしい >大学にいても無駄ｗｗｗｗｗｗｗ 大学にいる理工系の学生を数学科の学生と判断するおサルは感情的発言が多いな （＾＾； 405 名前：現代数学の系譜 雑談 [2021/05/24(月) 13:10:58.69 ID:kBKpn43F.net] >>363 どうも、スレ主です（＾＾ どなたか知らないが、レスありがとう！ 406 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 13:29:10.84 ID:c5+UcT3Y.net] >>364 自作自演（嘲） 407 名前：現代数学の系譜 雑談 [2021/05/24(月) 13:44:37.04 ID:kBKpn43F.net] >>362 >そもそも「箱入り無数目の戦略」の確率計算が測度論で正当化できないなら >「あたりっこない」という主張も正当化できない そんなことはない 本来の確率論では、IID（独立同分布）を使う 箱がIIDだとすれば、 どの箱も、本来の確率論の通り コイントスなら1/2 サイコロなら1/6 任意の実数なら0（任意の１点の測度は零集合なので0） 408 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 13:49:54.58 ID:c5+UcT3Y.net] >>366 IIDは使えないよ 毎回箱が違うから ┐(´∀｀)┌ﾔﾚﾔﾚ　 確率論のイロハのイの字も知らん🐎🦌が 「ボクのかんがえる本来」とか トンデモ変態数学をでっちあげるのは 毎度のことだが実に滑稽 チョソン君はピョンヤンに帰ってねｗ 409 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 13:52:47.57 ID:c5+UcT3Y.net] 小学校の算数のみならず、中学・高校の数学ですら、只の計算訓練 410 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 13:53:33.09 ID:c5+UcT3Y.net] だから文字列処理のアルゴリズムさえ分かってしまえばサルでもできる 411 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 13:54:26.77 ID:c5+UcT3Y.net] したがって国立大学でも「計算しかできないサル」が理工系に大量に入ってくる 412 名前：１３２人目の素数さん [2021/05/24(月) 13:54:34.72 ID:kBKpn43F.net] >>361 >時枝戦略の何が測度論的に正当化できないと？ 時枝記事で使う「決定番号」は、下記の非正則分布と同様 積分が無限大に発散するので、コルモゴロフの確率の公理 「全事象の確率は1」を満たさない よって、測度論的に正当化できない （参考） https://ai-trend.jp/basic-study/bayes/improper_prior/ AVILEN 2017/10/06 2020/04/14 非正則事前分布とは？〜完全なる無情報事前分布〜 ベイズ統計 ライター：masa (抜粋) 非正則な分布とは？一様分布との比較 https://file.to-kei.net/uploads/2017/10/c659e62cd0c347c3fcd07049665a8708-300x188.png 非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。 非正則分布は確率分布ではない！？ よく見てみてください。確率の和が1ではありませんよね。 積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。 よって、厳密には、非正則な分布は確率密度関数ではありません。なぜなら、確率の公理を満たしていないからです。 (引用終り) 以上 413 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 13:55:34.94 ID:c5+UcT3Y.net] そんな計算しかできないサルが大学１年の４月の数学の講義で挫折する 414 名前：１３２人目の素数さん [2021/05/24(月) 13:57:21.80 ID:VCWi2QyD.net] ●数学の先生、これをどう思いますか？ https://itest.5ch.net/mao/test/read.cgi/edu/1621762728 415 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 13:57:30.75 ID:c5+UcT3Y.net] ヒトとしての思考力がゼロだから当然だが、大学にいても無駄だから即刻退学してほしい 416 名前：現代数学の系譜 雑談 [2021/05/24(月) 13:58:21.27 ID:kBKpn43F.net] >>367 >IIDは使えないよ >毎回箱が違うから IIDの定義を読んでみなｗ（＾＾； ”毎回箱が違う”とか関係ないよ 定義に「箱の違い」なんて 出てきませんからｗｗｗ（＾＾ 417 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 14:00:27.33 ID:c5+UcT3Y.net] >>375 ＞”毎回箱が違う”とか関係ないよ チョソン君が🐎🦌だから理解できないだけ（嘲） もうピョンヤンに帰りなよ　日本は君が来るところじゃない 418 名前：現代数学の系譜 雑談 [2021/05/24(月) 14:13:09.53 ID:kBKpn43F.net] >>373 ありがとう 見た けど、麻生さんが間違っているのは 将棋とかゴルフとか、そういう、まあ吉本の芸人もそうかもだが そういうプロ芸的なのは、健全な社会があって、健全な人々が居て で。そういう健全な社会の健全な人々は大衆なんですよ 一般大衆で、プロ芸的なものでは稼げないけど 一般大衆が協力し合って、社会を支えているんです 一般大衆が協力し合って、社会を支えるためには、社会常識がないとね そして、会話が成り立って、お互いを理解して、協力し合えないとね サインコサインタンゼント、「使ったことないけど、習いました」ってのが 会話と理解と協力を成り立たせ、社会を支えていると思うよ 理系だけれど、法律や政治（政府のお役人、例 文科省）が、ある程度知っていないと いまどきは、大学や研究機関の長には成れないだろうね（＾＾； 419 名前：１３２人目の素数さん [2021/05/24(月) 14:47:11.10 ID:kBKpn43F.net] >>366 補足 下記「どんな実数を入れるかはまったく自由， もちろんでたらめだって構わない」だから IID（独立同分布）だって、構わないよ（＾＾ （>>255より参考） 箱入り無数目を語る部屋 https://rio2016.5ch.net/test/read.cgi/math/1609427846/1- 箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由， もちろんでたらめだって構わない (引用終り) 以上 420 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 15:02:35.83 ID:5kEmElyn.net] >>365 おサル、実はランダムの定義が乱数を用いて情報科学によって出来てしまうようだよ （＾＾ おサルが舐めている阪大にそういうことやっている人がいるよ（＾＾ 内容的には情報科学を学習している方が理解し易いよ（＾＾ 421 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 15:12:19.92 ID:5kEmElyn.net] >>365 おサルは妄想がひどいな（＾＾ 422 名前：現代数学の系譜 雑談 [2021/05/24(月) 15:20:39.94 ID:kBKpn43F.net] >>379-380 どうも スレ主です レスありがとう 完全同意です（＾＾； 423 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 16:33:06.92 ID:c5+UcT3Y.net] >>379 ＞・・・ようだよ 自分が理解できないこと書く、君のあだ名を考えたよ 「おサル２号」 いい名前だろうｗｗｗｗｗｗｗ 424 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 16:34:04.22 ID:c5+UcT3Y.net] >>380 「おサル２号」も「おサル１号」（＝チョソン君）そっくりだなｗｗｗｗｗｗｗ 425 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 16:35:12.86 ID:c5+UcT3Y.net] >>381 🐎🦌2匹、なかよくピョンヤンとソウルに帰りなｗｗｗｗｗｗｗ 426 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 16:37:27.09 ID:c5+UcT3Y.net] おサル１号＝チョソン おサル２号＝ハングク おサル３号が出てきたら？ おいおい、カンベンしてくれよｗｗｗｗｗｗｗ 427 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 16:39:43.34 ID:c5+UcT3Y.net] >>377 ＞タンゼント でたぁ　チョソン訛り ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ 428 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 16:42:32.08 ID:c5+UcT3Y.net] >>378 ＞下記「どんな実数を入れるかはまったく自由， ＞もちろんでたらめだって構わない」だから ＞IID（独立同分布）だって、構わないよ はい、🐎🦌ｗｗｗ 毎回、選ぶ箱が違うのだから IIDはまったくつかえません 君、毎回同じ箱選ぶの？　どうやって？ できもしないこと前提しないでね パクチーのチョソン君ｗｗｗｗｗｗｗ 429 名前：１３２人目の素数さん [2021/05/24(月) 16:51:34.30 ID:kBKpn43F.net] >>386 ＞＞タンゼント 麻生流をまねたから 九州なまりじゃね？（＾＾ >毎回、選ぶ箱が違うのだから 意味わからん 時枝記事（>>255）には 「毎回」という単語は出てこないよ（＾＾； 430 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 16:56:40.27 ID:c5+UcT3Y.net] >>388 >>毎回、選ぶ箱が違うのだから >意味わからん それはチョソン君が確率分布を理解してないからです 毎回同じ箱を選ぶのでなければ分布は意味ないですよ 箱の選び方によっては、それぞれの箱の確率分布が一様分布でも かならず箱の中身が1の箱を選べます 例えば箱がスケルトンだったらｗｗｗ （確率分布は箱の素材とは無関係です） 431 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 16:58:19.64 ID:c5+UcT3Y.net] >>389 かならず同じ箱を選ぶのであれば 箱がスケルトンでも、 必ず１を選ぶなんてことはできませんねｗ 432 名前：１３２人目の素数さん [2021/05/24(月) 17:34:30.12 ID:kBKpn43F.net] >>389-390 >毎回同じ箱を選ぶ・・ 意味わからん 下記、IID 独立同分布の説明ご参照 何かを、選ぶ必要なし（全部でも良い） Definition for two random variables Definition for more than two random variables 全部、確率変数が１つの場合と同じように扱えるよ （たとえ、確率変数が可算無限個になってもね） どの確率変数も、コイントスなら確率1/2、サイコロなら確率1/6、任意の実数なら確率0（１点の的中は0（１点は零集合で測度0））だよ （参考） https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83 独立同分布（どくりつどうぶんぷ、英: independent and identically distributed; IID, i.i.d., iid）や独立同一分布（どくりつどういつぶんぷ）とは、確率論と統計学において、確率変数の列やその他の系が、それぞれの確率変数が他の確率変数と同じ確率分布を持ち、かつ、それぞれ互いに独立している場合をいう[1]。 https://en.wikipedia.org/wiki/Independent_and_identically_distributed_random_variables Independent and identically distributed random variables This property is usually abbreviated as i.i.d. or iid or IID. Herein, i.i.d. is used, because it is the most prevalent. Contents 1 Introduction 2 Definition 2.1 Definition for two random variables 2.2 Definition for more than two random variables 3 Examples 4 Generalizations (引用終り) 以上 433 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 17:48:59.04 ID:5kEmElyn.net] >>382 コルモゴロフの複雑性の理論とか聞いたことないのか？ アルゴリズムの理論に関する内容で、むしろ情報科学になるだろ。 434 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 18:10:07.95 ID:c5+UcT3Y.net] >>391 >>毎回同じ箱を選ぶ・・ >意味わからん 意味わからん時点で自分が間違ってると思えｗ 435 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 18:11:26.44 ID:c5+UcT3Y.net] >>394 今その話してないから　おサル２号こそハングク君 君もソウルに帰っていいよｗ 436 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 18:23:00.68 ID:T9k4w7jP.net] >おサル１号＝チョソン >おサル２号＝ハングク > >おサル３号が出てきたら？ トンイル（統一）くん 437 名前：現代数学の系譜 雑談 [2021/05/24(月) 18:33:51.84 ID:kBKpn43F.net] >>392 >コルモゴロフの複雑性 これか（＾＾ あんまり詳しくないけど、なんとなく下記の記事が言いたいこと分かる しかし、あなたのレベルの高さだと、時枝記事（>>255）の不成立くらいは、一目なんだろうね わたしゃ、直感的には不成立だと思ったけど、数日考えたよ（＾＾； https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%AB%E3%83%A2%E3%82%B4%E3%83%AD%E3%83%95%E8%A4%87%E9%9B%91%E6%80%A7 コルモゴロフ複雑性 (抜粋) コルモゴロフ複雑性（コルモゴロフふくざつせい、英語: Kolmogorov complexity）とは、計算機科学において有限長のデータ列の複雑さを表す指標のひとつで、出力結果がそのデータに一致するプログラムの長さの最小値として定義される。コルモゴロフ複雑度、コルモゴロフ＝チャイティン複雑性 (Kolmogorov-Chaitin complexity) とも呼ばれる。 コルモゴロフ複雑性の概念は一見すると単純なものであるが、チューリングの停止問題やゲーデルの不完全性定理と関連する深遠な内容をもつ。コルモゴロフ複雑性やその他の文字列やデータ構造の複雑性の計量を研究する計算機科学の分野はアルゴリズム情報理論と呼ばれており、1960 年代末にアンドレイ・コルモゴロフ、レイ・ソロモノフ、グレゴリー・チャイティンによって創始された。 (引用終り) 438 名前：現代数学の系譜 雑談 [2021/05/24(月) 18:39:28.16 ID:kBKpn43F.net] >>396 追加 チャイティンは、以前聞いたことがあるな。どこだったか思い出せないが（＾＾； https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AC%E3%82%B4%E3%83%AA%E3%83%BC%E3%83%BB%E3%83%81%E3%83%A3%E3%82%A4%E3%83%86%E3%82%A3%E3%83%B3 グレゴリー・チャイティン グレゴリー・チャイティン（Greg 439 名前：ory "Greg" J. Chaitin, 1947年 - ）は、アルゼンチン出身、アメリカ在住の数学者、コンピュータ科学者。 1960年代に情報理論の分野に、ゲーデルの不完全性定理とよく似た現象を見いだす。つまり、その分野上での決定不可能な命題を発見し別種の不完全性定理を得た。チャイティンの定理によると、十分な算術を表現可能などのような理論においても、いかなる数であろうともcよりも大きなコルモゴロフ複雑性を有することがその理論上では証明できないような、上限 c が存在する。ゲーデルの定理が嘘つきのパラドックスと関係しているのに対し、チャイティンの結果はベリーのパラドックスに関係している。 1995年に、メイン大学から博士号を授与される。 著作 The Limits of Mathematics, (Springer-Verlag 1998) 邦訳「数学の限界」 黒川利明(訳) エスアイビーアクセス 2001年 ISBN 4434011189 The Unknowable, (Springer-Verlag 1999) 邦訳「知の限界」 黒川利明(訳) エスアイビーアクセス 2001年 ISBN 443401238X Exploring Randomness, (Springer-Verlag 2001) Conversations with a Mathematician, (Springer-Verlag 2002) 邦訳「セクシーな数学」 黒川利明(訳) 岩波書店 2003年 ISBN 4000062727 From Philosophy to Program Size, (Tallinn Cybernetics Institute 2003) Meta Math!: The Quest for Omega, (Pantheon Books 2005) 邦訳「メタマス!」 黒川利明(訳) 白揚社 2007年 ISBN 4826901380 Thinking about Gödel & Turing, (World Scientific, 2007) Proving Darwin: Making Biology Mathematical, (Pantheon Books, 2012) 邦訳『ダーウィンを数学で証明する』水谷淳(訳) 早川書房 2014 ISBN 4152094478 [] [ここ壊れてます] 440 名前：１３２人目の素数さん [2021/05/24(月) 18:47:42.17 ID:kBKpn43F.net] >>391 補足 (引用開始) 下記、IID 独立同分布の説明ご参照 何かを、選ぶ必要なし（全部でも良い） （参考） https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83 独立同分布（どくりつどうぶんぷ、英: independent and identically distributed; IID, i.i.d., iid） https://en.wikipedia.org/wiki/Independent_and_identically_distributed_random_variables Independent and identically distributed random variables This property is usually abbreviated as i.i.d. or iid or IID. Herein, i.i.d. is used, because it is the most prevalent. (引用終り) IID 独立同分布は、確率論で頻出するけど 数学的定義は上記にある通りだが 日常語での説明は 「ある確率変数Xiが、他の確率変数の影響を受けず、かつ、どの確率変数も同じ確率分布に従う」ってこと つまり、確率変数Xiが、ｎ個あっても、可算無限個あっても ただ一つと同じように扱えるってことです 箱の中に数を入れる コイントスなら確率1/2、サイコロなら確率1/6、任意の実数なら確率0（１点の的中は0（１点は零集合で測度0）） それで説明は尽くされている 何かを選ぶ？ そんな必要は全くない！ だって、どの確率変数も、同一だからね（＾＾ 以上 441 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 20:09:25.45 ID:c5+UcT3Y.net] >>399 >何かを選ぶ？ >そんな必要は全くない！ >だって、どの確率変数も、同一だからね ああ、馬鹿　ホント馬鹿ｗ おサル１号はピョンヤンに帰れよｗ 442 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 20:14:24.48 ID:c5+UcT3Y.net] >>396 ＞あなたのレベルの高さだと、時枝記事の不成立くらいは、一目なんだろうね なんだよ2号も、1号と同レベルのどん底の🐎🦌かｗ それじゃ修羅どころか畜生・餓鬼以下の地獄の亡者だろｗｗｗ 443 名前：現代数学の系譜 雑談 [2021/05/24(月) 20:33:13.27 ID:q0Et9dwF.net] >>396 >しかし、あなたのレベルの高さだと、時枝記事（>>255）の不成立くらいは、一目なんだろうね >わたしゃ、直感的には不成立だと思ったけど、数日考えたよ（＾＾； ご参考に時枝記事を下記に貼っておく 読んでみて（＾＾ 旧ガロアスレ35 rio2016.2ch.net/test/read.cgi/math/1497848835/12-18 時枝問題（数学セミナー201511月号の記事） （以下時枝記事をもう一度貼り直す。上記の時枝記事引用は、スキャナーで読み込んでOCR変換のとき誤変換が存在するので、誤記修正も含めて訂正版を再掲する。） 過去スレ20 再録 rio2016.2ch.net/test/read.cgi/math/1466279209/2-7 １．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 つづく 444 名前：現代数学の系譜 雑談 [2021/05/24(月) 20:33:44.14 ID:q0Et9dwF.net] >>401 つづき ２．続けて時枝はいう 　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている. 但しもっときびしい同値関係を使う. 実数列の集合 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番目から先一致する. 〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく. 幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる. 任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ. sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す. つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる. 更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・ が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり， 結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう. (補足) sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字 つづく 445 名前：現代数学の系譜 雑談 [2021/05/24(月) 20:34:08.05 ID:q0Et9dwF.net] >>402 つづき ３． 問題に戻り，閉じた箱を100列に並べる. 箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列s^1,s^2，・・・，s^100を成す(肩に乗せたのは指数ではなく添字). これらの列はおのおの決定番号をもつ. さて， 1〜100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 　第1列〜第(k-1) 列，第(k+1)列〜第100列の箱を全部開ける. 第k列の箱たちはまだ閉じたままにしておく. 開けた箱に入った実数を見て，代表の袋をさぐり， s^1〜s^(k-l),s^(k+l)〜s^100の決定番号のうちの最大値Dを書き下す. 　いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.いま 　D >= d(s^k) を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってs^k(d)が決められるのであった. おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので 列 446 名前：r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rDと賭ければ，めでたく確率99/100で勝てる. 確率1-ε で勝てることも明らかであろう. (補足) s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・, rD：ここで^kは上付き添え字、(D+l), Dなどは下付添え字 つづく [] [ここ壊れてます] 447 名前：現代数学の系譜 雑談 [2021/05/24(月) 20:34:21.59 ID:q0Et9dwF.net] >>403 つづき さらに、数学セミナー201511月号P37 時枝記事に、次の一文がある 「R^N/〜 の代表系を選んだ箇所で選択公理を使っている. その結果R^N →R^N/〜 の切断は非可測になる. ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」 さらに、過去スレでは引用しなかったが、続いて下記も引用する 「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない. しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う. 現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ. だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう. 確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」 つづく 448 名前：現代数学の系譜 雑談 [2021/05/24(月) 20:34:43.70 ID:q0Et9dwF.net] >>404 つづき 数学セミナー201511月号P37 時枝記事より 「もうちょっと面白いのは，独立性に関する反省だと思う. 確率の中心的対象は，独立な確率変数の無限族 X1，X2，X3，…である. いったい無限を扱うには， (1)無限を直接扱う， (2)有限の極限として間接に扱う， 二つの方針が可能である. 確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ. (独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.) しかし，素朴に，無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう. n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって， その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら， 当てられっこないではないか−−他の箱から情報は一切もらえないのだから. 勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる. ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」 つづく 449 名前：現代数学の系譜 雑談 [2021/05/24(月) 20:35:16.70 ID:q0Et9dwF.net] >>405 つづき まず、数学セミナー201511月号の記事で、引用していなかった部分を、以下に引用する（＾＾； ”ばかばかしい，当てられる筈があるものか，と感じられるだろう. 何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい. 条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ. ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある. この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.” (引用終り) この部分を掘り下げておくと １．時枝氏は、この記事を、数学の定理の紹介とはしていないことに気付く ２．”Peter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”と ３．まあ、お気楽な、おとぎ話とまでは� 450 名前：ｾってないとしても、その類いの話として紹介しているのだった ついでに”コルモゴロフの拡張定理”について、時枝記事は上記に引用の通りだが １．”確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)”と 　　そして、”しかし，素朴に，無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう.”とも 　　記事の結論として、”勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる. ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい”と締めくくっているのだった ２．言いたいことは、”コルモゴロフの拡張定理”を使えば、この時枝解法が成り立つという主張にはなってないってこと ３．そして、”コルモゴロフの拡張定理”を使ってブラウン運動を記述できるなら、ブラウン運動こそ、”他から情報は一切もらえない”を実現しているように思えるのだが (引用終り) 以上 [] [ここ壊れてます] 451 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 20:42:14.18 ID:Ub/vcOIa.net] >>392は、数学ワカランチンのくせして、高度なことを語りたがる おっちゃんの特徴があらわれてるね。 452 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 20:45:40.07 ID:c5+UcT3Y.net] >>407 なるほど、あのウリナラマンセー感は･･･ www.nicovideo.jp/watch/sm15308759 453 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 20:45:43.24 ID:Ub/vcOIa.net] セタが時枝を理解できないのは、「無限個の箱」が理解できないから。 「無限」を「無限に近い巨大数」で近似できると思ってるバカ野郎だからｗｗ 454 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 20:48:01.16 ID:c5+UcT3Y.net] >>409 確かにチャット（雑談）＝チョソン君＝おサル１号は ωが後続順序数だと思ってる時点でアウトだねｗｗｗ 455 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 20:49:43.48 ID:c5+UcT3Y.net] で、乙＝ハングク君＝おサル２号　とｗ 456 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 20:51:30.05 ID:c5+UcT3Y.net] おサル１号と２号は、コリョが産んだ二大変態ｗｗｗ 457 名前：１３２人目の素数さん mailto:sage [2021/05/24(月) 20:55:07.21 ID:c5+UcT3Y.net] 終わったな　二匹とも

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef