TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
≒≒≒≒≒≒≒≒≒   数学アカデミー
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
■複素空間論ー宇宙人の居場所■
グロタンディーク 追悼スレ
Inter-universal geometry と ABC予想 29
abc予想ってどうなったの
自然対数eっていったい何者なの?
Inter-universal geometry と ABC予想 否定派
現代数学の系譜11 ガロア理論を読む23
現代数学の系譜 工学物理雑談 古典ガロア理論も読む73
419 :
>>410
>定理Fは逆かい?

まず、定理Fそのものは「B_f」とは無関係に一般的に記述された定理であることに注意せよ。
B_fのことは一旦忘れて、定理Fのみをきちんと読み返してみよ。
―――――――――――――――――――――――――――――――――――――――
定理F:
A ⊂ R は Fσ集合とする。もし R−A が第一類集合ならば、
(a,b)⊂A を満たす開区間 (a,b) が存在する。

証明:
STEP1:A は Fσ 集合だから、高々可算無限個の閉集合 A_k が存在して A = ∪_k A_k と書ける。
一方で、R−A は第一類集合だから、高々可算無限個の、内点を持たない閉集合 F_k が存在して
R−A ⊂ ∪_k F_k と書ける。結局、R ⊂ (∪_k A_k ) ∪ (∪_k F_k ) …(★) ということになる。

STEP2:A_k, F_k はどれも閉集合だから、これと(★)から、ベールのカテゴリ定理が使えて、
ある A_k もしくはある F_k は内点を持つ。F_k は内点を持たないのだから、
ある A_k が内点を持つしかない。その A_k に対して、(a,b)⊂A_k なる開区間が取れるので、
A = ∪_k A_k に注意して、(a,b) ⊂ A となる。従って、定理F が成り立つ。
―――――――――――――――――――――――――――――――――――――――

↑この証明の一体どこが間違っているというのだね?
さすがのスレ主も、この程度の証明は今すぐ読めるだろ?今すぐ読めよ。

自然対数eっていったい何者なの?
Inter-universal geometry と ABC予想 16
【激しく】解析と線型代数の本何がいい?【既出】11
文理融合のための数学教育
【有効数字】9=9.0ってどうなの?【数学】
奇数の完全数の存在に関する証明5
小学校の算数で3.9+5.1=9.0の指導について
長谷川亮太スレ
【 数 学 検 定 】 数 学 検 定 1 級 の た め の ス レ
面白い問題おしえて〜な 31問目
--------------------
どうせ吹いたスレタイでも集めようぜ46
【池沢春人】ノアズノーツ ネタバレスレ
試合日程と観衆 7連戦
JGA「若者がゴルフをやるようになるには」#11
【地鶏】宮崎の焼き鳥屋【もも焼き】
突発off!!家が近ければ今すぐ会うスレ関東453
国立巨乳保護センター
【蹴球】若年層の競技人口【やきう】
新しいしりとり
元子役小川満鈴「男性向けの美少女アニメの声優ファンにはちょっと「あれ」な人が多い」
岸優太ファンスレ 3
【大隅半島】鹿児島県鹿屋市と周辺スレ8【南九州】
スタビリティ北&フタバリティ北 観察スレ
【便所セックス精液DNA完全一致】元東方神起現JYJクズユチョン326発目【同情商法お涙ファンミ一般人】
【TOYOTA】86/BRZ★143【SUBARU】オーナー&納車待ちスレ
アベノミクス失敗 原油安なら好景気になる3
雑談 小林由美子cと大谷育江さんに挟まれたい
GUが好きな奥様 〜1着目
年相応の女子大生、30代の大学生に苦言 「何で30過ぎて大学来んの? ほんまうざい」 [324064431]
テレ玉マターリ実況スレ★2377万石
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼