"x", "y" がノルム空間で "f" が "x" から "y" への線型写像とする。