コンパクト集合・コンパクト空間の定義 まず準備として,開被覆や有限部分被覆の定義をしてから,コンパクトの定義をしましょう。 開被覆・有限部分被覆 \mathcal{C} と C の字の使い分けに注意してください。 定義1(開被覆) (X,\mathcal{O}) を位相空間とし, A\subset X とする。また, \mathcal{C}\subset 2^X を部分集合族とする(2^X はべき集合)。 \Large\color{red} A\subset \bigcup_{C\in \mathcal{C}} C が成り立つとき, \mathcal{C} は A を被覆するといい, \mathcal{C} は A の被覆 (covering) であるという。 \mathcal{C}\subset\mathcal{O} すなわち, \mathcal{C} の元が開集合であるとき, \mat
