TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【数学者】低業績で教授・准教授になった人 Part.2
【 数 学 検 定 】 数 学 検 定 １ 級 の た め の ス レ
Inter-universal geometry と ABC予想 29
@hyuasa＝湯浅久利先生
【自称数学者】三鷹の大類昌俊 Part7【つどい出禁】
分からない問題はここに書いてね443
Inter-universal geometry と ABC 予想 45
♂♂♂♂♂♂♂♂♂ 暗号解読
邪馬台国畿内説の角度
現代数学の系譜 カントル 超限集合論2
- 505 ：
- >>504 つづき
定義5. 数直線R の第一類部分集合のことを疎集合(meager set) といい, その全体をM であらわす. □
こうして, ルベーグ測度の零集合のクラスN の類似物として疎集合のクラスM が導入されました. これ
にともなって, ルベーグ可測性の類似物として導入されるのが, ベールの性質です.
定義6. 実数の集合A に対して, A△B ∈ M をみたすボレル集合が存在するとき, A はベールの性質 (property of Baire) を持つという. □
ここでのB としては開集合をとることができます. ベールの性質を持つ集合のクラスはルベーグ可測集合
のクラスと多くの性質を共有しています. 直積測度にかんするFubini の定理に対してKuratowski とUlamの定理, というように, 測度論のいろいろな定理に対してその“カテゴリー版” が存在します.
ルベーグ可測でない集合が存在するのと同様に, ベールの性質を持たない集合も存在します. 実際, Vitali の
ルベーグ不可測集合はベールの性質を持ちません. また, 選択公理を用いれば, ルベーグ可測だがベールの性質
を持たない集合, ルベーグ不可測だがベールの性質を持つ集合などの存在を容易に証明できます. そこで, 実数
のどんな集合がベールの性質を持つか, また, ベールの性質を持たない集合を具体的・明示的に定義できるか,
というのは自然な問いといえます*7. Solovay の二つの定理の(c) と(c’) はこのことを問題にするものです.
次の補題は, 第3 節でランダム実数とコーエン実数の性質を対比する際に役に立ちます. (証明が明示的・構成的である点に, よく注意してください.)
補題5. 数直線R を二つの互いに交わらない集合A とB に分割して, A が零集合B が疎集合となるように
できる.
[証明]
*7 ただし, 測度の問題の(A) と(B) に対応するものは, ベールの性質については考えられません.
(引用終り)
つづく
微分幾何学スレ
「数学って何の役に立つの？」へのお前らの答えを書くスレ
数学博士中退後就職できません。ご意見ください。
高校数学の質問スレPart401
無職だから最近数学の勉強をしている
数学の本第82巻
13×小学校のかけ算順序問題
奇数の完全数の存在に関する証明5
（負の数）×（負の数）＝（正の数）になる理由って中学生に説明できる？
○と→による日本語理論
--------------------
【HKT48】豊永阿紀応援スレ★94【あき/チームH】
小澤さとる総合
高校剣道を熱く語る170
石原夏織 Part94
【祝☆１００！】チョーヤで乾杯★100【ネトウメ】
【依存症】スロ/パチやめようぜ。23人目【治療】
実績・実力は一流だが知名度は三流の選手
将棋の国際化について語るスレ
【モンスト】モンスターストライク総合3737【浦安鉄筋家族コラボ】
なぜ英語は発音と綴りを一致させないのか？
富士重工業製軽自動車・サンバーからの乗換先
【バーチャルYouTuber】.LIVEアイドル部アンチスレ#9288【アップランド】
［第四世代］10式戦車スレ配備229号車
プロレスしりとり ３
印刷会社従業員の私生活
Luxman総合スレッド 51台目
箸の持ち方にいちいち文句言う奴ｗｗｗ２膳目
【バーチャルYoutuber】にじさんじ有ンチスレ18623【声が可愛いれなおば】
【Tポイント】Yahoo ! ショッピング289
五反田 パチンコ店情報 part1
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
