수학적 정의의 직관성과 추상성 잡담
[Stein Real Analysis]를 꺼내 읽다보니 해석학에선 open set의 개념을 중요하게 다룬다는 사실을 새삼 느끼게 되었다. Compactness의 정의인 'Every open cover has finite subcover'만 봐도 그렇다.
\( \{O_i\}_{i \in I} \) are open and \(\displaystyle E \subset \bigcup_{i \in I} O_i \)
\(E\) is compact iff