11/09/03 23:03:35.74
＞fはx,yに依存して決まり、本当はf_{x,y}のように書かれる
よう分からんがその解釈だと
そのfは「あるx,yが存在してf(y)^2＝2*f(x)－1を満たす関数」であって
「任意のx,yについてf(y)^2＝2*f(x)－1を満たす関数」ではないのでは？
11/09/03 23:03:35.74
＞fはx,yに依存して決まり、本当はf_{x,y}のように書かれる
よう分からんがその解釈だと
そのfは「あるx,yが存在してf(y)^2＝2*f(x)－1を満たす関数」であって
「任意のx,yについてf(y)^2＝2*f(x)－1を満たす関数」ではないのでは？