[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む49 (658ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む49 http://rio2016.5ch.net/test/read.cgi/math/1514376850/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
9: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/27(水) 21:23:40.64 ID:JqNELMW3 >>8 補足 ＜数学ディベート＞について 過去スレより http://rio2016.2ch.net/test/read.cgi/math/1494038985/50 50 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/06 どこの馬の骨ともしれん連中との、数学ディベートもどきより URLとコピペやPDFの方によほど価値を見いだすスレ主です（＾＾； http://rio2016.2ch.net/test/read.cgi/math/1494038985/189-190 189 自分：現代数学の系譜11 ガロア理論を読む[sage]
投稿日：2017/05/09 いやはや、（文系） High level people たち（ ID:jEMrGWmk さん含め）の、数学ディベートもどきは面白いですね（＾＾； ”手強い？”とは・・、まさに、ディベートですね 私ら、理系の出典（URL)とコピペベース、ロジック（論証）＆証明重視のスタンスと、ディベートもどきスタイル（２ＣＨスタイル？）とは、明白に違いますね 私ら、（文系） High level people たちとの議論は、時間とスペースの無駄。レベルが高すぎてついていけませんね。典拠もなしによく議論しますね。よく分かりましたよ（＾＾； 190 自分返信：現代数
学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09 私ら、理系は、一応従来の議論は調べて、その上でしか議論はしません そうしないと、大概二番煎じですし、車輪の再発明ですから 典拠もなしによく議論しますね〜。よく分かりましたよ（＾＾； 私とは、議論がかみ合わないわけだ・・ ”他サイトからのコピペでスレを埋め尽くす行為” なんて非難されましたけどね〜（＾＾； ディベートに勝ちたいからそういう発言なんですね〜。典拠もなしで、出した典拠も読まない議論か・・。よく分かりましたよ（＾＾； http://rio2016.
5ch.net/test/read.cgi/math/1514376850/9
10: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/27(水) 21:24:00.40 ID:JqNELMW3 過去スレより http://rio2016.2ch.net/test/read.cgi/math/1497848835/638 638 名前：現代数学の系譜 古典ガロア理論を読む[sage] 投稿日：2017/07/11(火) 08:40:28.58 ID:+FRiTcES >>630 おっちゃん、どうも、スレ主です。 >>まあ、おっちゃんが、上記を理解したら、時枝は終わりにしよう >マジメに時枝問題のことでスレ主に付き合う気はなく、 >もはやそういうことをする価値もない。 >スレ主自身の主張や考え方
が大きく間違っていることを私のせいにするべきではない。 いやいや、おっちゃんよりレベルの低い人と議論するつもりはないんだよ〜（＾＾ がまあ、おっちゃんのいう「価値もない」にも一理ある ということで、皆さん悪いが、時枝は、一時棚上げだ。時々やろう 下記のパロディーで言えば、「数学雑談&ガロア理論 〜おっちゃんとボクと、時々、（時枝 ＆ ￥さん）〜」かな（＾＾ まあ、話題を散らしながら、ゆっくりやりましょう（＾＾ おっちゃん！ いま気になっていることを、好きに書いてくれ！（＾＾ https://ja.wikipedia
.org/wiki/%E6%9D%B1%E4%BA%AC%E3%82%BF%E3%83%AF%E3%83%BC_%E3%80%9C%E3%82%AA%E3%82%AB%E3%83%B3%E3%81%A8%E3%83%9C%E3%82%AF%E3%81%A8%E3%80%81%E6%99%82%E3%80%85%E3%80%81%E3%82%AA%E3%83%88%E3%83%B3%E3%80%9C 東京タワー 〜オカンとボクと、時々、オトン〜 - Wikipedia (抜粋) 『東京タワー 〜オカンとボクと、時々、オトン〜』（とうきょうタワー オカンとボクと、ときどき、オトン）は、リリー・フランキーの実体験を基にした長編小説である。 2006年と2007年にテレビドラマ化（単発ドラマと連続ドラマ）、2007年に
映画化、舞台化されている。 2005年6月29日、扶桑社より発売された[1]。装丁もリリー本人。初版は3万部だった。2006年1月には100万部を突破。2006年10月31日には200万部（扶桑社発表）を越すベストセラーとなった。 久世光彦が「泣いてしまった…。これは、ひらかなで書かれた聖書である」と評価した。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1514376850/10
11: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/27(水) 21:24:20.58 ID:JqNELMW3 「現代数学のもとになった物理工学」の解題： 言わずもがなですが、数学の発展の大きな原動力は、物理です。数学の発展の大きな原動力は、工学です。 別に説明するほどのこともないですが。 古代の幾何学の背景に、実際の土地測量や巨大建築からの要請が原動力にあったことは間違いないでしょう。 ニュートン以来の解析や数論も同様。 で、物理学の背景に、工学に直結する日常のいろいろな事象がある。戦争というのも、大きな要因では
あります。仏エコールポリテクニークなども、ナポレオン戦争遂行のための工学校です。 （https://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%B3%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%9D%E3%83%AA%E3%83%86%E3%82%AF%E3%83%8B%E3%83%BC%E3%82%AF エコール・ポリテクニーク 1804年にナポレオン・ボナパルトによって軍学校とされる） 工学が物理の進展を促した面は多々あります。有名なプランクの熱と光の放射の理論を研究した背景に、当時の工学的課題であった、高温物体を光学測定により正確な温度を知るため（今の光温度計）であったと言われています。 つ
まり、工学的課題「高温物体を光学測定により正確な温度を知るための光温度計」→物理的課題「高温物体の光放射理論構築」→プランクの量子仮説→量子力学の誕生→作用素環→非可換幾何（現代数学）ということなのです。 コンヌ先生もおっしゃっているそうですが、物理や工学の課題は、いままでもそうですが、現代数学のエネルギー源なのです。 京大数学科がだめになったのは、「20世紀の古い数学に閉じこもってしまった」というようなことがあるのではないでしょうか？ 新しい数学へのチャレンジが無い？ （参考 過去スレ39 http://rio2016.2ch.net/
test/read.cgi/math/1503063850/476 (抜粋)「自己顕示欲だけが目的で人生を送り、ほんで他人の邪魔ばっかししてるから筑波とか京大みたいになってアカン様になんのや。」 ） http://rio2016.5ch.net/test/read.cgi/math/1514376850/11
12: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/27(水) 21:24:39.41 ID:JqNELMW3 時枝問題（数学セミナー201511月号の記事）まとめについては スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/11-67 ほぼほぼ、時枝は、「ぷふ」さんのおかげで完全終了です！ ＼（＾＾）／ テンプレ以上です。 http://rio2016.5ch.net/test/read.cgi/math/1514376850/12
13: １３２人目の素数さん [sage] 2017/12/27(水) 23:36:31.32 ID:hLkm2n+q 前スレ >>621 ＞貴方の証明を斜め読みしたが、稠密で無い場合、つまり、どこかにBfを満たす区間(a, b)が取れる前提でしか、 ＞証明していないように見えるが、どう？ 息をするように間違えるゴミクズ。 斜め読みしかしてないからそういう間違いに陥るのである。 例の定理の仮定は「 R−B_f は第一類集合である 」というものである。 もちろん、例の定理の証明は この仮定のもとで進められる。 となれば、お前の今回の発言は次のような意味になってしまう。
「 R−B_f は第一類集合であるという仮定のもとで証明が進められているが、 この仮定では どこかにBfを満たす区間(a, b)が取れる前提になってしまうぞ」 もちろん、お前のこの発言は間違っている。なぜなら、第一類集合 A であって、 A が R の中に稠密に分布しているような例が存在するからだ。 http://rio2016.5ch.net/test/read.cgi/math/1514376850/13
14: １３２人目の素数さん [sage] 2017/12/27(水) 23:50:52.65 ID:hLkm2n+q 前スレ>>822 ＞だが、定理の前提の関数fは自由度が高いので（不連続も可だし）、あなたの定理でいう区間(a, b)に、”反例関数”のx＝0の近傍を切り取って来て、 ＞貼り付ければ、区間(a, b)はリプシッツ連続でなくなるよ。（この貼付操作は、全ての区間に適用できるよ） 息をするように間違えるゴミクズ。一体どうやって張り付けるつもりだね？ もし張り付けによって反例を作りたいのなら、x＝0 の近傍が「離散的に分布する」ような貼り付けでは意味が無いんだぞ？
なぜなら、それ以外の開区間を取れば、そこではリプシッツ連続になるからだ。従って、張り付けによって反例を作りたいのなら、 x＝0 の近傍が「 R の中に稠密に分布する」ような貼り付けを考えなければならないんだぞ？ では、一例として、関数 f(x) を有理数 p だけ平行移動した f(x＋p) という関数を考え、これらを単純に足し算した g(x) ＝ Σ[p∈Q] f(x＋p) という関数を考えてみよう。この場合、"x＝0 の近傍" の挙動をする点が R の中に稠密に分布するように見えるが、 まず大前提として、上記のように定義した g は「ちゃんと各点
で収束しているのか？」という問題が生じる。 もし収束してないなら、この g はそもそも well-defined でないことになるので失敗である。また、 仮に収束しているのだとしても、今度は 「 R−B_g は第一類集合になっているのか？」 という新たな問題が生じる。なぜなら、仮に収束するのだとして、その収束は、直観的には 「 "x＝0 の近傍" が少しずつズレた関数 f(x＋p) の値がひたすら打ち消し合ってギリギリ収束する」 というものであるため、当初考えていた「 x＝0 の近傍 」は、g のグラフにおいては影も形もなくなってしまい
、 もはや g(x) がどの点で Ag(x)＜＋∞ や Ag(x)＝＋∞ を満たすのかが全く分からなくなってしまうからだ。 最悪の場合、「むしろ g のグラフは物凄くキレイな形になる」という可能性すらあり得るｗ [続く] http://rio2016.5ch.net/test/read.cgi/math/1514376850/14
15: １３２人目の素数さん [] 2017/12/27(水) 23:53:05.95 ID:W7tdg+qq 削除依頼を出しました http://rio2016.5ch.net/test/read.cgi/math/1514376850/15
16: １３２人目の素数さん [sage] 2017/12/27(水) 23:55:43.57 ID:hLkm2n+q [続き] そして、R−B_g が第一類集合になってないなら、そもそも例の定理の適用範囲外になるので、反例の構成に失敗する。 また、R−B_g が第一類集合になっているだけでもダメで、 Ag(x)＝＋∞ が成り立つ点が R の中に稠密に存在するようにしなければ反例にならない。 しかし、既に述べたように、当初考えていた「 x＝0 の近傍 」は、g のグラフにおいては影も形もなくなってしまい、 もはや g(x) がどの点で Ag(x)＜＋∞ や Ag(x)＝＋∞ を満たすのかが全
く分からなくなってしまうので、 そもそもの話として、 「 Ag(x)＝＋∞ が成り立つ点が R の中に稠密に存在するようにする」 という芸当自体が極めて困難な作業になる。 お前は軽々しく「貼り付け」とか言っているが、そんなに簡単な話じゃないんだよ。 もし「貼り付け」によって反例が構成できると考えているなら、 具体的な貼り付けの例を厳密に構成して、このスレに書いてみろよ。 絶対に反例になってないからｗ http://rio2016.5ch.net/test/read.cgi/math/1514376850/16
17: １３２人目の素数さん [sage] 2017/12/28(木) 01:08:11.31 ID:wU1xPsOB ガロアのスレ主は狂ってるのか… http://rio2016.5ch.net/test/read.cgi/math/1514376850/17
18: １３２人目の素数さん [] 2017/12/28(木) 01:15:29.36 ID:X/brOcBM 痴呆老人です http://rio2016.5ch.net/test/read.cgi/math/1514376850/18
19: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/28(木) 07:49:07.81 ID:IsA0R4yK >>13 あなたは、力があるね（＾＾ だが、なにか、第一類集合と書けば、それが免罪符になっているように錯覚していないか？ 第一類集合に、R中で稠密な場合と、稠密でない場合とあるとする。 場合分けが必要だろう？ 補集合R-Bfが、R中で稠密な場合を仮定として置きながら、結論で”f は(a; b) 上でリプシッツ連続である”を導くのは、なんか変 それこそ、循環論法では？ http://rio2016.5ch.net/test/read.cgi/math/1514376850
/19
20: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/28(木) 07:49:43.41 ID:IsA0R4yK >>14-16 例えば、補題1.5 ”∀y, z ∈ R [x − 1/M < y < x < z < x +1/M → ｜f(z) − f(y)｜ <= N(z − y)] が成り立つ” で、あなたの反例関数を考えるなら、上記は成り立たないんじゃない？ あなたの関数に上記を適用してみて http://rio2016.5ch.net/test/read.cgi/math/1514376850/20
21: １３２人目の素数さん [] 2017/12/28(木) 09:28:03.51 ID:X/brOcBM 例の定理を仮定すれば例の定理は自明である スレ主 http://rio2016.5ch.net/test/read.cgi/math/1514376850/21
22: １３２人目の素数さん [] 2017/12/28(木) 11:15:44.24 ID:PM4TukNk >>19 数学の証明の構成を理解していればそこに書いたようなことは書かないでしょうね http://rio2016.5ch.net/test/read.cgi/math/1514376850/22
23: １３２人目の素数さん [sage] 2017/12/28(木) 15:39:43.54 ID:DMAwdmu2 おっちゃんです。 >>23 >第一類集合に、R中で稠密な場合と、稠密でない場合とあるとする。 >場合分けが必要だろう？ 場合分けをするのは証明においてそれをしたことで結論を導けるときで、 背理法の枠組みの証明で場合分けをするには場合分けの議論のどこかで R−Bf が内点を持たない閉集合の高々可算和で被覆出来る という仮定の条件を完全に使い切らなければいけない。 R−B_f は第一類集合と仮定されていて、第一類集合にはR上で稠密なときと稠
密でないときとがあるので、 場合分けをして定理を示すには、 R−B_f はR上で稠密な第一類集合という仮定をして、fが或る開区間の上でリプシッツ連続なことを示し、 その上、R−B_f はR上で稠密ではない第一類集合という仮定をして、fが或る開区間の上でリプシッツ連続なことを示さなければいけなくなる。 1つの定理を示すにあたり、結論が同じのダブル定理を示すことになる。 http://rio2016.5ch.net/test/read.cgi/math/1514376850/23
24: １３２人目の素数さん [sage] 2017/12/28(木) 15:46:04.79 ID:DMAwdmu2 >>19 >>23は>>23ではなく>>19(スレ主)宛て。 http://rio2016.5ch.net/test/read.cgi/math/1514376850/24
25: １３２人目の素数さん [sage] 2017/12/28(木) 16:33:52.95 ID:XpoKjxLL >>20 成り立つだろバカタレ。その補題は straddle lemma と同種の定理だと言ってるだろうが。 y と z が点 x を「跨いでいる」ことが重要なんだよ。 http://www.math.nus.edu.sg/~graeme/Analysis/Straddle_Lemma.html このリンク先でも見てみろ。x^{3/2}sin(1/x) ではなく x^2sin(1/x) を考えているが、構造は全く同じだ。 原点を跨いでいる場合、グラフの見た目からも明らかに傾きが有界に収まってるだろ。 「跨いでいたら N の値が有界になる」と言ってるのが補
題1.5であり、sttradle lemma なんだよ。 単にリプシッツ連続性を考えるときは、跨いでない場合も考えなくてはいけなくて、 それだと「 N 」の値が有界に収まるとは限らなくなるんだよ。 だから例の関数は原点の近傍でリプシッツ連続に「ならない」わけ。 それでも、y と z が原点を跨いでいるときは、straddle lemma と同じ理由によって、有界に収まるわけ。 いい加減にしろよゴミクズ。 straddle lemma で検索すれば一番上に上記のリンク先が出てくるのに、お前はその程度も調べてないのかよ。 お得意のコピペはどこに行ったんだよ。本当に流し読
みしかしてなくて、何かを調べる気も起きなかったってことだろ？ そういうのは問題外なんだよ。数学以前に、一般論として、 「流し読みしかしてないけど、ここはヘンだと思う」 なんてのは門前払いなんだよ。「流し読みしかしてないお前が100％悪い。きちんと読みこんで来い」 という話にしかならないんだよ。たった2ページの証明に、なにを屁理屈を捏ねていつまでも逃げようとしているのだ。 http://rio2016.5ch.net/test/read.cgi/math/1514376850/25
26: １３２人目の素数さん [sage] 2017/12/28(木) 16:38:13.47 ID:XpoKjxLL >>19 ＞補集合R-Bfが、R中で稠密な場合を仮定として置きながら、結論で”f は(a; b) 上でリプシッツ連続である”を導くのは、なんか変 キチガイ。問題外。レベルが低すぎる。「 P → Q 」という形の命題を証明するのに必要なのは、「 P を仮定すれば Q が導ける」ことを 示すことであって、最終的に Q が出てくるなら、途中の場合分けで "何が起きていても"、どこにもヘンなことは無い。 たとえば、「関数 f：R → R が 点 x で微分可能なら、f は点 x で
連続である」という当たり前の定理が存在するが、 これは今となっては当たり前なだけであって、本来は厳密な証明が必要である。そこで、全てを忘れて頭を真っ白にして、 「 f が点 x で微分可能であっても、果たして本当に点 x で連続なのかは分からない」 という立場で考えることにする。ゆえに、我々がここで証明すべきは、微分可能という条件を仮定に置いて、そこから 「連続である」という条件を導くことである。ここで、２つのケースに場合分けすることで、f が点 x で連続であることを 導くことにする。より具体的には、次のような場合分けを
行う。 ケース１： f が点 x で連続である場合を考え、f が点 x で連続であることを導く。 ケース２： f が点 x で連続でない場合を考え、f が点 x で連続であることを導く。 すると、お前の論法によれば、 「ケース２では、f が点 x で連続でない場合を仮定して置きながら、結論で "f は点 x で連続" を導くのは、なんか変」 と言っていることになる。 すると、お前の論法によれば、「最初から点 x で連続の場合しか考慮してない」と言っていることになる。 [続く] http://rio2016.5ch.net/test/read.cgi/math/1514376850/26
27: １３２人目の素数さん [] 2017/12/28(木) 16:41:58.83 ID:XpoKjxLL [続き] しかし、f が点 x で連続であることの "実際の証明" は、ここでは全く書いてないことに注意せよ。 従って、お前が実際に言っていることは、 「如何なる証明を考えようとも、ケース１,２ による場合分けをスレ主の方から改めて持ち出すことによって、 ケース２がなんか変なので、その証明は最初から "点xで連続の場合" しか考慮してないことが露呈する」 と言っていることになる。むろん、このような主張は論理が滅茶苦茶で問題外である。 そし
て、この滅茶苦茶な論法は、「 P → Q 」の形をした如何なる定理にも適用可能である。 以下、P と Q は何らかの命題であり、「 P → Q 」という形の命題が真であることが証明済みであるとする。 すると、スレ主の滅茶苦茶な言い分によれば、次のように言えてしまう。 ――――――――――――――――――――――――――――――――――――――――――――――――― P が成り立つとする。Q が成り立つことを示したい。以下のように場合分けして示す。 ケース１：Q が成り立つ場合に、Q が成り立つことを示す。 ケース２：Q が成り立たない場
合に、Q が成り立つことを示す。 しかし、ケース２では、Q が成り立たない場合を仮定しておきながら、結論で「Qが成り立つ」を導くのは、なんか変である。 よって、P→Q の如何なる証明を持ち出そうとも、その証明は「最初から Q が成り立つ場合しか考慮してない」ことが露呈する。 ――――――――――――――――――――――――――――――――――――――――――――――――― このように、お前の滅茶苦茶な論法を使えば、「 P → Q 」の形をした命題の如何なる証明も、 ケース１,２による場合分けを持ち出すことによって、「最初から Q
の場合しか考慮してない」と 批判することが可能になってしまう。すなわち、お前にとっては、「 P → Q 」の形をした如何なる命題も、 全く受け入れられない命題となってしまう。 実際には、お前の頭がいかにポンコツであるかが露呈しているだけである。 [続く] http://rio2016.5ch.net/test/read.cgi/math/1514376850/27
28: １３２人目の素数さん [sage] 2017/12/28(木) 16:44:27.80 ID:XpoKjxLL [続き] では、ケース１,２を持ち出しながら「 P → Q 」を実際に証明する場合には、どういう形で証明が進むのかを以下で見ていく。 ここでは、冒頭で挙げた「微分可能なら、その点で連続」という命題について考える。証明は３通り用意した。 ―――――――――――――――――――――――――――――――――――――――――――――――― 証明その１： f は点 x で微分可能とする。ケース１,２に場合分けすることで、f が点 x で連続であることを導く。先にケース
２から見ていく。 ケース２： f は点 x で連続でないと仮定する。一方で、lim[y→x](f(y)−f(x))/(y―x) ＝ f'(x) が存在するのだったから、 lim[y→x](f(y)−f(x)) ＝ lim[y→x](f(y)−f(x))/(y−x) * (y−x) ＝ f'(x) * 0 ＝ 0 となる。 すなわち、lim[y→x] f(y)＝f(x) となる。これは、f が点 x で連続でないという仮定に矛盾する。 よって、このケースは起こらないことが判明した。 よって、ケース１のみを考えればよい。すなわち、「 f は点 x で連続」の場合のみを考えればよい。 しかし、これはまさに導きた
い条件そのものであった。よって、題意が成り立つ。 ―――――――――――――――――――――――――――――――――――――――――――――――― 上記の証明では、ケース２が起こらないことを「きちんと証明コストをかけて判明させている」ところに、 自明でないポイントが存在する。おそらくスレ主は、論点を先取りして定理そのものを無意識のうちに適用してしまったがゆえに、 「全く証明コストをかけずとも、ケース２が実際には起こらないことが最初から分かっているのだから、 この証明は最初からケース１だけを考えているのと同じ(
もしくは、この定理は証明の必要がなく、自明な定理である)」 といったバカげた勘違いに陥っているのだと推測される。もちろん、定理そのものを適用してしまったら、 「全く証明コストをかけなくてもケース２が起こらないことが最初から分かる」のは当たり前の話である。 しかし、それでは循環論法なのである。スレ主の頭がいかにポンコツであるかが露呈しているだけである。 [続く] http://rio2016.5ch.net/test/read.cgi/math/1514376850/28
29: １３２人目の素数さん [sage] 2017/12/28(木) 16:47:03.94 ID:XpoKjxLL [続き] ―――――――――――――――――――――――――――――――――――――――――――――――― 証明その２： f は点 x で微分可能とする。ケース１,２に場合分けすることで、f が点 x で連続であることを導く。 ケース１： f は点 x で連続であると仮定する。よって、f は点 x で連続である。 ケース２： f は点 x で連続でないと仮定する。一方で、lim[y→x](f(y)−f(x))/(y―x) ＝ f'(x) が存在するのだったから、 lim[y→x](f(y)−f(x))
＝ lim[y→x](f(y)−f(x))/(y−x) * (y−x) ＝ f'(x) * 0 ＝ 0 となる。 すなわち、lim[y→x] f(y)＝f(x) となる。よって、f は点 x で連続である。これは、 f が点 x で連続でないという仮定に矛盾する。矛盾した状態からはどんな条件も導けるので、 特に、「 f は点 x で連続である」という条件が導ける。 よって、いずれのケースにおいても、f は点 x で連続であることが言えた。 ―――――――――――――――――――――――――――――――――――――――――――――――― 上記の証明は、 ――――――――――――
―――――――――――――――― 「 P → Q 」という形の命題を証明するのに必要なのは、 「 P を仮定すれば Q が導ける」ことを示すことだけである ―――――――――――――――――――――――――――― という原則に立ち返った証明である。ただし、各ケースの最中で矛盾が起きた場合には、 「矛盾した状態からは何でも帰結できるので、特に Q 自体を帰結できる」 という論法を用いて、「このケースでも Q が導ける」という捉え方をしている。 スレ主が「なんかヘン」と言っていた感覚は、実際にはこのような論法で解消可能なのである。
[続く] http://rio2016.5ch.net/test/read.cgi/math/1514376850/29
30: １３２人目の素数さん [sage] 2017/12/28(木) 16:57:35.12 ID:XpoKjxLL [続き] ―――――――――――――――――――――――――――――――――――――――――――――――― 証明その３： f は点 x で微分可能とする。ケース１,２に場合分けすることで、f が点 x で連続であることを導く。 ケース１： f は点 x で連続であると仮定する。よって、f は点 x で連続である。 ケース２： f は点 x で連続でないと仮定する。一方で、lim[y→x](f(y)−f(x))/(y―x) ＝ f'(x) が存在するのだったから、 lim[y→x](f(y)−f(x))
＝ lim[y→x](f(y)−f(x))/(y−x) * (y−x) ＝ f'(x) * 0 ＝ 0 となる。 すなわち、lim[y→x] f(y)＝f(x) となる。よって、f は点 x で連続である。 よって、いずれのケースにおいても、f は点 x で連続であることが言えた。 ―――――――――――――――――――――――――――――――――――――――――――――――― 上記の証明は、本質的には「その２」と全く同じであり、 ―――――――――――――――――――――――――――― 「 P → Q 」という形の命題を証明するのに必要なのは、 「 P を仮定すれば Q が
導ける」ことを示すことだけである ―――――――――――――――――――――――――――― という原則に立ち返った証明である。ケース２では やはり矛盾が起きているが、もはや 「矛盾した状態からは何でも帰結できるので、〜〜〜」 といった言い回しすらない。それもそもはず、その言い回しをするより前に、示したかった条件「 f は点 x で連続である 」が 導けているからだ。上記の原則に立ち返った場合、「 Q 」が導けた時点で、それ以上何も言う必要がないので、 「矛盾した状態からは何でも帰結できるので、〜&#
x301c;〜」という言い回しすらしていないのが、この証明である。 このような様々な理由により、スレ主の批判は全く批判になってないのである。 http://rio2016.5ch.net/test/read.cgi/math/1514376850/30
31: １３２人目の素数さん [sage] 2017/12/28(木) 17:40:21.55 ID:2d9cLZHb このスレに追いつきたくて教科書（宮島静雄微積分）を読み始めました 早速つまづいてしまいました‥（泣） すみませんが、次の質問についてヒントをいただけないでしょうか？ よろしくお願いいたします。 あ、ガロア理論の頂を踏む、も今はお休みしています（泣） https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q12183928827 http://rio2016.5ch.net/test/read.cgi/math/1514376850/31
32: ◆QZaw55cn4c [sage] 2017/12/28(木) 17:40:39.21 ID:2d9cLZHb >>31 http://rio2016.5ch.net/test/read.cgi/math/1514376850/32
33: １３２人目の素数さん [] 2017/12/28(木) 18:01:51.87 ID:SyQ5vVJB [1]リーマン予想を測度論で解決する方法 [2]明示公式が意味を持つために必要なリーマンのゼータ関数の非自明零点が可算個であることの証明 [1]と[2],それぞれに興味ある人は、こちらを参照 https://mobile.twitter.com/i/moments/938713348601819136 コレをベースに議論しましょう！！ http://rio2016.5ch.net/test/read.cgi/math/1514376850/33
34: １３２人目の素数さん [] 2017/12/28(木) 18:03:25.73 ID:gWwxEo5F >>31 間違いを指摘するのは基本とても面倒です あと例は f(x)=x^2 と A={x|x≧0} B={x|x≦0} でどうでしょうか http://rio2016.5ch.net/test/read.cgi/math/1514376850/34
35: ◆QZaw55cn4c [sage] 2017/12/28(木) 18:06:59.47 ID:2d9cLZHb >>34 やはり間違いが存在するんですね、もし哀れな子羊を助けてやろうと気が向くようでしたら、よろしくお願いいたします。 私もその例を考えていました なわち f(A)∩ f(B) ⊂ f(A∩B)が成立しない反例は思いつきました。 すなわち、 A={x|x∈Z, x ≧0} = { 0, 1, 2, 3,‥} B={x|x∈Z, x < 0} = { -1, -2, -3, ‥} 写像 f: x -> x^2 とする このとき、f(A)∩f(B) = {1, 4, 9, 16, ‥} である 一方A∩B は明らかに空集合 ゆえにf(A∩B)=Φ 以上より f(A)∩ f(B) ⊂ f
(A∩B) ではない反例が存在する http://rio2016.5ch.net/test/read.cgi/math/1514376850/35
36: １３２人目の素数さん [] 2017/12/28(木) 18:22:45.67 ID:gWwxEo5F >>35 間違いがあるかどうかを指摘するのも基本とても面倒です http://rio2016.5ch.net/test/read.cgi/math/1514376850/36
37: １３２人目の素数さん [] 2017/12/28(木) 18:33:05.12 ID:gWwxEo5F fとf^-1で非対称なのはfが写像だからです f(x)の値が複数になるのを許せばf^-1でも等式になりません f(x)=±√x でABは前のでどうでしょう http://rio2016.5ch.net/test/read.cgi/math/1514376850/37
38: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/28(木) 23:40:45.35 ID:IsA0R4yK >>23-24 おっちゃん、どうも、スレ主です。 >場合分けをするのは証明においてそれをしたことで結論を導けるときで、 結論が分かれるときも、場合分けすべきだろうね １）稠密でない場合は、どこかにリプシッツ連続な区間（a,b）がとれる ２）稠密である場合は、仮定を満たす関数は存在しない（空集合） のようにね（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1514376850/38
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 620 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.020s