Banach space
さらに、無限次元のバナッハ空間については、スメールが証明した。