- 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/
- 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が真」も言えている" の下に >ということも有り得ない。 を追加
- 427 名前:132人目の素数さん mailto:sage [2011/09/01(木) 16:44:10.06 ]
- >>425
>そうであれば、>>420で書いた >>意味不明、「P => Q」を示すことより先に、Pが真であるあることを証明したというのであれば >>この時点より後に「P => Q」を証明する過程がなければならないが、そのようなことはない。 >に対して答えてもらいたい。 君の証明方法に こだわる限りは、 ・(*)のチェックなしには「 P ⇒ Q 」は証明できない のである。すなわち ・「おお、この条件だと解になることが確認できたぞ!!!」という確認なしには、「 P ⇒ Q」は証明できない のである。これは、「解になることのチェックが先」ということを意味する。 この時点より後に「 P ⇒ Q 」を証明する過程が続いている必要は無い。 君は「続いてなければおかしい」と言うが、おかしくない。 証明の優先順位として、「解になることのチェックが先」なのだから、 それは「Pが真」の証明が先だということ。 (ということを何度も言っているのだが、おそらく、この話は平行線のままだろうな。) そして、君の証明方法に こだわらない場合は、「Pが真」より先に「 P ⇒ Q 」を 証明することは出来る。ただし、この場合、君が主張するような "「 P ⇒ Q 」の証明の結果によって、「Pが真」も言えている" ということは起きない。
- 428 名前:132人目の素数さん mailto:sage [2011/09/01(木) 16:48:08.21 ]
- あるいは、「(*)のチェックが どうだこうだ」とかの話題とは関係なしに、
>>423の切り口で説明してもよい。 本当に君が「 P ⇒ Q 」しか証明してないのなら、その証明をSとすれば、 Sは「Pが真である」という過程を最初に置いてしまっているので、 Sを実際に活用するときは、「Pが真である」を追加で 証明しておかなければ、Sは全く機能しない。 つまり、本当に君が「 P ⇒ Q 」しか証明してないなら、 "「 P ⇒ Q 」の証明Sの結果として、「Pが真」も言えている" ということは起きない。証明Sを活用するためには、 「Pが真」を追加で証明しておかなければならないからだ。
- 429 名前:132人目の素数さん mailto:sage [2011/09/01(木) 16:53:59.51 ]
- >>425
>[2.1]以降y = xの場合という条件が抜けている。 >と書いている。問題では「任意のx,y∈R」に対してと書いてあるのにも関わらず。 >x ≠ yの場合について一切考慮していないのは、完全に誤り。 残念だが、>>422は 完 全 に 正 し い 証 明 です。 どこにも誤りは無い。 [2.1]は "必要条件" についての言及なのであって、十分条件だとは一言も言ってない。 もし[2.1]が十分条件について言及しているのであれば、確かに全てのx,yについて 考慮しなければならない。一部のx,yしか考慮してないなら、それは「十分」では無いからだ。 しかし、[2.1]は必要条件についての言及しかしていないで、 一部のx,yだけしか考慮していなくても、何の問題も無い。 「必要条件を導くのに、全てのx,yについてを考慮する必要は無い」 ということさえ、君は分からないのかね? じゃあ、十分条件はどうするのかと言うと、まさにそれを[3.1]で行っている。 すると、[3.1]により、f(x)=1は十分条件だと分かるから、以上により、 f(x)=1が "必要十分条件" だということが判明する。 つまり、[1.1]〜[2.1]は必要条件の話をしていて、[3.1]は十分条件の話をしているわけ。 そして、必要条件の部分では、全てのx,yについて考慮する必要は無いから、何も間違ってない。 一方で、[3.1]は十分条件の話だから、全てのx,yについて考慮しなければならないが、 実際、[3.1]では考慮しているから、ここも何も間違ってない。 結局、君は証明というものを何も理解してなかったということだ。 必要条件と十分条件の違いも分かってない。 それでもまだ「>422の証明は間違っている」と思うなら、コメントをどうぞ。
- 430 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:00:18.55 ]
- ついでに、もう1つ質問しておく。
問題:関数 f:R → R について、次の (あ) が真であることを示せ。 「 任意のx,y∈Rに対してf(y)=f(x)+1 が成り立つならば、関数fは定数関数である」… (あ) 解答その1: (あ)の仮定をPと置き、(あ)の結論をQと置く。すなわち、 P「任意のx,y∈Rに対してf(y)=f(x)+1 が成り立つ」 Q「関数fは定数関数である」 と置く。このとき、(あ)は「 P ⇒ Q 」を意味するから、これを証明すればよい。 まず、Pは偽であることに注意する。 実際、Pが真だとすると、x=y=0を代入してf(0)=f(0)+1となり、0=1となって矛盾する。 よって、背理法により、Pは偽である。 以上により、「 P ⇒ Q 」は真である(「A ⇒ B」という形の論理式は、Aが偽のとき常に真であるから)。 解答その2: [1.1] 任意のx,y∈Rに対してf(y)=f(x)+1 が成り立つと仮定する。 [1.2] このとき、y=0を代入して整理すると f(x)=f(0)−1 となる。 [1.3] 左辺のxは任意であり、右辺は「f(0)−1」という定数であるから、確かに関数fは定数関数である。 [2.1] よって、(あ)は真である。 この2種類の解答について、どう思うかね? どちらも間違った証明だと思うかね? 「なんだ、Pを満たす解fは1つも存在しないのか。だったら、そもそも(あ)は真ではない。(あ)は偽である」 と思うかね?
- 431 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:02:37.26 ]
- >>427
>そして、君の証明方法に こだわらない場合は、「Pが真」より先に「 P ⇒ Q 」を >証明することは出来る。 その証明方法がどのようなものかを示すべき。 このように述べておきながら >>428では >Sは「Pが真である」という過程を最初に置いてしまっているので、 >Sを実際に活用するときは、「Pが真である」を追加で >証明しておかなければ、Sは全く機能しない。 としている。この2つの内容に矛盾があるのは明らか。
- 432 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:10:10.54 ]
- >>429
問題は >問題:連続関数 f:R → R で、 >「 任意のx,y∈Rに対してf(y)^2=2*f(x)−1 」 … (A) >を満たすものを全て求めよ。 はとなっているから、全ての関数を求めなければならない。そのように問題を理解できない方が 間違っている。 つまり、x ≠ yの場合も考慮し、この場合についての関数の存在を検証しなければ 解答としては不適切だ。 全ての関数を求めよとなっているのにも関わらず、解くのに都合のいい条件のみしか 考えて、必要条件だけを求めればよいと解釈するのは間違い。 問題に(A)を満たす関数を1つ求めよとか、満たす関数が存在することを示せとなっているので あれば、上記の証明でも問題はない。
- 433 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:12:18.11 ]
- >>432の訂正
×はとなっているから ○となっているから ×解くのに都合のいい条件のみしか考えて ○解くのに都合のいい条件のみしか考えずに
- 434 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:21:24.98 ]
- >>432
お話にならない。君は本当に証明というものを理解していない。 いや、「論理」を理解していない。 >全ての関数を求めなければならない。そのように問題を理解できない方が >間違っている。 そうだよ。だから、全ての関数を求めているでしょ。 f(x)=1という関数しか無いんだよw >つまり、x ≠ yの場合も考慮し、この場合についての関数の存在を検証しなければ >解答としては不適切だ。 適切です。(A)をよく読みなさい。 「任意のx,yに対して成り立つ」と書いてあるだろ。(A)は 「この関数は、x≠yとしても成り立ちます」 「なおかつ、この関数は、x=yとしても成り立ちます」 と言っているのだ。2行目が見えないのかね? x=yとしても成り立つと言っているのだから、 わざわざ最初にx≠yを代入する必要は無い。 まずはx=yを代入してチェックすればいい。 で、その時点でf(x)=1しか出てこないから、そこで終わり。 自分で>>422の問題を解いてみろよ。 いかに自分がトンチンカンな発言してたかが分かるから。
- 435 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:24:26.16 ]
- >>431
行数が多いから書くのを控えていたが、要求されたなら書くしかあるまい。 2レスに渡って書く。 f(x+1)g(x-1) - g(x+1)f(x-1) = 1 … (A) [1.01] (A)を満たす多項式f(x),g(x)が存在すると仮定する。 [1.02] f(x),g(x)は互いに素でなければならないことが簡単に言える。 [1.03] 特に、f(x)もg(x)も "恒等的に0という関数" では無い。 [1.04] 次に、(A)式でxをx±1に置き換えた式を考えると、 f(x){g(x-2) + g(x+2)} = g(x){f(x-2) + f(x+2)}が得られる。 [1.05] f(x)とg(x)は互いに素だったから、ある多項式p(x)が存在して p(x)*f(x) = f(x-2) + f(x+2),p(x)*g(x) = g(x-2) + g(x+2) が成り立つ。 [1.06] p(x)*f(x) = f(x-2) + f(x+2)について、両辺の次数を比較すれば、 p(x)は定数でなければならない。よって、p(x)≡aと表せる。 [1.07] 次に、a*f(x) = f(x-2) + f(x+2)について、f(x)の最高次の係数をbとして、 両辺の最高次の係数を比較すれば、a*b = b + b すなわち「a=2またはb=0」となる。 f(x)は恒等的に0という関数ではなかったから、b≠0であり、よってa=2である。 [1.08] 今の段階で、2*f(x) = f(x-2) + f(x+2), 2*g(x) = g(x-2) + g(x+2) が成り立っている。 これを解くと f(x) = C4x + C5、g(x) = C6x + C7 (C4, C5, C6, C7は定数)となる。 [1.09] これを(A)に代入すると、f(x+1)g(x-1) - g(x+1)f(x-1) = 2(C4*C7 - C5*C6) = 1となり、 C4*C7 - C5*C6 = 1/2 が得られる。 (ここで[1.01]の仮定は打ち切る。)
- 436 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:28:17.53 ]
- (>435の続き)
[2.01] 以上により、「(A)を満たすf(x),g(x)が存在するならば、 f(x) = C4x + C5、g(x) = C6x + C7、C4*C7 - C5*C6 = 1/2 でなければならない 」ということが言えた。 [3.01] 次に、 f(x) = C4x + C5、g(x) = C6x + C7、C4*C7 - C5*C6 = 1/2 と置く。 [3.02] このときf(x+1)g(x-1) - g(x+1)f(x-1) = 2(C4*C7 - C5*C6) = 1 となるから、このf(x), g(x)は(A)を満たす。 [4.01] 以上により、「f(x) = C4x + C5、g(x) = C6x + C7、 C4*C7 - C5*C6 = 1/2」のみが求めるf(x),g(x)である。[終]
- 437 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:34:29.07 ]
- >>426
>>378だが、「条件Pを満たす関数fが存在すると仮定する」の意味が分からないみたいだな。 条件P自身から関数fを直接的に構成したり或いは同値性を保ったまま具体的に構成出来たなら確認の作業は必要ないが 条件Pを満たす関数fが存在するという仮定から、解になるfを例えば論理的に逆が言えないように、 間接的に構成出来た場合は、条件Pを満たす関数fの存在性は保障されていないから確認作業は必要だ。 で、>>252の解答の場合、f(x)g(x-2)-g(x)f(x-2)=1とf(x+2)g(x)-g(x+2)f(x)=1から f(x)(g(x-2)+g(x+2))=g(x)(f(x-2)+f(x+2)) を導いた時点で、f、gはもとの条件を満たすかどうかが怪しくなってて逆が言えない訳だ。 だから求めたf、gは本当に満たしているのかという確認作業が必要になる訳だ。
- 438 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:37:39.32 ]
- >>426
これで分かったろ?
- 439 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:42:26.34 ]
- >>434
x = yとして求めた関数がf(x) = 1であり、x、yに依存しない定数となるから x≠yの場合もこれが(A)を満たすことは当然。 初めにx≠yの仮定をした場合には、他の関数の存在を示せる可能性がある訳だから それを検証しないのは、不適切。 しかし、この場合に(A)を満たす関数の存在を示すのは不可能と考えられる。 >>435 [1.09]と[3.01]&[3.02]は同じことを繰り返しているだけだから [1.09]を示した時点で 「P => Q」の証明は完了している。
- 440 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:43:32.07 ]
- >>432
>つまり、x ≠ yの場合も考慮し、この場合についての関数の存在を検証しなければ >解答としては不適切だ。 もう一度言うが、(A)を満たす関数とは x≠yの場合には f(y)^2=2*f(x)−1 が成り立ち、 x=yの場合にも f(y)^2=2*f(x)−1 が成り立つ という性質を持つ関数f のことを言うんだぞ。 二行目が読めないのかね? 君が言っていることは まるで、 「x≠yの場合には f(y)^2=2*f(x)−1 が成り立ち、 x=yの場合には f(y)^2=2*f(x)−1 が 成 り 立 た な い という性質を持つ関数fについて検証しろ」 というふうに聞こえるぞ。 もし君が このような主張をしているのなら、それはバカバカしすぎるぞ。 なぜなら、そのような関数は そもそも(A)を満たしてないから、 最初から考慮する必要が無いからだ。 君は何を勘違いしているのだね?
- 441 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:46:12.73 ]
- >>437
その確認作業が必要ではないなどということは書いていない。 そのことは>>415にも書いている。
- 442 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:47:42.13 ]
- >>439
>[1.09]と[3.01]&[3.02]は同じことを繰り返しているだけだから >[1.09]を示した時点で >「P => Q」の証明は完了している。 「 P ⇒ Q 」の証明は、最初から[1.09]の時点で完了しているのだが? で、もう1つ。君は "[1.09]と[3.01]&[3.02]は同じことを繰り返している" と言っているが、決して同じことではない。 なぜなら、[1.09]の議論は「Pが真ならば」という仮定のもとでの議論だからだ。 ・[1.09]と[3.01]&[3.02]は、同じことではない ・[1.01]の仮定を取り除いたバージョンの[1.09]を考えると、それは[3.01]&[3.02]と同じ。 君はこの違いが分からないから、 トンチンカンな発言を繰り返しているのだろうな。
- 443 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:51:03.66 ]
- >>439
>初めにx≠yの仮定をした場合には、他の関数の存在を示せる可能性がある訳だから >それを検証しないのは、不適切。 >しかし、この場合に(A)を満たす関数の存在を示すのは不可能と考えられる。 >>440を参照のこと。君は何かを勘違いしている。君のそのレスは、まるで 「x≠yの場合には f(y)^2=2*f(x)−1 が成り立つが、 x=yの場合には f(y)^2=2*f(x)−1 が 成 り 立 つ の か 不 明 という性質を持つ関数fについて検証しろ」 と言っているように見えるぞ。だが、そんな関数は最初から (A)を満たしていないのだから、考える必要が無い。
- 444 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:51:15.14 ]
- >>440
x = y、x ≠ y両方の場合に対して関数f(x) = 1が条件(A)を満たすことは自明。 問題だとしているのは、全ての関数を求めよとなっていることから x ≠ yの場合にf(x) = 1以外の関数の存在が検証されていないということ。 >>440の後段は、全くそのような内容は主張していないので、意味不明な理解を 示すことは止めていただきたい。
- 445 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:54:23.36 ]
- バカの小競り合いはいつもこの調子だな
アスペ×2なのかな 専用スレでも立ててそこでやれ
- 446 名前:132人目の素数さん mailto:sage [2011/09/01(木) 18:02:00.34 ]
- >>444
>問題だとしているのは、全ての関数を求めよとなっていることから >x ≠ yの場合にf(x) = 1以外の関数の存在が検証されていないということ。 (A)を満たす関数とは、 x≠yの場合には f(y)^2=2*f(x)−1 が成り立ち、 x=yの場合にも f(y)^2=2*f(x)−1 が成り立つ という性質を持つ関数fのことを言う。言い換えれば、 (A)を満たす関数とは x≠yの場合には f(y)^2=2*f(x)−1 が成り立ち、 x=yの場合には f(x)^2=2*f(x)−1 が成り立つ (←左辺がf(x)^2になっていることに注意) という性質を持つ関数fのことを言う。もっと言い換えれば、 (A)を満たす関数とは x≠yの場合には f(y)^2=2*f(x)−1 が成り立ち、 x=yの場合には f(x)=1が成り立つ という性質を持つ関数fのことを言う。 君はたぶん、最後の2つの条件について分かってない。 「 x≠yの場合には f(y)^2=2*f(x)−1 が成り立ち、x=yの場合には f(x)=1が成り立つ 」 という性質を持つ関数は、f(x)=1(∀x∈R)という関数以外には無い。 このことは理解しているか?
- 447 名前:132人目の素数さん mailto:sage [2011/09/01(木) 18:08:02.19 ]
- >>446
だから >x≠yの場合には f(y)^2=2*f(x)−1 が成り立ち この条件を満たす関数にf(x) = 1が存在することは理解している。 これ以外にないということが何故言えるのかということを問題にしているのが理解できないの? そもそもf(x) = 1を導き出すのにx = yの拘束条件を課しておきながら、 た ま た ま x ≠ yの場合にも条件(A)が満たされるからと言ってx ≠ yの場合に条件(A)を満たす関数が f(x) = 1のみであるということは示すことはできない。
- 448 名前:132人目の素数さん mailto:sage [2011/09/01(木) 18:23:27.99 ]
- >>447
本当に理解してないんだな。 じゃあ、少し別の切り口で解説しよう。次の問題を考える。 問題:写像 f:{1,2,3} → R で、 「 任意のx,y∈{1,2,3}に対してf(y)^2=2*f(x)−1 」 … (A) を満たすものを全て求めよ。 (注意:この写像fは、定義域が{1,2,3}だから、f(1),f(2),f(3)が決まれば、それで写像fは決まるのだ) 解答: (A)を満たす写像 f:{1,2,3} → R が存在すると仮定する。 x=y=1を代入して、f(1)^2=2*f(1)−1となる。よってf(1)=1となる。 x=y=2を代入して、f(2)^2=2*f(2)−1となる。よってf(2)=1となる。 x=y=3を代入して、f(3)^2=2*f(3)−1となる。よってf(3)=1となる。 よって、写像fが(A)を満たすなら、f(1)=f(2)=f(3)=1でなければならない。 逆に、f(1)=f(2)=f(3)=1という写像f:{1,2,3} → Rについて考える。 任意のx,y∈{1,2,3}に対してf(y)^2=1, 2*f(x)−1=1 だから、 f(y)^2=2*f(x)−1が成り立つ。よって、このfは(A)を満たす。 以上により、(A)を満たす写像 f:{1,2,3} → R は f(1)=f(2)=f(3)=1 という写像のみである。[終] これを見ても、まだ君の勘違いに気づかないか?
- 449 名前:132人目の素数さん mailto:sage [2011/09/01(木) 18:41:23.91 ]
- >>448
理解できていないから>>447の問いに答えられない。
- 450 名前:132人目の素数さん mailto:sage [2011/09/01(木) 18:47:12.99 ]
- >>422
残念ながら >[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)でなければならない 」が言えた。 の部分が間違っている。 [1.2]で行ったのは(A)を満たす関数fの存在性であり、この時点では(A)を満たすfの一意性はまだ示していない。
- 451 名前:132人目の素数さん mailto:sage [2011/09/01(木) 18:54:04.26 ]
- >>449
君が誰なのかわからない。君は>>447なのか? もしそうだったら、俺はちゃんと>>447に答えてるよ。 なぜなら、>>448自体が答えだからだ。もっと簡単な例を出そうか? 問題:写像 f:{1,2} → R で、 「 任意のx,y∈{1,2}に対してf(y)^2=2*f(x)−1 」 … (A) を満たすものを全て求めよ。 (注意:この写像fは、定義域が{1,2}だから、f(1),f(2)が決まれば、それで写像fは決まる) 解答: (A)を満たす写像 f:{1,2} → R が存在すると仮定する。条件(A)より、次の4つの等式が成り立つ。 (x,y)=(1,1)を代入して f(1)^2=2*f(1)−1, (x,y)=(1,2)を代入して f(2)^2=2*f(1)−1 (x,y)=(2,1)を代入して f(1)^2=2*f(2)−1, (x,y)=(2,2)を代入して f(2)^2=2*f(2)−1 特に、(x,y)=(1,1), (2,2)の場合の等式を見れば、f(1)=f(2)=1となる。 よって、写像fが(A)を満たすなら、f(1)=f(2)=1でなければならない。 逆に、f(1)=f(2)=1という写像f:{1,2} → Rについて考える。このとき (x,y)=(1,1)を代入して f(1)^2=1, 2*f(1)−1=1, (x,y)=(1,2)を代入して f(2)^2=1, 2*f(1)−1=1 (x,y)=(2,1)を代入して f(1)^2=1, 2*f(2)−1=1, (x,y)=(2,2)を代入して f(2)^2=1, 2*f(2)−1=1 だから、いずれの場合もf(y)^2=2*f(x)−1が成り立つ。よって、このfは(A)を満たす。 以上により、(A)を満たす写像 f:{1,2} → R はf(1)=f(2)=1 という写像のみである。[終]
- 452 名前:132人目の素数さん mailto:sage [2011/09/01(木) 19:00:16.80 ]
- もっともっと簡単にしてもいいぞ。
問題:写像 f:{1,2} → R で、 「 任意のx,y∈{1,2}に対してf(y)^2=2*f(x)−1 」 … (A) を満たすものを全て求めよ。 解答: (A)を満たす写像 f:{1,2} → R が存在すると仮定する。 f(1)=a, f(2)=bと置く。a,bを求めたい。条件(A)より、次の4つの等式が成り立つ。 (x,y)=(1,1)を代入して a^2=2*a−1, (x,y)=(1,2)を代入して b^2=2*a−1 (x,y)=(2,1)を代入して a^2=2*b−1, (x,y)=(2,2)を代入して b^2=2*b−1 こうして、a,bに関する連立方程式が4つ得られたわけだが、 特に、(x,y)=(1,1), (2,2)の場合の等式を見れば、a=b=1となる。 よって、写像fが(A)を満たすなら、f(1)=f(2)=1でなければならない。 逆に、f(1)=f(2)=1という写像f:{1,2} → Rについて考える。このとき (x,y)=(1,1)を代入して f(1)^2=1, 2*f(1)−1=1, (x,y)=(1,2)を代入して f(2)^2=1, 2*f(1)−1=1 (x,y)=(2,1)を代入して f(1)^2=1, 2*f(2)−1=1, (x,y)=(2,2)を代入して f(2)^2=1, 2*f(2)−1=1 だから、いずれの場合もf(y)^2=2*f(x)−1が成り立つ。よって、このfは(A)を満たす。 以上により、(A)を満たす写像 f:{1,2} → R はf(1)=f(2)=1 という写像のみである。[終]
- 453 名前:132人目の素数さん mailto:sage [2011/09/01(木) 19:05:12.55 ]
- さて、>>451や>>452 では、せっかく4パターンの等式を並べたにも関わらず、
結局のところx=yの場合の等式しかチェックしていない。つまり、 「x=yの拘束条件を課して議論しているのと全く同じこと」 である。しかし、証明はこれで正しい。特に、>>452の証明は正しい。 さすがの君にも分かるだろ? >452の前半部分では、a,bに関する4つの連立方程式が出てきたわけだが、 その中の2つの式だけで、もうaとbが求まってしまったわけ。 じゃあ、そのようにして求めたa,bは、残りの2つの式を満たすのか? ……それを確認してるのが後半部分だ。実際に4つの式を全て満たす。 だから、解はf(1)=f(2)=1という写像しかない。 ここで、もし君が言うように、 「都合よくx=yの拘束条件を課して議論するだけではダメだ」 ということであれば、まさしくそのように議論している>>452は ダメダメのはずだが、しかし、実際には、>452は正しい証明なわけだ。 つまり、君は何かを勘違いしているわけ。お分かり? 以上。
- 454 名前:132人目の素数さん mailto:sage [2011/09/01(木) 19:17:39.85 ]
- おかわり!
- 455 名前:132人目の素数さん mailto:sage [2011/09/01(木) 19:31:37.85 ]
- おわかり!
- 456 名前:132人目の素数さん mailto:sage [2011/09/01(木) 19:40:45.87 ]
- >>451
くだらない定義域を制限する議論は>>419を考える場合に何らの示唆も与えない。 君の証明は y = xという拘束条件を課した上で、f(x)を決定している。 それではこの拘束条件を一般化してy = g(x)を満たしているとした場合に f(y)^2=2*f(x)−1 は f(x) = (f(g(x))^2 + 1)/2 として表される。この式が成立する。f(x)が存在するかを検証しなければならない。 当然より一般的な、x,yに関係が存在しない場合についても考慮しなければならない。 >>447に対する答えが>>448であるはずがない。 間違っていることに対して、まともな理由もなく強行に正当性を主張しても、それを他人が 理解することはできない。
- 457 名前:132人目の素数さん mailto:sage [2011/09/01(木) 19:44:16.85 ]
- >>456
>くだらない定義域を制限する議論は>>419を考える場合に何らの示唆も与えない。 物凄い示唆を与えてるよ。 君は俺の証明方法を「間違ってる」と思ってるわけだ。 で、俺は定義域を制限した場合の問題について、 全く同じ証明方法を使ったわけだ(>>452)。 もし君の言っていることが正しいなら、 >>452の証明は間違っていることになるだろ? では質問しよう。 「>>452の証明の、一体どこが間違いなの?」 答えてくれ。
- 458 名前:132人目の素数さん mailto:sage [2011/09/01(木) 19:44:35.02 ]
- そうだそうだ!
- 459 名前:132人目の素数さん mailto:sage [2011/09/01(木) 19:49:23.67 ]
- >>456
>君の証明はy = xという拘束条件を課した上で、f(x)を決定している。 そうです。 特に、>>452の問題において、y=xという 拘束条件を課した上で、f(1),f(2)を決定してます。 >当然より一般的な、x,yに関係が存在しない場合についても考慮しなければならない。 >>452では、x=yという拘束を課した場合の等式しかチェックしていない。 「より一般的な、x,yに関係が存在しない場合についてのチェック」は、 当然ながら行ってない。じゃあ、>>452は間違ってるのかな? ほら、言ってごらん。>>452のどこが間違ってるの?
- 460 名前:132人目の素数さん mailto:sage [2011/09/01(木) 19:50:28.70 ]
- それでそれで?
- 461 名前:132人目の素数さん mailto:sage [2011/09/01(木) 19:58:27.93 ]
- >>456
>それではこの拘束条件を一般化してy = g(x)を満たしているとした場合に >f(y)^2=2*f(x)−1 >は >f(x) = (f(g(x))^2 + 1)/2 >として表される。この式が成立する。f(x)が存在するかを検証しなければならない。 >当然より一般的な、x,yに関係が存在しない場合についても考慮しなければならない。 この主張を >>452 に当てはめると、次のようになる。 『 それではこの拘束条件を一般化して、写像 g:{1,2} → {1,2} を任意に 持ってきて y = g(x)を満たしているとした場合にf(y)^2=2*f(x)−1は f(x) = (f(g(x))^2 + 1)/2として表される。この式が成立する。 f(x)が存在するかを検証しなければならない。』 君は>>452に対して、このような主張をしているわけだ。 で?どうしてそんな検証が必要なの? >452の問題は、>452の証明だけで完結してるでしょ? それとも、やっぱり>452の証明は間違ってると? じゃあ、>>452の証明のどこが間違ってるの?言ってごらん。
- 462 名前:132人目の素数さん mailto:sage [2011/09/01(木) 20:01:07.47 ]
- そうきたか!ガタッ
- 463 名前:132人目の素数さん mailto:sage [2011/09/01(木) 20:02:16.45 ]
- >>459
だから>>452は違う問題。いいように>>419の問題の定義域を変更したものであって同じ 問題ではない。 つまり>>452は正しいが、>>419の証明は間違っているということだ。 もう一度繰り返すが、>>419の証明で問題なのは、 x = yという拘束条件を課して問題を解いているということ、そこで出てきた関数f(x) = 1 がx ≠ yの場合でも(A)を満たすことを証明しただけでは、 x ≠ yの場合に(A)を満たす関数としてf(x) = 1が存在するということを示しただけで それ以外の関数が存在するかどうかについては、何ら検討されていないため 証明としては不適切だと述べている。
- 464 名前:132人目の素数さん mailto:sage [2011/09/01(木) 20:04:24.27 ]
- それも一理あるな
- 465 名前:132人目の素数さん mailto:sage [2011/09/01(木) 20:09:27.09 ]
- >>463
>つまり>>452は正しいが、>>419の証明は間違っているということだ。 そうか、>452は正しいのか。 では、Xを一般的な集合として、次の問題を考えよう。 問題:写像 f:X → Rについて、 「 任意のx,y∈Xに対してf(y)^2=2*f(x)−1 」 … (A) を満たすものを全て求めよ。 解答: [1.1] (A)を満たす写像 f:X → R が存在すると仮定する。 [1.2] (A)でy=xと置くと(f(x)−1)^2=0となるから、f(x)=1 (∀x∈X)でなければならない。 [2.1] よって、「 (A)を満たす写像 f:X → R が存在するならば、f(x)=1 (∀x∈X)でなければならない 」が言えた。 [3.1] 次に、f(x)=1 (∀x∈X) とする。この関数は、任意のx,y∈Xに対して f(y)^2=2*f(x)−1 を満たすことが 簡単に確認できる(左辺=1^2=1, 右辺=2*1−1=1だから左辺=右辺である)。つまり、この関数は(A)を満たす。 [4.1] 以上により、(A)を満たす写像 f:X → R は「f(x)=1 (∀x∈X)」のみである。[終] ↑この証明方法は、「 X={1,2} という集合の場合には正しい 」わけだ。 君自身が認めたからな。で、君によれば、「 X=Rの場合には正しくない 」わけだ。 どうして?
- 466 名前:132人目の素数さん mailto:sage [2011/09/01(木) 20:14:09.97 ]
- >>463
> もう一度繰り返すが、>>419の証明で問題なのは、 > x = yという拘束条件を課して問題を解いているということ、そこで出てきた関数f(x) = 1 > がx ≠ yの場合でも(A)を満たすことを証明しただけでは、 > x ≠ yの場合に(A)を満たす関数としてf(x) = 1が存在するということを示しただけで > それ以外の関数が存在するかどうかについては、何ら検討されていないため > 証明としては不適切だと述べている。 そんなこと言ったら、>>452だって、 x=yの束縛条件下での計算しかやってないんだから、 『 そこで出来た「f(1)=f(2)=1」という写像が、がx ≠ yの場合でも (A)を満たすことを証明しただけでは、x ≠ yの場合に(A)を満たす 関数としてf(x) = 1が存在するということを示しただけで それ以外のf(1),f(2)が存在するかどうかについては、何ら検討されていないため 証明としては不適切だ』 と言えてしまうはずだぞ。でも、>>452は正しいんでしょ? これはどういうことかな? このように、君が>>419に対して投げかけている疑問は、 そのまま>>452にトレースできちゃうんだよ。もっと一般化すれば>>456だけどな。 君が疑問に思っていることが、いかに支離滅裂な勘違いであるか、そろそろ気づこうよ。
- 467 名前:132人目の素数さん mailto:sage [2011/09/01(木) 20:15:29.27 ]
- たしかにそうかもしれない
- 468 名前:132人目の素数さん mailto:sage [2011/09/01(木) 20:48:22.68 ]
- 繰り返しになってしまうが、もう一度書く。
>>465のXについて、X={1,2}とした場合の問題文・解答文が>>452である。 また、X=Rとした場合の問題文・解答文が>>419である。 >465の文章は、Xを与えるごとに「問題文」「解答文」を 統一的にポンと生成する、文章生成機械のようなものである。 さて、>>419でも>>452でも、x=yの束縛条件下での計算しかしていない。 というか、「f(x)=1だけが解である」という結論を導き出すための 理屈は、どちらでも全く一緒である。 同じ理屈で「f(x)=1だけが解である」と言っているのに、君は 「>>452は正しくて、>>419はダメ」と言う。なぜ>>419はダメなのか?君は 「x=yの束縛下の計算しかやってないからダメなんだ」 と言っているが、それなら>>452も同様の理由でダメのはずである。そこで君は 「 >419と>452は別の問題だ 」 と言うが、たとえ問題が違っても、その解答に使われている「理屈」が 全く同じなのだから、そのような言い分は通用しない。 「違う問題だ」 などと思考停止しないで、両者の証明で使われている「理屈」が 全く同じであることを理解することに努め、そして、 君が大きな勘違いをしていることに早く気づくべきである。
- 469 名前:132人目の素数さん mailto:sage [2011/09/01(木) 20:52:22.68 ]
- >>466
>そんなこと言ったら、>>452だって、 >x=yの束縛条件下での計算しかやってないんだから、 >>452の場合は (x,y)=(1,2)、(x, y)=(2,1)の場合を考慮しているから問題はない。 >君が疑問に思っていることが、いかに支離滅裂な勘違いであるか、そろそろ気づこうよ。 私は全く勘違いしていないし、書いたことに何の誤りもない。 勘違いはそちら。 だから、>>456で指摘したことを考慮せずに、つまり初めからx ≠ yの場合に対しての 条件(A)を満たすものが存在するかを考えなければ、関数f(x) = 1のみしか存在しえない ことをいえない。 他人の主張内容は理解できないのですね。分かりました。
- 470 名前:132人目の素数さん mailto:sage [2011/09/01(木) 20:56:58.92 ]
- おっとー?おっとおっとー?
- 471 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:01:16.16 ]
- >>468
「 任意のx,y∈Rに対してf(y)^2=2*f(x)−1 」 … (A) これに対してx = yの場合には f(x)^2 = 2*f(x) - 1 となりf(x) = 1でなくてはならない。 つまり 「 x = yを満たす任意のx,y∈Rに対してf(y)^2=2*f(x)−1 」 … (B) として (B) => f(x) = 1 が示せただけ。x ≠ yの場合でもf(x) = 1が(A)を満たすことを証明したとしてもx ≠ yの場合に (A) => f(x) = 1 が示せた訳ではない。 x = yとx ≠ yの場合に f(x) = 1 => (A) が示せただけ。
- 472 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:05:27.86 ]
- か〜ら〜の〜?
- 473 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:05:41.11 ]
- >>469
>>>452の場合は >(x,y)=(1,2)、(x, y)=(2,1)の場合を考慮しているから問題はない。 考慮してないよw >>452では、x,y全ての場合についての等式(全部で4つある)を 丁寧にリストアップしている。しかし、リストアップしたはいいが、 その4つのうち(x,y)=(1,2), (2,1)の場合の等式は 使 っ て な い 。 a=b=1を導くのに使ったのは、 a^2=2*a−1, b^2=2*b−1 という2つの等式のみ。 これらの等式は(x,y)=(1,1), (2,2)すなわちx=yの場合の等式だから、 結局、>>452 では「x=yの束縛下の条件しか考慮してない」ことになる。 それとも、 「たとえ等式を使わなくても、>>452のように丁寧にリストアップさえすれば、それで考慮したと見なす」 ということかね?もしそうなら、>>419だって、 「 f(y)^2=2*f(x)−1 (∀x,y∈R) 」… ★ という一文を書くだけで、「全ての等式を>>452のようにリストアップしたことになる」でしょ。 つまり、「全てのx,yを考慮したことになる」でしょ。 (x,yは無限にあるから、>>452の形式で紙面上にリストアップすることは出来ない。 しかし、★のような形で表記すれば、それは全てのx,yについてリストアップしたのと同じである)
- 474 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:06:49.05 ]
- うんうん
- 475 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:10:04.34 ]
- >>473
>その4つのうち(x,y)=(1,2), (2,1)の場合の等式は 使 っ て な い 。 使っているんだよ。(x,y)=(1,1)、(2,2)の等式からa=b=1が示せて このa=b=1という条件が(x,y)=(1,2), (2,1)の場合も成立しているから 4条件は使っている。 これで君の数学的能力に問題があることがわかった。 全く間違っている内容を世界中に拡散するのをこれ以上止めたらどうか?
- 476 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:10:18.67 ]
- >>471
君のその言い分を、>>452に使ってごらん。 [00] >>452の証明において、 [01] 「 任意のx,y∈{1,2}に対してf(y)^2=2*f(x)−1 」 … (A) [02] これに対してx = yの場合には [03] f(x)^2 = 2*f(x) - 1 [04] となりf(x) = 1でなくてはならない。 [05] つまり [06] 「 x = yを満たす任意のx,y∈{1,2}に対してf(y)^2=2*f(x)−1 」 … (B) [07] として [08] (B) => f(x) = 1 [09] が示せただけ。x ≠ yの場合でもf(x) = 1が(A)を満たすことを証明したとしてもx ≠ yの場合に [10] (A) => f(x) = 1 [11] が示せた訳ではない。 [12] x = yとx ≠ yの場合に [13] f(x) = 1 => (A) [14] が示せただけ。 さて、君は「 >452は正しい」と言っていた。 ならば、上の疑問の [00]〜[14] において、いずれかの番号の主張は "間違っていなければならない" 。 で? [00]〜[14]のうち、どの番号が間違ってるの?
- 477 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:14:41.01 ]
- ほぉー!
- 478 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:15:24.87 ]
- >このa=b=1という条件が(x,y)=(1,2), (2,1)の場合も成立しているから
>4条件は使っている。 つまり、こういうことだな? 『 >>452では、x=yという束縛下でf(x)=1 (∀x∈{1,2})という条件を出したに過ぎない。 ただし、この条件はx≠yの場合も成立している。』 と。そうです。x≠yのときも成立しています。 ただし、その事実について、>>452の証明では 言 及 し て い ま せ ん 。 君が勝手に、証明を補完してしまっただけです。 「このa=b=1という条件は、x≠yの場合も成立している」 という事実を、君が勝手に脳内で補完して証明してしまっただけです。 そして、そのような補完が出来る能力が 君にあるのなら、 >>419だって、全く同じ補完が可能になる。 つまり、こういうことだ。 『 >>419では、x=yという束縛下でf(x)=1 (∀x∈R)という条件を出したに過ぎない。 ただし、この条件はx≠yの場合も成立している。』 なぜ君は、>>419の場合はこのように考えないのだね?
- 479 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:16:16.05 ]
- 盛り上がってまいりました
- 480 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:26:10.99 ]
- >>478
脳内で補完している訳ではない。>>452は定義域をそちらが勝手に都合よく 狭めているため、全ての定義域で条件を確認しているから正しいことになる。 >「このa=b=1という条件は、x≠yの場合も成立している」 >という事実を、君が勝手に脳内で補完して証明してしまっただけです。 4つの等式の全てが成立しないと証明できないのであるから、そのチェックでもし 他の2式が成立しないのであれば、証明は成立しない。 苦しい主張の繰り返しでお疲れ様です。 >>471で >x = yとx ≠ yの場合に >f(x) = 1 => (A) >が示せただけ。 と書いているが、f(x) = 1以外にもx ≠ yを満たす関数が存在するかどうかの検証が 行われていない。 懇切丁寧に言いかえれば、 x ≠ yの場合にf(x) = 1だけが条件(A)を満たすということが言えるのかということ。
- 481 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:28:17.22 ]
- >>480
よし、もういい。いったん、証明の表現方法を変える。 (本質的に同じことをやっているのだが) 問題:写像 f:R → R で、 「 任意のx,y∈Rに対してf(y)^2=2*f(x)−1 」 … (A) を満たすものを全て求めよ。 解答:まず、 「 (A)を満たす写像fは "必ずf(0)=1である" 」 … B[0] ということを示す。 写像fは(A)を満たすとする。どんなx,yに対しても(A)の式が 成り立つのだから、特に、x=0, y=0を代入しても(A)の式が成り立つ。 実際に代入するとf(0)^2=2*f(0)−1 となるから、ここからf(0)=1が出る。 よって、確かにB[0]が成り立つ。 ↑証明の途中で申し訳ないがが、この証明について、君はどう思うかね? 「正しい」と思うかね? 「x≠yのときにもf(0)=1が言えているわけではないから、間違い」 などと思うかね?
- 482 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:30:02.93 ]
- どうなんだい?
- 483 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:38:49.43 ]
- >>419
誰が誰だか分からないが[2.1]は、「(A)を満たす連続関数 f:R → R は確かに存在する」だぞ。 そしてfの一意性は[3.1]で示そうとしている訳だが[3.1]のままでは一意性を示したことにはならない。 暗黙のうちに「(A)を満たす連続関数 f:R → R は定数関数である」という事実を使っているのだが、 これも別個に示さないといけない。
- 484 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:45:46.49 ]
- >>483
>暗黙のうちに「(A)を満たす連続関数 f:R → R は定数関数である」という事実を使っているのだが、 >これも別個に示さないといけない。 それを示しているのが[2.1]でしょ。よく読むべし。
- 485 名前:132人目の素数さん mailto:sage [2011/09/01(木) 21:51:21.49 ]
- うむ。
- 486 名前:132人目の素数さん mailto:sage [2011/09/01(木) 22:09:19.65 ]
- >>483
その[2.1]は「(A)を満たす連続関数 f:R → R は定数関数である」という事実の厳密な証明になってないんだよ。
- 487 名前:132人目の素数さん mailto:sage [2011/09/01(木) 22:10:33.84 ]
- 「x=yと置くと〜」じゃなくて、
「どんな実数tを選択しても、そのtに対して、x=t, y=tを代入すれば〜」 と表現すれば、誤解が起きないようになるかな? 問題:写像 f:R → R で、 「 任意のx,y∈Rに対してf(y)^2=2*f(x)−1 」 … (A) を満たすものを全て求めよ。 解答: (A)を満たす写像 f:R → R が存在すると仮定する。このとき、どんなx,yに対しても (A)式が成り立つのだから、特にx=0, y=0を代入して、f(0)^2=2*f(0)−1となるから、必ず f(0)=1 となる。今度は、x=√2, y=√2を代入してみると、f(√2)^2=2*f(√2)−1となり、必ず f(√2)=1 となる。じゃあ、x=3.14, y=3.14 を代入したらどうか?f(3.14)^2=2*f(3.14)−1となり、必ず f(3.14)=1 となる。……このような計算から容易に分かるように、どんな実数tを選択しても、 そのtに対して、x=t, y=tを(A)式に代入して整理すれば、必ず f(t)=1 となることが分かる。「どんな実数tを選択しても必ずf(t)=1である」とはすなわち、 fは定数関数であって、その値は1であるということである。以上より、 「 (A)を満たす写像 f:R → R が存在するならば、f(t)=1 (∀t∈R)という定数関数でなければならない 」 ということが言えた。次に、f(t)=1 (∀t∈R)という定数関数を持ってくる。このfは(A)を 満たすことが容易に確認できる。以上により、(A)を満たすfはf(t)=1 (∀t∈R)という定数関数だけである。
- 488 名前:132人目の素数さん mailto:sage [2011/09/01(木) 22:12:59.55 ]
- 特殊化による必要性の証明が理解できないようだ。
数学初心者にある、 命題「AならばB」の証明における、 「Aが成り立っているならば、特にA'のとき云々、よってB」 ・・・(1) という証明の流れに対して、A'でないときはどうするのか、と悩み始める。 そんな人には(1)の対偶を考えてみることをお勧めしたい。
- 489 名前:132人目の素数さん mailto:sage [2011/09/01(木) 22:44:47.44 ]
- >>488
肝心の(1)の文法が良くわかんないんだが。 正確に書き直しといてくれる?
- 490 名前:132人目の素数さん mailto:sage [2011/09/01(木) 22:46:46.85 ]
- >>488
>A'でないときはどうするのか 論理的に言うと厳密にはA'でないときも考えないといけないぞ。 「(A)を満たす連続関数 f:R → R は定数関数である」の1つの厳密な証明は (A)を満たす連続関数 f:R → R が存在するとする。 実数yを任意に取る。すると任意の実数z、xに対して f(y)^2=2*f(z)−1=2*f(x)−1 が成り立ちf(z)=f(x)が得られる。 よってfは定数関数である。 だ。
- 491 名前:132人目の素数さん mailto:sage [2011/09/01(木) 22:47:31.34 ]
- あくまでの(1)は流れだから、直接には該当する証明にあたってくれ。
上の方に一杯あるからさ。>>419とか。
- 492 名前:132人目の素数さん mailto:sage [2011/09/01(木) 22:50:12.94 ]
- >>490
いらない。
- 493 名前:132人目の素数さん mailto:sage [2011/09/01(木) 23:01:34.93 ]
- 一般的に必要条件としてあり得る解を求める場合は、
つまり、「Aならば「?」」 の「?」の中を詰めるときは、 それは「AならばB」の証明ではないのだから、特殊化だけで済む話ではない。
- 494 名前:132人目の素数さん mailto:sage [2011/09/01(木) 23:01:53.79 ]
- >>486
この証明は? (A)を満たす連続関数 f:R → R が存在するとする。 実数tを任意に取る。x=t, y=tを代入して f(t)^2=2f(t)−1 (f(t)−1)^2=0 f(t)=1 tは任意だったから、「任意のtでf(t)=1」すなわちfは定数関数で、 その値は1となる。よって、 「(A)を満たす連続関数 f:R → R があるなら、それは定数関数であり、f(t)=1(∀t∈R) 」 である。 >487と全く同じだが。
- 495 名前:132人目の素数さん mailto:sage [2011/09/01(木) 23:11:30.44 ]
- >>419
分かりにくい解答だから整理するな。 [1.2]「(A)を満たす連続関数 f:R → R は定数関数である」を示す。 [1.3] (A)でy=xと置くと(f(x)−1)^2=0となるから、f(x)=1 (∀x∈R)でなければならない。 [2.1] よって、「(A)を満たす連続関数 f:R → R が存在するならば、f(x)=1 (∀x∈R)でなければならない」が言えた。 本来はこうするべきだ。 >>492 理解出来たよ。 最初>>419を読んだとき分かりにくかった。
- 496 名前:132人目の素数さん mailto:sage [2011/09/01(木) 23:18:55.63 ]
- >>494
論理的には最初にfは定数関数であることを示した方がいい。
- 497 名前:132人目の素数さん mailto:sage [2011/09/01(木) 23:23:58.02 ]
- せやな
- 498 名前:132人目の素数さん mailto:sage [2011/09/01(木) 23:24:12.38 ]
- >>496
レスの意味がよく分からない。 「議論がすっきりするから、定数関数であることを最初に言った方がよい」という意味? 「>>494は厳密ではないから、定数関数であることを最初に言った方がよい」という意味?
- 499 名前:132人目の素数さん mailto:sage [2011/09/01(木) 23:34:09.35 ]
- >>498
>>419は論理的に混乱を招きかねなくて議論がスッキリしていない。 >>419の書き方だと[1.1]から[1.2]に移る部分で混乱しかねないんだよ。 論理的に考えるなら、定数関数であることを最初に言った方がよい。
- 500 名前:132人目の素数さん mailto:sage [2011/09/01(木) 23:41:33.54 ]
- >>499
俺が聞いてるのは、>419じゃなくて>494なんだが。 >419の表現方法は さておき、>494 「も」混乱を招きかねないの? 「fが定数関数である」ことを示すには、2通りの方法がある。 その1:「任意のx,yに対してf(x)=f(y)」を示す。 その2:「あるcが存在して、任意のxに対してf(x)=c」を示す。 >490はその1の手段を取り、>494はその2の手段を取った。 「その2に比べれば、その1の方がスッキリしている」というのは分かるが、 そんな気になるほど大差は無いように見えるのだが。 あと、その2の方針でやってる>494だと、 何をどのように混乱してしまうのか、よく分からん。
- 501 名前:132人目の素数さん mailto:sage [2011/09/01(木) 23:47:06.38 ]
- 寝ます
- 502 名前:132人目の素数さん mailto:sage [2011/09/01(木) 23:54:58.64 ]
- >>500
>>494だと >(A)を満たす連続関数 f:R → R が存在するとする。 から >実数tを任意に取る。x=t, y=tを代入して に移行した際これから何をしようとしているのかが分からない。 その後になって「(A)を満たす連続関数 f:R → R は定数関数である」を示した。 それなら論理的には最初に「(A)を満たす連続関数 f:R → R は定数関数である」を示すべきだ。 >>494ではいわゆる手順前後をしている。
- 503 名前:132人目の素数さん mailto:sage [2011/09/01(木) 23:56:52.40 ]
- x=yの特殊化だけでは求まらない、多分。
任意の実数x,yに対して実数値連続関数fは、等式 f(x+y)-f(y)=f((x+y)/2))(f(x+y)-f(x)) を満たしている。 このような関数f(x)を全て求めよ。
- 504 名前:132人目の素数さん mailto:sage [2011/09/02(金) 00:08:47.50 ]
- >>502
ああ、そうか。目的が不明瞭に見えちゃうんだな。これは失礼。 「最初に目的を明示しておけ」っていうだけの話ね。
- 505 名前:132人目の素数さん mailto:sage [2011/09/02(金) 00:13:21.74 ]
- y=0
f(x)-f(0)=f(x/2)(f(x)-f(x))=0 f(x)=f(0)
- 506 名前:132人目の素数さん mailto:sage [2011/09/02(金) 01:20:00.02 ]
- ((Y⊂X)∧(((∀a∈Y)P(a))→B))→(((∀a∈X)P(a))→B)。
- 507 名前:132人目の素数さん mailto:sage [2011/09/02(金) 02:13:18.72 ]
- 生兵法はケガの元
キチガイに刃物 だな、全く。 知識は適切に運用できなければ持ってる意味がないというのに。
- 508 名前:132人目の素数さん mailto:sage [2011/09/02(金) 18:26:43.99 ]
- 何言ってんだこいつら
必要条件と十分条件の話題が延々ループしてるってことでおk?
- 509 名前:132人目の素数さん mailto:sage [2011/09/02(金) 21:54:11.04 ]
- 論理的な積み重ねとは異なる部分についての
異なる見解を、互いに自分の主張のほうが論理的だと言い合っている途中。
- 510 名前:132人目の素数さん mailto:sage [2011/09/02(金) 21:57:57.91 ]
- 双方のどこが論理的でないかを指摘しなければ、>>509も論理的でない
- 511 名前:132人目の素数さん mailto:sage [2011/09/02(金) 22:04:28.93 ]
- >>509は議論家さんが論理的ではないとは言っていないと思うのだが
|
|