완비 노름 공간과 바나흐 공간 (완비 노름 공간의 성질과 같은 것)