17/12/13 08:53:49.03 p08hLjSN.net
>>630
違うよ
632:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/13 09:31:35.62 0oj7NQvX.net
>>631
どうもスレ主です。
「ぷふ」さん、どうもありがとう（＾＾
>違うよ
じゃ、まだ脈はありそうだな（＾＾
633:１３２人目の素数さん
17/12/13 14:02:36.38 pDSDyuZn.net
リーマン積分は図形を縦切りして面積を求めルベーグ
積分は横切りして面積を求めるというがそれはルベー
グ積分の構成を明示的に書くと文献によって多少表現
は違うが本質的にはこの式と同じよう被積分関数の値
域を分割して対応する定義域の部分集合の測度と分割
の幅をかけて足して分割を細かくした極限だから任意の集合に対して測度さえ定まれば積分が定まるという
原理
634:１３２人目の素数さん
17/12/13 17:21:33.48 Emn1o5My.net
>>628
＞悪いが、おれはそれには乗らない
＞反例の方から攻めたいけど、良いかな？
「実際に反例が構成できて、それが反例になっていることも証明できた」というなら見てやるが、
スレ主がダラダラと書いている「反例のための考察モドキ」には、今後は一切反応しない。
読みはするけど、反応はしない。また、
「わたくしスレ主の直観では、これが反例になっている予感がする(証明はできてない)ので、ぜひそちらで検証してくれ」
といった、証明がついてない「いい加減な要望」も、今後は一切聞き入れない。
スレ主のこのような手法は、俺からの証明が投下されてなかった段階では一理あったが、
証明が投下された今となっては、このような手法は単なる悪あがきであり、「負け犬の遠吠え」だからだ。
反例にこだわるなら、スレ主の手で「証明済み」になっている反例を証明付きで持ってこい。
ただし、今回だけは特別に、その「いい加減な要望」に反応してやる。しかし、これが最後である。
635:１３２人目の素数さん
17/12/13 17:25:42.62 Emn1o5My.net
>>628
＞５．それで、”リプシッツ連続の性質から、稠密なリプシッツ”不”連続な点は増えて、可算から不加算になる”（自己増殖性あり）が
＞正しいとすると、下記の”Hausdorff dimension zero”などと矛盾するように思うけどね。
矛盾しない。なぜなら、その論法で矛盾とするためには、「 "自己増殖性" があるならハウスドルフ次元はゼロにならない」
という主張を前提としなければならないが、非可算無限集合でもハウスドルフ次元はゼロになりえるので、そんな主張は出ない。
ここでスレ主の論法は破綻する。
はい終了。
これ以上、その例を引き合いに出して反例としたいなら、実際に反例になっていることをスレ主の手で厳密に証明してから持ってこい。
そうでない発言、すなわち、「ダラダラと考察モドキを書き連ねているだけ」の負け犬の遠吠えには、今後は一切反応しない。
そして、例の pdf の話に戻るが、この程度の pdf から逃げ回るなんて許さない。実質的には「補題1.5」と「定理1.7」しか
内容が無いシンプルな pdf なのだ。その部分は目測では2ページ分くらいしかない。>>622で指摘があった短縮案を加味すると、
さらにもう少し証明がシンプルになる。そのような、「たった2ページ」の証明から逃げ回るなんて言語道断である。
しかも、書いた本人がここに居て、何でも質問できるというのに。
改めて、まずは補題1.5から質問する。
「補題1.5 は理解できたか？ＹＥＳかＮＯかで答えよ。
ＮＯの場合は、どこで躓いているのかも述べよ。
ＹＥＳ, ＮＯ 以外の返答は認めない。さっさと証明を読んで来い。」
636:１３２人目の素数さん
17/12/13 17:28:53.93 Emn1o5My.net
本題からは逸れるが、↓のレスにも返答しておく。
＞４．ところで、「一点におけるリプシッツ連続」については、”pointwise Lipschitz condition”という用語がある
その言葉は知っている。しかし、その言葉は
pointwise Lipschitz "continuous"
ではない。わざわざ
pointwise Lipschitz "condition"
と書いてある。依然として、「一点におけるリプシッツ連続」という言葉遣いは見たことがない。
どうしても「一点におけるリプシッツ連続」に相当する言葉を使いたいなら、
スレ主が指摘した pointwise Lipschitz condition を使った方が誤解が少ないので、そちらを推奨する。
日本語なら
「一点におけるリプシッツ条件」
とでも書くべきか。
637:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/13 17:55:41.82 0oj7NQvX.net
>>634-636
どうもスレ主です。
>そうでない発言、すなわち、「ダラダラと考察モドキを書き連ねているだけ」の負け犬の遠吠えには、今後は一切反応しない。
はい、はい。
そうしてもらえると助かるよ。
おれは、”この定理が、正しい”という確信を得るために、
この定理が他の定理との組み合わせや、あるいは他の定理と矛盾しないかを、考えている。
その過程で、リプシッツ連続や、”pointwise Lipschitz condition”についての理解も深まるだろう
”正しいという確信”が得られてから、きちんと証明を読みたいね。そうしないと、徒労だろ？
まあ、その前に、現状一人「証明を読みました 正しいと思います」（>>624）というご意見があるが、
セカンドオピニオンを求めたいね。
１．「その定理は、すでに〇〇がｘｘに書いている」（あるいはその簡単な系）という情報が得られるか
２．「その定理は、既存のｘｘと矛盾する」という情報（あるいは意見）が得られるか
そのどちらかを、期待しているのだがね
あるいは、大学の教員レベルの人のご意見が、投下されるとか
「ぷふ」さんのご意見も、期待しているよ
まあ、「その証明は、正しい」という意見が、圧倒的に多くなれば、頭を切り替えないといけないかも知れないが
まだ、その段階にあらずと思うので、悪しからず
これから、他の人の意見も出てくると思うので、乞うご期待
638:１３２人目の素数さん
17/12/13 17:59:16.87 Emn1o5My.net
>>637
＞”正しいという確信”が得られてから、きちんと証明を読みたいね。そうしないと、徒労だろ？
「たかが2ページの証明」に徒労もクソもない。
・ たった2ページの証明から逃げ回り、
・ 反例モドキの考察を、膨大なコピペとともにダラダラと続ける
というスレ主の行為の方が遥かに徒労である。
そして、こちらで強制的に補題1.5 の話を続ける。
―――――――――――――――――――――――――
f：R→R と x∈R は limsup[y→x] ｜(f(y)－f(x))/(y－x)｜＜＋∞ を満たすとする。
このとき、limsup[y→x] ｜(f(y)－f(x))/(y－x)｜＜ N を満たす正整数 N が取れる。
limsup[y→x] ｜(f(y)－f(x))/(y－x)｜＝ inf[δ＞0] sup[0＜｜y－x｜＜δ]｜(f(y)－f(x))/(y－x)｜
に注意して、inf[δ＞0] sup[0＜｜y－x｜＜δ]｜(f(y)－f(x))/(y－x)｜＜ N ということになるので、
あるδ＞0に対して sup[0＜｜y－x｜＜δ]｜(f(y)－f(x))/(y－x)｜＜ N である。
―――――――――――――――――――――――――
ここまでの議論は理解しているか？ＹＥＳかＮＯかで答えよ。
ＮＯの場合は、どこで躓いているのかも述べよ。
639:１３２人目の素数さん
17/12/13 18:02:12.49 bAjiZ1ZL.net
おっちゃんです。
見に来ました。何かよく分からないけど、元が私の間違いにあって、
私のせいで厄介なことになってしまったのかな。
それじゃ、おっちゃん寝ます。
640:１３２人目の素数さん
17/12/13 19:23:13.02 UHeINi+7.net
>>630 >>631 >>632
スレ主自演全開ｗ
予告した通りになったｗ
＞さあ始まるぞ
＞スレ主の自演攻撃がｗ
641:１３２人目の素数さん
17/12/13 19:29:18.56 UHeINi+7.net
>>637を要約すると
「私は馬鹿なので数学が理解できません」
↑ならROMってろよｗ
642:１３２人目の素数さん
17/12/13 19:33:18.81 UHeINi+7.net
＞＞”正しいという確信”が得られてから、きちんと証明を読みたいね。そうしないと、徒労だろ？
＞「たかが2ページの証明」に徒労もクソもない。
ワロタ
どんだけ努力が嫌いなんだよｗ
そんなだからいつまで経っても大学一年一学期の数学すら理解できないんだよｗ
643:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/13 21:33:36.05 NkVXzHSd.net
>>640-642
最下位の腰巾着、必死だな（＾＾
あんたには、”成りすまし疑惑”を言い立てるしか、救いがないんだろ。がんばれよ（＾＾
644:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/13 21:33:58.50 NkVXzHSd.net
>>639
おっちゃん、どうも、スレ主です。
おっちゃんには、なんの責任もないし、無関係だよ
だが、レスありがとう
645:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/13 21:34:51.93 NkVXzHSd.net
>>638
ID:Emn1o5Myさん、どうも。スレ主です。
あなたには、お礼を言いたい。なかなか、面白い定理と証明とを提供してくれたことを
お陰で、リプシッツ連続について、いろいろ勉強させてもらった。いまも勉強中だが
その定理の正否は、皆さんが、コメントしてくれるだろう。
「読んでみたい」（>>577）と言った「ぷふ」さんも居るし
まあ、私見では、定理は成立しないと思うが、その証明はあなたのレベルの高さをしめしていると思う。
ピエロよりは、はるかにレベルが高いね。
人違いしてすまなかったね
まあ、繰返すが、定理の成立に自信があるなら、静かに待てば良い。
正しければ、皆さんが、賛意を示してくれるだろう
646:１３２人目の素数さん
17/12/13 21:41:21.53 UHeINi+7.net
>>645
＞「読んでみたい」（>>577）と言った「ぷふ」さんも居るし
>>577は一言も「ぷふ」と言ってないのに何でぷふだとわかるの？
自分で「自演してます」と言ってるも同然だと気付かないの？っぷ
647:１３２人目の素数さん
17/12/13 21:42:56.50 UHeINi+7.net
>>625
いくら他人を最下位呼ばわり、腰巾着呼ばわりしたところで
自演を正当化できないぞ？ｗ
648:１３２人目の素数さん
17/12/13 21:45:30.31 Emn1o5My.net
>>645
賛意は既に2つある。>>622と>>624である。>>622は明確に「正しい」とは述べていないが、
定理1.7の証明の短縮案を提示しているので、明らかに定理1.7の証明を理解しており、
なおかつ間違いの指摘がないので、実質的には賛意を示しているのと同じである。
また、賛意の多さは問題ではない。
スレ主が理解しないことが問題なのである。なんたって、
＞まあ、私見では、定理は成立しないと思うが、その証明はあなたのレベルの高さをしめしていると思う。
未だにこんなことを言っているのだからな。そして、こんなことを言うからには、
スレ主には pdf の証明を理解してもらう。逃げることは許さない。たった2ページの証明なのだ。
649:１３２人目の素数さん
17/12/13 21:46:34.06 +Ojks0P8.net
Πανδώρα
650:１３２人目の素数さん
17/12/13 21:47:45.73 Emn1o5My.net
>>645
まずは補題1.5から始める。
補題1.5は、実質的には 0.5ページ 程度の分量しかない。その内容も、
limsup の定義に沿って基本的なε－δ論法を展開するだけである。
この程度の内容が読めないわけがないし、この程度の内容に徒労もクソもない。
さらに、
・ もしこの補題に間違いが見つかったら、その時点でスレ主に軍配が上がる。
・ もしこの補題に間違いが無いことが分かったなら、スレ主は定理の証明に向けて一歩前進したことになる。
つまり、たった 0.5ページ の議論で、どちらに転んでも話が「本質的に」前進する。
にも関わらず、なぜスレ主は補題1.5から逃げ回るのか？
では、補題1.5の話を始める。まずは前半部分から。
―――――――――――――――――――――――――
f：R→R と x∈R は limsup[y→x] ｜(f(y)－f(x))/(y－x)｜＜＋∞ を満たすとする。
このとき、limsup[y→x] ｜(f(y)－f(x))/(y－x)｜＜ N を満たす正整数 N が取れる。
limsup[y→x] ｜(f(y)－f(x))/(y－x)｜＝ inf[δ＞0] sup[0＜｜y－x｜＜δ]｜(f(y)－f(x))/(y－x)｜
に注意して、inf[δ＞0] sup[0＜｜y－x｜＜δ]｜(f(y)－f(x))/(y－x)｜＜ N ということになるので、
あるδ＞0に対して sup[0＜｜y－x｜＜δ]｜(f(y)－f(x))/(y－x)｜＜ N である。
―――――――――――――――――――――――――
補題1.5のうち、ここまでの議論については理解しているのか？
ＹＥＳかＮＯかで答えよ。ＮＯの場合は、どこで躓いているのかも述べよ。
651:１３２人目の素数さん
17/12/13 21:50:31.95 +Ojks0P8.net
يعقوب