只要证明这个子空间完备即可.
这个子空间中的任何Cauchy列都是大空间里的Cauchy列,所以在大空间里收敛到一个点,而这个点必须在这个闭子空间里,因为这个子空间是大空间里的闭集.