20/02/11 22:25:57.06 yCL40qf3.net
>>252
>外しているかも知れないが
外してます
尻尾の同値関係でいうと、
同値類に属する任意有限個の列について
共通の尻尾は存在しますが
無限個の列については、共通の尻尾が存在しない場合があります
0000・・・
1000・・・
1100・・・
1110・・・
・・・
268:132人目の素数さん
20/02/11 22:26:31.73 0FRNs0u+.net
>>252
> 可算無限個の箱の列が、全体として”黒い”ということは、
> 任意の有限部分集合が”黒い”ことと定義する
有限数列全体の集合の要素として無限数列が存在することはありえないのに
269:132人目の素数さん
20/02/11 22:48:03 0FRNs0u+.net
>>252
スレ主の定理(おっちゃん歓喜の定理) = setaの定理
超越数は存在しない
[証明]
超越数は無限小数である
任意の有限小数は超越数でない
(*) setaは以下のアカウント名に由来する
スレリンク(math板:74番)
スレリンク(math板:200番)-202
> file:///C:/Users/seta/AppData/Local/Temp/1902_Sylow.html
>>28
> 一人だけトリップはカッコ悪いから、仮名でも苗字名乗れw
270:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/11 23:48:37 CB29Ozfy.net
>>218
>そして、The Riddleにしろ The Modificationにしろ 時枝記事にしろ
>結局、>>22 (これ>>33と同じ) の 1列の場合の
><時枝記事の可算無限数列の数当て定理 ”もどき”>
>が、L→∞の極限で不成立なら、全滅ですね
昔読んだ話が、物理学で若い研究者が研究発表をしたところ、前列に座っていた大物物理学者が
「その式はおかしい」とずばり指摘し、書き間違いがあったという
初めて聞いた発表で、大物物理学者が
間違いを指摘できたのは、極限を考えたからだという
物理学では、例えば量子力学は、プランク定数h→0の極限で、古典力学を再現すべきだとか
あるいは、特殊相対性理論で、v/c=~0で、古典力学と一致する(cは光の速度です。c→∞が古典理論だと考えても良い)
極限を考えることは、物理学では結構普通ですが、
数学でも非常に有用です!(^^;
URLリンク(www.mathsoc.jp)
力学の変遷 ー古典・量子・弦ー
加藤晃史 (東京大学 数理科学研究科)
日本数学会 市民講演会 於東京工業大学
2019 年 3 月 17 日
(抜粋)
P66
対応原理
Niels Bohr が提唱した一つの指導原理:
プランク定数 h を 0 にする極限で、 量子力学は古典力学を再現
する。
lim h→0 ( 量子論的な量 ) = ( 古典論での量 )
いいかえると、
h をパラメータとして古典力学を
変形した理論が量子力学である
URLリンク(ja.wikipedia.org)
特殊相対性理論
(抜粋)
ガリレイの相対性原理と特殊相対性原理
ローレンツ変換の式(L4)式において、v/c=~0 とすると、(L4)式は
ガリレイ変換に一致する。
すなわち、このことからニュートン力学近似とは、慣性座標系間の相対速度 v が光速 c と比べて十分小さい場合の理論であると言うことがいえる。
271:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 00:00:36 8axgfTbD.net
【コンパクト性定理】を否定するのは、無理ゲーでしょ(^^;
URLリンク(fujicategory.hatenadiary.org)
数学基礎論の勉強ノート
2011-06-22
1階論理のコンパクト性 fujicategory
第1章
【コンパクト性定理】
1階論理の公理系Tの任意有限部分がモデルを持つならば、Tはモデルを持つ。
ここで出てくる「コンパクト性」は、位相空間での「コンパクト性」と何か関係があるのかなーと思ってググってみたら、やっぱりあった。3.5秒で疑問が解決しました。
URLリンク(d.hatena.ne.jp)
コンパクト空間と論理/モデル論 檜山正幸のキマイラ飼育記
位相空間がコンパクトであることの定義はいくつかありますけど、そのうちのひとつ:
有限交叉性を持つ任意の閉集合系は、空でない共通部分を持つ。
これが関わってくるんですね。オモシロイナー。
ウルトラフィルターを使えばコンパクト性定理は証明できますが、新井先生の本では命題論理のコンパクト性を通して1階論理のコンパクト性を証明していました。
命題論理で論理式が充足可能であることを、真理値への対応つまり付値によって定義
↓
命題論理のコンパクト性:
命題論理の論理式の集合が充足可能 ⇔ Tの任意有限部分が充足可能
↓
Henkin拡張しちゃって、1階論理の公理系を命題論理の論理式の集合とみなす。ここから1階論理のコンパクト性の証明
命題論理のコンパクト性を証明する時に、任意有限部分が充足可能な論理式の集合で極大なものを考えていくあたりに、ウルトラフィルターの片鱗を感じました。
272:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 00:05:04 8axgfTbD.net
>>260
追加
URLリンク(m-hiyama.hatena)(URLがNGなので、キーワードでググれ(^^ )
檜山正幸のキマイラ飼育記 (はてなBlog)
2005-12-07
コンパクト空間と論理/モデル論
(抜粋)
[前置き]だいぶ前に(だいたいは)書いてあったものだけど、今が“あげどき(time to upload)”かな、と思うので、長いけど日記エントリにします。[/前置き]
ハウスドルフ空間のコンパクト性は、解析で重要な概念だが、論理や代数幾何でも(解析とはまた違った感じで)コンパクト性は大事。こっち(解析じゃない)方面では、非ハウスドルフなコンパクト空間も出てくる。
[追記 date="12-08"](閉集合の和に関する記述を忘れていたので追加。)[/追記]
内容:
モデルの空間
論理式が定義する関数
位相空間としてのモデル空間
補足または蛇足 -- 推論の練習
コンパクト性定理
モデル空間のコンパクト性
コンパクト性定理
モデル論の「コンパクト性定理」とは、論理式の集合Aがモデルを持つかどうかに関する主張である。
Aの任意の有限部分集合がモデルを持つ ⇔ Aがモデルを持つ
これは、Aが有限のときは面白くない。論理式の無限集合に対して成立するのがすごいところだ。
論理式の集合が「矛盾する」とはモデルを持たないことだと“定義”すれば、コンパクト性定理は次のことを言っている。
Aが矛盾する ⇔ Aの有限部分集合で矛盾するものがある
つまり、矛盾が生じる原因が「公理が無限個だから」ということではなくて、無限のなかの有限個で既に矛盾が生じているのである。矛盾の原因を有限個の論理式として(超越的/原理的には)特定できることになる。
応用としては、例えば、普通の自然数に加えて無限大自然数をたくさん(ものすごくたくさん)入れても、矛盾なく自然数概念が定義できる(モデルが存在する)、とかを示せる。こうしてできるモデルは、超準自然数系だが、実際に構成するにはウルトラフィルター/ウルトラ積を使う。
273:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 00:16:55 8axgfTbD.net
>>260
>【コンパクト性定理】を否定するのは、無理ゲーでしょ(^^;
追加
URLリンク(www.math.tsukuba.ac.jp)
ロジックの部屋
坪井明人 筑波大
URLリンク(www.math.tsukuba.ac.jp)
数理論理学II
第 2 章 モデル理論の基礎 21
2.1 構造と同型 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2 コンパクト性定理 . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.5 応用例 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.5.1 4色定理と無限地図 . . . . . . . . . . . . . . . . . . . 27
2.5.2 順序集合 . . . . . . . . . . . . . . . . . . . . . . . . . . 28
定理 53 (コンパクト性定理). T を閉論理式の集合とする.このとき次は同値
である:
1. T はモデルを持つ;
2. T の任意の有限部分集合 T0 はモデルを持つ.
証明. 1 ⇒ 2 は自明である.2 ⇒ 1 の対偶を示す.
2.5 応用例
2.5.1 4色定理と無限地図
平面内に書かれた有限個の国を持つ地図は,4色を用いて隣国が同じ色にな
らないように塗り分けられる( Kenneth Appel and Wolfgang Haken).実は
この4色定理は無限個の国を持つ地図でも成立する.このことはコンパクト性
定理を使うと簡単に分かる.
T がモデルを持つことを示せば十分である.コンパクト性定理により,T の
各有限部分がモデルを持つことを示せばよい.しかし,それは有限地図 (有限
グラフ) に対する4色定理から明らかである.
274:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 00:28:16 8axgfTbD.net
こんなのもある
いつもお世話に成っている 渕野 昌先生(^^
URLリンク(fuchino)(URLがNGなので、キーワードでググれ(^^ )
有限から無限への移行原理としての
命題論理
渕野 昌
神戸大学大学院 システム情報学研究科 June 11.2012
有限から無限への移行原理としてのコンパクト性
275:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 00:41:06 8axgfTbD.net
下記の
数理論理学(1)
小野 寛晰
Ono Hiroakira
情報処理,20(8), (1979-08-15)
にも、コンパクト性定理の解説があるよ
URLリンク(ipsj.ixsq.nii.ac.jp)
情報処理学会
数理論理学(4)
小野 寛晰
Ono Hiroakira
情報処理,20(12), (1979-12-15)
数理論理学(3)
小野 寛晰
Ono Hiroakira
情報処理,20(11), (1979-11-15)
数理論理学(2)
小野 寛晰
Ono Hiroakira
情報処理,20(9), (1979-09-15)
URLリンク(ipsj.ixsq.nii.ac.jp)
数理論理学(1)
小野 寛晰
Ono Hiroakira
情報処理,20(8), (1979-08-15)
276:132人目の素数さん
20/02/12 00:43:24 UvpDJSC3.net
>>256
少数のルール0.000…0=0.000…1により
対角線論法は間違い
277:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 00:47:07 8axgfTbD.net
>>262
補足
(引用開始)
2.5 応用例
2.5.1 4色定理と無限地図
平面内に書かれた有限個の国を持つ地図は,4色を用いて隣国が同じ色にな
らないように塗り分けられる( Kenneth Appel and Wolfgang Haken).実は
この4色定理は無限個の国を持つ地図でも成立する.このことはコンパクト性
定理を使うと簡単に分かる.
T がモデルを持つことを示せば十分である.コンパクト性定理により,T の
各有限部分がモデルを持つことを示せばよい.しかし,それは有限地図 (有限
グラフ) に対する4色定理から明らかである.
(引用終り)
要するに、任意の有限地図 (有限グラフ) に対する4色定理から
コンパクト性定理により、「4色定理は無限個の国を持つ地図でも成立する」ってこと
だから、>>246より 任意の有限部分族が独立のとき→確率変数の無限族は独立
(「”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが,これは全くの的外れ」)
ってことです(^^;
278:132人目の素数さん
20/02/12 00:49:17 Sxg0ZY+g.net
>>259
>極限を考えることは、物理学では結構普通ですが、
>数学でも非常に有用です!(^^;
>>218は極限以前に時枝戦略と無関係な当てずっぽう戦略になってる時点で無意味ですけどね。
279:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 00:50:05 8axgfTbD.net
>>265
>少数のルール0.000…0=0.000…1により
>
>対角線論法は間違い
?
クワスク
280:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 00:52:57.54 8axgfTbD.net
>>267
>>>218は極限以前に時枝戦略と無関係な当てずっぽう戦略になってる時点で無意味ですけどね。
逆でしょ
極限でどうなるかをしっかり考えないから
トリックに騙されると思うよ(^^;
281:132人目の素数さん
20/02/12 01:22:59.63 UvpDJSC3.net
>>268
2進数の少数で表せる任意の状態は
ルール110セル・オートマトンの任意の状態と等しい
またルール110セル・オートマトンの変化は特定のルールに従い任意の少数を四則演算した結果といっちする。
ルール110セル・オートマトンはチューリング完全であるためそれをエミュレートできる四則演算もチューリング完全である
よってあらゆる計算に少数のルールを適応できるため
0.0000…0=0.0000…1はあらゆる計算「のルールで正しい
282:132人目の素数さん
20/02/12 01:36:25.80 Sxg0ZY+g.net
>>269
極限を取る対象それ自体が間違ってると言ってるんだけど分からない?
当てずっぽう戦略と時枝戦略の違い、分からない?
283:132人目の素数さん
20/02/12 01:38:56.51 Sxg0ZY+g.net
まあ時枝戦略に選択公理は必須でないとか言ってる時点で全然分かってないんだけどね
時枝戦略を論じるなら時枝戦略を正しく理解することから始めましょうね
284:132人目の素数さん
20/02/12 01:40:41.99 Sxg0ZY+g.net
で、反例なり証明のギャップはまだですかね?
出せないならスレ閉鎖よろしく、約束はまもりましょうね
285:132人目の素数さん
20/02/12 01:50:04.65 UvpDJSC3.net
四則演算のルールは有限でありあらゆる計算を一つの計算で表せるため
任意の有限計算に対するコンパクト性定理により、定理は如何なる計算でも成立する
またある理論の充足可能性はその有限部分の充足可能性と一致するため
あらゆる計算=あらゆる理論の充足可能性は証明された
286:132人目の素数さん
20/02/12 01:57:37.94 UvpDJSC3.net
演繹においては、前提が真であれば、結論も必然的に真とならなければならない
ある理論において真とみなせる計算はあらゆる理論とみなせる
よってある理論においてあらゆる理論は真とみなせる
287:132人目の素数さん
20/02/12 02:14:36.01 UvpDJSC3.net
つまり、大統一理論はあらゆる矛盾を無効化し、あらゆる事象を自分の都合のいい物に変え、
そしてそれによって莫大過ぎるほどのエネルギーを生み出すことが出来る
288:132人目の素数さん
20/02/12 03:34:27.21 xOqnz3XM.net
おっちゃんです。
>>258
>スレ主の定理(おっちゃん歓喜の定理) = setaの定理
>超越数は存在しない
>
>[証明]
>超越数は無限小数である
>任意の有限小数は超越数でない
歓喜は全くしていない。
そこでは、実数の超越数のときしか考えていない。実数でない複素数を視野に入れて考えていない。
構成的に超越性が証明された超越数のリウビル数 a=Σ_{k=1,2,…,+∞}( 1/(10^{k!}) ) は無理数で実数である。
それが正しいとすると、aが存在しないことになり、実数直線の完備性に反するから間違い。
289:132人目の素数さん
20/02/12 03:55:32.50 xOqnz3XM.net
>>200
私の方法で初等的にフェルマー予想をするのには限界があった。
あの方法では、せいぜい、ファルティングスによるフェルマー予想における
方程式 x^n+y^n=z^n 3≦n∈N を満たす3以上の正整数nと、
nに対応して存在し得る整数解 (x,y,z) とに関する
有限性の結果を初等的に証明出来るかどうかに過ぎない。
まだ試みてはいないのでフェルマー予想まで行けるかどうかは知らないが、多分。
290:132人目の素数さん
20/02/12 06:04:56 SjIye1YG.net
>>258
◆e.a0E5TtKE は瀬田っていうのか
じゃ、これから瀬田君ね
291:132人目の素数さん
20/02/12 06:07:57 SjIye1YG.net
>>260-264
瀬田君は、確率における”コンパクト性定理”を証明したのかい?
似非専門家は何も証明できてないよ
0になる無限乗積持ち出した時点で無意味
292:132人目の素数さん
20/02/12 06:09:08 SjIye1YG.net
数学板4大トンデモ
高木・日高・安達・瀬田
293:132人目の素数さん
20/02/12 06:51:57 SjIye1YG.net
>>211
>逆転の発想で、先頭側の同値類を考えましょう
>ある番号nから先頭側、つまり0からnまでの箱の数が一致することをもって
>同値と考えます
>推移律などの確認は、時枝記事と同じなので、省略します
>結局、この場合、先頭の箱の数が一致すれば、先頭側の同値が成立つ
>列の長さは無関係です
瀬田君は
「尻尾の同値類は先頭の同値類と同じ」
だと思ってるみたいだけど、無限列の場合全然違うよ
無限列には最後の箱が存在しないから
294:132人目の素数さん
20/02/12 07:06:08.81 NeiqDepY.net
以前は>>278みたいな言辞に騙されて乙は瀬田とは違うとか評価するひとがいたのが信じられないな。
こいつら2人の数学の出来なさは本当に酷いレベル。
なまじっか高度な用語を使って(誤用して)誤魔化そうとするところまで共通している。
295:132人目の素数さん
20/02/12 07:16:12 xOqnz3XM.net
>>283
フェルマー予想の初等的証明をマジメに考える気は余りしない。
私の方法の限界を悟っただけ。
296:132人目の素数さん
20/02/12 07:24:34 xOqnz3XM.net
幾ら何でもフェルマー予想の初等的証明は恐らくないだろう。
297:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 07:38:25 8axgfTbD.net
>>282-283
残念だがろうが、おれは、それには否定も肯定もしない
リアルのだれか別人に迷惑を掛ける可能性があるからね
過去にもそういう話を出した人が居たがね
本人が名乗るのは、本人の責任だが
そういう、憶測を流すと、リアルのだれかが風評被害を受けることも考えられる
そのとき、本人が名乗っていれば、本人の責任だが
もし、ネットの風評被害で訴えられて、5ch運営側が情報を開示して、匿名性がなくなり、風評被害を流した人が訴えられる可能性があるよ
マスコミに、あんたちの名前が出る可能性もあるぜ
おれは、この件にはタッチしないよ
宣言しておくぜ。風評被害になったときは、貴方達の責任だ
298:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 07:41:20 8axgfTbD.net
>>270
> 0.0000…0=0.0000…1はあらゆる計算「のルールで正しい
なるほど、極限を取る話か
lim n→∞ 0.0000…0=lim n→∞ 0.0000…1
は正しいな
299:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 07:47:12 8axgfTbD.net
>>278
>私の方法で初等的にフェルマー予想をするのには限界があった。
おっちゃん、どうも、スレ主です。
フェルマー予想の初等的証明などに、手を付けない方が良いと思うよ
フェルマー予想の歴史を調べればわかりそうだが
おっと、おっちゃんは、文献読まない主義だったな(^^;
300:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 07:51:53 8axgfTbD.net
>>266 補足
>要するに、任意の有限地図 (有限グラフ) に対する4色定理から
>コンパクト性定理により、「4色定理は無限個の国を持つ地図でも成立する」ってこと
>だから、>>246より 任意の有限部分族が独立のとき→確率変数の無限族は独立
>(「”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが,これは全くの的外れ」)
簡単な話です
”任意の有限部分族が独立のとき→確率変数の無限族は独立”という定義は
コンパクト性定理が裏付けになるから
「”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが,これは全くの的外れ」
任意の有限地図 (有限グラフ) に対する4色定理から
コンパクト性定理により、「4色定理は無限個の国を持つ地図でも成立する」と同じ話です
301:132人目の素数さん
20/02/12 07:53:59 xOqnz3XM.net
>>288
フェルマー予想のことは殆ど知らないこともあり、
URLリンク(ja.wikipedia.org)
を参考にして>>278を書いただけなのに、>>283を書く人間が出て来て困る。
302:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 08:04:40 8axgfTbD.net
>>32
戻る
時枝さん、あの記事で4つくらい外している
1つは、確率変数の無限族の独立性
スレ20 スレリンク(math板:538番)
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが,これは全くの的外れ
も1つは、非可測の話
時枝さん、ヴィタリの話をしているが
本当は、ジムの数学徒氏(>>6)が言った下記なんだ
スレ80 スレリンク(math板:271番)
”確率論の公理の要請に反してしまう”ってこと
さらに、時枝氏自身が、あの記事の前半の戦略が不成立であることを
しっかりと認識しないで、
そこをぼかして書いたこと
あと、追加で>>22 >>211 に書いているが、下記の<時枝記事の可算無限数列の数当て定理 ”もどき”>不成立
スレ80 スレリンク(math板:51番)
時枝問題(数学セミナー201511月号の記事
(引用開始)
実数列の集合 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番目から�
303:謌齟vする. ~は 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などは下付添え字 (引用終り)
304:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 08:15:12 8axgfTbD.net
>>290
>フェルマー予想のことは殆ど知らないこともあり、
>URLリンク(ja.wikipedia.org)
>を参考にして>>278を書いただけなのに、>>283を書く人間が出て来て困る。
おっちゃん、どうも、スレ主です。
それが、”うかつ”でしょ
wikipediaには、多くの初等的な失敗は書かれていない
良く知らないのに、初等的な失敗を繰返して
カキコすると
まずいよね(^^;
305:132人目の素数さん
20/02/12 08:23:10 xOqnz3XM.net
>>292
フェルマー予想の初等的証明は有名な数学のトンデモの1つに挙げられている。
そういうことからも、私は元々無理な挑戦をしていた訳。
306:132人目の素数さん
20/02/12 08:34:10 xOqnz3XM.net
>>283のような偉そうなことを書くなら、>>283にはフェルマー予想の初等的証明をしてみてほしい。
多分ムリな話で終わる。
307:132人目の素数さん
20/02/12 09:16:49 NeiqDepY.net
>>293
認めるなら「γの有理性を証明した」が誤りであることも認めろ
これまでに自分が証明した数学上の新しい成果など皆無であることを認めろ
それ以前に証明・推論がめちゃくちゃでやってる内容が全く数学になってないがな
肝心なところは認めないで、数学的な真実より自我を優先している点で
乙と瀬田は共に知の欺瞞者である。
308:132人目の素数さん
20/02/12 09:23:44 xOqnz3XM.net
>>295
すぐキレた。やはりフェルマー予想の初等的証明は幾ら何でもムリ。
「γの有理性」はまだ論文にしていないので、公式には証明されていないことになる。
309:132人目の素数さん
20/02/12 09:29:35 xOqnz3XM.net
一般には、現在は、直観主義の論理は使わない。
直観主義の論理で議論して証明するには、逆に前提知識に数理論理の知識が必要になるようだしな。
310:132人目の素数さん
20/02/12 09:29:53 NeiqDepY.net
FLTとか難問は言うまでもないことだが
初等的に解ける「練習問題」さえ解けないのが乙。
未解決問題では「誰もが(あるいはほとんどのひとが)解けない」という点で平等だが
おまえが「数学ができない」という事実はそんなレベルの話じゃない。
311:132人目の素数さん
20/02/12 09:37:42 xOqnz3XM.net
>>298
>初等的に解ける「練習問題」さえ解けないのが乙。
5チャンに丁寧に解答を書いている人物はどちらかというと少ない。
多くの人は、紙で準備した後にそれを基にして答案を書く。
312:132人目の素数さん
20/02/12 09:43:09 NeiqDepY.net
つまり乙と瀬田は似たもの同士で慣れ合ってるのがお似合いなんだが
このスレは一旦閉じて、目立たないところでやるべきだな。
313:132人目の素数さん
20/02/12 09:49:13 xOqnz3XM.net
「知の欺瞞者」とかソーカル事件に関するようなことを書くと、場合によっては誰か特定されかねない。
314:132人目の素数さん
20/02/12 09:59:43 xOqnz3XM.net
ID:NeiqDepYは、私と◆e.a0E5TtKEを同レベルの脳ミソの人物で扱いたいようです。
315:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 10:07:51 Qa5sLjJG.net
>>287
>>>270
>> 0.0000…0=0.0000…1はあらゆる計算「のルールで正しい
>なるほど、極限を取る話か
>lim n→∞ 0.0000…0=lim n→∞ 0.0000…1
>は正しいな
これは、考えると結構 >>22及び>>291に対するエレガントな回答の一つのような気がする
つまり、現代数学では
1.000・・・=0.9999・・・ (1)
と考える
これを書き直すと
lim n→∞ 1.00・・0 =lim n→∞ 0.99・・9 (2)
となる
(2)式の辺々を 1 = 1 の式から 引くと
lim n→∞ 0.000・・0 =lim n→∞ 0.00・・1 (3)
となって、上記冒頭の式が得られる
ところで、時枝の数列のシッポの同値類の視点からは
(3)の左辺と右辺は異なるので、現代数学の標準的な見方とは、合わないし
その上
1/9=0.111・・・ =lim n→∞ 0.11・・1
という循環小数を考えると
lim n→∞ 0.11・・1と (3)の右辺 lim n→∞ 0.00・・1 とは
同じ同値類と考えられる
このとき、lim n→∞ 0.11・・1と lim n→∞ 0.00・・1
との決定番号dは、d→∞ に発散する
つまりは、決定番号dを使った、有限の大小比較が
怪しいという結論が導かれることになる!!(^^
316:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 10:10:03 Qa5sLjJG.net
>>302
おっちゃん、どうも、スレ主です。
ID:NeiqDepYは、おサルで、統合失調症の薬を飲んでいるらしい(>>2)
被害妄想がひどいので、相手にするな(^^;
317:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 11:24:58 Qa5sLjJG.net
メモ
URLリンク(biz-journal.jp)
Business Journal
2020.02.11
三菱UFJ、数学科出身社長就任の衝撃…“IT銀行化”と180店舗削減で果敢な改革断行
文=真壁昭夫/法政大学大学院教授
(抜粋)
1月17日、三菱UFJフィナンシャル・グループ(以下、MUFG)が代表執行役の人事を発表した。最も注目されるのが、理系出身の亀澤宏規副社長が社長兼最高経営責任者(CEO)に就任することだ。この人事には、MUFGの危機感が表れていると考えられる。
数学のバックグラウンドを持つ亀澤氏が、どのようにして収益を落ち着かせ、デジタル技術などを用いた新しい銀行のビジネスモデルを確立するかに注目が集まるだろう。
318:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 11:28:50 Qa5sLjJG.net
URLリンク(headlines.yahoo.co.jp)
センター試験の歴史に幕 過去5年をデータで振り返る 平均点、志願者数 2/8(土) 福井新聞 Yahoo
(抜粋)
大学入試センターがまとめた2020年センター試験の平均点の最終集計と2016年から5年間の推移を見ると、2020年の数学1・Aの平均点51・88点(100点満点)は5年間で最も低かった。
2020年の志願者数は55万7699人で、2016年から5年間で最も少なかった。受験率は94・51%で減少傾向のまま最後のセンター試験を終えた。
URLリンク(www.fukuishimbun.co.jp)
センター試験平均点、5年間の推移
2016~2020、最後の数1Aは最も低く
2020年2月7日 福井新聞
319:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 11:33:59 Qa5sLjJG.net
メモ
URLリンク(www.bloomberg.co.jp)
Bloomberg
武漢の新型ウイルス感染拡大はピーク近くか-数学モデリングが示唆
Jason Gale
2020年2月10日 11:50 JST
(抜粋)
新型コロナウイルスの発生地である中国・湖北省武漢市では、数週間後に感染拡大がピークに達するまでに感染者数が少なくとも50万人に達する可能性がある。ウイルス感染拡大についての英ロンドン大学衛生熱帯医学大学院(LSHTM)の分析が示唆している。
「2019ーnCoV」と呼ばれることになった新型ウイルスが昨年終わりに発生した武漢市は1月23日から封鎖され、市民1100万人の移動が制限されている。
同市で報告された感染者数の最近の傾向は、LSHTMが新型ウイルスの感染動態を予測するため使用している予備的な数学モデリングをおおむね裏付けている。
・ピークは2月中旬から下旬と予測、20人に1人が感染か-LSHTM
・ピーク時までに少なくとも50万人が感染の可能性、感染率5%なら
320:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 11:41:04 Qa5sLjJG.net
メモ
「ビリギャル」(^^;
URLリンク(headlines.yahoo.co.jp)
アリの行列なぜ渋滞ない ビリギャルが驚いた数学の力 2/9(日) NIKKEI STYLE
(抜粋)
ギャルの女子高生が慶応大に合格するまでを描いた「ビリギャル」のモデルとなった小林さやかさんが、様々な分野の専門家に率直な疑問をぶつけます。今回は数学編。大学院生になったビリギャルが、あなたにかわって勉強してきます。
大人になってから「数学は役に立つ」って思ったことある人、どれくらいいるんだろう?
サイン、コサイン、タンジェントって便利だなあと、思ったことある?
わたしのまわりではあまりいないんだ。
でもね、AI(人工知能)の時代は数学が不可欠だといわれると、やっぱり気になるなと思っていたら、小学生に微分積分を理解させたすごい先生がいるという噂が飛び込んできた。東京大学先端科学技術研究センターの西成活裕教授。早速お話を聞きに行ってきたよ。
―正直に言います。数学は中学のときから超苦手で、数学を勉強しようというモチベーションすら湧いたことが一瞬もありません。勉強する意味が全然わからなくて、あんなの知らなくても生きていけると自信満々だったし、実際大人になってからも「数学って使えるな」って思ったことがまだないんです。
「数学って課題解決に使えるんですよ。実際、私は世の中のために数学を役立ててきました。例えば僕の専門の一つは『渋滞学』。数学を駆使して、渋滞を解消する方法を考えるんです。だから、私のところにはいろいろなお困りごとの相談が舞い込んできます」
321:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 11:55:42 Qa5sLjJG.net
メモ
URLリンク(gendai.ismedia.jp)
鶴亀算で誰でも体感できる数学の「威力」と「限界」
抽象性の「恐ろしさ」を見極めるには
竹山 美宏筑波大学数理物質系教授 講談社 20200204
(抜粋)
URLリンク(gendai.ismedia.jp)
抽象性と汎用性
抽象的な数学の話を突然はじめたので、やや難しく感じたかもしれない。たしかに、抽象的であることは数学の難しさの要因ではある。しかし、同時に強みでもあるのだ。
たとえば、数学には数列の漸化式を扱うためのさまざまな手法がある。その手法は、定期預金でも花粉症の薬でも、数列の漸化式で記述される状況でさえあれば、具体的な文脈によらず使える。
URLリンク(gendai.ismedia.jp)
数学の怖さを知るということ
私自身は、正直に言うと、現実世界の問題から数理モデルをつくった経験がほとんどないし、純粋に数学で書かれた問題を扱うほうが慣れている。
数学者になること、もしくは、数学を趣味にすることが目的なのであれば、それでもよいかもしれない。学問としての数学を発展させる原動力は、やはり楽しさであるから、数学そのものから喜びを得られるのであれば、それを追求するのがよいのだろう。
しかし、たとえ数学を楽しめなくても、数理モデルがつくられるプロセスを知ることには、大きな意味があると思う。なぜなら、鶴亀算の解法が「鶴の立ち姿の美しさ」などを考慮に入れないように、数理モデルが記述するのは現実世界のすべてではなく、一部分だからである。
数理モデルを通して、数学は私たちの生活や社会に影響を及ぼす。
数理モデルの作成者は、自分の目的に応じて考慮すべき量や関係を設定する。本稿で挙げた三つの例題は、問題を解く練習をするためのものだから、数理モデルのつくり方に選択の余地はほとんどない。
しかし、現実世界の問題を解く場面では、作成者によって数理モデルは異なり得る。そして、作成者の偏見が埋め込まれた数理モデルが大きな影響力をもつと、私たちの社会は壊れてしまいかねない。
有害な数理モデル
この点について、冒頭で紹介した『あなたを支配し、社会を破壊する、AI・ビッグデータの罠』から例をひとつ挙げよう。
322:132人目の素数さん
20/02/12 12:01:32 UvpDJSC3.net
>>303
極限なくても位取り記数法で証明されてるよ
C=0.999… d=1
10c=9.999…
10c-d=8.999…
100c-10d=89.9999…
100c-10d-80=9.999…
10C=100c-90
0=90c-90 c=1
323:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 12:02:43 Qa5sLjJG.net
メモ
URLリンク(www.bilibili.com)
『宇宙と宇宙をつなぐ数学』加藤文元先生インタビュー 第1回 「IUT理論の現在地」
影??告・??
2020-02-04 10:26:36
URLリンク(www.youtube.com)
数学界のみならず、世界に激震をもたらした宇宙際タイヒミュラー(IUT)理論。京都大学の望月新一教授によって2012年に提唱されたこの理論は、数学界に残された超難問「ABC予想」の解決をも含むとされ、その難解さと斬新さから「未来から来た論文」などと称されました。
この理論の独創性を一般向けに紹介した加藤文元さんの書籍『宇宙と宇宙をつなぐ数学 IUT理論の衝撃』は発売直後から大きな話題を呼び、発売即重版となりました。
324:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 12:36:10 Qa5sLjJG.net
>>310
どうもスレ主です。
レスありがとう
あなたのエレガンスな回答で、時枝記事の前半の戦略は、不成立で決着です(^^
325:132人目の素数さん
20/02/12 12:38:37 ZjrtYJ9G.net
>>229
「同じ数字は同じ文字で表す」
って決まってる訳でもないんですか?
2つの自然数 a=b
aとbは同じ数字を違う文字で表記してるんですか?
326:132人目の素数さん
20/02/12 13:20:58 UvpDJSC3.net
>>3
327:10 9・99…=c cの10倍=90+0.9999…+10回 cの10倍ーcを10回=0.9999…+10回-cを10回+90 cの10倍ーcを10回=0.9999…+10回-0.9999+10回 cの10倍=0.9999…+10回-0.9999+10回+cを10回 0.9999…+10回-0.9999+10回+cを10回 =90+0.9999…+10回 -0.9999…+10回+cを10回=90 10=cと仮定すると 0.9999…+10回=10 90+0.9999…+10回=10+90 =cの10倍=100 10=9・99…
328:132人目の素数さん
20/02/12 13:25:37 UvpDJSC3.net
>>314
無数の桁に対する位ごとの操作(つまり、掛け算や引き算)を一斉に行うことなく証明
329:132人目の素数さん
20/02/12 13:34:17.18 UvpDJSC3.net
>>315
9・99…=c
cの10倍=90+0.9999…+10回
-0.9999…+10回+cを10回=90
10=cと仮定すると
0.9999…+10回=10
90+0.9999…+10回=10+90
=cの10倍=100
となるので仮定は正しい
10=9・99…
330:132人目の素数さん
20/02/12 13:36:27.84 UvpDJSC3.net
>>316
9・99…-9=0.99…
有限の桁に対する位ごとの操作
331:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 13:51:10 Qa5sLjJG.net
>>313
>2つの自然数 a=b
>aとbは同じ数字を違う文字で表記してるんですか?
自然数は大きな問題はないが
実数になると、超越数とかが入ってくる
そうすると、複雑になります。有理数でも小数展開したとき、二通りの表現ができる
例えば、>>303より "1.000・・・=0.9999・・・"
逃げるわけじゃないが、下記PDFでもどうぞ
(参考)
URLリンク(www.kurims.kyoto-u.ac.jp)
平成29年度(第39回)数学入門公開講座テキスト(京都大学数理解析研究所,平成29年7月31日~8月3日開催
超準解析入門
-超実数と無限大の数学-
磯野優介
数学入門公開講座
平成 29 年 7 月 31 日~8 月 3 日
概要
「無限に大きい数」は存在しません.どんな数を持ってきても,それに 1 を足せば,
より大きな数が出来るからです.同様に「無限に小さい数」も存在しません.このよう
な無限数は,数学的に厳密に定義出来ないにもかかわらず,古くから研究に用いられて
きました(いわゆる「無限小解析」).その後 19 世紀に入り,厳密さを備えた ε-δ 論法
が登場し,無限小解析は歴史から姿を消します.
超準解析とは,「無限に大きい,小さい数」を,数学として厳密に定式化し,取り扱
う学問です.この枠組みでは,無限数を用いた計算や証明が可能で,現代数学を用いた
無限小解析の再現とも言えます.この講義では,そのような無限数を含む「超実数」を
構成し,それを用いて解析学の基礎的な定理を実際に証明してみようと思います.
目 次
1 イントロダクション 2
1.1 記号の復習 3
2 実数 R の構成 4
2.1 ε-δ 論法による収束の定義 . 4
2.2 コーシー列を用いた実数 R の構成 5
3 超実数 *R の構成 8
3.1 基本的な考え方と問題点 . . 9
3.2 フィルターと超フィルター . 10
3.3 超積を用いた超実数 ?R の構成 . . 12
4 超実数を用いた解析学の展開 15
4.1 数列の収束 15
4.2 連続関数 . . 18
5 超積とフォンノイマン環 21
5.1 関数解析とフォンノイマン環 21
5.2 フォンノイマン環の超積とその応用 . . 23
332:132人目の素数さん
20/02/12 14:52:17.60 YGFbscX3.net
>>318
ありがとうございます。
333:132人目の素数さん
20/02/12 14:53:34.29 YGFbscX3.net
>>319
ID変わりましたが>>313を書き込んだ者です。
334:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 16:01:35.27 Qa5sLjJG.net
>>318 補足
下記、磯野優介先生
”注意 4.8. この定理が証明されれば,最初から limn→∞ an = a の定義を,aω =~ a が全ての
無限大超自然数 ω に対して成立する事としてもよい事になる.これは「数列の ∞ 番目がい
つも同じ数」という意味であり,
335:より直感的な収束の定義である.” なるほど この超準解析の視点は、時枝記事の戦略のトリックを端的に突いている気がする つまり、「数列の ∞ 番目が同じ数」というのが、 時枝記事の戦略のトリックを支えるキーだと看破しているような記述だね(^^; http://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H29-isono.pdf 平成29年度(第39回)数学入門公開講座テキスト(京都大学数理解析研究所,平成29年7月31日~8月3日開催 超準解析入門 -超実数と無限大の数学- 磯野優介 数学入門公開講座 平成 29 年 7 月 31 日~8 月 3 日 (抜粋) P15-16 4 超実数を用いた解析学の展開 4.1 数列の収束 定義 4.1. 超実数 α が超自然数であるとは,自然数からなる数列 (an)n を用いて α = (an)n と書ける事である.この時もし α が無限大超実数ならば,無限大超自然数という.超自然数 の集合を *N で表す.以後は分かりやすさのため,超自然数は ω, λ 等の記号で表す事が多い. 次の定理は,数列の収束という ε-δ 論法における概念を,超実数のみを用いた条件に言い 換えるものです. 定理 4.7. 実数列 (an)n と実数 a ∈ R に対して,limn→∞ an = a である事の必要十分条件は どんな無限大超自然数 ω に対しても aω =~ a となる事である. 注意 4.8. この定理が証明されれば,最初から limn→∞ an = a の定義を,aω =~ a が全ての 無限大超自然数 ω に対して成立する事としてもよい事になる.これは「数列の ∞ 番目がい つも同じ数」という意味であり,より直感的な収束の定義である.
336:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 16:05:50.17 Qa5sLjJG.net
>>319-320
ID:YGFbscX3さん、どうもスレ主です。
ご丁寧にありがとうございます。
「a=b」という単純な式が
超準解析というフィルター
を通してみると*)、違った風景が見えるということ
あと、時枝戦略も、超準解析というフィルター をとした方が良いと思えて来ましたね
注:
*)ダジャレです(^^
337:132人目の素数さん
20/02/12 16:32:38.29 xOqnz3XM.net
>>304
>>295で「数学的な真実より自我を優先している」や私が「知の欺瞞者」だと書いていることから察するに、
ID:NeiqDepY はオイラーの定数γが無理数だろうと予想している節がある可能性はあるが、
ごく普通の背理法でγの有理性が示せているから、問題ない。ただ、計算が大変。
338:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 16:59:19.27 Qa5sLjJG.net
>>323
おっちゃん、どうも、スレ主です。
>ID:NeiqDepY はオイラーの定数γが無理数だろうと予想している節がある可能性はあるが、
>ごく普通の背理法でγの有理性が示せているから、問題ない。ただ、計算が大変。
逆らうようで悪いが
私スレ主も、「オイラーの定数γが無理数だろうと予想している」んだ
証明は難しいらしく、いまだ数学界では予想だがね
「普通の背理法でγの有理性が示せているから」というと
”γのが無理数と仮定すると、矛盾が起きる”って筋になるけど
それ示すのは、かなり斬新なアイデアと理論が必要な気がするな
追伸
下記、オイラーの定数
γ:= lim n→∞ {(Σ k=1~n(1/k) -ln(n)}
で、n有限で、(Σ k=1~n(1/k) は、有理数。ln(n)は無理数(超越数)。
有理数-無理数(超越数)=無理数(超越数)
は自明。
それが、lim n→∞ で、有理数に収束することがイメージできない
イメージが貧弱と言われれば、その通りだが(^^;
(参考)
URLリンク(ja.wikipedia.org)
オイラーの定数
γ:= lim n→∞ {(Σ k=1~n(1/k) -ln(n)}
339:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 17:04:32.60 Qa5sLjJG.net
>>324 補足
>で、n有限で、(Σ k=1~n(1/k) は、有理数。ln(n)は無理数(超越数)。
>有理数-無理数(超越数)=無理数(超越数)
>は自明。
>それが、lim n→∞ で、有理数に収束することがイメージできない
逆パターンで
lim n→∞ で、有理数が、無理数に収束するのは、普通にあるが
”有理数-無理数(超越数)=無理数(超越数)”で
lim n→∞ {(Σ k=1~n(1/k) -ln(n)}だと、どうなのでしょうかね。イメージできない (^^;
340:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 17:11:25.26 Qa5sLjJG.net
>>322 タイポ訂正
あと、時枝戦略も、超準解析というフィルター をとした方が良いと思えて来ましたね
↓
あと、時枝戦略も、超準解析というフィルター を通した方が良いと思えて来ましたね
分かると思うが(^^;
341:132人目の素数さん
20/02/12 17:21:51 xOqnz3XM.net
>>324
証明は150行どころか250行は優に超える。300行以上はある筈。
342:132人目の素数さん
20/02/12 17:27:02 xOqnz3XM.net
それじゃ、おっちゃんもう寝る。
343:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 17:33:16.57 Qa5sLjJG.net
>>327
>証明は150行どころか250行は優に超える。300行以上はある筈。
おっちゃん、どうも、スレ主です。
300ページは必要と思うけどねw(^^;
根拠レスだが
344:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 17:38:04.54 Qa5sLjJG.net
>>328
おっちゃん、どうも、スレ主です。
ありがとう
お休みなさい
なお
論文の投稿をお待ちしています。
345:132人目の素数さん
20/02/12 19:12:10.62 Sxg0ZY+g.net
>>288
>おっと、おっちゃんは、文献読まない主義だったな(^^;
と、教科書も読まないバカが申しております
346:132人目の素数さん
20/02/12 19:20:04 Sxg0ZY+g.net
>>291
>も1つは、非可測の話
>時枝さん、ヴィタリの話をしているが
>本当は、ジムの数学徒氏(>>6)が言った下記なんだ
>スレ80 スレリンク(math板:271番)
>”確率論の公理の要請に反してしまう”ってこと
ジムくんの発言は大外しですね、時枝戦略の確率空間を�
347:�解しているので。 >さらに、時枝氏自身が、あの記事の前半の戦略が不成立であることを >しっかりと認識しないで、 >そこをぼかして書いたこと まったくぼかしてないですね。 証明のギャップがあるなら具体的にお願いしますね >あと、追加で>>22 >>211 に書いているが、下記の<時枝記事の可算無限数列の数当て定理 ”もどき”>不成立 大外しですね、時枝戦略は当てずっぽう戦略ではないので。 ということで不成立をまったく示せてませんので、スレ閉鎖して下さい 約束は守りましょうね?
348:132人目の素数さん
20/02/12 19:30:12 SjIye1YG.net
>>289
>”任意の有限部分族が独立のとき→確率変数の無限族は独立”
>という定義はコンパクト性定理が裏付けになる
いや、裏付けにならないでしょ
わけわからないこといってるね
349:132人目の素数さん
20/02/12 19:30:58 SjIye1YG.net
>>303
>これは、考えると結構エレガントな回答の一つのような気がする
また、間違ったか 瀬田君
しかも今度は明らかなトンデモに食いついたね
>現代数学では
>1.000…=0.999… (1)
>と考える
ここは正しい
>これを書き直すと
>lim n→∞ 1.00…0 =lim n→∞ 0.99…9 (2)
>となる
ここも正しい
>(2)式の辺々を 1 = 1 の式から 引くと
>lim n→∞ 0.00…0 =lim n→∞ 0.00…1 (3)
>となって、
ここも正しい
しかし…
>上記冒頭の式
>0.0000…0=0.0000…1
>が得られる
これは誤り
実はどの桁にも1が立たない
つまり>>265は誤り
350:132人目の素数さん
20/02/12 19:31:48 Sxg0ZY+g.net
>>303
>lim n→∞ 0.11・・1と (3)の右辺 lim n→∞ 0.00・・1 とは
>同じ同値類と考えられる
ちょっと何言ってるか分かりません。
時枝記事の同値関係の定義分かってますか~?
>このとき、lim n→∞ 0.11・・1と lim n→∞ 0.00・・1
>との決定番号dは、d→∞ に発散する
発散しませんね、決定番号は自然数ですから。∞は自然数ではありません。
発散すると思えるのはそもそも時枝記事の同値関係の定義を理解してないからでしょうね。
>つまりは、決定番号dを使った、有限の大小比較が
>怪しいという結論が導かれることになる!!(^^
導かれたのはあなたの学力の怪しさですね!!(^^
351:132人目の素数さん
20/02/12 19:33:32 Sxg0ZY+g.net
>>304
>被害妄想がひどいので、相手にするな(^^;
と、いつも妄想の激しいバカが申しております(^^;
352:132人目の素数さん
20/02/12 19:37:41.35 Sxg0ZY+g.net
>>312
>あなたのエレガンスな回答で、時枝記事の前半の戦略は、不成立で決着です(^^
不成立と主張したいなら反例もしくは証明のギャップを提示しましょうね~(^^
まああなたの場合その前に同値類と選択公理を勉強した方が良いでしょうね、記事を読むことすらできませんから(^^;
353:132人目の素数さん
20/02/12 19:39:13.58 SjIye1YG.net
>>321
>超準解析の視点は、時枝記事の戦略のトリックを端的に突いている・・・
>つまり、「数列の ∞ 番目が同じ数」というのが、
>時枝記事の戦略のトリックを支えるキーだと看破している・・・
瀬田君、全くのトンデモに成り下がったね
「任意の自然数n番目で不一致で、∞番目だけ一致する列がある」と言い切った瞬間、
自然数の定義を真正面から否定する完全無欠なトンデモになったよ 瀬田君はw
354:132人目の素数さん
20/02/12 19:41:51.17 SjIye1YG.net
>…は、統合失調症の薬を飲んでいるらしい
瀬田君は、自己愛性人格障害だから、
抗精神病薬も効かないだろうなあ
355:132人目の素数さん
20/02/12 19:42:47.73 Sxg0ZY+g.net
>>321
>なるほど
>この超準解析の視点は、時枝記事の戦略のトリックを端的に突いている気がする
突いてません、というか突き得ません、時枝戦略は解析学を使ってないので(^^;
>つまり、「数列の ∞ 番目が同じ数」というのが、
>時枝記事の戦略のトリックを支えるキーだと看破しているような記述だね(^^;
数列に∞番目はありません、∞は自然数ではないので(^^;
356:132人目の素数さん
20/02/12 19:43:39.67 Sxg0ZY+g.net
>>322
>あと、時枝戦略も、超準解析というフィルター をとした方が良いと思えて来ましたね
妄想ですね(^^;
357:132人目の素数さん
20/02/12 19:47:50.99 SjIye1YG.net
>普通の背理法でγの有理性が示せている
恒例の初歩的な誤りでしょうな
358:132人目の素数さん
20/02/12 20:07:27.13 SjIye1YG.net
瀬田君の「確率0」は
「99列の決定番号の最大値がDの条件での
100列目の決定番号dがd<=Dとなる確率」
したがって条件付き確率
しかし条件付き確率はいろいろ想定できて
「100列の決定番号の最大値がDの条件での
100列目の決定番号dがd<=Dとなる確率」
というのも想定できるしこれは99/100以上になる
Non-conglomerableな場合には、条件付き確率から
無条件の確率を求められないという意味ではどっちも同じ
ちなみにThe Riddleはそもそも確率の話ではないので無条件に成立する
359:132人目の素数さん
20/02/12 20:39:15.50 VOr7V6wh.net
高砂の~ 翁&嫗
なりぷっ様とゴルゴⅠ3(-AⅠg/jrpo)様は このままいつまでも仲睦まじく
お歳を重ねられてゆくんでしょうね...
羨ましいです。。。
いいなぁ...あさっては💖バレンタインデー💗だしな。。。
あっ、せっかく
㈏
360:8;おふたりだけ💖で💞イチャコラ💓中 のとこ、お邪魔して申し訳ありません...
361:132人目の素数さん
20/02/12 20:41:08.21 VOr7V6wh.net
でも笑笑のお局様がちょっとお可哀想。。。
362:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 20:46:39.79 8axgfTbD.net
>>291 <再まとめ>
時枝さん、あの記事で4つくらい外している
1つは、確率変数の無限族の独立性
スレ20 スレリンク(math板:538番)
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが,これは全くの的外れ
根拠は、>>247のコンパクト性定理 URLリンク(ja.wikipedia.org)
”一階述語論理の文の集合がモデルを持つこと(充足可能であること)と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。”
( >>262より 無限地図の4色定理が、コンパクト性定理で証明できるよ )
も1つは、非可測の話
時枝さん、ヴィタリの話をしているが
本当は、ジムの数学徒氏(>>6)が言った下記なんだ
スレ80 スレリンク(math板:271番)
”確率論の公理の要請に反してしまう”ってこと
(>>215より 細かいが、実際使う同値類は有限個に過ぎないので、選択公理のフルパワーは必要としないことも附言しておく)
3つには、>>22 >>211 に書いているが、下記の<時枝記事の可算無限数列の数当て定理 ”もどき”>不成立
補強で、>>321 ”注意 4.8. この定理が証明されれば,最初から limn→∞ an = a の定義を,aω =~ a が全ての
無限大超自然数 ω に対して成立する事としてもよい事になる.これは「数列の ∞ 番目がい
つも同じ数」という意味であり,より直感的な収束の定義である.”
つづく
363:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 20:48:19.19 8axgfTbD.net
>>346
つづき
(参考)
スレ80 スレリンク(math板:51番)
時枝問題(数学セミナー201511月号の記事
<時枝記事の可算無限数列の数当て定理 ”もどき”>
(引用開始)
実数列の集合 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)と記す.
何らかの事情によりdが知らされていなくても,あるD>=d についてsD+1, sD+2,sD+3,・・・
が知らされたとするならば,それだけの情報で既に r = r(s)は取り出せ, したがってd= d(s)も決まり,
結局sd (実はsd,sd+1,・・・,sD ごっそり)が決められる
(引用終り)
URLリンク(www.kurims.kyoto-u.ac.jp)
平成29年度(第39回)数学入門公開講座テキスト(京都大学数理解析研究所,平成29年7月31日~8月3日
超準解析入門 -超実数と無限大の数学- 磯野優介 数学入門公開講座
(抜粋)
P15-16
定理 4.7. 実数列 (an)n と実数 a ∈ R に対して,limn→∞ an = a である事の必要十分条件は
どんな無限大超自然数 ω に対しても aω =~ a となる事である.
注意 4.8. この定理が証明されれば,最初から limn→∞ an = a の定義を,aω =~ a が全ての
無限大超自然数 ω に対して成立する事としてもよい事になる.これは「数列の ∞ 番目がい
つも同じ数」という意味であり,より直感的な収束の定義である.
(引用終り)
4つには、時枝氏自身が、あの記事の前半の戦略が不成立であることを
しっかりと認識しないで、
そこをぼかして書いてしまったこと
以上
364:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 20:49:34.90 8axgfTbD.net
>>344-345
どうも。スレ主です。
レスありがとうございます(^^
365:132人目の素数さん
20/02/12 20:51:49.07 Sxg0ZY+g.net
a>b 且つ a<b を満たす自然数の組 a,b は存在しないので、100個の決定番号の集合の単独最大は複数個にはなり得ない。
つまりハズレ列はたかだか1列。
よって100列のいずれかをランダムに選択したとき、それがアタリ列である確率は99/100以上。(^^
もしこれを否定したいなら、 a>b 且つ a<b を満たす自然数の組 a,b を提示して下さいね~(^^;
366:132人目の素数さん
20/02/12 20:52:08.81 VOr7V6wh.net
すう板常連の理系の皆様の性別比率はちょうど1:1(?)。。。
解は「笑笑様のみぞ知る」ですね...
主様 笑笑様
I3AIg/jrpo様 なりぷっ様
でも数学科に限るとなりぷっ様・笑笑様(?):I3AIg/jrpo様で、2:1。。。
笑笑様しか正解を知らないけど、、、
もしかして...女性の方が、2倍?
意外でした。。。
367:132人目の素数さん
20/02/12 20:56:54.05 VOr7V6wh.net
一石(I3AIg/jrpo?)様が羨ましい。。。両手に🌺花🌹でモテモテで。
いいなぁ...*モテモテ運*を分けていただきたいなぁ。。。
368:132人目の素数さん
20/02/12 21:02:21.52 Sxg0ZY+g.net
>>346
>時枝さん、ヴィタリの話をしているが
>本当は、ジムの数学徒氏(>6)が言った下記なんだ
>スレ80 スレリンク(math板:271番)
>”確率論の公理の要請に反してしまう”ってこと
ジムくんは時枝戦略の確率空間を誤解しているので無意味ですね~(^^;
>(>215より 細かいが、実際使う同値類は有限個に過ぎないので、選択公理のフルパワーは必要としないことも附言しておく)
時枝戦略には選択公理が必須です、不定な代表から情報はもらえませんので(^^;
>3つには、>22 >211 に書いているが、下記の<時枝記事の可算無限数列の数当て定理 ”もどき”>不成立
時枝戦略は当てずっぽう戦略ではないので無意味ですね~(^^;
>補強で、>321 ”注意 4.8. この定理が証明されれば,最初から limn→∞ an = a の定義を,aω =~ a が全ての
>無限大超自然数 ω に対して成立する事としてもよい事になる.これは「数列の ∞ 番目がい
>つも同じ数」という意味であり,より直感的な収束の定義である.”
数列に∞番目はありません。∞は自然数ではありませんから(^^;
ちなみに時枝定理とその証明は極限を使ってませんので、極限を語っても無意味ですね~(^^;
369:132人目の素数さん
20/02/12 21:04:01.56 VOr7V6wh.net
なんだか哀しくなってきた。。。
いつもの
💓バレンタイン💖
&
ハッピー🎂バースデー💐
⤵ブルー⤵
なんだ。。。
今日のボヤキ終わりッ!っと。
失礼いたしました。。。 (。⊃Д`)
370:132人目の素数さん
20/02/12 21:07:43.54 Sxg0ZY+g.net
>>347
>4つには、時枝氏自身が、あの記事の前半の戦略が不成立であることを
>しっかりと認識しないで、
まったく認識してないですね、戦略は成立ですから(^^;
>そこをぼかして書いてしまったこと
ぼかす必要は無いですね、実際時枝先生は
「ところがところが--本記事の目的は,確率99%で勝てそうな戦略を供することにある. 」
と明記してます、1㍉もぼかしてません(^^;
371:
20/02/12 21:08:45.75 SjIye1YG.net
トリップ I3AIg/jrpo の出し方
#Bernoulli
372:Mara Papiyas
20/02/12 21:09:56.56 SjIye1YG.net
こっちはそう簡単じゃないぞ
373:132人目の素数さん
20/02/12 21:11:39.56 Sxg0ZY+g.net
早く反例なり証明のギャップなりを示してほしいですねえ~
もう妄想は飽きました(^^;
374:132人目の素数さん
20/02/12 21:12:40.93 VOr7V6wh.net
あ、主様、ちょっと早いんですけど、
いつもいつもお世話になっております。
○/💝>>348
/
L
375:132人目の素数さん
20/02/12 21:13:51.44 VOr7V6wh.net
>>355-356
知ってる。マラ・パピヤスってだれですか?
376:132人目の素数さん
20/02/12 21:15:02.92 VOr7V6wh.net
一石様でもいいんですか?
ムダグチ博士様でも?
377:132人目の素数さん
20/02/12 21:18:31.95 VOr7V6wh.net
一石様には義理💝チョコなんて必要ないですよね。
気持ちチョコざ2pは押さえてあるんだから。。。
世の中不公平ですよね。
その分、絶滅しちゃう男性がいるんだから。
他人事ト思エナィ。。。*゜(ノД`)゜。
378:132人目の素数さん
20/02/12 21:19:08.34 Sxg0ZY+g.net
待てど暮らせど反例もギャップも示されず
示されるのは妄想ばかり(^^;
ここは数学板です、そろそろ妄想は勘弁して下さい(^^;
379:132人目の素数さん
20/02/12 21:20:11.20 VOr7V6wh.net
>>361
↑訂正です。
>チョコざ 誤
チョコが 正
哀しすぎて入力ミスです。。。
380:132人目の素数さん
20/02/12 21:22:08.89 VOr7V6wh.net
なりぷっ様が羨ましいよー!
。 °*。 *゜(ノД`)゜。
変態もバレンタインイブまでに
*素敵な彼氏*が欲しかった。。。
381:132人目の素数さん
20/02/12 21:32:24.68 VOr7V6wh.net
>>362
ごめんなさい。。。
🌺ハッピー💐
💖バレンタインデー💓イブイブ💞
🌸おめでとうございます🌹
笑笑様のことはお気になさらずに
堂々と勝ち誇ってください。
笑笑様なら、苦笑いで許してくださるとおもいます。
遠慮なさらずにめいっぱい、幸せになっちゃってください。
羨ましいけど、応援してます。。。
💒ジューンブライド🔔💏🔔。。。
今からじゃ予約難しそうですね。。。
あ、嫌がらせで言ってみたわけじゃないんです...
。。。明後日のチョコ💝。。。
。。。もう手作りされましたか?。。。
お休みなさい。
変態は明日のバレンタインデーeveは
とどめにお誕生日なんですよ( ´_ゝ`)
**回目の。
今年もまた1つ、
ムダに歳をとってしまいましたーっ!
あ.なりぷっ様はお気になさらないで
お幸せになってください。
カップルの💞イチャコラ💞を
お邪魔してみましたー!
お休みなっさーいっ!!!!
382:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 21:33:58.93 8axgfTbD.net
メモ
URLリンク(www.nikkei.com)
テスラ分解 EVの「頭脳」、トヨタやVWを6年先行 2020/2/12 日経
(抜粋)
米テスラの技術力はどれほどのものか―。実力を確かめるため、日経BPのプロジェクトチームはテスラ初の本格量産車「モデル3」を購入して分解した。内部から飛び出した最大の驚きは、自動運転だけでなく車両全体を制御する統合ECU(電子制御ユニット)だ。3キログラムに満たない「頭脳」はテスラの強さの源泉となると同時に、自動車部品のサプライチェーン(供給網)をがらりと変える影響力を持つ。
「うちの会社にはできない」。ある国内自動車メーカーの技術者が、テスラの車載コンピューターを見て白旗を揚げた。
テスラは量産中の電気自動車(EV)である「モデル3」や「モデルS」などに、「HW3.0」と呼ぶ車載コンピューターを搭載する。内蔵する半導体を自社開発し、自動運転とインフォテイメントなどの機能を統合制御するECUの役割を一任した。
モデル3が搭載する統合ECU「HW3.0」。2枚の基板を搭載する。1枚は独自開発した人工知能(AI)チップを実装する自動運転用で、もう1枚はインフォテイメントシステムなどを制御するMCU(メディア・コントロール・ユニット)。基板間に水冷ヒートシンクを配置した(撮影:日経Automotive)
車載電子プラットフォーム(基盤)の中核に高性能なコンピューターを据えるアーキテクチャーは「中央集中型」と呼ばれる。自動車業界の関係者は異口同音に「実用化は2025年以降」と説明してきた。
一方のテスラがHW3.0を導入したのは19年春。他社を6年以上も先行したことになる。テスラは自動運転システムの進化に合わせて車載電子基盤を刷新。14年9月に第1世代を投入して以降は、2~3年という極めて短いサイクルで開発を進めている。
テスラは2~3年ごとに自動運転システムを強化している(図:日経Automotiveが作成)
圧倒的なスピードで構築したテスラの中央集中型の車載電子基盤は、他の自動車メーカーのみならず、業界全体にとっての脅威になる。長い歳月をかけて積み上げてきた既存の部品サプライチェーンを崩壊させる可能性を秘めるからだ。
383:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 21:35:18.84 8axgfTbD.net
>>358
どうも。スレ主です。
ありがとうございます(^^;
384:Mara Papiyas
20/02/12 21:42:26.53 SjIye1YG.net
マーラ(Māra)は、釈迦が悟りを開く禅定に入った時に、瞑想を妨げるために現れたとされる悪魔、魔神。
愛の神カーマと結び付けられ、カーマの別名又はカーママーラとして一体で概念されることがある。
マーラを降すことを降魔という。
385:魔王マーラ・パーピーヤス(Māra Pāpīyās、天魔波旬、魔羅、天魔、悪魔などの漢訳がある)。 マーラの語義は「殺すもの」であるとも、「死」の人称形とも言われる。 パーピーヤスは「より以上悪いもの」の意。 仏伝には天(deva、神)であるとの記述があり、「天」魔と呼ばれるのは、ここに由来する。 そのためインドにおける肌の黒い被支配者が崇拝した神々を起源とする説もある。
386:132人目の素数さん
20/02/12 21:44:56.68 VOr7V6wh.net
あ、忘れてました。
主様も羨ましいよー!
奥様から毎年本命チョコ貰えて。。。
みんなずるいよーーーっ!
° 。°*。 ゜(ノД`)゜。
387:132人目の素数さん
20/02/12 22:39:07 9H+xmq79.net
>>368
魔王がお好きなんですね。
愛の神って、ハンネでモテモテ自慢だったんですか。。。?
非モテから呪われちゃいますね。。。?
*されないように気をつけてくださいね♪
ごきげんよう((✋))
388:132人目の素数さん
20/02/13 01:19:58.55 v2TIc5o5.net
反例も証明のギャップも示せないんじゃスレ閉鎖するしか無いね 残念!
389:132人目の素数さん
20/02/13 02:07:46.13 v2TIc5o5.net
>>22
>ところが、iid(独立同分布)を仮定して、1つのサイコロの目の数を入れると
>1つの的中確率1/6
>n個の的中確率1/6^n
>的中できる数n=100 なら、的中確率1/6^100≒0
これって当てずっぽうで当てようとした場合の確率じゃんw
これで何を示した気になってるの? バカ過ぎw
390:132人目の素数さん
20/02/13 05:06:15 9yDFIPOD.net
>>356
#球体ホモトピー?
391:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/13 08:03:04 r2opBcOW.net
>>110 戻る
下記、「この研究所の望月新一さんもこの予想に取り組んでいます」か
平成19年は、2007年ですね。当時から、望月新一さんがABC予想に取り組んでいることは、知られていたのか(^^;
いや、Frey 曲線と abc 予想の結びつきが面白いと思ったんだ
URLリンク(www.kurims.kyoto-u.ac.jp)
平成19年度(第29回)数学入門公開講座テキスト(京都大学数理解析研究所,平成19年7月30日~8月2日開催)
R = T 定理の仕組みとその応用
安田 正大
(抜粋)
Fermat 予想の反例と Frey 曲線とを結びつける発想を一般化して, 0 でない 3 整数 a, b, c に関する等式
a + b = c と, 楕円曲線 y^2 = x(x ? a)(x + b) とを結びつけて考えることもできます, このとき Szpiro 予想
が何を意味するのかを考えることによって, Masser と Oesterl´e は abc 予想と呼ばれる次の予想に到達しま
した3
予想 1.2. 任意の実数 ε > 0 に対して実数 C(ε) > 0 が存在して次を満たす: 正の整数 a, b, c が a + b = c
を満たし, さらに a と b の最大公約数が 1 であるとき, a, b, c のいずれかを割り切る素数の積を N とす
ると, 不等式
(1.3) c < C(ε)N^(1+ε)
が成立する.
この予想が正しいとすると Fermat 予想が十分大きな n について正しいことがわかります. この abc 予
想には, 不等式 (1.3) にいくつかのバリエーションがあり, もっと精密な評価を与えるものもあります.
この研究所の望月新一さんもこの予想に取り組んでいます.
注
3:予想 1.2 の主張中の N^(1+ε) を N^(6/5+ε) に弱めたものが, y^2 = x(x ? a)(x + b)
の形に表せる楕円曲線 E に制限した Szpiro 予想と同値になります.
(引用終り)
392:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/13 08:04:36 r2opBcOW.net
>>369
>奥様から毎年本命チョコ貰えて。。。
奥様からは、本命なのでしょうが、チョコは来ません(^^;
393:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/13 12:11:47.07 Di2gg/DV.net
>>324 補足
オイラーの定数の定義式の前半のΣ k=1~n(1/k)は、いわゆる調和数 Hnであり
これのある予想(下記 Lagariasなど)が、Riemann Hypothesisと等価だという
(参考)
URLリンク(ja.wikipedia.org)
オイラーの定数
γ:= lim n→∞ {(Σ k=1~n(1/k) -ln(n)}
URLリンク(en.wikipedia.org)
Euler?Mascheroni constant
URLリンク(ja.wikipedia.org)(%E7%99%BA%E6%95%A3%E5%88%97)
調和数 (発散列)
(抜粋)
数学において、n-番目の調和数(ちょうわすう、英: harmonic number)は 1 から n までの自然数の逆数和
H_n=1+1/2+ 1/3+・・・ + 1/n=Σ k=1~n (1/k)
である。これは、1 から n までの自然数の調和平均の逆数の n-倍に等しい。
調和数は遥か昔から研究され、数論の各分野において重要である。調和数の極限は、調和級数と呼ばれ(しばしば調和数も含めて一口に調和級数と呼ぶこともある)、リーマンゼータ函数と近しい関係にあり、また種々の特殊函数のさまざまな表示に現れる。
URLリンク(mathworld.wolfram.com)
Riemann Hypothesis
(抜粋)
By modifying a criterion of Robin (1984), Lagarias (2000) showed that the Riemann hypothesis is equivalent to the statement that
Σ(n)<=H_n+exp(H_n)lnH_n, (5)
for all n>=1, with equality only for n=1, where H_n is a harmonic number and sigma(n) is the divisor function (Havil 2003, p. 207).
URLリンク(mathworld.wolfram.com)
The plots above show these two functions (left plot) and their difference (right plot) for n up to 1000.
URLリンク(www.math.lsa.umich.edu)
An Elementary Problem Equivalent to the Riemann Hypothesis JC Lagarias (July 29, 2001 version)
URLリンク(ja.wikipedia.org)
リーマンゼータ関数
394:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/13 14:25:43 Di2gg/DV.net
>>376 つづき
さて、上記から見ると、オイラー定数γのうち、後半の -ln(n) 部分は初等関数なので、比較的素性は分かっているとして
調和数 Hn について、初等的かつ簡単な考察をしてみる
1.いま、γが有理数か無理数かの問題なので、Hnの小数部分に注目する
FR(x)=x-[x] という関数を考えよう。
[x]は、いわいる階段関数で、実数xに対し、xを超えない最大整数とする(ガウス記号)で、x 正として FR(x)=x-[x] は小数部分を表す
2.FR(Hn)=Hn-[Hn] は、その式の形から、n有限で有理数であって、分子/分母 の形になることは自明
分母に着目すると、単純に通分して、1*2*3・・・n となるが、一方 オイラー積を考えると
近似としては、分母は Πpi とできるだろう(素数の積で、 i=1~m ここに、piはn以下の素数の全て)
3.いずれにせよ、nが大きくなると、分母に来る素数piも増えて、FR(Hn)は循環小数として、周期がどんどん長くなる
n→∞では、周期も無限大になり、無理数になると予想される
その出自から、有限次数の代数方程式の根なるとも思えないから、おそらくは超越数
4.同様に、後半のFR(ln(n))=ln(n)-[ln(n)] を考察すると、任意 n>=2で超越数なので(下記 リンデマン)
n→∞でも、超越数になると予想される
5.そうすると、オイラー定数γは、全く出自の違う 2つの数 FR(Hn)-FR(ln(n)) が
n→∞で、超越数t1-超越数t2 となると予想される
直感的に、t1-t2 が有理数となるとすれば、t1とt2との間に、何か特別な関係があるはずと予想される
逆に、t1とt2との間に、特別な関係がないと予想されるならば、普通は超越数になるだろうと予想される
6.あるHnのn→∞の極限の値が、Riemann Hypothesisと等価だというから、数学的には Hnが 数学的に深い存在でしょう
ということは、FR(Hn)-FR(ln(n)) が有理数であるという証明は、簡単に済むとは思えないのです(^^;
もし、γが 有理数にしろ、無理数にしろ、はっきりするとすれば、調和数 Hnの深い研究から出てくる気がする
7.なので、γを直接狙わずに、調和数 Hnの方から攻めた方が、
論文ネタも多くあるだろうし、結果として、遠回りに見えて近道かもしれないと思う今日この頃(^^;
つづく
395:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/13 14:26:06 Di2gg/DV.net
>>377
つづき
(参考)
URLリンク(ja.wikipedia.org)
オイラー積
(抜粋)
式に形式的に s=1 を代入すると
ζ (1)= 1/{(1- 1/2)(1- 1/3)(1- 1/5)(1- 1/7)・・・ }
ここで左辺は調和級数であり、正の無限大に発散するので右辺も同様に発散すると考えられる。このことから素数の個数は有限ではないことが導かれる
URLリンク(ja.wikipedia.org)
超越数
初等関数の特殊値が超越数となる例
・代数的数 α≠0,1 に対する、log α (リンデマン)
(引用終り)
以上
396:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/13 14:29:32 Di2gg/DV.net
>>376 タイポ訂正
Σ(n)<=H_n+exp(H_n)lnH_n, (5)
↓
σ(n)<=H_n+exp(H_n)lnH_n, (5)
まあ、原文見てください(^^;
397:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/13 18:02:42.81 Di2gg/DV.net
>>377 補足
おれだったら、研究するなら、最低でも下記は読み込むけどね
(2013年なので、これでは足りないけどね)
URLリンク(arxiv.org)
EULER’S CONSTANT: EULER’S WORK AND MODERN DEVELOPMENTS
JEFFREY C. LAGARIAS Date: October 10, 2013.
(抜粋)
Abstract. This paper has two parts. The first part surveys Euler’s work on the constant γ = 0.57721... bearing his name, together with some of his related work on the
gamma function, values of the zeta function, and divergent series. The second part
describes various mathematical developments involving Euler’s constant, as well as
another constant, the Euler-Gompertz constant. These developments include connections with arithmetic functions and the Riemann hypothesis, and with sieve methods,
random permutations, and random matrix products. It also includes recent results on
Diophantine approximation and transcendence related to Euler’s constant.
Contents
1. Introduction 2
2. Euler’s work 4
2.1. Background 4
2.2. Harmonic series and Euler’s constant 5
2.3. The gamma function 11
2.4. Zeta values 13
2.5. Summing divergent series: the Euler-Gompertz constant 22
2.6. Euler-Mascheroni constant; Euler’s approach to research 27
3. Mathematical Developments 28
3.1. Euler’s constant and the gamma function 28
3.2. Euler’s constant and the zeta function 32
3.3. Euler’s constant and prime numbers 35
3.4. Euler’s constant and arithmetic functions 36
3.5. Euler’s constant and sieve methods: the Dickman function 39
3.6. Euler’s constant and sieve methods: the Buchstab function 42
3.7. Euler’s constant and the Riemann hypothesis 44
3.8. Generalized Euler constants and the Riemann hypothesis 46
3.9. Euler’s constant and extreme values of ζ(1 + it) and L(1, χ?d) 48
3.10. Euler’s constant and random permutations: cycle structure 51
略
4. Concluding remarks 77
398:132人目の素数さん
20/02/13 20:43:48.76 v2TIc5o5.net
バカ>>372に反論できず
反論できないということは敗北を認めたということなので、約束守ってスレ閉鎖して下さい
399:132人目の素数さん
20/02/13 21:20:24.66 li72tyeH.net
選択公理を使わずに
第3者が箱の中を覗いて100列の代表元を作った場合
時枝解法を実行すると、解答者は結局
その第3者が箱の中身と一致させた番号の箱を
99/100の確率で選ぶことになって
「当てられるのは当たり前となる」
という理屈は理解できましたか?
400:132人目の素数さん
20/02/13 21:30:03.21 li72tyeH.net
もう一点。
代表元を作ってくれる第3者がいないとき
あなたの言う"フルパワー"の選択公理は必要である。
なぜならば、100列に分けた中に
もし代表元が予め選ばれていない同値類に属する元があったら
解法は実行できないから。
したがって「どんなR^Nの元を出題されても解法が実行できる」
と言うためには、R^N/~のすべての同値類から
代表元が予め選ばれていることが必要。
401:132人目の素数さん
20/02/13 23:37:36.04 3fZQkZti.net
選択公理を試行として使うことはできない
402:132人目の素数さん
20/02/13 23:38:44.33 3fZQkZti.net
間違えた
選択関数を試行として使うことはできない
403:132人目の素数さん
20/02/14 00:05:24.83 8cT1yPek.net
>選択関数を試行として使うことはできない
試行は100列の中からランダムに1列選ぶことであり、選択函数は使っていません。
選択函数は単なる存在ではなく、値を知ることができると仮定されています。
404:132人目の素数さん
20/02/14 00:27:48 8cT1yPek.net
「選択函数は存在するが、値を知ることはできない」
と仮定しても、時枝解法は成立しない。
405:132人目の素数さん
20/02/14 00:54:38.14 Ktcqg9G/.net
選択関数を使って値を知るという事が試行になるんじゃないの?
しかしその試行は選択公理が試行の区別を無くしてしまうため無効になってしまう
406:132人目の素数さん
20/02/14 01:15:10.30 8cT1yPek.net
>>388
何か当てずっぽうで適当なこと言ってないですか?
「箱入り無数目」の時枝記事は読まれました?
読んでないなら読まれてから発言してください。
試行は出題された無限列を100列に分けてランダムに1列選ぶことであって
選択公理は一切関係ありません。
>しかしその試行は選択公理が試行の区別を無くしてしまうため無効になってしまう
意味不明なので、記事を読まれた上で詳しく自論を説明してください。
407:132人目の素数さん
20/02/14 01:15:21.09 KhbHkail.net
選択公理を仮定 ⇒ 選択関数が存在する ⇒ 代表系が存在する ⇒ どの実数列の決定番号も自然数
ここで各実数列の決定番号の値は不明だが、それでも「100列の決定番号の集合の単独最大元はたかだか一つ」が成立することに注意すれば、選択公理 ⇒ 時枝定理 が言えることが分かる。
時枝戦略にとって選択関数はただ存在するだけで必要十分。具体的にどんな関数かは不問。
408:132人目の素数さん
20/02/14 01:39:46.71 8cT1yPek.net
>試行は出題された無限列を100列に分けてランダムに1列選ぶことであって
>選択公理は一切関係ありません。
失礼。決定番号100本をΩとするなら、関係ありますね。
ちょっと混乱してきました。
記事にある数当てまでするとすれば、選択函数の値まで知ることが必要と思います。
409:132人目の素数さん
20/02/14 01:51:34.73 KhbHkail.net
>各実数列の決定番号の値は不明
は、我々には不明という意味ね。我々は代表系の存在しか分かってないから。
「各類から代表を選び,代表系を袋に蓄えておく.」が時枝戦略の手順なので
戦略の実行者は具体的な値を知ることができる設定。
410:132人目の素数さん
20/02/14 01:55:07.91 KhbHkail.net
>>391
>記事にある数当てまでするとすれば、選択函数の値まで知ることが必要と思います。
数当てする人は知ることができる設定ですよ。
「各類から代表を選び,代表系を袋に蓄えておく. 幾何的には商射影 R^N→ R^N/~の切断を選んだことになる.」
ですから。
411:132人目の素数さん
20/02/14 02:04:54.03 KhbHkail.net
この数当てする人って、数列の無限項すべてを見通せるとか、商射影 R^N→ R^N/~の切断を決定できるとか、人智を超えた能力を持っているのですw
だから我々の直観と異なる結果になっても実は不思議じゃないのです。数学が分かる人にとっては。
数学がダメな直観頼みな人は拒絶反応を示しますけどねw 実際このスレにも一人いますw
412:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:35:04.18 lUy1Die6.net
>>394
>この数当てする人って、数列の無限項すべてを見通せるとか、商射影 R^N→ R^N/~の切断を決定できるとか、人智を超えた能力を持っているのですw
正しい
選択公理とか、グロタン宇宙を作るとか、望月宇宙を作るとか、現実を超えた世界の話で、それが数学の力でしょ
>だから我々の直観と異なる結果になっても実は不思議じゃないのです。数学が分かる人にとっては。
正しい
そういう正しいパラドックスもある
>数学がダメな直観頼みな人は拒絶反応を示しますけどねw 実際このスレにも一人いますw
間違っている
将棋でも囲碁でも、トッププロは直感でソフト推奨の正解手が浮かぶ
へぼは、直感で、へぼ筋が浮かぶ
数学も同じ。レベルが上がれば、直感で正解が浮かぶ
数学へぼは、直感で不正解が浮かぶ。確率論を知らない人は、時枝読んで騙される
413:132人目の素数さん
20/02/14 07:36:20.07 HsY58hvJ.net
お早うございま~す!
皆様さわやかな💗バレンタイン💖の
朝をお迎えでしょうか?
え?普通?それは良かった!(´∇`*)
変態は二日酔いで~す(││Д│)ゲッ!
昨日のお誕生日のシャンパン2杯で
悪酔いしましたー!
来年こそは勝利のバレンタインに向けて心機一転、出直しまーす!
そこでまず、気がつきましたが、
名前が「変態」ってまずいです...
なぜ「変態」だの「ゲイ野郎」だの
身覚えのない捨て台詞を吐かれてしまったのか...?遡ってみて、たぶん、
ガルちゃんスレのキティ仲間の
虹女ちゃんが数板にくっついて来て、
出張嵐を敢行なさってらした時の
変態書き込みが名無しの仕業?って
ドン引きされちゃったのかな?って。。。
「変態」の異名を賜った理由がそれなら、全然勘違いですよ~だ。
虹女ちゃんのホモへの興味がどこから湧くのかは永遠の謎でしょうが、
名無しは*常連喪女スレ*参加者必修の
ホモビ(ホモAV)講座も受講してないぐらいのもぐりだから、あんな変態用語駆使しようが無いんです...
虹女ちゃんと名無しのホモ学での実力差は、ホモ学修士とホモ大学不合格ぐらいの差なんです...
なので、「変態」(←ホモ博士・プロホモ研究者並み)なんて、とんでもござらんので「気持ち悪い絵文字使い」で
「キ文字」に改名します。
きもじ、しめじっぽい。来年こそ明るい💝バレンタイン💗の朝を迎えるぞ~!
お騒がせしました。。。@きもじ@でしたー。。。
414:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:44:49.11 lUy1Die6.net
>>389-390
時枝における選択公理の役割については、賛成する
つまり、下記のSergiu HartのPDFで、時枝と類似のことを扱っている
GAME1が、選択公理を使う場合
GAME2が、選択公理を使わない場合
どちらも、ロジックは同じと、Sergiu Hartは言っている
これが正しいとすると、
1.フルパワー選択公理は必ずしも必要がないこと
2.フルパワー選択公理を使わないGAME2には、非可測集合は関係しないから、この点で時枝記事の後半の非可測議論は外れです
(参考)
URLリンク(www.ma.huji.ac.il)
Sergiu Hart
Some nice puzzles:
100 Cards
Choice Games ← これが問題のPDF URLリンク(www.ma.huji.ac.il)
(引用終り)
415:132人目の素数さん
20/02/14 07:45:02.01 HsY58hvJ.net
>>396
↑訂正します。
>ホモ大学 誤
ホモ女学院大学 正
(女子大でした。。。)
416:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:45:41.15 lUy1Die6.net
>>396
どうも。スレ主です。
レスありがとう(^^;
417:132人目の素数さん
20/02/14 07:50:36.36 HsY58hvJ.net
主様、お早うございましたー。
今年も🌺奥様💐と
良い💖バレンタインデー💗です様に。。。
🌺パートナー💗の方に恵まれてらして
羨ましぃ。。。
きもじも来年は主様みたいに
💗カップリング💞出来る様に頑張りまーす!
418:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:52:10.48 lUy1Die6.net
>>377 補足
(引用開始)
5.そうすると、オイラー定数γは、全く出自の違う 2つの数 FR(Hn)-FR(ln(n)) が
n→∞で、超越数t1-超越数t2 となると予想される
(引用終り)
ちょっと気付いたので補足しておく
lim n→∞ FR(Hn) が、収束するかどうかが、非自明
つまり、調和数Hnは、発散級数で n→∞になる
FR(Hn)はその小数部分を取り出したものだが、これが収束するかどうかが、非自明です
でも、n→∞ で、n有限で長い循環小数(=有理数)で、”循環周期が無限大になる”ことに限れば、証明できると思う
419:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:53:33.61 lUy1Die6.net
>>401 タイポ訂正
つまり、調和数Hnは、発散級数で n→∞になる
↓
つまり、調和数Hnは、発散級数で n→∞ Hn→∞ になる
420:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:54:32.55 lUy1Die6.net
>>400
はい、ご健闘をお祈りします(^^
421:132人目の素数さん
20/02/14 09:58:02 frNPW5Ql.net
>>389
>何か当てずっぽうで適当なこと言ってないですか?
お前が名
422:132人目の素数さん
20/02/14 13:00:56 Xeh8yllg.net
動画リンク
URLリンク(youtu.be)
ファイル名
令和のコペルニクス.mp4
六角アミダって有りそうで無いので自作しました。
423:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 14:39:21.58 TWX3ywPC.net
>>405
どうもスレ主です。
ありがとう
見た
意味わからんかったなw(^^;
0.25倍速で繰り返し見たよ(゜ロ゜;
424:132人目の素数さん
20/02/14 15:52:05.06 qY/rwOYr.net
>>406
ソースコードはこちら。
URLリンク(yahoo.jp)
425:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 16:11:52.83 TWX3ywPC.net
>>407
どうもスレ主です。
ご苦労様です。
426:132人目の素数さん
20/02/14 18:43:46 Xeh8yllg.net
>>1
>いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。
高校数学から少し難しくなる理由の一つとして、私は無限や収束の概念のように、
完全には可視化することができないコンセプトが入ってくることがあげられると思います。
そんなときにコンピュータを使うことができると、無限を理解する手助けになると思います。
URLリンク(mywarstory.tokyo)
数学の世界はコンピューターの世界だと思う。ユークリッド幾何学なんてのは現実世界に存在しないから。
427:132人目の素数さん
20/02/14 19:06:47 KhbHkail.net
>>395
>数学へぼは、直感で不正解が浮かぶ。確率論を知らない人は、時枝読んで騙される
確率論は無関係ですね。The Riddle は確率を使ってませんので。
確率論をもって時枝不成立などと世迷言を言う輩に数学は無理ですね。時枝=The Riddle+小学校の確率 ですから。
まあ騙されるなどと豪語するからには証明のギャップを示す自信があるのでしょうね。早く示して下さい。待ち草臥れましたよ?
428:132人目の素数さん
20/02/14 19:12:02 KhbHkail.net
>>395
>時枝読んで騙される
と豪語するのに証明のギャップを示さないということは
「証明のギャップなんてクソくらえ、数学は直観がすべてだ」
と言いたいんですかね?あなたらしいですね(^^;
そんなあなたに数学は無理ですね、諦めてスレ閉じましょう(^^
429:132人目の素数さん
20/02/14 19:15:41 Xeh8yllg.net
>>395
>将棋でも囲碁でも、トッププロは直感でソフト推奨の正解手が浮かぶ
すると現在のコンピューター囲碁の、トッププロを超える棋力は「直感」?
430:132人目の素数さん
20/02/14 19:38:09 8cT1yPek.net
「無限列があれば見通せる、選択函数があればその値を知ることができる」
が
431:解答者の設定だというのは>>392->>394さんのおっしゃる通りですね。
432:132人目の素数さん
20/02/14 19:41:34 8cT1yPek.net
>>404
試行は100列からランダムに1列選ぶこと。
アタリ(単独最大決定番号を持たない)ハズレ(単独最大決定番号を持つ)は選択函数に依存するが
試行の度に選択函数(同じことだが代表系)を変えるわけではない。
>しかしその試行は選択公理が試行の区別を無くしてしまうため無効になってしまう
意味不明なので、テキトーでないなら説明して下さい。
433:132人目の素数さん
20/02/14 19:45:00 Ktcqg9G/.net
>>409
アルゴリズムで解けない問題とかあるじゃん
434:132人目の素数さん
20/02/14 19:47:51 KhbHkail.net
コンピュータ上にはNすら実装できない訳だが
435:132人目の素数さん
20/02/14 19:52:24 Ktcqg9G/.net
>>414
お前がいみふw
436:132人目の素数さん
20/02/14 19:57:58 8cT1yPek.net
直感なんてタネを明かせば神秘性などない。
人類が進化の過程で身に付けてきた(間違うこともあるが)
効率よく答えに到達する「速い思考」でしょう。
ヒューリスティックという言葉もある。
一方で、数学は計算・論理で裏付けられた「遅い思考」に重点があることは確か。
437:132人目の素数さん
20/02/14 20:00:58 8cT1yPek.net
>>417
説明できないんですね? 了解しました。
438:132人目の素数さん
20/02/14 20:06:01 Ktcqg9G/.net
↑カッコツケンナ
439:132人目の素数さん
20/02/14 22:03:35.39 dnVoJYSz.net
ID:Ktcqg9G/ って中卒DQNだろ
数学板書くな いや 読むな
中卒DQNの貴様には全然理解できねぇから
ギャハハハハハハ(嘲笑)
440:132人目の素数さん
20/02/14 22:07:18.37 dnVoJYSz.net
>選択関数を試行として使うことはできない
中卒DQNが分けも分からず試行とかいうなよ
ギャハハハハハハ(嘲笑)
441:132人目の素数さん
20/02/14 22:11:30.67 dnVoJYSz.net
ID:Ktcqg9G/ ってこんなん↓だろ
URLリンク(www.youtube.com)
442:132人目の素数さん
20/02/14 22:49:30.72 dnVoJYSz.net
選択公理抜きの問題
10進自然数 100個から1個を選ぶ
他の99個の自然数の最大桁数+1をDとすると
選んだ自然数の桁の最大桁数がD以上である確率は1/100以下
443:132人目の素数さん
20/02/14 23:03:27.57 Ktcqg9G/.net
キャラ変えてやがるキメー
444:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 23:23:49.85 lUy1Die6.net
(>>110より)
URLリンク(www.kurims.kyoto-u.ac.jp)
平成19年度(第29回)数学入門公開講座テキスト(京都大学数理解析研究所,平成19年7月30日~8月2日開催)
R = T 定理の仕組みとその応用
安田 正大
この講座では, Fermat 予想の証明のために Wiles, Taylor-Wiles が確立した R = T 定理に関する最近の
発展と応用についてお話します.
この原稿は数学の専門家でない方を対象にして書かれており, 内容の正確さよりも, 大体の感じをつかん
でもらうことを目標としています. 読者に難解な印象を与えないようにするために, 専門家向けの文章では
許されないようなあいまいな表現の仕方をあえてしている部分があります.
1. Fermat 予想
19. 謝辞
草稿段階の本原稿に目を通してくださり, たくさんの有益な助言を下さいました山下剛さんに感謝いたし
ます.19
(引用終り)
これ、読んでみたけど、結構面白かった
お薦めです(^^