TheoremBase

Closed Subset of a Compact Space is Compact

Statement

Let (X,T)(X,\mathcal{T}) be a topological space that is compact, and let A⊆XA\subseteq X be closed in XX. Then AA is compact in XX.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…