设E是赋范空间X的子空间.E是Banach空间的充分必要条件是E是X的闭子空间.