Banach space
定義から、任意のヒルベルト空間はバナッハ空間であり、さらに中線定理