TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【万年】黒木玄を語ろう【助教】 その2
東京理科大学理学部数学科・数理情報学科
もんたん
分からない問題はここに書いてね478
数学の洋書vol.2
現代数学って結局役に立たないじゃん
森毅 先生が好きな人 手あげて^^
Inter-universal geometry と ABC 予想 43
【数学検定】数学検定(数検)総合スレッド Part.12
【自称数学者】三鷹の大類昌俊2018-2【つどい出禁】
63 :
>>62 つづき

>>22-23の記法に戻します
(抜粋)
定理1.7のさらに言い換え版2 (前スレ>>591)
<条件(仮定)>
・命題P’:「Bf :Rの部分集合で、ある性質Gを持つとする」
・命題Q’:「R−Bf:RにおけるBfの補集合で、ベールの第一類集合であるとする。」
<結論>
・命題Q:「この条件下で、R中にある開区間の上で、性質Gを持つ。」(この部分は、”ある開区間(a,b)⊂Bfが存在する”と書ける)
(なお、当然ながら、R−Bfは性質NGを持つ。NGは、Gの否定である。当然GとNGは、相反する)

ベールの第一類集合R−Bfについて、
1)R中稠密でない場合、
2)R中稠密な場合
に、二分できる。

1)の場合について、
命題Q’1:「R−Bf:RにおけるBfの補集合で、ベールの第一類集合で、R中稠密でない、とする。」
2)の場合について、
命題Q’2:「R−Bf:RにおけるBfの補集合で、ベールの第一類集合で、R中稠密である、とする。」
(引用終り)

2)の場合について、書き直すと
<条件(仮定)>
・命題P’:「Bf :Rの部分集合で、ある性質Gを持つとする」
・命題Q’2:「R−Bf:RにおけるBfの補集合で、ベールの第一類集合で、R中稠密である、とする。」
<結論>
・命題Q:「この条件下で、R中にある開区間の上で、性質Gを持つ。」

ここで、仮定命題のQ’2:”Bfの補集合が、ベールの第一類集合で、R中稠密である”ことから、すでに「R中に、性質Gを持つ開区間は取れない」が、含意されています
なので、「P’∧Q’2 → ¬Q」がもっとも素直な結論。逆に「P’∧Q’2 → Q」を、証明することは、”無理筋”だという主張です。

以上

ホモトピー,ホモロジー,ホモロジー代数コホモロジー
数学学習法
現代数学の系譜 古典ガロア理論を読む39
皆本健太郎の東方project
Inter-universal geometry と ABC 予想 45
最古の未解決問題が解決されたのか
分からない問題はここに書いてね457
分からない問題はここに書いてね446
素人には 8÷2(2+2) を16と答える馬鹿が居るらしい
低能サラリーマンking様の弟子と雑談できちゃうスレ
--------------------
(・◎・)ばぶちゃんのスレ★
【GTS】GRAN TURISMO SPORT【Part.112】
【韓国】 日本の輸出規制にサムスン電子とSKハイニックス、NAND型フラッシュメモリー減産を検討
プラチナ萬年筆/中屋万年筆を語るスレ 21本目
合同酒精
RamPhantom Part7
M-1グランプリ2019 Part 167
ミーりかちゃん応援スレ.Part1
【要するに】私はlialな男
ネトウヨ「私の正体を教えましょう」
☆★『幸福の科学』統合スレッドpart859★★
Google Chrome for Mac Part3
【毎日新聞】米、WHO脱退も視野 中国寄りを批判 トランプ氏、テドロス氏への書簡で [5/19] [新種のホケモン★]
カントリー・ガールズ/カレッジ・コスモス】山木梨沙さんの課外授業 109時限目【りさちゃん、やまっき】
護衛艦総合スレ Part.120
関東雷スレッドPart150
【モーター】鈴鹿サーキット【スポーツ】
━━━━━Chill out━━━━━
【ナルト】うずまき夫婦スレその48【ヒナタ】
○ゴルフ好きが雑談する総合スレ 02 ○
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼