[過去ﾛｸﾞ]
スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
スレタイ 箱入り無数目を語る部屋3 http://rio2016.5ch.net/test/read.cgi/math/1660377072/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
487: １３２人目の素数さん [] 2022/09/29(木) 07:33:10.83 ID:XaGDq0h2 >>486 つづき https://webcache.googleusercontent.com/search?q=cache:b2GuMTVX_soJ:https://twitter.com/maspy_stars/status/1177583822197555200&cd=4&hl=ja&ct=clnk&gl=jp maspy 多項式環 k[X] → 極大イデアル(X)で完備化 → 形式的べき級数環 k[[X]] → 商体 → 形式的Laurent級数体 k((X)) Sep 27, 2019 maspy Sep 27, 2019 有理整数環 Z → 極大イデアル(p)で完備化 → p進整数環 Z_p → 商体 → p進数体 Q_p https://mathlog.info/articles/3246 Mathlog 子葉 最終更新日：07月22日（多分2022年） p進数の一般論：完備離散付値体のお話 形式的冪級数環 k[[x]] 体係数多項式環k[x]の素イデアル(x)による完備化k[[x]]を考えると k[[x]]は形式的冪級数環 定理 12 Aを完備離散付値付値環、k=A/pをその剰余体とする。このとき分数体Kとkの標数が一致すればA?k[[x]]が成り立つ。 (引用終り) 以上 https://twitter.com/5chan_nel (5ch newer account) http://rio2016.5ch.net/test/read.cgi/math/1660377072/487
488: １３２人目の素数さん [sage] 2022/09/29(木) 13:28:08.47 ID:Vbe/WZxQ >>486-487 時枝記事とは無関係な補足を連発しているスレ主であるが、 いくら多項式環・ベキ級数環について補足を繰り返したって、 時枝戦術が勝率ゼロであることは導けないぞ。 なんたって、決定番号は常に有限値だからな。 出題者がランダムに出題した場合には、出力される決定番号は毎回異なるが、 それでも「その回ごとに有限値」だからね。 少なくとも、「決定番号は確率1で＋∞」などというバカみたいなことは言えない。 決定番号の "期待値" に相当する量は＋∞かもしれないが、 スレ主はこれを「決定番号は確率1で＋∞ 」だと勘違いしているわけだ。 >>480で「封筒の中身自体が確率1で＋∞ドルである 」と勘違いするのと 同じ間違え方をしてるわけ。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/488
489: １３２人目の素数さん [] 2022/09/29(木) 21:18:33.55 ID:XaGDq0h2 >>487 補足 レーヴェンハイム?スコーレムの定理で "定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す" 多項式環において、その元の各多項式は有限次だが、 その次数はいくらでも大きくとることができる 従って、多項式環は無限次元線形空間を成す>>459 (代数学 I (第2回) 都築 暢夫 広島大) 無限次元線形空間においては、無限次元ベクトルが取れる というか、無限次元線形空間からベクトルを無作為に選べば、それは当然無限次元 無限次元ベクトル（a0,a1,・・an,・・）を多項式に翻訳すれば f(x)＝a0+a1x^1+・・anx^n・・ となる この式の次数はいかなる有限次よりも大であることは明白 これは、レーヴェンハイム?スコーレムの定理の上方部分の通り、正統な結果である (参考) https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86 レーヴェンハイム?スコーレムの定理（英: Lowenheim?Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。 定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1660377072/489
705: １３２人目の素数さん [] 2022/10/10(月) 23:11:24.78 ID:EBzEjr+/ >>681 補足 もう既に書いたことだが １）可算無限列 a0,a1,a2,・・an,・・を 形式的冪級数τ＝a0+a1x+a2x^2+・・+anx^n+・・に写して考えることができる（>>601 柳田伸太郎 名大 ） ２）しっぽの同値類は、同じ同値類に属する形式的冪級数τ1,τ2で差を作ると f(x)＝τ1-τ2 と多項式になる（等しいしっぽの項の部分が消える） 逆に、τ1＝τ2+f(x)と書ける。つまり、同じ同値類に属する形式的冪級数は、τ2と多項式f(x) の和に書ける このことから、一つの同値類全体は、あるτ＋K[x] と書ける（K[x] は多項式環>>601で、 "τ＋K[x]"の+は、記号の濫用） ３）決定番号は、多項式f(x)の次数nのとき、n+1となる （つまり、n+1以降が共通のしっぽ部分になる） ４）形式的冪級数環の空間 K[[x]]>>601と多項式環K[x] との関係は 多項式環K[x]を完備化すると K[[x]]になると考えることができる >>624 >>486-487 （ちょうど、有限小数環を完備化すると、無限小数たる超越数等を含む実数の集合になるのと同じ）>>624>>629 ５）多項式環K[x]の中で、コーシー列が形成できて、それが例えば超越関数τに収束する。が、τには到達しない（寸止め状態（皮一枚残り））>>681 それは、可能無限状態で、いくらでも超越関数τに近い多項式が作れるってこと ６）これを、同値類のしっぽの視点で考えると、 いくらでも しっぽを小さくできて、しっぽを無限小にできるということ（本来はこちら）>>681 ７）だから、時枝記事のように、 同値類のしっぽが無限大の大きさであることを前提とした確率99/100の議論は、前提が間違っているってこと つまり、”時枝記事の「99/100以上」という勝率”が、根本から間違っているってこと http://rio2016.5ch.net/test/read.cgi/math/1660377072/705
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.043s