"x" と "y" をバナッハ空間とし、"u" を "x" の原点の開近傍とする。