バナッハ空間
formula_3 をバナッハ空間 formula_9 からそれ自身への連続かつコンパクトな写像で、集合