바나흐 공간
여분 부분 공간 formula_22가 주어졌을 때, 바나흐 공간 formula_11를 다음과 같이 분해할 수 있다.