TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
暗黒通信団 02
現代数学の系譜11 ガロア理論を読む29
Inter-universal geometry と ABC予想 30
フェルマーの最終定理の簡単な証明その２
Inter-universal geometry と ABC予想 (応援スレ) 47
フェルマーの最終定理の簡単な証明5
【大数】大学への数学 学コン考察
現代数学の系譜 古典ガロア理論を読む37
なんで数学板は荒れているのか
素数について教えていただきたいのですが
- 48 ：
- >>27
＞しかし、上記のような事情で、１）の場合については、証明の必要もないトリビアな主張だから、
＞２）の場合だけをきちんと取り上げて、補集合R−Bfが、（稠密で）開区間の反例として存在しうるのか、
＞あるいは、「例外的に補集合が空集合になる」のかだけを、定理として扱うべき。
＞２）の場合を、”ある開区間（a,b）⊂Bfが存在する”という形で扱うべきではない。
ヘタクソな場合分けをするからそういう事態に陥るのであり、場合分けせずに
ダイレクトに証明すればいいだけの話である。そして、それを行っているのが定理1.7である。
あるいは、お前のその屁理屈を定理Cに適用すると、次のように言えてしまう。
――――――――――――――――――――――――――――――――――――――――
定理C：
f：R → R が原点で微分可能ならば、f は原点で連続である。
スレ主：
f が原点で連続かどうかで場合分けすると、
(1) f：R → R が原点で微分可能かつ f が原点で連続ならば、f は原点で連続である。
(2) f：R → R が原点で微分可能かつ f が原点で不連続ならば、f は原点で連続である。
という2種類の命題に場合分けされる。(1)は証明の必要もないトリビアな主張だから、
(2)だけを取り上げて、「 f：R → R が原点で微分可能かつ f が原点で不連続 」という
関数 f が存在しうるのか否かを、定理として扱うべきである。
(2)の場合を「 f は原点で連続である」という形で扱うべきではない。
すなわち、定理C は、まっとうな数学の命題としては、相応しくない。
――――――――――――――――――――――――――――――――――――――――
↑これがお前の言っていることである。スレ主にとって、定理Cはまっとうではないらしいｗ
これは一体どういうことだね？
- 49 ：
- >>27
＞元の定理1.7では
＞２）の場合は、「P’∧Q’2（補集合が稠密）→P’∧Q’2（開区間（a,b）⊂Bfが存在しない）→Q（ある開区間（a,b）⊂Bfが存在する）」だ
＞だから、仮定命題がT（真）のとき、必ず結論命題がF（偽）になる。
＞命題全体が真になるためには、仮定命題がF（偽）で無ければならない。
＞そういう命題は、まっとうな数学の命題としては、相応しくない。
お前がヘタクソな場合分けをするからそういう事態に陥るだけ。
「 P → Q 」の形をした如何なる定理であっても、イジワルな場合分けをすることで、
(2)に相当する「まっとうでない命題」が出現できる。次のようにすればよい。
―――――――――――――――――――――――――――――――――――――
定理：P → Q
スレ主：
上記の定理を証明したい。「 Q が成り立つ場合」「 ¬Q が成り立つ場合」で
場合分けすると、次のようになる。
(1) P∧Q → Q
(2) P∧¬Q → Q
(1)は証明の必要もないトリビアな主張だから、(2)だけを取り上げて、
仮定の「 P∧¬Q 」が真になりえるのか否かを、定理として扱うべきである。
(2)の場合を "P∧¬Q → Q" という形で扱うべきではない。
すなわち、上記の定理「 P → Q 」は、まっとうな数学の命題としては、相応しくない。
――――――――――――――――――――――――――――――――――――――
↑これがお前の言っていることである。
スレ主によれば、如何なる「 P → Q 」も、まっとうな数学の命題ではないらしいｗ
これは一体どういうことだね？
日本の数学者を語るスレ
「コホモロジー」
ブルバキ数学原論 専門スレ
現代数学の系譜 工学物理雑談 古典ガロア理論も読む58
【万年】黒木玄を語ろう【助教】
フェルマーの最終定理の簡単な証明その２
【数学？】眠り姫問題について【哲学？】
リーマン予想証明終了
【数セミ】エレガントな解答をもとむ2【2016．11】
数学科の就職って……
--------------------
池田信夫の自己責任論
【PS4/XB1】The Division 崩壊315日目【ディビジョン】
【イエス】 これはわたしの愛する子ｐａｒｔ34 【キリスト】
ゾイドは何故ここまで墜ちたのか？
クラブチーム・スポーツ少年団について語ろう
天地真理ちゃん
コントレックス〜Contrex〜
【速報】小池知事、名称は「TOKYO2020」のまま
4代目市川猿之助ホモセクシャル日記48
【PS4/Swich/XboxOne】僕のヒーローアカデミア One's Justice2 part9
【うたプリ】先輩スレ7【嶺二・蘭丸・藍・カミュ】
【草の葉】 ウォルト・ホイットマン 【W. Whitman】
【個人塾】個人塾の経営者ちょっとこい【塾経営】84
児童ポルノ規制法でコミケどうなんのよ？ 2
九州？・山口県の方言・広島？
【悲報】韓国で原因不明の肺炎999人発生 一体何が原因なんだ・・・・（；´ん`；） [193847579]
【朝鮮学校】弁護士への懲戒請求、１３万件に急増 ネット上での請求を煽るような書き込みが要因か[05/18]
【特集】ブロードバンドでＭＩＤＩはどう変わる？
【高崎】※群馬県の花火総合スレ※【たまむら】
【HMD】Windows MR 総合 Part 26【Mixed Reality】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
