1 名前:132人目の素数さん [2011/06/13(月) 09:05:46.90 ] 過去ログ www3.tokai.or.jp/meta/gokudo-/omoshi-log/ まとめwiki www6.atwiki.jp/omoshiro2ch/ 1 cheese.2ch.net/test/read.cgi/math/970737952/ 2 natto.2ch.net/test/read.cgi/math/1004839697/ 3 science.2ch.net/test/read.cgi/math/1026218280/ 4 science.2ch.net/test/read.cgi/math/1044116042/ 5 science.2ch.net/test/read.cgi/math/1049561373/ 6 science.2ch.net/test/read.cgi/math/1057551605/ 7 science2.2ch.net/test/read.cgi/math/1064941085/ 8 science3.2ch.net/test/read.cgi/math/1074751156/ 9 science3.2ch.net/test/read.cgi/math/1093676103/ 10 science4.2ch.net/test/read.cgi/math/1117474512/ 11 science4.2ch.net/test/read.cgi/math/1134352879/ 12 science6.2ch.net/test/read.cgi/math/1157580000/ 13 science6.2ch.net/test/read.cgi/math/1183680000/ 14 science6.2ch.net/test/read.cgi/math/1209732803/ 15 science6.2ch.net/test/read.cgi/math/1231110000/ 16 science6.2ch.net/test/read.cgi/math/1254690000/ 17 kamome.2ch.net/test/read.cgi/math/1284253640/
326 名前:132人目の素数さん mailto:sage [2011/08/24(水) 16:05:32.05 ] >>324 細かく言えば>>312 →>>314 →>>319 となるが、 >>312 が仮定された時点で>>314 と>>319 は (機械的演算という観点からは)ほぼ同時に言える。そして>>317 は、 f(x)=a_0x^n+a_1x^{n-1}+…+a_n、 g(x)=b_0x^m+b_1x^{m-1}+…+b_m、 a_0、a_1、…、a_n、b_0、b_1、…、b_m∈R のf(x)やg(x)のxを文字と見なしてf(x)やg(x)のxをx+1やx-1で置き換えて計算すればよい。 このように多項式を定義するには何らかの1つの文字Xを持ち出して f(X)=…、g(X)=…のように表さないと話が始まらない。 このように定義すれば、置き換えや代入が出来ることを示せるが、丁寧に書くとこれが意外に長い。
327 名前:132人目の素数さん mailto:sage [2011/08/24(水) 16:45:19.66 ] >>326 君は309で >実多項式f、gは可換でf(x+1)g(x-1)=g(x+1)f(x-1)なんだよ。 と書き、316では >f(x+1)g(x-1)=g(x+1)f(x-1)が示される。 と書いているが、その等式は明らかに 成 り 立 た な い (>319, >325)。 君は間違っている。
328 名前:132人目の素数さん mailto:sage [2011/08/24(水) 17:16:50.06 ] 1=0 でも仮定してんじゃないの?そうすりゃ何でも証明できる
329 名前:132人目の素数さん mailto:sage [2011/08/24(水) 17:20:12.84 ] 「 可換性から f(x+1)g(x−1) = g(x−1)f(x+1) が成り立つ 」 (←これは正しい) と言いたかったのを 「 可換性から f(x+1)g(x−1) = g(x+1)f(x−1) が成り立つ 」 (←これは間違い) とタイプミスしてしまった可能性もある。
330 名前:132人目の素数さん mailto:sage [2011/08/24(水) 17:21:08.39 ] >>327 >その等式は明らかに 成 り 立 た な い (>319, >325)。 んじゃなくて、>>325 のように置いたり出来る背景の1つには (半)群や準同型などを用いた表現論的な多項式の定義がある。 このように定義すると、>>325 で置き方ではfやgの説明がなければ f(x)=x、g(x)=1と置いた時点でxへの数値が保障されて、 f(x)やg(x)を関数と捉えることも出来る。
331 名前:132人目の素数さん mailto:sage [2011/08/24(水) 17:24:15.02 ] 訂正:xへの数値→xへの数値の代入
332 名前:132人目の素数さん mailto:sage [2011/08/24(水) 17:37:12.24 ] >>329 本当に言いたいのは、多項式環R[X]が可換環とかそんな生ぬるいことではない (例えば、多くの場合多項式環R[X]をR[X*1]と表したりはしないだろう)。
333 名前:132人目の素数さん mailto:sage [2011/08/24(水) 17:50:11.08 ] >>332 >f(x)=a_0x^n+a_1x^{n-1}+…+a_n、 と表されるとき、f(x+1) はどう表されるのか、結論だけでいいから書いてみて
334 名前:132人目の素数さん mailto:sage [2011/08/24(水) 18:05:47.15 ] >>333 そのままxの多項式と見なせば f(x+1)=a_0x^n+a_1x^{n-1}+…+a_n となるし、 f(x)=a_0x^n+a_1x^{n-1}+…+a_n が f(X)=a_0X^n+a_1X^{n-1}+…+a_n のように表されていたと考えれば f(x+1)=a_0(x+1)^n+a_1(x+1)^{n-1}+…+a_n となる。こんな風に、表現論的に多項式を定義すると多くの解析的代数的演算が保障されて 解析的演算の観点からすると扱いが便利と言えるし代数的には少々面倒でもある。
335 名前:132人目の素数さん mailto:sage [2011/08/24(水) 18:37:26.66 ] >>334 書かなくても分かると思って省略したが、念のために省略せずに書くと >そのままxの多項式と見なせば は (右辺自身を)そのまま(1つの)xの多項式と見なせば だ。f(x+1)のx+1を多項式と考えた場合それは 文字xがあって定義されることは既にご承知済だよな?
336 名前:132人目の素数さん mailto:sage [2011/08/24(水) 19:00:17.72 ] >>335 は>>334 でなく>>333 へのレスだったな。 少し飯食ってくるからじゃあな。
337 名前:132人目の素数さん mailto:sage [2011/08/24(水) 20:17:27.56 ] >>308 P[n] = C[n+1], と解釈できまする... C[1] = 1, C[2] = 3, より、 C[n] = (1/2){(1+√2)^n + (1-√2)^n} = [ (1/2)(1+√2)^n + 1/2 ], (← ガウス括弧)
338 名前:132人目の素数さん mailto:sage [2011/08/24(水) 20:33:14.29 ] >>298 の続き DEF が求まったので A[n] = (1/2){ (√2)D[n] + E[n] + F[n]}, B[n] = (1/2){-(√2)D[n] + E[n] + F[n]}, C[n] = (1/√2)(E[n] - F[n]), で ABC に戻す。
339 名前:132人目の素数さん mailto:sage [2011/08/24(水) 21:27:47.66 ] で、>>252 の等式はどこへ行っちゃったの?
340 名前:132人目の素数さん mailto:sage [2011/08/24(水) 21:40:49.90 ] >>339 答えは、リンク先に全部書いてあるからなあw(1箇所ミスがあるように見えるけど) f(x)もg(x)も1次以下の整式で f(x)=ax+b,g(x)=cx+dとおくとad-bc=1/2となる場合が全て、ということのよう。 ハンガリー語だが、数式だけ追えば何をやってるかは大体分かる (最後の1/2が-1/2になってるところだけが謎)
341 名前:132人目の素数さん mailto:sage [2011/08/24(水) 21:43:20.41 ] >>334 > f(x+1)g(x-1)=g(x+1)f(x-1) > が示される のはどっちの考え方?
342 名前:132人目の素数さん mailto:sage [2011/08/25(木) 00:01:40.98 ] 変な強がりから始まって 定義や表記法の確認からはじめなきゃならないスレになってしまったw
343 名前:132人目の素数さん mailto:sage [2011/08/25(木) 00:08:55.49 ] >>340 >>252 と>>309 の関係を知りたいだけなんだがw。
344 名前:132人目の素数さん mailto:sage [2011/08/25(木) 01:04:56.13 ] >>341 (右辺自身を)そのまま(1つの)の多項式と見なしても f(x)=a_0x^n+a_1x^{n-1}+…+a_n が f(X)=a_0X^n+a_1X^{n-1}+…+a_n のように表されていたと考えても、結局は f(x)=f(x+1)=f(x-1)=a_0x^n+a_1x^{n-1}+…+a_n、 g(x)、g(x+1)、g(x-1)についても同様にg(x)=g(x+1)=g(x-1) となって多項式環R[X](R[x])は可換環であることもあり、 f(x+1)g(x-1)=g(x+1)f(x-1)自身はどちらの考え方でも示せる。 >>342 変な強がりと書いた時点で僕は頭悪いんですって言っている気がする。 >>252 に限らず代数の答案を言葉の説明なしで書いてみな。 ほぼ確実に×になるよ。 まあ、f(x)=a_0x^n+a_1x^{n-1}+…+a_n の右辺自身の方だけを そのまま(1つの)xの多項式と見なすなんてことは余りしないから 多項式と捉えるなら暗黙のうちに両辺をxの多項式と見ることが多いんだが。 余りおススメしないが別にやりたきゃそちらのその定義でやってもいいぞ。 厳密な定義とは決して言えないけどな。 数論とかに出て来る可換環Q[√s]が何故そのように書かれるのかとかも 説明出来るんだから表現論的定義は便利だよ。
345 名前:132人目の素数さん mailto:sage [2011/08/25(木) 01:26:45.84 ] そろそろこいつどうにかしろよ
346 名前:132人目の素数さん mailto:sage [2011/08/25(木) 01:39:16.96 ] >>345 変な強がりとか変なこと言い始めて来たから御返事しただけだろう。
347 名前:132人目の素数さん mailto:sage [2011/08/25(木) 01:42:53.20 ] >>297 算数書 www.osaka-kyoiku.ac.jp/~jochi/j2.htm www.osaka-kyoiku.ac.jp/~jochi/jochi2001.pdf
348 名前:132人目の素数さん mailto:sage [2011/08/25(木) 02:03:53.55 ] 引っ込みが付かなくなっちゃったみたいだね。 術語を並べて日本語のようには見えるけど実は意味不明な文字列を書くことで 偉そうに見せるだけだね。 > >>252 に限らず代数の答案を言葉の説明なしで書いてみな。 > ほぼ確実に×になるよ。 筋の悪い数学を学んだようだ。
349 名前:132人目の素数さん mailto:sage [2011/08/25(木) 02:32:33.25 ] 足元おるすな中学生が借り物知識かきあつめて背伸びしてんじゃね?
350 名前:132人目の素数さん mailto:sage [2011/08/25(木) 02:52:34.01 ] >>348 今の時代に何十年も前の時代錯誤な(大学以降の)数学書を読んでたらそうなったんだろうなあ。 群作用や二次体なんて当然のように出て来たぜ。 正確って言うんだか筋がよいって言うんだか、そんな説明は後回しだ。 或る意味線型微積より複素解析や抽象代数の方が基本的だ。 というかやらざるを得ない。 筋がよいか悪いかにかかわらず、試験の答案に日本語の丁寧な説明を求める人がいたことは言っておく。 聞いたことないが、それ以前に(大学以降の)数学に筋の良し悪しなんてあるのか? 何か受験数学っぽい考え方だな。
351 名前:132人目の素数さん mailto:sage [2011/08/25(木) 02:59:26.56 ] 話が合ったり合わなかったり、 数学科以降の厳密な数学の観点で書いたことが間違いだったか。 どういう数学やってる人がここに書いているんだ?
352 名前:132人目の素数さん mailto:sage [2011/08/25(木) 11:37:28.68 ] >>334 > f(X)=a_0X^n+a_1X^{n-1}+…+a_n > のように表されていたと考えれば > f(x+1)=a_0(x+1)^n+a_1(x+1)^{n-1}+…+a_n > となる。 >>344 > f(X)=a_0X^n+a_1X^{n-1}+…+a_n > のように表されていたと考えても、結局は > f(x)=f(x+1)=f(x-1)=a_0x^n+a_1x^{n-1}+…+a_n、 つまり a_0(x+1)^n+a_1(x+1)^{n-1}+…+a_n = a_0x^n+a_1x^{n-1}+…+a_n = a_0(x-1)^n+a_1(x-1)^{n-1}+…+a_n だと?
353 名前:132人目の素数さん [2011/08/25(木) 11:39:12.20 ] >>280 a[n]=a[n-1]+2a[n-2]+2a[n-3]+……+2a[2]+2a[1]+4 a[1]=3,a[2]=7 よってa[3]=17,a[4]=41,……,a[10]=8119。
354 名前:132人目の素数さん mailto:sage [2011/08/25(木) 13:38:02.57 ] >>352 >a_0(x+1)^n+a_1(x+1)^{n-1}+…+a_n = a_0x^n+a_1x^{n-1}+…+a_n >= a_0(x-1)^n+a_1(x-1)^{n-1}+…+a_n は勿論恒等的に成り立つ式ではないが、 f(x)やf(x+1)、f(x-1)が実多項式である限り、 f(x)やf(x+1)、f(x-1)の方を最初に定義されたと考えるか、 a_0x^n+a_1x^{n-1}+…+a_nの方を最初に定義されたと考えるか、どちらにするかで扱いが変わる。 前者らの方を最初に定義すればf(x)、f(x+1)、f(x-1)についての取り扱いや具体的表し方はまだ不明で この時点ではx自身の恒等式はまだ具体的に表されていないが、 x自身についての恒等式や方程式の問題を作ることが出来る。 後者を最初に定義されていると考えてそれをf(x)、g(x)=f(x+1)、h(x)=f(x-1)でそれぞれ f(x)=a_0x^n+a_1x^{n-1}+…+a_n 、 g(x)=a_0x^n+a_1x^{n-1}+…+a_n 、 h(x)=a_0x^n+a_1x^{n-1}+…+a_n と表せば、直ちにf、g、hについて恒等的に成り立つ式f(x)=g(x)=h(x)が生じる。 この時点では多項式g(x)、h(x)についての具体的表示はまだ不明で f(x)、g(x)、h(x)について具体的に表示された多項式についての恒等式を作れる。 >>252 を解くにはxの恒等式と見なさないと話が始まらないから、結局はどちらかの考え方をとることになる。
355 名前:132人目の素数さん mailto:sage [2011/08/25(木) 13:54:06.18 ] >>351 方程式の定義もあやふやな 数学科以前の部分がおろそかな子の負け惜しみの 脳内「数学化以降の厳密な数学」で書いたのが間違いだったんじゃね?
356 名前:132人目の素数さん mailto:sage [2011/08/25(木) 14:38:56.92 ] いいかい、問題を解き終わるまでは条件を満たす実多項式f(x)、g(x)の存在性はまだ正確には保障されていない。 もしかしたら存在しないのかも知れない。 解き終わって確認することで初めて条件を満たすf(x)やg(x)の存在性は本当に示される。 しかし、大抵は解くには或いは存在しなかったことを示すにはf(x)やg(x)の存在性を仮定しないといけない。 問題を解く過程では論理的にはf(x)やg(x)の存在性について矛盾した仮定をすることになる。 矛盾した仮定をしているんだから解く過程では何仮定してもよいという訳だ。
357 名前:132人目の素数さん mailto:sage [2011/08/25(木) 19:32:28.18 ] 過程と仮定がややこしい
358 名前:132人目の素数さん mailto:sage [2011/08/25(木) 19:42:51.78 ] 仮定と家庭と下底も混ぜて、文章を作ってください
359 名前:132人目の素数さん mailto:sage [2011/08/25(木) 23:45:08.05 ] 方程式とか恒等式とかが そんなに面白い問題なのか?
360 名前:132人目の素数さん mailto:sage [2011/08/25(木) 23:50:49.17 ] >>359 お前にとっての面白い問題って何だ? 言ってみろ? あ?
361 名前:132人目の素数さん mailto:sage [2011/08/26(金) 12:45:35.50 ] 確かになんか面白い要素があって投稿してる訳だし そっちが趣旨なんだから揚げ足なら大目に見てやれよ
362 名前:132人目の素数さん mailto:sage [2011/08/26(金) 17:19:21.79 ] 出された問題も解かずに 方程式だ恒等式だなんだかんだと言い合うのが趣旨なのか?
363 名前:132人目の素数さん mailto:sage [2011/08/26(金) 17:51:16.17 ] (・3・)
364 名前:132人目の素数さん mailto:sage [2011/08/26(金) 19:11:12.42 ] サイコロを振って出た目をそのまま得点とする。サイコロをn回振ったとき、得点の合計が10の倍数になる確率を求めよ。
365 名前:132人目の素数さん mailto:sage [2011/08/26(金) 19:57:41.23 ] >>364 さすがに、これを面白い問題スレに貼るのはないと思うよ 宿題は質問スレに書き込むべきだ! カーッ(゚Д゚≡゚д゚)、ペッ
366 名前:132人目の素数さん mailto:sage [2011/08/26(金) 21:02:08.83 ] >>364 を少し改変して n回サイコロを振ったときの目の合計が10の倍数である確率を P(n)とする。 lim_[n->∞](P(n))を求めよ。
367 名前:132人目の素数さん mailto:sage [2011/08/26(金) 23:19:17.76 ] >>356 存在するという仮定それ自体に矛盾はないだろ。 その仮定により矛盾が生じるなら、仮定が誤りであることが分かるだけ。
368 名前:132人目の素数さん mailto:sage [2011/08/27(土) 14:57:06.79 ] >>367 結局矛盾が生じるというなら矛盾を導くのに存在性を仮定しても論理的問題は生じないが、 最終的に解ける解があるっていう場合、解いて解を見つけるまで 答案においては論理的には解の存在性は保障されていない。 そんな、存在があやふやな解を存在するとするのだから、これはおかしいじゃないか。 はてさて、答案を書くときどんな立場をとるか。 最終的に解があることと分かって書くか、こんなことはまだ分からないと考えるか。 必ず解があるとは限らないんだから、論理的に書くなら後者のようなスタンスで書くのが無難だろ。 そのようなスタンスで書くなら、最終的に解がある問題では多くの場合 求めんとする解の存在性の仮定で、論理的に少しあやふやにならざるを得なくなる。 このような場合、存在の論理的正当性は、求めた解が最後の条件を満たすことを確認することで確立される。 高校以下の数学では、そのような大事な作業を怠っていることが多い。 電光石火のようにいきなり条件を満たす解を見つけたとして書くなら話は別だがな。
369 名前:132人目の素数さん mailto:sage [2011/08/27(土) 16:09:58.31 ] あと、方程式の厳密な定義はもういいよ。 今さらながら多項式の厳密な表現論的な定義の続きの延長線上にあることが分かった。 多項式をなす単項式が文字に価を一切代入出来ず線型独立か 多項式をなす単項式が文字に値を代入することが許された上で線型従属か が大きな違いであることに気付いた。 線型代数と表現論的定義強しだな。
370 名前:132人目の素数さん mailto:sage [2011/08/27(土) 18:32:27.55 ] >>368 >そんな、存在があやふやな解を存在するとするのだから、これはおかしいじゃないか。 全然。 それが仮定する、ということ。
371 名前:132人目の素数さん mailto:sage [2011/08/27(土) 18:51:40.27 ] >>370 そのように仮定した答案を論理的に前から順序立ててたどって考えてみろ。 解を求めんとする裏で、仮定したい解の存在性についての理論的背景があったり 一目で解の存在性が明らかな場合は問題ないかも知れないが、 そうでない場合はどうして解の存在性が確立されていて 解が存在すると仮定することが出来ると言えるのか という問題が生じることになる。
372 名前:132人目の素数さん mailto:sage [2011/08/27(土) 19:13:18.87 ] >>371 の >解が存在すると仮定することが出来ると言えるのか は 解を…とすることが出来ると言えるのか、 解の存在性は正確に立証されているのか、 本当に解を…とするとして話を進めてよいのか、 に変更。
373 名前:132人目の素数さん mailto:sage [2011/08/27(土) 22:02:10.07 ] >本当に解を…とするとして話を進めてよいのか、 「解が存在するとして話を進めてはイケナイ」と言いたいのか?じゃあ、 「解は存在しないとして話を進めるべきである」 ということか?でも、この場合 「本当に解は存在しないとして話を進めてよいのか?」 という疑問が生じてしまうな、お前の立場では。 結局、お前の立場では身動きが取れず、如何なる問題も解けなくなるわけだ。
374 名前:132人目の素数さん mailto:sage [2011/08/27(土) 22:17:23.17 ] >>368 >結局矛盾が生じるというなら矛盾を導くのに存在性を仮定しても論理的問題は生じないが、 >最終的に解ける解があるっていう場合、解いて解を見つけるまで >答案においては論理的には解の存在性は保障されていない。 解が存在すると仮定して、最後に待っているのが『矛盾』だった場合、 それは背理法と呼ばれる論法であり、お前が言うとおり、何も問題は起きない。 じゃあ、最後に待っているのが『矛盾』ではなく、 『何らかの条件』だった場合はどうなるのか?この場合、 「 解が存在するならば、その解は これこれの条件を満たす 」… (1) という結果が得られたということである。 (1)は「 P ⇒ Q 」という形の論理式であるから、結局、 「 (1)に対応するP,Qについて、論理式『 P ⇒ Q 』は真であることが証明できた」 ということである。従って、この場合もやはり、何も問題は起きてない。 ただし、この場合、解が存在することを証明したわけでは無い。 ただ単に、ある種の「 P ⇒ Q 」という形の論理式について、 その論理式が真であることが証明できただけである。 しかし、そのことは「論理的におかしい」わけでは無い。
375 名前:132人目の素数さん mailto:sage [2011/08/27(土) 22:36:15.68 ] >>252 の問題で「解が存在する」と仮定して何が起きるかというと、 「 >252に解f(x),g(x)が存在するならば、f(x)=ax+b, g(x)=cx+d, ad−bc=1/2 でなければならない 」 という結果が得られるということである。何もおかしくない。 ある種の「 P ⇒ Q 」の形の論理式が真であることが証明できた、というだけの話である。 もちろん、「 P 」が真であることは まだ証明できていない。 すなわち、「解が存在する」が真であることは まだ証明できていない。 しかし、何か論理的に おかしなことが起きているわけではない。
376 名前:132人目の素数さん mailto:sage [2011/08/27(土) 22:36:35.54 ] >>373 2ちゃん見てたらたまたまレスが書かれていたけど、 皆さ〜ん、…を求めて下さ〜い、なんて問題出されるのはお受験数学までだよ。 例えば、1つ根を見つけて因数定理使って2次方程式に還元する実係数の3次方程式の問題で、 その見つけなければならない根が456/11なんていう類の問題だったらどうするんだい? 殆ど身動きとれないだろう?だけど実係数の3次方程式だから根は確かに存在する。 これだと根456/11を見つけるまで答案が書けないぜ。456/11なんていう根見つけるのは難しいだろう? お受験数学でもこんなのは作ろうと思えば作れてしまう。 >「解は存在しないとして話を進めるべきである」 >ということか?でも、この場合 >「本当に解は存在しないとして話を進めてよいのか?」 >という疑問が生じてしまうな、お前の立場では。 むしろ勝手に決め付けて話を進めているのはアナタの方だと思う。
377 名前:132人目の素数さん mailto:sage [2011/08/27(土) 22:52:09.08 ] >>368 >そんな、存在があやふやな解を存在するとするのだから、これはおかしいじゃないか。 もう一度言うが、何もおかしくない。 「 P 」が真であることを証明することと、 「 P ⇒ Q 」が真であることを証明することを 混同してはならない。 「 P ⇒ Q 」が真であることを証明する際に、「 P 」が真であることを 証明する必要は無いし、偽であることを証明する必要も無い。特に、 「 解が存在するならば、その解は これこれの条件を満たす 」 という論理式を証明する際に、「解が存在する」が真であることを 証明する必要は無いし、偽であることを証明する必要も無い。 解の存在があやふやとか、そういう問題では無い。
378 名前:132人目の素数さん mailto:sage [2011/08/27(土) 22:59:03.59 ] >>375 >ある種の「 P ⇒ Q 」の形の論理式が真であることが証明できた、というだけの話である。 ではその論理式が示せました、しかしPの真偽は分かりませんじゃ証明した意味がないじゃないか。 その証明に意味を与えるにはPが真であることを示さないと或いは真であることが分かっていないといけない。 >>252 の問題でPが真であることを示している部分は求め終わった部分だろう? なら、やはり確認の作業は必要になるじゃないか。
379 名前:132人目の素数さん mailto:sage [2011/08/27(土) 23:08:20.52 ] >>378 >その証明に意味を与えるにはPが真であることを示さないと >或いは真であることが分かっていないといけない。 もちろん、Pが真であることの証明は追加で行う。 >なら、やはり確認の作業は必要になるじゃないか。 当たり前じゃないか。 「確認の作業が必要無い」なんて誰も言ってない。 俺は>>368 の >そんな、存在があやふやな解を存在するとするのだから、これはおかしいじゃないか。 この部分に反論したまでだ。
380 名前:132人目の素数さん mailto:sage [2011/08/27(土) 23:13:23.14 ] >>378 >ではその論理式が示せました、しかしPの真偽は分かりませんじゃ証明した意味がないじゃないか。 「証明した意味が無い」かどうかは、目的によって変わる。 「解が存在する」が真であることを言いたいだけなら、 「 P ⇒ Q 」を証明したことは "ほとんど意味が無い"と言っていい。 しかし、「解を全て求めたい」場合には、 「 P ⇒ Q 」を証明したことは "とても意味がある" ことだ。 なぜなら、もし運よく 「条件Qを満たせば、それは解である」 ということが証明できたなら、 「条件Qを満たすもの、かつそれだけが解である」 ということになるから、全ての解が判明したことになり、 「 P ⇒ Q 」を証明したことは、ちゃんと価値のあることだったと分かるからだ。 オマケ:運悪く 「Qを満たすだけでは解とは限らない」 というケースもあるが、この場合は、 「 P ⇒ Q 」を証明したことは "あまり意味が無い" と言えるだろう。
381 名前:132人目の素数さん mailto:sage [2011/08/27(土) 23:25:35.93 ] >380の中央付近を訂正。というか書き足し。 >なぜなら、もし運よく > >「条件Qを満たせば、それは解である」 > >ということが証明できたなら、 >「条件Qを満たすもの、かつそれだけが解である」 >ということになるから、全ての解が判明したことになり >「 P ⇒ Q 」を証明したことは、ちゃんと価値のあることだったと分かるからだ。 ↓ なぜなら、もし運よく 「条件Qを満たせば、それは解である」 ということが証明できたなら、これと先に示しておいた「 P ⇒ Q 」により、 「条件Qを満たすもの、かつそれだけが解である」 ということになるから、これで全ての解が判明したことになり、 「 P ⇒ Q 」を証明したことは、ちゃんと価値のあることだったと分かる。
382 名前:132人目の素数さん mailto:sage [2011/08/27(土) 23:27:53.33 ] >>379 勝手な偏見に過ぎないが、…を求めよっていう類の問題の答案を論理的に見た場合 …を解とするとしてその解を求める過程と ある種の「 P ⇒ Q 」の形の論理式が真であることが証明すること との厳密さの度合いは微妙に違うんじゃないか? …を求めよっていう類の問題の答案にそのような証明は書いたことないんでそのあたりはよく分からないが。 …を解とするとしてその解を求める過程を書いた大抵の答案って、ああいう書き方で証明になっているのか?
383 名前:132人目の素数さん mailto:sage [2011/08/27(土) 23:37:48.04 ] >>382 >…を解とするとしてその解を求める過程と >ある種の「 P ⇒ Q 」の形の論理式が真であることが証明すること >との厳密さの度合いは微妙に違うんじゃないか? 同じ。たとえば次のような解答。 解答例: >252に解f(x),g(x)が 存 在 す る と 仮 定 す る 。 〜〜(中略)〜〜 よって、f(x)=ax+b, g(x)=cx+d, ad−bc=1/2 でなければならない。 以上により、 「>252に解f(x),g(x)が存在するならば、f(x)=ax+b, g(x)=cx+d, ad−bc=1/2 でなければならない」 …(1) ということが言えた。 次に、f(x)=ax+b, g(x)=cx+d, ad−bc=1/2のとき、このf(x),g(x)は解になることを示す。 〜〜(中略)〜〜 よって、このf(x),g(x)は確かに解になる。以上により、 「f(x)=ax+b, g(x)=cx+d, ad−bc=1/2 は>252の解である」 …(2) ということが言えた。(1),(2)により、 f(x)=ax+b, g(x)=cx+d, ad−bc=1/2 だけが解である。
384 名前:132人目の素数さん mailto:sage [2011/08/27(土) 23:52:26.44 ] もう1つ、別の観点から。 >>382 >…を解とするとしてその解を求める過程と >ある種の「 P ⇒ Q 」の形の論理式が真であることが証明すること >との厳密さの度合いは微妙に違うんじゃないか? Pを満たす元全体の集合をAと置き、Qを満たす元全体の集合をBと置くと、 「 P ⇒ Q 」が真であることを証明することは「 A⊂B 」を証明することと同値。 そして、「 A⊂B 」のテンプレ的な証明法は以下のようになる。 証明:「a∈Aならばa∈B」を示せばよい。a∈Aとする。 〜〜(中略)〜〜 よってa∈Bである。以上により、確かに「a∈Aならばa∈B」が 成り立つので、A⊂Bが成り立つ。 ↑この証明において、「a∈Aとする。」という部分は 「解が存在すると仮定する」とか「…を解とする」という行為と全く同じ。 また、「〜〜(中略)〜〜」の部分は "…を解としてその解を求める過程" そのものである。 従って、"…を解としてその解を求める過程" は、上のA⊂Bの証明と 全くことをしているわけで、つまりはA⊂Bの証明と全く同じ厳密さを 持っている。そして、A⊂BとP⇒Qは同値なのだから、結局、 "…を解としてその解を求める過程" は、P⇒Qを証明するのと 同じ厳密さを持っていると言える。
385 名前:132人目の素数さん mailto:sage [2011/08/28(日) 00:52:17.92 ] >>383 >>384 なるほど。 色々と基礎論的観点から教えてくれたり誤りの指摘どうもありがとう。
386 名前:132人目の素数さん mailto:sage [2011/08/28(日) 07:17:56.32 ] >>375 >もちろん、「 P 」が真であることは まだ証明できていない。 Pが「関数f(x),g(x)が存在する」ということであれば、Pが真であることが示されている。 >「解が存在する」が真であることを言いたいだけなら、 >「 P ⇒ Q 」を証明したことは "ほとんど意味が無い"と言っていい。 Qが「f(x)=ax+b, g(x)=cx+d, ad−bc=1/2」 であるとするならば、Qにより解が存在したといえる訳であり、それには意味がある。 >なぜなら、もし運よく >「条件Qを満たせば、それは解である」 >ということが証明できたなら、 >「条件Qを満たすもの、かつそれだけが解である」 >ということになる もし「条件Rを満たせば、それは解である」という場合であれば、Qを満たすことを証明した だけでは、その条件Qのみが解であるとはいえない。
387 名前:132人目の素数さん mailto:sage [2011/08/28(日) 15:50:55.50 ] >>386 「・・ならば〜である」という命題に、普通の論理では説明できない意味を込めているようだ。
388 名前:132人目の素数さん mailto:sage [2011/08/28(日) 17:43:01.57 ] >>386 >Pが「関数f(x),g(x)が存在する」ということであれば、Pが真であることが示されている。 示されてないよ。「 P ⇒ Q 」を示した段階では、Pが真であることは まだ言えてない。 >Qが「f(x)=ax+b, g(x)=cx+d, ad−bc=1/2」であるとするならば、 >Qにより解が存在したといえる訳であり、それには意味がある。 その段階では、まだ言えてないよ。 「Qを満たせば解である」を示した段階で初めて「解が存在した」と言える。 もし運悪く「Qを満たすものが どれも解にならない」が示せてしまうなら、 これは『矛盾』が示せたことになり、実は解が全く存在しないことになる。 つまり、「 P ⇒ Q 」が示せた段階では、Pの真偽について何も言えない。 Qを満たすものが解になるか否かをチェックして初めてPの真偽が分かる。
389 名前:132人目の素数さん mailto:sage [2011/08/28(日) 17:52:51.55 ] 386の主は、その人には仮定の話をしちゃいけない人。
390 名前:132人目の素数さん mailto:sage [2011/08/28(日) 17:54:12.66 ] 日本語が不自由だ
391 名前:132人目の素数さん mailto:sage [2011/08/28(日) 21:58:54.43 ] 今度は解の存在性の仮定を許すのかどうかが面白い問題になったのか?
392 名前:132人目の素数さん mailto:sage [2011/08/28(日) 22:11:07.25 ] その話はもう終わってるのだが
393 名前:132人目の素数さん mailto:sage [2011/08/28(日) 23:34:32.66 ] >>386 またはそれ以外の人は >>388 またはそれに類するものにはもうレスをしない という予言であると受け取ってよろしいか?
394 名前:386 mailto:sage [2011/08/30(火) 05:11:38.69 ] >>388 この問題を解いていく過程においては Pを「f(x+1)g(x-1) - g(x+1)f(x-1) = 1を満たす、関数f(x),g(x)が存在する」 f(x+2) - af(x) - f(x-2) = 0として Qを「a ≠ 0かつa ≠ 2のとき、f(x) = C0α^(x/2) + C1β^(x/2) (C0 C1, C2, C3は定数) a = 0のとき、f(x) = C2、g(x) = C3 (C2, C3は定数) a = 2のとき、f(x) = C4x + C5、g(x) = C6x + C7 (C4, C5, C6, C7は定数)」 とした場合に P => Qが成立する。 このQの条件の中で、Pの条件式を満たすということを考慮してすると 「f(x)=ax+b, g(x)=cx+d, ad−bc=1/2」・・・@ が成立する。この条件@は、Pが真であるということを示している。
395 名前:132人目の素数さん mailto:sage [2011/08/30(火) 05:24:11.18 ] 訂正 ×P => Qが成立する。 ○PならばQが必要である。
396 名前:132人目の素数さん mailto:sage [2011/08/30(火) 10:03:29.22 ] よく聞こえんな。 何が終わってるんだって?
397 名前:132人目の素数さん mailto:sage [2011/08/30(火) 18:02:39.23 ] >>394 > a ≠ 0かつa ≠ 2のとき、f(x) = C0α^(x/2) + C1β^(x/2) (C0 C1, C2, C3は定数) > a = 0のとき、f(x) = C2、g(x) = C3 (C2, C3は定数) > a = 2のとき、f(x) = C4x + C5、g(x) = C6x + C7 (C4, C5, C6, C7は定数) これらの条件をまとめてRと置き、@の条件をQとしよう。 すると、>394でやっていることは ・まずは「 P ⇒ R 」を証明した。 ・Rでは必要十分条件にならないので、Rをさらに絞り込むことにした。 ・すると、「a≠0かつa≠2の場合」「a=0の場合」は解にならないことが分かった。 ・残ったa=2の場合は、さらに条件を絞って条件Qにした場合のみ、解になることが分かった。 ・今の段階で、「Pは真である」ことが先に証明できてしまった。 ・それと同時に、「 P ⇒ Q 」も実質的に証明できている。 ・従って、この議論では、”「 P ⇒ Q 」を示した段階で、Pが真であることは既に示せている”と言える。 ということになる。うむ、正しい。 しかし、この議論の仕方は、「 P ⇒ Q 」および「Pは真である」の証明を 同時進行で行っているのであり、この議論を ”「 P ⇒ Q 」を示した段階で、Pが真であることも言えている” … (1) と表現するのは、ちょっと語弊があるな。 ”「Pは真である」の証明を先に済ませてしまい、その後で「 P ⇒ Q 」を示した” と表現するのが正しい。 俺が(1)で言いたかったのは ”「 P ⇒ Q 」から「Pは真である」を導くことはできない” ということだから。
398 名前:132人目の素数さん mailto:sage [2011/08/30(火) 20:09:08.25 ] >>397 >”「Pは真である」の証明を先に済ませてしまい、その後で「 P ⇒ Q 」を示した” 逆、条件Rの中で f(x+1)g(x-1) - g(x+1)f(x-1) = 1 を満たすものを考えた場合に、条件Qが成立することが示せたわけで 「 P ⇒ Q 」を証明した結果として、条件Pが真であるということがいえた。 >”「 P ⇒ Q 」から「Pは真である」を導くことはできない” 一般的には正しいが、この問題の場合は、 Pを「条件を満たす関数が存在する」 とした場合には、条件Qがその関数自体であり、条件Qが成立するならば 条件Pも真となる。
399 名前:132人目の素数さん mailto:sage [2011/08/30(火) 21:47:07.16 ] これは、どのレスの問題の答えなのですか?
400 名前:132人目の素数さん mailto:sage [2011/08/30(火) 21:50:12.13 ] 一応>>252 の続き
401 名前:132人目の素数さん mailto:sage [2011/08/30(火) 23:52:38.82 ] >>398 >「 P ⇒ Q 」を証明した結果として、条件Pが真であるということがいえた。 君がやっていることは、 ・「 P ⇒ Q 」の証明の中において、それとは別個に、「Pが真である」ことの証明を紛れ込ませている。 ということに過ぎない。それは "「 P ⇒ Q 」を証明した結果として、条件Pが真であることが言えた" ということを 意 味 し な い 。 「 P ⇒ Q 」の証明は、「Pが真である」ことの証明に何ら関与していない。 あくまでも君は、「 P ⇒ Q 」の証明とは別個に、「Pが真である」ことの証明を 紛れ込ませているに過ぎない。
402 名前:132人目の素数さん mailto:sage [2011/08/30(火) 23:54:17.81 ] >>398 >逆、条件Rの中で >f(x+1)g(x-1) - g(x+1)f(x-1) = 1 >を満たすものを考えた場合に、条件Qが成立することが示せたわけで そこが問題。君は何かを勘違いしている。 気が言っている「条件Qが成立することが示せた」とはどういうことか? どうやってソレを示したのか?俺から見れば、ソレを示す方法は2通りある。 方法その1: 「条件Qを満たすf(x),g(x)は、f(x+1)g(x-1) - g(x+1)f(x-1) = 1 を満たす」 ということを直接的に手計算でチェックした。 方法その2: 「 P ⇒ R 」の証明中において、 (すなわち、「Pが真だと仮定する」という仮定を未だに続けている最中において、) 条件Rで与えられている3つの条件のうち、[a≠0かつa≠2の場合]及び[a=0の場合]だと 矛盾することを導いた。(自動的にQが成り立つしかないという論法)
403 名前:132人目の素数さん mailto:sage [2011/08/30(火) 23:57:46.90 ] 方法その1は、「 P ⇒ Q 」の証明を全く活用せずにチェックできる方法なので、 この方法は「 P ⇒ Q 」の証明とは無関係。それでも、「 P ⇒ Q 」の証明の中において、 わざわざ この方法を紛れ込ませてチェックすることは可能であり、そのチェックで以って 「Pは真である」ことは証明できる。ただし、この場合、 "「 P ⇒ Q 」の証明の結果として「Pは真である」が導けた" わけでは無い。あくまでも、「 P ⇒ Q 」の証明の中において、それとは別個に、 「Pが真である」ことの証明を紛れ込ませた、ということにすぎない。 方法その2の場合、これは「 Pが真である 」という仮定を引きずったままで 「自動的にQが成り立つしかない」と言っているので、この方法では 「Pが真である」ことは導けない。この場合の「Qが成り立つ」という主張は、 あくまでも「 Pが真である 」という仮定ありきで導かれた結果だからだ。 「 Pが真である 」ことを言いたければ、後で追加の証明が必要になる。 すなわち、「Qを満たせば解である」ということをチェックする証明が必要になる。 結局、どちらの方法でも、 "「 P ⇒ Q 」を証明した結果として、条件Pが真であることが言えた" ということは無い。
404 名前:132人目の素数さん mailto:sage [2011/08/31(水) 00:02:11.09 ] そろそろ別スレ立ててやれ
405 名前:132人目の素数さん mailto:sage [2011/08/31(水) 00:04:42.43 ] >>398 >Pを「条件を満たす関数が存在する」 >とした場合には、条件Qがその関数自体であり、 「条件Qがその関数自体である」という主張を、 一体どのようにして証明したのかが重要。 既に書いたとおり、方法その1のように直接的な手計算で 「条件Qがその関数自体である」ことを証明したのであれば、 それは「 P ⇒ Q 」の証明を全く活用していないから、 "「 P ⇒ Q 」の証明の結果として「Pは真である」が導けた" とは言わない。「 P ⇒ Q 」の証明の中に、それとは別個に、 「Pは真である」の証明を紛れ込ませたに過ぎない。 方法その2のように、「Pが成り立つと仮定する」という条件を引きずった状態で、 "Q以外の条件をチェックしたらダメだったから、自動的にQしかない" という形で「条件Qがその関数自体である」ことを証明したのであれば、 それは、「 Pが成り立つと仮定する 」という仮定ありきで得られた結論だから、 そのことから「 Pが真である 」ことを導くことは出来ない。
406 名前:132人目の素数さん mailto:sage [2011/08/31(水) 00:05:13.23 ] 仮定の話が通じない奴なんだから、ほっておけよ。
407 名前:132人目の素数さん mailto:sage [2011/08/31(水) 00:23:19.10 ] なお、方法2における「Pが成り立つ」の仮定を 打ち切った場合の方法についても書いておく。 方法その2’: 「Pが成り立つと仮定する」という仮定を打ち切って、 何の仮定も置かない状態で[a≠0かつa≠2の場合]及び[a=0の場合]の 場合をチェックし、これだと解にならないことを示す。 この方法2’の場合、「Rに含まれる3条件のうち、2条件がダメだった」 ということしか言ってない。これと「 P ⇒ R 」により、 「解があるとしたら、その解は条件Qを満たすしかない」 ということまでは即座に言える。しかし、この後が続かない。 「 Pが真である 」ことは言えてない。条件Qだと本当に 解になるのかは、この方法だけでは分からない。 結局、追加でチェックする証明が必要になり、やっぱり "「 P ⇒ Q 」の証明の結果として「Pは真である」が導けた" ということにはならない。
408 名前:132人目の素数さん mailto:sage [2011/08/31(水) 06:30:33.64 ] >>402 >「条件Qが成立することが示せた」 「条件Qの存在が示せた」ということでもよい。 Rの条件を f(x+1)g(x-1) - g(x+1)f(x-1) = 1 にそれぞれ代入することで、Qを導き出している。 Pを満たすための条件としてRを導き、Rの中でPを満たす条件としてQを導出している。 この時点で、P=>Qが証明された。 Pは関数の存在を仮定しているのだから、その仮定は条件Qが存在するのであるから Pが真であることが、 そ の 結 果 と し て 示されている。
409 名前:132人目の素数さん mailto:sage [2011/08/31(水) 06:37:40.36 ] >>407 >この方法2’の場合、「Rに含まれる3条件のうち、2条件がダメだった」 Rの3条件全てをチェックし、Pを満たす1つの条件をQとしている。 これは、 「P => Q」の証明に含まれている。 背 理 法 で 「P => Q」 を 証 明 し て い る 訳 で は な い。 >結局、追加でチェックする証明が必要になり 追加のチェックとして、3条件の内Qである1つの条件だけを分けて考える意味はない。
410 名前:132人目の素数さん mailto:sage [2011/08/31(水) 19:08:22.69 ] >Pは関数の存在を仮定しているのだから、その仮定は条件Qが存在するのであるから >Pが真であることが、 >そ の 結 果 と し て >示されている。 その主張において、条件Qにこだわる理由は何だね? 条件Qよりも先に、条件Rが得られていただろう。だったら、 Pは関数の存在を仮定しているのだから、その仮定は 条 件 R が存在するのであるから、 Pが真であることが、その結果として示されている。 ↑このように主張したっていいはずだ。なぜ、RではなくQなんだね? それを突き詰めていけば、君が大きな勘違いをしていることが分かるはずだ。 まず、君に質問するまでもなく、Rではダメなのは明らかだ。 「条件だったら何でもいい」 わけでは無いからだ。最初に条件Rを見つけた段階では、 「 Rの3条件が、どれも実際には解にならない 」 という可能性がある。この場合、Pが真であることは示されない。 だから、Rではダメなのだ。 条件Rでは まだ不十分だから、Rをさらに精査して条件を絞り、 そして君は、条件Qを見つけ出し、「Qが存在する!」などと主張したのだろう?
411 名前:132人目の素数さん mailto:sage [2011/08/31(水) 19:11:56.87 ] でも、そうやって見つけたQでさえ、不十分である可能性がある。 Qをさらに精査して、さらに条件を絞らなければならない可能性がある。 それなのに、どうして君は、Qを見つけた時点で条件の精査を打ち切って、 「 Qこそが求める条件であり、Qこそが、存在する条件だ!」 などと思ったのか?……君は無意識のうちに、 「条件の精査を終了するための、何らかの判定基準」 を使ったはずだ。条件Qは、その判定基準を満たしたのだ。 だから君は、そこで条件の精査を打ち切ったのだ。 では、その判定基準とは何か?簡単だ。その基準とは 「 考えている条件が実際に f(x+1)g(x-1) - g(x+1)f(x-1) = 1 を満たすか否か 」… (*) である。この(*)を満たしたらこそ、君は そこで条件の精査を打ち切り、 「 Qこそが求める条件であり、Qこそが、存在する条件だ!」 などと思ったのだ。つまり、 "Qこそが、存在する条件である" と主張するための根拠は(*)であり、 Qが(*)を満たしたからこそ、そのように主張できた ということだ。 一方で、「(*)を満たす」とは「Pが真であることを示す」ことに他ならない。 つまり、「Pが真であること」が先に証明されているのだw
412 名前:132人目の素数さん mailto:sage [2011/08/31(水) 19:14:09.50 ] 上に書いたとおり、 「Qこそが、存在する条件である」 と主張するための根拠は(*)だったのだから、(*)をチェックしなければ、 そのような主張は出来ない。しかし、(*)をチェックした段階で、 「Pが真であること」が先に証明されてしまう。従って、 "「 P ⇒ Q 」を証明した結果として、条件Pが真であることが言えた" ということは絶対に無い。君の方法では、 「探している条件が(*)を満たすこと」(すなわち「 Pが真であること 」) をチェックしなければ、条件Qは確定しないのだ。つまり、 「 Pが真であること 」 を先に言わなければ、条件Qは確定せず、 「Qこそが、存在する条件である」とは主張できないのだ。 だから、君の主張は間違っているのだ。
413 名前:132人目の素数さん mailto:sage [2011/08/31(水) 19:38:15.50 ] もう一度言っておくが、君は 「 Qこそが存在する条件であり、その結果として、Pが真であることが示されるのだ 」 などと主張しているが、 「 Qこそが存在する条件である 」 ことを証明するために、君は(*)をチェックしているので、つまりは ・「 Pが真であること 」をチェックすることで「Qこそが存在する条件だ」と主張している ということになり、順番が逆なのだ。 君は「Pが真であること」を先に証明しているのだ。
414 名前:132人目の素数さん mailto:sage [2011/08/31(水) 22:32:46.67 ] >>410 >Pは関数の存在を仮定しているのだから、その仮定は 条 件 R が存在するのであるから、 >Pが真であることが、その結果として示されている。 誰もそんな事は主張していない。このように書いていながら、 >「 Rの3条件が、どれも実際には解にならない 」 >という可能性がある。この場合、Pが真であることは示されない。 >だから、Rではダメなのだ。 とも記載していて、明らかに矛盾している。そのようなことは分かっているから、Rの条件の内 Pを満たす条件は、Qの条件のみだということを書いている。 >「Qが存在する!」 に関しては、Qの条件でそのPで仮定していた、関数そのものが存在が確認されたということを 表しているが、案の定そのようには理解してもらえなかったようだ。 >>411 >一方で、「(*)を満たす」とは「Pが真であることを示す」ことに他ならない。 >つまり、「Pが真であること」が先に証明されているのだw 先も何もない。同時に示されている。後は>>408 の後半をよく読んでもらうより他はない。
415 名前:132人目の素数さん mailto:sage [2011/08/31(水) 22:51:05.27 ] >>412 >「探している条件が(*)を満たすこと」(すなわち「 Pが真であること 」) (*)を満たすことを示すことは「P => Q」をしてしているのであって、関数の存在を示すためのものでは ない。 例えば、先の例でa=0の場合をQとした場合にはQは(*)の条件を満たさないのであるから 「P => Q」とは言えない。a=2の場合をQとした場合にのみ、Qの条件が(*)を満たし 「P => Q」を示している。 条件Qが空集合となる場合には、条件Pを満たす関数は存在しないことになり。 関数の存在するというPの命題は偽となる。 >>413 >「 Qこそが存在する条件である 」 >ことを証明するために、君は(*)をチェックしている そうではない、式を変更して a*f(x) = f(x-2) + f(x+2) という式を導き出しているので、導出された条件Rがそもそも条件Pの(*)の式を満たすか どうかの確認が必要になる。(*)の式を満たしていないのであれば、「Pならば」の部分を 表していないことになるからだ。Qが確定した段階で 「P => Q」が示せた。その後、Qという条件の関数が存在することから 「Pが真」 <=> 「(*)を満たす関数f(x)、g(x)が存在する」 ということがいえる。
416 名前:132人目の素数さん mailto:sage [2011/08/31(水) 23:01:49.60 ] >>415 >Qが確定した段階で「P => Q」が示せた。 >その後、Qという条件の関数が存在することから その書き方だと、 ・まずは「 P ⇒ Q 」を示しました。 ・その後で、「Qという条件の関数が存在すること」を追加の証明で示しました。 と主張しているように読めるぞ。ここで言う"追加の証明" とは、 「 Qを満たすf(x),g(x)を考えたとき、これがf(x+1)g(x-1) - g(x+1)f(x-1) = 1 を 満たすことを手計算で確認する 」 ということだ。
417 名前:132人目の素数さん mailto:sage [2011/09/01(木) 03:12:45.54 ] >>415 >(*)を満たすことを示すことは「P => Q」をしてしているのであって、 >関数の存在を示すためのものではない。 そこの感覚が、意味が分からない。君が(*)をチェックする目的が 「関数の存在を示すのが目的ではない!」 のだとしても、(*)を満たすことが言えた瞬間に、君の目的や意図とは無関係に 「 Pは真である 」 が証明されたことになるわけよ。 つまり、君は「 Pが真であること 」を先に証明してしまったわけ。
418 名前:132人目の素数さん mailto:sage [2011/09/01(木) 03:18:28.01 ] >>415 >例えば、先の例でa=0の場合をQとした場合には >Qは(*)の条件を満たさないのであるから「P => Q」とは言えない。 そうだね、「(*)が満たされない」ということを根拠にして、 [a=0の場合]にバツ印をつけてるんだよね。つまり、 「こんな条件では矛盾が起きて、解にならなかったぞ!!」 ということを根拠にして、[a=0の場合]にバツ印をつけてるんだよね。 >a=2の場合をQとした場合にのみ、Qの条件が(*)を満たし「P => Q」を示している。 そうだね、「(*)を満たす」ということを根拠にして、 [a=2の場合]にマル印をつけてるんだよね。つまり、 「おお、この条件だと解になることが確認できたぞ!!!」… ★ ということを根拠にして、[a=2の場合]にマル印をつけてるんだよね。 ほらね、「 Pが真であること 」が先に証明されてるじゃないか。 ★がどういうことを言ってるのか、分かるか? 「解が見つかりました!」と言ってるんだぞ? 「 Pは真であると判明しました!」と言ってるんだぞ? そこで初めて、[a=2の場合]にマル印がついたんだぞ? つまり、「 Pが真であること 」の証明が先に終わってるんだぞ? 分かるか?
419 名前:132人目の素数さん mailto:sage [2011/09/01(木) 03:38:20.28 ] >>415 に もう1つ質問をしておこう。 問題:連続関数 f:R → R で、 「 任意のx,y∈Rに対してf(y)^2=2*f(x)−1 」 … (A) を満たすものを全て求めよ。 解答: [1.1] (A)を満たす連続関数 f:R → R が存在すると仮定する。 [1.2] (A)でy=xと置くと(f(x)−1)^2=0となるから、f(x)=1 (∀x∈R)でなければならない。 [2.1] よって、「 (A)を満たす連続関数 f:R → R が存在するならば、f(x)=1 (∀x∈R)でなければならない 」が言えた。 [3.1] 次に、f(x)=1 (∀x∈R) とする。この関数は(A)を満たすことが簡単に 確認できる。しかもfは連続関数であり、fの値域はRだから f:R → R である。 [4.1] 以上により、(A)を満たす連続関数 f:R → R は「f(x)=1 (∀x∈R)」のみである。[終] この解答について、>>415 はどう思うか? 「 [3.1]の議論は必要ない。[1.1]〜[2.1]の結果として、解の存在性は既に言えている 」 と主張するのか?
420 名前:132人目の素数さん mailto:sage [2011/09/01(木) 05:28:16.51 ] >>417 >つまり、君は「 Pが真であること 」を先に証明してしまったわけ。…★★ 意味不明、「P => Q」を示すことより先に、Pが真であるあることを証明したというのであれば この時点より後に「P => Q」を証明する過程がなければならないが、そのようなことはない。 それを示さない限り★★の主張は誤り。
421 名前:132人目の素数さん mailto:sage [2011/09/01(木) 05:45:21.67 ] >>419 [3.1]は>>252 の問題の場合は 3条件(R)の中から、1つの条件(Q)を導き出す過程に等しい。 「P => Q」と、「Pが真である。」ということは同時に証明されるので、どちらが先も後もない。 ただ、「P => Q」を証明した結果、同時に「Pが真」であるということがいえただけ。 [2.1]以降y = xの場合という条件が抜けている。
422 名前:132人目の素数さん mailto:sage [2011/09/01(木) 12:38:45.22 ] >>421 >[2.1]以降y = xの場合という条件が抜けている。 そこは抜けていていいんだよ。質問の意味分かってる? もう少し丁寧に書くぞ。 問題:連続関数 f:R → R で、 「 任意のx,y∈Rに対してf(y)^2=2*f(x)−1 」 … (A) を満たすものを全て求めよ。 解答: [1.1] (A)を満たす連続関数 f:R → R が存在すると仮定する。 [1.2] (A)でy=xと置くと(f(x)−1)^2=0となるから、f(x)=1 (∀x∈R)でなければならない。 [2.1] よって、「 (A)を満たす連続関数 f:R → R が存在するならば、f(x)=1 (∀x∈R)でなければならない 」が言えた。 [3.1] 次に、f(x)=1 (∀x∈R) とする。この関数は、任意のx,y∈Rに対して f(y)^2=2*f(x)−1 を満たすことが 簡単に確認できる(左辺=1^2=1, 右辺=2*1−1=1だから左辺=右辺である)。つまり、 この関数は(A)を満たす。しかもfは連続関数であり、fの値域はRに含まれるから f:R → R である。 [4.1] 以上により、(A)を満たす連続関数 f:R → R は「f(x)=1 (∀x∈R)」のみである。[終] この解答について どう思うか? 「 [3.1]の議論は必要ない。[1.1]〜[2.1]の結果として、解の存在性は既に言えている 」 と主張するのか?
423 名前:132人目の素数さん mailto:sage [2011/09/01(木) 12:51:47.59 ] (続き)あるいは、この解答について 「 [3.1]〜[4.1]では "y=x" が抜けているから、証明になってない 」 などと主張するつもりか? >>421 >ただ、「P => Q」を証明した結果、同時に「Pが真」であるということがいえただけ。 意味不明。君が言うように、本当に「 P ⇒ Q 」を証明したに過ぎないのなら、 "「 P ⇒ Q 」の証明が「Pが真」の証明を兼ねている" ということは有り得ない。当然、 "「 P ⇒ Q 」の証明が終わった段階で、同時に「Pが真」も言えている" ということも有り得ない。 なぜか?もし本当に「 P ⇒ Q 」を証明したに過ぎないのなら、 その証明をSと置けば、Sという証明は「 Pが真だと仮定する 」という仮定を 最初に置いてしまっているので、Sの全ては「Pが真である」という仮定ありきでの 証明にすぎない。実際にその証明Sを機能させようとしたら、「Pが真である」という仮定が "実は仮定ではなく、実際に成り立つ事実なのだ" ということを追加で証明しなければ(すなわち「Pが真である」を追加で証明しなければ)、 証明Sは機能しないのだ。 "証明Sが得られた段階で、この証明Sは「Pが真」も同時に主張している" などということは有り得ないのだ。
424 名前:132人目の素数さん mailto:sage [2011/09/01(木) 13:09:59.17 ] もし未だに 「 同時に証明される 」 などと思っているのなら、もう一度言うが、それは ・「 P ⇒ Q 」の証明の中において、それとは別個に、「Pが真である」ことの証明を紛れ込ませている。 ということに過ぎない。 本当に「 P ⇒ Q 」しか証明してないのであれば、 「その証明は、"Pが真" の証明を兼ねている」 「その証明によって、"Pが真"も同時に言える」 などということは有り得ない(理由は>>423 に書いたとおり)。
425 名前:132人目の素数さん mailto:sage [2011/09/01(木) 15:13:37.07 ] >>422 >「 [3.1]の議論は必要ない。[1.1]〜[2.1]の結果として、解の存在性は既に言えている 」 そんなことは一言もかいていない。想像で書くのをやめていだだきたい。 >>423 >「 [3.1]〜[4.1]では "y=x" が抜けているから、証明になってない 」 >>421 で [2.1]以降y = xの場合という条件が抜けている。 と書いている。問題では「任意のx,y∈R」に対してと書いてあるのにも関わらず。 x ≠ yの場合について一切考慮していないのは、完全に誤り。 >"「 P ⇒ Q 」の証明が終わった段階で、同時に「Pが真」も言えている" そうであれば、>>420 で書いた >意味不明、「P => Q」を示すことより先に、Pが真であるあることを証明したというのであれば >この時点より後に「P => Q」を証明する過程がなければならないが、そのようなことはない。 に対して答えてもらいたい。
426 名前:132人目の素数さん mailto:sage [2011/09/01(木) 15:26:57.11 ] >>425 の訂正 >"「 P ⇒ Q 」の証明が終わった段階で、同時に「Pが真」も言えている" の下に >ということも有り得ない。 を追加