TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
思考盗聴器を開発せよ
現代数学はインチキのデパート
松坂君の日記
線形代数学ムズすぎワロタw w w
【中学三年】数学の問題の解き方おしえろください
リーマン予想証明終了
ゲーデルの不完全性定理を論破する方法
【未解決問題】奇数の完全数が存在しないことの証明5
数学力と文章力にはなにか関係があるのか。
現代数学の系譜 工学物理雑談 古典ガロア理論も読む57
97 :
>>79 補足

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

よって、 f は(a, b) 上でリプシッツ連続である.”

これで、
1.”内点を持たない閉集合”とは、平たく言えば、「ただ1点」ってことだ
2.”被覆できる”とは、平たく言えば、「和集合」ってことだ
3.で、”高々可算”というけれど、有限なら、「 f は(a, b) 上でリプシッツ連続」はトリビアだ
4.もし、”可算無限”でも、どこかに偏在すれば、当然偏在箇所以外では、「 f は(a, b) 上でリプシッツ連続」もトリビアだ
5.だから、この定理1.7のキモは、「”可算無限”リプシッツ”不”連続な点が稠密に分散していることは(数学的に)ありえない」ということ
 (∵「リプシッツ”不”連続な点が稠密に分散」ならば、”(a, b) 上でリプシッツ連続”と矛盾するから)

つづく

98 :
>>97 つづき

6.で、”可算無限”は本質だな
  例えば、>>81 THEOREM: Let g be continuous and discontinuous on sets of points that are each dense in the reals.
  " In fact, g fails to satisfy a pointwise Lipschitz condition, a pointwise Holder condition, or even any specified pointwise modulus of continuity condition on a co-meager set.
  (Each co-meager set has c points in every interval.)"
  ここで、”on a co-meager set”は、dense(稠密)。(∵ 最初の仮定 ”each dense in the reals”だから)
  co-meagerは、非可算濃度(∵ >>72より 「残留的 (residual, comeagre) であるとは、その補集合 X \ A が痩せていることを言う。」
  「X において第一類 (first category) または痩せている (meagre) とは、それが可算個の疎集合の和になっていることを言う。」)
  (なお>>35 "** f_w is differentiable on a set whose complement has Hausdorff dimension zero. Jurek [4] (pp. 24-25)" も補足しておく。)
7.つまり、かの定理1.7は、ちょうど「”可算無限”リプシッツ”不”連続な点が稠密に分散していることは(数学的に)ありえない」という主張に等価
  (「”非可算無限”リプシッツ”不”連続な点が稠密に分散していることは(数学的に)可能」であるにも拘わらず)

で、私スレ主が、疑問に思うのは、「本当に、それ成り立つのか?」ということ
それを、いま調べているのだ

以上

現代数学の系譜11 ガロア理論を読む32
現代数学の系譜 古典ガロア理論を読む36
『解析概論』について5
全数学の中で最も感動的で美しい定理
【グラフ理論】離散数学/情報数学 2【組合せ論】
【自称数学者】三鷹の大類昌俊 Part8【つどい出禁】
数学板の天才方、表現論の教科書教えてください 数論方面で
代数学総合スレッド Part6
πって本当に無理数なの?
奇数の完全数の存在に関する証明5
--------------------
健康診断で血圧180超えてて看護師から死ぬよって言われた
【PS3/PS4】テイルズオブゼスティリア【TOZ】part818 ワッチョイなし
【白昼生きる君殺め】黒夢 W【忘れる事許さない】
【Abee】アビー総合 part49【PCケース】
【社会】日本政府「入れ墨の入ったお客さんを拒否するのは不適切」政府通知に困惑する温泉業界★4
【WUG!】新章突入Wake Up, Girls!Part242
うちさぁ…ロ-ラ-台あんだけど、乗ってかない?104
東京23区をサッカー空白地帯にしてきたJリーグwwwwwwwwwwwwwwwwwwwwwpart2
日本フィルハーモニー交響楽団
アイドルマスターシンデレラガールズ愚痴スレ4332
【ギズム】GISM【インスタ】 2
新谷良子応援スレ 94
【福岡地裁】「手ぶれ激しく下着映らず 」盗撮事件で無罪判決★2
東方絵師総合97
海外エミュ鯖Demise(通称:出店)やろうぜ31
【刑訴法】刑事訴訟法の勉強法 第23部
青春のマリアクラブ
愛媛県松山市にサッカースタジアムを Part9
【スクスタ】ラブライブ!スクールアイドルフェスティバル ALL STARS ★132
【狭山閉鎖】ホンダ期間工part95【honda・本田】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼