Inter-universal geometry と ABC予想 (応援スレ) 74 (973レス)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
468: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/29(金) 07:43:37.26 ID:QS2EkFr7 >>442 追加 >10進小数展開を考える。 x=1/10 として a1 ,a2,a3,・・が 0〜9の整数で >和や積では 各項の演算は 通常算術の通り繰り上がり 繰り下がりを導入して >a0は 任意整数とする >これで 形式的な冪級数を使った 無限10進少数展開を考えることができる >これが 従来のコーシー列の収束による実数の定義と一致することは 賢い人は少し考えれば分かるだろう 下記、”形式的冪級数環R[[x]]は、多項式環R[X]の(x)進完備化として見ることができる” に関連して 有理数環Q(実は体)を係数とする多項式Q[X]で 上記同様に ”x=1/10 として a1 ,a2,a3,・・が 0〜9の整数で 和や積では 各項の演算は 通常算術の通り繰り上がり 繰り下がりを導入して a0は 任意整数とする”ことで 有限小数環(これをUとする)ができる 有理数Qを完備化すると、実数Rを得ると同様に 有限小数環Uを完備化すると、R[X]→R[[x]]同様に 実数Rを得る■ 形式的冪級数環R[[x]]を、どうメンタルピクチャー(>>8 加藤文元)として とらえるか? それは各人自由だが 『形式冪級数は収束の概念とは独立して考えられる無限和』(下記) と考えるのも ”あり”だろう (参考) https://en.wikipedia.org/wiki/Formal_power_series Formal power series (google訳) 形式冪級数 形式冪級数は収束の概念とは独立して考えられる無限和であり、級数に対する通常の代数演算(加算、減算、乗算、除算、部分和など)で操作することができます。 A formal power series with coefficients in a ring R is called a formal power series over R. The formal power series over a ring R form a ring, commonly denoted by R[[x]]. (It can be seen as the (x)-adic completion of the polynomial ring R[x], in the same way as the p-adic integers are the p-adic completion of the ring of the integers.) 環R上の係数を持つ形式的な冪級数Rは、R環上の形式的冪級数環を形成する。 環R上の形式的冪級数は、一般的にはR[[×]]と書かれる。 (これは多項式環R[×]の(x)進完備化として見ることができる、p進整数が整数環のp進完備化であるのと同じです) http://rio2016.5ch.net/test/read.cgi/math/1755784703/468
469: 数学科卒 [] 2025/08/29(金) 07:50:25.29 ID:yvKsJHp6 >>468 >有限小数環Uを完備化すると、R[X]→R[[x]]同様に 実数Rを得る 具体的にどう完備化するか、ここに書けますか? http://rio2016.5ch.net/test/read.cgi/math/1755784703/469
471: 132人目の素数さん [] 2025/08/29(金) 09:21:50.91 ID:GHf0Hyq9 >>468 >>446をスルーするということは都合悪いことが書かれてるんですね? http://rio2016.5ch.net/test/read.cgi/math/1755784703/471
524: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/30(土) 16:36:09.71 ID:jE3Cs7nW >>468 戻る (引用開始) 形式的冪級数環R[[x]]を、どうメンタルピクチャー(>>8 加藤文元)として とらえるか? それは各人自由だが 『形式冪級数は収束の概念とは独立して考えられる無限和』(下記) と考えるのも ”あり”だろう https://en.wikipedia.org/wiki/Formal_power_series Formal power series (google訳) 形式冪級数 形式冪級数は収束の概念とは独立して考えられる無限和であり、級数に対する通常の代数演算(加算、減算、乗算、除算、部分和など)で操作することができます。 A formal power series with coefficients in a ring R is called a formal power series over R. The formal power series over a ring R form a ring, commonly denoted by R[[x]]. (It can be seen as the (x)-adic completion of the polynomial ring R[x], in the same way as the p-adic integers are the p-adic completion of the ring of the integers.) 環R上の係数を持つ形式的な冪級数Rは、R環上の形式的冪級数環を形成する。 環R上の形式的冪級数は、一般的にはR[[×]]と書かれる。 (これは多項式環R[×]の(x)進完備化として見ることができる、p進整数が整数環のp進完備化であるのと同じです) (引用終り) 形式冪級数 Σ_n=0〜∞ an X^n=a0+a1X+a2X^2+・・・ ここで >>483 川崎徹郎流 で 可算無限列 a0, a1X, a2X^2, ・・・ を構成して 間に和の記号 + を挿入 ”極限の操作を経ずに、いっぺんに定まる”>>483 で ”Σ_n=0〜∞ an X^n=a0+a1X+a2X^2+・・・” を考えれば良いだけのことよ■ http://rio2016.5ch.net/test/read.cgi/math/1755784703/524
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.045s