どういう条件を満たす函数空間の例を求めているのでしょうか？離散距離とか入れればいいとおもいますけど