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