11/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ではいわゆる手順前後をしている。
11/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ではいわゆる手順前後をしている。