> > 条件がそれだけじゃ無理な気がしますが、これは漏れの知識不足でしょうか？
> ユークリッド空間かどうかも仮定されてないしな

norm完備なBanach空間だと思ってくれたまえ

参考：2003/11/29(土)23時48分04秒