[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 http://rio2016.5ch.net/test/read.cgi/math/1578091012/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
25: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2020/01/05(日) 00:01:08.55 ID:dWKXmW0r >>22 タイポ訂正 2つの形式的冪級数の差 Fp-Fp'を作ると、nから先が一致するから ↓ 2つの形式的冪級数の差 Fp-Fp'を作ると、n0から先が一致するから http://rio2016.5ch.net/test/read.cgi/math/1578091012/25
27: 132人目の素数さん [sage] 2020/01/05(日) 08:37:19.51 ID:CpJpHnug >>21-25 長々と解説してるけど…その解説は肝心の 「尻尾の同値類全体に共通する尻尾がある」 の証明にはならないね 証明できるわけない だってウソだからw https://rio2016.5ch.net/test/read.cgi/math/1576852086/280 同値類から取り出した有限個の列からは共通の尻尾がとれるが 無限個の列からは共通の尻尾が取り出せない場合がある! http://rio2016.5ch.net/test/read.cgi/math/1578091012/27
29: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2020/01/05(日) 09:20:34.97 ID:dWKXmW0r >>27 いいんじゃね? >>21-25で言いたいことは 1.時枝の可算無限数列 は、それを係数とする形式的冪級数として捉えることができる 2.シッポの同値類で、同じ同値類に属する形式的冪級数FpとFp'の差を取って、 多項式 p'=Fp-Fp' で、p'∈R[X] (多項式環)で、n0-1次多項式 ができる 3.Fpを同値類の代表とする 時枝のいう決定番号dは、d=n0です (参考) スレ20 https://rio2016.5ch.net/test/read.cgi/math/1466279209/3 3 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2016/06/19(日) 04:51:43.66 ID:suG/dCz5 [3/23] (抜粋) 各類から代表を選び,代表系を袋に蓄えておく. 幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる. 任意の実数列S に対し,袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ. sとrとがそこから先ずっと一致する番号をsの決定番号と呼び,d = d(s)と記す. (引用終り) 4.このように考えると 決定番号dの大小比較は、2つの形式的冪級数(代表の級数と問題の級数と)の差の対抗式pの次数n0に直して考えることができ 非常に考え役成るのです 5.私は、一つの同値類には、固有のシッポが存在すると考えています。同値類内の形式的冪級数たちは、その固有のシッポを共有する 証明はしません。時枝では得に使いませんから。証明など、横道にそれるだけ でも、一般に同値類には、そういう”不変量”みたいなのが、あることが多いことだけを指摘しておきます(下記) (参考) https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E 同値類 (抜粋) 不変量 〜 が X 上の同値関係で P(x) が,x 〜 y であるときにはいつでも,P(y) が真ならば P(x) が真であるような,X の元の性質であるとき,性質 P は 〜 の不変量,あるいは関係 〜 のもとで well-defined であるといわれる. http://rio2016.5ch.net/test/read.cgi/math/1578091012/29
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.035s