TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【数学者】低業績で教授・准教授になった人 Part.2
背理法不要論ってどうなん？
【速報】円周率と自然対数の底を足すと超越数になることが証明された【数学】
なぜ右翼と左翼は争っているのか
「増田哲也→猫◆→狢◆→狸◆」 次は！？
日本の若手数学者
カス厨房が語る長寿記録
高校数学の質問スレPart402
現代数学の系譜 工学物理雑談 古典ガロア理論も読む57
dx dy の意味は？
- 404 ：
- >>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δ-集合になる。
(引用終り)
つづき
- 405 ：
- >>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 の稠密開集合の可算交叉が空集合となるものが存在することとなり、ベールの範疇定理に反する。
つづき
- 406 ：
- >>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) であるという。残留的集合は函数の成す位相空間の生成的性質（英語版）を定義するのに用いられる。
(引用終り)
以上
- 407 ：
- >>404 関連
そうすると
>>254
(引用開始)
――――――――――――――――――――――――――――――
定理F：
A ⊂ R は Fσ集合とする。このとき、もし R−A が第一類集合ならば、
(a,b)⊂A を満たす開区間 (a,b) が存在する。
――――――――――――――――――――――――――――――
(引用終り)
これは、ミスを誘導したかも・・？
Aが、Bf相当で、Gδ集合
R−Aが、R−Bf相当で、Fσ集合（∵Gδ集合の補集合である）
では？
もし、ミスを誘導したなら、ゆるしてたもれ（＾＾；
小学校のかけ算順序問題×19
数理論理学（数学基礎論） その14
■初等関数研究所■
現代数学の系譜 古典ガロア理論を読む37
【未解決問題】奇数の完全数が存在しないことの証明5
【数学検定】数学検定（数検）総合スレッド Part.12
あしたのために（その１）
【1教科】山口大学理学部数理科学科【偏差値52.5】
数学板ID表示制検討スレッド
分からない問題はここに書いてね456
--------------------
【サッカー】J1・サガン鳥栖、20億円の赤字 赤字は2期連続
ライトノベル作家志望者が集うスレ 249
採用出来ない素人評論家・自称ライターw
【バーチャル】hololiveアンチスレ#4550【youtuber】
桧家住宅社員の巣
パンクスの聴くパンク以外の音楽２
ダウ暴落 -1000
【合格】２級土木施工管理技士【祈願】part8
岸 洋佑 part.4
太眉が似合う人は美形
【視聴率捏造】日テレのビデオリサーチ調査世帯の買収やネット工作/上場廃止〓その1【裁判で証明】
タモリ倶楽部★2
☆DAN HENER ダンヘンリー☆part1
雪組について語りましょ*Part223
【mobage】アイドルマスターシンデレラガールズ23106人目
新潟越後線小２女児死体遺棄・殺人事件
【ニューギン】 CRシュタインズゲート 魔眼発動2回目
【芸能】ケンコバが「摘発された『漫画村』巡る発言」でネット民から総スカン！？
【電子タバコ】HiLIQのeリキッド 59【VAPE】
こんなWindowsは嫌だ！
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
