[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47 (650レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47 http://rio2016.5ch.net/test/read.cgi/math/1512046472/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
1: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/11/30(木) 21:54:32.36 ID:IqNIthYM “現代数学の系譜 物理工学雑談 古典ガロア理論も読む” 数学セミナー時枝記事は、過去スレ39 で終わりました。 39は、別名「数学セミナー時枝記事の墓」と名付けます。 皆さまのご尽力で、伝統あるガロアすれは、 過去、数学板での勢いランキングで、常に上位です。(勢い1位の時も多い(^^ ) このスレは、現代数学のもとになった物理工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。 それで良ければ、どうぞ。 後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜(^^ 話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。 “時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。 なお、 小学レベルとバカプロ固定 サイコパスのピエロ(不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets (Yahoo!でのあだ名が、「一石」) (参考)http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日 High level people 低脳幼稚園児のAAお絵かき お断り! 小学生がいますので、18金よろしくね!(^^ High level people は自分達で勝手に立てたスレ28へどうぞ!sage進行推奨(^^; 旧スレが512KBオーバー(間近)で、新スレ立てる (スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。) http://rio2016.5ch.net/test/read.cgi/math/1512046472/1
570: 132人目の素数さん [sage] 2017/12/11(月) 23:55:54.17 ID:klK9xJGy >>563 >数学には誹謗中傷もくそもないよ >文系<数学ディベート>(>>8)かい? 分かってないな。数学以前の段階に誹謗中傷が存在しているのである。 スレ主はずっと混同しているが、俺が要求していることは、数学の話ではないのである。 一般論として、数学に限らず、相手の発言に対して 「それは間違ってると思うよ」 とイチャモンをつけるなら、今度は相手からの弁明を聞かなければならないのである。 それがイチャモンをつけた側の義務である。相手の弁明を聞く気が無いのに、 「それは間違ってると思うよ」と言い放つだけなら、それはつまり 「それは間違ってると思うよ。あ、君からの弁明は聞く気が無いのでヨロシク」 と言っているのと同じことであり、これでは単なる誹謗中傷である。 そして、まさにこのような行為を行っているのがスレ主である。 だから俺は、誹謗中傷を撤回しろと言っているのである。 「俺が正しいことを認めろ」と言っているのではなく、 「誹謗中傷を撤回しろ」と言っているだけである。 つまり、これは数学の話ではなく、一般的なマナーの話である。 数学に誹謗中傷があるのではなく、数学以前の段階の、 一般的なマナーにおいて、スレ主の誹謗中傷が存在しているのである。 全てはスレ主の「相手の弁明を聞く気がない」というイビツな態度が原因である。 詭弁もいい加減にしてほしい。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/570
571: 132人目の素数さん [sage] 2017/12/12(火) 00:04:18.26 ID:14lo33mI >>567 >あんたの定理は怪しいし >私は成立しないと思うよ 「そんなに懐疑的なら、証明を提示してもよい」と俺は言っているのである。 しかしスレ主は「証明を読む気は無い」と言っているのである。 となれば、スレ主の行動は結果的に 「どうせお前の証明は間違っているぞ。証明も読まないぞ」 という誹謗中傷になっているのである。明確に誹謗中傷である。 そして、上のレスで既に書いたが、これは数学における誹謗中傷ではなく、 数学以前の段階で発生している誹謗中傷である。ゆえに、スレ主が言うところの 「数学に誹謗中傷もクソもない」 という詭弁は通用しないのである。 そして、俺は何度も「その誹謗中傷を撤回せよ」と言っているのである。 「俺が正しいことを認めろ」と言っているのではなく、 「誹謗中傷を撤回せよ」と言っているのである。 全てはスレ主の「相手の弁明を聞く気がない」というイビツな態度が原因である。 詭弁もいい加減にせよ。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/571
572: 132人目の素数さん [] 2017/12/12(火) 00:04:38.27 ID:ItXIVsgQ 証明を読む能力が無い時点で「いいから黙ってろ」なんだがw スレ主の最善手は黙ることだ、いや、スレの削除依頼かな http://rio2016.5ch.net/test/read.cgi/math/1512046472/572
573: 132人目の素数さん [] 2017/12/12(火) 00:06:20.15 ID:ItXIVsgQ スレ主は数学はともかく国語の能力はつけろよw 話にならんぞw http://rio2016.5ch.net/test/read.cgi/math/1512046472/573
574: 132人目の素数さん [] 2017/12/12(火) 00:10:51.49 ID:H8wC4JgV >>561 じゃ どこかに上げてくれないかな? http://rio2016.5ch.net/test/read.cgi/math/1512046472/574
575: 132人目の素数さん [sage] 2017/12/12(火) 00:37:43.98 ID:14lo33mI >>574 今は >>570-571 に対するスレ主の反応待ちである。 もしスレ主からの「誹謗中傷の撤回」が無かったら、 手元にある pdf ファイルを どこかのうpろだに上げることにする。 (スレ主にはトドメをさすような形になってしまうが、 ここまでゴネている相手には問題なかろう。) ただし、俺が応答できるのは夕方から深夜なので、実際にうpするのは 明日(日付が変わったので厳密には今日だが)の夕方になると思われる。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/575
576: 132人目の素数さん [] 2017/12/12(火) 01:24:45.18 ID:H8wC4JgV >>575 勿体付ける人ねw まいいか 読んでみたいよそれ スレ主も読みたいはず http://rio2016.5ch.net/test/read.cgi/math/1512046472/576
577: 132人目の素数さん [sage] 2017/12/12(火) 01:57:04.65 ID:6zLifT5V >>576 逃げ回るぷ君へ 2017/11/12(日) 17:57:50.63 ID:hePUuc7P >>94 > 全く意味がないことばかり書くのね > 別にx0が毎回変わってもいいよ > f(x0)以外が開示されているということが重要 > x0が毎回変わろうが変わるまいがf(x0)=g(x0)になる確率は0 予想どおりの回答をありがとう。不正解ですw なんで不正解か分かりますか? >>74, 78 > [確認問題] > 前スレのぷ君の『x=0戦略』を考える。 > 全事象Ω={0}、P(0)=1という自明な確率空間を取ることが出来る。 > すなわちこの問題ではxは確率変数とみなせる。 > fもgも任意であり、事前に与えられているとする。 > このときf(0)=g(0)となる確率は? 260 132人目の素数さん sage 2017/11/18(土) 14:13:33.24 ID:LAjmabkB 自分に見えない数字はみな確率変数であるというのが ぷ君 の持論である ちなみにぷ君は前スレで >>>505 >> 無限帽子は何を確立事象と見るかよく考えないと騙されちゃうよ > >>>832 >> 確率自称が分かってない と確立もとい確率事象の見分けに自信がお有りのようだったw にも関わらず>>95はぷ君には意味が分からないらしい もっと簡単で誰にでもわかる問題を出そう スレ主も答えていいぞ笑 ぷ君を援護してやれ --- 目の前に封筒があり、中には6以下の自然数xが書かれたカードが入っている ぷ君に封筒の中身は見えない -- さて、ぷ君に質問だ 問1 この自然数xは確率変数か? 確率変数であるというなら証明せよ。 すなわち、xがどのような標本空間と測度で選ばれるのかを一切の仮定なしに示せ (示せるものなら笑) 問2 ぷ君は箱の中身xが1であると睨んだ ぷ君お得意のx=1戦略である この予想が正しい確率を一切の仮定なしに求めよ (求められるものなら笑) 問3 ぷ君はサイコロを振ることにした 出目と封筒の中身が一致する確率を求めよ http://rio2016.5ch.net/test/read.cgi/math/1512046472/577
578: 132人目の素数さん [sage] 2017/12/12(火) 02:00:18.08 ID:6zLifT5V >>574=>>576はぷ君 証明を読む数学力がないことは>>577を読めば明らか http://rio2016.5ch.net/test/read.cgi/math/1512046472/578
579: 132人目の素数さん [sage] 2017/12/12(火) 02:17:32.83 ID:6zLifT5V >>575 外野から申し訳ないですが、証明を出す際には強制的にスレ主に理解させるのではなかったですか? それをせずに、ぷ君の煽りに乗って証明をアップするというのはどうにも理解しづらいです。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/579
580: 132人目の素数さん [] 2017/12/12(火) 06:55:29.85 ID:H8wC4JgV >>579 ぷ http://rio2016.5ch.net/test/read.cgi/math/1512046472/580
581: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/12(火) 07:07:37.35 ID:QZzpEMYK >>575 どうも。スレ主です。 どなたか知らないが >もしスレ主からの「誹謗中傷の撤回」が無かったら、 数学に誹謗中傷はないよ。だが、あんたの定理不成立の主張は、実際そう思っているので撤回しない その理由は、>>563に書いた >手元にある pdf ファイルを どこかのうpろだに上げることにする。 まあ、pdfなら読んでも良い気がするし、おれよりLipschitz condition などに詳しいそれなりの人も読むだろうから、良いと思うよ >(スレ主にはトドメをさすような形になってしまうが、 大げさな。そもそも、>>282であなたの定理にイチャモンを付けた時点で、勝敗は決まっている。 あなたの証明公開は些事だ。 正しい定理なら、すでにどこかで論文になっているか、あるいは、これからだれかが論文にして本当の定理になるだろう >ここまでゴネている相手には問題なかろう。) 訳分からん。おれは、証明をこのスレに書くなと言っただけ。 きちんと、学術誌に投稿すべきだと。 どう曲解したら、”ゴネている”とか、”トドメをさす”に、なるのかね?(^^ http://rio2016.5ch.net/test/read.cgi/math/1512046472/581
582: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/12(火) 07:08:37.62 ID:QZzpEMYK >>574 >>580 オハヨー、朝です。 (^o^) ああ、「ぷふ」さんか(^^ PDFとか、まっとうな書式での証明文アップは、良い提案だね http://rio2016.5ch.net/test/read.cgi/math/1512046472/582
583: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/12(火) 07:09:47.92 ID:QZzpEMYK >>576 >スレ主も読みたいはず 読みたくはないが、PDFなど正規の書式なら読んでも良いと思うよ。 >>563に書いた既出文献と、比較できるからね http://rio2016.5ch.net/test/read.cgi/math/1512046472/583
584: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/12(火) 07:10:32.86 ID:QZzpEMYK >>579 >強制的にスレ主に理解させる 勘弁してくれ(^^ パズルで、絵の間違い探しとか、隠し絵とかあるだろ? まあ、いまの所見では、その定理は間違っているから、上記のパズルと同じだと思う。 誹謗中傷でなく、正直な感想だよ それに、Lipschitz condition などに詳しくないから、間違いを見つけるには時間が掛かるだろう だが、そのPDFなどを見たそれなりのプロ並みに詳しい人なら、きっと間違いを見つけてくれだろう(^^ http://rio2016.5ch.net/test/read.cgi/math/1512046472/584
585: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/12(火) 07:21:26.97 ID:QZzpEMYK >>574 >>580 余談だが、「ぷふ」さんが来てくれたおかげで 時枝が沈静化して、助かった ありがとう\(^^/ http://rio2016.5ch.net/test/read.cgi/math/1512046472/585
586: 132人目の素数さん [] 2017/12/12(火) 07:23:10.14 ID:ItXIVsgQ >ああ、「ぷふ」さんか(^^ 分かり易い自演w http://rio2016.5ch.net/test/read.cgi/math/1512046472/586
587: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/12(火) 07:26:31.05 ID:QZzpEMYK >>577 >逃げ回るぷ君へ 横レスだが さすが論争当事者のHigh level peopleさん これだけのヒントで、「ぷふ」さんと分るんだ(^^ 私スレ主のなりすましと曲解する 最下位の人とは、さすがに違うね(^^ http://rio2016.5ch.net/test/read.cgi/math/1512046472/587
588: 132人目の素数さん [] 2017/12/12(火) 07:27:32.45 ID:ItXIVsgQ 朝っぱらから自演全開の恥知らずw http://rio2016.5ch.net/test/read.cgi/math/1512046472/588
589: 132人目の素数さん [] 2017/12/12(火) 07:30:59.38 ID:ItXIVsgQ ぷは見解一つ述べれないアンポンタンなんだからひたすら黙ってればいいのだ 何が証明を上げろだw スレ主同様読まないくせしてw http://rio2016.5ch.net/test/read.cgi/math/1512046472/589
590: 132人目の素数さん [] 2017/12/12(火) 08:09:30.42 ID:H8wC4JgV >>589 見解を述べてないのは誰かな? ぷ (君は関係ないよ) http://rio2016.5ch.net/test/read.cgi/math/1512046472/590
591: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/12(火) 08:10:47.75 ID:QZzpEMYK それ、>>588の"自演全開の恥知らずw"と、>>589の"何が証明を上げろだw スレ主同様読まないくせしてw"と、 自己矛盾 http://rio2016.5ch.net/test/read.cgi/math/1512046472/591
592: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/12(火) 08:12:16.35 ID:QZzpEMYK >>590 「ぷふ」さん、どうも。スレ主です。 その人は、最下位の人で、言っていることのレベルが低いね http://rio2016.5ch.net/test/read.cgi/math/1512046472/592
593: 132人目の素数さん [sage] 2017/12/12(火) 17:27:58.55 ID:14lo33mI >>581 >数学に誹謗中傷はないよ。だが、あんたの定理不成立の主張は、実際そう思っているので撤回しない >その理由は、>>563に書いた だから、数学以前のところに誹謗中傷が存在していると言っている。相手の弁明を聞く気が無い奴が イチャモンをつけると、そのイチャモンは誹謗中傷にしかならないのである。 全てはスレ主の「相手の弁明を聞く気がない」というイビツな態度が原因である。 ただし、pdf ならスレ主も証明を読む気があるらしいので、そうなると話は一変する。 相手の弁明を聞く気があるなら、イチャモンをつけても、それ単独では誹謗中傷には ならないからだ。 そして、証明を次のレスで投下する(うpろだに上げたのでリンクを張る)。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/593
594: 132人目の素数さん [sage] 2017/12/12(火) 17:31:09.14 ID:14lo33mI 以下の pdf に証明を書いた。 ttps://www.axfc.net/u/3870548?key=Lipschitz なるべく行間が無いように、丁寧に証明を書いたつもりである。 なお、「疎な閉集合」は「内点を持たない閉集合」と同じことであるから、 pdf の中では「疎な閉集合」という概念を導入せず、必要な個所では その都度 「内点を持たない閉集合」 という言葉に置き換えた。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/594
595: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/12(火) 19:44:23.24 ID:QZzpEMYK >>593-594 ID:14lo33mIさん、どうも。スレ主です。 ご苦労さまです この板に直接書かれるより、遙かに見やすいね これなら読んでみようかという気にさせるね で、ざっと読んでみたが、正直にわかには理解できない まあ、皆さんこれを読んで、同意 or 不同意を書いてくれるんじゃないかな? 私が、これを理解するより そちらが早いだろう それに「ぷふ」さんが読んでみたいと言っていたし まあ、「ぷふ」さんOK出せば、かなり確度は高いだろうね〜(完全かどうか不明だが・・)(^^ http://rio2016.5ch.net/test/read.cgi/math/1512046472/595
596: 132人目の素数さん [] 2017/12/12(火) 20:19:27.17 ID:ItXIVsgQ >>590 >見解を述べてないのは誰かな? ぷ 因みに俺は既に述べている http://rio2016.5ch.net/test/read.cgi/math/1512046472/596
597: 132人目の素数さん [] 2017/12/12(火) 20:22:08.70 ID:ItXIVsgQ >>591 何が矛盾? http://rio2016.5ch.net/test/read.cgi/math/1512046472/597
598: 132人目の素数さん [] 2017/12/12(火) 20:24:17.98 ID:ItXIVsgQ >>592 だから自演すなと何度言わせるんだ? 恥知らずもたいがいにしておけ http://rio2016.5ch.net/test/read.cgi/math/1512046472/598
599: 132人目の素数さん [] 2017/12/12(火) 20:25:48.87 ID:ItXIVsgQ 結論 スレ主は小学校の道徳からやり直せ http://rio2016.5ch.net/test/read.cgi/math/1512046472/599
600: 132人目の素数さん [] 2017/12/12(火) 20:29:27.48 ID:ItXIVsgQ >>595 >私が、これを理解するより >そちらが早いだろう いつもの通り人任せ 人任せにするくらいなら最初から「怪しい」などと言わなければいいのである 言う権利が無いのである はい、道徳からやり直し、小学生に教えてもらえ http://rio2016.5ch.net/test/read.cgi/math/1512046472/600
601: 132人目の素数さん [] 2017/12/12(火) 20:32:00.47 ID:ItXIVsgQ >それに「ぷふ」さんが読んでみたいと言っていたし >まあ、「ぷふ」さんOK出せば、かなり確度は高いだろうね〜(完全かどうか不明だが・・)(^^ おい、ぷ 期待されてるみたいだぞw 数学的に見解を述べたらどうだ?無根拠な中傷でなく それともまた逃亡ですか? っぷ http://rio2016.5ch.net/test/read.cgi/math/1512046472/601
602: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/12(火) 20:41:43.01 ID:QZzpEMYK >>593-594 (付録 >>596-601) あなたの証明は理解できないが・・、マジレスしておくと >>282 より https://rio2016.5ch.net/test/read.cgi/math/1510442940/421-422 ”定理:f:R → R に対して、B_f={ x∈R|limsup[y→x]|(f(y)−f(x))/(y−x)|<+∞ } と置く。 もし R−B_f が高々可算無限個の疎な閉集合の和で被覆できるならば、f はある開区間の上で リプシッツ連続である。” から、 ”上の定理が使えて、f はある開区間(a,b)の上で リプシッツ連続になる。” ”QはR上で稠密だから、x∈(a,b)∩Qが取れる。仮定から、fは点xで不連続であるが、しかしx∈(a,b)より、fは点xで連続であり、矛盾する。” という論法だったでしょ? 同じ論法で考えると、(上記で、”fは点xでリプシッツ不連続であるが、しかしx∈(a,b)より、fは点xでリプシッツ連続であり、矛盾する”と書き換えて) リプシッツ不連続な点(それは内点を持たないとする)が可算無限個あって、それら可算無限個の点が、有理数のようにR中に稠密に分散されているとし、 もちろん、リプシッツ不連続な点以外は、全てリプシッツ連続で、B_f={ x∈R|limsup[y→x]|(f(y)−f(x))/(y−x)|<+∞ } を満たすとする。 「そういう関数は、数学的に存在しえない!」 そういう主張になると理解しているんだけど? それで良いのかな? そこ、すごく疑問なんだよね http://rio2016.5ch.net/test/read.cgi/math/1512046472/602
603: 132人目の素数さん [sage] 2017/12/12(火) 21:09:16.31 ID:14lo33mI >>602 >あなたの証明は理解できないが・・、マジレスしておくと この程度の証明が理解できないなど問題外である。 極めて基本的なことしかやってないのに、一体どこで躓いているというのだ。 そして、証明を理解するよりも前に何を「余計なこと」ばかりを考えているのだ。 >リプシッツ不連続な点(それは内点を持たないとする)が可算無限個あって、それら可算無限個の点が、有理数のようにR中に稠密に分散されているとし、 >もちろん、リプシッツ不連続な点以外は、全てリプシッツ連続で、B_f={ x∈R|limsup[y→x]|(f(y)−f(x))/(y−x)|<+∞ } を満たすとする。 >「そういう関数は、数学的に存在しえない!」 R上の関数におけるリプシッツ連続とは、本来は「区間」の上で定義される概念であり、 「一点におけるリプシッツ連続」という言葉遣いは見たことが無い。あえて定義するなら、 「 f が点xにおいて limsup[y→x]|(f(y)−f(x))/(y−x)|<+∞ を満たすとき、f は一点xにおいてリプシッツ連続である」 という定義を採用するのが自然だと思われる。この場合、f が点xにおいてリプシッツ「不連続」であるとは limsup[y→x]|(f(y)−f(x))/(y−x)|=+∞ が成り立つときを言うことになる。従って、この言葉遣いのもとで、 R−B_f = (リプシッツ不連続な点全体の集合) と表現できることになる。すると、スレ主の質問は ―――――――――――――――――――――――――――――――――――――――――― R−B_f = (リプシッツ不連続な点全体の集合) が可算無限集合であり、 しかもこれが R の中で稠密であるとすると、「そういう関数は数学的に存在しえない!」 という理解の仕方でいいのか? ―――――――――――――――――――――――――――――――――――――――――― ということになるが、その理解の仕方で問題ない。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/603
604: 132人目の素数さん [] 2017/12/12(火) 21:11:01.59 ID:H8wC4JgV >>596 (君は関係ないよ) http://rio2016.5ch.net/test/read.cgi/math/1512046472/604
605: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/12(火) 21:40:34.53 ID:QZzpEMYK >>603 まあ、良いけどね >そして、証明を理解するよりも前に何を「余計なこと」ばかりを考えているのだ。 違うと思うよ。数学というのは、そう独善にならずに、多角的に考えるべきというのが私の信念でね 「反例が無いか?」は、自分でしっかり、考えた方がいいぜ。それ、数学を研究するなら基本だろう >「一点におけるリプシッツ連続」という言葉遣いは見たことが無い。あえて定義するなら、 曲解だな。「一点におけるリプシッツ”不”連続」と言ったんだよ ところで ”―――――――――――――――――――――――――――――――――――――――――― R−B_f = (リプシッツ不連続な点全体の集合) が可算無限集合であり、 しかもこれが R の中で稠密であるとすると、「そういう関数は数学的に存在しえない!」 という理解の仕方でいいのか? ―――――――――――――――――――――――――――――――――――――――――― ということになるが、その理解の仕方で問題ない。” か・・。 これこそ、これが正しいなら、だれかがどこかで定理にしていて、教科書にでも載りそうな命題に思うけどね まあ、もし正しいなら、あなたの定理として、論文にするのが良いんじゃないですか? http://rio2016.5ch.net/test/read.cgi/math/1512046472/605
606: 132人目の素数さん [] 2017/12/12(火) 21:42:57.82 ID:4+X93l99 リーマンのゼータ関数の零点が可算個かどうか明示公 式を見て何年も前から気になっていたが解決した。 完備な距離空間が非可算であれば第二類の集合だから 内点を持つ(ベールのカテゴリー定理からすぐ言える) 。距離空間C=R^2の部分集合Aが完備であれば上述 よりAは内点を持つ。Aは内点を持つから(Iの閉包)⊂A を満たす或るR^2の開区間Iを含む、Iの閉包の任意の 点はIの集積点である。ゆえにAは集積点を含む。だか ら一致の定理より定数関数としての0ではない1変数正 則関数の零点は可算個である。非可算個あれば全て集 積点になり一致の定理よりその1変数正則関数は定数 関数としての0しか有り得ない。 多変数正則関数では同じような命題は成り立たない。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/606
607: 132人目の素数さん [] 2017/12/12(火) 21:48:40.93 ID:ItXIVsgQ >一体どこで躓いているというのだ εN論法(一年生一学期)で躓いてます いや、その前に小学校の道徳で躓いてます http://rio2016.5ch.net/test/read.cgi/math/1512046472/607
608: 132人目の素数さん [sage] 2017/12/12(火) 21:49:13.43 ID:14lo33mI >>605 >違うと思うよ。数学というのは、そう独善にならずに、多角的に考えるべきというのが私の信念でね >「反例が無いか?」は、自分でしっかり、考えた方がいいぜ。それ、数学を研究するなら基本だろう スレ主流の言い方をすると、 「この pdf 程度の証明も理解できないようなド素人がいくら反例モドキを提示してきても、全く読むに値しない」 と声を大にして言いたい。 だが、俺はスレ主ではないので、反例だと提示されたものは きちんと読むし、反論もする。 だが、こんな回りくどいことばかりしてないで、スレ主はさっさと証明を理解すべきである。 一体どこに躓くポイントがあるというのだ。こんなに簡単な証明なのに。 よほど難解な pdf ならまだしも、この程度のクソ簡単な pdf に何を屁理屈をこねているのだ。 もし pdf の中に間違いを発見できたならば、その間違いを提示する方が、スレ主にとっても俺にとっても 「直接的」であるから、話が早いではないか。つまり、スレ主は反例モドキを探し回るという間接的な アプローチをやめて、pdf の証明を直接的に理解すべきである。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/608
609: 132人目の素数さん [] 2017/12/12(火) 21:50:26.02 ID:ItXIVsgQ >数学というのは、そう独善にならずに と、稀代の独善君が申しておりますw http://rio2016.5ch.net/test/read.cgi/math/1512046472/609
610: 132人目の素数さん [] 2017/12/12(火) 21:51:27.61 ID:ItXIVsgQ >>604 予想通り逃亡乙w http://rio2016.5ch.net/test/read.cgi/math/1512046472/610
611: 132人目の素数さん [] 2017/12/12(火) 21:53:11.34 ID:ItXIVsgQ >一体どこに躓くポイントがあるというのだ。こんなに簡単な証明なのに。 何しろ一年生一学期の授業に着いていけないバカですから http://rio2016.5ch.net/test/read.cgi/math/1512046472/611
612: 132人目の素数さん [sage] 2017/12/12(火) 21:55:34.14 ID:14lo33mI 以下のレスはツッコミを入れても あまり意味は無いのだが、一応レスしておく。 >>605 >曲解だな。「一点におけるリプシッツ”不”連続」と言ったんだよ 曲解ではない。全く同じことである。「一点におけるリプシッツ不連続」という用語もまた、俺は見たことが無い。 そして、もしそのような用語を「一点におけるリプシッツ "連続" 」よりも先に定義しようと思ったら、 「 f が点xにおいて limsup[y→x]|(f(y)−f(x))/(y−x)|=+∞ を満たすとき、f は一点xにおいてリプシッツ不連続である」 と定義するのが自然だと思われる。この場合、その否定バージョンの用語は 「一点におけるリプシッツ連続」という用語であり、自動的に 「 f が点xにおいて limsup[y→x]|(f(y)−f(x))/(y−x)|<+∞ を満たすとき、f は一点xにおいてリプシッツ連続である」 ということになるので、結局、「一点におけるリプシッツ連続」「一点におけるリプシッツ不連続」の どちらの用語を先に定義するかという違いしかない。 そして、どちらの用語も、「もし定義するならこう定義するのが自然だろう」という話であって、 実際にこのような用語が使われているのは見たことが無い。 そして、このような用語を定義したところで、その言葉遣いのもとで R−B_f = (リプシッツ不連続な点全体の集合) が成り立つのだから、だったら そのような用語は使わずに、 「 R−B_f 」という集合だけを用いて話をした方が誤解が無いと思われる。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/612
613: 132人目の素数さん [] 2017/12/12(火) 21:58:57.91 ID:ItXIVsgQ あなたの証明は理解できないが間違いなく怪しい ↑ バカ丸出しw http://rio2016.5ch.net/test/read.cgi/math/1512046472/613
614: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/12(火) 22:18:36.77 ID:QZzpEMYK >>612 まあ、 ”―――――――――――――――――――――――――――――――――――――――――― R−B_f = (リプシッツ不連続な点全体の集合) が可算無限集合であり、 しかもこれが R の中で稠密であるとすると、「そういう関数は数学的に存在しえない!」 という理解の仕方でいいのか? ―――――――――――――――――――――――――――――――――――――――――― ということになるが、その理解の仕方で問題ない。” だから、もしこういう関数が存在するということになれば、反例成立で、定理は不成立だな http://rio2016.5ch.net/test/read.cgi/math/1512046472/614
615: 132人目の素数さん [sage] 2017/12/12(火) 22:25:08.61 ID:14lo33mI >>614 負け犬の遠吠えにしか見えない。 そのような関数の具体例が構成できたというなら見てやるが、 「もし存在するなら定理は不成立だな」 という発言だけでは、何も言ってないのと同じ。正真正銘の「負け犬の遠吠え」。 ちなみに、実際にそういう関数を構成しようとすると、 ・ 当初予定していた可算無限個の点では |(f(y)−f(x))/(y−x)|=+∞ が成り立つようにできたが、 それ以外の非常にたくさんの点でも |(f(y)−f(x))/(y−x)|=+∞ が成り立ってしまう という現象に見舞われること請け合いである(つまり、反例は構成できない)。 あと、何度も言うけど、もし pdf の中に間違いを発見できたならば、 その間違いを提示する方が、スレ主にとっても俺にとっても「直接的」であるから、ずっと話が早い。 つまり、スレ主は反例モドキを探し回るという間接的なアプローチをやめて、pdf の証明を 直接的に理解すべきである。 証明を書いた本人がここに居るのだから、証明の中の不明な点はここで質問すればいいだけの話。 一体どこで躓いているというのだ。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/615
616: 132人目の素数さん [] 2017/12/12(火) 22:30:45.49 ID:ItXIVsgQ >つまり、スレ主は反例モドキを探し回るという間接的なアプローチをやめて、pdf の証明を >直接的に理解すべきである。 時枝問題w http://rio2016.5ch.net/test/read.cgi/math/1512046472/616
617: 132人目の素数さん [] 2017/12/12(火) 22:45:45.14 ID:ItXIVsgQ 人間自演に手を出すようになったら終わりだよ スレ主 http://rio2016.5ch.net/test/read.cgi/math/1512046472/617
618: 132人目の素数さん [] 2017/12/12(火) 23:01:43.70 ID:ItXIVsgQ 哀れなスレ主のために一つだけ忠告しといてあげよう 自演で人は騙せても自分は騙せないぞ? http://rio2016.5ch.net/test/read.cgi/math/1512046472/618
619: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/12(火) 23:07:57.61 ID:QZzpEMYK >>615 >負け犬の遠吠えにしか見えない。 そうかね〜? その定理および、それから導かれる”R−B_f = (リプシッツ不連続な点全体の集合) が可算無限集合であり、 しかもこれが R の中で稠密であるとすると、「そういう関数は数学的に存在しえない!」” という主張はすばらしく面白いと思うが・・ すばらし過ぎ、面白過ぎ、じゃないかな・・・? じゃ、なんで、いままで誰も、気がつかなかったのか? 関数論の専門家たちが? それから、その証明について、「正しい」と請け合う人は、まだいないよ ああ、腰巾着のおっさんID:ItXIVsgQ 一人いるけどな。このおっさん、訳分からんがね http://rio2016.5ch.net/test/read.cgi/math/1512046472/619
620: 132人目の素数さん [sage] 2017/12/12(火) 23:10:51.35 ID:14lo33mI >>619 話が進まないので、俺の方から話を進めるぞ。 例の pdf の構成は 定義1.1 定義1.2 定理1.3 系1.4 補題1.5 補題1.6 定理1.7 系1.8 補足 となっている。この中で、定理1.3と系1.4はベールのカテゴリ定理だから疑いようがない。 また、補題1.6は基本的なε−δ論法であるから、これが理解できないなんて許されない。 また、系1.8と補足はオマケであり、明らかに今回の話の本題からは外せる。従って、残るは 補題1.5 定理1.7 の2つだけである。そこで、スレ主に最初の質問をする。 「補題1.5 は理解できたか?YESかNOかで答えよ。 NOの場合は、どこで躓いているのかも述べよ。 YES, NO 以外の返答は認めない。さっさと証明を読んで来い。 補題1.5は たかが0.5ページ程度の分量しかないのだ」 http://rio2016.5ch.net/test/read.cgi/math/1512046472/620
621: 132人目の素数さん [] 2017/12/13(水) 00:11:22.23 ID:p08hLjSN >>594 >ttps://www.axfc.net/u/3870548?key=Lipschitz >なるべく行間が無いように、丁寧に証明を書いたつもりである。 確かに有理数で不連続無理数で微分可能な関数は存在しないですね どうでもいいですが定理の証明の最後で(a,b)をさらに2/M幅ぐらいに制限しておけば そのあとの分割って要らないのでは?(L=1) http://rio2016.5ch.net/test/read.cgi/math/1512046472/621
622: 132人目の素数さん [sage] 2017/12/13(水) 00:18:12.70 ID:Emn1o5My >>621 >どうでもいいですが定理の証明の最後で(a,b)をさらに2/M幅ぐらいに制限しておけば >そのあとの分割って要らないのでは?(L=1) あー、言われてみれば確かに。 そうすると、もっと証明が短くなりますね。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/622
623: 132人目の素数さん [sage] 2017/12/13(水) 00:59:00.08 ID:5ixW3ELF >>619 > それから、その証明について、「正しい」と請け合う人は、まだいないよ 証明を読みました 正しいと思います http://rio2016.5ch.net/test/read.cgi/math/1512046472/623
624: 132人目の素数さん [] 2017/12/13(水) 01:02:04.59 ID:UHeINi+7 さあ始まるぞ スレ主の自演攻撃がw http://rio2016.5ch.net/test/read.cgi/math/1512046472/624
625: 132人目の素数さん [] 2017/12/13(水) 07:05:18.51 ID:+Ojks0P8 そもそも生活で数学は使わないというのは生活におい て数学を使おうとしないからであり俺はサイクリング で微分積分を使うぞ http://rio2016.5ch.net/test/read.cgi/math/1512046472/625
626: 132人目の素数さん [] 2017/12/13(水) 07:07:02.97 ID:+Ojks0P8 数学は理系に限らず数学を直接的でも間接的でも使う 職業に就きたいなら必要だし実体験だが身の回りと世 の中で起こるあらゆる出来事の本質を見抜いて論理的 かつ正確に結論を出したり考えて行動するためには数 学的思考力や物理学あるいは化学の高度ではない知識 が役に立つ http://rio2016.5ch.net/test/read.cgi/math/1512046472/626
627: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/13(水) 07:56:17.30 ID:NkVXzHSd >>620 悪いが、おれはそれには乗らない 反例の方から攻めたいけど、良いかな? 1.”負け犬の遠吠え”とか言っているが、ある新しい定理を思いついたら、既存の定理と組み合わせて、面白いことが言えないかと考えるのは正道だろ というか、それをやらないと、本当に定理が正しいとして、折角の成果を取り逃がしてしまうよ 2.確かに、”R−B_f = (リプシッツ不連続な点全体の集合) が可算無限集合であり、 しかもこれが R の中で稠密であるとすると、「そういう関数は数学的に存在しえない!」”は、反例として考えたが、正しいとしたら面白いことでもある 3.反例に対する正しい理由付けとして、リプシッツ連続は、位相的に広がりを持った概念*)だから、 ”実際にそういう関数を構成しようとすると、 ・ 当初予定していた可算無限個の点では |(f(y)−f(x))/(y−x)|=+∞ が成り立つようにできたが、 それ以外の非常にたくさんの点でも |(f(y)−f(x))/(y−x)|=+∞ が成り立ってしまう”(>>615) という。それなら、”リプシッツ連続の性質から、稠密なリプシッツ”不”連続な点は増えて、可算から不加算になる”(自己増殖性あり)が、直接導けるってことになるだろ *)(参考) ”R上の関数におけるリプシッツ連続とは、本来は「区間」の上で定義される概念であり、 「一点におけるリプシッツ連続」という言葉遣いは見たことが無い。”(>>603) 4.ところで、「一点におけるリプシッツ連続」については、”pointwise Lipschitz condition”という用語がある 例えば、>>285 "** For each 0 < r < 2, f^r satisfies no pointwise Lipschitz condition. Heuer [15]、** For r = 2, f^r is nowhere differentiable and satisfies a pointwise Lipschitz condition on a set that is dense in the reals. Heuer [15]" とか 検索でも、pointwise Lipschitz condition で山ほどヒットするよ つづく http://rio2016.5ch.net/test/read.cgi/math/1512046472/627
628: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/13(水) 07:57:03.02 ID:NkVXzHSd >>627 つづき 5.それで、”リプシッツ連続の性質から、稠密なリプシッツ”不”連続な点は増えて、可算から不加算になる”(自己増殖性あり)が正しいとすると、下記の”Hausdorff dimension zero”などと矛盾するように思うけどね。 その”自己増殖性”(不正確だが短くこう呼ばせて貰う)は、可算・不加算とは直接は無関係だからね (参考) http://mathforum.org/kb/message.jspa?messageID=5432910 (抜粋) ** f_w is differentiable on a set whose complement has Hausdorff dimension zero. Jurek [4] (pp. 24-25) [4] Bohus Jurek, "Sur la derivabilite des fonctions a variation bornee", Casopis Pro Pestovani Matematiky a Fysiky 65 (1935), 8-27. [Zbl 13.00704; JFM 61.1115.01] It appears that Jurek proves some general results concerning the zero Hausdorff h-measure of sets of non-differentiability for bounded variation functions such that the sum of the h-values of the countably many jump discontinuities is finite (special case: h(t) = t^r for a fixed 0 < r < 1). General "h-versions" of the ruler function seem to appear as examples, and V. Jarnik's more precise results about the Hausdorff dimension of Liouville-like Diophantine approximation results are used. (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1512046472/628
629: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/13(水) 07:57:25.99 ID:NkVXzHSd >>623 >証明を読みました >正しいと思います これは、ひょっとして「ぷふ」さん? とすると、やばいね。負けそうかな? http://rio2016.5ch.net/test/read.cgi/math/1512046472/629
630: 132人目の素数さん [] 2017/12/13(水) 08:53:49.03 ID:p08hLjSN >>629 違うよ http://rio2016.5ch.net/test/read.cgi/math/1512046472/630
631: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/13(水) 09:31:35.62 ID:0oj7NQvX >>630 どうもスレ主です。 「ぷふ」さん、どうもありがとう(^^ >違うよ じゃ、まだ脈はありそうだな(^^ http://rio2016.5ch.net/test/read.cgi/math/1512046472/631
632: 132人目の素数さん [] 2017/12/13(水) 14:02:36.38 ID:pDSDyuZn リーマン積分は図形を縦切りして面積を求めルベーグ 積分は横切りして面積を求めるというがそれはルベー グ積分の構成を明示的に書くと文献によって多少表現 は違うが本質的にはこの式と同じよう被積分関数の値 域を分割して対応する定義域の部分集合の測度と分割 の幅をかけて足して分割を細かくした極限だから任意の集合に対して測度さえ定まれば積分が定まるという 原理 http://rio2016.5ch.net/test/read.cgi/math/1512046472/632
633: 132人目の素数さん [sage] 2017/12/13(水) 17:21:33.48 ID:Emn1o5My >>627 >悪いが、おれはそれには乗らない >反例の方から攻めたいけど、良いかな? 「実際に反例が構成できて、それが反例になっていることも証明できた」というなら見てやるが、 スレ主がダラダラと書いている「反例のための考察モドキ」には、今後は一切反応しない。 読みはするけど、反応はしない。また、 「わたくしスレ主の直観では、これが反例になっている予感がする(証明はできてない)ので、ぜひそちらで検証してくれ」 といった、証明がついてない「いい加減な要望」も、今後は一切聞き入れない。 スレ主のこのような手法は、俺からの証明が投下されてなかった段階では一理あったが、 証明が投下された今となっては、このような手法は単なる悪あがきであり、「負け犬の遠吠え」だからだ。 反例にこだわるなら、スレ主の手で「証明済み」になっている反例を証明付きで持ってこい。 ただし、今回だけは特別に、その「いい加減な要望」に反応してやる。しかし、これが最後である。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/633
634: 132人目の素数さん [sage] 2017/12/13(水) 17:25:42.62 ID:Emn1o5My >>627 >5.それで、”リプシッツ連続の性質から、稠密なリプシッツ”不”連続な点は増えて、可算から不加算になる”(自己増殖性あり)が >正しいとすると、下記の”Hausdorff dimension zero”などと矛盾するように思うけどね。 矛盾しない。なぜなら、その論法で矛盾とするためには、「 "自己増殖性" があるならハウスドルフ次元はゼロにならない」 という主張を前提としなければならないが、非可算無限集合でもハウスドルフ次元はゼロになりえるので、そんな主張は出ない。 ここでスレ主の論法は破綻する。 はい終了。 これ以上、その例を引き合いに出して反例としたいなら、実際に反例になっていることをスレ主の手で厳密に証明してから持ってこい。 そうでない発言、すなわち、「ダラダラと考察モドキを書き連ねているだけ」の負け犬の遠吠えには、今後は一切反応しない。 そして、例の pdf の話に戻るが、この程度の pdf から逃げ回るなんて許さない。実質的には「補題1.5」と「定理1.7」しか 内容が無いシンプルな pdf なのだ。その部分は目測では2ページ分くらいしかない。>>621で指摘があった短縮案を加味すると、 さらにもう少し証明がシンプルになる。そのような、「たった2ページ」の証明から逃げ回るなんて言語道断である。 しかも、書いた本人がここに居て、何でも質問できるというのに。 改めて、まずは補題1.5から質問する。 「補題1.5 は理解できたか?YESかNOかで答えよ。 NOの場合は、どこで躓いているのかも述べよ。 YES, NO 以外の返答は認めない。さっさと証明を読んで来い。」 http://rio2016.5ch.net/test/read.cgi/math/1512046472/634
635: 132人目の素数さん [sage] 2017/12/13(水) 17:28:53.93 ID:Emn1o5My 本題からは逸れるが、↓のレスにも返答しておく。 >4.ところで、「一点におけるリプシッツ連続」については、”pointwise Lipschitz condition”という用語がある その言葉は知っている。しかし、その言葉は pointwise Lipschitz "continuous" ではない。わざわざ pointwise Lipschitz "condition" と書いてある。依然として、「一点におけるリプシッツ連続」という言葉遣いは見たことがない。 どうしても「一点におけるリプシッツ連続」に相当する言葉を使いたいなら、 スレ主が指摘した pointwise Lipschitz condition を使った方が誤解が少ないので、そちらを推奨する。 日本語なら 「一点におけるリプシッツ条件」 とでも書くべきか。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/635
636: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/13(水) 17:55:41.82 ID:0oj7NQvX >>633-635 どうもスレ主です。 >そうでない発言、すなわち、「ダラダラと考察モドキを書き連ねているだけ」の負け犬の遠吠えには、今後は一切反応しない。 はい、はい。 そうしてもらえると助かるよ。 おれは、”この定理が、正しい”という確信を得るために、 この定理が他の定理との組み合わせや、あるいは他の定理と矛盾しないかを、考えている。 その過程で、リプシッツ連続や、”pointwise Lipschitz condition”についての理解も深まるだろう ”正しいという確信”が得られてから、きちんと証明を読みたいね。そうしないと、徒労だろ? まあ、その前に、現状一人「証明を読みました 正しいと思います」(>>623)というご意見があるが、 セカンドオピニオンを求めたいね。 1.「その定理は、すでに〇〇がxxに書いている」(あるいはその簡単な系)という情報が得られるか 2.「その定理は、既存のxxと矛盾する」という情報(あるいは意見)が得られるか そのどちらかを、期待しているのだがね あるいは、大学の教員レベルの人のご意見が、投下されるとか 「ぷふ」さんのご意見も、期待しているよ まあ、「その証明は、正しい」という意見が、圧倒的に多くなれば、頭を切り替えないといけないかも知れないが まだ、その段階にあらずと思うので、悪しからず これから、他の人の意見も出てくると思うので、乞うご期待 http://rio2016.5ch.net/test/read.cgi/math/1512046472/636
637: 132人目の素数さん [sage] 2017/12/13(水) 17:59:16.87 ID:Emn1o5My >>636 >”正しいという確信”が得られてから、きちんと証明を読みたいね。そうしないと、徒労だろ? 「たかが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 である。 ――――――――――――――――――――――――――――――――――――――――――――――――― ここまでの議論は理解しているか?YESかNOかで答えよ。 NOの場合は、どこで躓いているのかも述べよ。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/637
638: 132人目の素数さん [sage] 2017/12/13(水) 18:02:12.49 ID:bAjiZ1ZL おっちゃんです。 見に来ました。何かよく分からないけど、元が私の間違いにあって、 私のせいで厄介なことになってしまったのかな。 それじゃ、おっちゃん寝ます。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/638
639: 132人目の素数さん [] 2017/12/13(水) 19:23:13.02 ID:UHeINi+7 >>629 >>630 >>631 スレ主自演全開w 予告した通りになったw >さあ始まるぞ >スレ主の自演攻撃がw http://rio2016.5ch.net/test/read.cgi/math/1512046472/639
640: 132人目の素数さん [] 2017/12/13(水) 19:29:18.56 ID:UHeINi+7 >>636を要約すると 「私は馬鹿なので数学が理解できません」 ↑ならROMってろよw http://rio2016.5ch.net/test/read.cgi/math/1512046472/640
641: 132人目の素数さん [] 2017/12/13(水) 19:33:18.81 ID:UHeINi+7 >>”正しいという確信”が得られてから、きちんと証明を読みたいね。そうしないと、徒労だろ? >「たかが2ページの証明」に徒労もクソもない。 ワロタ どんだけ努力が嫌いなんだよw そんなだからいつまで経っても大学一年一学期の数学すら理解できないんだよw http://rio2016.5ch.net/test/read.cgi/math/1512046472/641
642: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/13(水) 21:33:36.05 ID:NkVXzHSd >>639-641 最下位の腰巾着、必死だな(^^ あんたには、”成りすまし疑惑”を言い立てるしか、救いがないんだろ。がんばれよ(^^ http://rio2016.5ch.net/test/read.cgi/math/1512046472/642
643: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/13(水) 21:33:58.50 ID:NkVXzHSd >>638 おっちゃん、どうも、スレ主です。 おっちゃんには、なんの責任もないし、無関係だよ だが、レスありがとう http://rio2016.5ch.net/test/read.cgi/math/1512046472/643
644: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/13(水) 21:34:51.93 ID:NkVXzHSd >>637 ID:Emn1o5Myさん、どうも。スレ主です。 あなたには、お礼を言いたい。なかなか、面白い定理と証明とを提供してくれたことを お陰で、リプシッツ連続について、いろいろ勉強させてもらった。いまも勉強中だが その定理の正否は、皆さんが、コメントしてくれるだろう。 「読んでみたい」(>>576)と言った「ぷふ」さんも居るし まあ、私見では、定理は成立しないと思うが、その証明はあなたのレベルの高さをしめしていると思う。 ピエロよりは、はるかにレベルが高いね。 人違いしてすまなかったね まあ、繰返すが、定理の成立に自信があるなら、静かに待てば良い。 正しければ、皆さんが、賛意を示してくれるだろう http://rio2016.5ch.net/test/read.cgi/math/1512046472/644
645: 132人目の素数さん [] 2017/12/13(水) 21:41:21.53 ID:UHeINi+7 >>644 >「読んでみたい」(>>576)と言った「ぷふ」さんも居るし >>576は一言も「ぷふ」と言ってないのに何でぷふだとわかるの? 自分で「自演してます」と言ってるも同然だと気付かないの?っぷ http://rio2016.5ch.net/test/read.cgi/math/1512046472/645
646: 132人目の素数さん [] 2017/12/13(水) 21:42:56.50 ID:UHeINi+7 >>624 いくら他人を最下位呼ばわり、腰巾着呼ばわりしたところで 自演を正当化できないぞ?w http://rio2016.5ch.net/test/read.cgi/math/1512046472/646
647: 132人目の素数さん [sage] 2017/12/13(水) 21:45:30.31 ID:Emn1o5My >>644 賛意は既に2つある。>>621と>>623である。>>621は明確に「正しい」とは述べていないが、 定理1.7の証明の短縮案を提示しているので、明らかに定理1.7の証明を理解しており、 なおかつ間違いの指摘がないので、実質的には賛意を示しているのと同じである。 また、賛意の多さは問題ではない。 スレ主が理解しないことが問題なのである。なんたって、 >まあ、私見では、定理は成立しないと思うが、その証明はあなたのレベルの高さをしめしていると思う。 未だにこんなことを言っているのだからな。そして、こんなことを言うからには、 スレ主には pdf の証明を理解してもらう。逃げることは許さない。たった2ページの証明なのだ。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/647
648: 132人目の素数さん [] 2017/12/13(水) 21:46:34.06 ID:+Ojks0P8 Πανδώρα http://rio2016.5ch.net/test/read.cgi/math/1512046472/648
649: 132人目の素数さん [sage] 2017/12/13(水) 21:47:45.73 ID:Emn1o5My >>644 まずは補題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のうち、ここまでの議論については理解しているのか? YESかNOかで答えよ。NOの場合は、どこで躓いているのかも述べよ。 http://rio2016.5ch.net/test/read.cgi/math/1512046472/649
650: 132人目の素数さん [] 2017/12/13(水) 21:50:31.95 ID:+Ojks0P8 يعقوب http://rio2016.5ch.net/test/read.cgi/math/1512046472/650
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.344s*