それって本当に函数解析と言えるのか？
位相も使わんでどうやってできるのか疑問だな。