TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
未解決問題の証明論文は論文誌には載らない
Inter-universal geometry と ABC予想 (応援スレ) 47
現代数学の系譜 工学物理雑談 古典ガロア理論も読む46
巨大数探索スレッド13
数論幾何
哲学を理解できない馬鹿が、数学や物理に逃げる
統計学の分かりやすい本教えろください
【Coq】コンピューターで証明しよう【コック】
大学受験数学如きで挫折して文系に行くやつwwww
現代数学の系譜 古典ガロア理論を読む36
356 :
>>339-340

>お前が持ち出したトマエ関数や ruler function などは、
>どれも「 R−B_f が第一類集合になってない」のだから、
>定理1.7 の適用範囲外なのは当たり前の話。
>
>「病的な関数だから定理1.7の適用範囲外」なのではなく、
>「 R−B_f が第一類集合になってないから定理1.7の適用範囲外」ということ。
>
>たとえ病的な関数であっても、R−B_f が第一類集合なら定理1.7が 適 用 で き る 。

違うと思うよ
第一類集合でも、「Q は第1類集合」(下記より)であり、QはR中で稠密

つまり、全体集合Rにおいて、その部分集合の第一類集合は、
1)R中で稠密でない場合、
2)R中で稠密な場合(例 Q)
の二つに、場合分けできる

R−B_f が第一類集合で、2)の場合は、”定理1.7: f はある開区間の上でリプシッツ連続である”(>>195)などとは、なりようがない。
(稠密ゆえ、開区間など存在しない)
2)の場合に、これが証明できたというけれども、それ命題の矛盾。
証明できるのは、1)の場合のみ。

(参考)
http://pc1.math.gakushuin.ac.jp/~kawasaki/
学習院 川崎研究室
http://pc1.math.gakushuin.ac.jp/~kawasaki/16isoukuukan.pdf
位相空間 川崎徹郎 2016
(抜粋)
P21
(参考)ベールのカテゴリー定理
数直線の部分集合A ⊂ R について,A が疎であるとは閉包A ̄ が開区間(α, β) を含まないときをいう。
疎集合可算個の合併で表される集合を第1 類集合といい,そうでないものを第2 類集合という。

定理(ベール(Baire) のカテゴリー定理) R は第2 類集合である。
証明略

Q は第1 類集合で,また,第1類集合 2 つの合併はまた第1類集合であるから,R − Q は第2類集合である。
(引用終わり)

モンティーホール問題を高校生にわかるように説明してくれ
高校数学の質問スレPart403
フーリエ変換・ラプラス変換
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
ユークリッド幾何学は中学・高校数学から撤廃すべき
【大学院へ】 30過ぎて、数学の道へ その2
森毅 先生が好きな人 手あげて^^
Inter-universal geometry と ABC予想 41
大学の数学科はぜんぶ潰すべき
                ピンク・スライム
--------------------
【AKB48チーム8/チームB】坂口渚沙 応援スレ★42【なぎ】
【水泳】プールで痩せる!第106のコース
k−1の2階級王者の武尊はボクシングでも世界取れる
JKめし! 2杯目
大石さ〜ん、お元気ですか〜
エスケープことシュマキチを語ろう
童貞一揆
岩手のバスを語り隊 PART 20
( ´ ▽` )ノWё Love Angёl KаЙNдヽ(・ω・´)ノ
【じっぷら放送局】★41
【正統派美少女】柴田うな Part01
雀ナビ29 速報!キリスト=ぽっきぃで確定しました!!
ぬるぽして1時間以内にガッされなければ神@FFDQ板559
【3DS】ドランシア・サーガ 1キャラ目【Flyhigh Works】
【IKa総合】 P.S.すりーさん 16曲目
☆★★かっこいいフラッシュを紹介するスレ★★★
【こそーり】茨城のうどん【テスト版】
「ここ空いてますか」と尋ねてみた。すると、 その女性は、「指定席券を買ってあります」と答えた。
岡藤商事ってPART4
【パソユーザー集え】なぜモンスターハンターアイスボーン STEAM版だけ後発なのか??考えてみた
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼