TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
分からない問題はここに書いてね443
現代数学の系譜 工学物理雑談 古典ガロア理論も読む52
未解決問題の証明論文は論文誌には載らない
角の三等分は可能なのだそうだ
東京理科大学理学部数学科・数理情報学科
ジョン・ナッシュ氏が交通事故で死去
数理論理学(数学基礎論) その12
分からない問題はここに書いてね478
数学書が高すぎる、安くで学びたい
数学博士中退後就職できません。ご意見ください。
22 :
>>21 自己レス
>なお、ここは後で詳しく説明します

では、改めて詳しく説明の書き直しを

前スレ >>568より(一部修正)
(前スレ>>195より)
定理1.7 (422 に書いた定理)
f : R → R とする.
Bf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }
と置く: もしR−Bf が内点を持たない閉集合の高々可算和で被覆できるならば、
f はある開区間の上でリプシッツ連続である.
(引用終り)

定理1.7:<言い換え版>(前スレ>>523より)
f:R → R は、R−B_f が第一類集合であるとする。
このとき、f はある開区間の上でリプシッツ連続である。
(引用終り)

定理1.7のさらに言い換え版1 (前スレ>>577)
Bf :Rの部分集合で、ある性質Gを持つとする
R−Bf:RにおけるBfの補集合で、ベールの第一類集合であるとする。
この条件下で、R中にある開区間の上で、性質Gを持つ。(この部分は、”ある開区間(a,b)⊂Bfが存在する”と書ける)

定理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は、相反する)

つづく

高校数学の質問スレPart401
整数論を勉強するためのスレッド
現代数学の系譜 工学物理雑談 古典ガロア理論も読む44
ソ連の数学者
分からない問題はここに書いてね478
現代数学の系譜 工学物理雑談 古典ガロア理論も読む82
ラマヌジャン、ってナニモノ?
人工知能は数学者になれるか?
Inter-universal geometry と ABC予想 16
現代数学の系譜 工学物理雑談 古典ガロア理論も読む57
--------------------
【PRODUCE48】IZ*ONE(アイズワン)応援スレ【Vampire】☆419
■■■■福岡県立福岡高等学校■■■■
まんさん「 なんでタトゥーとか派手髪とかは許されないのにハゲで不潔で臭いおっさんは許されるの?」 [368829159]
【首切り目前】代謝寸前の博打の駒【男子限定】
【府中】JRA 東京競馬場 55
アベノミクス失敗 国民に節約志向が定着3
みうな「飯田さんは理不尽で有名だった 自分が出来てないのに怒るので飯田の言うことは適当に流しとけって言われてた」
【荒らし】トコロテン射精Shigeru-a24対策室 第18刷
【ふみかす】 清水 富美加 Part24 【千眼美子】
釣りキチ三平が言いそうに無い事を書いてくスレ
Switch】Splatoon2/スプラトゥーン2イカ1346杯目
バジリスク〜甲賀忍法帖〜絆 PART171
【爆盛り・回転不足見逃し・踏切】浅田真央・紀平梨花アンチ★15【マスゴミ・電通・エイベックス】
近鉄のダイヤと車両計画を考える Part6
☆ワークマン スレ★Part36
東京札幌五輪マラソン、数万人分の観客席の設置ができないためチケットは一律払い戻しの方針 チケット当選者は発狂へ [597533159]
太平洋フェリー Part26
アリスギアイージス +7
【マターリ】内村光良の魅力を語る【part164】
LOUIS VUITTON★ 財布・小物 ルイヴィトンPART1
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼