해석학에서는 물론 일변수 실함수만 할때는 코시 완비성 없이도 상한공리만으로도 싹다 증명되는 걸로 알고있고, 지금은 막연하게 나마
R^n에서도 R의 완비성을 이용한 정리들을 똑같이 하기 위해서
도입되는 거라고 알고있음. 물론 여기서는 하이네 보렐 정리가 성립하는 곳이니까 그냥 너무 좋은 공간인건 알겠는데
구체적으로 하이네 보렐이 성립하면서 코시완비성도 성립되는 공간? 아니, 지금 해석학에서 배우는 주요정리들, 뭐 사잇값정리, 최대최소정리, 유계닫힌집합에서 연속은 균등연속 등등..이 성립하는 공간은 어디까지 확장될 수 있음?