是闭子空间的直和,M是有限维的,闭子空间