바나흐 공간
formula_29는 거리 공간으로서 formula_11의 거리 공간 완비화와 같다. 만약 formula_11가 이미 바나흐 공간이라면 formula_42는 바나흐 공간 동형 사상이다.