TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
問題文一行の超難問を出し合うスレ
♂♂♂♂♂♂♂♂♂ 暗号解読
理系思考の残念な点
【数学者】低業績で教授・准教授になった人 Part.2
面白い問題おしえて〜な 29問目
ルベーグ積分や測度論のスレ その2
現代数学の系譜 工学物理雑談 古典ガロア理論も読む57
【数学検定】数学検定1級 合格4
なぜ本当に数学ができる奴は医学科へ行くのか
チラシの裏 2枚目
- 137 :
- >>125
>「定理C:f:R → R が原点で微分可能ならば、f は原点で連続である。」と書いた
>仮定P: f:R → R が原点で微分可能
>これで尽きている。「不連続」は入る余地なし
>だから、微分可能の場合分けには、「f が原点で不連続ならば」は存在しない
間違っている。スレ主は、その場合分けが「証明の中での議論」であったことを忘れている。
証明の中の場合分けで先に定理Cを使うことで特定の場合分けを排除してしまったら循環論法であり、
それでは定理Cの証明にならない。
このことを丁寧に書くと、まずお前は次のように言っていることになる。
――――――――――――――――――――――――――――――――
定理C:
f:R → R が原点で微分可能ならば、f は原点で連続である。
スレ主:
定理Cを証明しよう。f は原点で微分可能とする。f は原点で連続であることを示したい。
ここで、次のような場合分けをする。
(1) f は原点で連続 (2) f は原点で不連続
しかし、f は原点で微分可能なのだから、fは原点で連続なのであり、(2)は起こりようがない。
よって、(2)は場合分けとして入る余地がない。すなわち、f が原点で微分可能としたときの
場合分けには、「f が原点で不連続ならば」は存在しない。
――――――――――――――――――――――――――――――――――
↑これがお前の言っている屁理屈である。この屁理屈の何が間違いなのかと言うと、
今は定理Cを証明しようとしている段階なのに、
>しかし、f は原点で微分可能なのだから、fは原点で連続なのであり、(2)は起こりようがない。
このように書いてしまったら、「先に定理Cを適用している」ことになって循環論法なのである。
つまり、これでは定理Cの証明にならないのである。
- 138 :
- あるいは、次のように言ってもよい。もし >>137 の論法が許されるなら、俺も次のような論法を使わせてもらう。
――――――――――――――――――――――――――――――――――――――
定理1.7:
R−B_f が第一類集合なら、f はある開区間の上でリプシッツ連続である。
俺:
定理1.7を証明しよう。R−B_f は第一類集合とする。
f はある開区間の上でリプシッツ連続であることを示したい。
ここで、次のような場合分けをする。
(1) R−B_f は R の中で稠密ではない (2) R−B_f は R の中で稠密である
しかし、R−B_f は第一類集合なのだから、fはある開区間の上でリプシッツ連続なのであり、(2)は起こりようがない。
よって、(2)は場合分けとして入る余地がない。すなわち、R−B_f が第一類集合としたのきの場合分けには、
「 R−B_f は R の中で稠密である 」は存在しない。
――――――――――――――――――――――――――――――――――――――
↑お前が言っているのは、こういうバカげた主張なのである。
>しかし、R−B_f は第一類集合なのだから、fはある開区間の上でリプシッツ連続なのであり、(2)は起こりようがない。
↑このように、証明の中で先に該当の定理を使ってしまったら、起こり得ない場合分けが先に排除できるのは
当たり前である。でも、それじゃあ循環論法であって、定理の証明にならないのである。
しかし、そのような芸当を定理Cの証明に対しては平気で使っているのがスレ主である。キチガイ。
- 139 :
- さて、上記の理由により、定理C の証明の中で P1,P2 と場合分けした場合には、
"場合分けP2" を事前に排除することは不可能であることが確定した。従って、当初の予定通り
―――――――――――――――――――――――
P: f は原点で微分可能
Q: f は原点で連続
P1:f は原点で微分可能かつfは原点で連続
P2:f は原点で微分可能かつfは原点で不連続
P = P1∨P2
―――――――――――――――――――――――
という場合分けになる。そして、お前は次のように主張するのである。
「 P2 の場合に「 P2 → Q 」を導くのは、なんか変。ゆえに、定理C は数学の命題としてふさわしい形ではない」
これは一体どういうことだね?
Inter-universal geometry と ABC予想 42
♂♂♂♂♂♂♂♂♂♂♂♂ 星質 3
0は自然数か?
lim[n→1-0]{n} < 0.99999…(循環小数)
高校数学の質問スレPart404
惑星ニビルの衝突
現代数学はインチキのデパート
【未解決問題】奇数の完全数が存在しないことの証明
純粋・応用数学
「増田哲也→猫◆→狢◆→狸◆」 次は!?
--------------------
珈琲ヲ楽シミマセウ
エゾオオカミ15
【潤滑】ケミカル総合 61本目【洗浄】
入船亭扇辰
デブライダー( ∴´ )ω( ` ;) 集まれ 76杯目
埼玉県産業廃棄物収集運搬業者
平昌五輪の「そだねー」は本当に方言なのか!?
レタス栽培総合スレ Part5
あひゃん!!!!!!
職場でむかついた事を書くスレ その九十 Part.2
【祝結婚】miwa Part132
【追悼】若松孝二
中島のカタール移籍は代表にとっても痛手だよな
ふわふわしょぼーん そのはちぢゅうよん
【皮下脂肪】とにかく体脂肪率を下げたい奴らのスレ Part.10【内臓脂肪】
ホンダ スーパーカブ50 - Part178
【アズレン】アズールレーン Part4030
【マイリトルポニー】 My Little Pony 【MLP】 #40
【秋葉原】キュリオシティ & そいね委員会 Part.15【閉店寸前キュリオと摘発間近ラブアワが合体】
【経済】ムーディーズ 韓国の格付け「Aa2」に据え置き 見通しは「安定的」
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼