現代数学の系譜 工学物理雑談 古典ガロア理論も読む51
■ このスレッドは過去ログ倉庫に格納されています
“現代数学の系譜 物理工学雑談 古典ガロア理論も読む”
数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
皆さまのご尽力で、伝統あるガロアすれは、
過去、数学板での勢いランキングで、常に上位です。（勢い１位の時も多い（＾＾ ）
このスレは、現代数学のもとになった物理工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで良ければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。
なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
High level people
低脳幼稚園児のAAお絵かき
お断り！
小学生がいますので、18金よろしくね！（＾＾
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 http://rio2016.2ch.net/test/read.cgi/math/1506152332/
旧スレが512KBオーバー（又は間近）で、新スレ立てる
（スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。） >>397
>定理1.7ではB_f は G_δ 集合かつ R−B_f は F_σ 集合なることが仮定されている。
ああ〜？
ひょっとして、おっちゃんは、私スレ主の間違いを指摘してくれたのかな？
いま検索すると・・
>>242
(引用開始)
まあ、普通の連続・不連続で、R中の部分集合として連続がFσ、不連続がGδとして存在するの類似かな？と
つまり、「Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }」が連続に相当しFσ
補集合 R−Bf が、不連続に相当しGδだろうと
(引用終り)
これFσとGδとの当てはめが、全く逆だな。
お恥ずかしい次第だ。
息をするようにケアレスミスしているな〜（＾＾；
正しくは
”まあ、普通の連続・不連続で、R中の部分集合として連続がGδ、不連続がFσとして存在するの類似かな？と
つまり、「Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }」が連続に相当しGδ
補集合 R−Bf が、不連続に相当しFσだろうと”
です
（参考）
https://ja.wikipedia.org/wiki/F%CF%83%E9%9B%86%E5%90%88
Fσ集合
(抜粋)
Fσ-集合とは、位相空間の部分集合で、閉集合の可算和に書けるようなものを言う。由来としては、F が閉（集合）を意味するフランス語の ferme から、σ が合併を意味するフランス語の somme からそれぞれとられている。
性質
Fσ-集合の補集合は Gδ-集合である。
可算個の Fσ-集合の合併はまた Fσ-集合であり、有限個の Fσ-集合の交わりはふたたび Fσ-集合を成す（Fσ-集合の可算交叉は Fσδ-集合という）。
例と反例
・任意の閉集合は明らかに Fσ-集合である。
・有理数全体の成す集合 Q は実数全体の成す集合 R の Fσ-集合である。無理数全体の成す集合 P = R ? Q は R の Fσ-集合ではない。
・距離化可能空間においては、任意の開集合が Fσ-集合になり、また任意の閉集合が Gδ-集合になる。
(引用終り)
つづき >>404 つづく
https://ja.wikipedia.org/wiki/G%CE%B4%E9%9B%86%E5%90%88
Gδ集合
(抜粋)
Gδ-集合あるいは内極限集合 (inner limiting set) とは、位相空間の部分集合で開集合の可算交叉となっているものを言う。
由来については、G というのが開集合を意味するドイツ語の Gebiet から、δ というのが交わりを意味するドイツ語の Durchschnitt からそれぞれとられたものである。
Gδ-集合（およびその双対であるFσ-集合）は、ボレル階層（英語版）において二階 (second level) の集合であり、より正確には Gδ-集合の全体はちょうど Π02-階集合である。
例と反例
・任意の開集合は明らかに Gδ-集合である。
・無理数の全体 P は実数直線 R の Gδ-集合である。実際 P は、q が任意の有理数を亙るときの一点集合 {q} の R における補集合すべての交わりとして表せる。
・有理数の全体 Q は実数直線 R の Gδ-集合ではない。実際、Q が開集合列 An の交わりに書けるとすると、各 An は（Q が R において稠密ゆえ）何れも R において稠密でなければならないが、
上でやったように無理数全体の集合 P は稠密開集合の可算交叉として書けるから、P と Q との交わりをとれば R の稠密開集合の可算交叉が空集合となるものが存在することとなり、ベールの範疇定理に反する。
つづき >>405 つづく
Gδ-集合の重要な性質は、位相空間から距離空間への連続写像がその上で定義され得るということにある。厳密に言えば、そのような写像 f が連続となるような点全体の成す集合は {\displaystyle G_{\delta }} G_{\delta }-集合を成すということである。これは、点 p における連続性というのが Π02-式で定義されることによる。
具体的に書けば、任意の正整数 n に対して p を含む開集合 U で任意の x, y ∈ U について d(x, y) < 1/n を満たすようなものが取れるが、
一旦 n の値を固定して対応する部分集合 U が取れるような点 p の全体を考えるとそれ自身が（開集合の和として）開集合であり、ここで n に対して普遍量化子を附すことは得られた開集合たちの可算交叉をとることに対応するから、所期の結論を得る。実数直線においてはこの逆も成り立つ：
実数直線の任意の Gδ-部分集合 A に対し、適当な函数 f: R → R が存在して、f は A に属する点のみにおいて連続となるようにすることができる。
このことから、無理数全体の成す集合が連続点集合であるような函数は存在する（トマエの函数（英語版）などを参照）が、有理数の上でのみ連続な函数というのは構成不可能であることが帰結される。
基本的な性質
・Gδ-集合の補集合はFσ-集合である。
・可算個の Gδ-集合の交わりはやはり Gδ-集合である。また、有限個の Gδ-集合の合併はふたたび Gδ-集合となる（可算個の Gδ-集合の合併は Gδσ-集合と呼ばれる）。
・距離化可能空間において、任意の閉集合は Gδ-集合であり、双対的に任意の開集合は Fσ-集合になる。
・稠密開集合の可算族の交わりを含むような集合は残留的 (comeagre, residual) であるという。残留的集合は函数の成す位相空間の生成的性質（英語版）を定義するのに用いられる。
(引用終り)
以上 >>404 関連
そうすると
>>254
(引用開始)
――――――――――――――――――――――――――――――
定理F：
A ⊂ R は Fσ集合とする。このとき、もし R−A が第一類集合ならば、
(a,b)⊂A を満たす開区間 (a,b) が存在する。
――――――――――――――――――――――――――――――
(引用終り)
これは、ミスを誘導したかも・・？
Aが、Bf相当で、Gδ集合
R−Aが、R−Bf相当で、Fσ集合（∵Gδ集合の補集合である）
では？
もし、ミスを誘導したなら、ゆるしてたもれ（＾＾； ■ このスレッドは過去ログ倉庫に格納されています
