バナッハ空間
"X" がバナッハ空間で "M" が "X" の閉部分空間ならば商空間 "X"/"M" は再びバナッハ空間をなす。商空間がベクトル空間の構造を持つことは既に見た。"X"/"M" のノルムは