TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
算数&数学が全くできない人のスレ パート2
【大学院へ】 30過ぎて、数学の道へ その2
杉浦光夫・解析入門T・U
座標系の選び方や基底の選び方に依存しないこと
【世界に誇る】岩波数学辞典【名著】
【Coq】コンピューターで証明しよう【コック】
皆本健太郎の東方project
0.99999……は1ではない その8
0.999…=1か!?無限小数激論スレ★1
分からない問題はここに書いてね444
463 :
>>462 関連

”カントール集合には、ボレル集合に含まれないような部分集合が存在する”が正しいとすると
カントール集合自身はボレル集合ではない

そして、下記”Fσ-集合やGδ-集合はボレル集合である.”(渕野)が、正しいとすると、
カントール集合自身はFσ-集合ではない

参考(>>336より)
渕野昌 (2002) (PDF), 実数の集合論の基礎の基礎
http://math.cs.kitami-it.ac.jp/~fuchino/notes/set-th-of-reals-kiso-no-kiso.pdf
P5
(抜粋)
1.2 ボレル集合

O から生成されるσ-代数^9 をあらわす.
(略)
として帰納的に定義する10.可算個の閉集合の和集合としてあらわせるような集合をFσ-集
合とよび,可算個の開集合の共通部分としてあらわせるような集合をGδ-集合とよぶ.Fσ-
集合とGδ-集合はS1 に含まれる集合となっている.特にFσ-集合やGδ-集合はボレル集合
である.

注)^9 X の部分集合の族S がX 上のσ-代数である,とは,S が,補集合をとる操作と,可算個の元の和集合
をとる操作に関して閉じていることである.
(引用終り)

以上

注:
Fσ-集合とGδ-集合はS1 に含まれる集合となっている.
 ↓
Fσ-集合とGδ-集合はS に含まれる集合となっている.
の誤植かもしれない。S1はここにしか現れず、定義がないので

京大の基盤と阪大ってどっちがいいですか
高校数学の質問スレPart401
こんな板復活させなくてよかったのに
角の三等分は可能なのだそうだ
現代数学の系譜 工学物理雑談 古典ガロア理論も読む50
1文字変えたら難易度が激変する問題 3文字目
数学の本 第87巻
軍事機密にされた私が日本数学会事務局宛てに書いた素数の式。
代数的解析幾何学
フェルマーの最終定理の簡単な証明5
--------------------
ドラゴンクエストウォーク303歩目
SHINeeで自由にエロネタ妄想語る雑談スレ1
別の日大アメフト部が風評被害 悪質タックル余波
ハリルホジッチ解任に異を唱えるスレpart3
ぼるじょあ(・3・)質問箱 セキュ板出張所33
ZIP-FM Part 58
TBS★宇内梨沙 Vol.14★ひるおび! NEWS23 アフター6ジャンクション
【SECOM】 セコムトラストシステムズ 【Sier】
中国「貿易戦争に負けそうだ… アメリカよくらえ!元安だ!」
ホビーパソコン
[ロードバイク普及進む]車離れ、自転車活用の時代
Busted Part.1
VIPスレ「JCだけど」 → おまえら「チクビうp!」 → 東京都「はい、逮捕」
基地外ジサカー、ガガガガガ!
架空のmod作ってmodスレの連中釣ろうぜ
【人形板】アフターオークション38【雑談/相談】
ニュース!シブ5時
脳梗塞・脳出血3
【ファンタジー】ドラゴンズリング4【TRPG】
なんJ100日後に死ぬワニ部 ★3
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼