1)Let M be a closed subset of X, then M=M.
Take a fundamental sequence {an}n∈N⊂M.
Since M⊂X, we have that {an}n∈N is a fundamental sequence in X. Then there is n→∞liman=a in X.
Since {an}n∈N⊂M, we have that a∈M=M and so n→∞liman=a in M.
By the definition of Banach space we have that M is a Banach space.
2)Let M be a Banach subspace of X. Take arbitrary a∈M.
Then there is {an}n∈N⊂M such that n→∞liman=a.
Since {an}n∈N is a convergent sequence, it is a fundamental sequence, so n→∞liman=a∈M.
Since we take arbitrary a∈M, we have M⊂M.
We obtain M=M, because M⊂M, that is M is closed.
Comments