11/09/01 21:38:49.43
>>419
誰が誰だか分からないが[2.1]は、「(A)を満たす連続関数 f：R → R は確かに存在する」だぞ。
そしてfの一意性は[3.1]で示そうとしている訳だが[3.1]のままでは一意性を示したことにはならない。
暗黙のうちに「(A)を満たす連続関数 f：R → R は定数関数である」という事実を使っているのだが、
これも別個に示さないといけない。
11/09/01 21:38:49.43
>>419
誰が誰だか分からないが[2.1]は、「(A)を満たす連続関数 f：R → R は確かに存在する」だぞ。
そしてfの一意性は[3.1]で示そうとしている訳だが[3.1]のままでは一意性を示したことにはならない。
暗黙のうちに「(A)を満たす連続関数 f：R → R は定数関数である」という事実を使っているのだが、
これも別個に示さないといけない。