暇つぶし2chat MATH
- 暇つぶし2ch473:現代数学の系譜 雑談 古典ガロア理論も読む
18/03/04 17:15:21.20 K2uul6/8.net
>>421
定理Fは、こういうこと(下記)かな?
(>>254 より)
定理F:
A ⊂ R は Fσ集合とする。このとき、もし R-A が第一類集合ならば、
(a,b)⊂A を満たす開区間 (a,b) が存在する。
(引用終り)
>>409より)
URLリンク(pc1.math.gakushuin.ac.jp)
位相空間 川崎徹郎 学習院 2016
(抜粋)
P21
(参考)ベールのカテゴリー定理
数直線の部分集合A ⊂ R について,A が疎であるとは閉包A が開区間(α,β) を含まないときをいう。
疎集合可算個の合併で表される集合を第1類集合といい,そうでないものを第2類集合という。
定理 (ベール(Baire) のカテゴリー定理 ) R は第2類集合である。
Q は第1類集合で,また,第1類集合2 つの合併はまた第1類集合であるから,R - Q は第2類集合である。
A ⊂ R を疎集合とすると,R - A は開かつ稠密である。したがって,前定理 は次のようにもいいかえられる。
定理 R において,可算個の開かつ稠密集合の共通部分は稠密である。
定義 開集合可算個の共通部分で表される集合をGδ 集合という。閉集合可算個の和集合で表される集合をFσ 集合という。
Gδ 集合の補集合はFσ 集合である。また,Fσ 集合の補集合はGδ 集合である。
例3.38 Q はR のFσ 集合で閉集合でない。したがって,R - Q はR のGδ集合で開集合でない。
定理 Q はR のGδ 集合でない。したがって,R-Q はR のFσ 集合でない。
(引用終り)
つづく


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch