[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
557(1): 2016/11/27(日)14:09 ID:CnaRbCke(3/8) AAS
>>555
だから『仮定』と言ってるだろｗアホウ。
558(1): 2016/11/27(日)14:26 ID:CnaRbCke(4/8) AAS
それともなに？『仮定』がZF公理系に矛盾するとでも言いたいの？
そういう主張は大歓迎だ。証明しろ。今すぐに。
証明できないなら論文を提示しろｗ
俺はR^Nが類別可能であることの無矛盾性など示す気はない。
（暇ならお前やれば？ｗ）
だから俺は『仮定』と言った。
このR^Nが類別可能であると『仮定』して記事を読んでいる。
仮定を認めないお前は時枝記事を語る資格無し。
（その場合、お前の大好きなヴィタリ集合の存在とどう折り合いをつけるのか知らんがｗ）
外野から『この仮定は成り立たないじゃないかなーー・・・』と孤独につぶやいてれば良しｗ
559: 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)14:30 ID:dKz7cXDk(32/37) AAS
>>556
コンピュータ計算のα線によるソフトエラー をご存知だろうか？
外部ﾘﾝｸ[html]:toshiba.semicon-storage.com
Si-SiO2界面 | 東芝 ストレージ＆デバイスソリューション社: 2016年4月現在
(抜粋)
ソフトエラー (参考文献6)
以前より、微細化デバイスではパッケージや配線材料に含まれる微量な放射線元素 (ウランU、トリウムTh) から放射されるα線が問題となっています。
このα線がデバイス内のPN接合近傍に入射された時、その飛程に沿って電子-正孔対を発生させます。
この発生した少数キャリアにより、DRAMやSRAMなどのメモリセル内のデバイス情報が反転してしまう現象をソフトエラーと呼んでいます。
ソフトエラーは、メモリセルモード、ビット線モードに大別されます。
省13
560(1): 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)14:37 ID:dKz7cXDk(33/37) AAS
>>557-558
仮定仮定か
「宝くじが当たって１億円」>>470 と同じだな
仮定が現実離れしていては意味がない
「貯金が１億円あれば」と仮定しても、現実の今日の生活とは無関係
「時枝の記事は正しい」と仮定すれば、議論はすぐ終わる
が、それでは雑誌の記事としては、意味がないだろ
あくまで、既存の数学の枠内でどう解釈できるのか
そして、時枝の示した解法が、どれだけ現実的意味を持つのかの評価
省1
561(1): 2016/11/27(日)14:48 ID:CnaRbCke(5/8) AAS
もう少し補足しよう。
有理数の差をもつ2つの実数を同一視した剰余群R/Qを考える。
たとえば1.234111111...と2.345111111....は同値である。
区間[0,1]で得られる代表系をヴィタリ集合と呼ぶのであった。
スレ主の論法によると、2つのa,b∈Rはいつまでたっても同値性を判定できない。
なぜなら末尾の1111...がいつなんどき2や3に変化するとも知れないからだ。
となると、スレ主にとっては『有理数の差をもつ2つの実数を同一視する』という
同値関係自体が認めがたいものになる。
よってスレ主がたびたび話題に挙げたヴィタリ集合は存在不可、
無意味な仮定に基づいた妄言に過ぎない、となる。
省4
562(1): 2016/11/27(日)14:54 ID:CnaRbCke(6/8) AAS
じゃあ時間の無駄なのでさようなら。御馬鹿殿。
563(1): 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)14:57 ID:dKz7cXDk(34/37) AAS
>>541
個人的に下記の記事は結構面白かった
外部ﾘﾝｸ[html]:eman-physics.net
非相対論的にスピンを導く シュレーディンガー方程式の線形化。
(抜粋)
動機
ディラック方程式ばかりを使ってスピンの話をしていると、スピンは相対論的な効果の現れだというイメージで考えが固まってしまう惧れがある。今回はディラック方程式を使うことなくスピンの存在を導いて見せて、その辺りの考えを突き崩しておくことにしよう。
基本的な思想は前にクライン・ゴルドン方程式を線形化してディラック方程式を得たのと同じなのだが、途中の計算には少しばかり技巧的なところがあって、一体どうしてこんなことが思いつけるだろうかと感じるかも知れない。
なぜそんな手続きが必要なのか、と問われたら何と答えようか。時間と空間座標は対等であるべきだから・・・などと説明すれば、やはり相対論の思想が根底にあるのではないか、という結論になってしまいそうだ。
省4
564: 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)14:59 ID:dKz7cXDk(35/37) AAS
>>563 つづき
手続きの説明
この展開結果を (2) 式と比較すれば解決しそうである。しかし残念ながら、今回はそれほど単純には答えは出ない。できるものならやってみるといい。私ならこの程度の障害にぶつかった時点で「シュレーディンガー方程式の線形化は不可能である」と結論して早々に諦めてしまうことだろう。
しかし頭のいい人がいるもので、A、B、Cとは全く別の係数A′、B′、C′を導入して、
という式を作り、これを展開したものが (2) 式と同じになるようにすればいいと考えたのである。係数を増やすなんて無茶なことをすればそれだけ面倒な要素が増えてしまう気がする。そういう事は出来るだけ避けたいという思いが新しい思い付きを鈍らせる原因になっているのだが、実はそれほど複雑なことにはならない。
省4
565(2): 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)15:17 ID:dKz7cXDk(36/37) AAS
>>561-562
その声は、Tさんだな
なんど、「さようなら」を言っては戻ってきたことか？
もう、来るなよ（＾＾；
ヴィタリ集合論との違いは
１．ヴィタリ集合論は、ヒルベルト空間の中(内積＝距離が定義され、完備な空間)。時枝解法R^Nは、外
２．さらに、時枝解法は、その後完全同値類分類を達成し、代表元を定めて、決定番号を決めるプロセスに繋げる必要がある
３．さらに、１００列で、確率99/100を導くことのできる良い性質を備えなければならない
いま論じているのは、「時枝解法R^Nは、確率99/100を導くことのできる良い性質を備えてはいない」（解法不成立）という視点からの議論だよ
以前にも書いたが、ヴィタリ集合論、ヒルベルト空間の中では、しっぽ（小数点の下位）の先の些末な差は、距離が定義されているから、小さくなり、ゼロに収束するのだ
省5
566(15): 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)15:49 ID:dKz7cXDk(37/37) AAS
>>565 補足
外部ﾘﾝｸ:ja.wikipedia.org
(抜粋)
超越数（ちょうえつすう、英: transcendental number）とは、代数的数でない数、すなわちどんな有理係数の代数方程式
の解（英語版）にもならないような複素数のことである。
(引用終り)
外部ﾘﾝｸ:ja.wikipedia.org
(抜粋)
代数的数（だいすうてきすう、英: algebraic number）とは、ある有理数係数の 0 でない多項式の根となる複素数のことである。
(引用終り)
省16
567: 2016/11/27(日)16:21 ID:CnaRbCke(7/8) AAS
>>566
> さて、命題A：「Tran ∈ 超越数、 Algn ∈ 代数的数」 → 命題B：「Tran と Algnとは同じしっぽの同値類に属さない」 が言える ∵無限少数展開のしっぽは一致しないから
>
> つまり、命題Aで、超越数や代数的数という情報を与えたから、命題Bが言えたのだ
お前の主張はほとんどこれｗｗ
『aとbが同値でないならば、aとbは同値でない』
568(2): 2016/11/27(日)16:31 ID:C7ghjjL/(6/11) AAS
>>548
>どうやって、無限数列のしっぽを見分けるのか？
>（時枝記事の>>114 推移律チェックは、「無限数列のしっぽが見分けられたら」が前提であることを、再度注意しておくよ）”
Nで1以上の自然数全体の集合を表わす。xy平面 R^2 上で、すべての n∈N に対して、x座標がnの点 P(n) を通りx軸に垂直
な直線 L(n) を引く。直線 L(n) 上の1点から R^2 上の右側に向けx座標を増加させながら曲線 C(n) を引く。
いわゆる、幾何的には高校で習うような関数のグラフを考えることになる。すると、各 C(n) n∈N に対して、
数列空間 R^N の点 s＝(s_1, s_2, s_3,…) の全体が構成される。そこでスレ主が>>548で
>１）無限数列のしっぽを見分ける
> ↓
>２）しっぽの一致不一致が分かる
省8
569(1): 2016/11/27(日)16:34 ID:C7ghjjL/(7/11) AAS
>>548
(>>568の続き)
スレ主のいうように1)と2)の実行が出来るかどうかを問題視するにあたっては、
文脈上と読解上「無限数列のしっぽを見分けられないこと」を前提とするしかない。
つまり、「無限数列のしっぽを見分けられない」として話を進めることになる。
3角関数のグラフの曲線のように、上下の値が有界であるような周期関数のグラフ C(n), ∃n∈N に対して、
C(n) との交点が可算無限個存在するような直線 l(n) を引いた場合も含めて考えることになる。
このような可算無限個の交点と l(n) の存在性は、周期関数の定義と周期関数の上下の有界性から幾何的にはすぐ分かる。
各 n∈N に対して L(n) と l(n) の交点のx座標を s_n とする。値が小さい方から s_1, s_2, … と並べて行く。
すると、R^N の点 s＝(s_1, s_2, …) が構成出来る。このような R^N の点 s＝(s_1, s_2, …) の構成は、
省13
570: 2016/11/27(日)16:35 ID:CnaRbCke(8/8) AAS
混沌のおっちゃんが現れたので本当に退散しますｗ
お勤めがんばってねスレ主さん
571: 2016/11/27(日)16:44 ID:C7ghjjL/(8/11) AAS
>>548
ぶっちゃけ、スレ主のいう問いかけは、スレ主が杉浦解析入門のような
微分積分の本を読んでいないことがバレバレになるだけの問いかけなんだよ。
572(1): 2016/11/27(日)17:21 ID:C7ghjjL/(9/11) AAS
>>548
スレ主の趣旨に添うと、>>569の
>C(n) との交点が可算無限個存在するような直線 l(n) を引いた場合も含めて考えることになる。
と書いた段階では、まだ「l(n)」は「直線」ではなく一般には「曲線」として考えているから、
「直線 l(n) を引いた」は「曲線 l(n) を引いた」に訂正しないといけないな。
ぶっちゃけ、数列や微分積分が分かる人にとっては、l(n) が直線であることは明らかなんだけど。
じゃ、疲れたから私も寝る。
573: 2016/11/27(日)17:33 ID:C7ghjjL/(10/11) AAS
>>548
>>572の
>ぶっちゃけ、数列や微分積分が分かる人にとっては、l(n) が直線であることは明らかなんだけど。
はいい過ぎで、間違いだったから取り消し。反例があった。
それじゃ、私は寝る。
574: 2016/11/27(日)17:58 ID:C7ghjjL/(11/11) AAS
>>548
>>568の
>すると、各 C(n) n∈N に対して、数列空間 R^N の点 …(略)…
の部分は
>すると、各 C(n) n∈N に対して、C(n) と L(n) との交点 (n, s_n) s_n∈R
>を考えることにより、数列空間 R^N の点 …(略)…
に訂正。じゃ、本当に寝る。
575(2): 2016/11/27(日)18:02 ID:VHnvKcoU(1/2) AAS
>>560
＞仮定が現実離れしていては意味がない
現実離れしていると？
なら、類別不可能であることを容易に証明できるわけだな？
さあ、証明してみてくれ
できないなら、お前は只のホラ吹きだ
576: 2016/11/27(日)18:49 ID:lTB4w9cF(1) AAS
> 無限数列のしっぽでの同値類分類：数列のしっぽが一致すれば同値＝つまりは、数列の最後の数が一致するかどうか
> 有限数列であれば、なんの問題もない。だが、可算無限個の箱に入った数列ではどうか？
>>498や
2chｽﾚ:math の補足になるが
a0=1, a1=1.4, a2=1.41, a3=1.414, a4=1.4142, ... , a(D-1), aD=√2, √2, √2, √2, ...
b0=1, b1=4, b2=1, b3=4, b4=2, ... , b(D-1), bD={√2の小数点以下n桁目}, b(D+1)={√2の小数点以下n+1桁目}, ...
a0=2, a1=2.7, a2=2.71, a3=2.718, a4=2.7182, ... , a(D-1), aD=e, e, e, e, ...
b0=2, b1=7, b2=1, b3=8, b4=2, ... , b(D-1), bD={eの小数点以下n桁目}, b(D+1)={eの小数点以下n+1桁目}, ...
時枝記事の極限(べったり版)の場合だとa0はある項以降が全て同じ数字になってaD=√2, √2, √2, √2, ... であり
ある項以降が全て√2であることを(√2)^*で表せばa0=1, a1=1.4, a2=(√2)^*やa0=1, a1=1.4, a2=1.41, a3=1.414, a4=(√2)^*と書ける
省11
上下前次1-新書関写板覧索設栞歴
あと 140 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s