巴拿赫空间
如果"X"是一个巴拿赫空间而"M"是"X"的一个闭子空间，则商"X"/"M"仍是一个巴拿赫空间。上一节已经给出商空间一个向量空间结构。我们定义"X"/"M"上一个范数为