TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
♂♂♂♂♂♂♂♂♂♂♂   生物実験 13
面白い問題おしえて〜な 31問目
【学部,院】数学をやめようと思ってる人、もうやめた人が語り合うスレ【ポスドク,社会人】
Inter-universal geometry と ABC予想 53
カス厨房が語る長寿記録
痴漢バレて叩かれた腹いせに荒らすのはやめろ
♂♂♂♂♂♂♂♂♂♂♂♂   星質 3
現代数学の系譜 工学物理雑談 古典ガロア理論も読む44
痴漢バレて叩かれた腹いせに荒らすのはやめろ
数理論理学(数学基礎論) その13
195 :
>>194 つづき

えーと、それで(上記178-186より要点引用)
(抜粋)
補題1.5(注:”The Straddle Lemma”の変形) f : R → R とx ∈ R は lim sup y→x |(f(y) − f(x))/(y − x)|< +∞
を満たすとする.
このとき, ある正整数N,M >= 1 に対して
∀y, z ∈ R [x − 1/M < y < x < z < x +1/M → |f(z) − f(y)| <= N(z − y)]が成り立つ.

定理1.7 (422 に書いた定理)
f : R → R とする.
Bf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }
と置く: もしR−Bf が内点を持たない閉集合の高々可算和で被覆できるならば、
f はある開区間の上でリプシッツ連続である.
証明
このとき, 補題1.5 を満たすN,M >= 1 が存在するので, 明らかにx ∈ BN,M である.

系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない.
証明
定理1.7 が使えて, f はある開区間(a, b) の上でリプシッツ連続である.
一方で, x ∈ Q とf の仮定により, f は点x で不連続である. これは矛盾. よって, 題意が成り立つ.
(引用終り)

つづく

東大の数学教授って実際どんくらいすごいの?
数学の本 第85巻
数学と物理学って何で統合しないの?
【未解決問題】奇数の完全数が存在しないことの証明
Inter-universal geometry と ABC予想 43
現代数学はインチキのデパート
増田芳雄が増田哲也にしたことは躾か虐待か決着を
■■■■■■■■■■■■■   人工太陽
0.999...は1じゃないことを数学的に厳密に証明したったwwww パゲェヤァああww
線形代数学ムズすぎワロタw w w
--------------------
【miHoYo】崩壊3rd Act.668
なぜ日本(アジア)でヒップ・ホップが売れないのか
【;:;;ш;゚】ゾンビカフェ 49
なんでこんなに客減ったの? Part15
【行きたくないスタジオ】コスナ・砂@撮る人part5【断トツNo.1】
戦国BASARAの松永久秀は爆破カッコイイ 謀(6)反
【Windows】PCオーディオ総合71.0J【AU】
アンチもシンパも創価ブログを語るスレ
【脅すは恥だぞ】脱束同盟420【役立たず】
【アンチ】BANANA FISH Part7【内海紘子】
なつかしの神戸市電・市バス
東北地方気象スレッド Part34
【最新】坂道研修生の11月ツイプロ検索数ランキングきたよーーー【ツアー新規】
ヤマノススメの雪村あおいちゃんかわいい
年金アドバイザー3級
【せきだいIめそ】原宿駅前ステージ【タモバシ】15
【JO】総武線 快速・緩行 60番列車【JB】
石川ゲーセン事情 Part22
【厨】四季サイトをまたーりヲチ【ホイホイ】 Part184
モラハラパワハラセクハラするクズは死んでいい
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼