Banach space
商空间"X"/"M"关于此范数是完备的，所以是一个巴拿赫空间。