コンパクト自体のイメージは以下のサイトのおかげでつかめたつもり
https://zellij.hatenablog.com/entry/20120515/p1
https://takataninote.com/topology/compact.html
位相空間 Xがコンパクトならば, X の任意の閉集合 Aもコンパクトである.
の証明にたとえば
Aの開被覆uを持ち出してAの補集合またはuはXの開被覆だって言ってるけど
それって俺の理解だとAとuは同値でそのuとAの補集合との和集合なんじゃAがXの部分集合なんだからもはや単にX全体を指してるだけじゃね?コンパクトという概念とはまた違くね?って混乱する