>>409
定義を述べて何がいえるかを関数解析だけで述べても余り面白くはない