バナッハ空間の定義とノルムの性質、例えばノルムの連続性