現代数学の系譜工学物理雑談古典ガロア理論も読む58

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む58 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

2: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/01/13(日) 23:11:20.33 ID:YBA+ZVNe

過去スレ （そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 http://rio2016.2ch.net/test/read.cgi/math/1506152332/
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。）
（が、最近関数論の芽茎層の理論との親和性に気付いたので、後でテンプレに入れます。（＾＾ ）

過去スレリンク集
57 https://rio2016.5ch.net/test/read.cgi/math/1546308968/
56 https://rio2016.5ch.net/test/read.cgi/math/1544924705/
55 https://rio2016.5ch.net/test/read.cgi/math/1543319499/
54 https://rio2016.5ch.net/test/read.cgi/math/1540684573/
53 https://rio2016.5ch.net/test/read.cgi/math/1537363981/
52 https://rio2016.5ch.net/test/read.cgi/math/1526384086/
51 https://rio2016.5ch.net/test/read.cgi/math/1518094687/
50 https://rio2016.5ch.net/test/read.cgi/math/1516499937/
49 https://rio2016.5ch.net/test/read.cgi/math/1514376850/
48 https://rio2016.5ch.net/test/read.cgi/math/1513201859/
47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/
46 https://rio2016.5ch.net/test/read.cgi/math/1510442940/
45 https://rio2016.5ch.net/test/read.cgi/math/1508931882/
44 http://rio2016.2ch.net/test/read.cgi/math/1506848694/
43 http://rio2016.2ch.net/test/read.cgi/math/1506152332/ （だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ）
42 http://rio2016.2ch.net/test/read.cgi/math/1505609511/
41 http://rio2016.2ch.net/test/read.cgi/math/1504332595/

以下次へ

http://rio2016.5ch.net/test/read.cgi/math/1547388554/2

25: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/01/13(日) 23:29:23.33 ID:YBA+ZVNe

>>24
つづき

スレ55 https://rio2016.5ch.net/test/read.cgi/math/1543319499/25
25 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2018/11/27(火) 22:14:50.22 ID:Oqu1XNS+ [22/24]
>>21 （関連）
荒筋だけ書いておくと

１）微分可能な１実変数函数の層の芽を考える
２）問題の未知函数をfとして、仮にx=0でf(0)=0のみが分っている とする
　　未知函数fの他の値はマスクされていて、知らされていないとする
３）ここで、なんでも良いのだが、既知の函数でx=0でf1(0)=1 をとる
４）f1(0)=1の芽（同値類）を考えて、同値類の代表を函数g1とする
５）f1とg1が、ある近傍δ1で、一致するとする。
　　つまり、0 < x <δ1 で f1＝g が成り立つとする
　　δ1を、時枝記事の決定番号にならって、決定数と呼ぶことにする
６）問題の函数をfについて、同様にf(0)=0の芽（同値類）を考えて、同値類の代表を函数gとする
　　同様に、δを決定数とする
７）δ1＜δ である確率は1/2にすぎない
８）そこで、δ1より少し小さい値で、例えば、0.9*δ1をとり、(0, 0.9*δ1)の値のみを知ると
　　f(0)=0の芽（同値類）が分かり、同値類の代表を函数gを知ることができ
　　(0.9*δ1, δ1)の値について、函数の値を知ることができる
　　即ち、確率 1/2で、函数gと一致するとして、　(0.9*δ1, δ1)の未知函数fの値を決定できる
９）既知の函数の芽を、99個用意すれば、時枝記事と同じように、
　　決定数の最大値をDとして、確率 99/100で、
　　(0.9*D, D)の値について、函数gと一致するとして、未知函数fの値を決定できる
10）なお、0.9は、もっと小さい値とすることができるだろう
　　（函数の芽（同値類）を知るだけで良いので、ごく近傍の函数の値を知れば良いから）

果たして、これは数学的に正しいのだろうか？

以上です
函数の芽と、時枝の数列との関連は、>>24ご参照
なお、細かい点、および、参考文献の紹介は後で

つづく

http://rio2016.5ch.net/test/read.cgi/math/1547388554/25

204: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/01/15(火) 14:39:59.33 ID:mTkr94n/

>>203
つづき

（参考）
https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0
多項式環

http://www.f-denshi.com/
ときわ台学
http://www.f-denshi.com/000TokiwaJPN/01daisu/240rng.html
ときわ台学 The 講義
(抜粋)
４　多項式環
［多項式］　
　可換環R 上の多項式 r とは，係数と呼ばれる ｒ1，r2，・・・rrn ∈ R と不定元　x　を用いて，
r ＝ r0＋r1x＋r2x2＋・・・＋rnxn　　，n ∈ 整数　　（＝ r0＋r1・x＋r2・x2＋・・・＋rrn・xn　）
の形で表せるものを多項式いう。
(引用終わり)

https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0
形式的冪級数
(抜粋)
定義
A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, ...) を A の元として、
Σ _{n=0}^{∞}a_{n}X^{n}=a_{0}+a_{1}X+a_{2}X^{2}+・・・
の形をしたものである。ある m が存在して n ? m のとき an = 0 となるようなものは多項式と見なすことができる。
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。
(引用終わり)

https://pisan-dub.jp/doc/2011/20110114001/index.html
整数論事始 総目次
https://pisan-dub.jp/doc/2011/20110114001/3_2.html
3.2 一変数多項式と形式的冪級数 著者:梅谷 武 更新:2013-06-17
(抜粋)
?この可換環の元の列で0でない元が無限にあるものを形式的冪級数、0でない元が有限のものを多項式、多項式の中で特0でない元が1個しかないものを単項式といいます。
(引用終わり)

http://mathematics-pdf.com/pdf/
PDF形式の数学ノート よしいず
http://mathematics-pdf.com/pdf/formal_power_series.pdf
形式的冪級数(144KB, 11/01/26)
(抜粋)
?この可換環Rの係数列の集合から成る可換環をR上の形式的冪級数環といいます。特に0でない元が有限個だけの係数列から成る部分集合を考えると、これは加法と乗法に関して閉じていますので形式的冪級数環の部分環になっていますが、これをR上の多項式環といいます。
(引用終わり)
つづく

http://rio2016.5ch.net/test/read.cgi/math/1547388554/204

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.046s