Banach space
베르 범주 정리에 따라서, 바나흐 공간 formula_13는 가산 개의 조밀한 곳이 없는 집합들의 합집합으로 표현될 수 없다. 따라서,